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-4094618-1466106027/watcher-4094618-1466106027 -o /tmp/evaluation-result-4094618-1466106027/solver-4094618-1466106027 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466103675-15292 --watchdog 1960 naps-1.02 HOME/instance-4094618-1466106027.wbo 

pid=15605
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.10 2.10 2.11 3/175 15608
/proc/meminfo: memFree=30296684/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=6552 CPUtime=0 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 12649667 6709248 218 33554432000 4194304 5796924 140733586237744 140737051353560 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 1638 218 127 392 0 1237 0

[startup+0.100142 s]
/proc/loadavg: 2.10 2.10 2.11 3/175 15608
/proc/meminfo: memFree=30296684/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=10168 CPUtime=0.09 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 1233 0 0 0 9 0 0 0 20 0 1 0 12649667 10412032 1091 33554432000 4194304 5796924 140733586237744 140733586237112 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 2542 1092 130 392 0 2141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10168

[startup+0.200297 s]
/proc/loadavg: 2.10 2.10 2.11 3/175 15608
/proc/meminfo: memFree=30296684/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=13484 CPUtime=0.19 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 2123 0 0 0 19 0 0 0 20 0 1 0 12649667 13807616 1917 33554432000 4194304 5796924 140733586237744 140733586237112 5093000 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 3371 1918 130 392 0 2970 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13484

[startup+0.300296 s]
/proc/loadavg: 2.10 2.10 2.11 3/175 15608
/proc/meminfo: memFree=30296684/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=17244 CPUtime=0.29 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 3130 0 0 0 29 0 0 0 20 0 1 0 12649667 17657856 2817 33554432000 4194304 5796924 140733586237744 140733586237112 5092545 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 4311 2817 130 392 0 3910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17244

[startup+0.700302 s]
/proc/loadavg: 2.10 2.10 2.11 3/175 15608
/proc/meminfo: memFree=30296684/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=31080 CPUtime=0.69 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 6722 0 0 0 68 1 0 0 20 0 1 0 12649667 31825920 6121 33554432000 4194304 5796924 140733586237744 140733586237112 4600892 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 7770 6121 130 392 0 7369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31080

[startup+1.50029 s]
/proc/loadavg: 2.10 2.10 2.11 3/176 15609
/proc/meminfo: memFree=30257652/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=59872 CPUtime=1.49 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 13884 0 0 0 147 2 0 0 20 0 1 0 12649667 61308928 13267 33554432000 4194304 5796924 140733586237744 140733586237096 4564234 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 14968 13267 130 392 0 14567 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59872

[startup+3.10029 s]
/proc/loadavg: 2.10 2.10 2.11 3/176 15609
/proc/meminfo: memFree=30159688/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=127280 CPUtime=3.09 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 39181 0 0 0 304 5 0 0 20 0 1 0 12649667 130334720 27575 33554432000 4194304 5796924 140733586237744 140733586232440 5092467 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 31820 27575 150 392 0 31419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127280

[startup+6.3003 s]
/proc/loadavg: 2.10 2.10 2.11 3/176 15609
/proc/meminfo: memFree=30186360/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=127280 CPUtime=6.29 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 39181 0 0 0 624 5 0 0 20 0 1 0 12649667 130334720 27575 33554432000 4194304 5796924 140733586237744 140733586232408 5087494 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 31820 27575 150 392 0 31419 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 127280

[startup+12.7003 s]
/proc/loadavg: 2.09 2.10 2.11 3/176 15609
/proc/meminfo: memFree=30186176/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=127280 CPUtime=12.69 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 39181 0 0 0 1264 5 0 0 20 0 1 0 12649667 130334720 27575 33554432000 4194304 5796924 140733586237744 140733586232408 4809198 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 31820 27575 150 392 0 31419 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127280

[startup+25.5004 s]
/proc/loadavg: 2.14 2.11 2.11 3/176 15609
/proc/meminfo: memFree=30186548/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=127280 CPUtime=25.49 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 39181 0 0 0 2544 5 0 0 20 0 1 0 12649667 130334720 27575 33554432000 4194304 5796924 140733586237744 140733586232408 4806764 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 31820 27575 150 392 0 31419 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127280

[startup+51.1004 s]
/proc/loadavg: 2.16 2.12 2.11 4/175 15609
/proc/meminfo: memFree=27747912/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=2898196 CPUtime=51.08 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 269269 0 0 0 5036 72 0 0 20 0 1 0 12649667 2967752704 664274 33554432000 4194304 5796924 140733586237744 140733586194712 5151925 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 724549 664274 157 392 0 724148 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2898196

[startup+102.3 s]
/proc/loadavg: 2.26 2.14 2.12 3/175 15610
/proc/meminfo: memFree=21757160/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=10338264 CPUtime=102.28 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 708211 0 0 0 9984 244 0 0 20 0 1 0 12649667 10586382336 2130885 33554432000 4194304 5796924 140733586237744 140733586234712 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 2584566 2130885 162 392 0 2584165 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10338264

[startup+162.3 s]
/proc/loadavg: 2.20 2.14 2.12 3/175 15611
/proc/meminfo: memFree=21249300/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=10493232 CPUtime=162.27 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 802808 0 0 0 15933 294 0 0 20 0 1 0 12649667 10745069568 2258550 33554432000 4194304 5796924 140733586237744 140733586234712 4655214 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 2623308 2258550 163 392 0 2622907 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 10493232

[startup+222.307 s]
/proc/loadavg: 2.24 2.16 2.12 3/175 15612
/proc/meminfo: memFree=21445140/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=10516936 CPUtime=222.26 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 809669 0 0 0 21909 317 0 0 20 0 1 0 12649667 10769342464 2208410 33554432000 4194304 5796924 140733586237744 140733586235016 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 2629234 2208410 177 392 0 2628833 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 10516936

[startup+282.3 s]
/proc/loadavg: 2.09 2.13 2.11 3/175 15614
/proc/meminfo: memFree=18232084/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=13434608 CPUtime=282.25 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 1116216 0 0 0 27811 414 0 0 20 0 1 0 12649667 13757038592 3010262 33554432000 4194304 5796924 140733586237744 140733586234712 4648018 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 3358652 3010262 179 392 0 3358251 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 13434608



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+312.8 s]
/proc/loadavg: 2.11 2.13 2.11 3/175 15615
/proc/meminfo: memFree=16808952/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=15897160 CPUtime=312.74 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202496 1286549 0 0 0 30782 492 0 0 20 0 1 0 12649667 16278691840 3388075 33554432000 4194304 5796924 140733586237744 140733586222584 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 3974290 3388077 180 392 0 3973889 0
Current children cumulated CPU time (s) 312.74
Current children cumulated vsize (KiB) 15897160

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

[startup+313.2 s]
/proc/loadavg: 2.11 2.13 2.11 3/175 15615
/proc/meminfo: memFree=16808952/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=0 CPUtime=313.14 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202500 1286564 0 0 0 30782 532 0 0 20 0 1 0 12649667 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 313.14
Current children cumulated vsize (KiB) 0

[startup+313.3 s]
/proc/loadavg: 2.11 2.13 2.11 3/175 15615
/proc/meminfo: memFree=16808952/32872528 swapFree=1315980/1463148
[pid=15608] ppid=15605 vsize=0 CPUtime=313.24 cores=1,3,5,7
/proc/15608/stat : 15608 (naps-1.02) R 15605 15608 14504 0 -1 4202500 1286564 0 0 0 30782 542 0 0 20 0 1 0 12649667 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15608/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 313.24
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 313.36
CPU time (s): 313.31
CPU user time (s): 307.829
CPU system time (s): 5.48117
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 15897160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.829
system time used= 5.48117
maximum resident set size= 13552360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1286564
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= 3
involuntary context switches= 325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.750885 second user time and 1.05384 second system time

The end