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-4097830-1466116562/watcher-4097830-1466116562 -o /tmp/evaluation-result-4097830-1466116562/solver-4097830-1466116562 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466112747-31871 --watchdog 1960 naps-1.02 HOME/instance-4097830-1466116562.opb
pid=2193
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.16 2.23 2.19 3/176 2196
/proc/meminfo: memFree=30359456/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=6684 CPUtime=0 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 13702700 6844416 239 33554432000 4194304 5796924 140734618890384 140734711668392 5151559 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 1671 239 127 392 0 1270 0
[startup+0.100155 s]
/proc/loadavg: 2.16 2.23 2.19 3/176 2196
/proc/meminfo: memFree=30359456/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=6972 CPUtime=0.09 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 473 0 0 0 9 0 0 0 20 0 1 0 13702700 7139328 347 33554432000 4194304 5796924 140734618890384 140734711668392 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 1743 347 127 392 0 1342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6972
[startup+0.200279 s]
/proc/loadavg: 2.16 2.23 2.19 3/176 2196
/proc/meminfo: memFree=30359456/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=7224 CPUtime=0.19 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 548 0 0 0 19 0 0 0 20 0 1 0 13702700 7397376 421 33554432000 4194304 5796924 140734618890384 140734711668392 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 1806 421 127 392 0 1405 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7224
[startup+0.300261 s]
/proc/loadavg: 2.16 2.23 2.19 3/176 2196
/proc/meminfo: memFree=30359456/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=7348 CPUtime=0.29 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 617 0 0 0 29 0 0 0 20 0 1 0 13702700 7524352 488 33554432000 4194304 5796924 140734618890384 140734711668392 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 1837 488 127 392 0 1436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7348
[startup+0.700323 s]
/proc/loadavg: 2.16 2.23 2.19 3/176 2196
/proc/meminfo: memFree=30359456/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=9168 CPUtime=0.69 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 1597 0 0 0 69 0 0 0 20 0 1 0 13702700 9388032 1885 33554432000 4194304 5796924 140734618890384 140734618887496 4592059 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 2292 1885 165 392 0 1891 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9168
[startup+1.50024 s]
/proc/loadavg: 2.14 2.23 2.19 3/177 2197
/proc/meminfo: memFree=30353360/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=12308 CPUtime=1.49 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 3351 0 0 0 149 0 0 0 20 0 1 0 13702700 12603392 2404 33554432000 4194304 5796924 140734618890384 140734618887496 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 3077 2404 166 392 0 2676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12308
[startup+3.10032 s]
/proc/loadavg: 2.14 2.23 2.19 3/177 2197
/proc/meminfo: memFree=30350936/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=24280 CPUtime=3.08 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 5744 0 0 0 308 0 0 0 20 0 1 0 13702700 24862720 5100 33554432000 4194304 5796924 140734618890384 140734618887624 4606491 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 6070 5100 166 392 0 5669 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24280
[startup+6.30028 s]
/proc/loadavg: 2.13 2.22 2.19 3/177 2197
/proc/meminfo: memFree=30336256/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=42956 CPUtime=6.29 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 6255 0 0 0 628 1 0 0 20 0 1 0 13702700 43986944 6484 33554432000 4194304 5796924 140734618890384 140734618887848 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 10739 6485 166 392 0 10338 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42956
[startup+12.7002 s]
/proc/loadavg: 2.12 2.22 2.19 3/177 2197
/proc/meminfo: memFree=30297804/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=42956 CPUtime=12.68 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 7099 0 0 0 1267 1 0 0 20 0 1 0 13702700 43986944 10399 33554432000 4194304 5796924 140734618890384 140734618887848 4607201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 10739 10399 166 392 0 10338 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42956
[startup+25.5003 s]
/proc/loadavg: 2.25 2.24 2.20 4/177 2197
/proc/meminfo: memFree=30300080/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=61812 CPUtime=25.48 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 7705 0 0 0 2547 1 0 0 20 0 1 0 13702700 63295488 15069 33554432000 4194304 5796924 140734618890384 140734618887624 4594583 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 15453 15069 166 392 0 15052 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61812
[startup+51.1003 s]
/proc/loadavg: 2.33 2.27 2.20 3/177 2197
/proc/meminfo: memFree=30290584/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=73644 CPUtime=51.08 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 8940 0 0 0 5106 2 0 0 20 0 1 0 13702700 75411456 17559 33554432000 4194304 5796924 140734618890384 140734618887624 4606565 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 18411 17559 166 392 0 18010 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73644
[startup+102.3 s]
/proc/loadavg: 2.23 2.25 2.20 3/177 2198
/proc/meminfo: memFree=30287800/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=73644 CPUtime=102.28 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 9336 0 0 0 10224 4 0 0 20 0 1 0 13702700 75411456 18071 33554432000 4194304 5796924 140734618890384 140734618887848 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 18411 18071 166 392 0 18010 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73644
[startup+162.3 s]
/proc/loadavg: 2.35 2.28 2.21 4/177 2199
/proc/meminfo: memFree=30287560/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=73644 CPUtime=162.26 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 9737 0 0 0 16221 5 0 0 20 0 1 0 13702700 75411456 18071 33554432000 4194304 5796924 140734618890384 140734618887848 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 18411 18071 166 392 0 18010 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 73644
[startup+222.307 s]
/proc/loadavg: 2.29 2.27 2.21 3/177 2200
/proc/meminfo: memFree=30256968/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=122964 CPUtime=222.26 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 10728 0 0 0 22218 8 0 0 20 0 1 0 13702700 125915136 25867 33554432000 4194304 5796924 140734618890384 140734618887672 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 30741 25867 166 392 0 30340 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 122964
[startup+282.3 s]
/proc/loadavg: 2.35 2.29 2.22 3/178 2204
/proc/meminfo: memFree=30281120/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=73644 CPUtime=282.25 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 11724 0 0 0 28215 10 0 0 20 0 1 0 13702700 75411456 18071 33554432000 4194304 5796924 140734618890384 140734618887848 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 18411 18071 166 392 0 18010 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 73644
[startup+342.3 s]
/proc/loadavg: 2.29 2.28 2.22 4/177 2206
/proc/meminfo: memFree=30215116/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=135012 CPUtime=342.24 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 12992 0 0 0 34212 12 0 0 20 0 1 0 13702700 138252288 32975 33554432000 4194304 5796924 140734618890384 140734618887672 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 33753 32975 166 392 0 33352 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 135012
[startup+402.3 s]
/proc/loadavg: 2.28 2.29 2.22 3/177 2207
/proc/meminfo: memFree=30200172/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=402.22 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 14316 0 0 0 40208 14 0 0 20 0 1 0 13702700 169811968 36122 33554432000 4194304 5796924 140734618890384 140734618888024 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 36122 166 392 0 41057 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 165832
[startup+462.3 s]
/proc/loadavg: 2.16 2.25 2.21 3/177 2208
/proc/meminfo: memFree=30260388/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=85692 CPUtime=462.21 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 15047 0 0 0 46205 16 0 0 20 0 1 0 13702700 87748608 21091 33554432000 4194304 5796924 140734618890384 140734618887848 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 21423 21091 166 392 0 21022 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 85692
[startup+522.3 s]
/proc/loadavg: 2.24 2.26 2.21 4/177 2209
/proc/meminfo: memFree=30224724/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=135012 CPUtime=522.21 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 15909 0 0 0 52203 18 0 0 20 0 1 0 13702700 138252288 30423 33554432000 4194304 5796924 140734618890384 140734618887672 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 33753 30423 166 392 0 33352 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 135012
[startup+582.3 s]
/proc/loadavg: 2.23 2.25 2.21 3/177 2210
/proc/meminfo: memFree=30259684/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=85692 CPUtime=582.19 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 16504 0 0 0 58200 19 0 0 20 0 1 0 13702700 87748608 21091 33554432000 4194304 5796924 140734618890384 140734618887848 4594505 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 21423 21091 166 392 0 21022 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 85692
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.39 2.30 2.23 3/177 2221
/proc/meminfo: memFree=30187388/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=135012 CPUtime=942.14 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 22082 0 0 0 94183 31 0 0 20 0 1 0 13702700 138252288 30935 33554432000 4194304 5796924 140734618890384 140734618887672 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 33753 30935 166 392 0 33352 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 135012
[startup+1002.3 s]
/proc/loadavg: 2.26 2.27 2.22 3/177 2268
/proc/meminfo: memFree=30261780/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1002.13 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 22683 0 0 0 100180 33 0 0 20 0 1 0 13702700 169811968 40218 33554432000 4194304 5796924 140734618890384 140734618888024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 40218 166 392 0 41057 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 165832
[startup+1062.3 s]
/proc/loadavg: 2.20 2.25 2.21 3/176 2269
/proc/meminfo: memFree=30177548/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1062.12 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 24234 0 0 0 106176 36 0 0 20 0 1 0 13702700 169811968 36634 33554432000 4194304 5796924 140734618890384 140734618888024 4607212 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 36634 166 392 0 41057 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 165832
[startup+1122.3 s]
/proc/loadavg: 2.21 2.25 2.21 3/177 2271
/proc/meminfo: memFree=30119448/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=215920 CPUtime=1122.11 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 25067 0 0 0 112174 37 0 0 20 0 1 0 13702700 221102080 44615 33554432000 4194304 5796924 140734618890384 140734618888024 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 53980 44615 166 392 0 53579 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 215920
[startup+1182.3 s]
/proc/loadavg: 2.20 2.23 2.21 3/177 2272
/proc/meminfo: memFree=30123936/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1182.1 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 25797 0 0 0 118171 39 0 0 20 0 1 0 13702700 169811968 37658 33554432000 4194304 5796924 140734618890384 140734618888024 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 37658 166 392 0 41057 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 165832
[startup+1242.3 s]
/proc/loadavg: 2.18 2.22 2.20 3/177 2274
/proc/meminfo: memFree=30168648/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=135012 CPUtime=1242.09 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 26767 0 0 0 124168 41 0 0 20 0 1 0 13702700 138252288 29399 33554432000 4194304 5796924 140734618890384 140734618887672 4607168 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 33753 29399 166 392 0 33352 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 135012
[startup+1302.3 s]
/proc/loadavg: 2.28 2.24 2.20 3/177 2275
/proc/meminfo: memFree=30101304/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1302.08 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 27367 0 0 0 130166 42 0 0 20 0 1 0 13702700 169811968 39194 33554432000 4194304 5796924 140734618890384 140734618888024 4593669 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 39194 166 392 0 41057 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 165832
[startup+1362.3 s]
/proc/loadavg: 2.26 2.24 2.20 3/177 2276
/proc/meminfo: memFree=30167552/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=215920 CPUtime=1362.08 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 28195 0 0 0 136164 44 0 0 20 0 1 0 13702700 221102080 44615 33554432000 4194304 5796924 140734618890384 140734618888024 4607212 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 53980 44615 166 392 0 53579 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 215920
[startup+1422.3 s]
/proc/loadavg: 2.32 2.25 2.21 4/177 2277
/proc/meminfo: memFree=30199592/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1422.07 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 28924 0 0 0 142161 46 0 0 20 0 1 0 13702700 169811968 36634 33554432000 4194304 5796924 140734618890384 140734618888024 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 36634 166 392 0 41057 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 165832
[startup+1482.3 s]
/proc/loadavg: 2.22 2.23 2.20 3/178 2281
/proc/meminfo: memFree=30056576/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=215920 CPUtime=1482.05 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 29759 0 0 0 148158 47 0 0 20 0 1 0 13702700 221102080 45127 33554432000 4194304 5796924 140734618890384 140734618888024 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 53980 45127 166 392 0 53579 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 215920
[startup+1542.31 s]
/proc/loadavg: 2.21 2.23 2.20 3/178 2306
/proc/meminfo: memFree=30100704/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1542.05 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 30490 0 0 0 154156 49 0 0 20 0 1 0 13702700 169811968 36122 33554432000 4194304 5796924 140734618890384 140734618888024 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 36122 166 392 0 41057 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 165832
[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.20 3/177 2307
/proc/meminfo: memFree=30078968/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=215920 CPUtime=1602.04 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 31318 0 0 0 160154 50 0 0 20 0 1 0 13702700 221102080 42567 33554432000 4194304 5796924 140734618890384 140734618888024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 53980 42567 166 392 0 53579 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 215920
[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 2308
/proc/meminfo: memFree=30137032/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1662.04 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 32023 0 0 0 166152 52 0 0 20 0 1 0 13702700 169811968 33532 33554432000 4194304 5796924 140734618890384 140734618888024 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 33532 166 392 0 41057 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 165832
[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/177 2309
/proc/meminfo: memFree=30125612/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=215920 CPUtime=1722.02 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 32893 0 0 0 172149 53 0 0 20 0 1 0 13702700 221102080 43079 33554432000 4194304 5796924 140734618890384 140734618888024 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 53980 43079 166 392 0 53579 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 215920
[startup+1782.3 s]
/proc/loadavg: 2.24 2.22 2.19 4/177 2310
/proc/meminfo: memFree=30086176/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=135012 CPUtime=1782.01 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 33053 0 0 0 178147 54 0 0 20 0 1 0 13702700 138252288 32995 33554432000 4194304 5796924 140734618890384 140734618887672 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 33753 32995 166 392 0 33352 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 135012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/177 2310
/proc/meminfo: memFree=30059772/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1800.01 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 33632 0 0 0 179946 55 0 0 20 0 1 0 13702700 169811968 35610 33554432000 4194304 5796924 140734618890384 140734618888024 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 35610 166 392 0 41057 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 165832
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 2196 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/177 2310
/proc/meminfo: memFree=30059772/32872528 swapFree=1370072/1517240
[pid=2196] ppid=2193 vsize=165832 CPUtime=1800.01 cores=1,3,5,7
/proc/2196/stat : 2196 (naps-1.02) R 2193 2196 29649 0 -1 4202496 33632 0 0 0 179946 55 0 0 20 0 1 0 13702700 169811968 35610 33554432000 4194304 5796924 140734618890384 140734618888024 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2196/statm: 41458 35610 166 392 0 41057 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 165832
Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.46
CPU system time (s): 0.561914
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 215920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.561914
maximum resident set size= 190748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33644
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= 13
involuntary context switches= 1979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2242 second user time and 8.26874 second system time
The end