runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482813-1307578180/watcher-3482813-1307578180 -o /tmp/evaluation-result-3482813-1307578180/solver-3482813-1307578180 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482813-1307578180.opb -seed 559528652 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.39 2.14 1.77 2/515 6531
/proc/meminfo: memFree=20517352/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/6531/stat : 6531 (python) R 6529 6531 5281 0 -1 4202496 895 0 0 0 0 0 0 0 20 0 1 0 869417741 16154624 776 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473628357 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/6531/statm: 3944 776 343 364 0 431 0
[startup+0.0471351 s]
/proc/loadavg: 2.39 2.14 1.77 2/515 6531
/proc/meminfo: memFree=20517352/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=29788 CPUtime=0.04 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 1415 0 0 0 3 1 0 0 20 0 1 0 869417741 30502912 1258 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/6531/statm: 7447 1258 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
[startup+0.10507 s]
/proc/loadavg: 2.39 2.14 1.77 2/515 6531
/proc/meminfo: memFree=20517352/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/6531/stat : 6531 (python) R 6529 6531 5281 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 869417741 98430976 2483 33554432000 4194304 5683644 140736339350720 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6531/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300999 s]
/proc/loadavg: 2.39 2.14 1.77 2/515 6531
/proc/meminfo: memFree=20517352/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=202992 CPUtime=0.24 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 6678 930 1 0 18 6 0 0 17 0 1 0 869417741 207863808 4962 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/6531/statm: 50748 4971 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202992
[startup+0.700911 s]
/proc/loadavg: 2.39 2.14 1.77 2/515 6531
/proc/meminfo: memFree=20517352/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=293620 CPUtime=0.61 cores=1,3,5,7
/proc/6531/stat : 6531 (python) R 6529 6531 5281 0 -1 4202496 11851 930 1 0 51 10 0 0 18 0 1 0 869417741 300666880 9713 33554432000 4194304 5683644 140736339350720 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6531/statm: 73405 9713 1781 364 0 8298 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 293620
[startup+1.50077 s]
/proc/loadavg: 2.39 2.14 1.77 3/516 6536
/proc/meminfo: memFree=20473576/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=304404 CPUtime=1.42 cores=1,3,5,7
/proc/6531/stat : 6531 (python) R 6529 6531 5281 0 -1 4202496 18175 930 1 0 131 11 0 0 19 0 1 0 869417741 311709696 12449 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473623559 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/6531/statm: 76101 12449 1816 364 0 10994 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 304404
[startup+3.10049 s]
/proc/loadavg: 2.44 2.16 1.77 3/519 6539
/proc/meminfo: memFree=20459664/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=316176 CPUtime=1.85 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 18840 930 1 0 174 11 0 0 22 0 2 0 869417741 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6531/statm: 79044 12885 1872 364 0 13931 0
[pid=6537] ppid=6531 vsize=305932 CPUtime=0 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 869417935 313274368 11360 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473987599 0 0 16781312 33554946 13793723809716470021 0 0 17 7 0 0 0
/proc/6537/statm: 76483 11360 351 364 0 11370 0
[pid=6539] ppid=6537 vsize=9668 CPUtime=1.15 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) R 6537 6539 6539 0 -1 4202496 3028 0 0 0 115 0 0 0 25 0 1 0 869417935 9900032 2142 33554432000 134512640 136139019 4290937648 18446744073709551615 134832230 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6539/statm: 2417 2142 184 398 0 2017 0
[pid=6531/tid=6538] ppid=6529 vsize=316176 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6538/stat : 6538 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869417935 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 631776
[startup+6.30092 s]
/proc/loadavg: 2.44 2.16 1.77 3/519 6539
/proc/meminfo: memFree=20459616/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=316176 CPUtime=1.85 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 18840 930 1 0 174 11 0 0 22 0 2 0 869417741 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6531/statm: 79044 12885 1872 364 0 13931 0
[pid=6537] ppid=6531 vsize=305932 CPUtime=0.01 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 890 0 0 0 0 1 0 0 18 0 1 0 869417935 313274368 11383 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473987599 0 0 16781312 33554946 2591870964790690053 0 0 17 7 0 0 0
/proc/6537/statm: 76483 11383 374 364 0 11370 0
[pid=6539] ppid=6537 vsize=12836 CPUtime=4.35 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) R 6537 6539 6539 0 -1 4202496 3835 0 0 0 435 0 0 0 25 0 1 0 869417935 13144064 2949 33554432000 134512640 136139019 4290937648 18446744073709551615 134883791 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6539/statm: 3209 2949 184 398 0 2809 0
[pid=6531/tid=6538] ppid=6529 vsize=316176 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6538/stat : 6538 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869417935 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 634944
[startup+12.7008 s]
/proc/loadavg: 2.37 2.15 1.78 3/519 6539
/proc/meminfo: memFree=20456200/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=316176 CPUtime=1.85 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 18840 930 1 0 174 11 0 0 22 0 2 0 869417741 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6531/statm: 79044 12885 1872 364 0 13931 0
[pid=6537] ppid=6531 vsize=305932 CPUtime=0.04 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 893 0 0 0 1 3 0 0 18 0 1 0 869417935 313274368 11384 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473987599 0 0 16781312 33554946 5623458817330129817 0 0 17 3 0 0 0
/proc/6537/statm: 76483 11384 375 364 0 11370 0
[pid=6539] ppid=6537 vsize=15508 CPUtime=10.75 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) R 6537 6539 6539 0 -1 4202496 4495 0 0 0 1075 0 0 0 25 0 1 0 869417935 15880192 3609 33554432000 134512640 136139019 4290937648 18446744073709551615 135529895 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6539/statm: 3877 3609 184 398 0 3477 0
[pid=6531/tid=6538] ppid=6529 vsize=316176 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6538/stat : 6538 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869417935 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 637616
[startup+25.5006 s]
/proc/loadavg: 2.31 2.15 1.78 3/519 6540
/proc/meminfo: memFree=20449588/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=316176 CPUtime=1.85 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 18840 930 1 0 174 11 0 0 22 0 2 0 869417741 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6531/statm: 79044 12885 1872 364 0 13931 0
[pid=6537] ppid=6531 vsize=305932 CPUtime=0.09 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 898 0 0 0 3 6 0 0 18 0 1 0 869417935 313274368 11384 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373785 0 0 17 7 0 0 0
/proc/6537/statm: 76483 11384 375 364 0 11370 0
[pid=6539] ppid=6537 vsize=22544 CPUtime=23.55 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) R 6537 6539 6539 0 -1 4202496 6230 0 0 0 2354 1 0 0 25 0 1 0 869417935 23085056 5344 33554432000 134512640 136139019 4290937648 18446744073709551615 134608263 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6539/statm: 5636 5344 184 398 0 5236 0
[pid=6531/tid=6538] ppid=6529 vsize=316176 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6538/stat : 6538 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869417935 323764224 12885 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 644652
[startup+51.101 s]
/proc/loadavg: 2.27 2.15 1.79 4/520 6541
/proc/meminfo: memFree=20416404/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=316180 CPUtime=3.82 cores=1,3,5,7
/proc/6531/stat : 6531 (python) R 6529 6531 5281 0 -1 4202496 19461 930 1 0 370 12 0 0 21 0 2 0 869417741 323768320 12887 33554432000 4194304 5683644 140736339350720 18446744073709551615 4628549 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6531/statm: 79045 12887 1873 364 0 13932 0
[pid=6537] ppid=6531 vsize=316176 CPUtime=0.19 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 1132 0 0 0 8 11 0 0 19 0 2 0 869417935 323764224 11425 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6537/statm: 79044 11425 411 364 0 13931 0
[pid=6539] ppid=6537 vsize=24432 CPUtime=47.19 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) T 6537 6539 6539 0 -1 4202496 6701 0 0 0 4718 1 0 0 25 0 1 0 869417935 25018368 5815 33554432000 134512640 136139019 4290937648 18446744073709551615 134891446 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/6539/statm: 6108 5815 184 398 0 5708 0
[pid=6537/tid=6541] ppid=6531 vsize=316176 CPUtime=0 cores=1,3,5,7
/proc/6537/task/6541/stat : 6541 (python) S 6531 6531 5281 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869422655 323764224 11425 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604459509362752 0 0 -1 7 0 0 0
[pid=6531/tid=6538] ppid=6529 vsize=316180 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6538/stat : 6538 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869417935 323768320 12887 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 656788
[startup+102.318 s]
/proc/loadavg: 2.10 2.12 1.80 3/523 6546
/proc/meminfo: memFree=20303608/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=326432 CPUtime=6.65 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 19782 930 1 0 653 12 0 0 25 0 3 0 869417741 334266368 12892 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6531/statm: 81608 12892 1875 364 0 16492 0
[pid=6537] ppid=6531 vsize=316176 CPUtime=0.19 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 1132 0 0 0 8 11 0 0 19 0 2 0 869417935 323764224 11425 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6537/statm: 79044 11425 411 364 0 13931 0
[pid=6539] ppid=6537 vsize=24432 CPUtime=47.19 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) T 6537 6539 6539 0 -1 4202496 6701 0 0 0 4718 1 0 0 25 0 1 0 869417935 25018368 5815 33554432000 134512640 136139019 4290937648 18446744073709551615 134891446 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/6539/statm: 6108 5815 184 398 0 5708 0
[pid=6537/tid=6541] ppid=6531 vsize=316176 CPUtime=0 cores=1,3,5,7
/proc/6537/task/6541/stat : 6541 (python) S 6531 6531 5281 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869422655 323764224 11425 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604459509362752 0 0 -1 7 0 0 0
[pid=6542] ppid=6531 vsize=316188 CPUtime=0.17 cores=1,3,5,7
/proc/6542/stat : 6542 (python) S 6531 6531 5281 0 -1 4202560 946 0 0 0 8 9 0 0 15 0 1 0 869423134 323776512 11385 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473987654 0 0 16781312 33554946 5623753486446373785 0 0 17 7 0 0 0
/proc/6542/statm: 79047 11385 372 364 0 13931 0
[pid=6544] ppid=6542 vsize=127276 CPUtime=48.37 cores=1,3,5,7
/proc/6544/stat : 6544 (minion) R 6542 6544 6544 0 -1 4202496 30502 0 0 0 4834 3 0 0 25 0 1 0 869423135 130330624 24402 33554432000 134512640 165565024 4293355856 18446744073709551615 134640991 0 0 16781312 8396802 0 0 0 17 5 0 0 0
/proc/6544/statm: 31819 24402 346 7582 0 24234 0
[pid=6531/tid=6538] ppid=6529 vsize=326432 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6538/stat : 6538 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 3 0 869417935 334266368 12892 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
[pid=6531/tid=6543] ppid=6529 vsize=326432 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6543/stat : 6543 (python) S 6529 6531 5281 0 -1 4202560 33 930 0 0 0 0 0 0 25 0 3 0 869423135 334266368 12892 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.57
Current children cumulated vsize (KiB) 1110504
[startup+162.3 s]
/proc/loadavg: 2.10 2.11 1.82 3/528 6552
/proc/meminfo: memFree=19897948/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=336688 CPUtime=6.7 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 21273 930 1 0 657 13 0 0 18 0 4 0 869417741 344768512 12898 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6531/statm: 84172 12898 1877 364 0 19053 0
[pid=6537] ppid=6531 vsize=316176 CPUtime=0.25 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 1145 0 0 0 11 14 0 0 18 0 2 0 869417935 323764224 11426 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473987654 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6537/statm: 79044 11426 412 364 0 13931 0
[pid=6539] ppid=6537 vsize=30556 CPUtime=60.31 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) R 6537 6539 6539 0 -1 4202496 8265 0 0 0 6030 1 0 0 25 0 1 0 869417935 31289344 7379 33554432000 134512640 136139019 4290937648 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/6539/statm: 7639 7379 184 398 0 7239 0
[pid=6537/tid=6541] ppid=6531 vsize=316176 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+521.302 s]
/proc/loadavg: 2.20 2.13 1.89 6/582 6616
/proc/meminfo: memFree=18560864/32950928 swapFree=61858080/67111528
[pid=6531] ppid=6529 vsize=387968 CPUtime=6.85 cores=1,3,5,7
/proc/6531/stat : 6531 (python) S 6529 6531 5281 0 -1 4202496 25425 930 1 0 671 14 0 0 20 0 9 0 869417741 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6531/statm: 96992 12928 1887 364 0 31858 0
[pid=6537] ppid=6531 vsize=316176 CPUtime=0.97 cores=1,3,5,7
/proc/6537/stat : 6537 (python) S 6531 6531 5281 0 -1 4202560 1201 0 0 0 43 54 0 0 18 0 2 0 869417935 323764224 11426 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6537/statm: 79044 11426 412 364 0 13931 0
[pid=6539] ppid=6537 vsize=49712 CPUtime=228.99 cores=1,3,5,7
/proc/6539/stat : 6539 (clasp-1.3.7-x86) T 6537 6539 6539 0 -1 4202496 13002 0 0 0 22897 2 0 0 25 0 1 0 869417935 50905088 12116 33554432000 134512640 136139019 4290937648 18446744073709551615 134832144 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/6539/statm: 12428 12116 184 398 0 12028 0
[pid=6537/tid=6541] ppid=6531 vsize=316176 CPUtime=0 cores=1,3,5,7
/proc/6537/task/6541/stat : 6541 (python) S 6531 6531 5281 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869422655 323764224 11426 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604459509362752 0 0 -1 7 0 0 0
[pid=6542] ppid=6531 vsize=316188 CPUtime=0.19 cores=1,3,5,7
/proc/6542/stat : 6542 (python) S 6531 6531 5281 0 -1 4202560 1111 0 0 0 9 10 0 0 16 0 2 0 869423134 323776512 11410 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6542/statm: 79047 11410 396 364 0 13931 0
[pid=6544] ppid=6542 vsize=127276 CPUtime=48.62 cores=1,3,5,7
/proc/6544/stat : 6544 (minion) T 6542 6544 6544 0 -1 4202496 30502 0 0 0 4859 3 0 0 25 0 1 0 869423135 130330624 24402 33554432000 134512640 165565024 4293355856 18446744073709551615 134640643 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/6544/statm: 31819 24402 346 7582 0 24234 0
[pid=6542/tid=6547] ppid=6531 vsize=316188 CPUtime=0 cores=1,3,5,7
/proc/6542/task/6547/stat : 6547 (python) S 6531 6531 5281 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869427997 323776512 11410 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604463407803200 0 0 -1 7 0 0 0
[pid=6548] ppid=6531 vsize=326444 CPUtime=0.2 cores=1,3,5,7
/proc/6548/stat : 6548 (python) S 6531 6531 5281 0 -1 4202560 1105 0 0 0 9 11 0 0 16 0 2 0 869428000 334278656 11414 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6548/statm: 81611 11414 396 364 0 16492 0
[pid=6550] ppid=6548 vsize=412148 CPUtime=46.53 cores=1,3,5,7
/proc/6550/stat : 6550 (scip-2.0.1.linu) T 6548 6550 6550 0 -1 4202496 100819 0 0 0 4573 80 0 0 25 0 1 0 869428000 422039552 98688 33554432000 4194304 13684479 140734921512272 18446744073709551615 7390467 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/6550/statm: 103037 98688 761 2317 0 100715 0
[pid=6548/tid=6552] ppid=6531 vsize=326444 CPUtime=0 cores=1,3,5,7
/proc/6548/task/6552/stat : 6552 (python) S 6531 6531 5281 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869432656 334278656 11414 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604469201523968 0 0 -1 7 0 0 0
[pid=6554] ppid=6531 vsize=336700 CPUtime=0.19 cores=1,3,5,7
/proc/6554/stat : 6554 (python) S 6531 6531 5281 0 -1 4202560 1116 0 0 0 8 11 0 0 16 0 2 0 869437081 344780800 11418 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6554/statm: 84175 11418 396 364 0 19053 0
[pid=6556] ppid=6554 vsize=61252 CPUtime=46.51 cores=1,3,5,7
/proc/6556/stat : 6556 (wbo1.4b-fixed) T 6554 6556 6556 0 -1 4202496 15820 0 0 0 4619 32 0 0 25 0 1 0 869437081 62722048 14679 33554432000 134512640 135752315 4294345568 18446744073709551615 134516976 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/6556/statm: 15313 14679 146 303 0 15008 0
[pid=6554/tid=6558] ppid=6531 vsize=336700 CPUtime=0 cores=1,3,5,7
/proc/6554/task/6558/stat : 6558 (python) S 6531 6531 5281 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869441733 344780800 11418 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604461452195904 0 0 -1 7 0 0 0
[pid=6559] ppid=6531 vsize=346956 CPUtime=0.19 cores=1,3,5,7
/proc/6559/stat : 6559 (python) S 6531 6531 5281 0 -1 4202560 1152 0 0 0 11 8 0 0 16 0 2 0 869441736 355282944 11422 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6559/statm: 86739 11422 396 364 0 21614 0
[pid=6561] ppid=6559 vsize=70324 CPUtime=46.64 cores=1,3,5,7
/proc/6561/stat : 6561 (wbo1.4a) T 6559 6561 6561 0 -1 4202496 18090 0 0 0 4632 32 0 0 25 0 1 0 869441736 72011776 16940 33554432000 134512640 135751879 4294043472 18446744073709551615 134610726 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/6561/statm: 17581 16940 143 303 0 17276 0
[pid=6559/tid=6564] ppid=6531 vsize=346956 CPUtime=0 cores=1,3,5,7
/proc/6559/task/6564/stat : 6564 (python) S 6531 6531 5281 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869446401 355282944 11422 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604454326685888 0 0 -1 7 0 0 0
[pid=6565] ppid=6531 vsize=357212 CPUtime=0.22 cores=1,3,5,7
/proc/6565/stat : 6565 (python) S 6531 6531 5281 0 -1 4202560 1138 0 0 0 11 11 0 0 17 0 2 0 869446403 365785088 11426 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6565/statm: 89303 11426 396 364 0 24175 0
[pid=6567] ppid=6565 vsize=407332 CPUtime=51.39 cores=1,3,5,7
/proc/6567/stat : 6567 (scip-2.0.1.linu) T 6565 6567 6567 0 -1 4202496 121032 0 0 0 5061 78 0 0 25 0 1 0 869446404 417107968 95276 33554432000 4194304 15243407 140735606582880 18446744073709551615 7426939 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/6567/statm: 101833 95276 865 2698 0 99128 0
[pid=6565/tid=6569] ppid=6531 vsize=357212 CPUtime=0 cores=1,3,5,7
/proc/6565/task/6569/stat : 6569 (python) S 6531 6531 5281 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869451544 365785088 11426 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604463407800512 0 0 -1 7 0 0 0
[pid=6574] ppid=6531 vsize=367468 CPUtime=0.2 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6531 6531 5281 0 -1 4202560 1139 0 0 0 10 10 0 0 16 0 2 0 869465309 376287232 11430 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/6574/statm: 91867 11430 396 364 0 26736 0
[pid=6576] ppid=6574 vsize=8542180 CPUtime=47.95 cores=1,3,5,7
/proc/6576/stat : 6576 (java) T 6574 6576 6576 0 -1 4202496 162523 0 1 0 4773 22 0 0 15 0 19 0 869465309 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/6576/statm: 2135545 140881 2254 9 0 2126286 0
[pid=6576/tid=6577] ppid=6574 vsize=8542180 CPUtime=44.71 cores=1,3,5,7
/proc/6576/task/6577/stat : 6577 (java) T 6574 6576 6576 0 -1 4202560 116147 0 1 0 4455 16 0 0 25 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 46912505953919 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6576/tid=6578] ppid=6574 vsize=8542180 CPUtime=0.03 cores=1,3,5,7
/proc/6576/task/6578/stat : 6578 (java) T 6574 6576 6576 0 -1 4202560 1719 0 0 0 3 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6579] ppid=6574 vsize=8542180 CPUtime=0.03 cores=1,3,5,7
/proc/6576/task/6579/stat : 6579 (java) T 6574 6576 6576 0 -1 4202560 2109 0 0 0 3 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6580] ppid=6574 vsize=8542180 CPUtime=0.02 cores=1,3,5,7
/proc/6576/task/6580/stat : 6580 (java) T 6574 6576 6576 0 -1 4202560 1120 0 0 0 2 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6576/tid=6581] ppid=6574 vsize=8542180 CPUtime=0.02 cores=1,3,5,7
/proc/6576/task/6581/stat : 6581 (java) T 6574 6576 6576 0 -1 4202560 1243 0 0 0 2 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6582] ppid=6574 vsize=8542180 CPUtime=0 cores=1,3,5,7
/proc/6576/task/6582/stat : 6582 (java) T 6574 6576 6576 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6583] ppid=6574 vsize=8542180 CPUtime=0.02 cores=1,3,5,7
/proc/6576/task/6583/stat : 6583 (java) T 6574 6576 6576 0 -1 4202560 2040 0 0 0 2 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6576/tid=6584] ppid=6574 vsize=8542180 CPUtime=0.01 cores=1,3,5,7
/proc/6576/task/6584/stat : 6584 (java) T 6574 6576 6576 0 -1 4202560 296 0 0 0 1 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6585] ppid=6574 vsize=8542180 CPUtime=0.03 cores=1,3,5,7
/proc/6576/task/6585/stat : 6585 (java) T 6574 6576 6576 0 -1 4202560 1879 0 0 0 3 0 0 0 15 0 19 0 869465311 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6586] ppid=6574 vsize=8542180 CPUtime=0.52 cores=1,3,5,7
/proc/6576/task/6586/stat : 6586 (java) T 6574 6576 6576 0 -1 4202560 6263 0 0 0 52 0 0 0 15 0 19 0 869465312 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485784064 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6576/tid=6587] ppid=6574 vsize=8542180 CPUtime=0 cores=1,3,5,7
/proc/6576/task/6587/stat : 6587 (java) T 6574 6576 6576 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869465313 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6588] ppid=6574 vsize=8542180 CPUtime=0 cores=1,3,5,7
/proc/6576/task/6588/stat : 6588 (java) T 6574 6576 6576 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869465313 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6589] ppid=6574 vsize=8542180 CPUtime=0 cores=1,3,5,7
/proc/6576/task/6589/stat : 6589 (java) T 6574 6576 6576 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869465315 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485791153 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6590] ppid=6574 vsize=8542180 CPUtime=1.62 cores=1,3,5,7
/proc/6576/task/6590/stat : 6590 (java) T 6574 6576 6576 0 -1 4202560 20272 0 0 0 160 2 0 0 15 0 19 0 869465315 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6576/tid=6591] ppid=6574 vsize=8542180 CPUtime=0.84 cores=1,3,5,7
/proc/6576/task/6591/stat : 6591 (java) T 6574 6576 6576 0 -1 4202560 8017 0 0 0 84 0 0 0 15 0 19 0 869465315 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=6576/tid=6592] ppid=6574 vsize=8542180 CPUtime=0 cores=1,3,5,7
/proc/6576/task/6592/stat : 6592 (java) T 6574 6576 6576 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869465315 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485783449 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=6576/tid=6593] ppid=6574 vsize=8542180 CPUtime=0 cores=1,3,5,7
/proc/6576/task/6593/stat : 6593 (java) T 6574 6576 6576 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869465315 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485784064 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=6576/tid=6594] ppid=6574 vsize=8542180 CPUtime=0 cores=1,3,5,7
/proc/6576/task/6594/stat : 6594 (java) T 6574 6576 6576 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869465409 8747192320 140881 33554432000 1073741824 1073778376 140734080573856 18446744073709551615 274485784064 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=6574/tid=6596] ppid=6531 vsize=367468 CPUtime=0 cores=1,3,5,7
/proc/6574/task/6596/stat : 6596 (python) S 6531 6531 5281 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869469850 376287232 11430 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554946 18446604469201524864 0 0 -1 3 0 0 0
[pid=6597] ppid=6531 vsize=377724 CPUtime=0 cores=1,3,5,7
/proc/6597/stat : 6597 (python) S 6531 6531 5281 0 -1 4202560 854 0 0 0 0 0 0 0 18 0 1 0 869469852 386789376 11385 33554432000 4194304 5683644 140736339350720 18446744073709551615 274473987654 0 0 16781312 33554946 2343673970215092224 0 0 17 1 0 0 0
/proc/6597/statm: 94431 11385 348 364 0 29297 0
[pid=6599] ppid=6597 vsize=8533264 CPUtime=0.29 cores=1,3,5,7
/proc/6599/stat : 6599 (java) S 6597 6599 6599 0 -1 4202496 6689 0 1 0 27 2 0 0 21 0 18 0 869469853 8738062336 5972 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/6599/statm: 2133316 5972 2177 9 0 2124057 0
[pid=6599/tid=6600] ppid=6597 vsize=8533264 CPUtime=0.2 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (java) R 6597 6599 6599 0 -1 4202560 4245 0 1 0 19 1 0 0 25 0 18 0 869469853 8738062336 6066 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6599/tid=6601] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869469854 8738062336 6066 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 7 0 0 0
[pid=6599/tid=6602] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469854 8738062336 6067 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6603] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6603/stat : 6603 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469854 8738062336 6067 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6604] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6604/stat : 6604 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469854 8738062336 6067 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6605] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6605/stat : 6605 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469854 8738062336 6067 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6606] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6606/stat : 6606 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469854 8738062336 6068 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6607] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6607/stat : 6607 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469854 8738062336 6068 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6608] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6608/stat : 6608 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469854 8738062336 6068 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6609] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6609/stat : 6609 (java) S 6597 6599 6599 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869469855 8738062336 6068 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485784064 0 0 0 16800975 18446604464742235072 0 0 -1 7 0 0 0
[pid=6599/tid=6610] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6610/stat : 6610 (java) S 6597 6599 6599 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869469855 8738062336 6069 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 7 0 0 0
[pid=6599/tid=6611] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6611/stat : 6611 (java) S 6597 6599 6599 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869469855 8738062336 6069 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 1 0 0 0
[pid=6599/tid=6612] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6612/stat : 6612 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469857 8738062336 6069 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485791153 0 4 0 16800975 18446604464742235072 0 0 -1 7 0 0 0
[pid=6599/tid=6613] ppid=6597 vsize=8533264 CPUtime=0.05 cores=1,3,5,7
/proc/6599/task/6613/stat : 6613 (java) R 6597 6599 6599 0 -1 4202560 418 0 0 0 5 0 0 0 25 0 18 0 869469857 8738062336 6069 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 47088650754499 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6599/tid=6614] ppid=6597 vsize=8533264 CPUtime=0.04 cores=1,3,5,7
/proc/6599/task/6614/stat : 6614 (java) R 6597 6599 6599 0 -1 4202560 726 0 0 0 4 0 0 0 25 0 18 0 869469857 8738062336 6069 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6599/tid=6615] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6615/stat : 6615 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469857 8738062336 6070 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485783449 0 4 0 16800975 18446604464742235072 0 0 -1 7 0 0 0
[pid=6599/tid=6616] ppid=6597 vsize=8533264 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6616/stat : 6616 (java) S 6597 6599 6599 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869469857 8738062336 6070 33554432000 1073741824 1073778376 140734910982736 18446744073709551615 274485784064 0 4 0 16800975 18446604464742235072 0 0 -1 5 0 0 0
[pid=6531/tid=6538] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6538/stat : 6538 (python) S 6529 6531 5281 0 -1 4202560 36 930 0 0 0 0 0 0 18 0 9 0 869417935 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
[pid=6531/tid=6543] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6543/stat : 6543 (python) S 6529 6531 5281 0 -1 4202560 33 930 0 0 0 0 0 0 25 0 9 0 869423135 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
[pid=6531/tid=6549] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6549/stat : 6549 (python) S 6529 6531 5281 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 9 0 869428000 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
[pid=6531/tid=6555] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6555/stat : 6555 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 9 0 869437081 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 1 0 0 0
[pid=6531/tid=6560] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6560/stat : 6560 (python) S 6529 6531 5281 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 9 0 869441736 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
[pid=6531/tid=6566] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6566/stat : 6566 (python) S 6529 6531 5281 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 9 0 869446403 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
[pid=6531/tid=6575] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6575/stat : 6575 (python) S 6529 6531 5281 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 9 0 869465309 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 3 0 0 0
[pid=6531/tid=6598] ppid=6529 vsize=387968 CPUtime=0 cores=1,3,5,7
/proc/6531/task/6598/stat : 6598 (python) S 6529 6531 5281 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 9 0 869469853 397279232 12928 33554432000 4194304 5683644 140736339350720 18446744073709551615 274485791153 0 0 16781312 33554434 18446604469102344960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 525.93
Current children cumulated vsize (KiB) 21336324
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6531 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=713979
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=148977
# CPU time returned by wait4() is 6.86296
# while last known CPU time is 525.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 521.4
CPU time (s): 525.93
CPU user time (s): 522.13
CPU system time (s): 3.8
CPU usage (%): 100.869
Max. virtual memory (cumulated for all children) (KiB): 21336480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.71398
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26361
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= 1032
involuntary context switches= 26
runsolver used 2.71959 second user time and 6.38003 second system time
The end