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

pid=10958
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.01 2.02 2.00 3/176 10961
/proc/meminfo: memFree=31586076/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=6556 CPUtime=0 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 28645158 6713344 217 33554432000 4194304 5796924 140734342424880 140734121402664 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 1639 217 128 392 0 1238 0

[startup+0.100161 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10961
/proc/meminfo: memFree=31586076/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=7460 CPUtime=0.09 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 556 0 0 0 9 0 0 0 20 0 1 0 28645158 7639040 430 33554432000 4194304 5796924 140734342424880 140734121402664 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 1865 430 140 392 0 1464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7460

[startup+0.200279 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10961
/proc/meminfo: memFree=31586076/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=7460 CPUtime=0.19 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 556 0 0 0 19 0 0 0 20 0 1 0 28645158 7639040 430 33554432000 4194304 5796924 140734342424880 140734342421096 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 1865 430 140 392 0 1464 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7460

[startup+0.300264 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10961
/proc/meminfo: memFree=31586076/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=7460 CPUtime=0.29 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 556 0 0 0 29 0 0 0 20 0 1 0 28645158 7639040 430 33554432000 4194304 5796924 140734342424880 140734342421096 4296356 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 1865 430 140 392 0 1464 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7460

[startup+0.700236 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 10961
/proc/meminfo: memFree=31586076/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=7460 CPUtime=0.69 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 557 0 0 0 69 0 0 0 20 0 1 0 28645158 7639040 431 33554432000 4194304 5796924 140734342424880 140734342421096 4865620 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 1865 431 140 392 0 1464 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7460

[startup+1.50024 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10962
/proc/meminfo: memFree=31584340/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=7592 CPUtime=1.49 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 572 0 0 0 149 0 0 0 20 0 1 0 28645158 7774208 446 33554432000 4194304 5796924 140734342424880 140734342418680 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 1898 446 140 392 0 1497 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7592

[startup+3.10023 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10962
/proc/meminfo: memFree=31579456/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=12012 CPUtime=3.09 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 1714 0 0 0 309 0 0 0 20 0 1 0 28645158 12300288 1588 33554432000 4194304 5796924 140734342424880 140734342421096 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 3003 1588 144 392 0 2602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12012

[startup+6.30024 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10962
/proc/meminfo: memFree=31578804/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=12960 CPUtime=6.29 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 2056 0 0 0 629 0 0 0 20 0 1 0 28645158 13271040 1805 33554432000 4194304 5796924 140734342424880 140734342421096 4808113 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 3240 1805 144 392 0 2839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12960

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10962
/proc/meminfo: memFree=31575276/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=17316 CPUtime=12.69 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 3291 0 0 0 1269 0 0 0 20 0 1 0 28645158 17731584 2875 33554432000 4194304 5796924 140734342424880 140734342421096 5087778 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 4329 2875 144 392 0 3928 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17316

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10962
/proc/meminfo: memFree=31574948/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=17940 CPUtime=25.48 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 3441 0 0 0 2548 0 0 0 20 0 1 0 28645158 18370560 3025 33554432000 4194304 5796924 140734342424880 140734342421096 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 4485 3025 144 392 0 4084 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17940

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 10962
/proc/meminfo: memFree=31569368/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=23568 CPUtime=51.08 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 5053 0 0 0 5107 1 0 0 20 0 1 0 28645158 24133632 4323 33554432000 4194304 5796924 140734342424880 140734342421096 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 5892 4323 144 392 0 5491 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23568

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 10963
/proc/meminfo: memFree=31558980/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=30636 CPUtime=102.28 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 6422 0 0 0 10227 1 0 0 20 0 1 0 28645158 31371264 6055 33554432000 4194304 5796924 140734342424880 140734342421096 5100575 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 7659 6055 144 392 0 7258 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 30636

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10964
/proc/meminfo: memFree=31558248/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=30636 CPUtime=162.26 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 6616 0 0 0 16225 1 0 0 20 0 1 0 28645158 31371264 6249 33554432000 4194304 5796924 140734342424880 140734342421096 5087724 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 7659 6249 144 392 0 7258 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30636

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10966
/proc/meminfo: memFree=31348564/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=248836 CPUtime=222.26 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 40628 0 0 0 22217 9 0 0 20 0 1 0 28645158 254808064 58887 33554432000 4194304 5796924 140734342424880 140734342421928 4583226 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 62209 58887 178 392 0 61808 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 248836

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10961 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.00 3/177 10966
/proc/meminfo: memFree=31345948/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=248836 CPUtime=230.34 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 40711 0 0 0 23025 9 0 0 20 0 1 0 28645158 254808064 59476 33554432000 4194304 5796924 140734342424880 140734342421928 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 62209 59476 178 392 0 61808 0
Current children cumulated CPU time (s) 230.34
Current children cumulated vsize (KiB) 248836

[startup+256 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10970
/proc/meminfo: memFree=31337760/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=269364 CPUtime=255.94 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 41447 0 0 0 25584 10 0 0 20 0 1 0 28645158 275828736 60968 33554432000 4194304 5796924 140734342424880 140734342422152 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 67341 60968 178 392 0 66940 0
Current children cumulated CPU time (s) 255.94
Current children cumulated vsize (KiB) 269364

[startup+262.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10970
/proc/meminfo: memFree=31342644/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=252164 CPUtime=262.34 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 42242 0 0 0 26223 11 0 0 20 0 1 0 28645158 258215936 59664 33554432000 4194304 5796924 140734342424880 140734342423272 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 63041 59664 179 392 0 62640 0
Current children cumulated CPU time (s) 262.34
Current children cumulated vsize (KiB) 252164

[startup+268.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10970
/proc/meminfo: memFree=31339860/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=252164 CPUtime=268.73 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 42250 0 0 0 26862 11 0 0 20 0 1 0 28645158 258215936 60333 33554432000 4194304 5796924 140734342424880 140734342423272 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 63041 60333 179 392 0 62640 0
Current children cumulated CPU time (s) 268.73
Current children cumulated vsize (KiB) 252164

[startup+270.4 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 10970
/proc/meminfo: memFree=31339860/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=252164 CPUtime=270.33 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 42251 0 0 0 27022 11 0 0 20 0 1 0 28645158 258215936 60334 33554432000 4194304 5796924 140734342424880 140734342423272 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 63041 60334 179 392 0 62640 0
Current children cumulated CPU time (s) 270.33
Current children cumulated vsize (KiB) 252164

[startup+271.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10970
/proc/meminfo: memFree=31339992/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=252164 CPUtime=271.13 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 42293 0 0 0 27102 11 0 0 20 0 1 0 28645158 258215936 60376 33554432000 4194304 5796924 140734342424880 140734342423272 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 63041 60376 179 392 0 62640 0
Current children cumulated CPU time (s) 271.13
Current children cumulated vsize (KiB) 252164

[startup+271.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10970
/proc/meminfo: memFree=31339992/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=252164 CPUtime=271.53 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 42312 0 0 0 27142 11 0 0 20 0 1 0 28645158 258215936 60391 33554432000 4194304 5796924 140734342424880 140734342423272 4654159 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 63041 60391 179 392 0 62640 0
Current children cumulated CPU time (s) 271.53
Current children cumulated vsize (KiB) 252164

[startup+271.807 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10970
/proc/meminfo: memFree=31339992/32872528 swapFree=190484/190484
[pid=10961] ppid=10958 vsize=268568 CPUtime=271.73 cores=1,3,5,7
/proc/10961/stat : 10961 (naps-1.02) R 10958 10961 7936 0 -1 4202496 42474 0 0 0 27162 11 0 0 20 0 1 0 28645158 275013632 60525 33554432000 4194304 5796924 140734342424880 140734342423272 4654159 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10961/statm: 67142 60525 179 392 0 66741 0
Current children cumulated CPU time (s) 271.73
Current children cumulated vsize (KiB) 268568

Child status: 30
Real time (s): 271.83
CPU time (s): 271.767
CPU user time (s): 271.648
CPU system time (s): 0.118981
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 301484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.648
system time used= 0.118981
maximum resident set size= 273504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42489
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= 43
involuntary context switches= 303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.898863 second user time and 1.14582 second system time

The end