runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12875 MiB free)
memory of node 1: 16384 MiB (13066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391539-1568311285/watcher-4391539-1568311285 -o /tmp/evaluation-result-4391539-1568311285/solver-4391539-1568311285 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568307015-16993 --watchdog 2560 nacre_mini_release HOME/instance-4391539-1568311285.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18124, runsolver pid=18121
Current StackSize limit: 8192 KiB
[startup+0.100463 s]*
/proc/loadavg: 2.08 2.03 1.98 3/201 18125
/proc/meminfo: memFree=26492228/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=125532 memory=80100 CPUtime=0.1 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 18142 0 0 0 7 3 0 0 20 0 1 0 407375908 128544768 20025 33554432000 4194304 4935366 140723774886960 140723774883064 140275750652901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 31383 20025 561 181 0 25000 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 125532 KiB
Current children cumulated memory: 80100 KiB
[startup+0.210085 s]*
/proc/loadavg: 2.08 2.03 1.98 3/201 18125
/proc/meminfo: memFree=26428624/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=186300 memory=139936 CPUtime=0.21 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 26427 0 0 0 16 5 0 0 20 0 1 0 407375908 190771200 34984 33554432000 4194304 4935366 140723774886960 140723774883064 4450164 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 46575 34984 589 181 0 40192 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 186300 KiB
Current children cumulated memory: 139936 KiB
[startup+0.310146 s]*
/proc/loadavg: 2.08 2.03 1.98 3/201 18125
/proc/meminfo: memFree=26428252/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=186300 memory=139936 CPUtime=0.31 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 26427 0 0 0 26 5 0 0 20 0 1 0 407375908 190771200 34984 33554432000 4194304 4935366 140723774886960 140723774883064 4430288 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 46575 34984 589 181 0 40192 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 186300 KiB
Current children cumulated memory: 139936 KiB
[startup+0.700346 s]
/proc/loadavg: 2.08 2.03 1.98 4/201 18125
/proc/meminfo: memFree=26428252/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=186300 memory=139936 CPUtime=0.69 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 26439 0 0 0 64 5 0 0 20 0 1 0 407375908 190771200 34984 33554432000 4194304 4935366 140723774886960 140723774885480 4430323 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 46575 34984 589 181 0 40192 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 186300 KiB
Current children cumulated memory: 139936 KiB
[startup+1.50035 s]
/proc/loadavg: 2.08 2.03 1.98 3/201 18125
/proc/meminfo: memFree=26425860/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=190940 memory=144424 CPUtime=1.49 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 27583 0 0 0 144 5 0 0 20 0 1 0 407375908 195522560 36106 33554432000 4194304 4935366 140723774886960 140723774884728 4420962 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 47735 36106 615 181 0 41352 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 190940 KiB
Current children cumulated memory: 144424 KiB
[startup+3.1101 s]
/proc/loadavg: 2.08 2.03 1.98 3/201 18125
/proc/meminfo: memFree=26416708/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=197568 memory=151292 CPUtime=3.09 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 43080 0 0 0 303 6 0 0 20 0 1 0 407375908 202309632 37823 33554432000 4194304 4935366 140723774886960 140723774884728 4430256 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 49392 37823 615 181 0 43009 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 197568 KiB
Current children cumulated memory: 151292 KiB
[startup+6.30044 s]
/proc/loadavg: 2.07 2.03 1.98 4/201 18125
/proc/meminfo: memFree=26403496/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=212036 memory=165572 CPUtime=6.29 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 63012 0 0 0 621 8 0 0 20 0 1 0 407375908 217124864 41393 33554432000 4194304 4935366 140723774886960 140723774884712 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 53009 41393 615 181 0 46626 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 212036 KiB
Current children cumulated memory: 165572 KiB
[startup+12.7004 s]
/proc/loadavg: 2.06 2.03 1.98 3/201 18126
/proc/meminfo: memFree=26375568/32770624 swapFree=66927120/67108860
[pid=18124] ppid=18121 vsize=243860 memory=197424 CPUtime=12.69 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 86501 0 0 0 1259 10 0 0 20 0 1 0 407375908 249712640 49356 33554432000 4194304 4935366 140723774886960 140723774884728 4420962 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 60965 49356 615 181 0 54582 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 243860 KiB
Current children cumulated memory: 197424 KiB
[startup+25.5005 s]
/proc/loadavg: 2.05 2.03 1.98 3/202 18151
/proc/meminfo: memFree=26306864/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=308336 memory=262136 CPUtime=25.48 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 136875 0 0 0 2534 14 0 0 20 0 1 0 407375908 315736064 65534 33554432000 4194304 4935366 140723774886960 140723774884728 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 77084 65534 615 181 0 70701 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 262136 KiB
[startup+51.1104 s]
/proc/loadavg: 2.43 2.12 2.01 3/202 18151
/proc/meminfo: memFree=26168824/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=444380 memory=397948 CPUtime=51.09 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 186510 0 0 0 5088 21 0 0 20 0 1 0 407375908 455045120 99487 33554432000 4194304 4935366 140723774886960 140723774884712 4450164 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 111095 99487 615 181 0 104712 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 444380 KiB
Current children cumulated memory: 397948 KiB
[startup+102.3 s]
/proc/loadavg: 2.31 2.15 2.02 3/202 18155
/proc/meminfo: memFree=25897936/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=716392 memory=670064 CPUtime=102.28 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 280991 0 0 0 10192 36 0 0 20 0 1 0 407375908 733585408 167516 33554432000 4194304 4935366 140723774886960 140723774884712 4430265 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 179098 167516 615 181 0 172715 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 716392 KiB
Current children cumulated memory: 670064 KiB
[startup+162.3 s]
/proc/loadavg: 2.11 2.12 2.02 3/202 18161
/proc/meminfo: memFree=25633716/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=980472 memory=933924 CPUtime=162.26 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 376823 0 0 0 16177 49 0 0 20 0 1 0 407375908 1004003328 233481 33554432000 4194304 4935366 140723774886960 140723774884712 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 245118 233481 615 181 0 238735 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 980472 KiB
Current children cumulated memory: 933924 KiB
[startup+222.3 s]
/proc/loadavg: 2.19 2.13 2.04 3/202 18290
/proc/meminfo: memFree=25729988/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=1087960 memory=1042600 CPUtime=222.24 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 477266 0 0 0 22167 57 0 0 20 0 1 0 407375908 1114071040 260650 33554432000 4194304 4935366 140723774886960 140723774884664 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 271990 260650 615 181 0 265607 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1087960 KiB
Current children cumulated memory: 1042600 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 2.11 2.04 3/201 18294
/proc/meminfo: memFree=25532344/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=1187488 memory=1143504 CPUtime=282.23 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 587105 0 0 0 28157 66 0 0 20 0 1 0 407375908 1215987712 285876 33554432000 4194304 4935366 140723774886960 140723774884712 4461252 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 296872 285876 615 181 0 290489 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 1187488 KiB
Current children cumulated memory: 1143504 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.09 2.04 3/199 18300
/proc/meminfo: memFree=25410756/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=1276588 memory=1232556 CPUtime=342.23 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 678251 0 0 0 34147 76 0 0 20 0 1 0 407375908 1307226112 308139 33554432000 4194304 4935366 140723774886960 140723774884712 4450164 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 319147 308139 615 181 0 312764 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 1276588 KiB
Current children cumulated memory: 1232556 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.04 3/199 18304
/proc/meminfo: memFree=25308984/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=1337024 memory=1293012 CPUtime=402.21 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 767391 0 0 0 40138 83 0 0 20 0 1 0 407375908 1369112576 323253 33554432000 4194304 4935366 140723774886960 140723774884712 4420960 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 334256 323253 615 181 0 327873 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 1337024 KiB
Current children cumulated memory: 1293012 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/199 18308
/proc/meminfo: memFree=25222092/32770624 swapFree=66927124/67108860
[pid=18124] ppid=18121 vsize=1392248 memory=1348252 CPUtime=462.2 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 863150 0 0 0 46131 89 0 0 20 0 1 0 407375908 1425661952 337063 33554432000 4194304 4935366 140723774886960 140723774884712 4450164 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 348062 337063 615 181 0 341679 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 1392248 KiB
Current children cumulated memory: 1348252 KiB
################
# More data... #
################
/proc/18124/statm: 496414 485442 615 181 0 490031 0
Current children cumulated CPU time: 1602.03 s
Current children cumulated vsize: 1985656 KiB
Current children cumulated memory: 1941768 KiB
[startup+1662.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/199 18421
/proc/meminfo: memFree=24236620/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=1994556 memory=1950436 CPUtime=1662.02 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1512640 0 0 0 166056 146 0 0 20 0 1 0 407375908 2042425344 487609 33554432000 4194304 4935366 140723774886960 140723774884712 4430273 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 498639 487609 615 181 0 492256 0
Current children cumulated CPU time: 1662.02 s
Current children cumulated vsize: 1994556 KiB
Current children cumulated memory: 1950436 KiB
[startup+1722.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/199 18425
/proc/meminfo: memFree=24209412/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2015420 memory=1971456 CPUtime=1722.01 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1526762 0 0 0 172054 147 0 0 20 0 1 0 407375908 2063790080 492864 33554432000 4194304 4935366 140723774886960 140723774884712 140275756946000 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 503855 492864 615 181 0 497472 0
Current children cumulated CPU time: 1722.01 s
Current children cumulated vsize: 2015420 KiB
Current children cumulated memory: 1971456 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/200 18439
/proc/meminfo: memFree=24183760/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2028156 memory=1984268 CPUtime=1782.01 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1538628 0 0 0 178052 149 0 0 20 0 1 0 407375908 2076831744 496067 33554432000 4194304 4935366 140723774886960 140723774884712 4430283 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 507039 496067 615 181 0 500656 0
Current children cumulated CPU time: 1782.01 s
Current children cumulated vsize: 2028156 KiB
Current children cumulated memory: 1984268 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/200 18443
/proc/meminfo: memFree=24136404/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2051632 memory=2007592 CPUtime=1842 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1558254 0 0 0 184049 151 0 0 20 0 1 0 407375908 2100871168 501898 33554432000 4194304 4935366 140723774886960 140723774884712 4420960 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 512908 501898 615 181 0 506525 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 2051632 KiB
Current children cumulated memory: 2007592 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 18447
/proc/meminfo: memFree=24093116/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2068668 memory=2024688 CPUtime=1901.99 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1578501 0 0 0 190047 152 0 0 20 0 1 0 407375908 2118316032 506172 33554432000 4194304 4935366 140723774886960 140723774884712 4450992 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 517167 506172 615 181 0 510784 0
Current children cumulated CPU time: 1901.99 s
Current children cumulated vsize: 2068668 KiB
Current children cumulated memory: 2024688 KiB
[startup+1962.3 s]
/proc/loadavg: 1.92 2.01 2.05 3/200 18513
/proc/meminfo: memFree=24669364/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2097820 memory=2053856 CPUtime=1961.98 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1600377 0 0 0 196044 154 0 0 20 0 1 0 407375908 2148167680 513464 33554432000 4194304 4935366 140723774886960 140723774884664 4331892 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 524455 513464 615 181 0 518072 0
Current children cumulated CPU time: 1961.98 s
Current children cumulated vsize: 2097820 KiB
Current children cumulated memory: 2053856 KiB
[startup+2022.3 s]
/proc/loadavg: 1.97 2.01 2.05 3/200 18517
/proc/meminfo: memFree=24603664/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2109940 memory=2065976 CPUtime=2021.98 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1617925 0 0 0 202042 156 0 0 20 0 1 0 407375908 2160578560 516494 33554432000 4194304 4935366 140723774886960 140723774884712 4450339 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 527485 516494 615 181 0 521102 0
Current children cumulated CPU time: 2021.98 s
Current children cumulated vsize: 2109940 KiB
Current children cumulated memory: 2065976 KiB
[startup+2082.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/199 18521
/proc/meminfo: memFree=24538848/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2123748 memory=2079708 CPUtime=2081.97 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1634528 0 0 0 208039 158 0 0 20 0 1 0 407375908 2174717952 519927 33554432000 4194304 4935366 140723774886960 140723774884712 4450177 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 530937 519927 615 181 0 524554 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 2123748 KiB
Current children cumulated memory: 2079708 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 18527
/proc/meminfo: memFree=24493916/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2140936 memory=2096972 CPUtime=2141.96 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1663086 0 0 0 214035 161 0 0 20 0 1 0 407375908 2192318464 524243 33554432000 4194304 4935366 140723774886960 140723774884712 140275751396746 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 535234 524243 615 181 0 528851 0
Current children cumulated CPU time: 2141.96 s
Current children cumulated vsize: 2140936 KiB
Current children cumulated memory: 2096972 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 18531
/proc/meminfo: memFree=24437768/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2153672 memory=2109708 CPUtime=2201.95 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1684673 0 0 0 220032 163 0 0 20 0 1 0 407375908 2205360128 527427 33554432000 4194304 4935366 140723774886960 140723774884712 4420962 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 538418 527427 615 181 0 532035 0
Current children cumulated CPU time: 2201.95 s
Current children cumulated vsize: 2153672 KiB
Current children cumulated memory: 2109708 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 18535
/proc/meminfo: memFree=24389012/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2171008 memory=2126976 CPUtime=2261.95 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1709856 0 0 0 226029 166 0 0 20 0 1 0 407375908 2223112192 531744 33554432000 4194304 4935366 140723774886960 140723774884712 4450346 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 542752 531744 615 181 0 536369 0
Current children cumulated CPU time: 2261.95 s
Current children cumulated vsize: 2171008 KiB
Current children cumulated memory: 2126976 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 18541
/proc/meminfo: memFree=24333924/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2181444 memory=2137480 CPUtime=2321.94 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1731898 0 0 0 232027 167 0 0 20 0 1 0 407375908 2233798656 534370 33554432000 4194304 4935366 140723774886960 140723774884712 4420962 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 545361 534370 615 181 0 538978 0
Current children cumulated CPU time: 2321.94 s
Current children cumulated vsize: 2181444 KiB
Current children cumulated memory: 2137480 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 18553
/proc/meminfo: memFree=24301016/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2202308 memory=2158296 CPUtime=2381.93 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1758385 0 0 0 238024 169 0 0 20 0 1 0 407375908 2255163392 539574 33554432000 4194304 4935366 140723774886960 140723774884712 4420962 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 550577 539574 615 181 0 544194 0
Current children cumulated CPU time: 2381.93 s
Current children cumulated vsize: 2202308 KiB
Current children cumulated memory: 2158296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 18553
/proc/meminfo: memFree=24296088/32770624 swapFree=66927128/67108860
[pid=18124] ppid=18121 vsize=2206300 memory=2162260 CPUtime=2400.03 cores=0,2,4,6
/proc/18124/stat : 18124 (nacre_mini_rele) R 18121 18124 15287 0 -1 4202496 1766198 0 0 0 239833 170 0 0 20 0 1 0 407375908 2259251200 540565 33554432000 4194304 4935366 140723774886960 140723774884712 4420887 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7622656 140723774895105 140723774895205 140723774895205 140723774898114 0
/proc/18124/statm: 551575 540565 615 181 0 545192 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 2206300 KiB
Current children cumulated memory: 2162260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.43 s]
# the end of solver process 18124 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.33 s, system=1.73478 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.43
CPU time (s): 2400.07
CPU user time (s): 2398.33
CPU system time (s): 1.73478
CPU usage (%): 99.9849
Max. virtual memory (cumulated for all children) (KiB): 2206300
Max. memory (cumulated for all children) (KiB): 2162260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.33
system time used= 1.73479
maximum resident set size= 2162396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1766241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122
involuntary context switches= 3019
# summary of solver processes directly reported to runsolver:
# pid: 18124
# total CPU time (s): 2400.07
# total CPU user time (s): 2398.33
# total CPU system time (s): 1.73478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1982 second user time and 14.6043 second system time
The end