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-4082681-1465233819/watcher-4082681-1465233819 -o /tmp/evaluation-result-4082681-1465233819/solver-4082681-1465233819 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465218415-9446 --watchdog 1960 naps-1.02 HOME/instance-4082681-1465233819.opb
pid=12328
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.15 2.18 2.19 2/176 12331
/proc/meminfo: memFree=30079968/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=6828 CPUtime=0 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 398 0 0 0 0 0 0 0 20 0 1 0 105313722 6991872 273 33554432000 4194304 5796924 140733794502976 140735090759736 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 1707 273 129 392 0 1306 0
[startup+0.100172 s]
/proc/loadavg: 2.15 2.18 2.19 2/176 12331
/proc/meminfo: memFree=30079968/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=25416 CPUtime=0.09 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 5504 0 0 0 8 1 0 0 20 0 1 0 105313722 26025984 4906 33554432000 4194304 5796924 140733794502976 140735090759736 4601168 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 6354 4909 159 392 0 5953 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25416
[startup+0.200363 s]
/proc/loadavg: 2.15 2.18 2.19 2/176 12331
/proc/meminfo: memFree=30079968/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=38696 CPUtime=0.19 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 7925 0 0 0 18 1 0 0 20 0 1 0 105313722 39624704 7709 33554432000 4194304 5796924 140733794502976 140735090759736 4626854 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 9674 7709 159 392 0 9273 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38696
[startup+0.300341 s]
/proc/loadavg: 2.15 2.18 2.19 2/176 12331
/proc/meminfo: memFree=30079968/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=36508 CPUtime=0.29 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 9009 0 0 0 27 2 0 0 20 0 1 0 105313722 37384192 7649 33554432000 4194304 5796924 140733794502976 140735090759736 5100989 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 9127 7650 159 392 0 8726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36508
[startup+0.700306 s]
/proc/loadavg: 2.15 2.18 2.19 2/176 12331
/proc/meminfo: memFree=30079968/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=35104 CPUtime=0.69 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 9145 0 0 0 67 2 0 0 20 0 1 0 105313722 35946496 7586 33554432000 4194304 5796924 140733794502976 140733794500024 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 8776 7586 171 392 0 8375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35104
[startup+1.50025 s]
/proc/loadavg: 2.15 2.18 2.19 3/177 12332
/proc/meminfo: memFree=30048532/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=39764 CPUtime=1.49 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 9607 0 0 0 147 2 0 0 20 0 1 0 105313722 40718336 8555 33554432000 4194304 5796924 140733794502976 140733794500216 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 9941 8555 171 392 0 9540 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39764
[startup+3.10029 s]
/proc/loadavg: 2.15 2.18 2.19 3/177 12332
/proc/meminfo: memFree=30092108/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=42444 CPUtime=3.09 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 10338 0 0 0 307 2 0 0 20 0 1 0 105313722 43462656 9228 33554432000 4194304 5796924 140733794502976 140733794500040 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 10611 9228 171 392 0 10210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42444
[startup+6.30029 s]
/proc/loadavg: 2.13 2.17 2.18 3/177 12332
/proc/meminfo: memFree=30094224/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=42444 CPUtime=6.29 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 10575 0 0 0 627 2 0 0 20 0 1 0 105313722 43462656 9067 33554432000 4194304 5796924 140733794502976 140733794500216 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 10611 9067 171 392 0 10210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42444
[startup+12.7003 s]
/proc/loadavg: 2.20 2.19 2.19 3/177 12332
/proc/meminfo: memFree=30055196/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=46836 CPUtime=12.68 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 10927 0 0 0 1266 2 0 0 20 0 1 0 105313722 47960064 10420 33554432000 4194304 5796924 140733794502976 140733794500040 4594441 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 11709 10420 171 392 0 11308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46836
[startup+25.5003 s]
/proc/loadavg: 2.24 2.19 2.19 4/177 12332
/proc/meminfo: memFree=30036152/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=61664 CPUtime=25.49 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 12677 0 0 0 2546 3 0 0 20 0 1 0 105313722 63143936 12651 33554432000 4194304 5796924 140733794502976 140733794500216 4593549 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 15416 12651 171 392 0 15015 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61664
[startup+51.1003 s]
/proc/loadavg: 2.24 2.19 2.19 3/177 12332
/proc/meminfo: memFree=30071236/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=61664 CPUtime=51.08 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 12812 0 0 0 5105 3 0 0 20 0 1 0 105313722 63143936 14311 33554432000 4194304 5796924 140733794502976 140733794500216 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 15416 14311 171 392 0 15015 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61664
[startup+102.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 12333
/proc/meminfo: memFree=29990716/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=69112 CPUtime=102.28 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 13694 0 0 0 10225 3 0 0 20 0 1 0 105313722 70770688 16154 33554432000 4194304 5796924 140733794502976 140733794500040 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 17278 16154 171 392 0 16877 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69112
[startup+162.3 s]
/proc/loadavg: 2.17 2.18 2.18 4/177 12334
/proc/meminfo: memFree=29970560/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=80716 CPUtime=162.27 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14037 0 0 0 16223 4 0 0 20 0 1 0 105313722 82653184 18796 33554432000 4194304 5796924 140733794502976 140733794500216 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 20179 18796 171 392 0 19778 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 80716
[startup+222.307 s]
/proc/loadavg: 2.20 2.19 2.18 4/177 12335
/proc/meminfo: memFree=29956936/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=80716 CPUtime=222.27 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14278 0 0 0 22223 4 0 0 20 0 1 0 105313722 82653184 19032 33554432000 4194304 5796924 140733794502976 140733794500216 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 20179 19032 171 392 0 19778 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 80716
[startup+282.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 12337
/proc/meminfo: memFree=29959796/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=111064 CPUtime=282.25 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14868 0 0 0 28220 5 0 0 20 0 1 0 105313722 113729536 24618 33554432000 4194304 5796924 140733794502976 140733794500216 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 27766 24618 171 392 0 27365 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 111064
[startup+342.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 12338
/proc/meminfo: memFree=29948580/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=111064 CPUtime=342.23 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14881 0 0 0 34218 5 0 0 20 0 1 0 105313722 113729536 25339 33554432000 4194304 5796924 140733794502976 140733794500216 4606718 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 27766 25339 171 392 0 27365 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 111064
[startup+402.3 s]
/proc/loadavg: 2.41 2.26 2.20 3/178 12342
/proc/meminfo: memFree=29952376/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=111064 CPUtime=402.22 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14883 0 0 0 40217 5 0 0 20 0 1 0 105313722 113729536 25851 33554432000 4194304 5796924 140733794502976 140733794500216 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 27766 25851 171 392 0 27365 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 111064
[startup+462.3 s]
/proc/loadavg: 2.20 2.22 2.19 3/177 12343
/proc/meminfo: memFree=29954324/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=111064 CPUtime=462.21 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14883 0 0 0 46216 5 0 0 20 0 1 0 105313722 113729536 25851 33554432000 4194304 5796924 140733794502976 140733794500216 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 27766 25851 171 392 0 27365 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 111064
[startup+522.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/177 12344
/proc/meminfo: memFree=29954460/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=111064 CPUtime=522.2 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14884 0 0 0 52215 5 0 0 20 0 1 0 105313722 113729536 26363 33554432000 4194304 5796924 140733794502976 140733794500216 4606420 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 27766 26363 171 392 0 27365 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 111064
[startup+582.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 12346
/proc/meminfo: memFree=29952300/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=111064 CPUtime=582.19 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 14885 0 0 0 58214 5 0 0 20 0 1 0 105313722 113729536 26875 33554432000 4194304 5796924 140733794502976 140733794500216 4606410 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 27766 26875 171 392 0 27365 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 111064
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 12353
/proc/meminfo: memFree=29906712/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=942.14 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 18121 0 0 0 94203 11 0 0 20 0 1 0 105313722 128208896 30374 33554432000 4194304 5796924 140733794502976 140733794500440 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30374 171 392 0 30900 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 125204
[startup+1002.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/178 12357
/proc/meminfo: memFree=29924440/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=1002.13 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 18368 0 0 0 100201 12 0 0 20 0 1 0 105313722 128208896 30374 33554432000 4194304 5796924 140733794502976 140733794500440 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30374 171 392 0 30900 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 125204
[startup+1062.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/177 12358
/proc/meminfo: memFree=29859068/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1062.12 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 18616 0 0 0 106200 12 0 0 20 0 1 0 105313722 178712576 40331 33554432000 4194304 5796924 140733794502976 140733794500264 4606825 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 40331 171 392 0 43230 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 174524
[startup+1122.3 s]
/proc/loadavg: 2.40 2.25 2.20 4/177 12359
/proc/meminfo: memFree=29875568/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1122.11 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 18862 0 0 0 112198 13 0 0 20 0 1 0 105313722 178712576 39307 33554432000 4194304 5796924 140733794502976 140733794500264 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 39307 171 392 0 43230 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 174524
[startup+1182.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 12361
/proc/meminfo: memFree=29876616/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=1182.1 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 18864 0 0 0 118197 13 0 0 20 0 1 0 105313722 128208896 30374 33554432000 4194304 5796924 140733794502976 140733794500440 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30374 171 392 0 30900 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 125204
[startup+1242.3 s]
/proc/loadavg: 2.25 2.24 2.19 4/177 12362
/proc/meminfo: memFree=29906636/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=1242.09 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 19113 0 0 0 124195 14 0 0 20 0 1 0 105313722 128208896 30374 33554432000 4194304 5796924 140733794502976 140733794500440 4606601 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30374 171 392 0 30900 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 125204
[startup+1302.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 12363
/proc/meminfo: memFree=29836936/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1302.08 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 19362 0 0 0 130194 14 0 0 20 0 1 0 105313722 178712576 40843 33554432000 4194304 5796924 140733794502976 140733794500264 5094086 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 40843 171 392 0 43230 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 174524
[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 12364
/proc/meminfo: memFree=29869016/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1362.08 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 19609 0 0 0 136193 15 0 0 20 0 1 0 105313722 178712576 39819 33554432000 4194304 5796924 140733794502976 140733794500264 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 39819 171 392 0 43230 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 174524
[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.19 4/177 12365
/proc/meminfo: memFree=29841148/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1422.08 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 19857 0 0 0 142192 16 0 0 20 0 1 0 105313722 178712576 39819 33554432000 4194304 5796924 140733794502976 140733794500264 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 39819 171 392 0 43230 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 174524
[startup+1482.3 s]
/proc/loadavg: 2.42 2.29 2.20 3/177 12367
/proc/meminfo: memFree=29879240/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1482.06 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20103 0 0 0 148190 16 0 0 20 0 1 0 105313722 178712576 38795 33554432000 4194304 5796924 140733794502976 140733794500264 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 38795 171 392 0 43230 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 174524
[startup+1542.31 s]
/proc/loadavg: 2.28 2.27 2.20 3/177 12414
/proc/meminfo: memFree=30135568/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=1542.05 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20108 0 0 0 154189 16 0 0 20 0 1 0 105313722 128208896 30374 33554432000 4194304 5796924 140733794502976 140733794500440 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30374 171 392 0 30900 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 125204
[startup+1602.3 s]
/proc/loadavg: 2.18 2.24 2.19 4/178 12418
/proc/meminfo: memFree=30081992/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1602.04 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20361 0 0 0 160187 17 0 0 20 0 1 0 105313722 178712576 41391 33554432000 4194304 5796924 140733794502976 140733794500264 4622611 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 41391 171 392 0 43230 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 174524
[startup+1662.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/177 12419
/proc/meminfo: memFree=30050844/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1662.03 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20608 0 0 0 166185 18 0 0 20 0 1 0 105313722 178712576 39855 33554432000 4194304 5796924 140733794502976 140733794500264 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 39855 171 392 0 43230 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 174524
[startup+1722.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/177 12420
/proc/meminfo: memFree=30087396/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=1722.02 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20612 0 0 0 172184 18 0 0 20 0 1 0 105313722 128208896 30410 33554432000 4194304 5796924 140733794502976 140733794500440 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30410 171 392 0 30900 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 125204
[startup+1782.3 s]
/proc/loadavg: 2.11 2.20 2.18 4/177 12422
/proc/meminfo: memFree=30008168/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=174524 CPUtime=1782.01 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20863 0 0 0 178182 19 0 0 20 0 1 0 105313722 178712576 41903 33554432000 4194304 5796924 140733794502976 140733794500264 4593264 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 43631 41903 171 392 0 43230 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 174524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 12422
/proc/meminfo: memFree=30086616/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=1800.01 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20863 0 0 0 179982 19 0 0 20 0 1 0 105313722 128208896 30410 33554432000 4194304 5796924 140733794502976 140733794500440 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30410 171 392 0 30900 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 125204
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 12331 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 12422
/proc/meminfo: memFree=30086616/32872528 swapFree=18240/1696364
[pid=12331] ppid=12328 vsize=125204 CPUtime=1800.01 cores=1,3,5,7
/proc/12331/stat : 12331 (naps-1.02) R 12328 12331 9429 0 -1 4202496 20863 0 0 0 179982 19 0 0 20 0 1 0 105313722 128208896 30410 33554432000 4194304 5796924 140733794502976 140733794500440 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12331/statm: 31301 30410 171 392 0 30900 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 125204
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.83
CPU system time (s): 0.19297
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 174524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.19297
maximum resident set size= 167612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20875
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= 1979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54931 second user time and 6.90895 second system time
The end