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-4118396-1467236221/watcher-4118396-1467236221 -o /tmp/evaluation-result-4118396-1467236221/solver-4118396-1467236221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8020 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118396-1467236221.opb
pid=8228
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 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.18 2.27 2.26 3/178 8231
/proc/meminfo: memFree=23833464/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=6688 CPUtime=0 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 4574871 6848512 250 33554432000 4194304 5796924 140733503260464 140737143672472 5087632 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 1672 250 128 392 0 1271 0
[startup+0.100157 s]
/proc/loadavg: 2.18 2.27 2.26 3/178 8231
/proc/meminfo: memFree=23833464/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=7816 CPUtime=0.09 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 704 0 0 0 9 0 0 0 20 0 1 0 4574871 8003584 565 33554432000 4194304 5796924 140733503260464 140737143672472 4266531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 1954 565 140 392 0 1553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7816
[startup+0.200285 s]
/proc/loadavg: 2.18 2.27 2.26 3/178 8231
/proc/meminfo: memFree=23833464/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=25820 CPUtime=0.19 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 6087 0 0 0 19 0 0 0 20 0 1 0 4574871 26439680 5655 33554432000 4194304 5796924 140733503260464 140737143672472 4623737 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 6455 5655 167 392 0 6054 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25820
[startup+0.300339 s]
/proc/loadavg: 2.18 2.27 2.26 3/178 8231
/proc/meminfo: memFree=23833464/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=31836 CPUtime=0.29 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 8059 0 0 0 28 1 0 0 20 0 1 0 4574871 32600064 6710 33554432000 4194304 5796924 140733503260464 140737143672472 4623737 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 7959 6710 167 392 0 7558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31836
[startup+0.700279 s]
/proc/loadavg: 2.18 2.27 2.26 3/178 8231
/proc/meminfo: memFree=23833464/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=34516 CPUtime=0.69 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 8591 0 0 0 68 1 0 0 20 0 1 0 4574871 35344384 7706 33554432000 4194304 5796924 140733503260464 140737143672472 4606442 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 8629 7706 179 392 0 8228 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34516
[startup+1.50029 s]
/proc/loadavg: 2.24 2.28 2.27 3/179 8232
/proc/meminfo: memFree=23794072/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=37220 CPUtime=1.49 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 9147 0 0 0 148 1 0 0 20 0 1 0 4574871 38113280 8205 33554432000 4194304 5796924 140733503260464 140733503257704 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 9305 8205 179 392 0 8904 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37220
[startup+3.10026 s]
/proc/loadavg: 2.24 2.28 2.27 3/179 8232
/proc/meminfo: memFree=23787684/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=37220 CPUtime=3.09 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 9463 0 0 0 308 1 0 0 20 0 1 0 4574871 38113280 8518 33554432000 4194304 5796924 140733503260464 140733503257528 4606410 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 9305 8518 179 392 0 8904 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37220
[startup+6.30024 s]
/proc/loadavg: 2.22 2.28 2.26 3/179 8232
/proc/meminfo: memFree=23763136/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=44228 CPUtime=6.29 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 10110 0 0 0 628 1 0 0 20 0 1 0 4574871 45289472 9894 33554432000 4194304 5796924 140733503260464 140733503257704 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 11057 9894 179 392 0 10656 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44228
[startup+12.7003 s]
/proc/loadavg: 2.29 2.29 2.27 4/179 8232
/proc/meminfo: memFree=23750828/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=46972 CPUtime=12.69 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 10855 0 0 0 1268 1 0 0 20 0 1 0 4574871 48099328 11076 33554432000 4194304 5796924 140733503260464 140733503257528 4606802 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 11743 11076 179 392 0 11342 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46972
[startup+25.5003 s]
/proc/loadavg: 2.32 2.30 2.27 3/179 8233
/proc/meminfo: memFree=23741488/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=48648 CPUtime=25.49 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 11279 0 0 0 2548 1 0 0 20 0 1 0 4574871 49815552 11495 33554432000 4194304 5796924 140733503260464 140733503257528 4591930 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 12162 11495 179 392 0 11761 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48648
[startup+51.1003 s]
/proc/loadavg: 2.19 2.27 2.26 3/179 8233
/proc/meminfo: memFree=23729196/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=62972 CPUtime=51.09 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 12762 0 0 0 5107 2 0 0 20 0 1 0 4574871 64483328 14504 33554432000 4194304 5796924 140733503260464 140733503257704 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 15743 14504 179 392 0 15342 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62972
[startup+102.3 s]
/proc/loadavg: 2.20 2.25 2.26 4/179 8234
/proc/meminfo: memFree=23708796/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=81724 CPUtime=102.28 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 13282 0 0 0 10226 2 0 0 20 0 1 0 4574871 83685376 16551 33554432000 4194304 5796924 140733503260464 140733503257704 4592310 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 20431 16551 179 392 0 20030 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 81724
[startup+162.3 s]
/proc/loadavg: 2.17 2.23 2.25 3/179 8235
/proc/meminfo: memFree=23688236/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=100576 CPUtime=162.26 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 13772 0 0 0 16224 2 0 0 20 0 1 0 4574871 102989824 17577 33554432000 4194304 5796924 140733503260464 140733503257704 4606516 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 25144 17577 179 392 0 24743 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 100576
[startup+222.307 s]
/proc/loadavg: 2.23 2.24 2.25 4/180 8239
/proc/meminfo: memFree=23628324/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=100576 CPUtime=222.26 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 14407 0 0 0 22224 2 0 0 20 0 1 0 4574871 102989824 22757 33554432000 4194304 5796924 140733503260464 140733503257704 4607241 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 25144 22757 179 392 0 24743 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 100576
[startup+282.3 s]
/proc/loadavg: 2.46 2.30 2.27 4/179 8240
/proc/meminfo: memFree=23603468/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=100576 CPUtime=282.24 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 14458 0 0 0 28222 2 0 0 20 0 1 0 4574871 102989824 23830 33554432000 4194304 5796924 140733503260464 140733503257704 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 25144 23830 179 392 0 24743 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 100576
[startup+342.3 s]
/proc/loadavg: 2.37 2.30 2.27 3/179 8242
/proc/meminfo: memFree=23605140/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=149896 CPUtime=342.24 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 14825 0 0 0 34220 4 0 0 20 0 1 0 4574871 153493504 32257 33554432000 4194304 5796924 140733503260464 140733503257752 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 37474 32257 179 392 0 37073 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 149896
[startup+402.3 s]
/proc/loadavg: 2.38 2.30 2.27 3/179 8243
/proc/meminfo: memFree=23577564/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=100576 CPUtime=402.22 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 14941 0 0 0 40218 4 0 0 20 0 1 0 4574871 102989824 24479 33554432000 4194304 5796924 140733503260464 140733503257928 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 25144 24479 179 392 0 24743 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 100576
[startup+462.3 s]
/proc/loadavg: 2.48 2.35 2.29 4/179 8244
/proc/meminfo: memFree=23589316/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=105464 CPUtime=462.22 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 15323 0 0 0 46217 5 0 0 20 0 1 0 4574871 107995136 25255 33554432000 4194304 5796924 140733503260464 140733503257704 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 26366 25255 179 392 0 25965 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 105464
[startup+522.3 s]
/proc/loadavg: 2.45 2.36 2.29 4/179 8245
/proc/meminfo: memFree=23593956/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154784 CPUtime=522.21 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 16010 0 0 0 52215 6 0 0 20 0 1 0 4574871 158498816 34503 33554432000 4194304 5796924 140733503260464 140733503257752 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38696 34503 179 392 0 38295 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 154784
[startup+582.3 s]
/proc/loadavg: 2.30 2.34 2.29 4/179 8246
/proc/meminfo: memFree=23535908/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154784 CPUtime=582.2 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 16129 0 0 0 58213 7 0 0 20 0 1 0 4574871 158498816 35527 33554432000 4194304 5796924 140733503260464 140733503257752 4592310 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38696 35527 179 392 0 38295 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 154784
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/179 8257
/proc/meminfo: memFree=23529156/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154784 CPUtime=942.14 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 17881 0 0 0 94201 13 0 0 20 0 1 0 4574871 158498816 35880 33554432000 4194304 5796924 140733503260464 140733503257752 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38696 35880 179 392 0 38295 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 154784
[startup+1002.3 s]
/proc/loadavg: 2.26 2.26 2.26 4/180 8269
/proc/meminfo: memFree=23590340/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154784 CPUtime=1002.12 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 18590 0 0 0 100198 14 0 0 20 0 1 0 4574871 158498816 34856 33554432000 4194304 5796924 140733503260464 140733503257752 4596032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38696 34856 179 392 0 38295 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 154784
[startup+1062.3 s]
/proc/loadavg: 2.27 2.27 2.26 3/179 8270
/proc/meminfo: memFree=23579800/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=105464 CPUtime=1062.12 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 19190 0 0 0 106197 15 0 0 20 0 1 0 4574871 107995136 26054 33554432000 4194304 5796924 140733503260464 140733503257928 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 26366 26054 179 392 0 25965 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 105464
[startup+1122.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/179 8271
/proc/meminfo: memFree=23499416/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=185604 CPUtime=1122.11 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 19903 0 0 0 112194 17 0 0 20 0 1 0 4574871 190058496 39531 33554432000 4194304 5796924 140733503260464 140733503258104 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 46401 39531 179 392 0 46000 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 185604
[startup+1182.3 s]
/proc/loadavg: 2.24 2.26 2.26 4/179 8272
/proc/meminfo: memFree=23538480/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154996 CPUtime=1182.11 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 20077 0 0 0 118193 18 0 0 20 0 1 0 4574871 158715904 37469 33554432000 4194304 5796924 140733503260464 140733503257752 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38749 37469 179 392 0 38348 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 154996
[startup+1242.3 s]
/proc/loadavg: 2.26 2.25 2.26 3/179 8274
/proc/meminfo: memFree=23523708/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154996 CPUtime=1242.09 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 20782 0 0 0 124190 19 0 0 20 0 1 0 4574871 158715904 34397 33554432000 4194304 5796924 140733503260464 140733503257752 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38749 34397 179 392 0 38348 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 154996
[startup+1302.3 s]
/proc/loadavg: 2.15 2.22 2.25 3/179 8275
/proc/meminfo: memFree=23564756/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=185816 CPUtime=1302.08 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 21377 0 0 0 130188 20 0 0 20 0 1 0 4574871 190275584 41120 33554432000 4194304 5796924 140733503260464 140733503258104 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 46454 41120 179 392 0 46053 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 185816
[startup+1362.3 s]
/proc/loadavg: 2.17 2.21 2.24 4/179 8276
/proc/meminfo: memFree=23529772/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154996 CPUtime=1362.07 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 21498 0 0 0 136186 21 0 0 20 0 1 0 4574871 158715904 37981 33554432000 4194304 5796924 140733503260464 140733503257752 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38749 37981 179 392 0 38348 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 154996
[startup+1422.3 s]
/proc/loadavg: 2.21 2.21 2.24 3/180 8280
/proc/meminfo: memFree=23521520/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154996 CPUtime=1422.07 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 22210 0 0 0 142185 22 0 0 20 0 1 0 4574871 158715904 34397 33554432000 4194304 5796924 140733503260464 140733503257752 4592654 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38749 34397 179 392 0 38348 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 154996
[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.24 3/180 8304
/proc/meminfo: memFree=23565288/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=185816 CPUtime=1482.05 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 22806 0 0 0 148183 22 0 0 20 0 1 0 4574871 190275584 41120 33554432000 4194304 5796924 140733503260464 140733503258104 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 46454 41120 179 392 0 46053 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 185816
[startup+1542.31 s]
/proc/loadavg: 2.35 2.26 2.25 4/178 8305
/proc/meminfo: memFree=23528128/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154996 CPUtime=1542.05 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 22927 0 0 0 154182 23 0 0 20 0 1 0 4574871 158715904 37469 33554432000 4194304 5796924 140733503260464 140733503257752 4592593 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38749 37469 179 392 0 38348 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 154996
[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.24 3/179 8307
/proc/meminfo: memFree=23553068/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=105676 CPUtime=1602.03 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 23523 0 0 0 160179 24 0 0 20 0 1 0 4574871 108212224 26107 33554432000 4194304 5796924 140733503260464 140733503257928 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 26419 26107 179 392 0 26018 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 105676
[startup+1662.3 s]
/proc/loadavg: 2.21 2.23 2.24 3/179 8308
/proc/meminfo: memFree=23571460/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=185816 CPUtime=1662.03 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 24236 0 0 0 166177 26 0 0 20 0 1 0 4574871 190275584 39584 33554432000 4194304 5796924 140733503260464 140733503258104 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 46454 39584 179 392 0 46053 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 185816
[startup+1722.3 s]
/proc/loadavg: 2.17 2.21 2.23 3/179 8309
/proc/meminfo: memFree=23544416/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=154996 CPUtime=1722.02 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 24355 0 0 0 172175 27 0 0 20 0 1 0 4574871 158715904 34397 33554432000 4194304 5796924 140733503260464 140733503257752 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 38749 34397 179 392 0 38348 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 154996
[startup+1782.3 s]
/proc/loadavg: 2.16 2.20 2.22 3/179 8310
/proc/meminfo: memFree=23496296/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=185816 CPUtime=1782.01 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 24949 0 0 0 178173 28 0 0 20 0 1 0 4574871 190275584 40608 33554432000 4194304 5796924 140733503260464 140733503258104 4594113 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 46454 40608 179 392 0 46053 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 185816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.20 2.21 2.22 3/179 8310
/proc/meminfo: memFree=23484256/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=185816 CPUtime=1800.01 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 24953 0 0 0 179973 28 0 0 20 0 1 0 4574871 190275584 42656 33554432000 4194304 5796924 140733503260464 140733503258104 4592310 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 46454 42656 179 392 0 46053 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 185816
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 8231 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.20 2.21 2.22 3/179 8310
/proc/meminfo: memFree=23484256/32872528 swapFree=1514864/1684516
[pid=8231] ppid=8228 vsize=185816 CPUtime=1800.01 cores=0,2,4,6
/proc/8231/stat : 8231 (naps-1.02) R 8228 8231 5662 0 -1 4202496 24953 0 0 0 179973 28 0 0 20 0 1 0 4574871 190275584 42656 33554432000 4194304 5796924 140733503260464 140733503258104 4592310 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8231/statm: 46454 42656 179 392 0 46053 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 185816
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.73
CPU system time (s): 0.287956
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 185816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.287956
maximum resident set size= 170672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24965
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= 18
involuntary context switches= 1986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70129 second user time and 6.75797 second system time
The end