runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

running on 4 cores: 1,3,5,7

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.24 8.08 6.59 5/413 17804
/proc/meminfo: memFree=14306160/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=15908 CPUtime=0 cores=1,3,5,7
/proc/17804/stat : 17804 (python) R 17802 17804 17418 0 -1 4202496 940 0 0 0 0 0 0 0 25 0 1 0 114061597 16289792 819 33554432000 4194304 5683644 140734184243712 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17804/statm: 3976 818 356 364 0 463 0

[startup+0.018287 s]
/proc/loadavg: 8.24 8.08 6.59 5/413 17804
/proc/meminfo: memFree=14306160/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=16236 CPUtime=0.01 cores=1,3,5,7
/proc/17804/stat : 17804 (python) R 17802 17804 17418 0 -1 4202496 1037 0 0 0 1 0 0 0 25 0 1 0 114061597 16625664 909 33554432000 4194304 5683644 140734184243712 18446744073709551615 4532022 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17804/statm: 4059 909 380 364 0 546 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16236

[startup+0.100279 s]
/proc/loadavg: 8.24 8.08 6.59 5/413 17804
/proc/meminfo: memFree=14306160/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=89764 CPUtime=0.06 cores=1,3,5,7
/proc/17804/stat : 17804 (python) R 17802 17804 17418 0 -1 4202496 2671 0 0 0 5 1 0 0 17 0 1 0 114061597 91918336 2387 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880560997 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17804/statm: 22441 2387 750 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89764

[startup+0.300242 s]
/proc/loadavg: 8.24 8.08 6.59 5/413 17804
/proc/meminfo: memFree=14306160/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=135744 CPUtime=0.19 cores=1,3,5,7
/proc/17804/stat : 17804 (python) S 17802 17804 17418 0 -1 4202496 5960 931 1 0 14 5 0 0 17 0 1 0 114061597 139001856 4150 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880561157 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/17804/statm: 33936 4150 1032 364 0 3122 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135744

[startup+0.70116 s]
/proc/loadavg: 8.24 8.08 6.59 5/413 17804
/proc/meminfo: memFree=14306160/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=280244 CPUtime=0.44 cores=1,3,5,7
/proc/17804/stat : 17804 (python) R 17802 17804 17418 0 -1 4202496 9701 931 1 0 33 11 0 0 15 0 1 0 114061597 286969856 7385 33554432000 4194304 5683644 140734184243712 18446744073709551615 4602421 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17804/statm: 70061 7385 1761 364 0 5985 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 280244

[startup+1.50102 s]
/proc/loadavg: 8.24 8.08 6.59 6/414 17809
/proc/meminfo: memFree=14276128/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=285812 CPUtime=1.24 cores=1,3,5,7
/proc/17804/stat : 17804 (python) R 17802 17804 17418 0 -1 4202496 12057 931 1 0 113 11 0 0 16 0 1 0 114061597 292671488 8839 33554432000 4194304 5683644 140734184243712 18446744073709551615 4643410 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17804/statm: 71453 8839 1827 364 0 7377 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 285812

[startup+3.10067 s]
/proc/loadavg: 7.98 8.03 6.59 9/426 17821
/proc/meminfo: memFree=14253704/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=323064 CPUtime=1.59 cores=1,3,5,7
/proc/17804/stat : 17804 (python) S 17802 17804 17418 0 -1 4202496 14913 931 1 0 148 11 0 0 22 0 5 0 114061597 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17804/statm: 80766 7974 1875 364 0 16675 0
[pid=17810] ppid=17804 vsize=282052 CPUtime=0 cores=1,3,5,7
/proc/17810/stat : 17810 (python) S 17804 17804 17418 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 114061780 288821248 6420 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585231 0 0 16781312 514 6022139813711282437 0 0 17 5 0 0 0
/proc/17810/statm: 70513 6420 354 364 0 6431 0
[pid=17812] ppid=17810 vsize=1018800 CPUtime=1.26 cores=1,3,5,7
/proc/17812/stat : 17812 (gnovelty+2) R 17810 17812 17812 0 -1 4202496 865 0 0 0 126 0 0 0 22 0 1 0 114061781 1043251200 603 33554432000 134512640 135663704 4291196608 18446744073709551615 134544236 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17812/statm: 254700 603 113 282 0 254416 0
[pid=17813] ppid=17804 vsize=292308 CPUtime=0 cores=1,3,5,7
/proc/17813/stat : 17813 (python) S 17804 17804 17418 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 114061781 299323392 6418 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 578527013824856325 0 0 17 3 0 0 0
/proc/17813/statm: 73077 6418 348 364 0 8992 0
[pid=17815] ppid=17813 vsize=1018800 CPUtime=1.23 cores=1,3,5,7
/proc/17815/stat : 17815 (gnovelty+2) R 17813 17815 17815 0 -1 4202496 865 0 0 0 123 0 0 0 25 0 1 0 114061782 1043251200 603 33554432000 134512640 135663704 4287006432 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17815/statm: 254700 603 113 282 0 254416 0
[pid=17816] ppid=17804 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17816/stat : 17816 (python) S 17804 17804 17418 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 114061782 309825536 6439 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 15660695412673609727 0 0 17 1 0 0 0
/proc/17816/statm: 75641 6439 348 364 0 11553 0
[pid=17818] ppid=17816 vsize=420484 CPUtime=1.24 cores=1,3,5,7
/proc/17818/stat : 17818 (adaptg2wsat2009) R 17816 17818 17818 0 -1 4202496 1756 0 0 0 124 0 0 0 25 0 1 0 114061782 430575616 1492 33554432000 134512640 135107411 4288994128 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17818/statm: 105121 1492 59 146 0 103997 0
[pid=17819] ppid=17804 vsize=312820 CPUtime=0 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17804 17804 17418 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 114061783 320327680 6443 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 1659525339690303487 0 0 17 3 0 0 0
/proc/17819/statm: 78205 6443 348 364 0 14114 0
[pid=17821] ppid=17819 vsize=420484 CPUtime=1.23 cores=1,3,5,7
/proc/17821/stat : 17821 (adaptg2wsat2009) R 17819 17821 17821 0 -1 4202496 1756 0 0 0 123 0 0 0 25 0 1 0 114061783 430575616 1493 33554432000 134512640 135107411 4291987200 18446744073709551615 134531664 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17821/statm: 105121 1493 59 146 0 103997 0
[pid=17804/tid=17811] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17811/stat : 17811 (python) S 17802 17804 17418 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 5 0 114061780 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17814] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17814/stat : 17814 (python) S 17802 17804 17418 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 114061781 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 7 0 0 0
[pid=17804/tid=17817] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17817/stat : 17817 (python) S 17802 17804 17418 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 114061782 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17820] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17820/stat : 17820 (python) S 17802 17804 17418 0 -1 4202560 31 931 0 0 0 0 0 0 22 0 5 0 114061783 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 4391376

[startup+6.3011 s]
/proc/loadavg: 7.98 8.03 6.59 9/426 17822
/proc/meminfo: memFree=14247504/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=323064 CPUtime=1.59 cores=1,3,5,7
/proc/17804/stat : 17804 (python) S 17802 17804 17418 0 -1 4202496 14913 931 1 0 148 11 0 0 22 0 5 0 114061597 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17804/statm: 80766 7974 1875 364 0 16675 0
[pid=17810] ppid=17804 vsize=282052 CPUtime=0 cores=1,3,5,7
/proc/17810/stat : 17810 (python) S 17804 17804 17418 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 114061780 288821248 6443 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585231 0 0 16781312 514 6022139813711282437 0 0 17 5 0 0 0
/proc/17810/statm: 70513 6443 377 364 0 6431 0
[pid=17812] ppid=17810 vsize=1018800 CPUtime=4.44 cores=1,3,5,7
/proc/17812/stat : 17812 (gnovelty+2) R 17810 17812 17812 0 -1 4202496 865 0 0 0 444 0 0 0 25 0 1 0 114061781 1043251200 603 33554432000 134512640 135663704 4291196608 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17812/statm: 254700 603 113 282 0 254416 0
[pid=17813] ppid=17804 vsize=292308 CPUtime=0.01 cores=1,3,5,7
/proc/17813/stat : 17813 (python) S 17804 17804 17418 0 -1 4202560 910 0 0 0 0 1 0 0 18 0 1 0 114061781 299323392 6441 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 578527013824856325 0 0 17 3 0 0 0
/proc/17813/statm: 73077 6441 371 364 0 8992 0
[pid=17815] ppid=17813 vsize=1018800 CPUtime=4.39 cores=1,3,5,7
/proc/17815/stat : 17815 (gnovelty+2) R 17813 17815 17815 0 -1 4202496 865 0 0 0 439 0 0 0 25 0 1 0 114061782 1043251200 603 33554432000 134512640 135663704 4287006432 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17815/statm: 254700 603 113 282 0 254416 0
[pid=17816] ppid=17804 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17816/stat : 17816 (python) S 17804 17804 17418 0 -1 4202560 906 0 0 0 0 0 0 0 18 0 1 0 114061782 309825536 6462 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 15660695412673577220 0 0 17 1 0 0 0
/proc/17816/statm: 75641 6462 371 364 0 11553 0
[pid=17818] ppid=17816 vsize=420484 CPUtime=4.42 cores=1,3,5,7
/proc/17818/stat : 17818 (adaptg2wsat2009) R 17816 17818 17818 0 -1 4202496 1756 0 0 0 442 0 0 0 25 0 1 0 114061782 430575616 1492 33554432000 134512640 135107411 4288994128 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17818/statm: 105121 1492 59 146 0 103997 0
[pid=17819] ppid=17804 vsize=312820 CPUtime=0.01 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17804 17804 17418 0 -1 4202560 914 0 0 0 0 1 0 0 18 0 1 0 114061783 320327680 6466 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 1659525339690270980 0 0 17 3 0 0 0
/proc/17819/statm: 78205 6466 371 364 0 14114 0
[pid=17821] ppid=17819 vsize=420484 CPUtime=4.39 cores=1,3,5,7
/proc/17821/stat : 17821 (adaptg2wsat2009) R 17819 17821 17821 0 -1 4202496 1756 0 0 0 439 0 0 0 25 0 1 0 114061783 430575616 1493 33554432000 134512640 135107411 4291987200 18446744073709551615 134539338 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17821/statm: 105121 1493 59 146 0 103997 0
[pid=17804/tid=17811] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17811/stat : 17811 (python) S 17802 17804 17418 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 5 0 114061780 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17814] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17814/stat : 17814 (python) S 17802 17804 17418 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 114061781 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 7 0 0 0
[pid=17804/tid=17817] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17817/stat : 17817 (python) S 17802 17804 17418 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 114061782 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17820] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17820/stat : 17820 (python) S 17802 17804 17418 0 -1 4202560 31 931 0 0 0 0 0 0 22 0 5 0 114061783 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 19.25
Current children cumulated vsize (KiB) 4391376

[startup+12.701 s]
/proc/loadavg: 7.98 8.03 6.60 10/426 17822
/proc/meminfo: memFree=14246328/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=323064 CPUtime=1.59 cores=1,3,5,7
/proc/17804/stat : 17804 (python) S 17802 17804 17418 0 -1 4202496 14913 931 1 0 148 11 0 0 22 0 5 0 114061597 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17804/statm: 80766 7974 1875 364 0 16675 0
[pid=17810] ppid=17804 vsize=282052 CPUtime=0.02 cores=1,3,5,7
/proc/17810/stat : 17810 (python) S 17804 17804 17418 0 -1 4202560 886 0 0 0 1 1 0 0 18 0 1 0 114061780 288821248 6443 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585231 0 0 16781312 514 15211769758559994117 0 0 17 5 0 0 0
/proc/17810/statm: 70513 6443 377 364 0 6431 0
[pid=17812] ppid=17810 vsize=1018800 CPUtime=10.82 cores=1,3,5,7
/proc/17812/stat : 17812 (gnovelty+2) R 17810 17812 17812 0 -1 4202496 865 0 0 0 1082 0 0 0 25 0 1 0 114061781 1043251200 603 33554432000 134512640 135663704 4291196608 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17812/statm: 254700 603 113 282 0 254416 0
[pid=17813] ppid=17804 vsize=292308 CPUtime=0.02 cores=1,3,5,7
/proc/17813/stat : 17813 (python) S 17804 17804 17418 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 114061781 299323392 6441 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 15211769758559994117 0 0 17 3 0 0 0
/proc/17813/statm: 73077 6441 371 364 0 8992 0
[pid=17815] ppid=17813 vsize=1018800 CPUtime=10.71 cores=1,3,5,7
/proc/17815/stat : 17815 (gnovelty+2) R 17813 17815 17815 0 -1 4202496 865 0 0 0 1071 0 0 0 25 0 1 0 114061782 1043251200 603 33554432000 134512640 135663704 4287006432 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17815/statm: 254700 603 113 282 0 254416 0
[pid=17816] ppid=17804 vsize=302564 CPUtime=0.02 cores=1,3,5,7
/proc/17816/stat : 17816 (python) S 17804 17804 17418 0 -1 4202560 908 0 0 0 1 1 0 0 18 0 1 0 114061782 309825536 6462 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 15211769758559994116 0 0 17 1 0 0 0
/proc/17816/statm: 75641 6462 371 364 0 11553 0
[pid=17818] ppid=17816 vsize=420484 CPUtime=10.8 cores=1,3,5,7
/proc/17818/stat : 17818 (adaptg2wsat2009) R 17816 17818 17818 0 -1 4202496 1756 0 0 0 1080 0 0 0 25 0 1 0 114061782 430575616 1492 33554432000 134512640 135107411 4288994128 18446744073709551615 134532347 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17818/statm: 105121 1492 59 146 0 103997 0
[pid=17819] ppid=17804 vsize=312820 CPUtime=0.03 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17804 17804 17418 0 -1 4202560 918 0 0 0 1 2 0 0 18 0 1 0 114061783 320327680 6466 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 15211769758559994116 0 0 17 3 0 0 0
/proc/17819/statm: 78205 6466 371 364 0 14114 0
[pid=17821] ppid=17819 vsize=420484 CPUtime=10.75 cores=1,3,5,7
/proc/17821/stat : 17821 (adaptg2wsat2009) R 17819 17821 17821 0 -1 4202496 1756 0 0 0 1075 0 0 0 25 0 1 0 114061783 430575616 1493 33554432000 134512640 135107411 4291987200 18446744073709551615 134532416 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17821/statm: 105121 1493 59 146 0 103997 0
[pid=17804/tid=17811] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17811/stat : 17811 (python) S 17802 17804 17418 0 -1 4202560 23 931 0 0 0 0 0 0 19 0 5 0 114061780 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17814] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17814/stat : 17814 (python) S 17802 17804 17418 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 5 0 114061781 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 7 0 0 0
[pid=17804/tid=17817] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17817/stat : 17817 (python) S 17802 17804 17418 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 5 0 114061782 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17820] ppid=17802 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17820/stat : 17820 (python) S 17802 17804 17418 0 -1 4202560 31 931 0 0 0 0 0 0 22 0 5 0 114061783 330817536 7974 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.76
Current children cumulated vsize (KiB) 4391376

[startup+25.5007 s]
/proc/loadavg: 7.98 8.03 6.61 9/426 17822
/proc/meminfo: memFree=14246992/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=323064 CPUtime=1.59 cores=1,3,5,7

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

/proc/17816/stat : 17816 (python) S 17804 17804 17418 0 -1 4202560 1089 0 0 0 14 14 0 0 19 0 2 0 114061782 309825536 6492 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17816/statm: 75641 6492 400 364 0 11553 0
[pid=17818] ppid=17816 vsize=420484 CPUtime=99.14 cores=1,3,5,7
/proc/17818/stat : 17818 (adaptg2wsat2009) T 17816 17818 17818 0 -1 4202496 1756 0 0 0 9914 0 0 0 25 0 1 0 114061782 430575616 1492 33554432000 134512640 135107411 4288994128 18446744073709551615 134531392 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17818/statm: 105121 1492 59 146 0 103997 0
[pid=17816/tid=17832] ppid=17804 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17816/task/17832/stat : 17832 (python) S 17804 17804 17418 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 114071725 309825536 6492 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604456558983040 0 0 -1 7 0 0 0
[pid=17819] ppid=17804 vsize=312820 CPUtime=0.29 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17804 17804 17418 0 -1 4202560 1101 0 0 0 15 14 0 0 18 0 2 0 114061783 320327680 6496 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17819/statm: 78205 6496 400 364 0 14114 0
[pid=17821] ppid=17819 vsize=420484 CPUtime=99.92 cores=1,3,5,7
/proc/17821/stat : 17821 (adaptg2wsat2009) T 17819 17821 17821 0 -1 4202496 1756 0 0 0 9992 0 0 0 25 0 1 0 114061783 430575616 1493 33554432000 134512640 135107411 4291987200 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17821/statm: 105121 1493 59 146 0 103997 0
[pid=17819/tid=17836] ppid=17804 vsize=312820 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (python) S 17804 17804 17418 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 114071823 320327680 6496 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604457594048896 0 0 -1 1 0 0 0
[pid=17833] ppid=17804 vsize=323076 CPUtime=0.3 cores=1,3,5,7
/proc/17833/stat : 17833 (python) S 17804 17804 17418 0 -1 4202560 1099 0 0 0 16 14 0 0 19 0 2 0 114071726 330829824 6500 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17833/statm: 80769 6500 400 364 0 16675 0
[pid=17835] ppid=17833 vsize=420484 CPUtime=98.03 cores=1,3,5,7
/proc/17835/stat : 17835 (adaptg2wsat2009) T 17833 17835 17835 0 -1 4202496 1755 0 0 0 9803 0 0 0 25 0 1 0 114071727 430575616 1492 33554432000 134512640 135107411 4294170832 18446744073709551615 134532293 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/17835/statm: 105121 1492 59 146 0 103997 0
[pid=17833/tid=17850] ppid=17804 vsize=323076 CPUtime=0 cores=1,3,5,7
/proc/17833/task/17850/stat : 17850 (python) S 17804 17804 17418 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 114081756 330829824 6500 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604465411197696 0 0 -1 3 0 0 0
[pid=17839] ppid=17804 vsize=333552 CPUtime=0.53 cores=1,3,5,7
/proc/17839/stat : 17839 (python) S 17804 17804 17418 0 -1 4202560 1134 0 0 0 25 28 0 0 18 0 2 0 114071824 341557248 6542 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17839/statm: 83388 6542 400 364 0 19291 0
[pid=17841] ppid=17839 vsize=1018800 CPUtime=180.34 cores=1,3,5,7
/proc/17841/stat : 17841 (gnovelty+2) R 17839 17841 17841 0 -1 4202496 861 0 0 0 18034 0 0 0 25 0 1 0 114071824 1043251200 602 33554432000 134512640 135663704 4292721664 18446744073709551615 134524759 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17841/statm: 254700 602 113 282 0 254416 0
[pid=17839/tid=17856] ppid=17804 vsize=333552 CPUtime=0 cores=1,3,5,7
/proc/17839/task/17856/stat : 17856 (python) S 17804 17804 17418 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 114081859 341557248 6542 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604469646255360 0 0 -1 3 0 0 0
[pid=17842] ppid=17804 vsize=343808 CPUtime=0.3 cores=1,3,5,7
/proc/17842/stat : 17842 (python) S 17804 17804 17418 0 -1 4202560 1109 0 0 0 14 16 0 0 19 0 2 0 114071825 352059392 6566 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17842/statm: 85952 6566 400 364 0 21852 0
[pid=17844] ppid=17842 vsize=250368 CPUtime=99.67 cores=1,3,5,7
/proc/17844/stat : 17844 (FH) T 17842 17844 17844 0 -1 4202496 1669 0 0 0 9967 0 0 0 25 0 1 0 114071825 256376832 1408 33554432000 134512640 134936988 4288157840 18446744073709551615 134553238 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17844/statm: 62592 1408 41 104 0 62096 0
[pid=17842/tid=17852] ppid=17804 vsize=343808 CPUtime=0 cores=1,3,5,7
/proc/17842/task/17852/stat : 17852 (python) S 17804 17804 17418 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 114081854 352059392 6566 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604460328259712 0 0 -1 1 0 0 0
[pid=17845] ppid=17804 vsize=354064 CPUtime=0.3 cores=1,3,5,7
/proc/17845/stat : 17845 (python) S 17804 17804 17418 0 -1 4202560 1159 0 0 0 14 16 0 0 19 0 2 0 114071826 362561536 6578 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17845/statm: 88516 6578 406 364 0 24413 0
[pid=17847] ppid=17845 vsize=420484 CPUtime=99.71 cores=1,3,5,7
/proc/17847/stat : 17847 (adaptg2wsat2009) T 17845 17847 17847 0 -1 4202496 1759 0 0 0 9971 0 0 0 25 0 1 0 114071827 430575616 1493 33554432000 134512640 135107411 4291778192 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17847/statm: 105121 1493 59 146 0 103997 0
[pid=17845/tid=17853] ppid=17804 vsize=354064 CPUtime=0 cores=1,3,5,7
/proc/17845/task/17853/stat : 17853 (python) S 17804 17804 17418 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 114081857 362561536 6578 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604456558983936 0 0 -1 3 0 0 0
[pid=17854] ppid=17804 vsize=364524 CPUtime=0.21 cores=1,3,5,7
/proc/17854/stat : 17854 (python) S 17804 17804 17418 0 -1 4202560 992 0 0 0 10 11 0 0 18 0 1 0 114081858 373272576 6581 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 15211769758559994119 0 0 17 1 0 0 0
/proc/17854/statm: 91131 6581 377 364 0 27025 0
[pid=17857] ppid=17854 vsize=420484 CPUtime=79.82 cores=1,3,5,7
/proc/17857/stat : 17857 (adaptg2wsat2009) R 17854 17857 17857 0 -1 4202496 1763 0 0 0 7982 0 0 0 25 0 1 0 114081859 430575616 1494 33554432000 134512640 135107411 4289798928 18446744073709551615 134532376 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17857/statm: 105121 1494 59 146 0 103997 0
[pid=17804/tid=17811] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17811/stat : 17811 (python) S 17802 17804 17418 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 10 0 114061780 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17814] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17814/stat : 17814 (python) S 17802 17804 17418 0 -1 4202560 29 931 0 0 0 0 0 0 18 0 10 0 114061781 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 7 0 0 0
[pid=17804/tid=17817] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17817/stat : 17817 (python) S 17802 17804 17418 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 10 0 114061782 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17820] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17820/stat : 17820 (python) S 17802 17804 17418 0 -1 4202560 31 931 0 0 0 0 0 0 22 0 10 0 114061783 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17834] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17834/stat : 17834 (python) S 17802 17804 17418 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 10 0 114071726 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17840] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17840/stat : 17840 (python) S 17802 17804 17418 0 -1 4202560 29 931 0 0 0 0 0 0 18 0 10 0 114071824 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17843] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17843/stat : 17843 (python) S 17802 17804 17418 0 -1 4202560 34 931 0 0 0 0 0 0 20 0 10 0 114071825 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17846] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17846/stat : 17846 (python) S 17802 17804 17418 0 -1 4202560 24 931 0 0 0 0 0 0 22 0 10 0 114071827 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17855] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17855/stat : 17855 (python) S 17802 17804 17418 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 10 0 114081858 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1120.25
Current children cumulated vsize (KiB) 7684168

[startup+283.001 s]
/proc/loadavg: 8.34 8.19 7.03 11/410 17902
/proc/meminfo: memFree=14660272/32950928 swapFree=67111364/67111528
[pid=17804] ppid=17802 vsize=374768 CPUtime=1.67 cores=1,3,5,7
/proc/17804/stat : 17804 (python) S 17802 17804 17418 0 -1 4202496 19926 931 1 0 155 12 0 0 19 0 10 0 114061597 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17804/statm: 93692 8094 1886 364 0 29586 0
[pid=17810] ppid=17804 vsize=292296 CPUtime=3.06 cores=1,3,5,7
/proc/17810/stat : 17810 (python) R 17804 17804 17418 0 -1 4202560 1210 0 0 0 251 55 0 0 18 0 2 0 114061780 299311104 6487 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892395327 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/17810/statm: 73074 6487 416 364 0 8992 0
[pid=17812] ppid=17810 vsize=0 CPUtime=177.77 cores=1,3,5,7
/proc/17812/stat : 17812 (gnovelty+2) R 17810 17812 17812 0 -1 4202500 869 0 0 0 17777 0 0 0 25 0 1 0 114061781 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/17812/statm: 0 0 0 0 0 0 0
[pid=17810/tid=17838] ppid=17804 vsize=292296 CPUtime=0 cores=1,3,5,7
/proc/17810/task/17838/stat : 17838 (python) S 17804 17804 17418 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 114071824 299311104 6487 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604467199733824 0 0 -1 5 0 0 0
[pid=17813] ppid=17804 vsize=292308 CPUtime=0.53 cores=1,3,5,7
/proc/17813/stat : 17813 (python) S 17804 17804 17418 0 -1 4202560 1122 0 0 0 26 27 0 0 18 0 2 0 114061781 299323392 6471 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17813/statm: 73077 6471 400 364 0 8992 0
[pid=17815] ppid=17813 vsize=1018800 CPUtime=178.57 cores=1,3,5,7
/proc/17815/stat : 17815 (gnovelty+2) R 17813 17815 17815 0 -1 4202496 865 0 0 0 17857 0 0 0 25 0 1 0 114061782 1043251200 603 33554432000 134512640 135663704 4287006432 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17815/statm: 254700 603 113 282 0 254416 0
[pid=17813/tid=17837] ppid=17804 vsize=292308 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17837/stat : 17837 (python) S 17804 17804 17418 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 114071823 299323392 6471 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604470227261248 0 0 -1 1 0 0 0
[pid=17816] ppid=17804 vsize=302564 CPUtime=0.28 cores=1,3,5,7
/proc/17816/stat : 17816 (python) S 17804 17804 17418 0 -1 4202560 1089 0 0 0 14 14 0 0 19 0 2 0 114061782 309825536 6492 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17816/statm: 75641 6492 400 364 0 11553 0
[pid=17818] ppid=17816 vsize=420484 CPUtime=99.14 cores=1,3,5,7
/proc/17818/stat : 17818 (adaptg2wsat2009) T 17816 17818 17818 0 -1 4202496 1756 0 0 0 9914 0 0 0 25 0 1 0 114061782 430575616 1492 33554432000 134512640 135107411 4288994128 18446744073709551615 134531392 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17818/statm: 105121 1492 59 146 0 103997 0
[pid=17816/tid=17832] ppid=17804 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17816/task/17832/stat : 17832 (python) S 17804 17804 17418 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 114071725 309825536 6492 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604456558983040 0 0 -1 7 0 0 0
[pid=17819] ppid=17804 vsize=312820 CPUtime=0.29 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17804 17804 17418 0 -1 4202560 1101 0 0 0 15 14 0 0 18 0 2 0 114061783 320327680 6496 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17819/statm: 78205 6496 400 364 0 14114 0
[pid=17821] ppid=17819 vsize=420484 CPUtime=99.92 cores=1,3,5,7
/proc/17821/stat : 17821 (adaptg2wsat2009) T 17819 17821 17821 0 -1 4202496 1756 0 0 0 9992 0 0 0 25 0 1 0 114061783 430575616 1493 33554432000 134512640 135107411 4291987200 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17821/statm: 105121 1493 59 146 0 103997 0
[pid=17819/tid=17836] ppid=17804 vsize=312820 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (python) S 17804 17804 17418 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 114071823 320327680 6496 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604457594048896 0 0 -1 1 0 0 0
[pid=17833] ppid=17804 vsize=323076 CPUtime=0.3 cores=1,3,5,7
/proc/17833/stat : 17833 (python) S 17804 17804 17418 0 -1 4202560 1099 0 0 0 16 14 0 0 19 0 2 0 114071726 330829824 6500 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17833/statm: 80769 6500 400 364 0 16675 0
[pid=17835] ppid=17833 vsize=420484 CPUtime=98.03 cores=1,3,5,7
/proc/17835/stat : 17835 (adaptg2wsat2009) T 17833 17835 17835 0 -1 4202496 1755 0 0 0 9803 0 0 0 25 0 1 0 114071727 430575616 1492 33554432000 134512640 135107411 4294170832 18446744073709551615 134532293 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/17835/statm: 105121 1492 59 146 0 103997 0
[pid=17833/tid=17850] ppid=17804 vsize=323076 CPUtime=0 cores=1,3,5,7
/proc/17833/task/17850/stat : 17850 (python) S 17804 17804 17418 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 114081756 330829824 6500 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604465411197696 0 0 -1 3 0 0 0
[pid=17839] ppid=17804 vsize=333552 CPUtime=0.53 cores=1,3,5,7
/proc/17839/stat : 17839 (python) S 17804 17804 17418 0 -1 4202560 1134 0 0 0 25 28 0 0 18 0 2 0 114071824 341557248 6542 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17839/statm: 83388 6542 400 364 0 19291 0
[pid=17841] ppid=17839 vsize=1018800 CPUtime=180.44 cores=1,3,5,7
/proc/17841/stat : 17841 (gnovelty+2) R 17839 17841 17841 0 -1 4202496 861 0 0 0 18044 0 0 0 25 0 1 0 114071824 1043251200 602 33554432000 134512640 135663704 4292721664 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17841/statm: 254700 602 113 282 0 254416 0
[pid=17839/tid=17856] ppid=17804 vsize=333552 CPUtime=0 cores=1,3,5,7
/proc/17839/task/17856/stat : 17856 (python) S 17804 17804 17418 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 114081859 341557248 6542 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604469646255360 0 0 -1 3 0 0 0
[pid=17842] ppid=17804 vsize=343808 CPUtime=0.3 cores=1,3,5,7
/proc/17842/stat : 17842 (python) S 17804 17804 17418 0 -1 4202560 1109 0 0 0 14 16 0 0 19 0 2 0 114071825 352059392 6566 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17842/statm: 85952 6566 400 364 0 21852 0
[pid=17844] ppid=17842 vsize=250368 CPUtime=99.67 cores=1,3,5,7
/proc/17844/stat : 17844 (FH) T 17842 17844 17844 0 -1 4202496 1669 0 0 0 9967 0 0 0 25 0 1 0 114071825 256376832 1408 33554432000 134512640 134936988 4288157840 18446744073709551615 134553238 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17844/statm: 62592 1408 41 104 0 62096 0
[pid=17842/tid=17852] ppid=17804 vsize=343808 CPUtime=0 cores=1,3,5,7
/proc/17842/task/17852/stat : 17852 (python) S 17804 17804 17418 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 114081854 352059392 6566 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604460328259712 0 0 -1 1 0 0 0
[pid=17845] ppid=17804 vsize=354064 CPUtime=0.3 cores=1,3,5,7
/proc/17845/stat : 17845 (python) S 17804 17804 17418 0 -1 4202560 1159 0 0 0 14 16 0 0 19 0 2 0 114071826 362561536 6578 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17845/statm: 88516 6578 406 364 0 24413 0
[pid=17847] ppid=17845 vsize=420484 CPUtime=99.71 cores=1,3,5,7
/proc/17847/stat : 17847 (adaptg2wsat2009) T 17845 17847 17847 0 -1 4202496 1759 0 0 0 9971 0 0 0 25 0 1 0 114071827 430575616 1493 33554432000 134512640 135107411 4291778192 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17847/statm: 105121 1493 59 146 0 103997 0
[pid=17845/tid=17853] ppid=17804 vsize=354064 CPUtime=0 cores=1,3,5,7
/proc/17845/task/17853/stat : 17853 (python) S 17804 17804 17418 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 114081857 362561536 6578 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 514 18446604456558983936 0 0 -1 3 0 0 0
[pid=17854] ppid=17804 vsize=364524 CPUtime=0.21 cores=1,3,5,7
/proc/17854/stat : 17854 (python) S 17804 17804 17418 0 -1 4202560 992 0 0 0 10 11 0 0 18 0 1 0 114081858 373272576 6581 33554432000 4194304 5683644 140734184243712 18446744073709551615 218880585286 0 0 16781312 514 15211769758559994119 0 0 17 1 0 0 0
/proc/17854/statm: 91131 6581 377 364 0 27025 0
[pid=17857] ppid=17854 vsize=420484 CPUtime=79.92 cores=1,3,5,7
/proc/17857/stat : 17857 (adaptg2wsat2009) R 17854 17857 17857 0 -1 4202496 1763 0 0 0 7992 0 0 0 25 0 1 0 114081859 430575616 1494 33554432000 134512640 135107411 4289798928 18446744073709551615 134531604 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17857/statm: 105121 1494 59 146 0 103997 0
[pid=17804/tid=17811] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17811/stat : 17811 (python) S 17802 17804 17418 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 10 0 114061780 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17814] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17814/stat : 17814 (python) S 17802 17804 17418 0 -1 4202560 29 931 0 0 0 0 0 0 18 0 10 0 114061781 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 7 0 0 0
[pid=17804/tid=17817] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17817/stat : 17817 (python) S 17802 17804 17418 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 10 0 114061782 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17820] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17820/stat : 17820 (python) S 17802 17804 17418 0 -1 4202560 31 931 0 0 0 0 0 0 22 0 10 0 114061783 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17834] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17834/stat : 17834 (python) S 17802 17804 17418 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 10 0 114071726 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17840] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17840/stat : 17840 (python) S 17802 17804 17418 0 -1 4202560 29 931 0 0 0 0 0 0 18 0 10 0 114071824 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
[pid=17804/tid=17843] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17843/stat : 17843 (python) S 17802 17804 17418 0 -1 4202560 34 931 0 0 0 0 0 0 20 0 10 0 114071825 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17846] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17846/stat : 17846 (python) S 17802 17804 17418 0 -1 4202560 24 931 0 0 0 0 0 0 22 0 10 0 114071827 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 1 0 0 0
[pid=17804/tid=17855] ppid=17802 vsize=374768 CPUtime=0 cores=1,3,5,7
/proc/17804/task/17855/stat : 17855 (python) S 17802 17804 17418 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 10 0 114081858 383762432 8094 33554432000 4194304 5683644 140734184243712 18446744073709551615 218892388785 0 0 16781312 2 18446604467199736512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1120.64
Current children cumulated vsize (KiB) 7684168

Child status: 0
Real time (s): 283.07
CPU time (s): 1121.03
CPU user time (s): 1118.85
CPU system time (s): 2.17667
CPU usage (%): 396.026
Max. virtual memory (cumulated for all children) (KiB): 8702972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1118.85
system time used= 2.17667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49081
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= 5711
involuntary context switches= 8147

runsolver used 1.42778 second user time and 3.9434 second system time

The end