runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482816-1307578197/watcher-3482816-1307578197 -o /tmp/evaluation-result-3482816-1307578197/solver-3482816-1307578197 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482816-1307578197.opb -seed 1938912779 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.03 1.72 2/563 29412
/proc/meminfo: memFree=20259020/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/29412/stat : 29412 (python) R 29410 29412 28679 0 -1 4202496 1045 0 0 0 0 0 0 0 17 0 1 0 869418251 16625664 916 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204341204 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29412/statm: 4059 916 381 364 0 546 0
[startup+0.0436151 s]
/proc/loadavg: 2.11 2.03 1.72 2/563 29412
/proc/meminfo: memFree=20259020/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=23204 CPUtime=0.02 cores=1,3,5,7
/proc/29412/stat : 29412 (python) R 29410 29412 28679 0 -1 4202496 1331 0 0 0 2 0 0 0 17 0 1 0 869418251 23760896 1178 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204643173 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29412/statm: 5801 1178 432 364 0 728 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23204
[startup+0.1006 s]
/proc/loadavg: 2.11 2.03 1.72 2/563 29412
/proc/meminfo: memFree=20259020/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/29412/stat : 29412 (python) R 29410 29412 28679 0 -1 4202496 3169 927 1 0 5 1 0 0 18 0 1 0 869418251 98430976 2483 33554432000 4194304 5683644 140734822850464 18446744073709551615 5170188 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29412/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300571 s]
/proc/loadavg: 2.11 2.03 1.72 2/563 29412
/proc/meminfo: memFree=20259020/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=177688 CPUtime=0.21 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 6250 927 1 0 17 4 0 0 17 0 1 0 869418251 181952512 4560 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/29412/statm: 44422 4560 1238 364 0 3534 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 177688
[startup+0.700494 s]
/proc/loadavg: 2.11 2.03 1.72 2/563 29412
/proc/meminfo: memFree=20259020/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=292920 CPUtime=0.57 cores=1,3,5,7
/proc/29412/stat : 29412 (python) R 29410 29412 28679 0 -1 4202496 11655 927 1 0 49 8 0 0 17 0 1 0 869418251 299950080 9517 33554432000 4194304 5683644 140734822850464 18446744073709551615 4540682 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29412/statm: 73230 9517 1781 364 0 8123 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 292920
[startup+1.50037 s]
/proc/loadavg: 2.10 2.03 1.72 3/564 29417
/proc/meminfo: memFree=20213620/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=304288 CPUtime=1.36 cores=1,3,5,7
/proc/29412/stat : 29412 (python) R 29410 29412 28679 0 -1 4202496 18157 927 1 0 128 8 0 0 18 0 1 0 869418251 311590912 12420 33554432000 4194304 5683644 140734822850464 18446744073709551615 4662178 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/29412/statm: 76072 12420 1816 364 0 10965 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 304288
[startup+3.1011 s]
/proc/loadavg: 2.10 2.03 1.72 3/567 29420
/proc/meminfo: memFree=20199904/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=316212 CPUtime=1.85 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 18860 927 1 0 177 8 0 0 20 0 2 0 869418251 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29412/statm: 79053 12894 1872 364 0 13940 0
[pid=29418] ppid=29412 vsize=305968 CPUtime=0 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 869418451 313311232 11369 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204667407 0 0 16781312 33554946 16260832120656593157 0 0 17 7 0 0 0
/proc/29418/statm: 76492 11369 351 364 0 11379 0
[pid=29420] ppid=29418 vsize=8788 CPUtime=1.09 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) R 29418 29420 29420 0 -1 4202496 2833 0 0 0 108 1 0 0 24 0 1 0 869418451 8998912 1913 33554432000 134512640 136139019 4291986704 18446744073709551615 134883058 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29420/statm: 2197 1913 184 398 0 1797 0
[pid=29412/tid=29419] ppid=29410 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 869418451 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 630968
[startup+6.30057 s]
/proc/loadavg: 2.10 2.03 1.72 3/567 29420
/proc/meminfo: memFree=20201520/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=316212 CPUtime=1.85 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 18860 927 1 0 177 8 0 0 20 0 2 0 869418251 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29412/statm: 79053 12894 1872 364 0 13940 0
[pid=29418] ppid=29412 vsize=305968 CPUtime=0.02 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 877 0 0 0 1 1 0 0 18 0 1 0 869418451 313311232 11392 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204667407 0 0 16781312 33554946 17738127422521311493 0 0 17 7 0 0 0
/proc/29418/statm: 76492 11392 374 364 0 11379 0
[pid=29420] ppid=29418 vsize=10944 CPUtime=4.29 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) R 29418 29420 29420 0 -1 4202496 3395 0 0 0 428 1 0 0 25 0 1 0 869418451 11206656 2475 33554432000 134512640 136139019 4291986704 18446744073709551615 135529895 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29420/statm: 2736 2475 184 398 0 2336 0
[pid=29412/tid=29419] ppid=29410 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 869418451 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 633124
[startup+12.7005 s]
/proc/loadavg: 2.09 2.03 1.72 3/567 29421
/proc/meminfo: memFree=20199544/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=316212 CPUtime=1.85 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 18860 927 1 0 177 8 0 0 20 0 2 0 869418251 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29412/statm: 79053 12894 1872 364 0 13940 0
[pid=29418] ppid=29412 vsize=305968 CPUtime=0.03 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 879 0 0 0 2 1 0 0 18 0 1 0 869418451 313311232 11393 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204667407 0 0 16781312 33554946 5623753486446373646 0 0 17 7 0 0 0
/proc/29418/statm: 76492 11393 375 364 0 11379 0
[pid=29420] ppid=29418 vsize=13584 CPUtime=10.69 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) R 29418 29420 29420 0 -1 4202496 4050 0 0 0 1068 1 0 0 25 0 1 0 869418451 13910016 3130 33554432000 134512640 136139019 4291986704 18446744073709551615 134742406 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29420/statm: 3396 3130 184 398 0 2996 0
[pid=29412/tid=29419] ppid=29410 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 869418451 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 635764
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 1.72 3/567 29421
/proc/meminfo: memFree=20198160/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=316212 CPUtime=1.85 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 18860 927 1 0 177 8 0 0 20 0 2 0 869418251 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29412/statm: 79053 12894 1872 364 0 13940 0
[pid=29418] ppid=29412 vsize=305968 CPUtime=0.1 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 885 0 0 0 5 5 0 0 18 0 1 0 869418451 313311232 11393 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204667407 0 0 16781312 33554946 5623753486446373646 0 0 17 7 0 0 0
/proc/29418/statm: 76492 11393 375 364 0 11379 0
[pid=29420] ppid=29418 vsize=16372 CPUtime=23.49 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) R 29418 29420 29420 0 -1 4202496 4759 0 0 0 2348 1 0 0 25 0 1 0 869418451 16764928 3839 33554432000 134512640 136139019 4291986704 18446744073709551615 134883847 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/29420/statm: 4093 3839 184 398 0 3693 0
[pid=29412/tid=29419] ppid=29410 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 869418451 323801088 12894 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 638552
[startup+51.101 s]
/proc/loadavg: 2.17 2.06 1.74 3/568 29422
/proc/meminfo: memFree=20193156/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=316216 CPUtime=2.76 cores=1,3,5,7
/proc/29412/stat : 29412 (python) R 29410 29412 28679 0 -1 4202496 19510 927 1 0 267 9 0 0 19 0 2 0 869418251 323805184 12896 33554432000 4194304 5683644 140734822850464 18446744073709551615 4950255 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29412/statm: 79054 12896 1873 364 0 13941 0
[pid=29418] ppid=29412 vsize=316212 CPUtime=0.2 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 1125 0 0 0 10 10 0 0 19 0 2 0 869418451 323801088 11434 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29418/statm: 79053 11434 411 364 0 13940 0
[pid=29420] ppid=29418 vsize=18352 CPUtime=48.19 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) T 29418 29420 29420 0 -1 4202496 5252 0 0 0 4818 1 0 0 25 0 1 0 869418451 18792448 4332 33554432000 134512640 136139019 4291986704 18446744073709551615 134598969 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/29420/statm: 4588 4332 184 398 0 4188 0
[pid=29418/tid=29422] ppid=29412 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29418/task/29422/stat : 29422 (python) S 29412 29412 28679 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869423271 323801088 11434 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 7 0 0 0
[pid=29412/tid=29419] ppid=29410 vsize=316216 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 869418451 323805184 12896 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 650780
[startup+102.319 s]
/proc/loadavg: 2.12 2.06 1.76 3/571 29427
/proc/meminfo: memFree=20097860/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=326468 CPUtime=6.7 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 19827 927 1 0 660 10 0 0 25 0 3 0 869418251 334303232 12901 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29412/statm: 81617 12901 1875 364 0 16501 0
[pid=29418] ppid=29412 vsize=316212 CPUtime=0.2 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 1125 0 0 0 10 10 0 0 19 0 2 0 869418451 323801088 11434 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29418/statm: 79053 11434 411 364 0 13940 0
[pid=29420] ppid=29418 vsize=18352 CPUtime=48.19 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) T 29418 29420 29420 0 -1 4202496 5252 0 0 0 4818 1 0 0 25 0 1 0 869418451 18792448 4332 33554432000 134512640 136139019 4291986704 18446744073709551615 134598969 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/29420/statm: 4588 4332 184 398 0 4188 0
[pid=29418/tid=29422] ppid=29412 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29418/task/29422/stat : 29422 (python) S 29412 29412 28679 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869423271 323801088 11434 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 7 0 0 0
[pid=29424] ppid=29412 vsize=316224 CPUtime=0.18 cores=1,3,5,7
/proc/29424/stat : 29424 (python) S 29412 29412 28679 0 -1 4202560 945 0 0 0 9 9 0 0 15 0 1 0 869423755 323813376 11394 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204667462 0 0 16781312 33554946 5623753486446373646 0 0 17 7 0 0 0
/proc/29424/statm: 79056 11394 372 364 0 13940 0
[pid=29426] ppid=29424 vsize=118320 CPUtime=47.23 cores=1,3,5,7
/proc/29426/stat : 29426 (minion) R 29424 29426 29426 0 -1 4202496 28347 0 0 0 4720 3 0 0 25 0 1 0 869423755 121159680 22197 33554432000 134512640 165565024 4293063920 18446744073709551615 142853046 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/29426/statm: 29580 22197 346 7582 0 21995 0
[pid=29412/tid=29419] ppid=29410 vsize=326468 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 3 0 869418451 334303232 12901 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
[pid=29412/tid=29425] ppid=29410 vsize=326468 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29425/stat : 29425 (python) S 29410 29412 28679 0 -1 4202560 29 927 0 0 0 0 0 0 25 0 3 0 869423755 334303232 12901 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 1095576
[startup+162.301 s]
/proc/loadavg: 2.28 2.11 1.79 3/579 29437
/proc/meminfo: memFree=19375100/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=346980 CPUtime=6.75 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 21664 927 1 0 665 10 0 0 19 0 5 0 869418251 355307520 12913 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/29412/statm: 86745 12913 1879 364 0 21623 0
[pid=29418] ppid=29412 vsize=316212 CPUtime=0.2 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 1125 0 0 0 10 10 0 0 19 0 2 0 869418451 323801088 11434 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29418/statm: 79053 11434 411 364 0 13940 0
[pid=29420] ppid=29418 vsize=18352 CPUtime=48.19 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) T 29418 29420 29420 0 -1 4202496 5252 0 0 0 4818 1 0 0 25 0 1 0 869418451 18792448 4332 33554432000 134512640 136139019 4291986704 18446744073709551615 134598969 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/29420/statm: 4588 4332 184 398 0 4188 0
[pid=29418/tid=29422] ppid=29412 vsize=316212 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 1194 0 0 0 49 54 0 0 18 0 2 0 869418451 323801088 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29418/statm: 79053 11435 412 364 0 13940 0
[pid=29420] ppid=29418 vsize=28792 CPUtime=232.04 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) T 29418 29420 29420 0 -1 4202496 7839 0 0 0 23202 2 0 0 25 0 1 0 869418451 29483008 6919 33554432000 134512640 136139019 4291986704 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/29420/statm: 7198 6919 184 398 0 6798 0
[pid=29418/tid=29422] ppid=29412 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29418/task/29422/stat : 29422 (python) S 29412 29412 28679 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869423271 323801088 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 7 0 0 0
[pid=29424] ppid=29412 vsize=316224 CPUtime=0.2 cores=1,3,5,7
/proc/29424/stat : 29424 (python) S 29412 29412 28679 0 -1 4202560 1109 0 0 0 10 10 0 0 16 0 2 0 869423755 323813376 11419 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29424/statm: 79056 11419 396 364 0 13940 0
[pid=29426] ppid=29424 vsize=118320 CPUtime=47.61 cores=1,3,5,7
/proc/29426/stat : 29426 (minion) T 29424 29426 29426 0 -1 4202496 28347 0 0 0 4758 3 0 0 25 0 1 0 869423755 121159680 22197 33554432000 134512640 165565024 4293063920 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/29426/statm: 29580 22197 346 7582 0 21995 0
[pid=29424/tid=29428] ppid=29412 vsize=316224 CPUtime=0 cores=1,3,5,7
/proc/29424/task/29428/stat : 29428 (python) S 29412 29412 28679 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869428521 323813376 11419 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604458414016320 0 0 -1 7 0 0 0
[pid=29429] ppid=29412 vsize=326480 CPUtime=0.4 cores=1,3,5,7
/proc/29429/stat : 29429 (python) S 29412 29412 28679 0 -1 4202560 1127 0 0 0 19 21 0 0 15 0 2 0 869428523 334315520 11423 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204667462 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29429/statm: 81620 11423 396 364 0 16501 0
[pid=29431] ppid=29429 vsize=467756 CPUtime=88.07 cores=1,3,5,7
/proc/29431/stat : 29431 (scip-2.0.1.linu) R 29429 29431 29431 0 -1 4202496 114480 0 0 0 8684 123 0 0 25 0 1 0 869428523 478982144 112437 33554432000 4194304 13684479 140735851039792 18446744073709551615 7387884 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29431/statm: 116939 112437 762 2317 0 114617 0
[pid=29429/tid=29433] ppid=29412 vsize=326480 CPUtime=0 cores=1,3,5,7
/proc/29429/task/29433/stat : 29433 (python) S 29412 29412 28679 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869433466 334315520 11423 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604465089482944 0 0 -1 7 0 0 0
[pid=29434] ppid=29412 vsize=336736 CPUtime=0.44 cores=1,3,5,7
/proc/29434/stat : 29434 (python) S 29412 29412 28679 0 -1 4202560 1178 0 0 0 19 25 0 0 15 0 2 0 869433469 344817664 11427 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29434/statm: 84184 11427 396 364 0 19062 0
[pid=29436] ppid=29434 vsize=464940 CPUtime=92.69 cores=1,3,5,7
/proc/29436/stat : 29436 (scip-2.0.1.linu) T 29434 29436 29436 0 -1 4202496 146690 0 0 0 9148 121 0 0 25 0 1 0 869433469 476098560 109946 33554432000 4194304 15243407 140736711208688 18446744073709551615 8131386 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/29436/statm: 116235 109946 866 2698 0 113530 0
[pid=29434/tid=29438] ppid=29412 vsize=336736 CPUtime=0 cores=1,3,5,7
/proc/29434/task/29438/stat : 29438 (python) S 29412 29412 28679 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869438364 344817664 11427 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604455462336640 0 0 -1 7 0 0 0
[pid=29439] ppid=29412 vsize=346992 CPUtime=0.23 cores=1,3,5,7
/proc/29439/stat : 29439 (python) S 29412 29412 28679 0 -1 4202560 1136 0 0 0 11 12 0 0 17 0 2 0 869438367 355319808 11431 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29439/statm: 86748 11431 396 364 0 21623 0
[pid=29441] ppid=29439 vsize=45648 CPUtime=50.27 cores=1,3,5,7
/proc/29441/stat : 29441 (wbo1.4a) T 29439 29441 29441 0 -1 4202496 11934 0 0 0 5003 24 0 0 25 0 1 0 869438367 46743552 10793 33554432000 134512640 135751879 4288704928 18446744073709551615 134642031 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/29441/statm: 11412 10793 143 303 0 11107 0
[pid=29439/tid=29444] ppid=29412 vsize=346992 CPUtime=0 cores=1,3,5,7
/proc/29439/task/29444/stat : 29444 (python) S 29412 29412 28679 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869443395 355319808 11431 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604457031799040 0 0 -1 7 0 0 0
[pid=29446] ppid=29412 vsize=357248 CPUtime=0.2 cores=1,3,5,7
/proc/29446/stat : 29446 (python) S 29412 29412 28679 0 -1 4202560 1131 0 0 0 7 13 0 0 16 0 2 0 869447821 365821952 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29446/statm: 89312 11435 396 364 0 24184 0
[pid=29448] ppid=29446 vsize=45172 CPUtime=46.87 cores=1,3,5,7
/proc/29448/stat : 29448 (wbo1.4b-fixed) T 29446 29448 29448 0 -1 4202496 11836 0 0 0 4664 23 0 0 25 0 1 0 869447822 46256128 10696 33554432000 134512640 135752315 4291187072 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/29448/statm: 11293 10696 146 303 0 10988 0
[pid=29446/tid=29450] ppid=29412 vsize=357248 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (python) S 29412 29412 28679 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869452510 365821952 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604456872481152 0 0 -1 7 0 0 0
[pid=29412/tid=29419] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 36 927 0 0 0 0 0 0 18 0 7 0 869418451 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
[pid=29412/tid=29425] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29425/stat : 29425 (python) S 29410 29412 28679 0 -1 4202560 29 927 0 0 0 0 0 0 25 0 7 0 869423755 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 1 0 0 0
[pid=29412/tid=29430] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29430/stat : 29430 (python) S 29410 29412 28679 0 -1 4202560 36 927 0 0 0 0 0 0 18 0 7 0 869428523 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
[pid=29412/tid=29435] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29435/stat : 29435 (python) S 29410 29412 28679 0 -1 4202560 34 927 0 0 0 0 0 0 18 0 7 0 869433469 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 1 0 0 0
[pid=29412/tid=29440] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29440/stat : 29440 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 7 0 869438367 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 3 0 0 0
[pid=29412/tid=29447] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29447/stat : 29447 (python) S 29410 29412 28679 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 7 0 869447822 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 566.95
Current children cumulated vsize (KiB) 3538012
[startup+565.502 s]
/proc/loadavg: 2.00 2.02 1.85 3/596 29464
/proc/meminfo: memFree=18902488/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=367492 CPUtime=6.9 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 24484 927 1 0 679 11 0 0 18 0 7 0 869418251 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/29412/statm: 91873 12925 1883 364 0 26745 0
[pid=29418] ppid=29412 vsize=316212 CPUtime=1.03 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 1194 0 0 0 49 54 0 0 18 0 2 0 869418451 323801088 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29418/statm: 79053 11435 412 364 0 13940 0
[pid=29420] ppid=29418 vsize=28792 CPUtime=232.04 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) T 29418 29420 29420 0 -1 4202496 7839 0 0 0 23202 2 0 0 25 0 1 0 869418451 29483008 6919 33554432000 134512640 136139019 4291986704 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/29420/statm: 7198 6919 184 398 0 6798 0
[pid=29418/tid=29422] ppid=29412 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29418/task/29422/stat : 29422 (python) S 29412 29412 28679 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869423271 323801088 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 7 0 0 0
[pid=29424] ppid=29412 vsize=316224 CPUtime=0.2 cores=1,3,5,7
/proc/29424/stat : 29424 (python) S 29412 29412 28679 0 -1 4202560 1109 0 0 0 10 10 0 0 16 0 2 0 869423755 323813376 11419 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29424/statm: 79056 11419 396 364 0 13940 0
[pid=29426] ppid=29424 vsize=118320 CPUtime=47.61 cores=1,3,5,7
/proc/29426/stat : 29426 (minion) T 29424 29426 29426 0 -1 4202496 28347 0 0 0 4758 3 0 0 25 0 1 0 869423755 121159680 22197 33554432000 134512640 165565024 4293063920 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/29426/statm: 29580 22197 346 7582 0 21995 0
[pid=29424/tid=29428] ppid=29412 vsize=316224 CPUtime=0 cores=1,3,5,7
/proc/29424/task/29428/stat : 29428 (python) S 29412 29412 28679 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869428521 323813376 11419 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604458414016320 0 0 -1 7 0 0 0
[pid=29429] ppid=29412 vsize=326480 CPUtime=0.4 cores=1,3,5,7
/proc/29429/stat : 29429 (python) S 29412 29412 28679 0 -1 4202560 1127 0 0 0 19 21 0 0 15 0 2 0 869428523 334315520 11423 33554432000 4194304 5683644 140734822850464 18446744073709551615 210204667462 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29429/statm: 81620 11423 396 364 0 16501 0
[pid=29431] ppid=29429 vsize=467756 CPUtime=88.87 cores=1,3,5,7
/proc/29431/stat : 29431 (scip-2.0.1.linu) R 29429 29431 29431 0 -1 4202496 114673 0 0 0 8764 123 0 0 25 0 1 0 869428523 478982144 112630 33554432000 4194304 13684479 140735851039792 18446744073709551615 7265478 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29431/statm: 116939 112645 762 2317 0 114617 0
[pid=29429/tid=29433] ppid=29412 vsize=326480 CPUtime=0 cores=1,3,5,7
/proc/29429/task/29433/stat : 29433 (python) S 29412 29412 28679 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869433466 334315520 11423 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604465089482944 0 0 -1 7 0 0 0
[pid=29434] ppid=29412 vsize=336736 CPUtime=0.44 cores=1,3,5,7
/proc/29434/stat : 29434 (python) S 29412 29412 28679 0 -1 4202560 1178 0 0 0 19 25 0 0 15 0 2 0 869433469 344817664 11427 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29434/statm: 84184 11427 396 364 0 19062 0
[pid=29436] ppid=29434 vsize=464940 CPUtime=92.69 cores=1,3,5,7
/proc/29436/stat : 29436 (scip-2.0.1.linu) T 29434 29436 29436 0 -1 4202496 146690 0 0 0 9148 121 0 0 25 0 1 0 869433469 476098560 109946 33554432000 4194304 15243407 140736711208688 18446744073709551615 8131386 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/29436/statm: 116235 109946 866 2698 0 113530 0
[pid=29434/tid=29438] ppid=29412 vsize=336736 CPUtime=0 cores=1,3,5,7
/proc/29434/task/29438/stat : 29438 (python) S 29412 29412 28679 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869438364 344817664 11427 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604455462336640 0 0 -1 7 0 0 0
[pid=29439] ppid=29412 vsize=346992 CPUtime=0.23 cores=1,3,5,7
/proc/29439/stat : 29439 (python) S 29412 29412 28679 0 -1 4202560 1136 0 0 0 11 12 0 0 17 0 2 0 869438367 355319808 11431 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29439/statm: 86748 11431 396 364 0 21623 0
[pid=29441] ppid=29439 vsize=45648 CPUtime=50.27 cores=1,3,5,7
/proc/29441/stat : 29441 (wbo1.4a) T 29439 29441 29441 0 -1 4202496 11934 0 0 0 5003 24 0 0 25 0 1 0 869438367 46743552 10793 33554432000 134512640 135751879 4288704928 18446744073709551615 134642031 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/29441/statm: 11412 10793 143 303 0 11107 0
[pid=29439/tid=29444] ppid=29412 vsize=346992 CPUtime=0 cores=1,3,5,7
/proc/29439/task/29444/stat : 29444 (python) S 29412 29412 28679 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869443395 355319808 11431 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604457031799040 0 0 -1 7 0 0 0
[pid=29446] ppid=29412 vsize=357248 CPUtime=0.2 cores=1,3,5,7
/proc/29446/stat : 29446 (python) S 29412 29412 28679 0 -1 4202560 1131 0 0 0 7 13 0 0 16 0 2 0 869447821 365821952 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29446/statm: 89312 11435 396 364 0 24184 0
[pid=29448] ppid=29446 vsize=45172 CPUtime=46.87 cores=1,3,5,7
/proc/29448/stat : 29448 (wbo1.4b-fixed) T 29446 29448 29448 0 -1 4202496 11836 0 0 0 4664 23 0 0 25 0 1 0 869447822 46256128 10696 33554432000 134512640 135752315 4291187072 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/29448/statm: 11293 10696 146 303 0 10988 0
[pid=29446/tid=29450] ppid=29412 vsize=357248 CPUtime=0 cores=1,3,5,7
/proc/29446/task/29450/stat : 29450 (python) S 29412 29412 28679 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869452510 365821952 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604456872481152 0 0 -1 7 0 0 0
[pid=29412/tid=29419] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 36 927 0 0 0 0 0 0 18 0 7 0 869418451 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
[pid=29412/tid=29425] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29425/stat : 29425 (python) S 29410 29412 28679 0 -1 4202560 29 927 0 0 0 0 0 0 25 0 7 0 869423755 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 1 0 0 0
[pid=29412/tid=29430] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29430/stat : 29430 (python) S 29410 29412 28679 0 -1 4202560 36 927 0 0 0 0 0 0 18 0 7 0 869428523 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
[pid=29412/tid=29435] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29435/stat : 29435 (python) S 29410 29412 28679 0 -1 4202560 34 927 0 0 0 0 0 0 18 0 7 0 869433469 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 1 0 0 0
[pid=29412/tid=29440] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29440/stat : 29440 (python) S 29410 29412 28679 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 7 0 869438367 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 3 0 0 0
[pid=29412/tid=29447] ppid=29410 vsize=367492 CPUtime=0 cores=1,3,5,7
/proc/29412/task/29447/stat : 29447 (python) S 29410 29412 28679 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 7 0 869447822 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 567.75
Current children cumulated vsize (KiB) 3538012
[startup+565.701 s]
/proc/loadavg: 2.00 2.02 1.85 3/596 29464
/proc/meminfo: memFree=18902488/32951124 swapFree=63649284/67111528
[pid=29412] ppid=29410 vsize=367492 CPUtime=152.36 cores=1,3,5,7
/proc/29412/stat : 29412 (python) S 29410 29412 28679 0 -1 4202496 24495 56488 1 0 679 11 14456 90 17 0 7 0 869418251 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216477503 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29412/statm: 91873 12925 1883 364 0 26745 0
[pid=29418] ppid=29412 vsize=316212 CPUtime=1.03 cores=1,3,5,7
/proc/29418/stat : 29418 (python) S 29412 29412 28679 0 -1 4202560 1194 0 0 0 49 54 0 0 18 0 2 0 869418451 323801088 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216474059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/29418/statm: 79053 11435 412 364 0 13940 0
[pid=29420] ppid=29418 vsize=28792 CPUtime=232.04 cores=1,3,5,7
/proc/29420/stat : 29420 (clasp-1.3.7-x86) T 29418 29420 29420 0 -1 4202496 7839 0 0 0 23202 2 0 0 25 0 1 0 869418451 29483008 6919 33554432000 134512640 136139019 4291986704 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/29420/statm: 7198 6919 184 398 0 6798 0
[pid=29418/tid=29422] ppid=29412 vsize=316212 CPUtime=0 cores=1,3,5,7
/proc/29418/task/29422/stat : 29422 (python) S 29412 29412 28679 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869423271 323801088 11435 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554946 18446604460717077632 0 0 -1 7 0 0 0
[pid=29429] ppid=29412 vsize=0 CPUtime=89.47 cores=1,3,5,7
/proc/29429/stat : 29429 (python) Z 29412 29412 28679 0 -1 4202588 1224 115221 0 0 20 21 8781 125 15 0 1 0 869428523 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29429/statm: 0 0 0 0 0 0 0
[pid=29434] ppid=29412 vsize=336736 CPUtime=0.44 cores=1,3,5,7
/proc/29434/stat : 29434 (python) S 29412 29412 28679 0 -1 4202560 1183 0 0 0 19 25 0 0 16 0 2 0 869433469 344817664 11427 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216477503 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29434/statm: 84184 11427 396 364 0 19062 0
[pid=29436] ppid=29434 vsize=0 CPUtime=92.69 cores=1,3,5,7
/proc/29436/stat : 29436 (scip-2.0.1.linu) R 29434 29436 29436 0 -1 4203524 146690 0 0 0 9148 121 0 0 18 0 1 0 869433469 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29436/statm: 0 0 0 0 0 0 0
[pid=29434/tid=29438] ppid=29412 vsize=336736 CPUtime=0 cores=1,3,5,7
/proc/29434/task/29438/stat : 29438 (python) S 29412 29412 28679 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869438364 344817664 11427 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781824 33554434 18446604455462336640 0 0 -1 7 0 0 0
[pid=29412/tid=29419] ppid=29410 vsize=367492 CPUtime=145.46 cores=1,3,5,7
/proc/29412/task/29419/stat : 29419 (python) S 29410 29412 28679 0 -1 4202560 36 56488 0 0 0 0 14456 90 18 0 7 0 869418451 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
[pid=29412/tid=29425] ppid=29410 vsize=367492 CPUtime=145.46 cores=1,3,5,7
/proc/29412/task/29425/stat : 29425 (python) S 29410 29412 28679 0 -1 4202560 29 56488 0 0 0 0 14456 90 25 0 7 0 869423755 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 1 0 0 0
[pid=29412/tid=29430] ppid=29410 vsize=367492 CPUtime=145.46 cores=1,3,5,7
/proc/29412/task/29430/stat : 29430 (python) S 29410 29412 28679 0 -1 4202560 36 56488 0 0 0 0 14456 90 18 0 7 0 869428523 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 7 0 0 0
[pid=29412/tid=29435] ppid=29410 vsize=367492 CPUtime=145.46 cores=1,3,5,7
/proc/29412/task/29435/stat : 29435 (python) S 29410 29412 28679 0 -1 4202560 34 56488 0 0 0 0 14456 90 18 0 7 0 869433469 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 1 0 0 0
[pid=29412/tid=29440] ppid=29410 vsize=367492 CPUtime=145.46 cores=1,3,5,7
/proc/29412/task/29440/stat : 29440 (python) S 29410 29412 28679 0 -1 4202560 28 56488 0 0 0 0 14456 90 20 0 7 0 869438367 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 3 0 0 0
[pid=29412/tid=29447] ppid=29410 vsize=367492 CPUtime=145.46 cores=1,3,5,7
/proc/29412/task/29447/stat : 29447 (python) S 29410 29412 28679 0 -1 4202560 26 56488 0 0 0 0 14456 90 20 0 7 0 869447822 376311808 12925 33554432000 4194304 5683644 140734822850464 18446744073709551615 210216470961 0 0 16781312 33554434 18446604466347991168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 568.03
Current children cumulated vsize (KiB) 1049232
Child status: 0
Real time (s): 565.744
CPU time (s): 568.125
CPU user time (s): 563.59
CPU system time (s): 4.53431
CPU usage (%): 100.421
Max. virtual memory (cumulated for all children) (KiB): 3538012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 563.59
system time used= 4.53431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360627
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= 1988
involuntary context switches= 1064
runsolver used 3.01554 second user time and 6.92095 second system time
The end