runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729909-1338714103/watcher-3729909-1338714103 -o /tmp/evaluation-result-3729909-1338714103/solver-3729909-1338714103 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729909-1338714103.opb -seed 1921241774 -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.17 1.96 1.72 2/193 4143
/proc/meminfo: memFree=31179164/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/4143/stat : 4143 (python) D 4141 4143 2614 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 337535257 15749120 629 33554432000 4194304 5683644 140737230149920 140737230090408 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 3845 629 333 364 0 287 0
[startup+0.072129 s]
/proc/loadavg: 2.17 1.96 1.72 2/193 4143
/proc/meminfo: memFree=31179164/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=52584 CPUtime=0.05 cores=1,3,5,7
/proc/4143/stat : 4143 (python) D 4141 4143 2614 0 -1 4202496 2202 0 0 0 4 1 0 0 20 0 1 0 337535257 53846016 1787 33554432000 4194304 5683644 140737230149920 140737230082360 240556010791 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 13677 1792 496 364 0 1281 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 52584
[startup+0.100262 s]
/proc/loadavg: 2.17 1.96 1.72 2/193 4143
/proc/meminfo: memFree=31179164/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=94460 CPUtime=0.06 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 3307 507 1 0 5 1 0 0 20 0 1 0 337535257 96727040 2545 33554432000 4194304 5683644 140737230149920 140737230102392 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4143/statm: 23615 2545 820 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94460
[startup+0.300355 s]
/proc/loadavg: 2.17 1.96 1.72 2/193 4143
/proc/meminfo: memFree=31179164/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=166948 CPUtime=0.22 cores=1,3,5,7
/proc/4143/stat : 4143 (python) R 4141 4143 2614 0 -1 4202496 6561 1012 1 0 16 6 0 0 20 0 1 0 337535257 170954752 4351 33554432000 4194304 5683644 140737230149920 140737230054152 5308192 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 41737 4351 1227 364 0 3290 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 166948
[startup+0.700346 s]
/proc/loadavg: 2.17 1.96 1.72 2/193 4143
/proc/meminfo: memFree=31179164/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=288048 CPUtime=0.58 cores=1,3,5,7
/proc/4143/stat : 4143 (python) R 4141 4143 2614 0 -1 4202496 11670 1012 1 0 49 9 0 0 20 0 1 0 337535257 294961152 8703 33554432000 4194304 5683644 140737230149920 140737230142872 4445115 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 72012 8703 1811 364 0 7241 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 288048
[startup+1.50023 s]
/proc/loadavg: 2.17 1.96 1.72 3/194 4148
/proc/meminfo: memFree=31148256/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=366968 CPUtime=1.12 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 14490 1012 1 0 102 10 0 0 20 0 2 0 337535257 375775232 9603 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 91742 9603 1901 364 0 26965 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 366968
[startup+3.1004 s]
/proc/loadavg: 2.17 1.96 1.72 3/197 4151
/proc/meminfo: memFree=31136212/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=366968 CPUtime=1.12 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 14490 1012 1 0 102 10 0 0 20 0 2 0 337535257 375775232 9603 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 91742 9603 1901 364 0 26965 0
[pid=4149] ppid=4143 vsize=291188 CPUtime=0 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337535381 298176512 8036 33554432000 4194304 5683644 140737230149920 140737230141008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4149/statm: 72797 8036 340 364 0 8020 0
[pid=4151] ppid=4149 vsize=8792 CPUtime=1.84 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) R 4149 4151 4151 0 -1 4202496 2325 0 0 0 184 0 0 0 20 0 1 0 337535382 9003008 1947 33554432000 134512640 136139019 4287837424 4287836396 134608160 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4151/statm: 2198 1947 181 398 0 1798 0
[pid=4143/tid=4150] ppid=4141 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337535381 375775232 9603 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 666948
[startup+6.3004 s]
/proc/loadavg: 2.24 1.98 1.73 3/197 4151
/proc/meminfo: memFree=31137700/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=366968 CPUtime=1.12 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 14490 1012 1 0 102 10 0 0 20 0 2 0 337535257 375775232 9603 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 91742 9603 1901 364 0 26965 0
[pid=4149] ppid=4143 vsize=291188 CPUtime=0 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 878 0 0 0 0 0 0 0 20 0 1 0 337535381 298176512 8058 33554432000 4194304 5683644 140737230149920 140737230141008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4149/statm: 72797 8058 362 364 0 8020 0
[pid=4151] ppid=4149 vsize=11256 CPUtime=5.04 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) R 4149 4151 4151 0 -1 4202496 2912 0 0 0 504 0 0 0 20 0 1 0 337535382 11526144 2534 33554432000 134512640 136139019 4287837424 4287836400 134883787 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4151/statm: 2814 2534 181 398 0 2414 0
[pid=4143/tid=4150] ppid=4141 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337535381 375775232 9603 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 669412
[startup+12.7003 s]
/proc/loadavg: 2.22 1.98 1.73 3/197 4151
/proc/meminfo: memFree=31134624/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=366968 CPUtime=1.12 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 14490 1012 1 0 102 10 0 0 20 0 2 0 337535257 375775232 9603 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 91742 9603 1901 364 0 26965 0
[pid=4149] ppid=4143 vsize=291188 CPUtime=0.01 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 888 0 0 0 1 0 0 0 20 0 1 0 337535381 298176512 8059 33554432000 4194304 5683644 140737230149920 140737230141008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4149/statm: 72797 8059 363 364 0 8020 0
[pid=4151] ppid=4149 vsize=14888 CPUtime=11.44 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) R 4149 4151 4151 0 -1 4202496 3845 0 0 0 1144 0 0 0 20 0 1 0 337535382 15245312 3467 33554432000 134512640 136139019 4287837424 4287836404 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4151/statm: 3722 3467 181 398 0 3322 0
[pid=4143/tid=4150] ppid=4141 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337535381 375775232 9603 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 673044
[startup+25.5004 s]
/proc/loadavg: 2.17 1.98 1.73 3/196 4151
/proc/meminfo: memFree=31131068/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=366968 CPUtime=1.12 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 14490 1012 1 0 102 10 0 0 20 0 2 0 337535257 375775232 9603 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 91742 9603 1901 364 0 26965 0
[pid=4149] ppid=4143 vsize=291188 CPUtime=0.03 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 896 0 0 0 2 1 0 0 20 0 1 0 337535381 298176512 8059 33554432000 4194304 5683644 140737230149920 140737230141008 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4149/statm: 72797 8059 363 364 0 8020 0
[pid=4151] ppid=4149 vsize=18176 CPUtime=24.23 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) R 4149 4151 4151 0 -1 4202496 4636 0 0 0 2423 0 0 0 20 0 1 0 337535382 18612224 4258 33554432000 134512640 136139019 4287837424 4287836400 134883785 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/4151/statm: 4544 4258 181 398 0 4144 0
[pid=4143/tid=4150] ppid=4141 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 2 0 337535381 375775232 9603 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 676332
[startup+51.1006 s]
/proc/loadavg: 2.11 1.98 1.74 3/200 4155
/proc/meminfo: memFree=30985072/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=442760 CPUtime=1.15 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 15421 1012 1 0 105 10 0 0 20 0 3 0 337535257 453386240 9612 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 110690 9612 1904 364 0 45910 0
[pid=4149] ppid=4143 vsize=366968 CPUtime=0.08 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 1141 0 0 0 5 3 0 0 20 0 2 0 337535381 375775232 8099 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4149/statm: 91742 8099 396 364 0 26965 0
[pid=4151] ppid=4149 vsize=23064 CPUtime=47.11 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) T 4149 4151 4151 0 -1 4202496 5818 0 0 0 4711 0 0 0 20 0 1 0 337535382 23617536 5440 33554432000 134512640 136139019 4287837424 4287836404 134883821 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4151/statm: 5766 5440 181 398 0 5366 0
[pid=4149/tid=4152] ppid=4143 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4149/task/4152/stat : 4152 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337540096 375775232 8099 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4153] ppid=4143 vsize=366980 CPUtime=0 cores=1,3,5,7
/proc/4153/stat : 4153 (python) S 4143 4143 2614 0 -1 4202560 770 0 0 0 0 0 0 0 20 0 1 0 337540098 375787520 8037 33554432000 4194304 5683644 140737230149920 140737230141008 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4153/statm: 91745 8037 335 364 0 26965 0
[pid=4155] ppid=4153 vsize=158200 CPUtime=2.68 cores=1,3,5,7
/proc/4155/stat : 4155 (scip-2.0.1.linu) R 4153 4155 4155 0 -1 4202496 34151 0 0 0 258 10 0 0 20 0 1 0 337540098 161996800 35518 33554432000 4194304 13684479 140736802658352 140736802652184 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4155/statm: 39550 35518 742 2317 0 37228 0
[pid=4143/tid=4150] ppid=4141 vsize=442760 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 3 0 337535381 453386240 9612 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4154] ppid=4141 vsize=442760 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4154/stat : 4154 (python) S 4141 4143 2614 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 3 0 337540098 453386240 9612 33554432000 4194304 5683644 140737230149920 140479448089136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 1357972
[startup+102.301 s]
/proc/loadavg: 2.05 1.98 1.75 3/207 4162
/proc/meminfo: memFree=30802472/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=518552 CPUtime=1.17 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 16321 1012 1 0 107 10 0 0 20 0 4 0 337535257 530997248 9620 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 129638 9620 1906 364 0 64855 0
[pid=4149] ppid=4143 vsize=366968 CPUtime=0.08 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 1141 0 0 0 5 3 0 0 20 0 2 0 337535381 375775232 8099 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4149/statm: 91742 8099 396 364 0 26965 0
[pid=4151] ppid=4149 vsize=23064 CPUtime=47.11 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) T 4149 4151 4151 0 -1 4202496 5818 0 0 0 4711 0 0 0 20 0 1 0 337535382 23617536 5440 33554432000 134512640 136139019 4287837424 4287836404 134883821 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4151/statm: 5766 5440 181 398 0 5366 0
[pid=4149/tid=4152] ppid=4143 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4149/task/4152/stat : 4152 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337540096 375775232 8099 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4153] ppid=4143 vsize=366980 CPUtime=0.08 cores=1,3,5,7
/proc/4153/stat : 4153 (python) S 4143 4143 2614 0 -1 4202560 1068 0 0 0 5 3 0 0 20 0 2 0 337540098 375787520 8086 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4153/statm: 91745 8086 383 364 0 26965 0
[pid=4155] ppid=4153 vsize=163360 CPUtime=46.6 cores=1,3,5,7
/proc/4155/stat : 4155 (scip-2.0.1.linu) T 4153 4155 4155 0 -1 4202496 38242 0 0 0 4638 22 0 0 20 0 1 0 337540098 167280640 37536 33554432000 4194304 13684479 140736802658352 140736802653336 11828304 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4155/statm: 40840 37536 771 2317 0 38518 0
[pid=4153/tid=4159] ppid=4143 vsize=366980 CPUtime=0 cores=1,3,5,7
/proc/4153/task/4159/stat : 4159 (python) S 4143 4143 2614 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337544760 375787520 8086 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4160] ppid=4143 vsize=442772 CPUtime=0 cores=1,3,5,7
/proc/4160/stat : 4160 (python) S 4143 4143 2614 0 -1 4202560 898 0 0 0 0 0 0 0 20 0 1 0 337544762 453398528 8066 33554432000 4194304 5683644 140737230149920 140737230141008 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4160/statm: 110693 8066 358 364 0 45910 0
[pid=4162] ppid=4160 vsize=160036 CPUtime=7.24 cores=1,3,5,7
/proc/4162/stat : 4162 (scip-2.0.1.linu) R 4160 4162 4162 0 -1 4202496 34189 0 0 0 713 11 0 0 20 0 1 0 337544763 163876864 35364 33554432000 4194304 15243407 140734369069088 140734369064232 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4162/statm: 40009 35364 872 2698 0 37304 0
[pid=4143/tid=4150] ppid=4141 vsize=518552 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 27 1012 0 0 0 0 0 0 20 0 4 0 337535381 530997248 9620 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4154] ppid=4141 vsize=518552 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4154/stat : 4154 (python) S 4141 4143 2614 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 4 0 337540098 530997248 9620 33554432000 4194304 5683644 140737230149920 140479448089136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/4143/task/4161/stat : 4161 (python) S 4141 4143 2614 0 -1 4202560 25 1012 0 0 0 0 0 0 20 0 7 0 337544763 763830272 9644 33554432000 4194304 5683644 140737230149920 140479437599280 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4143/tid=4167] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4167/stat : 4167 (python) S 4141 4143 2614 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 7 0 337554138 763830272 9644 33554432000 4194304 5683644 140737230149920 140479427109424 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4202] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4202/stat : 4202 (python) S 4141 4143 2614 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 7 0 337623351 763830272 9644 33554432000 4194304 5683644 140737230149920 140479416619568 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4206] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4206/stat : 4206 (python) S 4141 4143 2614 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 7 0 337632530 763830272 9644 33554432000 4194304 5683644 140737230149920 140479406129712 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 4553440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.3 s]
/proc/loadavg: 3.45 3.25 2.47 3/210 4281
/proc/meminfo: memFree=25199620/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=745928 CPUtime=3.55 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 19873 1012 1 0 343 12 0 0 20 0 7 0 337535257 763830272 9644 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 186482 9644 1912 364 0 121690 0
[pid=4149] ppid=4143 vsize=366968 CPUtime=0.43 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 1201 0 0 0 26 17 0 0 20 0 2 0 337535381 375775232 8100 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4149/statm: 91742 8100 397 364 0 26965 0
[pid=4151] ppid=4149 vsize=40492 CPUtime=229.63 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) T 4149 4151 4151 0 -1 4202496 9967 0 0 0 22962 1 0 0 20 0 1 0 337535382 41463808 9696 33554432000 134512640 136139019 4287837424 4287836304 134599059 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4151/statm: 10123 9696 181 398 0 9723 0
[pid=4149/tid=4152] ppid=4143 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4149/task/4152/stat : 4152 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337540096 375775232 8100 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4153] ppid=4143 vsize=366980 CPUtime=2.38 cores=1,3,5,7
/proc/4153/stat : 4153 (python) S 4143 4143 2614 0 -1 4202560 1174 0 0 0 136 102 0 0 20 0 2 0 337540098 375787520 8086 33554432000 4194304 5683644 140737230149920 140737230141008 240565191139 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4153/statm: 91745 8086 383 364 0 26965 0
[pid=4155] ppid=4153 vsize=230084 CPUtime=1278.84 cores=1,3,5,7
/proc/4155/stat : 4155 (scip-2.0.1.linu) R 4153 4155 4155 0 -1 4202496 54868 0 0 0 127641 243 0 0 20 0 1 0 337540098 235606016 55297 33554432000 4194304 13684479 140736802658352 140736802652184 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 57521 55297 818 2317 0 55199 0
[pid=4153/tid=4159] ppid=4143 vsize=366980 CPUtime=0 cores=1,3,5,7
/proc/4153/task/4159/stat : 4159 (python) S 4143 4143 2614 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337544760 375787520 8086 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4160] ppid=4143 vsize=442772 CPUtime=0.18 cores=1,3,5,7
/proc/4160/stat : 4160 (python) S 4143 4143 2614 0 -1 4202560 1121 0 0 0 10 8 0 0 20 0 2 0 337544762 453398528 8092 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4160/statm: 110693 8092 383 364 0 45910 0
[pid=4162] ppid=4160 vsize=205560 CPUtime=95.51 cores=1,3,5,7
/proc/4162/stat : 4162 (scip-2.0.1.linu) T 4160 4162 4162 0 -1 4202496 66083 0 0 0 9522 29 0 0 20 0 1 0 337544763 210493440 47879 33554432000 4194304 15243407 140734369069088 140734369063480 8114158 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4162/statm: 51390 47879 940 2698 0 48685 0
[pid=4160/tid=4164] ppid=4143 vsize=442772 CPUtime=0 cores=1,3,5,7
/proc/4160/task/4164/stat : 4164 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337549401 453398528 8092 33554432000 4194304 5683644 140737230149920 140479448089136 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4166] ppid=4143 vsize=518564 CPUtime=0.09 cores=1,3,5,7
/proc/4166/stat : 4166 (python) S 4143 4143 2614 0 -1 4202560 1107 0 0 0 5 4 0 0 20 0 2 0 337554138 531009536 8098 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4166/statm: 129641 8098 383 364 0 64855 0
[pid=4168] ppid=4166 vsize=152220 CPUtime=47.73 cores=1,3,5,7
/proc/4168/stat : 4168 (minion) T 4166 4168 4168 0 -1 4202496 25848 0 0 0 4769 4 0 0 20 0 1 0 337554138 155873280 30797 33554432000 134512640 165565024 4291147200 4291144512 158624694 0 0 16781312 8396802 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4168/statm: 38055 30797 345 7582 0 30470 0
[pid=4166/tid=4169] ppid=4143 vsize=518564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337558913 531009536 8098 33554432000 4194304 5683644 140737230149920 140479437599280 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4201] ppid=4143 vsize=594356 CPUtime=0.16 cores=1,3,5,7
/proc/4201/stat : 4201 (python) S 4143 4143 2614 0 -1 4202560 1154 0 0 0 9 7 0 0 20 0 2 0 337623350 608620544 8104 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4201/statm: 148589 8104 383 364 0 83800 0
[pid=4203] ppid=4201 vsize=121196 CPUtime=91.74 cores=1,3,5,7
/proc/4203/stat : 4203 (bsolo_pb10) T 4201 4203 4203 0 -1 4202496 29004 0 0 0 9154 20 0 0 20 0 1 0 337623351 124104704 27861 33554432000 134512640 137138936 4294131136 4294130064 134542295 0 0 16781312 16384 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4203/statm: 30299 27861 190 642 0 29655 0
[pid=4201/tid=4204] ppid=4143 vsize=594356 CPUtime=0 cores=1,3,5,7
/proc/4201/task/4204/stat : 4204 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337632529 608620544 8104 33554432000 4194304 5683644 140737230149920 140479427109424 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4205] ppid=4143 vsize=670148 CPUtime=0.09 cores=1,3,5,7
/proc/4205/stat : 4205 (python) S 4143 4143 2614 0 -1 4202560 1140 0 0 0 6 3 0 0 20 0 2 0 337632530 686231552 8110 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4205/statm: 167537 8110 383 364 0 102745 0
[pid=4207] ppid=4205 vsize=98172 CPUtime=49.75 cores=1,3,5,7
/proc/4207/stat : 4207 (wbo1.4a) T 4205 4207 4207 0 -1 4202496 24651 0 0 0 4949 26 0 0 20 0 1 0 337632531 100528128 24041 33554432000 134512640 135751879 4292316752 4292314924 134517408 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 24543 24041 143 303 0 24238 0
[pid=4205/tid=4208] ppid=4143 vsize=670148 CPUtime=0 cores=1,3,5,7
/proc/4205/task/4208/stat : 4208 (python) S 4143 4143 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337637508 686231552 8110 33554432000 4194304 5683644 140737230149920 140479416619568 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4143/tid=4150] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 36 1012 0 0 0 0 0 0 20 0 7 0 337535381 763830272 9644 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4143/tid=4154] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4154/stat : 4154 (python) S 4141 4143 2614 0 -1 4202560 31 1012 0 0 0 0 0 0 20 0 7 0 337540098 763830272 9644 33554432000 4194304 5683644 140737230149920 140479448089136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4143/tid=4161] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4161/stat : 4161 (python) S 4141 4143 2614 0 -1 4202560 25 1012 0 0 0 0 0 0 20 0 7 0 337544763 763830272 9644 33554432000 4194304 5683644 140737230149920 140479437599280 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4143/tid=4167] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4167/stat : 4167 (python) S 4141 4143 2614 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 7 0 337554138 763830272 9644 33554432000 4194304 5683644 140737230149920 140479427109424 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4202] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4202/stat : 4202 (python) S 4141 4143 2614 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 7 0 337623351 763830272 9644 33554432000 4194304 5683644 140737230149920 140479416619568 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4206] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4206/stat : 4206 (python) S 4141 4143 2614 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 7 0 337632530 763830272 9644 33554432000 4194304 5683644 140737230149920 140479406129712 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4553440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.3 s]
/proc/loadavg: 3.45 3.25 2.47 3/210 4281
/proc/meminfo: memFree=25199620/32873844 swapFree=7116/7116
[pid=4143] ppid=4141 vsize=745928 CPUtime=3.55 cores=1,3,5,7
/proc/4143/stat : 4143 (python) S 4141 4143 2614 0 -1 4202496 19873 1012 1 0 343 12 0 0 20 0 7 0 337535257 763830272 9644 33554432000 4194304 5683644 140737230149920 140737230144752 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4143/statm: 186482 9644 1912 364 0 121690 0
[pid=4149] ppid=4143 vsize=366968 CPUtime=0.43 cores=1,3,5,7
/proc/4149/stat : 4149 (python) S 4143 4143 2614 0 -1 4202560 1201 0 0 0 26 17 0 0 20 0 2 0 337535381 375775232 8100 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4149/statm: 91742 8100 397 364 0 26965 0
[pid=4151] ppid=4149 vsize=40492 CPUtime=229.63 cores=1,3,5,7
/proc/4151/stat : 4151 (clasp-1.3.7-x86) T 4149 4151 4151 0 -1 4202496 9967 0 0 0 22962 1 0 0 20 0 1 0 337535382 41463808 9696 33554432000 134512640 136139019 4287837424 4287836304 134599059 0 0 16781312 16386 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4151/statm: 10123 9696 181 398 0 9723 0
[pid=4149/tid=4152] ppid=4143 vsize=366968 CPUtime=0 cores=1,3,5,7
/proc/4149/task/4152/stat : 4152 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337540096 375775232 8100 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4153] ppid=4143 vsize=366980 CPUtime=2.38 cores=1,3,5,7
/proc/4153/stat : 4153 (python) S 4143 4143 2614 0 -1 4202560 1174 0 0 0 136 102 0 0 20 0 2 0 337540098 375787520 8086 33554432000 4194304 5683644 140737230149920 140737230141008 240565191139 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4153/statm: 91745 8086 383 364 0 26965 0
[pid=4155] ppid=4153 vsize=230084 CPUtime=1278.84 cores=1,3,5,7
/proc/4155/stat : 4155 (scip-2.0.1.linu) R 4153 4155 4155 0 -1 4202496 54868 0 0 0 127641 243 0 0 20 0 1 0 337540098 235606016 55297 33554432000 4194304 13684479 140736802658352 140736802652184 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 57521 55297 818 2317 0 55199 0
[pid=4153/tid=4159] ppid=4143 vsize=366980 CPUtime=0 cores=1,3,5,7
/proc/4153/task/4159/stat : 4159 (python) S 4143 4143 2614 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337544760 375787520 8086 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4160] ppid=4143 vsize=442772 CPUtime=0.18 cores=1,3,5,7
/proc/4160/stat : 4160 (python) S 4143 4143 2614 0 -1 4202560 1121 0 0 0 10 8 0 0 20 0 2 0 337544762 453398528 8092 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4160/statm: 110693 8092 383 364 0 45910 0
[pid=4162] ppid=4160 vsize=205560 CPUtime=95.51 cores=1,3,5,7
/proc/4162/stat : 4162 (scip-2.0.1.linu) T 4160 4162 4162 0 -1 4202496 66083 0 0 0 9522 29 0 0 20 0 1 0 337544763 210493440 47879 33554432000 4194304 15243407 140734369069088 140734369063480 8114158 0 0 16781312 2 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4162/statm: 51390 47879 940 2698 0 48685 0
[pid=4160/tid=4164] ppid=4143 vsize=442772 CPUtime=0 cores=1,3,5,7
/proc/4160/task/4164/stat : 4164 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337549401 453398528 8092 33554432000 4194304 5683644 140737230149920 140479448089136 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4166] ppid=4143 vsize=518564 CPUtime=0.09 cores=1,3,5,7
/proc/4166/stat : 4166 (python) S 4143 4143 2614 0 -1 4202560 1107 0 0 0 5 4 0 0 20 0 2 0 337554138 531009536 8098 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4166/statm: 129641 8098 383 364 0 64855 0
[pid=4168] ppid=4166 vsize=152220 CPUtime=47.73 cores=1,3,5,7
/proc/4168/stat : 4168 (minion) T 4166 4168 4168 0 -1 4202496 25848 0 0 0 4769 4 0 0 20 0 1 0 337554138 155873280 30797 33554432000 134512640 165565024 4291147200 4291144512 158624694 0 0 16781312 8396802 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/4168/statm: 38055 30797 345 7582 0 30470 0
[pid=4166/tid=4169] ppid=4143 vsize=518564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337558913 531009536 8098 33554432000 4194304 5683644 140737230149920 140479437599280 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4201] ppid=4143 vsize=594356 CPUtime=0.16 cores=1,3,5,7
/proc/4201/stat : 4201 (python) S 4143 4143 2614 0 -1 4202560 1154 0 0 0 9 7 0 0 20 0 2 0 337623350 608620544 8104 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4201/statm: 148589 8104 383 364 0 83800 0
[pid=4203] ppid=4201 vsize=121196 CPUtime=91.74 cores=1,3,5,7
/proc/4203/stat : 4203 (bsolo_pb10) T 4201 4203 4203 0 -1 4202496 29004 0 0 0 9154 20 0 0 20 0 1 0 337623351 124104704 27861 33554432000 134512640 137138936 4294131136 4294130064 134542295 0 0 16781312 16384 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4203/statm: 30299 27861 190 642 0 29655 0
[pid=4201/tid=4204] ppid=4143 vsize=594356 CPUtime=0 cores=1,3,5,7
/proc/4201/task/4204/stat : 4204 (python) S 4143 4143 2614 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337632529 608620544 8104 33554432000 4194304 5683644 140737230149920 140479427109424 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4205] ppid=4143 vsize=670148 CPUtime=0.09 cores=1,3,5,7
/proc/4205/stat : 4205 (python) S 4143 4143 2614 0 -1 4202560 1140 0 0 0 6 3 0 0 20 0 2 0 337632530 686231552 8110 33554432000 4194304 5683644 140737230149920 140737230141568 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4205/statm: 167537 8110 383 364 0 102745 0
[pid=4207] ppid=4205 vsize=98172 CPUtime=49.75 cores=1,3,5,7
/proc/4207/stat : 4207 (wbo1.4a) T 4205 4207 4207 0 -1 4202496 24651 0 0 0 4949 26 0 0 20 0 1 0 337632531 100528128 24041 33554432000 134512640 135751879 4292316752 4292314924 134517408 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/4207/statm: 24543 24041 143 303 0 24238 0
[pid=4205/tid=4208] ppid=4143 vsize=670148 CPUtime=0 cores=1,3,5,7
/proc/4205/task/4208/stat : 4208 (python) S 4143 4143 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337637508 686231552 8110 33554432000 4194304 5683644 140737230149920 140479416619568 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4143/tid=4150] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4150/stat : 4150 (python) S 4141 4143 2614 0 -1 4202560 36 1012 0 0 0 0 0 0 20 0 7 0 337535381 763830272 9644 33554432000 4194304 5683644 140737230149920 140479458578992 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4143/tid=4154] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4154/stat : 4154 (python) S 4141 4143 2614 0 -1 4202560 31 1012 0 0 0 0 0 0 20 0 7 0 337540098 763830272 9644 33554432000 4194304 5683644 140737230149920 140479448089136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4143/tid=4161] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4161/stat : 4161 (python) S 4141 4143 2614 0 -1 4202560 25 1012 0 0 0 0 0 0 20 0 7 0 337544763 763830272 9644 33554432000 4194304 5683644 140737230149920 140479437599280 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4143/tid=4167] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4167/stat : 4167 (python) S 4141 4143 2614 0 -1 4202560 22 1012 0 0 0 0 0 0 20 0 7 0 337554138 763830272 9644 33554432000 4194304 5683644 140737230149920 140479427109424 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4202] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4202/stat : 4202 (python) S 4141 4143 2614 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 7 0 337623351 763830272 9644 33554432000 4194304 5683644 140737230149920 140479416619568 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4143/tid=4206] ppid=4141 vsize=745928 CPUtime=0 cores=1,3,5,7
/proc/4143/task/4206/stat : 4206 (python) S 4141 4143 2614 0 -1 4202560 21 1012 0 0 0 0 0 0 20 0 7 0 337632530 763830272 9644 33554432000 4194304 5683644 140737230149920 140479406129712 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4553440
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4143 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=434477
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=125980
# CPU time returned by wait4() is 3.56046
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.34
CPU time (s): 1800.08
CPU user time (s): 1795.32
CPU system time (s): 4.76
CPU usage (%): 100.152
Max. virtual memory (cumulated for all children) (KiB): 4553444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.43448
system time used= 0.12598
maximum resident set size= 39228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20885
page faults= 1
swaps= 0
block input operations= 0
block output operations= 4928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1029
involuntary context switches= 37
runsolver used 7.03993 second user time and 19.664 second system time
The end