runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/inescp-1.0/rand2fb7ab.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//rand2fb7ab.cudf /home/misc2010/tmp/201007050905/inescp-1.0/rand2fb7ab.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.20 1.08 0.58 4/35 25701 /proc/meminfo: memFree=472308/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=0 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 750 0 0 0 0 0 0 0 24 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25701] ppid=25700 vsize=10652 CPUtime=0.01 /proc/25701/stat : 25701 (java) R 25700 25699 24102 769 24102 4194304 961 0 0 0 0 1 0 0 25 0 1 0 524984994 10907648 395 1283457024 134512640 134550932 4291413760 18446744073709551615 4160123178 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25701/statm: 2663 395 158 10 0 1140 0 [startup+0.208111 s] /proc/loadavg: 1.20 1.08 0.58 4/35 25701 /proc/meminfo: memFree=472308/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=0 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 750 0 0 0 0 0 0 0 24 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25701] ppid=25700 vsize=864452 CPUtime=0.2 /proc/25701/stat : 25701 (java) S 25700 25699 24102 769 24102 4202496 4597 0 1 0 18 2 0 0 25 0 9 0 524984994 885198848 3670 1283457024 134512640 134550932 4291413760 18446744073709551615 4159980690 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25701/statm: 216113 3670 1891 10 0 210451 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 870844 [startup+0.308121 s] /proc/loadavg: 1.20 1.08 0.58 4/35 25701 /proc/meminfo: memFree=472308/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=0 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 750 0 0 0 0 0 0 0 24 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25701] ppid=25700 vsize=864452 CPUtime=0.3 /proc/25701/stat : 25701 (java) S 25700 25699 24102 769 24102 4202496 4655 0 1 0 28 2 0 0 25 0 9 0 524984994 885198848 3728 1283457024 134512640 134550932 4291413760 18446744073709551615 4159980690 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25701/statm: 216113 3728 1891 10 0 210451 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 870844 [startup+0.408134 s] /proc/loadavg: 1.20 1.08 0.58 4/35 25701 /proc/meminfo: memFree=472308/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=0 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 750 0 0 0 0 0 0 0 24 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25701] ppid=25700 vsize=864452 CPUtime=0.4 /proc/25701/stat : 25701 (java) S 25700 25699 24102 769 24102 4202496 5189 0 1 0 38 2 0 0 25 0 9 0 524984994 885198848 4262 1283457024 134512640 134550932 4291413760 18446744073709551615 4159980690 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25701/statm: 216113 4262 1892 10 0 210451 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 870844 [startup+0.708156 s] /proc/loadavg: 1.20 1.08 0.58 4/35 25701 /proc/meminfo: memFree=472308/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=0 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 750 0 0 0 0 0 0 0 24 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25701] ppid=25700 vsize=864784 CPUtime=0.69 /proc/25701/stat : 25701 (java) S 25700 25699 24102 769 24102 4202496 8350 0 1 0 66 3 0 0 25 0 9 0 524984994 885538816 7236 1283457024 134512640 134550932 4291413760 18446744073709551615 4159980690 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25701/statm: 216196 7236 2715 10 0 210534 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 871176 [startup+1.50832 s] /proc/loadavg: 1.20 1.08 0.58 3/44 25710 /proc/meminfo: memFree=437416/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=0 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 750 0 0 0 0 0 0 0 24 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25701] ppid=25700 vsize=865488 CPUtime=1.49 /proc/25701/stat : 25701 (java) S 25700 25699 24102 769 24102 4202496 15542 0 1 0 141 8 0 0 25 0 9 0 524984994 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4159980690 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25701/statm: 216372 14131 2715 10 0 210710 0 [pid=25701/tid=25703] ppid=25700 vsize=865488 CPUtime=0.81 /proc/25701/task/25703/stat : 25703 (java) R 25700 25699 24102 769 24102 4202560 3238 0 1 0 80 1 0 0 25 0 9 0 524984995 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4160004807 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25701/tid=25704] ppid=25700 vsize=865488 CPUtime=0.64 /proc/25701/task/25704/stat : 25704 (java) R 25700 25699 24102 769 24102 4202560 10789 0 0 0 58 6 0 0 17 0 9 0 524984996 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 103733279 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=25701/tid=25705] ppid=25700 vsize=865488 CPUtime=0 /proc/25701/task/25705/stat : 25705 (java) S 25700 25699 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 524984996 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4159994096 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=25701/tid=25706] ppid=25700 vsize=865488 CPUtime=0 /proc/25701/task/25706/stat : 25706 (java) S 25700 25699 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 9 0 524984996 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4159994096 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=25701/tid=25707] ppid=25700 vsize=865488 CPUtime=0 /proc/25701/task/25707/stat : 25707 (java) S 25700 25699 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 524984997 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4160002384 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=25701/tid=25708] ppid=25700 vsize=865488 CPUtime=0.02 /proc/25701/task/25708/stat : 25708 (java) S 25700 25699 24102 769 24102 4202560 398 0 0 0 2 0 0 0 18 0 9 0 524984997 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4159994096 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=25701/tid=25709] ppid=25700 vsize=865488 CPUtime=0 /proc/25701/task/25709/stat : 25709 (java) S 25700 25699 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 524984997 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4159994096 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=25701/tid=25710] ppid=25700 vsize=865488 CPUtime=0 /proc/25701/task/25710/stat : 25710 (java) S 25700 25699 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 9 0 524984997 886259712 14131 1283457024 134512640 134550932 4291413760 18446744073709551615 4159994888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 871880 [startup+3.10446 s] /proc/loadavg: 1.20 1.08 0.58 2/37 25713 /proc/meminfo: memFree=468712/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=2.26 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 806 18856 0 1 0 0 205 21 17 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 6392 heavy processes: [startup+6.30557 s] /proc/loadavg: 1.18 1.08 0.59 2/37 25715 /proc/meminfo: memFree=445648/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=2.26 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 806 18856 0 1 0 0 205 21 17 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25714] ppid=25700 vsize=2896 CPUtime=0 /proc/25714/stat : 25714 (sh) S 25700 25699 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524985226 2965504 325 1283457024 134512640 135191968 4293651008 18446744073709551615 4158810526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25714/statm: 724 325 221 166 0 156 0 [pid=25715] ppid=25714 vsize=25976 CPUtime=3.97 /proc/25715/stat : 25715 (msuncore) R 25714 25699 24102 769 24102 4202496 28832 0 0 0 379 18 0 0 25 0 1 0 524985226 26599424 6290 1283457024 134512640 135858300 4290332480 18446744073709551615 134658919 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/25715/statm: 6494 6290 137 329 0 6163 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 35264 Solver just ended. Dumping a history of the last processes samples [startup+6.5056 s] /proc/loadavg: 1.18 1.08 0.59 2/37 25715 /proc/meminfo: memFree=445648/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=2.26 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 806 18856 0 1 0 0 205 21 17 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25714] ppid=25700 vsize=2896 CPUtime=0 /proc/25714/stat : 25714 (sh) S 25700 25699 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524985226 2965504 325 1283457024 134512640 135191968 4293651008 18446744073709551615 4158810526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25714/statm: 724 325 221 166 0 156 0 [pid=25715] ppid=25714 vsize=25976 CPUtime=4.17 /proc/25715/stat : 25715 (msuncore) R 25714 25699 24102 769 24102 4202496 28832 0 0 0 399 18 0 0 25 0 1 0 524985226 26599424 6290 1283457024 134512640 135858300 4290332480 18446744073709551615 134659137 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/25715/statm: 6494 6290 137 329 0 6163 0 Current children cumulated CPU time (s) 6.43 Current children cumulated vsize (KiB) 35264 [startup+6.9057 s] /proc/loadavg: 1.18 1.08 0.59 2/37 25715 /proc/meminfo: memFree=445648/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=2.26 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 806 18856 0 1 0 0 205 21 17 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25714] ppid=25700 vsize=2896 CPUtime=0 /proc/25714/stat : 25714 (sh) S 25700 25699 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524985226 2965504 325 1283457024 134512640 135191968 4293651008 18446744073709551615 4158810526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25714/statm: 724 325 221 166 0 156 0 [pid=25715] ppid=25714 vsize=25976 CPUtime=4.57 /proc/25715/stat : 25715 (msuncore) R 25714 25699 24102 769 24102 4202496 28832 0 0 0 438 19 0 0 25 0 1 0 524985226 26599424 6290 1283457024 134512640 135858300 4290332480 18446744073709551615 134620115 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/25715/statm: 6494 6290 137 329 0 6163 0 Current children cumulated CPU time (s) 6.83 Current children cumulated vsize (KiB) 35264 [startup+7.30578 s] /proc/loadavg: 1.18 1.08 0.59 2/37 25715 /proc/meminfo: memFree=445648/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=4004 CPUtime=2.26 /proc/25700/stat : 25700 (cudf-solver.py) S 25699 25699 24102 769 24102 4202496 806 18856 0 1 0 0 205 21 17 0 1 0 524984993 4100096 644 1283457024 134512640 135539072 4290645776 18446744073709551615 4158757278 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25700/statm: 1001 644 348 251 0 302 0 [pid=25714] ppid=25700 vsize=2896 CPUtime=0 /proc/25714/stat : 25714 (sh) S 25700 25699 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 524985226 2965504 325 1283457024 134512640 135191968 4293651008 18446744073709551615 4158810526 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25714/statm: 724 325 221 166 0 156 0 [pid=25715] ppid=25714 vsize=25976 CPUtime=4.97 /proc/25715/stat : 25715 (msuncore) R 25714 25699 24102 769 24102 4202496 28832 0 0 0 478 19 0 0 25 0 1 0 524985226 26599424 6290 1283457024 134512640 135858300 4290332480 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/25715/statm: 6494 6290 137 329 0 6163 0 Current children cumulated CPU time (s) 7.23 Current children cumulated vsize (KiB) 35264 [startup+7.43608 s] /proc/loadavg: 1.18 1.08 0.59 2/37 25715 /proc/meminfo: memFree=445648/1048576 swapFree=2095456/2097144 [pid=25699] ppid=25698 vsize=2388 CPUtime=0 /proc/25699/stat : 25699 (inescp-1.0) S 25698 25699 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 524984993 2445312 261 1283457024 134512640 135191968 4287530000 18446744073709551615 4158675358 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25699/statm: 597 261 222 166 0 29 0 [pid=25700] ppid=25699 vsize=6476 CPUtime=7.38 /proc/25700/stat : 25700 (cudf-solver.py) R 25699 25699 24102 769 24102 4202496 1563 48072 0 1 3 1 690 44 15 0 1 0 524984993 6631424 1245 1283457024 134512640 135539072 4290645776 18446744073709551615 135050232 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/25700/statm: 1619 1245 348 251 0 920 0 Current children cumulated CPU time (s) 7.38 Current children cumulated vsize (KiB) 8864 Child status: 0 Real time (s): 7.48715 CPU time (s): 7.44046 CPU user time (s): 6.97644 CPU system time (s): 0.464029 CPU usage (%): 99.3765 Max. virtual memory (cumulated for all children) (KiB): 872200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.97644 system time used= 0.464029 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51302 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1181 involuntary context switches= 1213 runsolver used 0 second user time and 0 second system time The end