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-4082322-1465255236/watcher-4082322-1465255236 -o /tmp/evaluation-result-4082322-1465255236/solver-4082322-1465255236 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465240311-14492 --watchdog 1960 naps-1.02 HOME/instance-4082322-1465255236.opb 

pid=17063
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.03 2.03 2.07 3/177 17066
/proc/meminfo: memFree=31272880/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=6956 CPUtime=0 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 441 0 0 0 0 0 0 0 20 0 1 0 107458897 7122944 315 33554432000 4194304 5796924 140733823730752 140735998193640 4404063 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1739 315 128 392 0 1338 0

[startup+0.10016 s]
/proc/loadavg: 2.03 2.03 2.07 3/177 17066
/proc/meminfo: memFree=31272880/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8940 CPUtime=0.09 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 941 0 0 0 9 0 0 0 20 0 1 0 107458897 9154560 815 33554432000 4194304 5796924 140733823730752 140735998193640 5100101 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2235 815 139 392 0 1834 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8940

[startup+0.200283 s]
/proc/loadavg: 2.03 2.03 2.07 3/177 17066
/proc/meminfo: memFree=31272880/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=0.19 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2128 0 0 0 19 0 0 0 20 0 1 0 107458897 9211904 1754 33554432000 4194304 5796924 140733823730752 140735998193640 4809323 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1754 162 392 0 1848 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8996

[startup+0.300284 s]
/proc/loadavg: 2.03 2.03 2.07 3/177 17066
/proc/meminfo: memFree=31272880/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=0.29 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2128 0 0 0 29 0 0 0 20 0 1 0 107458897 9211904 1754 33554432000 4194304 5796924 140733823730752 140735998193640 4806878 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1754 162 392 0 1848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8996

[startup+0.700234 s]
/proc/loadavg: 2.03 2.03 2.07 3/177 17066
/proc/meminfo: memFree=31272880/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=0.69 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2128 0 0 0 69 0 0 0 20 0 1 0 107458897 9211904 1754 33554432000 4194304 5796924 140733823730752 140735998193640 5092518 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1754 162 392 0 1848 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8996

[startup+1.50023 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 17067
/proc/meminfo: memFree=31266160/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=1.49 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2129 0 0 0 149 0 0 0 20 0 1 0 107458897 9211904 1755 33554432000 4194304 5796924 140733823730752 140733823727736 5100089 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1755 163 392 0 1848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8996

[startup+3.10024 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 17067
/proc/meminfo: memFree=31265912/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=3.09 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2129 0 0 0 309 0 0 0 20 0 1 0 107458897 9211904 1755 33554432000 4194304 5796924 140733823730752 140733823727736 4295944 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1755 163 392 0 1848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8996

[startup+6.30023 s]
/proc/loadavg: 2.03 2.03 2.07 3/178 17067
/proc/meminfo: memFree=31266056/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=6.29 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2129 0 0 0 629 0 0 0 20 0 1 0 107458897 9211904 1755 33554432000 4194304 5796924 140733823730752 140733823727736 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1755 163 392 0 1848 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8996

[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.07 3/178 17067
/proc/meminfo: memFree=31266328/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=12.69 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2129 0 0 0 1269 0 0 0 20 0 1 0 107458897 9211904 1755 33554432000 4194304 5796924 140733823730752 140733823727736 4806768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1755 163 392 0 1848 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8996

[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.07 3/177 17067
/proc/meminfo: memFree=31267624/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=8996 CPUtime=25.48 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2147 0 0 0 2548 0 0 0 20 0 1 0 107458897 9211904 1773 33554432000 4194304 5796924 140733823730752 140733823727736 4809323 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2249 1773 163 392 0 1848 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8996

[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.07 3/177 17067
/proc/meminfo: memFree=31267384/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=9260 CPUtime=51.09 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 2198 0 0 0 5108 1 0 0 20 0 1 0 107458897 9482240 1824 33554432000 4194304 5796924 140733823730752 140733823725336 4810576 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 2315 1824 163 392 0 1914 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9260

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/177 17068
/proc/meminfo: memFree=29842028/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=1561796 CPUtime=102.28 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 152751 0 0 0 10180 48 0 0 20 0 1 0 107458897 1599279104 357498 33554432000 4194304 5796924 140733823730752 140733823727864 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 390449 357498 182 392 0 390048 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1561796

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/177 17069
/proc/meminfo: memFree=29402328/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=2238284 CPUtime=162.26 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 208337 0 0 0 16157 69 0 0 20 0 1 0 107458897 2292002816 506921 33554432000 4194304 5796924 140733823730752 140733823696184 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 559571 506922 182 392 0 559170 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2238284

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.05 3/177 17070
/proc/meminfo: memFree=27119352/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=4716760 CPUtime=222.26 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 418147 0 0 0 22072 154 0 0 20 0 1 0 107458897 4829962240 1036945 33554432000 4194304 5796924 140733823730752 140733823727960 4637428 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1179190 1036945 184 392 0 1178789 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 4716760

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

[startup+230.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/177 17070
/proc/meminfo: memFree=26823152/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=4890312 CPUtime=230.36 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 453910 0 0 0 22871 165 0 0 20 0 1 0 107458897 5007679488 1110798 33554432000 4194304 5796924 140733823730752 140733823727960 4648010 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1222578 1110798 184 392 0 1222177 0
Current children cumulated CPU time (s) 230.36
Current children cumulated vsize (KiB) 4890312

[startup+256 s]
/proc/loadavg: 2.00 2.01 2.05 3/177 17071
/proc/meminfo: memFree=25665908/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=6598672 CPUtime=255.95 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 563740 0 0 0 25382 213 0 0 20 0 1 0 107458897 6757040128 1436850 33554432000 4194304 5796924 140733823730752 140733823728248 4577307 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1649668 1436850 184 392 0 1649267 0
Current children cumulated CPU time (s) 255.95
Current children cumulated vsize (KiB) 6598672

[startup+268.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/177 17071
/proc/meminfo: memFree=25152112/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=6916140 CPUtime=268.75 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 634660 0 0 0 26640 235 0 0 20 0 1 0 107458897 7082127360 1529064 33554432000 4194304 5796924 140733823730752 140733823727960 4650426 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1729035 1529064 184 392 0 1728634 0
Current children cumulated CPU time (s) 268.75
Current children cumulated vsize (KiB) 6916140

[startup+275.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17071
/proc/meminfo: memFree=24891264/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=7038548 CPUtime=275.15 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 665527 0 0 0 27269 246 0 0 20 0 1 0 107458897 7207473152 1595365 33554432000 4194304 5796924 140733823730752 140733823729144 4638299 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1759670 1595366 184 392 0 1759269 0
Current children cumulated CPU time (s) 275.15
Current children cumulated vsize (KiB) 7038548

[startup+278.407 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17071
/proc/meminfo: memFree=24635840/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=7394964 CPUtime=278.35 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 668986 0 0 0 27585 250 0 0 20 0 1 0 107458897 7572443136 1656542 33554432000 4194304 5796924 140733823730752 140733823728248 4577093 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1848741 1656542 184 392 0 1848340 0
Current children cumulated CPU time (s) 278.35
Current children cumulated vsize (KiB) 7394964

[startup+279.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17071
/proc/meminfo: memFree=24635840/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=7051088 CPUtime=279.14 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 668988 0 0 0 27664 250 0 0 20 0 1 0 107458897 7220314112 1587386 33554432000 4194304 5796924 140733823730752 140733823728248 4606455 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1762772 1587386 184 392 0 1762371 0
Current children cumulated CPU time (s) 279.14
Current children cumulated vsize (KiB) 7051088

[startup+280 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17071
/proc/meminfo: memFree=25082324/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=6826328 CPUtime=279.95 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202496 669002 0 0 0 27744 251 0 0 20 0 1 0 107458897 6990159872 1544968 33554432000 4194304 5796924 140733823730752 140733823730472 4553778 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 1706582 1544968 198 392 0 1706181 0
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (KiB) 6826328

[startup+280.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17071
/proc/meminfo: memFree=25082324/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=0 CPUtime=280.15 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202500 669003 0 0 0 27757 258 0 0 20 0 1 0 107458897 0 0 33554432000 0 0 0 0 0 0 0 4096 17954 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 0

[startup+280.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17071
/proc/meminfo: memFree=25082324/32872528 swapFree=10608/190480
[pid=17066] ppid=17063 vsize=0 CPUtime=280.25 cores=1,3,5,7
/proc/17066/stat : 17066 (naps-1.02) R 17063 17066 14475 0 -1 4202500 669003 0 0 0 27757 268 0 0 20 0 1 0 107458897 0 0 33554432000 0 0 0 0 0 0 0 4096 17954 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17066/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 280.25
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 280.373
CPU time (s): 280.33
CPU user time (s): 277.573
CPU system time (s): 2.75758
CPU usage (%): 99.9849
Max. virtual memory (cumulated for all children) (KiB): 7394964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 277.573
system time used= 2.75758
maximum resident set size= 6628216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669003
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= 328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.867868 second user time and 1.38179 second system time

The end