runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4119152-1467255402/watcher-4119152-1467255402 -o /tmp/evaluation-result-4119152-1467255402/solver-4119152-1467255402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467246696-10266 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4119152-1467255402.opb
pid=11258
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 Stack size limit: 81920 KiB
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: 81920 KiB
[startup+0 s]
/proc/loadavg: 2.22 2.19 2.18 3/176 11261
/proc/meminfo: memFree=21781608/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=6824 CPUtime=0 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 1 0 6489842 6987776 275 33554432000 4194304 5796924 140733708223088 140737394979528 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1706 275 128 392 0 1305 0
[startup+0.10016 s]
/proc/loadavg: 2.22 2.19 2.18 3/176 11261
/proc/meminfo: memFree=21781608/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=5116 CPUtime=0.09 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1183 0 0 0 9 0 0 0 20 0 1 0 6489842 5238784 975 33554432000 4194304 5796924 140733708223088 140737394979528 4199760 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1279 975 160 392 0 878 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5116
[startup+0.200294 s]
/proc/loadavg: 2.22 2.19 2.18 3/176 11261
/proc/meminfo: memFree=21781608/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=5116 CPUtime=0.19 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1183 0 0 0 19 0 0 0 20 0 1 0 6489842 5238784 975 33554432000 4194304 5796924 140733708223088 140737394979528 5092622 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1279 975 160 392 0 878 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5116
[startup+0.30026 s]
/proc/loadavg: 2.22 2.19 2.18 3/176 11261
/proc/meminfo: memFree=21781608/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=5116 CPUtime=0.29 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1183 0 0 0 29 0 0 0 20 0 1 0 6489842 5238784 975 33554432000 4194304 5796924 140733708223088 140733708220072 5100101 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1279 975 160 392 0 878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5116
[startup+0.700185 s]
/proc/loadavg: 2.22 2.19 2.18 3/176 11261
/proc/meminfo: memFree=21781608/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=5260 CPUtime=0.69 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1195 0 0 0 69 0 0 0 20 0 1 0 6489842 5386240 987 33554432000 4194304 5796924 140733708223088 140733708220072 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1315 987 160 392 0 914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5260
[startup+1.50023 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 11262
/proc/meminfo: memFree=21778120/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=5396 CPUtime=1.49 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1238 0 0 0 149 0 0 0 20 0 1 0 6489842 5525504 1030 33554432000 4194304 5796924 140733708223088 140733708217656 4295931 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1349 1030 161 392 0 948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5396
[startup+3.1003 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 11262
/proc/meminfo: memFree=21777624/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=5880 CPUtime=3.09 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1344 0 0 0 309 0 0 0 20 0 1 0 6489842 6021120 1136 33554432000 4194304 5796924 140733708223088 140733708217672 5087579 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1470 1136 161 392 0 1069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5880
[startup+6.30018 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 11262
/proc/meminfo: memFree=21777008/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=6660 CPUtime=6.29 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1533 0 0 0 629 0 0 0 20 0 1 0 6489842 6819840 1325 33554432000 4194304 5796924 140733708223088 140733708217576 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 1665 1325 161 392 0 1264 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6660
[startup+12.7002 s]
/proc/loadavg: 2.19 2.19 2.18 4/177 11262
/proc/meminfo: memFree=21775768/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=8220 CPUtime=12.69 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 1912 0 0 0 1269 0 0 0 20 0 1 0 6489842 8417280 1704 33554432000 4194304 5796924 140733708223088 140733708217576 4809123 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 2055 1704 161 392 0 1654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8220
[startup+25.5003 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 11262
/proc/meminfo: memFree=21772704/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=11348 CPUtime=25.49 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 2673 0 0 0 2549 0 0 0 20 0 1 0 6489842 11620352 2465 33554432000 4194304 5796924 140733708223088 140733708217576 5096620 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 2837 2465 161 392 0 2436 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11348
[startup+51.1003 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 11262
/proc/meminfo: memFree=21768760/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=17600 CPUtime=51.08 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 4191 0 0 0 5108 0 0 0 20 0 1 0 6489842 18022400 3983 33554432000 4194304 5796924 140733708223088 140733708217576 4861388 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 4400 3983 161 392 0 3999 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17600
[startup+102.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 11263
/proc/meminfo: memFree=21750516/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=27436 CPUtime=102.28 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 6258 0 0 0 10227 1 0 0 20 0 1 0 6489842 28094464 6561 33554432000 4194304 5796924 140733708223088 140733708217608 4865554 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 6859 6561 161 392 0 6458 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27436
[startup+162.3 s]
/proc/loadavg: 2.12 2.18 2.18 3/177 11264
/proc/meminfo: memFree=21721784/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=50348 CPUtime=162.27 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 10886 0 0 0 16225 2 0 0 20 0 1 0 6489842 51556352 12211 33554432000 4194304 5796924 140733708223088 140733708217576 5093157 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 12587 12211 161 392 0 12186 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 50348
[startup+222.307 s]
/proc/loadavg: 2.25 2.20 2.18 3/178 11268
/proc/meminfo: memFree=21694412/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=55620 CPUtime=222.26 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 11182 0 0 0 22224 2 0 0 20 0 1 0 6489842 56954880 13529 33554432000 4194304 5796924 140733708223088 140733708217624 5096660 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 13905 13529 161 392 0 13504 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 55620
[startup+282.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 11293
/proc/meminfo: memFree=21667736/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=63628 CPUtime=282.24 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 13207 0 0 0 28222 2 0 0 20 0 1 0 6489842 65155072 15554 33554432000 4194304 5796924 140733708223088 140733708217576 5087571 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 15907 15554 161 392 0 15506 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 63628
[startup+342.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 11294
/proc/meminfo: memFree=21625240/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=96264 CPUtime=342.24 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 19414 0 0 0 34220 4 0 0 20 0 1 0 6489842 98574336 22783 33554432000 4194304 5796924 140733708223088 140733708217576 5092735 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 24066 22783 161 392 0 23665 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 96264
[startup+402.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 11295
/proc/meminfo: memFree=21614712/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=96264 CPUtime=402.23 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 19415 0 0 0 40219 4 0 0 20 0 1 0 6489842 98574336 23295 33554432000 4194304 5796924 140733708223088 140733708217576 4810130 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 24066 23295 161 392 0 23665 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 96264
[startup+462.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/177 11296
/proc/meminfo: memFree=21606404/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=96264 CPUtime=462.22 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 19415 0 0 0 46218 4 0 0 20 0 1 0 6489842 98574336 23295 33554432000 4194304 5796924 140733708223088 140733708217576 5087488 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 24066 23295 161 392 0 23665 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 96264
[startup+522.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 11297
/proc/meminfo: memFree=21596424/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=101536 CPUtime=522.21 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 20007 0 0 0 52217 4 0 0 20 0 1 0 6489842 103972864 24613 33554432000 4194304 5796924 140733708223088 140733708217944 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 25384 24613 161 392 0 24983 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 101536
[startup+582.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 11299
/proc/meminfo: memFree=21589256/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=104772 CPUtime=582.2 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 20826 0 0 0 58216 4 0 0 20 0 1 0 6489842 107286528 25432 33554432000 4194304 5796924 140733708223088 140733708217672 5087519 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 26193 25432 161 392 0 25792 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 104772
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.16 2.20 2.18 4/177 11308
/proc/meminfo: memFree=21569756/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=122940 CPUtime=882.16 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 25525 0 0 0 88211 5 0 0 20 0 1 0 6489842 125890560 30131 33554432000 4194304 5796924 140733708223088 140733708217672 4199805 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 30735 30131 161 392 0 30334 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 122940
[startup+942.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/177 11309
/proc/meminfo: memFree=21567088/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=125888 CPUtime=942.15 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 26285 0 0 0 94209 6 0 0 20 0 1 0 6489842 128909312 30891 33554432000 4194304 5796924 140733708223088 140733708217672 5100093 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 31472 30891 161 392 0 31071 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 125888
[startup+1002.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/177 11310
/proc/meminfo: memFree=21564108/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=128440 CPUtime=1002.14 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 26988 0 0 0 100208 6 0 0 20 0 1 0 6489842 131522560 31594 33554432000 4194304 5796924 140733708223088 140733708217672 5094663 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 32110 31594 161 392 0 31709 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 128440
[startup+1062.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 11311
/proc/meminfo: memFree=21561168/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=131000 CPUtime=1062.13 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 27662 0 0 0 106207 6 0 0 20 0 1 0 6489842 134144000 32268 33554432000 4194304 5796924 140733708223088 140733708217672 4295683 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 32750 32268 161 392 0 32349 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 131000
[startup+1122.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/176 11312
/proc/meminfo: memFree=21559092/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=133272 CPUtime=1122.12 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 28283 0 0 0 112206 6 0 0 20 0 1 0 6489842 136470528 32889 33554432000 4194304 5796924 140733708223088 140733708217672 5096660 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 33318 32889 161 392 0 32917 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 133272
[startup+1182.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 11314
/proc/meminfo: memFree=21555292/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=135560 CPUtime=1182.11 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 28882 0 0 0 118205 6 0 0 20 0 1 0 6489842 138813440 33488 33554432000 4194304 5796924 140733708223088 140733708217672 5093096 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 33890 33488 161 392 0 33489 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 135560
[startup+1242.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/177 11316
/proc/meminfo: memFree=21550872/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=137612 CPUtime=1242.1 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 29451 0 0 0 124204 6 0 0 20 0 1 0 6489842 140914688 34057 33554432000 4194304 5796924 140733708223088 140733708217672 4839574 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 34403 34057 161 392 0 34002 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 137612
[startup+1302.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/177 11317
/proc/meminfo: memFree=21546740/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=139612 CPUtime=1302.09 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 29984 0 0 0 130203 6 0 0 20 0 1 0 6489842 142962688 34590 33554432000 4194304 5796924 140733708223088 140733708217672 5092648 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 34903 34590 161 392 0 34502 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 139612
[startup+1362.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 11364
/proc/meminfo: memFree=29351100/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1362.08 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38527 0 0 0 136200 8 0 0 20 0 1 0 6489842 185692160 43138 33554432000 4194304 5796924 140733708223088 140733708218056 5092518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 43138 161 392 0 44934 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 181340
[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/178 11414
/proc/meminfo: memFree=28990892/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1422.05 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38566 0 0 0 142197 8 0 0 20 0 1 0 6489842 185692160 43138 33554432000 4194304 5796924 140733708223088 140733708218056 4199797 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 43138 161 392 0 44934 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 181340
[startup+1482.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/177 11415
/proc/meminfo: memFree=28928936/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1482.03 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38569 0 0 0 148195 8 0 0 20 0 1 0 6489842 185692160 43519 33554432000 4194304 5796924 140733708223088 140733708218056 5087529 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 43519 161 392 0 44934 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 181340
[startup+1542.31 s]
/proc/loadavg: 2.26 2.26 2.20 3/177 11417
/proc/meminfo: memFree=28900700/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1542.03 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38569 0 0 0 154195 8 0 0 20 0 1 0 6489842 185692160 43519 33554432000 4194304 5796924 140733708223088 140733708218056 5087519 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 43519 161 392 0 44934 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 181340
[startup+1602.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/177 11418
/proc/meminfo: memFree=28913448/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1602.01 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38570 0 0 0 160193 8 0 0 20 0 1 0 6489842 185692160 44031 33554432000 4194304 5796924 140733708223088 140733708218056 5094663 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 44031 161 392 0 44934 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 181340
[startup+1662.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/177 11419
/proc/meminfo: memFree=28865616/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1662.01 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38570 0 0 0 166193 8 0 0 20 0 1 0 6489842 185692160 44031 33554432000 4194304 5796924 140733708223088 140733708218056 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 44031 161 392 0 44934 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 181340
[startup+1722.3 s]
/proc/loadavg: 2.35 2.27 2.20 3/177 11420
/proc/meminfo: memFree=28833016/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1722 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38570 0 0 0 172192 8 0 0 20 0 1 0 6489842 185692160 44031 33554432000 4194304 5796924 140733708223088 140733708218056 5087766 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 44031 161 392 0 44934 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 181340
[startup+1782.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 11421
/proc/meminfo: memFree=28816380/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1781.99 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38570 0 0 0 178191 8 0 0 20 0 1 0 6489842 185692160 44031 33554432000 4194304 5796924 140733708223088 140733708218056 4809198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 44031 161 392 0 44934 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 181340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.25 2.25 2.19 3/177 11422
/proc/meminfo: memFree=28897056/32872528 swapFree=1391468/1569296
[pid=11261] ppid=11258 vsize=181340 CPUtime=1800.08 cores=1,3,5,7
/proc/11261/stat : 11261 (naps-1.02) R 11258 11261 10249 0 -1 4202496 38570 0 0 0 180000 8 0 0 20 0 1 0 6489842 185692160 44031 33554432000 4194304 5796924 140733708223088 140733708218056 4809336 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11261/statm: 45335 44031 161 392 0 44934 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 181340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11261 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1800.01
CPU system time (s): 0.082987
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 181340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.082987
maximum resident set size= 180624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38582
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= 53
involuntary context switches= 1999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6133 second user time and 6.69898 second system time
The end