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-4103807-1466267191/watcher-4103807-1466267191 -o /tmp/evaluation-result-4103807-1466267191/solver-4103807-1466267191 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466264583-28001 --watchdog 1960 naps-1.02 HOME/instance-4103807-1466267191.opb 

pid=28388
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 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.36 2.30 2.27 3/176 28391
/proc/meminfo: memFree=30201508/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=6992 CPUtime=0 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 430 0 0 0 0 0 0 0 20 0 1 0 28764597 7159808 304 33554432000 4194304 5796924 140734368455856 140735287377256 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 1748 304 118 392 0 1347 0

[startup+0.100165 s]
/proc/loadavg: 2.36 2.30 2.27 3/176 28391
/proc/meminfo: memFree=30201508/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=9508 CPUtime=0.09 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 1111 0 0 0 9 0 0 0 20 0 1 0 28764597 9736192 985 33554432000 4194304 5796924 140734368455856 140735287377256 5092432 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 2377 985 144 392 0 1976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9508

[startup+0.200353 s]
/proc/loadavg: 2.36 2.30 2.27 3/176 28391
/proc/meminfo: memFree=30201508/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=9508 CPUtime=0.19 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 1113 0 0 0 19 0 0 0 20 0 1 0 28764597 9736192 987 33554432000 4194304 5796924 140734368455856 140735287377256 4808064 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 2377 987 144 392 0 1976 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9508

[startup+0.300316 s]
/proc/loadavg: 2.36 2.30 2.27 3/176 28391
/proc/meminfo: memFree=30201508/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=9676 CPUtime=0.29 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 1156 0 0 0 29 0 0 0 20 0 1 0 28764597 9908224 1030 33554432000 4194304 5796924 140734368455856 140735287377256 4199760 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 2419 1030 145 392 0 2018 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9676

[startup+0.700225 s]
/proc/loadavg: 2.36 2.30 2.27 3/176 28391
/proc/meminfo: memFree=30201508/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=10204 CPUtime=0.69 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 1269 0 0 0 69 0 0 0 20 0 1 0 28764597 10448896 1143 33554432000 4194304 5796924 140734368455856 140735287377256 5087700 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 2551 1143 145 392 0 2150 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10204

[startup+1.50023 s]
/proc/loadavg: 2.36 2.30 2.27 3/177 28392
/proc/meminfo: memFree=30196276/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=11244 CPUtime=1.49 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 1587 0 0 0 149 0 0 0 20 0 1 0 28764597 11513856 1419 33554432000 4194304 5796924 140734368455856 140734368452072 4313472 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 2811 1419 145 392 0 2410 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11244

[startup+3.10023 s]
/proc/loadavg: 2.33 2.29 2.27 3/177 28392
/proc/meminfo: memFree=30193920/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=11680 CPUtime=3.09 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 1765 0 0 0 309 0 0 0 20 0 1 0 28764597 11960320 1514 33554432000 4194304 5796924 140734368455856 140734368452072 5087504 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 2920 1514 145 392 0 2519 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11680

[startup+6.30023 s]
/proc/loadavg: 2.33 2.29 2.27 3/177 28392
/proc/meminfo: memFree=30192556/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=14248 CPUtime=6.29 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 2506 0 0 0 629 0 0 0 20 0 1 0 28764597 14589952 2090 33554432000 4194304 5796924 140734368455856 140734368452072 4865191 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 3562 2090 145 392 0 3161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14248

[startup+12.7002 s]
/proc/loadavg: 2.28 2.28 2.27 3/177 28392
/proc/meminfo: memFree=30187440/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=18284 CPUtime=12.69 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 3554 0 0 0 1269 0 0 0 20 0 1 0 28764597 18722816 3138 33554432000 4194304 5796924 140734368455856 140734368452072 5092526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 4571 3138 145 392 0 4170 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18284

[startup+25.5004 s]
/proc/loadavg: 2.24 2.27 2.26 4/177 28392
/proc/meminfo: memFree=30184620/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=20140 CPUtime=25.49 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 4285 0 0 0 2549 0 0 0 20 0 1 0 28764597 20623360 3539 33554432000 4194304 5796924 140734368455856 140734368452072 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 5035 3539 145 392 0 4634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20140

[startup+51.1003 s]
/proc/loadavg: 2.30 2.28 2.27 3/177 28392
/proc/meminfo: memFree=30183524/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=20140 CPUtime=51.08 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 4333 0 0 0 5108 0 0 0 20 0 1 0 28764597 20623360 3587 33554432000 4194304 5796924 140734368455856 140734368452072 4810042 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 5035 3587 145 392 0 4634 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20140

[startup+102.3 s]
/proc/loadavg: 2.17 2.25 2.26 3/177 28394
/proc/meminfo: memFree=30110920/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=96728 CPUtime=102.28 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 22815 0 0 0 10224 4 0 0 20 0 1 0 28764597 99049472 20790 33554432000 4194304 5796924 140734368455856 140734368450440 4865570 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 24182 20790 174 392 0 23781 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 96728

[startup+162.3 s]
/proc/loadavg: 2.15 2.23 2.25 4/177 28395
/proc/meminfo: memFree=30105864/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=96980 CPUtime=162.26 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 22847 0 0 0 16222 4 0 0 20 0 1 0 28764597 99307520 21918 33554432000 4194304 5796924 140734368455856 140734368450424 5096658 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 24245 21918 174 392 0 23844 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 96980

[startup+222.307 s]
/proc/loadavg: 2.16 2.22 2.24 3/178 28399
/proc/meminfo: memFree=29809000/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=413956 CPUtime=222.25 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 53736 0 0 0 22213 12 0 0 20 0 1 0 28764597 423890944 96050 33554432000 4194304 5796924 140734368455856 140734368453304 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 103489 96050 183 392 0 103088 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 413956

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28391 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+230.4 s]
/proc/loadavg: 2.15 2.21 2.24 4/178 28399
/proc/meminfo: memFree=29809208/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=413956 CPUtime=230.34 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 53736 0 0 0 23022 12 0 0 20 0 1 0 28764597 423890944 96050 33554432000 4194304 5796924 140734368455856 140734368453304 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 103489 96050 183 392 0 103088 0
Current children cumulated CPU time (s) 230.34
Current children cumulated vsize (KiB) 413956

[startup+243.207 s]
/proc/loadavg: 2.11 2.20 2.24 3/178 28400
/proc/meminfo: memFree=29740912/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=474684 CPUtime=243.15 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 57727 0 0 0 24301 14 0 0 20 0 1 0 28764597 486076416 108230 33554432000 4194304 5796924 140734368455856 140734368453704 4606446 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 118671 108230 184 392 0 118270 0
Current children cumulated CPU time (s) 243.15
Current children cumulated vsize (KiB) 474684

[startup+249.6 s]
/proc/loadavg: 2.10 2.20 2.24 3/178 28400
/proc/meminfo: memFree=29616948/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=696800 CPUtime=249.54 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 65535 0 0 0 24934 20 0 0 20 0 1 0 28764597 713523200 156551 33554432000 4194304 5796924 140734368455856 140734368453144 4623728 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 174200 156551 184 392 0 173799 0
Current children cumulated CPU time (s) 249.54
Current children cumulated vsize (KiB) 696800

[startup+251.2 s]
/proc/loadavg: 2.10 2.20 2.24 4/178 28400
/proc/meminfo: memFree=29484084/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=738980 CPUtime=251.14 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 66135 0 0 0 25093 21 0 0 20 0 1 0 28764597 756715520 173503 33554432000 4194304 5796924 140734368455856 140734368454248 4636080 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 184745 173503 184 392 0 184344 0
Current children cumulated CPU time (s) 251.14
Current children cumulated vsize (KiB) 738980

[startup+252.8 s]
/proc/loadavg: 2.10 2.19 2.23 4/178 28400
/proc/meminfo: memFree=29469564/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=796956 CPUtime=252.74 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 69354 0 0 0 25252 22 0 0 20 0 1 0 28764597 816082944 186363 33554432000 4194304 5796924 140734368455856 140734368454248 5100368 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 199239 186364 184 392 0 198838 0
Current children cumulated CPU time (s) 252.74
Current children cumulated vsize (KiB) 796956

[startup+253.2 s]
/proc/loadavg: 2.10 2.19 2.23 3/178 28400
/proc/meminfo: memFree=29427560/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=838480 CPUtime=253.14 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 70500 0 0 0 25291 23 0 0 20 0 1 0 28764597 858603520 196196 33554432000 4194304 5796924 140734368455856 140734368454248 4635509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 209620 196196 184 392 0 209219 0
Current children cumulated CPU time (s) 253.14
Current children cumulated vsize (KiB) 838480

[startup+253.6 s]
/proc/loadavg: 2.10 2.19 2.23 3/178 28400
/proc/meminfo: memFree=29427560/32872528 swapFree=1459628/1655852
[pid=28391] ppid=28388 vsize=838480 CPUtime=253.54 cores=0,2,4,6
/proc/28391/stat : 28391 (naps-1.02) R 28388 28391 27985 0 -1 4202496 70515 0 0 0 25331 23 0 0 20 0 1 0 28764597 858603520 196722 33554432000 4194304 5796924 140734368455856 140734368454248 4553778 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28391/statm: 209620 196722 198 392 0 209219 0
Current children cumulated CPU time (s) 253.54
Current children cumulated vsize (KiB) 838480

Child status: 30
Real time (s): 253.668
CPU time (s): 253.618
CPU user time (s): 253.365
CPU system time (s): 0.252961
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 838480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.365
system time used= 0.252961
maximum resident set size= 786888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70516
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= 282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.647901 second user time and 0.946856 second system time

The end