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

pid=4997
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.05 2.04 2.01 3/176 5000
/proc/meminfo: memFree=31362028/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=6860 CPUtime=0 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 3144250 7024640 278 33554432000 4194304 5796924 140737141195600 140735979148584 4350334 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 1715 278 128 392 0 1314 0

[startup+0.100203 s]
/proc/loadavg: 2.05 2.04 2.01 3/176 5000
/proc/meminfo: memFree=31362028/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=3760 CPUtime=0.09 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 770 0 0 0 9 0 0 0 20 0 1 0 3144250 3850240 598 33554432000 4194304 5796924 140737141195600 140735979148584 5087606 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 940 598 151 392 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3760

[startup+0.200289 s]
/proc/loadavg: 2.05 2.04 2.01 3/176 5000
/proc/meminfo: memFree=31362028/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=3760 CPUtime=0.19 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 770 0 0 0 19 0 0 0 20 0 1 0 3144250 3850240 598 33554432000 4194304 5796924 140737141195600 140737141192584 4199805 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 940 598 151 392 0 539 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3760

[startup+0.300298 s]
/proc/loadavg: 2.05 2.04 2.01 3/176 5000
/proc/meminfo: memFree=31362028/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=3760 CPUtime=0.29 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 770 0 0 0 29 0 0 0 20 0 1 0 3144250 3850240 598 33554432000 4194304 5796924 140737141195600 140737141192584 5087771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 940 598 151 392 0 539 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3760

[startup+0.700282 s]
/proc/loadavg: 2.05 2.04 2.01 3/176 5000
/proc/meminfo: memFree=31362028/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=3760 CPUtime=0.69 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 770 0 0 0 69 0 0 0 20 0 1 0 3144250 3850240 598 33554432000 4194304 5796924 140737141195600 140737141192584 5093586 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 940 598 151 392 0 539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3760

[startup+1.50029 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 5001
/proc/meminfo: memFree=31256656/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=193320 CPUtime=1.49 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 31830 0 0 0 145 4 0 0 20 0 1 0 3144250 197959680 45455 33554432000 4194304 5796924 140737141195600 140737141179608 4639495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 48330 45455 159 392 0 47929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193320

[startup+3.10031 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 5001
/proc/meminfo: memFree=31124040/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=248316 CPUtime=3.09 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 40120 0 0 0 302 7 0 0 20 0 1 0 3144250 254275584 56537 33554432000 4194304 5796924 140737141195600 140737141193096 4648675 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 62079 56537 159 392 0 61678 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 248316

[startup+6.30031 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 5001
/proc/meminfo: memFree=31134232/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=238564 CPUtime=6.29 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 40417 0 0 0 622 7 0 0 20 0 1 0 3144250 244289536 56072 33554432000 4194304 5796924 140737141195600 140737141192648 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 59641 56072 166 392 0 59240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 238564

[startup+12.7003 s]
/proc/loadavg: 2.04 2.04 2.01 3/177 5001
/proc/meminfo: memFree=31127776/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=238564 CPUtime=12.69 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 40489 0 0 0 1262 7 0 0 20 0 1 0 3144250 244289536 56144 33554432000 4194304 5796924 140737141195600 140737141192648 4606640 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 59641 56144 170 392 0 59240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 238564

[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 5001
/proc/meminfo: memFree=31083032/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=287240 CPUtime=25.49 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 41071 0 0 0 2541 8 0 0 20 0 1 0 3144250 294133760 65889 33554432000 4194304 5796924 140737141195600 140737141192664 4568949 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 71810 65889 170 392 0 71409 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 287240

[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 5001
/proc/meminfo: memFree=31067316/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=287240 CPUtime=51.08 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 41394 0 0 0 5100 8 0 0 20 0 1 0 3144250 294133760 66710 33554432000 4194304 5796924 140737141195600 140737141192664 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 71810 66710 170 392 0 71409 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 287240

[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 5006
/proc/meminfo: memFree=31092004/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=287240 CPUtime=102.26 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 41429 0 0 0 10218 8 0 0 20 0 1 0 3144250 294133760 67453 33554432000 4194304 5796924 140737141195600 140737141192664 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 71810 67453 170 392 0 71409 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 287240

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 5030
/proc/meminfo: memFree=31067888/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=287240 CPUtime=162.24 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 41447 0 0 0 16216 8 0 0 20 0 1 0 3144250 294133760 67789 33554432000 4194304 5796924 140737141195600 140737141192664 4607753 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 71810 67789 170 392 0 71409 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 287240

[startup+222.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5031
/proc/meminfo: memFree=31049420/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=287240 CPUtime=222.23 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 41453 0 0 0 22215 8 0 0 20 0 1 0 3144250 294133760 68386 33554432000 4194304 5796924 140737141195600 140737141192664 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 71810 68386 170 392 0 71409 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 287240

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 5032
/proc/meminfo: memFree=31066884/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=298912 CPUtime=282.21 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 41670 0 0 0 28213 8 0 0 20 0 1 0 3144250 306085888 71150 33554432000 4194304 5796924 140737141195600 140737141192664 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 74728 71150 170 392 0 74327 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 298912

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 4/177 5033
/proc/meminfo: memFree=31067616/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=268568 CPUtime=342.21 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 42091 0 0 0 34212 9 0 0 20 0 1 0 3144250 275013632 64262 33554432000 4194304 5796924 140737141195600 140737141192840 4608495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 67142 64262 170 392 0 66741 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 268568

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 5035
/proc/meminfo: memFree=31013936/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=298916 CPUtime=402.19 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 42365 0 0 0 40210 9 0 0 20 0 1 0 3144250 306089984 71150 33554432000 4194304 5796924 140737141195600 140737141192664 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 74729 71150 170 392 0 74328 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 298916

[startup+462.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 5036
/proc/meminfo: memFree=31061840/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=317888 CPUtime=462.19 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 43601 0 0 0 46208 11 0 0 20 0 1 0 3144250 325517312 72216 33554432000 4194304 5796924 140737141195600 140737141192888 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 79472 72216 170 392 0 79071 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 317888

[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5037
/proc/meminfo: memFree=31087044/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=268568 CPUtime=522.17 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 43924 0 0 0 52206 11 0 0 20 0 1 0 3144250 275013632 64230 33554432000 4194304 5796924 140737141195600 140737141193064 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 67142 64230 170 392 0 66741 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 268568

[startup+582.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 5038
/proc/meminfo: memFree=31082836/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=268568 CPUtime=582.17 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 44247 0 0 0 58205 12 0 0 20 0 1 0 3144250 275013632 64230 33554432000 4194304 5796924 140737141195600 140737141193064 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 67142 64230 170 392 0 66741 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 268568

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


[startup+882.307 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 5047
/proc/meminfo: memFree=30874976/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=455360 CPUtime=882.13 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 55777 0 0 0 88193 20 0 0 20 0 1 0 3144250 466288640 106446 33554432000 4194304 5796924 140737141195600 140737141192888 4568998 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 113840 106446 171 392 0 113439 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 455360

[startup+942.3 s]
/proc/loadavg: 2.17 2.09 2.01 3/177 5048
/proc/meminfo: memFree=30869896/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=456440 CPUtime=942.11 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 56745 0 0 0 94189 22 0 0 20 0 1 0 3144250 467394560 104084 33554432000 4194304 5796924 140737141195600 140737141192888 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 114110 104084 171 392 0 113709 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 456440

[startup+1002.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 5050
/proc/meminfo: memFree=30908228/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=456440 CPUtime=1002.1 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 56769 0 0 0 100188 22 0 0 20 0 1 0 3144250 467394560 107944 33554432000 4194304 5796924 140737141195600 140737141192888 4593549 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 114110 107944 171 392 0 113709 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 456440

[startup+1062.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 5051
/proc/meminfo: memFree=30887972/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=456440 CPUtime=1062.09 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 57525 0 0 0 106185 24 0 0 20 0 1 0 3144250 467394560 106135 33554432000 4194304 5796924 140737141195600 140737141192888 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 114110 106135 171 392 0 113709 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 456440

[startup+1122.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 5052
/proc/meminfo: memFree=30849532/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=487260 CPUtime=1122.08 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 58146 0 0 0 112183 25 0 0 20 0 1 0 3144250 498954240 110314 33554432000 4194304 5796924 140737141195600 140737141193240 4606830 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 121815 110314 171 392 0 121414 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 487260

[startup+1182.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 5053
/proc/meminfo: memFree=30929200/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=456440 CPUtime=1182.07 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 58312 0 0 0 118181 26 0 0 20 0 1 0 3144250 467394560 107039 33554432000 4194304 5796924 140737141195600 140737141192888 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 114110 107039 171 392 0 113709 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 456440

[startup+1242.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/177 5054
/proc/meminfo: memFree=30883536/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=487260 CPUtime=1242.06 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 58920 0 0 0 124179 27 0 0 20 0 1 0 3144250 498954240 111218 33554432000 4194304 5796924 140737141195600 140737141193240 4606520 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 121815 111218 171 392 0 121414 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 487260

[startup+1302.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 5058
/proc/meminfo: memFree=30876420/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=458492 CPUtime=1302.06 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 59676 0 0 0 130177 29 0 0 20 0 1 0 3144250 469495808 107621 33554432000 4194304 5796924 140737141195600 140737141192888 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 114623 107621 171 392 0 114222 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 458492

[startup+1362.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/177 5060
/proc/meminfo: memFree=30850992/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=489312 CPUtime=1362.04 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 60287 0 0 0 136174 30 0 0 20 0 1 0 3144250 501055488 111800 33554432000 4194304 5796924 140737141195600 140737141193240 4594171 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 122328 111800 171 392 0 121927 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 489312

[startup+1422.3 s]
/proc/loadavg: 2.17 2.10 2.02 3/177 5061
/proc/meminfo: memFree=30846336/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=458492 CPUtime=1422.04 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 60451 0 0 0 142173 31 0 0 20 0 1 0 3144250 469495808 107621 33554432000 4194304 5796924 140737141195600 140737141192888 4606427 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 114623 107621 171 392 0 114222 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 458492

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/177 5062
/proc/meminfo: memFree=30893620/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=489312 CPUtime=1482.03 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 61065 0 0 0 148170 33 0 0 20 0 1 0 3144250 501055488 111800 33554432000 4194304 5796924 140737141195600 140737141193240 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 122328 111800 171 392 0 121927 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 489312

[startup+1542.31 s]
/proc/loadavg: 2.10 2.09 2.01 3/177 5063
/proc/meminfo: memFree=30888236/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=458712 CPUtime=1542.02 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 61284 0 0 0 154168 34 0 0 20 0 1 0 3144250 469721088 107164 33554432000 4194304 5796924 140737141195600 140737141192888 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 114678 107164 171 392 0 114277 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 458712

[startup+1602.3 s]
/proc/loadavg: 2.13 2.10 2.02 3/177 5110
/proc/meminfo: memFree=30915172/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=489532 CPUtime=1602.01 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 61894 0 0 0 160166 35 0 0 20 0 1 0 3144250 501280768 111855 33554432000 4194304 5796924 140737141195600 140737141193240 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 122383 111855 171 392 0 121982 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 489532

[startup+1662.3 s]
/proc/loadavg: 2.04 2.08 2.01 3/177 5112
/proc/meminfo: memFree=30888496/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=460324 CPUtime=1661.99 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 62484 0 0 0 166163 36 0 0 20 0 1 0 3144250 471371776 108079 33554432000 4194304 5796924 140737141195600 140737141192888 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 115081 108079 171 392 0 114680 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 460324

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.01 3/177 5113
/proc/meminfo: memFree=30867220/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=491144 CPUtime=1721.98 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 63092 0 0 0 172161 37 0 0 20 0 1 0 3144250 502931456 112770 33554432000 4194304 5796924 140737141195600 140737141193240 4606514 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 122786 112770 171 392 0 122385 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 491144

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/177 5114
/proc/meminfo: memFree=30885988/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=461096 CPUtime=1781.97 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 63455 0 0 0 178159 38 0 0 20 0 1 0 3144250 472162304 107248 33554432000 4194304 5796924 140737141195600 140737141192888 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 115274 107248 171 392 0 114873 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 461096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 5114
/proc/meminfo: memFree=30847200/32872528 swapFree=239020/271724
[pid=5000] ppid=4997 vsize=461096 CPUtime=1800.06 cores=1,3,5,7
/proc/5000/stat : 5000 (naps-1.02) R 4997 5000 1985 0 -1 4202496 63458 0 0 0 179968 38 0 0 20 0 1 0 3144250 472162304 108784 33554432000 4194304 5796924 140737141195600 140737141192888 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5000/statm: 115274 108784 171 392 0 114873 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 461096

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 5000 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.08
CPU user time (s): 1799.69
CPU system time (s): 0.38994
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 491916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.38994
maximum resident set size= 461324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63470
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= 90
involuntary context switches= 1876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.10422 second user time and 7.2179 second system time

The end