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-3482344-1307576549/watcher-3482344-1307576549 -o /tmp/evaluation-result-3482344-1307576549/solver-3482344-1307576549 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482344-1307576549.opb -seed 271738601 -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.00 0.68 0.24 2/501 16109
/proc/meminfo: memFree=30950432/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/16109/stat : 16109 (python) R 16107 16109 15018 0 -1 4202496 987 0 0 0 0 0 0 0 17 0 1 0 869255911 16629760 859 33554432000 4194304 5683644 140734801942816 18446744073709551615 4339056 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16109/statm: 4060 860 363 364 0 547 0
[startup+0.0494221 s]
/proc/loadavg: 2.00 0.68 0.24 2/501 16109
/proc/meminfo: memFree=30950432/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=29788 CPUtime=0.03 cores=0,2,4,6
/proc/16109/stat : 16109 (python) R 16107 16109 15018 0 -1 4202496 1448 0 0 0 3 0 0 0 17 0 1 0 869255911 30502912 1289 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613106533 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16109/statm: 7447 1289 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.100414 s]
/proc/loadavg: 2.00 0.68 0.24 2/501 16109
/proc/meminfo: memFree=30950432/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/16109/stat : 16109 (python) R 16107 16109 15018 0 -1 4202496 3170 930 1 0 5 1 0 0 18 0 1 0 869255911 98430976 2483 33554432000 4194304 5683644 140734801942816 18446744073709551615 5170305 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16109/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300362 s]
/proc/loadavg: 2.00 0.68 0.24 2/501 16109
/proc/meminfo: memFree=30950432/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=184248 CPUtime=0.22 cores=0,2,4,6
/proc/16109/stat : 16109 (python) R 16107 16109 15018 0 -1 4202496 6335 930 1 0 16 6 0 0 17 0 1 0 869255911 188669952 4638 33554432000 4194304 5683644 140734801942816 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16109/statm: 46150 4640 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184248
[startup+0.700254 s]
/proc/loadavg: 2.00 0.68 0.24 2/501 16109
/proc/meminfo: memFree=30950432/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=293720 CPUtime=0.49 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 10811 1333 1 0 39 9 1 0 20 0 2 0 869255911 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 73430 7276 1863 364 0 8317 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 293720
[startup+1.50118 s]
/proc/loadavg: 2.00 0.68 0.24 3/505 16118
/proc/meminfo: memFree=30923300/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=293720 CPUtime=0.49 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 10811 1333 1 0 39 9 1 0 20 0 2 0 869255911 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 73430 7276 1863 364 0 8317 0
[pid=16116] ppid=16109 vsize=283476 CPUtime=0 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 665 0 0 0 0 0 0 0 19 0 1 0 869255971 290279424 5725 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130767 0 0 16781312 33554946 12545882428356395265 0 0 17 4 0 0 0
/proc/16116/statm: 70869 5725 316 364 0 5756 0
[pid=16118] ppid=16116 vsize=3048 CPUtime=0.89 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) R 16116 16118 16118 0 -1 4202496 761 0 0 0 89 0 0 0 23 0 1 0 869255971 3121152 496 33554432000 134512640 136139019 4289316416 18446744073709551615 134865663 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16118/statm: 762 496 183 398 0 362 0
[pid=16109/tid=16117] ppid=16107 vsize=293720 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (python) S 16107 16109 15018 0 -1 4202560 25 1333 0 0 0 0 1 0 20 0 2 0 869255971 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 580244
[startup+3.10086 s]
/proc/loadavg: 2.00 0.70 0.25 3/505 16118
/proc/meminfo: memFree=30922488/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=293720 CPUtime=0.49 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 10811 1333 1 0 39 9 1 0 20 0 2 0 869255911 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 73430 7276 1863 364 0 8317 0
[pid=16116] ppid=16109 vsize=283476 CPUtime=0 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 688 0 0 0 0 0 0 0 18 0 1 0 869255971 290279424 5728 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130767 0 0 16781312 33554946 4608981945672499457 0 0 17 4 0 0 0
/proc/16116/statm: 70869 5728 319 364 0 5756 0
[pid=16118] ppid=16116 vsize=3312 CPUtime=2.49 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) R 16116 16118 16118 0 -1 4202496 847 0 0 0 249 0 0 0 25 0 1 0 869255971 3391488 582 33554432000 134512640 136139019 4289316416 18446744073709551615 134832207 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16118/statm: 828 582 183 398 0 428 0
[pid=16109/tid=16117] ppid=16107 vsize=293720 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (python) S 16107 16109 15018 0 -1 4202560 25 1333 0 0 0 0 1 0 20 0 2 0 869255971 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 580508
[startup+6.30033 s]
/proc/loadavg: 2.00 0.70 0.25 3/505 16118
/proc/meminfo: memFree=30923052/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=293720 CPUtime=0.49 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 10811 1333 1 0 39 9 1 0 20 0 2 0 869255911 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 73430 7276 1863 364 0 8317 0
[pid=16116] ppid=16109 vsize=283476 CPUtime=0.01 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 843 0 0 0 0 1 0 0 18 0 1 0 869255971 290279424 5751 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130767 0 0 16781312 33554946 4608977410187034881 0 0 17 6 0 0 0
/proc/16116/statm: 70869 5751 342 364 0 5756 0
[pid=16118] ppid=16116 vsize=3684 CPUtime=5.69 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) R 16116 16118 16118 0 -1 4202496 928 0 0 0 569 0 0 0 25 0 1 0 869255971 3772416 663 33554432000 134512640 136139019 4289316416 18446744073709551615 134831187 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16118/statm: 921 663 183 398 0 521 0
[pid=16109/tid=16117] ppid=16107 vsize=293720 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (python) S 16107 16109 15018 0 -1 4202560 25 1333 0 0 0 0 1 0 20 0 2 0 869255971 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 580880
[startup+12.7012 s]
/proc/loadavg: 2.00 0.75 0.27 3/505 16118
/proc/meminfo: memFree=30921868/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=293720 CPUtime=0.49 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 10811 1333 1 0 39 9 1 0 20 0 2 0 869255911 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 73430 7276 1863 364 0 8317 0
[pid=16116] ppid=16109 vsize=283476 CPUtime=0.03 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 848 0 0 0 1 2 0 0 18 0 1 0 869255971 290279424 5752 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130767 0 0 16781312 33554946 72556772316949313 0 0 17 6 0 0 0
/proc/16116/statm: 70869 5752 343 364 0 5756 0
[pid=16118] ppid=16116 vsize=3948 CPUtime=12.09 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) R 16116 16118 16118 0 -1 4202496 989 0 0 0 1209 0 0 0 25 0 1 0 869255971 4042752 724 33554432000 134512640 136139019 4289316416 18446744073709551615 134871079 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/16118/statm: 987 724 183 398 0 587 0
[pid=16109/tid=16117] ppid=16107 vsize=293720 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (python) S 16107 16109 15018 0 -1 4202560 25 1333 0 0 0 0 1 0 20 0 2 0 869255971 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 581144
[startup+25.5009 s]
/proc/loadavg: 2.08 0.80 0.29 3/505 16119
/proc/meminfo: memFree=30923008/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=293720 CPUtime=0.49 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 10811 1333 1 0 39 9 1 0 20 0 2 0 869255911 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 73430 7276 1863 364 0 8317 0
[pid=16116] ppid=16109 vsize=283476 CPUtime=0.09 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 855 0 0 0 4 5 0 0 18 0 1 0 869255971 290279424 5752 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130767 0 0 16781312 33554946 72262103200705345 0 0 17 2 0 0 0
/proc/16116/statm: 70869 5752 343 364 0 5756 0
[pid=16118] ppid=16116 vsize=4536 CPUtime=24.89 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) R 16116 16118 16118 0 -1 4202496 1148 0 0 0 2489 0 0 0 25 0 1 0 869255971 4644864 883 33554432000 134512640 136139019 4289316416 18446744073709551615 134598499 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/16118/statm: 1134 883 183 398 0 734 0
[pid=16109/tid=16117] ppid=16107 vsize=293720 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (python) S 16107 16109 15018 0 -1 4202560 25 1333 0 0 0 0 1 0 20 0 2 0 869255971 300769280 7276 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 581732
[startup+51.1184 s]
/proc/loadavg: 2.27 0.95 0.35 3/513 16127
/proc/meminfo: memFree=30853296/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=304480 CPUtime=0.52 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 11706 1333 1 0 41 10 1 0 19 0 3 0 869255911 311787520 7403 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16109/statm: 76120 7403 1874 364 0 11004 0
[pid=16116] ppid=16109 vsize=293720 CPUtime=0.19 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 1132 0 0 0 10 9 0 0 19 0 2 0 869255971 300769280 5825 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/16116/statm: 73430 5825 411 364 0 8317 0
[pid=16118] ppid=16116 vsize=5276 CPUtime=48.15 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) T 16116 16118 16118 0 -1 4202496 1339 0 0 0 4815 0 0 0 25 0 1 0 869255971 5402624 1074 33554432000 134512640 136139019 4289316416 18446744073709551615 134598356 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/16118/statm: 1319 1074 183 398 0 919 0
[pid=16116/tid=16124] ppid=16109 vsize=293720 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (python) S 16109 16109 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869260790 300769280 5825 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441452597696 0 0 -1 2 0 0 0
[pid=16125] ppid=16109 vsize=294236 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16109 16109 15018 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869260792 301297664 5845 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130822 0 0 16781312 33554946 2117482330774831104 0 0 17 2 0 0 0
/proc/16125/statm: 73559 5845 320 364 0 8443 0
[pid=16127] ppid=16125 vsize=33836 CPUtime=2.28 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.linu) R 16125 16127 16127 0 -1 4202496 6982 0 0 0 219 9 0 0 20 0 1 0 869260793 34648064 6260 33554432000 4194304 13684479 140734698199392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/16127/statm: 8459 6260 764 2317 0 6137 0
[pid=16109/tid=16117] ppid=16107 vsize=304480 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (python) S 16107 16109 15018 0 -1 4202560 25 1333 0 0 0 0 1 0 20 0 3 0 869255971 311787520 7403 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=304480 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (python) S 16107 16109 15018 0 -1 4202560 29 1333 0 0 0 0 1 0 20 0 3 0 869260793 311787520 7403 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 931548
[startup+102.301 s]
/proc/loadavg: 2.34 1.17 0.46 3/521 16137
/proc/meminfo: memFree=30741824/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=314736 CPUtime=0.54 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 12588 1333 1 0 43 10 1 0 20 0 4 0 869255911 322289664 7409 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 78684 7409 1876 364 0 13565 0
[pid=16116] ppid=16109 vsize=293720 CPUtime=0.19 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 1132 0 0 0 10 9 0 0 19 0 2 0 869255971 300769280 5825 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/16116/statm: 73430 5825 411 364 0 8317 0
[pid=16118] ppid=16116 vsize=5276 CPUtime=48.15 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) T 16116 16118 16118 0 -1 4202496 1339 0 0 0 4815 0 0 0 25 0 1 0 869255971 5402624 1074 33554432000 134512640 136139019 4289316416 18446744073709551615 134598356 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/16118/statm: 1319 1074 183 398 0 919 0
[pid=16116/tid=16124] ppid=16109 vsize=293720 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (python) S 16109 16109 15018 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869260790 300769280 5825 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441452597696 0 0 -1 2 0 0 0
[pid=16125] ppid=16109 vsize=294236 CPUtime=0.2 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16109 16109 15018 0 -1 4202560 1129 0 0 0 10 10 0 0 16 0 2 0 869260792 301297664 5917 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16125/statm: 73559 5917 391 364 0 8443 0
[pid=16127] ppid=16125 vsize=77960 CPUtime=46.21 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.linu) T 16125 16127 16127 0 -1 4202496 21661 0 0 0 4580 41 0 0 25 0 1 0 869260793 79831040 17074 33554432000 4194304 13684479 140734698199392 18446744073709551615 7354554 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/16127/statm: 19490 17074 846 2317 0 17168 0
[pid=16125/tid=16134] ppid=16109 vsize=294236 CPUtime=0 cores=0,2,4,6
/proc/16125/task/16134/stat : 16134 (python) S 16109 16109 15018 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869265415 301297664 5917 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604446965776832 0 0 -1 6 0 0 0
[pid=16135] ppid=16109 vsize=304492 CPUtime=0.01 cores=0,2,4,6
/proc/16135/stat : 16135 (python) S 16109 16109 15018 0 -1 4202560 898 0 0 0 0 1 0 0 15 0 1 0 869265417 311799808 5873 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130822 0 0 16781312 33554946 445344025050873856 0 0 17 2 0 0 0
################
# More data... #
################
[pid=16109/tid=16238] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16238/stat : 16238 (python) S 16107 16109 15018 0 -1 4202560 30 1333 0 0 0 0 1 0 20 0 11 0 869362932 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 4 0 0 0
[pid=16109/tid=16271] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16271/stat : 16271 (python) S 16107 16109 15018 0 -1 4202560 27 1333 0 0 0 0 1 0 20 0 11 0 869422936 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
[pid=16109/tid=16276] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16276/stat : 16276 (python) S 16107 16109 15018 0 -1 4202560 26 1333 0 0 0 0 1 0 20 0 11 0 869427776 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13030424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.4 s]
/proc/loadavg: 2.11 2.07 1.78 3/586 16322
/proc/meminfo: memFree=28059864/32951124 swapFree=53876552/67111528
[pid=16109] ppid=16107 vsize=386932 CPUtime=0.96 cores=0,2,4,6
/proc/16109/stat : 16109 (python) S 16107 16109 15018 0 -1 4202496 19241 1333 1 0 84 11 1 0 20 0 11 0 869255911 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/16109/statm: 96733 7552 1890 364 0 31593 0
[pid=16116] ppid=16109 vsize=293720 CPUtime=0.97 cores=0,2,4,6
/proc/16116/stat : 16116 (python) S 16109 16109 15018 0 -1 4202560 1200 0 0 0 50 47 0 0 18 0 2 0 869255971 300769280 5826 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16116/statm: 73430 5826 412 364 0 8317 0
[pid=16118] ppid=16116 vsize=6612 CPUtime=230.92 cores=0,2,4,6
/proc/16118/stat : 16118 (clasp-1.3.7-x86) T 16116 16118 16118 0 -1 4202496 1669 0 0 0 23092 0 0 0 25 0 1 0 869255971 6770688 1404 33554432000 134512640 136139019 4289316416 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/16118/statm: 1653 1404 183 398 0 1253 0
[pid=16116/tid=16124] ppid=16109 vsize=293720 CPUtime=0 cores=0,2,4,6
/proc/16116/task/16124/stat : 16124 (python) S 16109 16109 15018 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869260790 300769280 5826 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441452597696 0 0 -1 2 0 0 0
[pid=16125] ppid=16109 vsize=294236 CPUtime=4.81 cores=0,2,4,6
/proc/16125/stat : 16125 (python) S 16109 16109 15018 0 -1 4202560 1230 0 0 0 247 234 0 0 16 0 2 0 869260792 301297664 5917 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/16125/statm: 73559 5917 391 364 0 8443 0
[pid=16127] ppid=16125 vsize=77960 CPUtime=1061.16 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.linu) T 16125 16127 16127 0 -1 4202496 21859 0 0 0 105311 805 0 0 25 0 1 0 869260793 79831040 17272 33554432000 4194304 13684479 140734698199392 18446744073709551615 7453227 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/16127/statm: 19490 17272 1026 2317 0 17168 0
[pid=16125/tid=16134] ppid=16109 vsize=294236 CPUtime=0 cores=0,2,4,6
/proc/16125/task/16134/stat : 16134 (python) S 16109 16109 15018 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 869265415 301297664 5917 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604446965776832 0 0 -1 4 0 0 0
[pid=16135] ppid=16109 vsize=304492 CPUtime=0.41 cores=0,2,4,6
/proc/16135/stat : 16135 (python) S 16109 16109 15018 0 -1 4202560 1132 0 0 0 20 21 0 0 15 0 2 0 869265417 311799808 5921 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16135/statm: 76123 5921 391 364 0 11004 0
[pid=16137] ppid=16135 vsize=54860 CPUtime=91.84 cores=0,2,4,6
/proc/16137/stat : 16137 (scip-2.0.1.linu) T 16135 16137 16137 0 -1 4202496 29188 0 0 0 9157 27 0 0 25 0 1 0 869265417 56176640 11256 33554432000 4194304 15243407 140736164546544 18446744073709551615 7426884 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/16137/statm: 13715 11256 967 2698 0 11010 0
[pid=16135/tid=16140] ppid=16109 vsize=304492 CPUtime=0 cores=0,2,4,6
/proc/16135/task/16140/stat : 16140 (python) S 16109 16109 15018 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869270171 311799808 5921 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604447981490240 0 0 -1 6 0 0 0
[pid=16145] ppid=16109 vsize=314980 CPUtime=0.2 cores=0,2,4,6
/proc/16145/stat : 16145 (python) S 16109 16109 15018 0 -1 4202560 1115 0 0 0 11 9 0 0 16 0 2 0 869274795 322539520 5983 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16145/statm: 78745 5983 391 364 0 13623 0
[pid=16147] ppid=16145 vsize=52884 CPUtime=48.21 cores=0,2,4,6
/proc/16147/stat : 16147 (pbct-0.1.2-linu) T 16145 16147 16147 0 -1 4202496 13235 0 0 0 4673 148 0 0 25 0 1 0 869274795 54153216 12461 33554432000 134512640 136422188 4290736592 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/16147/statm: 13221 12461 213 467 0 12752 0
[pid=16145/tid=16149] ppid=16109 vsize=314980 CPUtime=0 cores=0,2,4,6
/proc/16145/task/16149/stat : 16149 (python) S 16109 16109 15018 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869279617 322539520 5983 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441452600384 0 0 -1 6 0 0 0
[pid=16156] ppid=16109 vsize=325236 CPUtime=0.21 cores=0,2,4,6
/proc/16156/stat : 16156 (python) S 16109 16109 15018 0 -1 4202560 1157 0 0 0 11 10 0 0 16 0 2 0 869284054 333041664 5990 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16156/statm: 81309 5990 391 364 0 16184 0
[pid=16158] ppid=16156 vsize=8541720 CPUtime=49.05 cores=0,2,4,6
/proc/16158/stat : 16158 (java) T 16156 16158 16158 0 -1 4202496 236071 0 1 0 4874 31 0 0 18 0 19 0 869284054 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/16158/statm: 2135430 173513 2248 9 0 2126171 0
[pid=16158/tid=16159] ppid=16156 vsize=8541720 CPUtime=47.17 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) T 16156 16158 16158 0 -1 4202560 190741 0 1 0 4694 23 0 0 25 0 19 0 869284055 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 46912505745893 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 8
[pid=16158/tid=16160] ppid=16156 vsize=8541720 CPUtime=0.06 cores=0,2,4,6
/proc/16158/task/16160/stat : 16160 (java) T 16156 16158 16158 0 -1 4202560 4002 0 0 0 6 0 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=8541720 CPUtime=0.06 cores=0,2,4,6
/proc/16158/task/16161/stat : 16161 (java) T 16156 16158 16158 0 -1 4202560 6066 0 0 0 6 0 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=8541720 CPUtime=0.06 cores=0,2,4,6
/proc/16158/task/16162/stat : 16162 (java) T 16156 16158 16158 0 -1 4202560 5522 0 0 0 6 0 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=8541720 CPUtime=0.05 cores=0,2,4,6
/proc/16158/task/16163/stat : 16163 (java) T 16156 16158 16158 0 -1 4202560 2506 0 0 0 5 0 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=8541720 CPUtime=0.09 cores=0,2,4,6
/proc/16158/task/16164/stat : 16164 (java) T 16156 16158 16158 0 -1 4202560 6082 0 0 0 8 1 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=8541720 CPUtime=0.04 cores=0,2,4,6
/proc/16158/task/16165/stat : 16165 (java) T 16156 16158 16158 0 -1 4202560 1236 0 0 0 4 0 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=8541720 CPUtime=0.06 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) T 16156 16158 16158 0 -1 4202560 5480 0 0 0 6 0 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=8541720 CPUtime=0.05 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) T 16156 16158 16158 0 -1 4202560 4620 0 0 0 5 0 0 0 15 0 19 0 869284056 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=8541720 CPUtime=0.01 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) T 16156 16158 16158 0 -1 4202560 358 0 0 0 0 1 0 0 15 0 19 0 869284057 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624927232 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=8541720 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) T 16156 16158 16158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869284057 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=8541720 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) T 16156 16158 16158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869284057 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=8541720 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) T 16156 16158 16158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869284059 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624934321 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=8541720 CPUtime=0.74 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) T 16156 16158 16158 0 -1 4202560 4457 0 0 0 74 0 0 0 15 0 19 0 869284059 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=8541720 CPUtime=0.55 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) T 16156 16158 16158 0 -1 4202560 3598 0 0 0 55 0 0 0 15 0 19 0 869284060 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=8541720 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) T 16156 16158 16158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869284060 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624926617 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=16158/tid=16175] ppid=16156 vsize=8541720 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16175/stat : 16175 (java) T 16156 16158 16158 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869284060 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624927232 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=16158/tid=16176] ppid=16156 vsize=8541720 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16176/stat : 16176 (java) T 16156 16158 16158 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869284091 8746721280 173513 33554432000 1073741824 1073778376 140735751661120 18446744073709551615 270624927232 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=16156/tid=16179] ppid=16109 vsize=325236 CPUtime=0 cores=0,2,4,6
/proc/16156/task/16179/stat : 16179 (python) S 16109 16109 15018 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869288811 333041664 5990 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604447384165120 0 0 -1 6 0 0 0
[pid=16206] ppid=16109 vsize=335492 CPUtime=0.2 cores=0,2,4,6
/proc/16206/stat : 16206 (python) S 16109 16109 15018 0 -1 4202560 1164 0 0 0 10 10 0 0 19 0 2 0 869307545 343543808 5998 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/16206/statm: 83873 5998 391 364 0 18745 0
[pid=16208] ppid=16206 vsize=63172 CPUtime=48.3 cores=0,2,4,6
/proc/16208/stat : 16208 (bsolo_pb10) T 16206 16208 16208 0 -1 4202496 13666 0 0 0 4827 3 0 0 25 0 1 0 869307545 64688128 13368 33554432000 134512640 137138936 4287587072 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 6 0 0 0
/proc/16208/statm: 15793 13368 192 642 0 15149 0
[pid=16206/tid=16211] ppid=16109 vsize=335492 CPUtime=0 cores=0,2,4,6
/proc/16206/task/16211/stat : 16211 (python) S 16109 16109 15018 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869312380 343543808 5998 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604441686793152 0 0 -1 4 0 0 0
[pid=16227] ppid=16109 vsize=345748 CPUtime=0.4 cores=0,2,4,6
/proc/16227/stat : 16227 (python) S 16109 16109 15018 0 -1 4202560 1165 0 0 0 20 20 0 0 19 0 2 0 869353653 354045952 6002 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16227/statm: 86437 6002 391 364 0 21306 0
[pid=16229] ppid=16227 vsize=176952 CPUtime=92.59 cores=0,2,4,6
/proc/16229/stat : 16229 (bsolo_pb10) T 16227 16229 16229 0 -1 4202496 42182 0 0 0 9242 17 0 0 25 0 1 0 869353654 181198848 41803 33554432000 134512640 137138936 4288440384 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/16229/statm: 44238 41803 190 642 0 43594 0
[pid=16227/tid=16236] ppid=16109 vsize=345748 CPUtime=0 cores=0,2,4,6
/proc/16227/task/16236/stat : 16236 (python) S 16109 16109 15018 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869362913 354045952 6002 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604442465459136 0 0 -1 6 0 0 0
[pid=16237] ppid=16109 vsize=355456 CPUtime=0.2 cores=0,2,4,6
/proc/16237/stat : 16237 (python) S 16109 16109 15018 0 -1 4202560 1208 0 0 0 10 10 0 0 19 0 2 0 869362932 363986944 5900 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/16237/statm: 88864 5900 397 364 0 23730 0
[pid=16239] ppid=16237 vsize=66664 CPUtime=48.05 cores=0,2,4,6
/proc/16239/stat : 16239 (minion) T 16237 16239 16239 0 -1 4202496 9794 0 0 0 4805 0 0 0 25 0 1 0 869362932 68263936 9412 33554432000 134512640 165565024 4294364816 18446744073709551615 134640914 0 0 16781312 8396802 18446744071562691360 0 0 17 6 0 0 0
/proc/16239/statm: 16666 9412 359 7582 0 9081 0
[pid=16237/tid=16250] ppid=16109 vsize=355456 CPUtime=0 cores=0,2,4,6
/proc/16237/task/16250/stat : 16250 (python) S 16109 16109 15018 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869367759 363986944 5900 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604449359170368 0 0 -1 6 0 0 0
[pid=16270] ppid=16109 vsize=366220 CPUtime=0.22 cores=0,2,4,6
/proc/16270/stat : 16270 (python) S 16109 16109 15018 0 -1 4202560 1191 0 0 0 10 12 0 0 19 0 2 0 869422936 375009280 6026 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624937419 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/16270/statm: 91555 6026 397 364 0 26418 0
[pid=16272] ppid=16270 vsize=88860 CPUtime=48.38 cores=0,2,4,6
/proc/16272/stat : 16272 (bsolo_pb10) T 16270 16272 16272 0 -1 4202496 20068 0 0 0 4819 19 0 0 25 0 1 0 869422937 90992640 19768 33554432000 134512640 137138936 4287724336 18446744073709551615 134542613 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/16272/statm: 22215 19768 192 642 0 21571 0
[pid=16270/tid=16274] ppid=16109 vsize=366220 CPUtime=0 cores=0,2,4,6
/proc/16270/task/16274/stat : 16274 (python) S 16109 16109 15018 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869427775 375009280 6026 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554946 18446604447859601664 0 0 -1 4 0 0 0
[pid=16275] ppid=16109 vsize=376688 CPUtime=0.33 cores=0,2,4,6
/proc/16275/stat : 16275 (python) S 16109 16109 15018 0 -1 4202560 1005 0 0 0 17 16 0 0 15 0 1 0 869427776 385728512 6002 33554432000 4194304 5683644 140734801942816 18446744073709551615 270613130822 0 0 16781312 33554946 72409437758827329 0 0 17 4 0 0 0
/proc/16275/statm: 94172 6002 344 364 0 29032 0
[pid=16277] ppid=16275 vsize=201540 CPUtime=72.63 cores=0,2,4,6
/proc/16277/stat : 16277 (wbo1.4a) R 16275 16277 16277 0 -1 4202496 50172 0 0 0 7209 54 0 0 25 0 1 0 869427777 206376960 49879 33554432000 134512640 135751879 4288569424 18446744073709551615 134603078 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/16277/statm: 50385 49879 143 303 0 50080 0
[pid=16109/tid=16117] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16117/stat : 16117 (python) S 16107 16109 15018 0 -1 4202560 34 1333 0 0 0 0 1 0 18 0 11 0 869255971 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
[pid=16109/tid=16126] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16126/stat : 16126 (python) S 16107 16109 15018 0 -1 4202560 46 1333 0 0 0 0 1 0 18 0 11 0 869260793 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 4 0 0 0
[pid=16109/tid=16136] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16136/stat : 16136 (python) S 16107 16109 15018 0 -1 4202560 34 1333 0 0 0 0 1 0 18 0 11 0 869265417 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
[pid=16109/tid=16146] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16146/stat : 16146 (python) S 16107 16109 15018 0 -1 4202560 28 1333 0 0 0 0 1 0 20 0 11 0 869274795 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 4 0 0 0
[pid=16109/tid=16157] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16157/stat : 16157 (python) S 16107 16109 15018 0 -1 4202560 30 1333 0 0 0 0 1 0 20 0 11 0 869284054 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
[pid=16109/tid=16207] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16207/stat : 16207 (python) S 16107 16109 15018 0 -1 4202560 28 1333 0 0 0 0 1 0 20 0 11 0 869307545 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
[pid=16109/tid=16228] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16228/stat : 16228 (python) S 16107 16109 15018 0 -1 4202560 32 1333 0 0 0 0 1 0 20 0 11 0 869353653 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 4 0 0 0
[pid=16109/tid=16238] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16238/stat : 16238 (python) S 16107 16109 15018 0 -1 4202560 30 1333 0 0 0 0 1 0 20 0 11 0 869362932 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 4 0 0 0
[pid=16109/tid=16271] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16271/stat : 16271 (python) S 16107 16109 15018 0 -1 4202560 27 1333 0 0 0 0 1 0 20 0 11 0 869422936 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
[pid=16109/tid=16276] ppid=16107 vsize=386932 CPUtime=0.01 cores=0,2,4,6
/proc/16109/task/16276/stat : 16276 (python) S 16107 16109 15018 0 -1 4202560 26 1333 0 0 0 0 1 0 20 0 11 0 869427776 396218368 7552 33554432000 4194304 5683644 140734801942816 18446744073709551615 270624934321 0 0 16781312 33554434 18446604442799160192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13030424
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16109 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=865868
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123981
# CPU time returned by wait4() is 0.989849
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.49
CPU time (s): 1800.04
CPU user time (s): 1785
CPU system time (s): 15.04
CPU usage (%): 100.477
Max. virtual memory (cumulated for all children) (KiB): 13030424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.865868
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20582
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= 2216
involuntary context switches= 40
runsolver used 15.1297 second user time and 29.8875 second system time
The end