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-3317234-1304268454/watcher-3317234-1304268454 -o /tmp/evaluation-result-3317234-1304268454/solver-3317234-1304268454 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317234-1304268454.cnf -seed 529580218 -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.75 8.43 5.95 6/239 17424
/proc/meminfo: memFree=30081312/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/17424/stat : 17424 (python) S 17422 17424 16913 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 1 0 538443395 15749120 696 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/17424/statm: 3845 696 334 364 0 332 0
[startup+0.028878 s]
/proc/loadavg: 8.75 8.43 5.95 6/239 17424
/proc/meminfo: memFree=30081312/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/17424/stat : 17424 (python) R 17422 17424 16913 0 -1 4202496 1121 0 0 0 1 0 0 0 25 0 1 0 538443395 16785408 988 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244346880 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/17424/statm: 4098 988 413 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.100842 s]
/proc/loadavg: 8.75 8.43 5.95 6/239 17424
/proc/meminfo: memFree=30081312/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=87700 CPUtime=0.06 cores=1,3,5,7
/proc/17424/stat : 17424 (python) S 17422 17424 16913 0 -1 4202496 2638 0 0 0 4 2 0 0 17 0 1 0 538443395 89804800 2353 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/17424/statm: 21925 2353 717 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87700
[startup+0.300835 s]
/proc/loadavg: 8.75 8.43 5.95 6/239 17424
/proc/meminfo: memFree=30081312/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=135748 CPUtime=0.19 cores=1,3,5,7
/proc/17424/stat : 17424 (python) S 17422 17424 16913 0 -1 4202496 5967 935 1 0 13 6 0 0 17 0 1 0 538443395 139005952 4151 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244346880 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/17424/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135748
[startup+0.700759 s]
/proc/loadavg: 8.75 8.43 5.95 6/239 17424
/proc/meminfo: memFree=30081312/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=280036 CPUtime=0.44 cores=1,3,5,7
/proc/17424/stat : 17424 (python) R 17422 17424 16913 0 -1 4202496 9660 935 1 0 31 13 0 0 15 0 1 0 538443395 286756864 7339 33554432000 4194304 5683644 140735992278576 18446744073709551615 4602441 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17424/statm: 70009 7339 1761 364 0 5933 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 280036
[startup+1.50062 s]
/proc/loadavg: 8.75 8.43 5.95 7/240 17429
/proc/meminfo: memFree=30051536/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=285812 CPUtime=1.24 cores=1,3,5,7
/proc/17424/stat : 17424 (python) R 17422 17424 16913 0 -1 4202496 12061 935 1 0 111 13 0 0 16 0 1 0 538443395 292671488 8839 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244003908 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17424/statm: 71453 8839 1827 364 0 7377 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 285812
[startup+3.10128 s]
/proc/loadavg: 8.75 8.43 5.95 10/252 17441
/proc/meminfo: memFree=30028500/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=323064 CPUtime=1.69 cores=1,3,5,7
/proc/17424/stat : 17424 (python) S 17422 17424 16913 0 -1 4202496 14993 935 1 0 155 14 0 0 24 0 5 0 538443395 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17424/statm: 80766 7982 1883 364 0 16675 0
[pid=17430] ppid=17424 vsize=282052 CPUtime=0 cores=1,3,5,7
/proc/17430/stat : 17430 (python) S 17424 17424 16913 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 538443581 288821248 6420 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368911 0 0 16781312 514 2961153592930566408 0 0 17 7 0 0 0
/proc/17430/statm: 70513 6420 354 364 0 6431 0
[pid=17432] ppid=17430 vsize=1018800 CPUtime=1.23 cores=1,3,5,7
/proc/17432/stat : 17432 (gnovelty+2) R 17430 17432 17432 0 -1 4202496 870 0 0 0 123 0 0 0 22 0 1 0 538443582 1043251200 603 33554432000 134512640 135663704 4292547072 18446744073709551615 134524461 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17432/statm: 254700 603 113 282 0 254416 0
[pid=17433] ppid=17424 vsize=292308 CPUtime=0 cores=1,3,5,7
/proc/17433/stat : 17433 (python) S 17424 17424 16913 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 538443584 299323392 6418 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 12279588030733320456 0 0 17 5 0 0 0
/proc/17433/statm: 73077 6418 348 364 0 8992 0
[pid=17435] ppid=17433 vsize=1018800 CPUtime=1.2 cores=1,3,5,7
/proc/17435/stat : 17435 (gnovelty+2) R 17433 17435 17435 0 -1 4202496 864 0 0 0 120 0 0 0 25 0 1 0 538443585 1043251200 602 33554432000 134512640 135663704 4289313952 18446744073709551615 134544186 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17435/statm: 254700 602 113 282 0 254416 0
[pid=17436] ppid=17424 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17436/stat : 17436 (python) S 17424 17424 16913 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 538443587 309825536 6422 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 12279580334151958527 0 0 17 1 0 0 0
/proc/17436/statm: 75641 6422 348 364 0 11553 0
[pid=17438] ppid=17436 vsize=420484 CPUtime=1.16 cores=1,3,5,7
/proc/17438/stat : 17438 (adaptg2wsat2009) R 17436 17438 17438 0 -1 4202496 1757 0 0 0 116 0 0 0 25 0 1 0 538443588 430575616 1494 33554432000 134512640 135107411 4291220112 18446744073709551615 134531613 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17438/statm: 105121 1494 59 146 0 103997 0
[pid=17439] ppid=17424 vsize=312820 CPUtime=0 cores=1,3,5,7
/proc/17439/stat : 17439 (python) S 17424 17424 16913 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 1 0 538443591 320327680 6443 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 561216577635090431 0 0 17 7 0 0 0
/proc/17439/statm: 78205 6443 348 364 0 14114 0
[pid=17441] ppid=17439 vsize=420484 CPUtime=1.12 cores=1,3,5,7
/proc/17441/stat : 17441 (adaptg2wsat2009) R 17439 17441 17441 0 -1 4202496 1756 0 0 0 112 0 0 0 25 0 1 0 538443591 430575616 1492 33554432000 134512640 135107411 4286569504 18446744073709551615 134531232 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17441/statm: 105121 1492 59 146 0 103997 0
[pid=17424/tid=17431] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17431/stat : 17431 (python) S 17422 17424 16913 0 -1 4202560 26 935 0 0 0 0 0 0 19 0 5 0 538443582 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17434] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17434/stat : 17434 (python) S 17422 17424 16913 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 5 0 538443585 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17437] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17437/stat : 17437 (python) S 17422 17424 16913 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 538443588 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17440] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17440/stat : 17440 (python) S 17422 17424 16913 0 -1 4202560 30 935 0 0 0 0 0 0 24 0 5 0 538443591 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 4391376
[startup+6.30072 s]
/proc/loadavg: 8.85 8.45 5.97 10/252 17442
/proc/meminfo: memFree=30023664/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=323064 CPUtime=1.69 cores=1,3,5,7
/proc/17424/stat : 17424 (python) S 17422 17424 16913 0 -1 4202496 14993 935 1 0 155 14 0 0 24 0 5 0 538443395 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17424/statm: 80766 7982 1883 364 0 16675 0
[pid=17430] ppid=17424 vsize=282052 CPUtime=0 cores=1,3,5,7
/proc/17430/stat : 17430 (python) S 17424 17424 16913 0 -1 4202560 891 0 0 0 0 0 0 0 18 0 1 0 538443581 288821248 6443 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368911 0 0 16781312 514 2961153592930566408 0 0 17 7 0 0 0
/proc/17430/statm: 70513 6443 377 364 0 6431 0
[pid=17432] ppid=17430 vsize=1018800 CPUtime=4.43 cores=1,3,5,7
/proc/17432/stat : 17432 (gnovelty+2) R 17430 17432 17432 0 -1 4202496 870 0 0 0 443 0 0 0 25 0 1 0 538443582 1043251200 603 33554432000 134512640 135663704 4292547072 18446744073709551615 134546755 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17432/statm: 254700 603 113 282 0 254416 0
[pid=17433] ppid=17424 vsize=292308 CPUtime=0 cores=1,3,5,7
/proc/17433/stat : 17433 (python) S 17424 17424 16913 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 1 0 538443584 299323392 6441 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 12279588030733320456 0 0 17 5 0 0 0
/proc/17433/statm: 73077 6441 371 364 0 8992 0
[pid=17435] ppid=17433 vsize=1018800 CPUtime=4.39 cores=1,3,5,7
/proc/17435/stat : 17435 (gnovelty+2) R 17433 17435 17435 0 -1 4202496 864 0 0 0 439 0 0 0 25 0 1 0 538443585 1043251200 602 33554432000 134512640 135663704 4289313952 18446744073709551615 134544264 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17435/statm: 254700 602 113 282 0 254416 0
[pid=17436] ppid=17424 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17436/stat : 17436 (python) S 17424 17424 16913 0 -1 4202560 903 0 0 0 0 0 0 0 18 0 1 0 538443587 309825536 6445 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 12279580334151926023 0 0 17 1 0 0 0
/proc/17436/statm: 75641 6445 371 364 0 11553 0
[pid=17438] ppid=17436 vsize=420484 CPUtime=4.35 cores=1,3,5,7
/proc/17438/stat : 17438 (adaptg2wsat2009) R 17436 17438 17438 0 -1 4202496 1757 0 0 0 435 0 0 0 25 0 1 0 538443588 430575616 1494 33554432000 134512640 135107411 4291220112 18446744073709551615 134531600 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17438/statm: 105121 1494 59 146 0 103997 0
[pid=17439] ppid=17424 vsize=312820 CPUtime=0 cores=1,3,5,7
/proc/17439/stat : 17439 (python) S 17424 17424 16913 0 -1 4202560 921 0 0 0 0 0 0 0 18 0 1 0 538443591 320327680 6466 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 561216577635057926 0 0 17 7 0 0 0
/proc/17439/statm: 78205 6466 371 364 0 14114 0
[pid=17441] ppid=17439 vsize=420484 CPUtime=4.28 cores=1,3,5,7
/proc/17441/stat : 17441 (adaptg2wsat2009) R 17439 17441 17441 0 -1 4202496 1756 0 0 0 428 0 0 0 25 0 1 0 538443591 430575616 1492 33554432000 134512640 135107411 4286569504 18446744073709551615 134531582 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17441/statm: 105121 1492 59 146 0 103997 0
[pid=17424/tid=17431] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17431/stat : 17431 (python) S 17422 17424 16913 0 -1 4202560 26 935 0 0 0 0 0 0 19 0 5 0 538443582 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17434] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17434/stat : 17434 (python) S 17422 17424 16913 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 5 0 538443585 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17437] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17437/stat : 17437 (python) S 17422 17424 16913 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 538443588 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17440] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17440/stat : 17440 (python) S 17422 17424 16913 0 -1 4202560 30 935 0 0 0 0 0 0 24 0 5 0 538443591 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19.14
Current children cumulated vsize (KiB) 4391376
[startup+12.7006 s]
/proc/loadavg: 8.86 8.46 5.99 11/252 17442
/proc/meminfo: memFree=30020440/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=323064 CPUtime=1.69 cores=1,3,5,7
/proc/17424/stat : 17424 (python) S 17422 17424 16913 0 -1 4202496 14993 935 1 0 155 14 0 0 24 0 5 0 538443395 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17424/statm: 80766 7982 1883 364 0 16675 0
[pid=17430] ppid=17424 vsize=282052 CPUtime=0.01 cores=1,3,5,7
/proc/17430/stat : 17430 (python) S 17424 17424 16913 0 -1 4202560 894 0 0 0 0 1 0 0 18 0 1 0 538443581 288821248 6443 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368911 0 0 16781312 514 16068966615760208136 0 0 17 7 0 0 0
/proc/17430/statm: 70513 6443 377 364 0 6431 0
[pid=17432] ppid=17430 vsize=1018800 CPUtime=10.83 cores=1,3,5,7
/proc/17432/stat : 17432 (gnovelty+2) R 17430 17432 17432 0 -1 4202496 870 0 0 0 1083 0 0 0 25 0 1 0 538443582 1043251200 603 33554432000 134512640 135663704 4292547072 18446744073709551615 134525116 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17432/statm: 254700 603 113 282 0 254416 0
[pid=17433] ppid=17424 vsize=292308 CPUtime=0.01 cores=1,3,5,7
/proc/17433/stat : 17433 (python) S 17424 17424 16913 0 -1 4202560 904 0 0 0 0 1 0 0 18 0 1 0 538443584 299323392 6441 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 16068966615760208136 0 0 17 5 0 0 0
/proc/17433/statm: 73077 6441 371 364 0 8992 0
[pid=17435] ppid=17433 vsize=1018800 CPUtime=10.78 cores=1,3,5,7
/proc/17435/stat : 17435 (gnovelty+2) R 17433 17435 17435 0 -1 4202496 864 0 0 0 1078 0 0 0 25 0 1 0 538443585 1043251200 602 33554432000 134512640 135663704 4289313952 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17435/statm: 254700 602 113 282 0 254416 0
[pid=17436] ppid=17424 vsize=302564 CPUtime=0.01 cores=1,3,5,7
/proc/17436/stat : 17436 (python) S 17424 17424 16913 0 -1 4202560 904 0 0 0 0 1 0 0 18 0 1 0 538443587 309825536 6445 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 16068966615760208135 0 0 17 1 0 0 0
/proc/17436/statm: 75641 6445 371 364 0 11553 0
[pid=17438] ppid=17436 vsize=420484 CPUtime=10.74 cores=1,3,5,7
/proc/17438/stat : 17438 (adaptg2wsat2009) R 17436 17438 17438 0 -1 4202496 1757 0 0 0 1074 0 0 0 25 0 1 0 538443588 430575616 1494 33554432000 134512640 135107411 4291220112 18446744073709551615 134531600 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17438/statm: 105121 1494 59 146 0 103997 0
[pid=17439] ppid=17424 vsize=312820 CPUtime=0.01 cores=1,3,5,7
/proc/17439/stat : 17439 (python) S 17424 17424 16913 0 -1 4202560 927 0 0 0 1 0 0 0 18 0 1 0 538443591 320327680 6466 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 16068966615760208134 0 0 17 7 0 0 0
/proc/17439/statm: 78205 6466 371 364 0 14114 0
[pid=17441] ppid=17439 vsize=420484 CPUtime=10.61 cores=1,3,5,7
/proc/17441/stat : 17441 (adaptg2wsat2009) R 17439 17441 17441 0 -1 4202496 1756 0 0 0 1061 0 0 0 25 0 1 0 538443591 430575616 1492 33554432000 134512640 135107411 4286569504 18446744073709551615 134532135 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17441/statm: 105121 1492 59 146 0 103997 0
[pid=17424/tid=17431] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17431/stat : 17431 (python) S 17422 17424 16913 0 -1 4202560 26 935 0 0 0 0 0 0 19 0 5 0 538443582 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17434] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17434/stat : 17434 (python) S 17422 17424 16913 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 5 0 538443585 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17437] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17437/stat : 17437 (python) S 17422 17424 16913 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 538443588 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17440] ppid=17422 vsize=323064 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17440/stat : 17440 (python) S 17422 17424 16913 0 -1 4202560 30 935 0 0 0 0 0 0 24 0 5 0 538443591 330817536 7982 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 4391376
[startup+25.5013 s]
/proc/loadavg: 8.89 8.49 6.04 10/255 17445
/proc/meminfo: memFree=30008124/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=323064 CPUtime=1.69 cores=1,3,5,7
################
# More data... #
################
/proc/17436/stat : 17436 (python) S 17424 17424 16913 0 -1 4202560 1091 0 0 0 8 8 0 0 19 0 2 0 538443587 309825536 6475 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17436/statm: 75641 6475 400 364 0 11553 0
[pid=17438] ppid=17436 vsize=420484 CPUtime=100 cores=1,3,5,7
/proc/17438/stat : 17438 (adaptg2wsat2009) T 17436 17438 17438 0 -1 4202496 1757 0 0 0 10000 0 0 0 25 0 1 0 538443588 430575616 1494 33554432000 134512640 135107411 4291220112 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/17438/statm: 105121 1494 59 146 0 103997 0
[pid=17436/tid=17457] ppid=17424 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17436/task/17457/stat : 17457 (python) S 17424 17424 16913 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538453606 309825536 6475 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604468656657728 0 0 -1 1 0 0 0
[pid=17439] ppid=17424 vsize=312820 CPUtime=0.17 cores=1,3,5,7
/proc/17439/stat : 17439 (python) S 17424 17424 16913 0 -1 4202560 1115 0 0 0 9 8 0 0 19 0 2 0 538443591 320327680 6496 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17439/statm: 78205 6496 400 364 0 14114 0
[pid=17441] ppid=17439 vsize=420484 CPUtime=98.12 cores=1,3,5,7
/proc/17441/stat : 17441 (adaptg2wsat2009) T 17439 17441 17441 0 -1 4202496 1756 0 0 0 9812 0 0 0 25 0 1 0 538443591 430575616 1492 33554432000 134512640 135107411 4286569504 18446744073709551615 134531781 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17441/statm: 105121 1492 59 146 0 103997 0
[pid=17439/tid=17452] ppid=17424 vsize=312820 CPUtime=0 cores=1,3,5,7
/proc/17439/task/17452/stat : 17452 (python) S 17424 17424 16913 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538453510 320327680 6496 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604470223230848 0 0 -1 7 0 0 0
[pid=17449] ppid=17424 vsize=323208 CPUtime=0.17 cores=1,3,5,7
/proc/17449/stat : 17449 (python) S 17424 17424 16913 0 -1 4202560 1111 0 0 0 8 9 0 0 19 0 2 0 538453504 330964992 6516 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17449/statm: 80802 6516 400 364 0 16708 0
[pid=17451] ppid=17449 vsize=420484 CPUtime=100.15 cores=1,3,5,7
/proc/17451/stat : 17451 (adaptg2wsat2009) T 17449 17451 17451 0 -1 4202496 1757 0 0 0 10015 0 0 0 25 0 1 0 538453505 430575616 1492 33554432000 134512640 135107411 4290079872 18446744073709551615 134531491 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17451/statm: 105121 1492 59 146 0 103997 0
[pid=17449/tid=17474] ppid=17424 vsize=323208 CPUtime=0 cores=1,3,5,7
/proc/17449/task/17474/stat : 17474 (python) S 17424 17424 16913 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538463522 330964992 6516 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604465310340416 0 0 -1 7 0 0 0
[pid=17453] ppid=17424 vsize=333464 CPUtime=0.18 cores=1,3,5,7
/proc/17453/stat : 17453 (python) S 17424 17424 16913 0 -1 4202560 1129 0 0 0 8 10 0 0 18 0 2 0 538453513 341467136 6522 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17453/statm: 83366 6522 400 364 0 19269 0
[pid=17455] ppid=17453 vsize=1018800 CPUtime=109.57 cores=1,3,5,7
/proc/17455/stat : 17455 (gnovelty+2) R 17453 17455 17455 0 -1 4202496 866 0 0 0 10957 0 0 0 25 0 1 0 538453513 1043251200 603 33554432000 134512640 135663704 4293906320 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17455/statm: 254700 603 113 282 0 254416 0
[pid=17453/tid=17476] ppid=17424 vsize=333464 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17476/stat : 17476 (python) S 17424 17424 16913 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538463533 341467136 6522 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604465310341312 0 0 -1 7 0 0 0
[pid=17458] ppid=17424 vsize=343720 CPUtime=0.17 cores=1,3,5,7
/proc/17458/stat : 17458 (python) S 17424 17424 16913 0 -1 4202560 1189 0 0 0 9 8 0 0 19 0 2 0 538453607 351969280 6553 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17458/statm: 85930 6553 406 364 0 21830 0
[pid=17460] ppid=17458 vsize=250364 CPUtime=99.16 cores=1,3,5,7
/proc/17460/stat : 17460 (FH) T 17458 17460 17460 0 -1 4202496 1673 0 0 0 9916 0 0 0 25 0 1 0 538453607 256372736 1407 33554432000 134512640 134936988 4292461392 18446744073709551615 134554323 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17460/statm: 62591 1407 41 104 0 62095 0
[pid=17458/tid=17475] ppid=17424 vsize=343720 CPUtime=0 cores=1,3,5,7
/proc/17458/task/17475/stat : 17475 (python) S 17424 17424 16913 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 538463524 351969280 6553 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604471158814848 0 0 -1 7 0 0 0
[pid=17461] ppid=17424 vsize=353976 CPUtime=0.18 cores=1,3,5,7
/proc/17461/stat : 17461 (python) S 17424 17424 16913 0 -1 4202560 1171 0 0 0 9 9 0 0 19 0 2 0 538453611 362471424 6557 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/17461/statm: 88494 6557 406 364 0 24391 0
[pid=17463] ppid=17461 vsize=420484 CPUtime=102.95 cores=1,3,5,7
/proc/17463/stat : 17463 (adaptg2wsat2009) T 17461 17463 17463 0 -1 4202496 1766 0 0 0 10295 0 0 0 25 0 1 0 538453611 430575616 1494 33554432000 134512640 135107411 4288274720 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17463/statm: 105121 1494 59 146 0 103997 0
[pid=17461/tid=17477] ppid=17424 vsize=353976 CPUtime=0 cores=1,3,5,7
/proc/17461/task/17477/stat : 17477 (python) S 17424 17424 16913 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 538464131 362471424 6557 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604468656656832 0 0 -1 5 0 0 0
[pid=17478] ppid=17424 vsize=364420 CPUtime=0 cores=1,3,5,7
/proc/17478/stat : 17478 (python) S 17424 17424 16913 0 -1 4202560 785 0 0 0 0 0 0 0 18 0 1 0 538464135 373166080 6541 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 510212707123691783 0 0 17 7 0 0 0
/proc/17478/statm: 91105 6541 348 364 0 26999 0
[pid=17480] ppid=17478 vsize=420484 CPUtime=3.62 cores=1,3,5,7
/proc/17480/stat : 17480 (adaptg2wsat2009) R 17478 17480 17480 0 -1 4202496 1761 0 0 0 362 0 0 0 25 0 1 0 538464136 430575616 1492 33554432000 134512640 135107411 4291205520 18446744073709551615 134531552 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17480/statm: 105121 1492 59 146 0 103997 0
[pid=17424/tid=17431] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17431/stat : 17431 (python) S 17422 17424 16913 0 -1 4202560 29 935 0 0 0 0 0 0 18 0 10 0 538443582 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17434] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17434/stat : 17434 (python) S 17422 17424 16913 0 -1 4202560 25 935 0 0 0 0 0 0 18 0 10 0 538443585 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17437] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17437/stat : 17437 (python) S 17422 17424 16913 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 10 0 538443588 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17440] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17440/stat : 17440 (python) S 17422 17424 16913 0 -1 4202560 30 935 0 0 0 0 0 0 24 0 10 0 538443591 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17450] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17450/stat : 17450 (python) S 17422 17424 16913 0 -1 4202560 33 935 0 0 0 0 0 0 20 0 10 0 538453504 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17454] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17454/stat : 17454 (python) S 17422 17424 16913 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 10 0 538453513 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17459] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17459/stat : 17459 (python) S 17422 17424 16913 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 10 0 538453607 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17462] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17462/stat : 17462 (python) S 17422 17424 16913 0 -1 4202560 28 935 0 0 0 0 0 0 22 0 10 0 538453611 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 5 0 0 0
[pid=17424/tid=17479] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17479/stat : 17479 (python) S 17422 17424 16913 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 10 0 538464135 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 835.67
Current children cumulated vsize (KiB) 8702624
[startup+211.302 s]
/proc/loadavg: 9.12 8.78 6.59 10/285 17480
/proc/meminfo: memFree=29898552/32951124 swapFree=67111364/67111528
[pid=17424] ppid=17422 vsize=374664 CPUtime=1.97 cores=1,3,5,7
/proc/17424/stat : 17424 (python) S 17422 17424 16913 0 -1 4202496 19536 935 1 0 182 15 0 0 19 0 10 0 538443395 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17424/statm: 93666 8091 1894 364 0 29560 0
[pid=17430] ppid=17424 vsize=292296 CPUtime=0.19 cores=1,3,5,7
/proc/17430/stat : 17430 (python) S 17424 17424 16913 0 -1 4202560 1099 0 0 0 9 10 0 0 18 0 2 0 538443581 299311104 6482 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17430/statm: 73074 6482 411 364 0 8992 0
[pid=17432] ppid=17430 vsize=1018800 CPUtime=109.18 cores=1,3,5,7
/proc/17432/stat : 17432 (gnovelty+2) R 17430 17432 17432 0 -1 4202496 870 0 0 0 10918 0 0 0 25 0 1 0 538443582 1043251200 603 33554432000 134512640 135663704 4292547072 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17432/statm: 254700 603 113 282 0 254416 0
[pid=17430/tid=17448] ppid=17424 vsize=292296 CPUtime=0 cores=1,3,5,7
/proc/17430/task/17448/stat : 17448 (python) S 17424 17424 16913 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538453501 299311104 6482 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604470782009728 0 0 -1 3 0 0 0
[pid=17433] ppid=17424 vsize=292308 CPUtime=0.19 cores=1,3,5,7
/proc/17433/stat : 17433 (python) S 17424 17424 16913 0 -1 4202560 1087 0 0 0 9 10 0 0 18 0 2 0 538443584 299323392 6471 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17433/statm: 73077 6471 400 364 0 8992 0
[pid=17435] ppid=17433 vsize=1018800 CPUtime=109.93 cores=1,3,5,7
/proc/17435/stat : 17435 (gnovelty+2) R 17433 17435 17435 0 -1 4202496 864 0 0 0 10993 0 0 0 25 0 1 0 538443585 1043251200 602 33554432000 134512640 135663704 4289313952 18446744073709551615 134525691 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17435/statm: 254700 602 113 282 0 254416 0
[pid=17433/tid=17456] ppid=17424 vsize=292308 CPUtime=0 cores=1,3,5,7
/proc/17433/task/17456/stat : 17456 (python) S 17424 17424 16913 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538453604 299323392 6471 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604468656659520 0 0 -1 5 0 0 0
[pid=17436] ppid=17424 vsize=302564 CPUtime=0.16 cores=1,3,5,7
/proc/17436/stat : 17436 (python) S 17424 17424 16913 0 -1 4202560 1091 0 0 0 8 8 0 0 19 0 2 0 538443587 309825536 6475 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17436/statm: 75641 6475 400 364 0 11553 0
[pid=17438] ppid=17436 vsize=420484 CPUtime=100 cores=1,3,5,7
/proc/17438/stat : 17438 (adaptg2wsat2009) T 17436 17438 17438 0 -1 4202496 1757 0 0 0 10000 0 0 0 25 0 1 0 538443588 430575616 1494 33554432000 134512640 135107411 4291220112 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/17438/statm: 105121 1494 59 146 0 103997 0
[pid=17436/tid=17457] ppid=17424 vsize=302564 CPUtime=0 cores=1,3,5,7
/proc/17436/task/17457/stat : 17457 (python) S 17424 17424 16913 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538453606 309825536 6475 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604468656657728 0 0 -1 1 0 0 0
[pid=17439] ppid=17424 vsize=312820 CPUtime=0.17 cores=1,3,5,7
/proc/17439/stat : 17439 (python) S 17424 17424 16913 0 -1 4202560 1115 0 0 0 9 8 0 0 19 0 2 0 538443591 320327680 6496 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17439/statm: 78205 6496 400 364 0 14114 0
[pid=17441] ppid=17439 vsize=420484 CPUtime=98.12 cores=1,3,5,7
/proc/17441/stat : 17441 (adaptg2wsat2009) T 17439 17441 17441 0 -1 4202496 1756 0 0 0 9812 0 0 0 25 0 1 0 538443591 430575616 1492 33554432000 134512640 135107411 4286569504 18446744073709551615 134531781 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17441/statm: 105121 1492 59 146 0 103997 0
[pid=17439/tid=17452] ppid=17424 vsize=312820 CPUtime=0 cores=1,3,5,7
/proc/17439/task/17452/stat : 17452 (python) S 17424 17424 16913 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538453510 320327680 6496 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604470223230848 0 0 -1 7 0 0 0
[pid=17449] ppid=17424 vsize=323208 CPUtime=0.17 cores=1,3,5,7
/proc/17449/stat : 17449 (python) S 17424 17424 16913 0 -1 4202560 1111 0 0 0 8 9 0 0 19 0 2 0 538453504 330964992 6516 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17449/statm: 80802 6516 400 364 0 16708 0
[pid=17451] ppid=17449 vsize=420484 CPUtime=100.15 cores=1,3,5,7
/proc/17451/stat : 17451 (adaptg2wsat2009) T 17449 17451 17451 0 -1 4202496 1757 0 0 0 10015 0 0 0 25 0 1 0 538453505 430575616 1492 33554432000 134512640 135107411 4290079872 18446744073709551615 134531491 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17451/statm: 105121 1492 59 146 0 103997 0
[pid=17449/tid=17474] ppid=17424 vsize=323208 CPUtime=0 cores=1,3,5,7
/proc/17449/task/17474/stat : 17474 (python) S 17424 17424 16913 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538463522 330964992 6516 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604465310340416 0 0 -1 7 0 0 0
[pid=17453] ppid=17424 vsize=333464 CPUtime=0.18 cores=1,3,5,7
/proc/17453/stat : 17453 (python) S 17424 17424 16913 0 -1 4202560 1129 0 0 0 8 10 0 0 18 0 2 0 538453513 341467136 6522 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17453/statm: 83366 6522 400 364 0 19269 0
[pid=17455] ppid=17453 vsize=1018800 CPUtime=109.76 cores=1,3,5,7
/proc/17455/stat : 17455 (gnovelty+2) R 17453 17455 17455 0 -1 4202496 866 0 0 0 10976 0 0 0 25 0 1 0 538453513 1043251200 603 33554432000 134512640 135663704 4293906320 18446744073709551615 134547368 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17455/statm: 254700 603 113 282 0 254416 0
[pid=17453/tid=17476] ppid=17424 vsize=333464 CPUtime=0 cores=1,3,5,7
/proc/17453/task/17476/stat : 17476 (python) S 17424 17424 16913 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538463533 341467136 6522 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604465310341312 0 0 -1 7 0 0 0
[pid=17458] ppid=17424 vsize=343720 CPUtime=0.17 cores=1,3,5,7
/proc/17458/stat : 17458 (python) S 17424 17424 16913 0 -1 4202560 1189 0 0 0 9 8 0 0 19 0 2 0 538453607 351969280 6553 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17458/statm: 85930 6553 406 364 0 21830 0
[pid=17460] ppid=17458 vsize=250364 CPUtime=99.16 cores=1,3,5,7
/proc/17460/stat : 17460 (FH) T 17458 17460 17460 0 -1 4202496 1673 0 0 0 9916 0 0 0 25 0 1 0 538453607 256372736 1407 33554432000 134512640 134936988 4292461392 18446744073709551615 134554323 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17460/statm: 62591 1407 41 104 0 62095 0
[pid=17458/tid=17475] ppid=17424 vsize=343720 CPUtime=0 cores=1,3,5,7
/proc/17458/task/17475/stat : 17475 (python) S 17424 17424 16913 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 538463524 351969280 6553 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604471158814848 0 0 -1 7 0 0 0
[pid=17461] ppid=17424 vsize=353976 CPUtime=0.18 cores=1,3,5,7
/proc/17461/stat : 17461 (python) S 17424 17424 16913 0 -1 4202560 1171 0 0 0 9 9 0 0 19 0 2 0 538453611 362471424 6557 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256175563 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/17461/statm: 88494 6557 406 364 0 24391 0
[pid=17463] ppid=17461 vsize=420484 CPUtime=102.95 cores=1,3,5,7
/proc/17463/stat : 17463 (adaptg2wsat2009) T 17461 17463 17463 0 -1 4202496 1766 0 0 0 10295 0 0 0 25 0 1 0 538453611 430575616 1494 33554432000 134512640 135107411 4288274720 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17463/statm: 105121 1494 59 146 0 103997 0
[pid=17461/tid=17477] ppid=17424 vsize=353976 CPUtime=0 cores=1,3,5,7
/proc/17461/task/17477/stat : 17477 (python) S 17424 17424 16913 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 538464131 362471424 6557 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 514 18446604468656656832 0 0 -1 5 0 0 0
[pid=17478] ppid=17424 vsize=364420 CPUtime=0 cores=1,3,5,7
/proc/17478/stat : 17478 (python) S 17424 17424 16913 0 -1 4202560 785 0 0 0 0 0 0 0 18 0 1 0 538464135 373166080 6541 33554432000 4194304 5683644 140735992278576 18446744073709551615 228244368966 0 0 16781312 514 510212707123691783 0 0 17 7 0 0 0
/proc/17478/statm: 91105 6541 348 364 0 26999 0
[pid=17480] ppid=17478 vsize=420484 CPUtime=3.81 cores=1,3,5,7
/proc/17480/stat : 17480 (adaptg2wsat2009) R 17478 17480 17480 0 -1 4202496 1761 0 0 0 381 0 0 0 25 0 1 0 538464136 430575616 1492 33554432000 134512640 135107411 4291205520 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17480/statm: 105121 1492 59 146 0 103997 0
[pid=17424/tid=17431] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17431/stat : 17431 (python) S 17422 17424 16913 0 -1 4202560 29 935 0 0 0 0 0 0 18 0 10 0 538443582 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17434] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17434/stat : 17434 (python) S 17422 17424 16913 0 -1 4202560 25 935 0 0 0 0 0 0 18 0 10 0 538443585 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17437] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17437/stat : 17437 (python) S 17422 17424 16913 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 10 0 538443588 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17440] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17440/stat : 17440 (python) S 17422 17424 16913 0 -1 4202560 30 935 0 0 0 0 0 0 24 0 10 0 538443591 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17450] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17450/stat : 17450 (python) S 17422 17424 16913 0 -1 4202560 33 935 0 0 0 0 0 0 20 0 10 0 538453504 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17454] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17454/stat : 17454 (python) S 17422 17424 16913 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 10 0 538453513 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17459] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17459/stat : 17459 (python) S 17422 17424 16913 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 10 0 538453607 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
[pid=17424/tid=17462] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17462/stat : 17462 (python) S 17422 17424 16913 0 -1 4202560 28 935 0 0 0 0 0 0 22 0 10 0 538453611 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 5 0 0 0
[pid=17424/tid=17479] ppid=17422 vsize=374664 CPUtime=0 cores=1,3,5,7
/proc/17424/task/17479/stat : 17479 (python) S 17422 17424 16913 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 10 0 538464135 383655936 8091 33554432000 4194304 5683644 140735992278576 18446744073709551615 228256172465 0 0 16781312 2 18446604470782012416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 836.44
Current children cumulated vsize (KiB) 8702624
Child status: 0
Real time (s): 211.386
CPU time (s): 836.865
CPU user time (s): 835.904
CPU system time (s): 0.960853
CPU usage (%): 395.895
Max. virtual memory (cumulated for all children) (KiB): 8702624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 835.904
system time used= 0.960853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48864
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= 4139
involuntary context switches= 6645
runsolver used 0.746886 second user time and 1.88671 second system time
The end