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-3481509-1307577975/watcher-3481509-1307577975 -o /tmp/evaluation-result-3481509-1307577975/solver-3481509-1307577975 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481509-1307577975.opb -seed 1655559064 -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.02 2.09 1.71 2/806 20978
/proc/meminfo: memFree=17946020/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/20978/stat : 20978 (python) R 20976 20978 19061 0 -1 4202496 1052 0 0 0 0 0 0 0 23 0 1 0 869394288 16633856 923 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500691712 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20978/statm: 4061 923 381 364 0 548 0
[startup+0.073479 s]
/proc/loadavg: 2.02 2.09 1.71 2/806 20978
/proc/meminfo: memFree=17946020/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=54504 CPUtime=0.05 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 2058 0 0 0 4 1 0 0 17 0 1 0 869394288 55812096 1815 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/20978/statm: 13659 1829 492 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54504
[startup+0.102498 s]
/proc/loadavg: 2.02 2.09 1.71 2/806 20978
/proc/meminfo: memFree=17946020/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/20978/stat : 20978 (python) R 20976 20978 19061 0 -1 4202496 3168 930 1 0 5 1 0 0 18 0 1 0 869394288 98435072 2483 33554432000 4194304 5683644 140736513876016 18446744073709551615 5177488 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20978/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300444 s]
/proc/loadavg: 2.02 2.09 1.71 2/806 20978
/proc/meminfo: memFree=17946020/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=190668 CPUtime=0.21 cores=1,3,5,7
/proc/20978/stat : 20978 (python) R 20976 20978 19061 0 -1 4202496 6471 930 1 0 17 4 0 0 17 0 1 0 869394288 195244032 4766 33554432000 4194304 5683644 140736513876016 18446744073709551615 254495729553 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20978/statm: 47667 4766 1335 364 0 3677 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 190668
[startup+0.700349 s]
/proc/loadavg: 2.02 2.09 1.71 2/806 20978
/proc/meminfo: memFree=17946020/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=294844 CPUtime=0.57 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 11329 1353 1 0 45 8 3 1 20 0 2 0 869394288 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20978/statm: 73711 7551 1871 364 0 8598 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 294844
[startup+1.50121 s]
/proc/loadavg: 2.02 2.09 1.71 5/831 21009
/proc/meminfo: memFree=17673508/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=294844 CPUtime=0.57 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 11329 1353 1 0 45 8 3 1 20 0 2 0 869394288 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20978/statm: 73711 7551 1871 364 0 8598 0
[pid=21007] ppid=20978 vsize=284600 CPUtime=0 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 732 0 0 0 0 0 0 0 15 0 1 0 869394357 291430400 5995 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500711951 0 0 16781312 33554946 4260736496845193216 0 0 17 1 0 0 0
/proc/21007/statm: 71150 5995 319 364 0 6037 0
[pid=21009] ppid=21007 vsize=45376 CPUtime=0.79 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) R 21007 21009 21009 0 -1 4202496 9767 0 0 0 66 13 0 0 18 0 1 0 869394358 46465024 9046 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21009/statm: 11344 9046 757 2317 0 9022 0
[pid=20978/tid=21008] ppid=20976 vsize=294844 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 2 0 869394357 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 624820
[startup+3.10088 s]
/proc/loadavg: 2.34 2.15 1.74 2/803 21014
/proc/meminfo: memFree=17930784/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=294844 CPUtime=0.57 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 11329 1353 1 0 45 8 3 1 20 0 2 0 869394288 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20978/statm: 73711 7551 1871 364 0 8598 0
[pid=21007] ppid=20978 vsize=284600 CPUtime=0 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 1 0 869394357 291430400 5995 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500711951 0 0 16781312 33554946 2309495024200450048 0 0 17 7 0 0 0
/proc/21007/statm: 71150 5995 319 364 0 6037 0
[pid=21009] ppid=21007 vsize=72360 CPUtime=2.4 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) R 21007 21009 21009 0 -1 4202496 16494 0 0 0 217 23 0 0 18 0 1 0 869394358 74096640 15707 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21009/statm: 18090 15707 773 2317 0 15768 0
[pid=20978/tid=21008] ppid=20976 vsize=294844 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 2 0 869394357 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 651804
[startup+6.32124 s]
/proc/loadavg: 2.39 2.17 1.74 3/805 21046
/proc/meminfo: memFree=17877096/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=294844 CPUtime=0.57 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 11329 1353 1 0 45 8 3 1 20 0 2 0 869394288 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20978/statm: 73711 7551 1871 364 0 8598 0
[pid=21007] ppid=20978 vsize=284600 CPUtime=0.02 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 888 0 0 0 1 1 0 0 15 0 1 0 869394357 291430400 6019 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500711951 0 0 16781312 33554946 3466330850331721728 0 0 17 7 0 0 0
/proc/21007/statm: 71150 6019 343 364 0 6037 0
[pid=21009] ppid=21007 vsize=88052 CPUtime=5.62 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) R 21007 21009 21009 0 -1 4202496 20525 0 0 0 525 37 0 0 18 0 1 0 869394358 90165248 19696 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21009/statm: 22013 19696 787 2317 0 19691 0
[pid=20978/tid=21008] ppid=20976 vsize=294844 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 2 0 869394357 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 667496
[startup+12.701 s]
/proc/loadavg: 2.36 2.16 1.74 3/808 21049
/proc/meminfo: memFree=17766144/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=294844 CPUtime=0.57 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 11329 1353 1 0 45 8 3 1 20 0 2 0 869394288 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20978/statm: 73711 7551 1871 364 0 8598 0
[pid=21007] ppid=20978 vsize=284600 CPUtime=0.07 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 903 0 0 0 4 3 0 0 15 0 1 0 869394357 291430400 6019 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500711951 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/21007/statm: 71150 6019 343 364 0 6037 0
[pid=21009] ppid=21007 vsize=103688 CPUtime=11.99 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) R 21007 21009 21009 0 -1 4202496 24539 0 0 0 1147 52 0 0 25 0 1 0 869394358 106176512 23613 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21009/statm: 25922 23613 793 2317 0 23600 0
[pid=20978/tid=21008] ppid=20976 vsize=294844 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 2 0 869394357 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 683132
[startup+25.5004 s]
/proc/loadavg: 2.30 2.16 1.75 3/808 21049
/proc/meminfo: memFree=17732384/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=294844 CPUtime=0.57 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 11329 1353 1 0 45 8 3 1 20 0 2 0 869394288 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20978/statm: 73711 7551 1871 364 0 8598 0
[pid=21007] ppid=20978 vsize=284600 CPUtime=0.12 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 907 0 0 0 6 6 0 0 15 0 1 0 869394357 291430400 6019 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500711951 0 0 16781312 33554946 3024913864203436032 0 0 17 1 0 0 0
/proc/21007/statm: 71150 6019 343 364 0 6037 0
[pid=21009] ppid=21007 vsize=103688 CPUtime=24.8 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) R 21007 21009 21009 0 -1 4202496 25336 0 0 0 2365 115 0 0 18 0 1 0 869394358 106176512 23666 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21009/statm: 25922 23666 807 2317 0 23600 0
[pid=20978/tid=21008] ppid=20976 vsize=294844 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 2 0 869394357 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 683132
[startup+51.1003 s]
/proc/loadavg: 2.20 2.14 1.75 3/808 21050
/proc/meminfo: memFree=17689440/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=294844 CPUtime=0.57 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 11329 1353 1 0 45 8 3 1 20 0 2 0 869394288 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20978/statm: 73711 7551 1871 364 0 8598 0
[pid=21007] ppid=20978 vsize=284600 CPUtime=0.26 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 920 0 0 0 11 15 0 0 15 0 1 0 869394357 291430400 6019 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500711951 0 0 16781312 33554946 3939582138352926720 0 0 17 7 0 0 0
/proc/21007/statm: 71150 6019 343 364 0 6037 0
[pid=21009] ppid=21007 vsize=101636 CPUtime=50.4 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) R 21007 21009 21009 0 -1 4202496 29459 0 0 0 4794 246 0 0 25 0 1 0 869394358 104075264 23162 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21009/statm: 25409 23162 808 2317 0 23087 0
[pid=20978/tid=21008] ppid=20976 vsize=294844 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 2 0 869394357 301920256 7551 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 681080
[startup+102.301 s]
/proc/loadavg: 2.17 2.15 1.77 3/842 21086
/proc/meminfo: memFree=17300692/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=315860 CPUtime=0.63 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 13134 1353 1 0 50 9 3 1 20 0 4 0 869394288 323440640 7690 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20978/statm: 78965 7690 1876 364 0 13846 0
[pid=21007] ppid=20978 vsize=294844 CPUtime=0.28 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 1118 0 0 0 12 16 0 0 16 0 2 0 869394357 301920256 6087 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21007/statm: 73711 6087 406 364 0 8598 0
[pid=21009] ppid=21007 vsize=101636 CPUtime=52.09 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) T 21007 21009 21009 0 -1 4202496 29459 0 0 0 4956 253 0 0 25 0 1 0 869394358 104075264 23162 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/21009/statm: 25409 23162 808 2317 0 23087 0
[pid=21007/tid=21051] ppid=20978 vsize=294844 CPUtime=0 cores=1,3,5,7
/proc/21007/task/21051/stat : 21051 (python) S 20978 20978 19061 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869399568 301920256 6087 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466691168128 0 0 -1 7 0 0 0
[pid=21052] ppid=20978 vsize=295360 CPUtime=0.26 cores=1,3,5,7
/proc/21052/stat : 21052 (python) S 20978 20978 19061 0 -1 4202560 1183 0 0 0 12 14 0 0 17 0 2 0 869399570 302448640 6204 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21052/statm: 73840 6204 397 364 0 8724 0
[pid=21055] ppid=21052 vsize=8550572 CPUtime=49.99 cores=1,3,5,7
/proc/21055/stat : 21055 (java) T 21052 21055 21055 0 -1 4202496 48891 0 1 0 4991 8 0 0 15 0 19 0 869399571 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21055/statm: 2137643 45008 2260 9 0 2128384 0
[pid=21055/tid=21056] ppid=21052 vsize=8550572 CPUtime=46.85 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) T 21052 21055 21055 0 -1 4202560 22221 0 1 0 4682 3 0 0 25 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21055/tid=21057] ppid=21052 vsize=8550572 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21057/stat : 21057 (java) T 21052 21055 21055 0 -1 4202560 732 0 0 0 8 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21058] ppid=21052 vsize=8550572 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21058/stat : 21058 (java) T 21052 21055 21055 0 -1 4202560 891 0 0 0 8 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21059] ppid=21052 vsize=8550572 CPUtime=0.06 cores=1,3,5,7
/proc/21055/task/21059/stat : 21059 (java) T 21052 21055 21055 0 -1 4202560 831 0 0 0 6 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21055/tid=21060] ppid=21052 vsize=8550572 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21060/stat : 21060 (java) T 21052 21055 21055 0 -1 4202560 825 0 0 0 8 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=8550572 CPUtime=0.07 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) T 21052 21055 21055 0 -1 4202560 90 0 0 0 7 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=8550572 CPUtime=0.07 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) T 21052 21055 21055 0 -1 4202560 1062 0 0 0 7 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=21115/tid=21123] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21123/stat : 21123 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869409480 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21124] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21124/stat : 21124 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869409480 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21125] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21125/stat : 21125 (java) S 21113 21115 21115 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 869409481 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512508416 0 0 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21126] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21126/stat : 21126 (java) S 21113 21115 21115 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 869409482 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21127] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21127/stat : 21127 (java) S 21113 21115 21115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869409482 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21128] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21128/stat : 21128 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869409484 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512515505 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21129] ppid=21113 vsize=8547668 CPUtime=0.38 cores=1,3,5,7
/proc/21115/task/21129/stat : 21129 (java) S 21113 21115 21115 0 -1 4202560 4940 0 0 0 38 0 0 0 17 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 3 0 0 0
[pid=21115/tid=21130] ppid=21113 vsize=8547668 CPUtime=0.42 cores=1,3,5,7
/proc/21115/task/21130/stat : 21130 (java) S 21113 21115 21115 0 -1 4202560 6029 0 0 0 42 0 0 0 25 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21131] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21131/stat : 21131 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21132] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21132/stat : 21132 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512508416 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21133] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21133/stat : 21133 (java) S 21113 21115 21115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869409522 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512508416 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=20978/tid=21008] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 5 0 869394357 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
[pid=20978/tid=21054] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21054/stat : 21054 (python) S 20976 20978 19061 0 -1 4202560 31 1353 0 0 0 0 3 1 20 0 5 0 869399570 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
[pid=20978/tid=21085] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21085/stat : 21085 (python) S 20976 20978 19061 0 -1 4202560 29 1353 0 0 0 0 3 1 20 0 5 0 869404419 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
[pid=20978/tid=21114] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21114/stat : 21114 (python) S 20976 20978 19061 0 -1 4202560 30 1353 0 0 0 0 3 1 20 0 5 0 869409479 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 155.54
Current children cumulated vsize (KiB) 18818568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+152.501 s]
/proc/loadavg: 2.13 2.14 1.79 6/886 21133
/proc/meminfo: memFree=16615692/32950928 swapFree=26914392/67111528
[pid=20978] ppid=20976 vsize=326116 CPUtime=0.66 cores=1,3,5,7
/proc/20978/stat : 20978 (python) S 20976 20978 19061 0 -1 4202496 14109 1353 1 0 53 9 3 1 20 0 5 0 869394288 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/20978/statm: 81529 7696 1878 364 0 16407 0
[pid=21007] ppid=20978 vsize=294844 CPUtime=0.28 cores=1,3,5,7
/proc/21007/stat : 21007 (python) S 20978 20978 19061 0 -1 4202560 1118 0 0 0 12 16 0 0 16 0 2 0 869394357 301920256 6087 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21007/statm: 73711 6087 406 364 0 8598 0
[pid=21009] ppid=21007 vsize=101636 CPUtime=52.09 cores=1,3,5,7
/proc/21009/stat : 21009 (scip-2.0.1.linu) T 21007 21009 21009 0 -1 4202496 29459 0 0 0 4956 253 0 0 25 0 1 0 869394358 104075264 23162 33554432000 4194304 13684479 140734964684816 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/21009/statm: 25409 23162 808 2317 0 23087 0
[pid=21007/tid=21051] ppid=20978 vsize=294844 CPUtime=0 cores=1,3,5,7
/proc/21007/task/21051/stat : 21051 (python) S 20978 20978 19061 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869399568 301920256 6087 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466691168128 0 0 -1 7 0 0 0
[pid=21052] ppid=20978 vsize=295360 CPUtime=0.26 cores=1,3,5,7
/proc/21052/stat : 21052 (python) S 20978 20978 19061 0 -1 4202560 1183 0 0 0 12 14 0 0 17 0 2 0 869399570 302448640 6204 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21052/statm: 73840 6204 397 364 0 8724 0
[pid=21055] ppid=21052 vsize=8550572 CPUtime=49.99 cores=1,3,5,7
/proc/21055/stat : 21055 (java) T 21052 21055 21055 0 -1 4202496 48891 0 1 0 4991 8 0 0 15 0 19 0 869399571 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21055/statm: 2137643 45008 2260 9 0 2128384 0
[pid=21055/tid=21056] ppid=21052 vsize=8550572 CPUtime=46.85 cores=1,3,5,7
/proc/21055/task/21056/stat : 21056 (java) T 21052 21055 21055 0 -1 4202560 22221 0 1 0 4682 3 0 0 25 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21055/tid=21057] ppid=21052 vsize=8550572 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21057/stat : 21057 (java) T 21052 21055 21055 0 -1 4202560 732 0 0 0 8 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21058] ppid=21052 vsize=8550572 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21058/stat : 21058 (java) T 21052 21055 21055 0 -1 4202560 891 0 0 0 8 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21059] ppid=21052 vsize=8550572 CPUtime=0.06 cores=1,3,5,7
/proc/21055/task/21059/stat : 21059 (java) T 21052 21055 21055 0 -1 4202560 831 0 0 0 6 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21055/tid=21060] ppid=21052 vsize=8550572 CPUtime=0.08 cores=1,3,5,7
/proc/21055/task/21060/stat : 21060 (java) T 21052 21055 21055 0 -1 4202560 825 0 0 0 8 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21061] ppid=21052 vsize=8550572 CPUtime=0.07 cores=1,3,5,7
/proc/21055/task/21061/stat : 21061 (java) T 21052 21055 21055 0 -1 4202560 90 0 0 0 7 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=21055/tid=21062] ppid=21052 vsize=8550572 CPUtime=0.07 cores=1,3,5,7
/proc/21055/task/21062/stat : 21062 (java) T 21052 21055 21055 0 -1 4202560 1062 0 0 0 7 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21063] ppid=21052 vsize=8550572 CPUtime=0.09 cores=1,3,5,7
/proc/21055/task/21063/stat : 21063 (java) T 21052 21055 21055 0 -1 4202560 976 0 0 0 9 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21064] ppid=21052 vsize=8550572 CPUtime=0.09 cores=1,3,5,7
/proc/21055/task/21064/stat : 21064 (java) T 21052 21055 21055 0 -1 4202560 1926 0 0 0 9 0 0 0 15 0 19 0 869399572 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21055/tid=21065] ppid=21052 vsize=8550572 CPUtime=1.23 cores=1,3,5,7
/proc/21055/task/21065/stat : 21065 (java) T 21052 21055 21055 0 -1 4202560 7191 0 0 0 122 1 0 0 15 0 19 0 869399573 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 47181078883440 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=21055/tid=21066] ppid=21052 vsize=8550572 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21066/stat : 21066 (java) T 21052 21055 21055 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869399574 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21055/tid=21067] ppid=21052 vsize=8550572 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21067/stat : 21067 (java) T 21052 21055 21055 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869399574 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21055/tid=21068] ppid=21052 vsize=8550572 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21068/stat : 21068 (java) T 21052 21055 21055 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869399576 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21055/tid=21069] ppid=21052 vsize=8550572 CPUtime=0.66 cores=1,3,5,7
/proc/21055/task/21069/stat : 21069 (java) T 21052 21055 21055 0 -1 4202560 5546 0 0 0 66 0 0 0 15 0 19 0 869399576 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21070] ppid=21052 vsize=8550572 CPUtime=0.53 cores=1,3,5,7
/proc/21055/task/21070/stat : 21070 (java) T 21052 21055 21055 0 -1 4202560 5199 0 0 0 53 0 0 0 15 0 19 0 869399576 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21055/tid=21071] ppid=21052 vsize=8550572 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21071/stat : 21071 (java) T 21052 21055 21055 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869399576 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=21055/tid=21072] ppid=21052 vsize=8550572 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21072/stat : 21072 (java) T 21052 21055 21055 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869399576 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21055/tid=21073] ppid=21052 vsize=8550572 CPUtime=0 cores=1,3,5,7
/proc/21055/task/21073/stat : 21073 (java) T 21052 21055 21055 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869399613 8755785728 45008 33554432000 1073741824 1073778376 140735800051872 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=21052/tid=21083] ppid=20978 vsize=295360 CPUtime=0 cores=1,3,5,7
/proc/21052/task/21083/stat : 21083 (python) S 20978 20978 19061 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869404416 302448640 6204 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554946 18446604456459772992 0 0 -1 7 0 0 0
[pid=21084] ppid=20978 vsize=305616 CPUtime=0.27 cores=1,3,5,7
/proc/21084/stat : 21084 (python) S 20978 20978 19061 0 -1 4202560 1194 0 0 0 13 14 0 0 16 0 2 0 869404419 312950784 6208 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/21084/statm: 76404 6208 397 364 0 11285 0
[pid=21086] ppid=21084 vsize=80884 CPUtime=50.57 cores=1,3,5,7
/proc/21086/stat : 21086 (scip-2.0.1.linu) T 21084 21086 21086 0 -1 4202496 26239 0 0 0 4973 84 0 0 19 0 1 0 869404419 82825216 17286 33554432000 4194304 15243407 140733959980256 18446744073709551615 8113502 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/21086/statm: 20221 17286 926 2698 0 17516 0
[pid=21084/tid=21112] ppid=20978 vsize=305616 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21112/stat : 21112 (python) S 20978 20978 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869409476 312950784 6208 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554946 18446604471007435712 0 0 -1 7 0 0 0
[pid=21113] ppid=20978 vsize=315872 CPUtime=0 cores=1,3,5,7
/proc/21113/stat : 21113 (python) S 20978 20978 19061 0 -1 4202560 786 0 0 0 0 0 0 0 16 0 1 0 869409479 323452928 6134 33554432000 4194304 5683644 140736513876016 18446744073709551615 254500712006 0 0 16781312 33554946 4221436300546277376 0 0 17 3 0 0 0
/proc/21113/statm: 78968 6134 320 364 0 13846 0
[pid=21115] ppid=21113 vsize=8547668 CPUtime=1.42 cores=1,3,5,7
/proc/21115/stat : 21115 (java) S 21113 21115 21115 0 -1 4202496 19707 0 1 0 140 2 0 0 18 0 19 0 869409479 8752812032 15486 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21115/statm: 2136917 15486 2225 9 0 2127658 0
[pid=21115/tid=21116] ppid=21113 vsize=8547668 CPUtime=0.59 cores=1,3,5,7
/proc/21115/task/21116/stat : 21116 (java) R 21113 21115 21115 0 -1 4202560 7382 0 1 0 58 1 0 0 25 0 19 0 869409480 8752812032 15534 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 46912505548328 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21115/tid=21117] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21117/stat : 21117 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869409480 8752812032 15534 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21118] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21118/stat : 21118 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869409480 8752812032 15534 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21119] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21119/stat : 21119 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869409480 8752812032 15534 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21120] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21120/stat : 21120 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869409480 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21121] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21121/stat : 21121 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869409480 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21122] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21122/stat : 21122 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869409480 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21123] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21123/stat : 21123 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869409480 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21124] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21124/stat : 21124 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869409480 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21125] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21125/stat : 21125 (java) S 21113 21115 21115 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 869409481 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512508416 0 0 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21126] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21126/stat : 21126 (java) S 21113 21115 21115 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 869409482 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21127] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21127/stat : 21127 (java) S 21113 21115 21115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869409482 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21128] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21128/stat : 21128 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869409484 8752812032 15535 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512515505 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21129] ppid=21113 vsize=8547668 CPUtime=0.38 cores=1,3,5,7
/proc/21115/task/21129/stat : 21129 (java) S 21113 21115 21115 0 -1 4202560 4940 0 0 0 38 0 0 0 17 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 3 0 0 0
[pid=21115/tid=21130] ppid=21113 vsize=8547668 CPUtime=0.42 cores=1,3,5,7
/proc/21115/task/21130/stat : 21130 (java) S 21113 21115 21115 0 -1 4202560 6029 0 0 0 42 0 0 0 25 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21131] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21131/stat : 21131 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512507801 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=21115/tid=21132] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21132/stat : 21132 (java) S 21113 21115 21115 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869409484 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512508416 0 4 0 16800975 18446604462730312640 0 0 -1 1 0 0 0
[pid=21115/tid=21133] ppid=21113 vsize=8547668 CPUtime=0 cores=1,3,5,7
/proc/21115/task/21133/stat : 21133 (java) S 21113 21115 21115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869409522 8752812032 15536 33554432000 1073741824 1073778376 140734139416064 18446744073709551615 254512508416 0 4 0 16800975 18446604462730312640 0 0 -1 7 0 0 0
[pid=20978/tid=21008] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21008/stat : 21008 (python) S 20976 20978 19061 0 -1 4202560 28 1353 0 0 0 0 3 1 20 0 5 0 869394357 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
[pid=20978/tid=21054] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21054/stat : 21054 (python) S 20976 20978 19061 0 -1 4202560 31 1353 0 0 0 0 3 1 20 0 5 0 869399570 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 7 0 0 0
[pid=20978/tid=21085] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21085/stat : 21085 (python) S 20976 20978 19061 0 -1 4202560 29 1353 0 0 0 0 3 1 20 0 5 0 869404419 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 3 0 0 0
[pid=20978/tid=21114] ppid=20976 vsize=326116 CPUtime=0.04 cores=1,3,5,7
/proc/20978/task/21114/stat : 21114 (python) S 20976 20978 19061 0 -1 4202560 30 1353 0 0 0 0 3 1 20 0 5 0 869409479 333942784 7696 33554432000 4194304 5683644 140736513876016 18446744073709551615 254512515505 0 0 16781312 33554434 18446604460003124544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 155.54
Current children cumulated vsize (KiB) 18818568
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20978 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=564914
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=113982
# CPU time returned by wait4() is 0.678896
# while last known CPU time is 155.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 152.584
CPU time (s): 155.54
CPU user time (s): 151.53
CPU system time (s): 4.01
CPU usage (%): 101.937
Max. virtual memory (cumulated for all children) (KiB): 18818568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.564914
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15463
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= 3975
involuntary context switches= 27
runsolver used 0.969852 second user time and 2.12968 second system time
The end