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-4118792-1467244518/watcher-4118792-1467244518 -o /tmp/evaluation-result-4118792-1467244518/solver-4118792-1467244518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467233927-4324 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118792-1467244518.opb 

pid=5242
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.25 2.16 2.10 3/176 5245
/proc/meminfo: memFree=30199440/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/5245/stat : 5245 (runsolver) D 5242 5245 1985 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 3482890 24911872 151 33554432000 4194304 4338465 140735295220064 140735295217704 251143212215 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/5245/statm: 6082 151 105 36 0 2655 0

[startup+0.100152 s]
/proc/loadavg: 2.25 2.16 2.10 3/176 5245
/proc/meminfo: memFree=30199440/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/5245/stat : 5245 (runsolver) D 5242 5245 1985 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 3482890 24911872 151 33554432000 4194304 4338465 140735295220064 140735295217704 251143212215 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/5245/statm: 6082 151 105 36 0 2655 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24328

[startup+0.207054 s]
/proc/loadavg: 2.25 2.16 2.10 3/176 5245
/proc/meminfo: memFree=30199440/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=9168 CPUtime=0.07 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 991 0 0 0 7 0 0 0 20 0 1 0 3482890 9388032 857 33554432000 4194304 5796924 140733796495152 140735295217256 4404063 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 2292 857 129 392 0 1891 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9168

[startup+0.300278 s]
/proc/loadavg: 2.25 2.16 2.10 3/176 5245
/proc/meminfo: memFree=30199440/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=10212 CPUtime=0.16 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 1343 0 0 0 16 0 0 0 20 0 1 0 3482890 10457088 1158 33554432000 4194304 5796924 140733796495152 140735295217256 4623838 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 2553 1158 141 392 0 2152 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10212

[startup+0.7003 s]
/proc/loadavg: 2.25 2.16 2.10 3/176 5245
/proc/meminfo: memFree=30199440/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=112616 CPUtime=0.56 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 22343 0 0 0 53 3 0 0 20 0 1 0 3482890 115318784 24753 33554432000 4194304 5796924 140733796495152 140735295217256 4601696 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 28154 24754 167 392 0 27753 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 112616

[startup+1.5003 s]
/proc/loadavg: 2.25 2.16 2.10 3/177 5246
/proc/meminfo: memFree=30062856/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=154760 CPUtime=1.36 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 30123 0 0 0 131 5 0 0 20 0 1 0 3482890 158474240 35450 33554432000 4194304 5796924 140733796495152 140733796492344 4639753 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 38690 35450 167 392 0 38289 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 154760

[startup+3.1003 s]
/proc/loadavg: 2.25 2.16 2.10 3/177 5246
/proc/meminfo: memFree=30056644/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=154756 CPUtime=2.96 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 30588 0 0 0 291 5 0 0 20 0 1 0 3482890 158470144 35508 33554432000 4194304 5796924 140733796495152 140733796493000 4606442 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 38689 35508 177 392 0 38288 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 154756

[startup+6.3003 s]
/proc/loadavg: 2.23 2.16 2.10 3/177 5246
/proc/meminfo: memFree=30056956/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=155556 CPUtime=6.16 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 30688 0 0 0 611 5 0 0 20 0 1 0 3482890 159289344 35608 33554432000 4194304 5796924 140733796495152 140733796492200 4606442 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 38889 35608 179 392 0 38488 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 155556

[startup+12.7003 s]
/proc/loadavg: 2.21 2.16 2.10 3/177 5246
/proc/meminfo: memFree=30038996/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=173564 CPUtime=12.56 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 31110 0 0 0 1251 5 0 0 20 0 1 0 3482890 177729536 39607 33554432000 4194304 5796924 140733796495152 140733796492392 4606507 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 43391 39607 179 392 0 42990 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 173564

[startup+25.5004 s]
/proc/loadavg: 2.17 2.15 2.10 3/177 5246
/proc/meminfo: memFree=30025960/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=185056 CPUtime=25.36 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 31996 0 0 0 2530 6 0 0 20 0 1 0 3482890 189497344 42480 33554432000 4194304 5796924 140733796495152 140733796492216 4606555 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 46264 42480 179 392 0 45863 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 185056

[startup+51.1004 s]
/proc/loadavg: 2.18 2.15 2.10 3/177 5246
/proc/meminfo: memFree=30020996/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=185056 CPUtime=50.95 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 32266 0 0 0 5089 6 0 0 20 0 1 0 3482890 189497344 43063 33554432000 4194304 5796924 140733796495152 140733796492616 4592304 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 46264 43063 179 392 0 45863 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 185056

[startup+102.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/177 5248
/proc/meminfo: memFree=30114140/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=102.15 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 32367 0 0 0 10209 6 0 0 20 0 1 0 3482890 208805888 47754 33554432000 4194304 5796924 140733796495152 140733796492392 4591861 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 47754 179 392 0 50577 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 203912

[startup+162.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 5249
/proc/meminfo: memFree=30107636/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=162.14 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 32520 0 0 0 16207 7 0 0 20 0 1 0 3482890 208805888 47798 33554432000 4194304 5796924 140733796495152 140733796492616 4592031 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 47798 179 392 0 50577 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 203912

[startup+222.307 s]
/proc/loadavg: 2.29 2.19 2.11 3/177 5296
/proc/meminfo: memFree=30984696/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=222.14 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 32629 0 0 0 22206 8 0 0 20 0 1 0 3482890 208805888 47798 33554432000 4194304 5796924 140733796495152 140733796492616 4592010 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 47798 179 392 0 50577 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 203912

[startup+282.3 s]
/proc/loadavg: 2.17 2.17 2.10 3/177 5297
/proc/meminfo: memFree=30616364/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=282.1 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 32769 0 0 0 28202 8 0 0 20 0 1 0 3482890 208805888 48450 33554432000 4194304 5796924 140733796495152 140733796492616 4594583 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 48450 179 392 0 50577 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 203912

[startup+342.3 s]
/proc/loadavg: 2.17 2.18 2.11 3/178 5301
/proc/meminfo: memFree=30617940/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=342.09 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 32886 0 0 0 34200 9 0 0 20 0 1 0 3482890 208805888 49071 33554432000 4194304 5796924 140733796495152 140733796492616 4592040 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 49071 179 392 0 50577 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 203912

[startup+402.3 s]
/proc/loadavg: 2.18 2.17 2.10 3/179 5326
/proc/meminfo: memFree=30559192/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=402.08 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 33001 0 0 0 40199 9 0 0 20 0 1 0 3482890 259309568 60428 33554432000 4194304 5796924 140733796495152 140733796492440 4606507 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 60428 179 392 0 62907 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 253232

[startup+462.3 s]
/proc/loadavg: 2.17 2.17 2.10 3/177 5326
/proc/meminfo: memFree=30574864/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=462.07 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 33111 0 0 0 46197 10 0 0 20 0 1 0 3482890 259309568 57868 33554432000 4194304 5796924 140733796495152 140733796492440 4595127 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 57868 179 392 0 62907 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 253232

[startup+522.3 s]
/proc/loadavg: 2.25 2.20 2.11 3/177 5327
/proc/meminfo: memFree=30595724/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=522.06 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 33117 0 0 0 52196 10 0 0 20 0 1 0 3482890 208805888 49071 33554432000 4194304 5796924 140733796495152 140733796492616 4591861 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 49071 179 392 0 50577 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 203912

[startup+582.3 s]
/proc/loadavg: 2.25 2.20 2.12 3/177 5328
/proc/meminfo: memFree=30568472/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=582.05 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 33230 0 0 0 58195 10 0 0 20 0 1 0 3482890 259309568 59404 33554432000 4194304 5796924 140733796495152 140733796492440 4592438 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 59404 179 392 0 62907 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 253232

################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.19 2.16 2.10 3/178 5338
/proc/meminfo: memFree=30497496/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=942 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 35329 0 0 0 94184 16 0 0 20 0 1 0 3482890 259309568 59916 33554432000 4194304 5796924 140733796495152 140733796492440 4592061 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 59916 179 392 0 62907 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 253232

[startup+1002.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 5340
/proc/meminfo: memFree=30528756/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1001.98 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 35920 0 0 0 100182 16 0 0 20 0 1 0 3482890 290869248 64079 33554432000 4194304 5796924 140733796495152 140733796492792 4591861 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 64079 179 392 0 70612 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 284052

[startup+1062.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/177 5341
/proc/meminfo: memFree=30544128/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=1061.97 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 36038 0 0 0 106180 17 0 0 20 0 1 0 3482890 259309568 57356 33554432000 4194304 5796924 140733796495152 140733796492440 4592560 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 57356 179 392 0 62907 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 253232

[startup+1122.3 s]
/proc/loadavg: 2.20 2.15 2.10 3/177 5342
/proc/meminfo: memFree=30509680/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1121.96 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 36633 0 0 0 112178 18 0 0 20 0 1 0 3482890 290869248 62543 33554432000 4194304 5796924 140733796495152 140733796492792 4591861 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 62543 179 392 0 70612 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 284052

[startup+1182.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/176 5343
/proc/meminfo: memFree=30556936/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=1181.95 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 36742 0 0 0 118176 19 0 0 20 0 1 0 3482890 259309568 57356 33554432000 4194304 5796924 140733796495152 140733796492440 4592023 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 57356 179 392 0 62907 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 253232

[startup+1242.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/177 5345
/proc/meminfo: memFree=30547656/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1241.94 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 37334 0 0 0 124174 20 0 0 20 0 1 0 3482890 290869248 62031 33554432000 4194304 5796924 140733796495152 140733796492792 4592031 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 62031 179 392 0 70612 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 284052

[startup+1302.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/177 5347
/proc/meminfo: memFree=30586108/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=1301.93 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 37340 0 0 0 130173 20 0 0 20 0 1 0 3482890 208805888 49071 33554432000 4194304 5796924 140733796495152 140733796492616 4592031 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 49071 179 392 0 50577 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 203912

[startup+1362.3 s]
/proc/loadavg: 2.20 2.14 2.10 3/177 5348
/proc/meminfo: memFree=30541584/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=1361.92 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 37452 0 0 0 136171 21 0 0 20 0 1 0 3482890 259309568 58892 33554432000 4194304 5796924 140733796495152 140733796492440 4606507 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 58892 179 392 0 62907 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 253232

[startup+1422.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 5349
/proc/meminfo: memFree=30514532/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1421.92 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 38040 0 0 0 142170 22 0 0 20 0 1 0 3482890 290869248 63055 33554432000 4194304 5796924 140733796495152 140733796492792 4606555 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 63055 179 392 0 70612 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 284052

[startup+1482.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/177 5350
/proc/meminfo: memFree=30563012/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=1481.9 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 38047 0 0 0 148168 22 0 0 20 0 1 0 3482890 208805888 49071 33554432000 4194304 5796924 140733796495152 140733796492616 4591992 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 49071 179 392 0 50577 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 203912

[startup+1542.31 s]
/proc/loadavg: 2.11 2.10 2.09 3/178 5354
/proc/meminfo: memFree=30556200/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=1541.9 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 38157 0 0 0 154168 22 0 0 20 0 1 0 3482890 259309568 57868 33554432000 4194304 5796924 140733796495152 140733796492440 4592061 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 57868 179 392 0 62907 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 253232

[startup+1602.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/177 5356
/proc/meminfo: memFree=30527604/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1601.88 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 38748 0 0 0 160165 23 0 0 20 0 1 0 3482890 290869248 63055 33554432000 4194304 5796924 140733796495152 140733796492792 4591861 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 63055 179 392 0 70612 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 284052

[startup+1662.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/177 5357
/proc/meminfo: memFree=30507120/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1661.87 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 38755 0 0 0 166164 23 0 0 20 0 1 0 3482890 290869248 66639 33554432000 4194304 5796924 140733796495152 140733796492792 4594462 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 66639 179 392 0 70612 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 284052

[startup+1722.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/177 5358
/proc/meminfo: memFree=30568744/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=203912 CPUtime=1721.87 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 38757 0 0 0 172163 24 0 0 20 0 1 0 3482890 208805888 49071 33554432000 4194304 5796924 140733796495152 140733796492616 4591899 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 50978 49071 179 392 0 50577 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 203912

[startup+1782.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/177 5359
/proc/meminfo: memFree=30511768/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=253232 CPUtime=1781.86 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 38873 0 0 0 178162 24 0 0 20 0 1 0 3482890 259309568 60940 33554432000 4194304 5796924 140733796495152 140733796492440 4592059 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 63308 60940 179 392 0 62907 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 253232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.10 2.09 3/177 5359
/proc/meminfo: memFree=30500724/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1800.05 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 39456 0 0 0 179980 25 0 0 20 0 1 0 3482890 290869248 62543 33554432000 4194304 5796924 140733796495152 140733796492792 4606507 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 62543 179 392 0 70612 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 284052

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 5245 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.13 2.10 2.09 3/177 5359
/proc/meminfo: memFree=30500724/32872528 swapFree=239020/271724
[pid=5245] ppid=5242 vsize=284052 CPUtime=1800.05 cores=0,2,4,6
/proc/5245/stat : 5245 (naps-1.02) R 5242 5245 1985 0 -1 4202496 39456 0 0 0 179980 25 0 0 20 0 1 0 3482890 290869248 62543 33554432000 4194304 5796924 140733796495152 140733796492792 4606507 0 0 4096 17954 0 0 0 17 4 0 0 12 0 0
/proc/5245/statm: 71013 62543 179 392 0 70612 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 284052

Child status: 10
Real time (s): 1800.5
CPU time (s): 1800.07
CPU user time (s): 1799.81
CPU system time (s): 0.26196
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 284052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.26196
maximum resident set size= 270652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39468
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= 50
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76228 second user time and 6.70098 second system time

The end