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-4094422-1466093703/watcher-4094422-1466093703 -o /tmp/evaluation-result-4094422-1466093703/solver-4094422-1466093703 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466074855-19418 --watchdog 1960 naps-1.02 HOME/instance-4094422-1466093703.wbo 

pid=23294
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.13 2.17 2.17 4/176 23297
/proc/meminfo: memFree=26472148/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=6544 CPUtime=0 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 11419582 6701056 205 33554432000 4194304 5796924 140734937857968 140736147025560 5151211 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 1636 205 130 392 0 1235 0

[startup+0.100118 s]
/proc/loadavg: 2.13 2.17 2.17 4/176 23297
/proc/meminfo: memFree=26472148/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=9944 CPUtime=0.09 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 1242 0 0 0 9 0 0 0 20 0 1 0 11419582 10182656 1066 33554432000 4194304 5796924 140734937857968 140736147025560 5184407 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 2486 1066 146 392 0 2085 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9944

[startup+0.200278 s]
/proc/loadavg: 2.13 2.17 2.17 4/176 23297
/proc/meminfo: memFree=26472148/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=10192 CPUtime=0.19 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 1303 0 0 0 19 0 0 0 20 0 1 0 11419582 10436608 1127 33554432000 4194304 5796924 140734937857968 140736147025560 4199810 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 2548 1127 146 392 0 2147 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10192

[startup+0.300234 s]
/proc/loadavg: 2.13 2.17 2.17 4/176 23297
/proc/meminfo: memFree=26472148/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=10664 CPUtime=0.29 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 1421 0 0 0 29 0 0 0 20 0 1 0 11419582 10919936 1245 33554432000 4194304 5796924 140734937857968 140736147025560 5184407 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 2666 1245 146 392 0 2265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10664

[startup+0.700202 s]
/proc/loadavg: 2.13 2.17 2.17 4/176 23297
/proc/meminfo: memFree=26472148/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=11608 CPUtime=0.69 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 1739 0 0 0 69 0 0 0 20 0 1 0 11419582 11886592 1480 33554432000 4194304 5796924 140734937857968 140736147025560 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 2902 1480 146 392 0 2501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11608

[startup+1.5002 s]
/proc/loadavg: 2.13 2.17 2.17 4/177 23298
/proc/meminfo: memFree=26442936/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=35528 CPUtime=1.49 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 10662 0 0 0 148 1 0 0 20 0 1 0 11419582 36380672 8056 33554432000 4194304 5796924 140734937857968 140734937854184 5096544 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 8882 8056 165 392 0 8481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35528

[startup+3.10029 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 23298
/proc/meminfo: memFree=26349168/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=419316 CPUtime=3.09 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 51888 0 0 0 298 11 0 0 20 0 1 0 11419582 429379584 97071 33554432000 4194304 5796924 140734937857968 140734937827672 4620644 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 104829 97072 171 392 0 104428 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 419316

[startup+6.3003 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 23298
/proc/meminfo: memFree=25755632/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=825900 CPUtime=6.29 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 95163 0 0 0 605 24 0 0 20 0 1 0 11419582 845721600 193765 33554432000 4194304 5796924 140734937857968 140734937854936 5190026 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 206475 193765 171 392 0 206074 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 825900

[startup+12.7003 s]
/proc/loadavg: 2.10 2.16 2.16 3/177 23298
/proc/meminfo: memFree=25425328/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=846908 CPUtime=12.69 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 100728 0 0 0 1241 28 0 0 20 0 1 0 11419582 867233792 194532 33554432000 4194304 5796924 140734937857968 140734937855240 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 211727 194532 171 392 0 211326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 846908

[startup+25.5003 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 23298
/proc/meminfo: memFree=23735876/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=1720832 CPUtime=25.48 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 169579 0 0 0 2495 53 0 0 20 0 1 0 11419582 1762131968 391893 33554432000 4194304 5796924 140734937857968 140734937851016 4648271 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 430208 391893 179 392 0 429807 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1720832

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

[startup+25.6004 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 23298
/proc/meminfo: memFree=23735876/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=1722548 CPUtime=25.59 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 170058 0 0 0 2505 54 0 0 20 0 1 0 11419582 1763889152 393394 33554432000 4194304 5796924 140734937857968 140734937851016 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 430637 393394 179 392 0 430236 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1722548

[startup+32.0072 s]
/proc/loadavg: 2.15 2.16 2.17 3/177 23298
/proc/meminfo: memFree=23806804/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=1714092 CPUtime=31.99 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 181725 0 0 0 3141 58 0 0 20 0 1 0 11419582 1755230208 406962 33554432000 4194304 5796924 140734937857968 140734937855816 4650410 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 428523 406962 179 392 0 428122 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1714092

[startup+35.2003 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 23298
/proc/meminfo: memFree=23769332/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=1715068 CPUtime=35.18 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 183488 0 0 0 3458 60 0 0 20 0 1 0 11419582 1756229632 398414 33554432000 4194304 5796924 140734937857968 140734937855816 4650167 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 428767 398414 179 392 0 428366 0
Current children cumulated CPU time (s) 35.18
Current children cumulated vsize (KiB) 1715068

[startup+36.0003 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 23298
/proc/meminfo: memFree=23769332/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=1696100 CPUtime=35.98 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 183955 0 0 0 3537 61 0 0 20 0 1 0 11419582 1736806400 396299 33554432000 4194304 5796924 140734937857968 140734937855816 4650892 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 424025 396299 179 392 0 423624 0
Current children cumulated CPU time (s) 35.98
Current children cumulated vsize (KiB) 1696100

[startup+36.8003 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 23298
/proc/meminfo: memFree=23743028/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=1695312 CPUtime=36.79 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202496 185183 0 0 0 3617 62 0 0 20 0 1 0 11419582 1735999488 395929 33554432000 4194304 5796924 140734937857968 140734937855816 4577246 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 423828 395929 179 392 0 423427 0
Current children cumulated CPU time (s) 36.79
Current children cumulated vsize (KiB) 1695312

[startup+37.2003 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 23298
/proc/meminfo: memFree=23743028/32872528 swapFree=1073984/1155744
[pid=23297] ppid=23294 vsize=0 CPUtime=37.18 cores=0,2,4,6
/proc/23297/stat : 23297 (naps-1.02) R 23294 23297 17509 0 -1 4202500 185653 0 0 0 3653 65 0 0 20 0 1 0 11419582 0 0 33554432000 0 0 0 0 0 0 0 4096 17954 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23297/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 37.18
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 37.2237
CPU time (s): 37.2163
CPU user time (s): 36.5364
CPU system time (s): 0.679896
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 1875460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.5364
system time used= 0.679896
maximum resident set size= 1730908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185653
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= 41

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.180972 second user time and 0.371943 second system time

The end