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-3482893-1307578704/watcher-3482893-1307578704 -o /tmp/evaluation-result-3482893-1307578704/solver-3482893-1307578704 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482893-1307578704.opb -seed 744328838 -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.06 2.10 1.89 2/540 6646
/proc/meminfo: memFree=17304676/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/6646/stat : 6646 (python) S 6644 6646 5281 0 -1 4202496 821 0 0 0 0 0 0 0 25 0 1 0 869472907 15753216 705 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 1 0 0 0
/proc/6646/statm: 3846 705 334 364 0 333 0
[startup+0.107068 s]
/proc/loadavg: 2.06 2.10 1.89 2/540 6646
/proc/meminfo: memFree=17304676/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=89924 CPUtime=0.07 cores=1,3,5,7
/proc/6646/stat : 6646 (python) S 6644 6646 5281 0 -1 4202496 2714 0 1 0 5 2 0 0 25 0 1 0 869472907 92082176 2425 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/6646/statm: 22481 2425 750 364 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 89924
[startup+0.201028 s]
/proc/loadavg: 2.06 2.10 1.89 2/540 6646
/proc/meminfo: memFree=17304676/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=119988 CPUtime=0.12 cores=1,3,5,7
/proc/6646/stat : 6646 (python) S 6644 6646 5281 0 -1 4202496 4929 932 1 0 9 3 0 0 25 0 1 0 869472907 122867712 3352 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/6646/statm: 29997 3352 919 364 0 2446 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 119988
[startup+0.301013 s]
/proc/loadavg: 2.06 2.10 1.89 2/540 6646
/proc/meminfo: memFree=17304676/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 5358 932 1 0 12 4 0 0 25 0 1 0 869472907 126713856 3745 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473963525 0 2147483391 16781312 2 0 0 0 17 7 0 0 0
/proc/6646/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700941 s]
/proc/loadavg: 2.06 2.10 1.89 2/540 6646
/proc/meminfo: memFree=17304676/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=1456940 CPUtime=0.41 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 16472 932 1 0 29 12 0 0 25 0 1 0 869472907 1491906560 14334 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473967360 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/6646/statm: 364235 14334 1776 364 0 299128 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 1456940
[startup+1.50085 s]
/proc/loadavg: 2.06 2.10 1.89 3/541 6651
/proc/meminfo: memFree=16406976/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=1465488 CPUtime=1.22 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 304763 932 1 0 55 67 0 0 25 0 1 0 869472907 1500659712 302625 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473628357 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 366372 302625 1781 364 0 301265 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 1465488
[startup+3.10051 s]
/proc/loadavg: 2.06 2.10 1.89 3/541 6651
/proc/meminfo: memFree=16072052/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=1519548 CPUtime=2.82 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 318155 932 1 0 213 69 0 0 25 0 1 0 869472907 1556017152 316017 33554432000 4194304 5683644 140735077174656 18446744073709551615 4952164 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 379887 316017 1781 364 0 314780 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 1519548
[startup+6.30095 s]
/proc/loadavg: 2.05 2.09 1.89 3/541 6651
/proc/meminfo: memFree=15963056/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=1630408 CPUtime=6.01 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 345037 932 1 0 528 73 0 0 25 0 1 0 869472907 1669537792 342899 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473628357 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 407602 342899 1781 364 0 342495 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 1630408
[startup+12.7008 s]
/proc/loadavg: 2.05 2.09 1.89 3/541 6651
/proc/meminfo: memFree=15740780/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=1852284 CPUtime=12.42 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 398872 932 1 0 1160 82 0 0 25 0 1 0 869472907 1896738816 396734 33554432000 4194304 5683644 140735077174656 18446744073709551615 4602976 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 463071 396734 1781 364 0 397964 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 1852284
[startup+25.5006 s]
/proc/loadavg: 2.04 2.09 1.90 3/541 6651
/proc/meminfo: memFree=15299600/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=2289956 CPUtime=25.22 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 505953 932 1 0 2427 95 0 0 25 0 1 0 869472907 2344914944 503815 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473628357 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 572489 503815 1781 364 0 507382 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 2289956
[startup+51.1011 s]
/proc/loadavg: 2.02 2.08 1.90 3/541 6652
/proc/meminfo: memFree=14453024/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=3158320 CPUtime=50.82 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 719879 932 1 0 4957 125 0 0 25 0 1 0 869472907 3234119680 717741 33554432000 4194304 5683644 140735077174656 18446744073709551615 5007417 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 789580 717742 1781 364 0 724473 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 3158320
[startup+102.301 s]
/proc/loadavg: 2.11 2.09 1.91 3/544 6656
/proc/meminfo: memFree=12695724/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=4905696 CPUtime=102.02 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 1147968 932 1 0 10016 186 0 0 25 0 1 0 869472907 5023432704 1145830 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473628357 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 1226424 1145830 1781 364 0 1161317 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 4905696
[startup+162.301 s]
/proc/loadavg: 2.08 2.09 1.92 3/544 6658
/proc/meminfo: memFree=10036388/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=8017984 CPUtime=162.01 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 1830297 932 1 0 15928 273 0 0 25 0 1 0 869472907 8210415616 1828159 33554432000 4194304 5683644 140735077174656 18446744073709551615 47404498299589 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6646/statm: 2004496 1828160 1781 364 0 1939389 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 8017984
[startup+222.318 s]
/proc/loadavg: 2.25 2.13 1.94 3/545 6661
/proc/meminfo: memFree=10848936/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=6678668 CPUtime=222.03 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 2868155 932 1 0 21806 397 0 0 25 0 1 0 869472907 6838956032 1606014 33554432000 4194304 5683644 140735077174656 18446744073709551615 47404498363445 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/6646/statm: 1669667 1606014 1815 364 0 1604560 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 6678668
[startup+282.3 s]
/proc/loadavg: 2.09 2.10 1.94 3/545 6662
/proc/meminfo: memFree=10845576/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=6678668 CPUtime=282 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 2868155 932 1 0 27803 397 0 0 25 0 1 0 869472907 6838956032 1606014 33554432000 4194304 5683644 140735077174656 18446744073709551615 4532179 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/6646/statm: 1669667 1606014 1815 364 0 1604560 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 6678668
[startup+342.301 s]
/proc/loadavg: 2.03 2.08 1.94 3/545 6664
/proc/meminfo: memFree=10656796/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=6867208 CPUtime=342.01 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 2915291 932 1 0 33800 401 0 0 25 0 1 0 869472907 7032020992 1653150 33554432000 4194304 5683644 140735077174656 18446744073709551615 47404498430547 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/6646/statm: 1716802 1653150 1816 364 0 1651695 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 6867208
[startup+402.3 s]
/proc/loadavg: 2.10 2.09 1.95 3/545 6665
/proc/meminfo: memFree=10656992/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=6867208 CPUtime=402.01 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 2915291 932 1 0 39800 401 0 0 25 0 1 0 869472907 7032020992 1653150 33554432000 4194304 5683644 140735077174656 18446744073709551615 47404498430529 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/6646/statm: 1716802 1653150 1816 364 0 1651695 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 6867208
[startup+462.301 s]
/proc/loadavg: 2.08 2.09 1.95 3/545 6667
/proc/meminfo: memFree=10656848/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=6867208 CPUtime=462.01 cores=1,3,5,7
/proc/6646/stat : 6646 (python) R 6644 6646 5281 0 -1 4202496 2915291 932 1 0 45800 401 0 0 25 0 1 0 869472907 7032020992 1653150 33554432000 4194304 5683644 140735077174656 18446744073709551615 4531960 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/6646/statm: 1716802 1653150 1816 364 0 1651695 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 6867208
[startup+522.301 s]
/proc/loadavg: 2.03 2.07 1.95 3/548 6672
/proc/meminfo: memFree=10556416/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=5057376 CPUtime=487.99 cores=1,3,5,7
/proc/6646/stat : 6646 (python) S 6644 6646 5281 0 -1 4202496 2915727 932 1 0 48381 418 0 0 20 0 2 0 869472907 5178753024 1198177 33554432000 4194304 5683644 140735077174656 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/6646/statm: 1264344 1198177 1848 364 0 1199231 0
[pid=6669] ppid=6646 vsize=5048220 CPUtime=0.2 cores=1,3,5,7
/proc/6669/stat : 6669 (python) S 6646 6646 5281 0 -1 4202560 920 0 0 0 6 14 0 0 18 0 1 0 869521728 5169377280 1196703 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473987599 0 0 16781312 33554946 5623753486446373661 0 0 17 7 0 0 0
/proc/6669/statm: 1262055 1196703 377 364 0 1196942 0
[pid=6671] ppid=6669 vsize=1981040 CPUtime=33.94 cores=1,3,5,7
/proc/6671/stat : 6671 (clasp-1.3.7-x86) R 6669 6671 6671 0 -1 4202496 599067 0 0 0 3278 116 0 0 25 0 1 0 869521735 2028584960 477252 33554432000 134512640 136139019 4288741888 18446744073709551615 134815936 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/6671/statm: 495260 477252 172 398 0 494860 0
[pid=6646/tid=6670] ppid=6644 vsize=5057376 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6670/stat : 6670 (python) S 6644 6646 5281 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 2 0 869521735 5178753024 1198177 33554432000 4194304 5683644 140735077174656 18446744073709551615 274485791153 0 0 16781312 33554434 18446604470978844864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 12086636
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+536.801 s]
/proc/loadavg: 2.02 2.07 1.95 4/552 6676
/proc/meminfo: memFree=10496656/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=5068200 CPUtime=488.07 cores=1,3,5,7
/proc/6646/stat : 6646 (python) S 6644 6646 5281 0 -1 4202496 2916626 932 1 0 48382 425 0 0 19 0 3 0 869472907 5189836800 1198310 33554432000 4194304 5683644 140735077174656 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6646/statm: 1267050 1198310 1851 364 0 1201934 0
[pid=6669] ppid=6646 vsize=5058464 CPUtime=0.26 cores=1,3,5,7
/proc/6669/stat : 6669 (python) S 6646 6646 5281 0 -1 4202560 1153 0 0 0 9 17 0 0 19 0 2 0 869521728 5179867136 1196743 33554432000 4194304 5683644 140735077174656 18446744073709551615 274485794251 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6669/statm: 1264616 1196743 412 364 0 1199503 0
[pid=6671] ppid=6669 vsize=2008560 CPUtime=48.24 cores=1,3,5,7
/proc/6671/stat : 6671 (clasp-1.3.7-x86) T 6669 6671 6671 0 -1 4202496 687686 0 0 0 4696 128 0 0 25 0 1 0 869521735 2056765440 487329 33554432000 134512640 136139019 4288741888 18446744073709551615 134640605 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/6671/statm: 502140 487329 182 398 0 501740 0
[pid=6669/tid=6673] ppid=6646 vsize=5058464 CPUtime=0 cores=1,3,5,7
/proc/6669/task/6673/stat : 6673 (python) S 6646 6646 5281 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869526567 5179867136 1196743 33554432000 4194304 5683644 140735077174656 18446744073709551615 274485791153 0 0 16781312 33554946 18446604470243936192 0 0 -1 3 0 0 0
[pid=6674] ppid=6646 vsize=5058352 CPUtime=0.07 cores=1,3,5,7
/proc/6674/stat : 6674 (python) S 6646 6646 5281 0 -1 4202560 823 0 0 0 0 7 0 0 20 0 1 0 869526568 5179752448 1196813 33554432000 4194304 5683644 140735077174656 18446744073709551615 274473987654 0 0 16781312 33554946 4474288404015579398 0 0 17 3 0 0 0
/proc/6674/statm: 1264588 1196813 357 364 0 1199472 0
[pid=6676] ppid=6674 vsize=18456 CPUtime=0.07 cores=1,3,5,7
/proc/6676/stat : 6676 (scip-2.0.1.linu) R 6674 6676 6676 0 -1 4202496 2651 0 0 0 2 5 0 0 21 0 1 0 869526575 18898944 2377 33554432000 4194304 13684479 140733823491328 18446744073709551615 6733904 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6676/statm: 4614 2377 510 2317 0 2292 0
[pid=6646/tid=6670] ppid=6644 vsize=5068200 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6670/stat : 6670 (python) S 6644 6646 5281 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 3 0 869521735 5189836800 1198310 33554432000 4194304 5683644 140735077174656 18446744073709551615 274485791153 0 0 16781312 33554434 18446604470978844864 0 0 -1 7 0 0 0
[pid=6646/tid=6675] ppid=6644 vsize=5068200 CPUtime=0 cores=1,3,5,7
/proc/6646/task/6675/stat : 6675 (python) S 6644 6646 5281 0 -1 4202560 107 932 0 0 0 0 0 0 21 0 3 0 869526575 5189836800 1198310 33554432000 4194304 5683644 140735077174656 18446744073709551615 274485791153 0 0 16781312 33554434 18446604470978844864 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 536.71
Current children cumulated vsize (KiB) 17212032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+536.952 s]
/proc/loadavg: 2.02 2.07 1.95 4/552 6676
/proc/meminfo: memFree=10496656/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=0 CPUtime=488.17 cores=1,3,5,7
/proc/6646/stat : 6646 (python) Z 6644 6646 5281 0 -1 4203548 2916988 932 1 0 48383 434 0 0 18 0 2 0 869472907 0 0 33554432000 0 0 0 0 0 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6646/statm: 0 0 0 0 0 0 0
[pid=6669] ppid=6646 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/6669/stat : 6669 (python) Z 6646 6646 5281 0 -1 4203612 1153 0 0 0 9 24 0 0 18 0 1 0 869521728 0 0 33554432000 0 0 0 0 0 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6669/statm: 0 0 0 0 0 0 0
[pid=6671] ppid=1 vsize=2008560 CPUtime=48.24 cores=1,3,5,7
/proc/6671/stat : 6671 (clasp-1.3.7-x86) T 1 6671 6671 0 -1 4202496 687686 0 0 0 4696 128 0 0 25 0 1 0 869521735 2056765440 487329 33554432000 134512640 136139019 4288741888 18446744073709551615 134640605 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/6671/statm: 502140 487329 182 398 0 501740 0
[pid=6674] ppid=6646 vsize=0 CPUtime=0.2 cores=1,3,5,7
/proc/6674/stat : 6674 (python) Z 6646 6646 5281 0 -1 4202588 1119 2864 0 0 0 12 3 5 20 0 1 0 869526568 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6674/statm: 0 0 0 0 0 0 0
[pid=6646/tid=6675] ppid=6644 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/6646/task/6675/stat : 6675 (python) R 6644 6646 5281 0 -1 4203588 107 932 0 0 0 9 0 0 19 0 2 0 869526575 0 0 33554432000 0 0 0 0 0 0 0 16781312 33554434 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 536.94
Current children cumulated vsize (KiB) 2008560
[startup+537.001 s]
/proc/loadavg: 2.02 2.07 1.95 4/552 6676
/proc/meminfo: memFree=10496656/32950928 swapFree=61858080/67111528
[pid=6646] ppid=6644 vsize=0 CPUtime=488.22 cores=1,3,5,7
/proc/6646/stat : 6646 (python) Z 6644 6646 5281 0 -1 4203548 2916988 932 1 0 48383 439 0 0 18 0 2 0 869472907 0 0 33554432000 0 0 0 0 0 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/6646/statm: 0 0 0 0 0 0 0
[pid=6669] ppid=6646 vsize=0 CPUtime=0.33 cores=1,3,5,7
/proc/6669/stat : 6669 (python) Z 6646 6646 5281 0 -1 4203612 1153 0 0 0 9 24 0 0 18 0 1 0 869521728 0 0 33554432000 0 0 0 0 0 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6669/statm: 0 0 0 0 0 0 0
[pid=6671] ppid=1 vsize=2008560 CPUtime=48.24 cores=1,3,5,7
/proc/6671/stat : 6671 (clasp-1.3.7-x86) T 1 6671 6671 0 -1 4202496 687686 0 0 0 4696 128 0 0 25 0 1 0 869521735 2056765440 487329 33554432000 134512640 136139019 4288741888 18446744073709551615 134640605 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/6671/statm: 502140 487329 182 398 0 501740 0
[pid=6674] ppid=6646 vsize=0 CPUtime=0.2 cores=1,3,5,7
/proc/6674/stat : 6674 (python) Z 6646 6646 5281 0 -1 4202588 1119 2864 0 0 0 12 3 5 20 0 1 0 869526568 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/6674/statm: 0 0 0 0 0 0 0
[pid=6646/tid=6675] ppid=6644 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/6646/task/6675/stat : 6675 (python) R 6644 6646 5281 0 -1 4203588 107 932 0 0 0 14 0 0 19 0 2 0 869526575 0 0 33554432000 0 0 0 0 0 0 0 16781312 33554434 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 536.99
Current children cumulated vsize (KiB) 2008560
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6646 and gives
# childrusage.ru_utime.tv_sec=483
# childrusage.ru_utime.tv_usec=838445
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=421327
# CPU time returned by wait4() is 488.26
# while last known CPU time is 536.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 537.021
CPU time (s): 536.99
CPU user time (s): 530.91
CPU system time (s): 6.08
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 17212032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.838
system time used= 4.42133
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2917920
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= 2871
involuntary context switches= 709
runsolver used 2.47962 second user time and 5.98709 second system time
The end