runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3317148-1304267795/watcher-3317148-1304267795 -o /tmp/evaluation-result-3317148-1304267795/solver-3317148-1304267795 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317148-1304267795.cnf -seed 979871631 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.28 6.53 3.29 5/234 22412
/proc/meminfo: memFree=29991480/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/22412/stat : 22412 (python) R 22410 22412 22195 0 -1 4202496 792 0 0 0 0 0 0 0 25 0 1 0 270970752 15749120 679 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660660224 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22412/statm: 3845 679 322 364 0 332 0

[startup+0.104314 s]
/proc/loadavg: 8.28 6.53 3.29 5/234 22412
/proc/meminfo: memFree=29991480/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=93964 CPUtime=0.05 cores=0,2,4,6
/proc/22412/stat : 22412 (python) R 22410 22412 22195 0 -1 4202496 2696 0 0 0 4 1 0 0 17 0 1 0 270970752 96219136 2407 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660705415 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22412/statm: 23491 2407 764 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 93964

[startup+0.200305 s]
/proc/loadavg: 8.28 6.53 3.29 5/234 22412
/proc/meminfo: memFree=29991480/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=124236 CPUtime=0.11 cores=0,2,4,6
/proc/22412/stat : 22412 (python) R 22410 22412 22195 0 -1 4202496 4265 0 1 0 7 4 0 0 17 0 1 0 270970752 127217664 3872 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660660224 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22412/statm: 31059 3872 996 364 0 2870 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 124236

[startup+0.300275 s]
/proc/loadavg: 8.28 6.53 3.29 5/234 22412
/proc/meminfo: memFree=29991480/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=135752 CPUtime=0.16 cores=0,2,4,6
/proc/22412/stat : 22412 (python) R 22410 22412 22195 0 -1 4202496 5965 935 1 0 12 4 0 0 17 0 1 0 270970752 139010048 4151 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660658181 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22412/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 135752

[startup+0.700217 s]
/proc/loadavg: 8.28 6.53 3.29 5/234 22412
/proc/meminfo: memFree=29991480/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=280528 CPUtime=0.39 cores=0,2,4,6
/proc/22412/stat : 22412 (python) R 22410 22412 22195 0 -1 4202496 9779 935 1 0 28 11 0 0 16 0 1 0 270970752 287260672 7460 33554432000 4194304 5683644 140734945963008 18446744073709551615 5007165 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22412/statm: 70132 7460 1761 364 0 6056 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 280528

[startup+1.50107 s]
/proc/loadavg: 7.93 6.49 3.29 6/235 22417
/proc/meminfo: memFree=29960164/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=287580 CPUtime=1.2 cores=0,2,4,6
/proc/22412/stat : 22412 (python) R 22410 22412 22195 0 -1 4202496 12680 935 1 0 108 12 0 0 17 0 1 0 270970752 294481920 9279 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660329349 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22412/statm: 71895 9279 1826 364 0 7819 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 287580

[startup+3.10075 s]
/proc/loadavg: 7.93 6.49 3.29 9/247 22429
/proc/meminfo: memFree=29936384/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=323968 CPUtime=1.83 cores=0,2,4,6
/proc/22412/stat : 22412 (python) S 22410 22412 22195 0 -1 4202496 15683 935 1 0 170 13 0 0 24 0 5 0 270970752 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22412/statm: 80992 8190 1883 364 0 16901 0
[pid=22418] ppid=22412 vsize=283440 CPUtime=0 cores=0,2,4,6
/proc/22418/stat : 22418 (python) S 22412 22412 22195 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 270970956 290242560 6647 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682255 0 0 16781312 514 4428587924761575682 0 0 17 4 0 0 0
/proc/22418/statm: 70860 6647 355 364 0 6778 0
[pid=22420] ppid=22418 vsize=1018996 CPUtime=1.04 cores=0,2,4,6
/proc/22420/stat : 22420 (gnovelty+2) R 22418 22420 22420 0 -1 4202496 962 0 0 0 104 0 0 0 24 0 1 0 270970956 1043451904 698 33554432000 134512640 135663704 4290611088 18446744073709551615 134545576 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22420/statm: 254749 698 113 282 0 254465 0
[pid=22421] ppid=22412 vsize=293696 CPUtime=0 cores=0,2,4,6
/proc/22421/stat : 22421 (python) S 22412 22412 22195 0 -1 4202560 742 0 0 0 0 0 0 0 19 0 1 0 270970959 300744704 6645 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 4573551386058293247 0 0 17 4 0 0 0
/proc/22421/statm: 73424 6645 349 364 0 9339 0
[pid=22423] ppid=22421 vsize=1018996 CPUtime=1.01 cores=0,2,4,6
/proc/22423/stat : 22423 (gnovelty+2) R 22421 22423 22423 0 -1 4202496 960 0 0 0 101 0 0 0 24 0 1 0 270970959 1043451904 698 33554432000 134512640 135663704 4291188064 18446744073709551615 134544196 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22423/statm: 254749 698 113 282 0 254465 0
[pid=22424] ppid=22412 vsize=303952 CPUtime=0 cores=0,2,4,6
/proc/22424/stat : 22424 (python) S 22412 22412 22195 0 -1 4202560 716 0 0 0 0 0 0 0 21 0 1 0 270970962 311246848 6645 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 4503523490485239807 0 0 17 2 0 0 0
/proc/22424/statm: 75988 6645 345 364 0 11900 0
[pid=22426] ppid=22424 vsize=421428 CPUtime=0.98 cores=0,2,4,6
/proc/22426/stat : 22426 (adaptg2wsat2009) R 22424 22426 22426 0 -1 4202496 2045 0 0 0 98 0 0 0 25 0 1 0 270970962 431542272 1781 33554432000 134512640 135107411 4287745136 18446744073709551615 134531600 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22426/statm: 105357 1781 59 146 0 104233 0
[pid=22427] ppid=22412 vsize=314208 CPUtime=0 cores=0,2,4,6
/proc/22427/stat : 22427 (python) S 22412 22412 22195 0 -1 4202560 724 0 0 0 0 0 0 0 25 0 1 0 270970965 321748992 6649 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 4512470766356267007 0 0 17 2 0 0 0
/proc/22427/statm: 78552 6649 345 364 0 14461 0
[pid=22429] ppid=22427 vsize=421428 CPUtime=0.95 cores=0,2,4,6
/proc/22429/stat : 22429 (adaptg2wsat2009) R 22427 22429 22429 0 -1 4202496 2047 0 0 0 95 0 0 0 25 0 1 0 270970965 431542272 1782 33554432000 134512640 135107411 4294469520 18446744073709551615 134531582 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22429/statm: 105357 1782 59 146 0 104233 0
[pid=22412/tid=22419] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22419/stat : 22419 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 270970956 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22422] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22422/stat : 22422 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 270970959 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
[pid=22412/tid=22425] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22425/stat : 22425 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 5 0 270970962 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22428] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22428/stat : 22428 (python) S 22410 22412 22195 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 5 0 270970965 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 4400112

[startup+6.30119 s]
/proc/loadavg: 7.94 6.51 3.32 9/247 22429
/proc/meminfo: memFree=29928824/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=323968 CPUtime=1.83 cores=0,2,4,6
/proc/22412/stat : 22412 (python) S 22410 22412 22195 0 -1 4202496 15683 935 1 0 170 13 0 0 24 0 5 0 270970752 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22412/statm: 80992 8190 1883 364 0 16901 0
[pid=22418] ppid=22412 vsize=283440 CPUtime=0 cores=0,2,4,6
/proc/22418/stat : 22418 (python) S 22412 22412 22195 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 1 0 270970956 290242560 6670 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682255 0 0 16781312 514 4428587924761575682 0 0 17 4 0 0 0
/proc/22418/statm: 70860 6670 378 364 0 6778 0
[pid=22420] ppid=22418 vsize=1018996 CPUtime=4.25 cores=0,2,4,6
/proc/22420/stat : 22420 (gnovelty+2) R 22418 22420 22420 0 -1 4202496 962 0 0 0 425 0 0 0 25 0 1 0 270970956 1043451904 698 33554432000 134512640 135663704 4290611088 18446744073709551615 134525684 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22420/statm: 254749 698 113 282 0 254465 0
[pid=22421] ppid=22412 vsize=293696 CPUtime=0 cores=0,2,4,6
/proc/22421/stat : 22421 (python) S 22412 22412 22195 0 -1 4202560 911 0 0 0 0 0 0 0 18 0 1 0 270970959 300744704 6668 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 4573551386058260737 0 0 17 4 0 0 0
/proc/22421/statm: 73424 6668 372 364 0 9339 0
[pid=22423] ppid=22421 vsize=1018996 CPUtime=4.19 cores=0,2,4,6
/proc/22423/stat : 22423 (gnovelty+2) R 22421 22423 22423 0 -1 4202496 960 0 0 0 419 0 0 0 25 0 1 0 270970959 1043451904 698 33554432000 134512640 135663704 4291188064 18446744073709551615 134544196 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22423/statm: 254749 698 113 282 0 254465 0
[pid=22424] ppid=22412 vsize=303952 CPUtime=0 cores=0,2,4,6
/proc/22424/stat : 22424 (python) S 22412 22412 22195 0 -1 4202560 902 0 0 0 0 0 0 0 18 0 1 0 270970962 311246848 6672 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 4503523490485207300 0 0 17 2 0 0 0
/proc/22424/statm: 75988 6672 372 364 0 11900 0
[pid=22426] ppid=22424 vsize=421428 CPUtime=4.17 cores=0,2,4,6
/proc/22426/stat : 22426 (adaptg2wsat2009) R 22424 22426 22426 0 -1 4202496 2045 0 0 0 417 0 0 0 25 0 1 0 270970962 431542272 1781 33554432000 134512640 135107411 4287745136 18446744073709551615 134531421 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22426/statm: 105357 1781 59 146 0 104233 0
[pid=22427] ppid=22412 vsize=314208 CPUtime=0 cores=0,2,4,6
/proc/22427/stat : 22427 (python) S 22412 22412 22195 0 -1 4202560 926 0 0 0 0 0 0 0 18 0 1 0 270970965 321748992 6675 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 4512470766356267007 0 0 17 2 0 0 0
/proc/22427/statm: 78552 6675 371 364 0 14461 0
[pid=22429] ppid=22427 vsize=421428 CPUtime=4.14 cores=0,2,4,6
/proc/22429/stat : 22429 (adaptg2wsat2009) R 22427 22429 22429 0 -1 4202496 2047 0 0 0 414 0 0 0 25 0 1 0 270970965 431542272 1782 33554432000 134512640 135107411 4294469520 18446744073709551615 134531239 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22429/statm: 105357 1782 59 146 0 104233 0
[pid=22412/tid=22419] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22419/stat : 22419 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 270970956 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22422] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22422/stat : 22422 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 270970959 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
[pid=22412/tid=22425] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22425/stat : 22425 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 5 0 270970962 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22428] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22428/stat : 22428 (python) S 22410 22412 22195 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 5 0 270970965 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (KiB) 4400112

[startup+12.7011 s]
/proc/loadavg: 7.94 6.54 3.34 10/247 22429
/proc/meminfo: memFree=29927572/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=323968 CPUtime=1.83 cores=0,2,4,6
/proc/22412/stat : 22412 (python) S 22410 22412 22195 0 -1 4202496 15683 935 1 0 170 13 0 0 24 0 5 0 270970752 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22412/statm: 80992 8190 1883 364 0 16901 0
[pid=22418] ppid=22412 vsize=283440 CPUtime=0.01 cores=0,2,4,6
/proc/22418/stat : 22418 (python) S 22412 22412 22195 0 -1 4202560 903 0 0 0 1 0 0 0 18 0 1 0 270970956 290242560 6670 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682255 0 0 16781312 514 3157146484088996098 0 0 17 4 0 0 0
/proc/22418/statm: 70860 6670 378 364 0 6778 0
[pid=22420] ppid=22418 vsize=1018996 CPUtime=10.65 cores=0,2,4,6
/proc/22420/stat : 22420 (gnovelty+2) R 22418 22420 22420 0 -1 4202496 962 0 0 0 1065 0 0 0 25 0 1 0 270970956 1043451904 698 33554432000 134512640 135663704 4290611088 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22420/statm: 254749 698 113 282 0 254465 0
[pid=22421] ppid=22412 vsize=293696 CPUtime=0.01 cores=0,2,4,6
/proc/22421/stat : 22421 (python) S 22412 22412 22195 0 -1 4202560 914 0 0 0 1 0 0 0 18 0 1 0 270970959 300744704 6668 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 3157146484088996097 0 0 17 4 0 0 0
/proc/22421/statm: 73424 6668 372 364 0 9339 0
[pid=22423] ppid=22421 vsize=1018996 CPUtime=10.55 cores=0,2,4,6
/proc/22423/stat : 22423 (gnovelty+2) R 22421 22423 22423 0 -1 4202496 960 0 0 0 1055 0 0 0 25 0 1 0 270970959 1043451904 698 33554432000 134512640 135663704 4291188064 18446744073709551615 134545187 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22423/statm: 254749 698 113 282 0 254465 0
[pid=22424] ppid=22412 vsize=303952 CPUtime=0 cores=0,2,4,6
/proc/22424/stat : 22424 (python) S 22412 22412 22195 0 -1 4202560 905 0 0 0 0 0 0 0 18 0 1 0 270970962 311246848 6672 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 3157146484088996100 0 0 17 2 0 0 0
/proc/22424/statm: 75988 6672 372 364 0 11900 0
[pid=22426] ppid=22424 vsize=421428 CPUtime=10.55 cores=0,2,4,6
/proc/22426/stat : 22426 (adaptg2wsat2009) R 22424 22426 22426 0 -1 4202496 2045 0 0 0 1055 0 0 0 25 0 1 0 270970962 431542272 1781 33554432000 134512640 135107411 4287745136 18446744073709551615 134531707 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22426/statm: 105357 1781 59 146 0 104233 0
[pid=22427] ppid=22412 vsize=314208 CPUtime=0.01 cores=0,2,4,6
/proc/22427/stat : 22427 (python) S 22412 22412 22195 0 -1 4202560 929 0 0 0 0 1 0 0 18 0 1 0 270970965 321748992 6676 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 4512470766356234498 0 0 17 2 0 0 0
/proc/22427/statm: 78552 6676 372 364 0 14461 0
[pid=22429] ppid=22427 vsize=421428 CPUtime=10.52 cores=0,2,4,6
/proc/22429/stat : 22429 (adaptg2wsat2009) R 22427 22429 22429 0 -1 4202496 2047 0 0 0 1052 0 0 0 25 0 1 0 270970965 431542272 1782 33554432000 134512640 135107411 4294469520 18446744073709551615 134531822 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22429/statm: 105357 1782 59 146 0 104233 0
[pid=22412/tid=22419] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22419/stat : 22419 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 270970956 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22422] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22422/stat : 22422 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 270970959 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
[pid=22412/tid=22425] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22425/stat : 22425 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 5 0 270970962 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22428] ppid=22410 vsize=323968 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22428/stat : 22428 (python) S 22410 22412 22195 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 5 0 270970965 331743232 8190 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 44.13
Current children cumulated vsize (KiB) 4400112

[startup+25.5008 s]
/proc/loadavg: 8.02 6.62 3.42 9/252 22435
/proc/meminfo: memFree=29920216/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=323968 CPUtime=1.83 cores=0,2,4,6

################
# More data... #
################

/proc/22471/stat : 22471 (hybridGM3) R 22469 22471 22471 0 -1 4202496 5815 0 0 0 2468 0 0 0 25 0 1 0 270990913 274866176 5543 33554432000 134512640 135204385 4288301824 18446744073709551615 134538395 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22471/statm: 67106 5543 63 169 0 66936 0
[pid=22473] ppid=22412 vsize=396752 CPUtime=0.03 cores=0,2,4,6
/proc/22473/stat : 22473 (python) S 22412 22412 22195 0 -1 4202560 987 0 0 0 1 2 0 0 18 0 1 0 270990996 406274048 6817 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 3157146484088996100 0 0 17 4 0 0 0
/proc/22473/statm: 99188 6817 372 364 0 35073 0
[pid=22475] ppid=22473 vsize=1018996 CPUtime=24.35 cores=0,2,4,6
/proc/22475/stat : 22475 (gnovelty+2) R 22473 22475 22475 0 -1 4202496 971 0 0 0 2435 0 0 0 25 0 1 0 270990996 1043451904 698 33554432000 134512640 135663704 4294272896 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22475/statm: 254749 698 113 282 0 254465 0
[pid=22412/tid=22419] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22419/stat : 22419 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 13 0 270970956 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22422] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22422/stat : 22422 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 13 0 270970959 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
[pid=22412/tid=22425] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22425/stat : 22425 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 13 0 270970962 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22428] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22428/stat : 22428 (python) S 22410 22412 22195 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 13 0 270970965 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22442] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22442/stat : 22442 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 13 0 270980977 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22445] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22445/stat : 22445 (python) S 22410 22412 22195 0 -1 4202560 18 935 0 0 0 0 0 0 22 0 13 0 270980980 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 0 0 0 0
[pid=22412/tid=22449] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22449/stat : 22449 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 24 0 13 0 270980984 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22452] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22452/stat : 22452 (python) S 22410 22412 22195 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 13 0 270980988 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22464] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22464/stat : 22464 (python) S 22410 22412 22195 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 13 0 270990905 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22467] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22467/stat : 22467 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 13 0 270990909 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22470] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22470/stat : 22470 (python) S 22410 22412 22195 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 13 0 270990913 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
[pid=22412/tid=22474] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22474/stat : 22474 (python) S 22410 22412 22195 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 13 0 270990996 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 897.59
Current children cumulated vsize (KiB) 11450916

[startup+227.002 s]
/proc/loadavg: 8.25 7.39 4.34 9/289 22477
/proc/meminfo: memFree=29803548/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=406452 CPUtime=2.12 cores=0,2,4,6
/proc/22412/stat : 22412 (python) S 22410 22412 22195 0 -1 4202496 23156 935 1 0 197 15 0 0 20 0 13 0 270970752 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22412/statm: 101613 8348 1900 364 0 37498 0
[pid=22418] ppid=22412 vsize=293684 CPUtime=0.14 cores=0,2,4,6
/proc/22418/stat : 22418 (python) S 22412 22412 22195 0 -1 4202560 1084 0 0 0 8 6 0 0 19 0 2 0 270970956 300732416 6707 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22418/statm: 73421 6707 410 364 0 9339 0
[pid=22420] ppid=22418 vsize=1018996 CPUtime=100.15 cores=0,2,4,6
/proc/22420/stat : 22420 (gnovelty+2) T 22418 22420 22420 0 -1 4202496 962 0 0 0 10015 0 0 0 25 0 1 0 270970956 1043451904 698 33554432000 134512640 135663704 4290611088 18446744073709551615 134524918 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22420/statm: 254749 698 113 282 0 254465 0
[pid=22418/tid=22438] ppid=22412 vsize=293684 CPUtime=0 cores=0,2,4,6
/proc/22418/task/22438/stat : 22438 (python) S 22412 22412 22195 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 270980974 300732416 6707 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453943804224 0 0 -1 4 0 0 0
[pid=22421] ppid=22412 vsize=293696 CPUtime=0.13 cores=0,2,4,6
/proc/22421/stat : 22421 (python) S 22412 22412 22195 0 -1 4202560 1092 0 0 0 8 5 0 0 19 0 2 0 270970959 300744704 6697 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22421/statm: 73424 6697 400 364 0 9339 0
[pid=22423] ppid=22421 vsize=1018996 CPUtime=99.52 cores=0,2,4,6
/proc/22423/stat : 22423 (gnovelty+2) T 22421 22423 22423 0 -1 4202496 960 0 0 0 9952 0 0 0 25 0 1 0 270970959 1043451904 698 33554432000 134512640 135663704 4291188064 18446744073709551615 134525678 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/22423/statm: 254749 698 113 282 0 254465 0
[pid=22421/tid=22439] ppid=22412 vsize=293696 CPUtime=0 cores=0,2,4,6
/proc/22421/task/22439/stat : 22439 (python) S 22412 22412 22195 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 270980976 300744704 6697 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453977556160 0 0 -1 4 0 0 0
[pid=22424] ppid=22412 vsize=303952 CPUtime=0.14 cores=0,2,4,6
/proc/22424/stat : 22424 (python) S 22412 22412 22195 0 -1 4202560 1090 0 0 0 7 7 0 0 19 0 2 0 270970962 311246848 6701 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/22424/statm: 75988 6701 400 364 0 11900 0
[pid=22426] ppid=22424 vsize=421428 CPUtime=99.84 cores=0,2,4,6
/proc/22426/stat : 22426 (adaptg2wsat2009) T 22424 22426 22426 0 -1 4202496 2045 0 0 0 9984 0 0 0 25 0 1 0 270970962 431542272 1781 33554432000 134512640 135107411 4287745136 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/22426/statm: 105357 1781 59 146 0 104233 0
[pid=22424/tid=22441] ppid=22412 vsize=303952 CPUtime=0 cores=0,2,4,6
/proc/22424/task/22441/stat : 22441 (python) S 22412 22412 22195 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 270980977 311246848 6701 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453961251520 0 0 -1 6 0 0 0
[pid=22427] ppid=22412 vsize=314208 CPUtime=0.14 cores=0,2,4,6
/proc/22427/stat : 22427 (python) S 22412 22412 22195 0 -1 4202560 1114 0 0 0 6 8 0 0 19 0 2 0 270970965 321748992 6705 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22427/statm: 78552 6705 400 364 0 14461 0
[pid=22429] ppid=22427 vsize=421428 CPUtime=99.86 cores=0,2,4,6
/proc/22429/stat : 22429 (adaptg2wsat2009) T 22427 22429 22429 0 -1 4202496 2047 0 0 0 9986 0 0 0 25 0 1 0 270970965 431542272 1782 33554432000 134512640 135107411 4294469520 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22429/statm: 105357 1782 59 146 0 104233 0
[pid=22427/tid=22446] ppid=22412 vsize=314208 CPUtime=0 cores=0,2,4,6
/proc/22427/task/22446/stat : 22446 (python) S 22412 22412 22195 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 270980981 321748992 6705 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453963334720 0 0 -1 2 0 0 0
[pid=22440] ppid=22412 vsize=324464 CPUtime=0.14 cores=0,2,4,6
/proc/22440/stat : 22440 (python) S 22412 22412 22195 0 -1 4202560 1115 0 0 0 6 8 0 0 19 0 2 0 270980977 332251136 6709 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 81116 6709 400 364 0 17022 0
[pid=22443] ppid=22440 vsize=421428 CPUtime=99.96 cores=0,2,4,6
/proc/22443/stat : 22443 (adaptg2wsat2009) T 22440 22443 22443 0 -1 4202496 2049 0 0 0 9996 0 0 0 25 0 1 0 270980977 431542272 1781 33554432000 134512640 135107411 4291417280 18446744073709551615 134531401 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/22443/statm: 105357 1781 59 146 0 104233 0
[pid=22440/tid=22472] ppid=22412 vsize=324464 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22472/stat : 22472 (python) S 22412 22412 22195 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 270990991 332251136 6709 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453956037568 0 0 -1 0 0 0 0
[pid=22444] ppid=22412 vsize=334804 CPUtime=0.15 cores=0,2,4,6
/proc/22444/stat : 22444 (python) S 22412 22412 22195 0 -1 4202560 1125 0 0 0 7 8 0 0 19 0 2 0 270980980 342839296 6713 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22444/statm: 83701 6713 400 364 0 19604 0
[pid=22447] ppid=22444 vsize=1018996 CPUtime=99.2 cores=0,2,4,6
/proc/22447/stat : 22447 (gnovelty+2) T 22444 22447 22447 0 -1 4202496 963 0 0 0 9920 0 0 0 25 0 1 0 270980981 1043451904 697 33554432000 134512640 135663704 4290175024 18446744073709551615 134524684 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22447/statm: 254749 697 113 282 0 254465 0
[pid=22444/tid=22461] ppid=22412 vsize=334804 CPUtime=0 cores=0,2,4,6
/proc/22444/task/22461/stat : 22461 (python) S 22412 22412 22195 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 270990904 342839296 6713 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453949871936 0 0 -1 0 0 0 0
[pid=22448] ppid=22412 vsize=345148 CPUtime=0.15 cores=0,2,4,6
/proc/22448/stat : 22448 (python) S 22412 22412 22195 0 -1 4202560 1185 0 0 0 8 7 0 0 19 0 2 0 270980984 353431552 6744 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/22448/statm: 86287 6744 406 364 0 22187 0
[pid=22450] ppid=22448 vsize=251296 CPUtime=98.86 cores=0,2,4,6
/proc/22450/stat : 22450 (FH) T 22448 22450 22450 0 -1 4202496 1946 0 0 0 9886 0 0 0 25 0 1 0 270980984 257327104 1683 33554432000 134512640 134936988 4294321872 18446744073709551615 134553238 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22450/statm: 62824 1683 41 104 0 62328 0
[pid=22448/tid=22460] ppid=22412 vsize=345148 CPUtime=0 cores=0,2,4,6
/proc/22448/task/22460/stat : 22460 (python) S 22412 22412 22195 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 270990901 353431552 6744 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453985899840 0 0 -1 6 0 0 0
[pid=22451] ppid=22412 vsize=355504 CPUtime=0.15 cores=0,2,4,6
/proc/22451/stat : 22451 (python) S 22412 22412 22195 0 -1 4202560 1170 0 0 0 7 8 0 0 19 0 2 0 270980988 364036096 6770 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22451/statm: 88876 6770 406 364 0 24773 0
[pid=22453] ppid=22451 vsize=421428 CPUtime=97.4 cores=0,2,4,6
/proc/22453/stat : 22453 (adaptg2wsat2009) T 22451 22453 22453 0 -1 4202496 2052 0 0 0 9740 0 0 0 25 0 1 0 270980988 431542272 1781 33554432000 134512640 135107411 4294225328 18446744073709551615 134531935 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/22453/statm: 105357 1781 59 146 0 104233 0
[pid=22451/tid=22463] ppid=22412 vsize=355504 CPUtime=0 cores=0,2,4,6
/proc/22451/task/22463/stat : 22463 (python) S 22412 22412 22195 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 270990905 364036096 6770 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 514 18446604453985900736 0 0 -1 2 0 0 0
[pid=22462] ppid=22412 vsize=365700 CPUtime=0.02 cores=0,2,4,6
/proc/22462/stat : 22462 (python) S 22412 22412 22195 0 -1 4202560 973 0 0 0 1 1 0 0 18 0 1 0 270990905 374476800 6764 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 3157146484088996099 0 0 17 6 0 0 0
/proc/22462/statm: 91425 6764 372 364 0 27319 0
[pid=22465] ppid=22462 vsize=421428 CPUtime=25.46 cores=0,2,4,6
/proc/22465/stat : 22465 (adaptg2wsat2009) R 22462 22465 22465 0 -1 4202496 2055 0 0 0 2546 0 0 0 25 0 1 0 270990905 431542272 1782 33554432000 134512640 135107411 4287547392 18446744073709551615 134531741 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22465/statm: 105357 1782 59 146 0 104233 0
[pid=22466] ppid=22412 vsize=376180 CPUtime=0.03 cores=0,2,4,6
/proc/22466/stat : 22466 (python) S 22412 22412 22195 0 -1 4202560 973 0 0 0 1 2 0 0 18 0 1 0 270990909 385208320 6768 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 3157146484088996097 0 0 17 6 0 0 0
/proc/22466/statm: 94045 6768 372 364 0 29936 0
[pid=22468] ppid=22466 vsize=251288 CPUtime=25.34 cores=0,2,4,6
/proc/22468/stat : 22468 (FH) R 22466 22468 22468 0 -1 4202496 1954 0 0 0 2534 0 0 0 25 0 1 0 270990909 257318912 1682 33554432000 134512640 134936988 4291244160 18446744073709551615 134552495 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22468/statm: 62822 1682 41 104 0 62326 0
[pid=22469] ppid=22412 vsize=386240 CPUtime=0.03 cores=0,2,4,6
/proc/22469/stat : 22469 (python) S 22412 22412 22195 0 -1 4202560 984 0 0 0 2 1 0 0 18 0 1 0 270990913 395509760 6813 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 3157146484088996099 0 0 17 4 0 0 0
/proc/22469/statm: 96560 6813 372 364 0 32448 0
[pid=22471] ppid=22469 vsize=268424 CPUtime=24.88 cores=0,2,4,6
/proc/22471/stat : 22471 (hybridGM3) R 22469 22471 22471 0 -1 4202496 5815 0 0 0 2488 0 0 0 25 0 1 0 270990913 274866176 5543 33554432000 134512640 135204385 4288301824 18446744073709551615 134545276 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22471/statm: 67106 5543 63 169 0 66936 0
[pid=22473] ppid=22412 vsize=396752 CPUtime=0.03 cores=0,2,4,6
/proc/22473/stat : 22473 (python) S 22412 22412 22195 0 -1 4202560 987 0 0 0 1 2 0 0 18 0 1 0 270990996 406274048 6817 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660682310 0 0 16781312 514 3157146484088996100 0 0 17 4 0 0 0
/proc/22473/statm: 99188 6817 372 364 0 35073 0
[pid=22475] ppid=22473 vsize=1018996 CPUtime=24.55 cores=0,2,4,6
/proc/22475/stat : 22475 (gnovelty+2) R 22473 22475 22475 0 -1 4202496 971 0 0 0 2455 0 0 0 25 0 1 0 270990996 1043451904 698 33554432000 134512640 135663704 4294272896 18446744073709551615 135008540 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22475/statm: 254749 698 113 282 0 254465 0
[pid=22412/tid=22419] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22419/stat : 22419 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 13 0 270970956 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22422] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22422/stat : 22422 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 13 0 270970959 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
[pid=22412/tid=22425] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22425/stat : 22425 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 13 0 270970962 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22428] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22428/stat : 22428 (python) S 22410 22412 22195 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 13 0 270970965 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22442] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22442/stat : 22442 (python) S 22410 22412 22195 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 13 0 270980977 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22445] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22445/stat : 22445 (python) S 22410 22412 22195 0 -1 4202560 18 935 0 0 0 0 0 0 22 0 13 0 270980980 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 0 0 0 0
[pid=22412/tid=22449] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22449/stat : 22449 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 24 0 13 0 270980984 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22452] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22452/stat : 22452 (python) S 22410 22412 22195 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 13 0 270980988 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22464] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22464/stat : 22464 (python) S 22410 22412 22195 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 13 0 270990905 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 2 0 0 0
[pid=22412/tid=22467] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22467/stat : 22467 (python) S 22410 22412 22195 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 13 0 270990909 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22470] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22470/stat : 22470 (python) S 22410 22412 22195 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 13 0 270990913 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
[pid=22412/tid=22474] ppid=22410 vsize=406452 CPUtime=0 cores=0,2,4,6
/proc/22412/task/22474/stat : 22474 (python) S 22410 22412 22195 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 13 0 270990996 416206848 8348 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 2 18446604453917962496 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 898.39
Current children cumulated vsize (KiB) 11450916

[startup+227.102 s]
/proc/loadavg: 8.25 7.39 4.34 9/289 22477
/proc/meminfo: memFree=29803548/32951124 swapFree=67111524/67111528
[pid=22412] ppid=22410 vsize=344832 CPUtime=898.98 cores=0,2,4,6
/proc/22412/stat : 22412 (python) R 22410 22412 22195 0 -1 4202496 28350 38334 1 0 199 16 89606 77 17 0 4 0 270970752 353107968 8300 33554432000 4194304 5683644 140734945963008 18446744073709551615 268660318288 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/22412/statm: 86208 8300 1876 364 0 22132 0
[pid=22412/tid=22419] ppid=22410 vsize=344832 CPUtime=896.83 cores=0,2,4,6
/proc/22412/task/22419/stat : 22419 (python) S 22410 22412 22195 0 -1 4202560 29 38334 0 0 0 0 89606 77 18 0 4 0 270970956 353107968 8300 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 0 18446604453917962496 0 0 -1 6 0 0 0
[pid=22412/tid=22449] ppid=22410 vsize=344832 CPUtime=896.83 cores=0,2,4,6
/proc/22412/task/22449/stat : 22449 (python) S 22410 22412 22195 0 -1 4202560 26 38334 0 0 0 0 89606 77 17 0 4 0 270980984 353107968 8300 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 0 18446604453917962496 0 0 -1 0 0 0 0
[pid=22412/tid=22464] ppid=22410 vsize=344832 CPUtime=896.83 cores=0,2,4,6
/proc/22412/task/22464/stat : 22464 (python) S 22410 22412 22195 0 -1 4202560 27 38334 0 0 0 0 89606 77 18 0 4 0 270990905 353107968 8300 33554432000 4194304 5683644 140734945963008 18446744073709551615 268672485809 0 0 16781312 0 18446604453917962496 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 898.98
Current children cumulated vsize (KiB) 344832

Child status: 0
Real time (s): 227.106
CPU time (s): 899.007
CPU user time (s): 898.062
CPU system time (s): 0.944856
CPU usage (%): 395.854
Max. virtual memory (cumulated for all children) (KiB): 11450916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.062
system time used= 0.944856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66860
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= 4419
involuntary context switches= 5870

runsolver used 1.18682 second user time and 1.49577 second system time

The end