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-3481772-1307576977/watcher-3481772-1307576977 -o /tmp/evaluation-result-3481772-1307576977/solver-3481772-1307576977 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481772-1307576977.opb -seed 1342833978 -budget 1800
running on 4 cores: 0,2,4,6
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.08 1.89 1.02 3/628 15662
/proc/meminfo: memFree=19561760/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/15662/stat : 15662 (python) R 15660 15662 14716 0 -1 4202496 809 0 0 0 0 0 0 0 25 0 1 0 947928533 15749120 695 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988590592 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/15662/statm: 3845 695 334 364 0 332 0
[startup+0.0489959 s]
/proc/loadavg: 2.08 1.89 1.02 3/628 15662
/proc/meminfo: memFree=19561760/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 1287 0 0 0 2 0 0 0 25 0 1 0 947928533 19337216 1140 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15662/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100392 s]
/proc/loadavg: 2.08 1.89 1.02 3/628 15662
/proc/meminfo: memFree=19561760/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=85616 CPUtime=0.06 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 947928533 87670784 2381 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15662/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300309 s]
/proc/loadavg: 2.08 1.89 1.02 3/628 15662
/proc/meminfo: memFree=19561760/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=123736 CPUtime=0.18 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 5355 930 1 0 12 6 0 0 18 0 1 0 947928533 126705664 3743 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988588549 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15662/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123736
[startup+0.712264 s]
/proc/loadavg: 2.08 1.89 1.02 3/628 15662
/proc/meminfo: memFree=19561760/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=285060 CPUtime=0.46 cores=0,2,4,6
/proc/15662/stat : 15662 (python) R 15660 15662 14716 0 -1 4202496 9713 930 1 0 33 13 0 0 17 0 1 0 947928533 291901440 7577 33554432000 4194304 5683644 140735682237264 18446744073709551615 4418224 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15662/statm: 71265 7577 1781 364 0 6158 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 285060
[startup+1.50103 s]
/proc/loadavg: 2.08 1.89 1.02 3/629 15667
/proc/meminfo: memFree=19530364/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=303296 CPUtime=1.11 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 13750 930 1 0 97 14 0 0 20 0 2 0 947928533 310575104 9663 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15662/statm: 75824 9663 1870 364 0 10711 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 303296
[startup+3.12475 s]
/proc/loadavg: 2.08 1.89 1.02 3/650 15688
/proc/meminfo: memFree=19379296/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=303296 CPUtime=1.11 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 13750 930 1 0 97 14 0 0 20 0 2 0 947928533 310575104 9663 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15662/statm: 75824 9663 1870 364 0 10711 0
[pid=15668] ppid=15662 vsize=294076 CPUtime=0 cores=0,2,4,6
/proc/15668/stat : 15668 (python) S 15662 15662 14716 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 947928669 301133824 8143 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988612623 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/15668/statm: 73519 8143 353 364 0 8406 0
[pid=15670] ppid=15668 vsize=8538624 CPUtime=2.71 cores=0,2,4,6
/proc/15670/stat : 15670 (java) S 15668 15670 15670 0 -1 4202496 48259 0 1 0 265 6 0 0 21 0 19 0 947928669 8743550976 44949 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15670/statm: 2134656 44956 2253 9 0 2125397 0
[pid=15670/tid=15671] ppid=15668 vsize=8538624 CPUtime=1.7 cores=0,2,4,6
/proc/15670/task/15671/stat : 15671 (java) S 15668 15670 15670 0 -1 4202560 34651 0 1 0 166 4 0 0 25 0 19 0 947928670 8743550976 44962 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15672] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15672/stat : 15672 (java) S 15668 15670 15670 0 -1 4202560 2239 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 44970 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15673] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15673/stat : 15673 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 44978 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15674] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15674/stat : 15674 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 44987 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15675] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15675/stat : 15675 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 44994 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15676] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15676/stat : 15676 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 45002 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15677] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15677/stat : 15677 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 45012 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15678] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15678/stat : 15678 (java) S 15668 15670 15670 0 -1 4202560 474 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 45019 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15679] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15679/stat : 15679 (java) S 15668 15670 15670 0 -1 4202560 762 0 0 0 0 0 0 0 18 0 19 0 947928670 8743550976 45028 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15680] ppid=15668 vsize=8538624 CPUtime=0.01 cores=0,2,4,6
/proc/15670/task/15680/stat : 15680 (java) R 15668 15670 15670 0 -1 4202560 2911 0 0 0 1 0 0 0 15 0 19 0 947928671 8743550976 45037 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 215988290146 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=15670/tid=15681] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15681/stat : 15681 (java) S 15668 15670 15670 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947928672 8743550976 45046 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15682] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15682/stat : 15682 (java) S 15668 15670 15670 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947928672 8743550976 45055 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15683] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15683/stat : 15683 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928674 8743550976 45063 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000416177 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15684] ppid=15668 vsize=8538624 CPUtime=0.49 cores=0,2,4,6
/proc/15670/task/15684/stat : 15684 (java) S 15668 15670 15670 0 -1 4202560 2307 0 0 0 49 0 0 0 18 0 19 0 947928674 8743550976 45072 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15685] ppid=15668 vsize=8538624 CPUtime=0.45 cores=0,2,4,6
/proc/15670/task/15685/stat : 15685 (java) S 15668 15670 15670 0 -1 4202560 3626 0 0 0 45 0 0 0 18 0 19 0 947928674 8743550976 45082 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15686] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15686/stat : 15686 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928674 8743550976 45089 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15687] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15687/stat : 15687 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947928674 8743550976 45098 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15688] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15688/stat : 15688 (java) S 15668 15670 15670 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947928728 8743550976 45106 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15662/tid=15669] ppid=15660 vsize=303296 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15669/stat : 15669 (python) S 15660 15662 14716 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 947928669 310575104 9663 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9135996
[startup+6.30123 s]
/proc/loadavg: 2.08 1.89 1.02 3/650 15688
/proc/meminfo: memFree=19287860/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=303296 CPUtime=1.11 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 13750 930 1 0 97 14 0 0 20 0 2 0 947928533 310575104 9663 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15662/statm: 75824 9663 1870 364 0 10711 0
[pid=15668] ppid=15662 vsize=294076 CPUtime=0.02 cores=0,2,4,6
/proc/15668/stat : 15668 (python) S 15662 15662 14716 0 -1 4202560 910 0 0 0 1 1 0 0 15 0 1 0 947928669 301133824 8167 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988612623 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/15668/statm: 73519 8167 377 364 0 8406 0
[pid=15670] ppid=15668 vsize=8538624 CPUtime=5.94 cores=0,2,4,6
/proc/15670/stat : 15670 (java) S 15668 15670 15670 0 -1 4202496 62317 0 1 0 586 8 0 0 21 0 19 0 947928669 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15670/statm: 2134656 58928 2257 9 0 2125397 0
[pid=15670/tid=15671] ppid=15668 vsize=8538624 CPUtime=4.84 cores=0,2,4,6
/proc/15670/task/15671/stat : 15671 (java) R 15668 15670 15670 0 -1 4202560 34656 0 1 0 479 5 0 0 18 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 46912505982754 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15670/tid=15672] ppid=15668 vsize=8538624 CPUtime=0.01 cores=0,2,4,6
/proc/15670/task/15672/stat : 15672 (java) S 15668 15670 15670 0 -1 4202560 3414 0 0 0 1 0 0 0 16 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15673] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15673/stat : 15673 (java) S 15668 15670 15670 0 -1 4202560 2765 0 0 0 0 0 0 0 15 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15674] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15674/stat : 15674 (java) S 15668 15670 15670 0 -1 4202560 2486 0 0 0 0 0 0 0 15 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15675] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15675/stat : 15675 (java) S 15668 15670 15670 0 -1 4202560 571 0 0 0 0 0 0 0 16 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15676] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15676/stat : 15676 (java) S 15668 15670 15670 0 -1 4202560 1180 0 0 0 0 0 0 0 16 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15677] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15677/stat : 15677 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15678] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15678/stat : 15678 (java) S 15668 15670 15670 0 -1 4202560 474 0 0 0 0 0 0 0 15 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15679] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15679/stat : 15679 (java) S 15668 15670 15670 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 19 0 947928670 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15680] ppid=15668 vsize=8538624 CPUtime=0.05 cores=0,2,4,6
/proc/15670/task/15680/stat : 15680 (java) S 15668 15670 15670 0 -1 4202560 8694 0 0 0 5 0 0 0 15 0 19 0 947928671 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 0 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15681] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15681/stat : 15681 (java) S 15668 15670 15670 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947928672 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15682] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15682/stat : 15682 (java) S 15668 15670 15670 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947928672 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15683] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15683/stat : 15683 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928674 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000416177 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15684] ppid=15668 vsize=8538624 CPUtime=0.51 cores=0,2,4,6
/proc/15670/task/15684/stat : 15684 (java) S 15668 15670 15670 0 -1 4202560 2309 0 0 0 51 0 0 0 18 0 19 0 947928674 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15685] ppid=15668 vsize=8538624 CPUtime=0.47 cores=0,2,4,6
/proc/15670/task/15685/stat : 15685 (java) S 15668 15670 15670 0 -1 4202560 3630 0 0 0 47 0 0 0 15 0 19 0 947928674 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15686] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15686/stat : 15686 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947928674 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15687] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15687/stat : 15687 (java) S 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947928674 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 4 0 16800975 18446604452700415168 0 0 -1 4 0 0 0
[pid=15670/tid=15688] ppid=15668 vsize=8538624 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15688/stat : 15688 (java) S 15668 15670 15670 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947928728 8743550976 58928 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15662/tid=15669] ppid=15660 vsize=303296 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15669/stat : 15669 (python) S 15660 15662 14716 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 2 0 947928669 310575104 9663 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9135996
[startup+12.7012 s]
/proc/loadavg: 2.07 1.89 1.03 3/650 15688
/proc/meminfo: memFree=19254644/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=303296 CPUtime=1.11 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 13750 930 1 0 97 14 0 0 20 0 2 0 947928533 310575104 9663 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15662/statm: 75824 9663 1870 364 0 10711 0
[pid=15668] ppid=15662 vsize=294076 CPUtime=0.03 cores=0,2,4,6
/proc/15668/stat : 15668 (python) S 15662 15662 14716 0 -1 4202560 914 0 0 0 1 2 0 0 15 0 1 0 947928669 301133824 8167 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988612623 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/15668/statm: 73519 8167 377 364 0 8406 0
[pid=15670] ppid=15668 vsize=8537556 CPUtime=12.41 cores=0,2,4,6
/proc/15670/stat : 15670 (java) S 15668 15670 15670 0 -1 4202496 71733 0 1 0 1231 10 0 0 21 0 19 0 947928669 8742457344 67025 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15670/statm: 2134389 67025 2257 9 0 2125130 0
[pid=15670/tid=15671] ppid=15668 vsize=8537556 CPUtime=11.06 cores=0,2,4,6
/proc/15670/task/15671/stat : 15671 (java) R 15668 15670 15670 0 -1 4202560 34660 0 1 0 1101 5 0 0 25 0 19 0 947928670 8742457344 67025 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 46912505810396 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15670/tid=15672] ppid=15668 vsize=8537556 CPUtime=0.01 cores=0,2,4,6
/proc/15670/task/15672/stat : 15672 (java) S 15668 15670 15670 0 -1 4202560 3446 0 0 0 1 0 0 0 15 0 19 0 947928670 8742457344 67025 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 2 0 0 0
[pid=15670/tid=15673] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15673/stat : 15673 (java) S 15668 15670 15670 0 -1 4202560 3377 0 0 0 0 0 0 0 15 0 19 0 947928670 8742457344 67025 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15674] ppid=15668 vsize=8537556 CPUtime=0.01 cores=0,2,4,6
/proc/15670/task/15674/stat : 15674 (java) S 15668 15670 15670 0 -1 4202560 3604 0 0 0 1 0 0 0 15 0 19 0 947928670 8742457344 67025 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446604452700415168 0 0 -1 6 0 0 0
[pid=15670/tid=15675] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=15820/tid=15838] ppid=15818 vsize=8554048 CPUtime=0.69 cores=0,2,4,6
/proc/15820/task/15838/stat : 15838 (java) S 15818 15820 15820 0 -1 4202560 7186 0 0 0 68 1 0 0 16 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=15820/tid=15839] ppid=15818 vsize=8554048 CPUtime=0.65 cores=0,2,4,6
/proc/15820/task/15839/stat : 15839 (java) S 15818 15820 15820 0 -1 4202560 8683 0 0 0 65 0 0 0 25 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=15820/tid=15840] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15840/stat : 15840 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15841] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15841/stat : 15841 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000409088 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=15820/tid=15842] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15842/stat : 15842 (java) S 15818 15820 15820 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947956723 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000409088 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=15662/tid=15669] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15669/stat : 15669 (python) S 15660 15662 14716 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 6 0 947928669 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 2 0 0 0
[pid=15662/tid=15693] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15693/stat : 15693 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947933165 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 4 0 0 0
[pid=15662/tid=15707] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15707/stat : 15707 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947942579 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 4 0 0 0
[pid=15662/tid=15717] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15717/stat : 15717 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947951907 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 6 0 0 0
[pid=15662/tid=15819] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15819/stat : 15819 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947956664 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 286.49
Current children cumulated vsize (KiB) 19384440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+282.402 s]
/proc/loadavg: 2.10 1.99 1.28 6/685 15842
/proc/meminfo: memFree=18221684/32950940 swapFree=67111360/67111528
[pid=15662] ppid=15660 vsize=344320 CPUtime=1.24 cores=0,2,4,6
/proc/15662/stat : 15662 (python) S 15660 15662 14716 0 -1 4202496 17411 930 1 0 109 15 0 0 20 0 6 0 947928533 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15662/statm: 86080 9688 1879 364 0 20955 0
[pid=15668] ppid=15662 vsize=304320 CPUtime=0.46 cores=0,2,4,6
/proc/15668/stat : 15668 (python) S 15662 15662 14716 0 -1 4202560 1116 0 0 0 24 22 0 0 15 0 2 0 947928669 311623680 8203 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15668/statm: 76080 8203 408 364 0 10967 0
[pid=15670] ppid=15668 vsize=8537556 CPUtime=93.21 cores=0,2,4,6
/proc/15670/stat : 15670 (java) T 15668 15670 15670 0 -1 4202496 108355 0 1 0 9302 19 0 0 18 0 19 0 947928669 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15670/statm: 2134389 101678 2257 9 0 2125130 0
[pid=15670/tid=15671] ppid=15668 vsize=8537556 CPUtime=90.29 cores=0,2,4,6
/proc/15670/task/15671/stat : 15671 (java) T 15668 15670 15670 0 -1 4202560 34677 0 1 0 9024 5 0 0 25 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 46912505810188 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15670/tid=15672] ppid=15668 vsize=8537556 CPUtime=0.1 cores=0,2,4,6
/proc/15670/task/15672/stat : 15672 (java) T 15668 15670 15670 0 -1 4202560 6070 0 0 0 9 1 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15670/tid=15673] ppid=15668 vsize=8537556 CPUtime=0.13 cores=0,2,4,6
/proc/15670/task/15673/stat : 15673 (java) T 15668 15670 15670 0 -1 4202560 7051 0 0 0 12 1 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15674] ppid=15668 vsize=8537556 CPUtime=0.07 cores=0,2,4,6
/proc/15670/task/15674/stat : 15674 (java) T 15668 15670 15670 0 -1 4202560 4819 0 0 0 7 0 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15670/tid=15675] ppid=15668 vsize=8537556 CPUtime=0.07 cores=0,2,4,6
/proc/15670/task/15675/stat : 15675 (java) T 15668 15670 15670 0 -1 4202560 3095 0 0 0 7 0 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15670/tid=15676] ppid=15668 vsize=8537556 CPUtime=0.18 cores=0,2,4,6
/proc/15670/task/15676/stat : 15676 (java) T 15668 15670 15670 0 -1 4202560 12269 0 0 0 16 2 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15677] ppid=15668 vsize=8537556 CPUtime=0.1 cores=0,2,4,6
/proc/15670/task/15677/stat : 15677 (java) T 15668 15670 15670 0 -1 4202560 4787 0 0 0 10 0 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15678] ppid=15668 vsize=8537556 CPUtime=0.15 cores=0,2,4,6
/proc/15670/task/15678/stat : 15678 (java) T 15668 15670 15670 0 -1 4202560 11553 0 0 0 13 2 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15670/tid=15679] ppid=15668 vsize=8537556 CPUtime=0.1 cores=0,2,4,6
/proc/15670/task/15679/stat : 15679 (java) T 15668 15670 15670 0 -1 4202560 7797 0 0 0 9 1 0 0 15 0 19 0 947928670 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15670/tid=15680] ppid=15668 vsize=8537556 CPUtime=0.87 cores=0,2,4,6
/proc/15670/task/15680/stat : 15680 (java) T 15668 15670 15670 0 -1 4202560 8700 0 0 0 87 0 0 0 15 0 19 0 947928671 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=15670/tid=15681] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15681/stat : 15681 (java) T 15668 15670 15670 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947928672 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15682] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15682/stat : 15682 (java) T 15668 15670 15670 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947928672 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15683] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15683/stat : 15683 (java) T 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947928674 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15684] ppid=15668 vsize=8537556 CPUtime=0.51 cores=0,2,4,6
/proc/15670/task/15684/stat : 15684 (java) T 15668 15670 15670 0 -1 4202560 2309 0 0 0 51 0 0 0 15 0 19 0 947928674 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15685] ppid=15668 vsize=8537556 CPUtime=0.49 cores=0,2,4,6
/proc/15670/task/15685/stat : 15685 (java) T 15668 15670 15670 0 -1 4202560 3847 0 0 0 49 0 0 0 15 0 19 0 947928674 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15670/tid=15686] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15686/stat : 15686 (java) T 15668 15670 15670 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947928674 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=15670/tid=15687] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15687/stat : 15687 (java) T 15668 15670 15670 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947928674 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=15670/tid=15688] ppid=15668 vsize=8537556 CPUtime=0 cores=0,2,4,6
/proc/15670/task/15688/stat : 15688 (java) T 15668 15670 15670 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947928728 8742457344 101678 33554432000 1073741824 1073778376 140733671920832 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=15668/tid=15691] ppid=15662 vsize=304320 CPUtime=0 cores=0,2,4,6
/proc/15668/task/15691/stat : 15691 (python) S 15662 15662 14716 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 947933162 311623680 8203 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554946 18446604442256349184 0 0 -1 6 0 0 0
[pid=15692] ppid=15662 vsize=304332 CPUtime=0.27 cores=0,2,4,6
/proc/15692/stat : 15692 (python) S 15662 15662 14716 0 -1 4202560 1114 0 0 0 14 13 0 0 16 0 2 0 947933164 311635968 8192 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15692/statm: 76083 8192 397 364 0 10967 0
[pid=15694] ppid=15692 vsize=73432 CPUtime=47.43 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.4a) T 15692 15694 15694 0 -1 4202496 19714 0 0 0 4705 38 0 0 25 0 1 0 947933165 75194368 17862 33554432000 134512640 135751879 4288678576 18446744073709551615 134517428 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/15694/statm: 18358 17862 146 303 0 18053 0
[pid=15692/tid=15699] ppid=15662 vsize=304332 CPUtime=0 cores=0,2,4,6
/proc/15692/task/15699/stat : 15699 (python) S 15662 15662 14716 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947937909 311635968 8192 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554946 18446604451378516992 0 0 -1 6 0 0 0
[pid=15706] ppid=15662 vsize=314588 CPUtime=0.41 cores=0,2,4,6
/proc/15706/stat : 15706 (python) S 15662 15662 14716 0 -1 4202560 1150 0 0 0 22 19 0 0 17 0 2 0 947942579 322138112 8196 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15706/statm: 78647 8196 397 364 0 13528 0
[pid=15708] ppid=15706 vsize=77572 CPUtime=93.24 cores=0,2,4,6
/proc/15708/stat : 15708 (clasp-1.3.7-x86) T 15706 15708 15708 0 -1 4202496 19552 0 0 0 9322 2 0 0 25 0 1 0 947942580 79433728 19121 33554432000 134512640 136139019 4287951072 18446744073709551615 134626862 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/15708/statm: 19393 19121 187 398 0 18993 0
[pid=15706/tid=15715] ppid=15662 vsize=314588 CPUtime=0 cores=0,2,4,6
/proc/15706/task/15715/stat : 15715 (python) S 15662 15662 14716 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947951904 322138112 8196 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554946 18446604442256347392 0 0 -1 6 0 0 0
[pid=15716] ppid=15662 vsize=324844 CPUtime=0.22 cores=0,2,4,6
/proc/15716/stat : 15716 (python) S 15662 15662 14716 0 -1 4202560 1135 0 0 0 11 11 0 0 17 0 2 0 947951907 332640256 8200 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/15716/statm: 81211 8200 397 364 0 16089 0
[pid=15718] ppid=15716 vsize=214328 CPUtime=47.52 cores=0,2,4,6
/proc/15718/stat : 15718 (pbct-0.1.2-linu) T 15716 15718 15718 0 -1 4202496 54913 0 0 0 4683 69 0 0 25 0 1 0 947951907 219471872 52406 33554432000 134512640 136422188 4287723984 18446744073709551615 135006956 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/15718/statm: 53582 52406 236 467 0 53113 0
[pid=15716/tid=15817] ppid=15662 vsize=324844 CPUtime=0 cores=0,2,4,6
/proc/15716/task/15817/stat : 15817 (python) S 15662 15662 14716 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947956661 332640256 8200 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554946 18446604449545593920 0 0 -1 6 0 0 0
[pid=15818] ppid=15662 vsize=335100 CPUtime=0 cores=0,2,4,6
/proc/15818/stat : 15818 (python) S 15662 15662 14716 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 1 0 947956664 343142400 8156 33554432000 4194304 5683644 140735682237264 18446744073709551615 215988612678 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/15818/statm: 83775 8156 350 364 0 18650 0
[pid=15820] ppid=15818 vsize=8554048 CPUtime=2.49 cores=0,2,4,6
/proc/15820/stat : 15820 (java) S 15818 15820 15820 0 -1 4202496 54008 0 1 0 243 6 0 0 21 0 19 0 947956664 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15820/statm: 2138512 46284 2239 9 0 2129253 0
[pid=15820/tid=15822] ppid=15818 vsize=8554048 CPUtime=1.08 cores=0,2,4,6
/proc/15820/task/15822/stat : 15822 (java) S 15818 15820 15820 0 -1 4202560 35296 0 1 0 104 4 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15823] ppid=15818 vsize=8554048 CPUtime=0.02 cores=0,2,4,6
/proc/15820/task/15823/stat : 15823 (java) S 15818 15820 15820 0 -1 4202560 637 0 0 0 2 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15825] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15825/stat : 15825 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=15820/tid=15826] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15826/stat : 15826 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=15820/tid=15827] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15827/stat : 15827 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15828] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15828/stat : 15828 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000409088 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=15820/tid=15830] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15830/stat : 15830 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=15820/tid=15831] ppid=15818 vsize=8554048 CPUtime=0.01 cores=0,2,4,6
/proc/15820/task/15831/stat : 15831 (java) S 15818 15820 15820 0 -1 4202560 381 0 0 0 1 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000409088 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=15820/tid=15833] ppid=15818 vsize=8554048 CPUtime=0.01 cores=0,2,4,6
/proc/15820/task/15833/stat : 15833 (java) S 15818 15820 15820 0 -1 4202560 424 0 0 0 1 0 0 0 18 0 19 0 947956665 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000409088 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=15820/tid=15834] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15834/stat : 15834 (java) S 15818 15820 15820 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 947956666 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 0 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15835] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15835/stat : 15835 (java) S 15818 15820 15820 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947956667 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15836] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15836/stat : 15836 (java) S 15818 15820 15820 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947956667 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15837] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15837/stat : 15837 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000416177 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15838] ppid=15818 vsize=8554048 CPUtime=0.69 cores=0,2,4,6
/proc/15820/task/15838/stat : 15838 (java) S 15818 15820 15820 0 -1 4202560 7186 0 0 0 68 1 0 0 16 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=15820/tid=15839] ppid=15818 vsize=8554048 CPUtime=0.65 cores=0,2,4,6
/proc/15820/task/15839/stat : 15839 (java) S 15818 15820 15820 0 -1 4202560 8683 0 0 0 65 0 0 0 25 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=15820/tid=15840] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15840/stat : 15840 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000408473 0 4 0 16800975 18446604450560624704 0 0 -1 4 0 0 0
[pid=15820/tid=15841] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15841/stat : 15841 (java) S 15818 15820 15820 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947956669 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000409088 0 4 0 16800975 18446604450560624704 0 0 -1 0 0 0 0
[pid=15820/tid=15842] ppid=15818 vsize=8554048 CPUtime=0 cores=0,2,4,6
/proc/15820/task/15842/stat : 15842 (java) S 15818 15820 15820 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947956723 8759345152 46284 33554432000 1073741824 1073778376 140734234739520 18446744073709551615 216000409088 0 4 0 16800975 18446604450560624704 0 0 -1 2 0 0 0
[pid=15662/tid=15669] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15669/stat : 15669 (python) S 15660 15662 14716 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 6 0 947928669 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 2 0 0 0
[pid=15662/tid=15693] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15693/stat : 15693 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947933165 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 4 0 0 0
[pid=15662/tid=15707] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15707/stat : 15707 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947942579 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 4 0 0 0
[pid=15662/tid=15717] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15717/stat : 15717 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947951907 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 6 0 0 0
[pid=15662/tid=15819] ppid=15660 vsize=344320 CPUtime=0 cores=0,2,4,6
/proc/15662/task/15819/stat : 15819 (python) S 15660 15662 14716 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 947956664 352583680 9688 33554432000 4194304 5683644 140735682237264 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451212870976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 286.49
Current children cumulated vsize (KiB) 19384440
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15662 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=91834
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=158975
# CPU time returned by wait4() is 1.25081
# while last known CPU time is 286.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.487
CPU time (s): 286.49
CPU user time (s): 284.35
CPU system time (s): 2.14
CPU usage (%): 101.417
Max. virtual memory (cumulated for all children) (KiB): 19384440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.09183
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18344
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= 2869
involuntary context switches= 21
runsolver used 1.88271 second user time and 3.77443 second system time
The end