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

pid=11227
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.00 2.01 2.00 3/176 11230
/proc/meminfo: memFree=31456992/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=6692 CPUtime=0 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 28806235 6852608 249 33554432000 4194304 5796924 140737119711280 140735980610456 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 1673 249 128 392 0 1272 0

[startup+0.100159 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 11230
/proc/meminfo: memFree=31456992/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=7512 CPUtime=0.09 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 590 0 0 0 9 0 0 0 20 0 1 0 28806235 7692288 465 33554432000 4194304 5796924 140737119711280 140735980610456 4865554 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 1878 465 143 392 0 1477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7512

[startup+0.200278 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 11230
/proc/meminfo: memFree=31456992/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=7512 CPUtime=0.19 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 591 0 0 0 19 0 0 0 20 0 1 0 28806235 7692288 466 33554432000 4194304 5796924 140737119711280 140735980610456 5087774 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 1878 466 144 392 0 1477 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7512

[startup+0.300263 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 11230
/proc/meminfo: memFree=31456992/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=7512 CPUtime=0.29 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 591 0 0 0 29 0 0 0 20 0 1 0 28806235 7692288 466 33554432000 4194304 5796924 140737119711280 140735980610456 5087516 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 1878 466 144 392 0 1477 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7512

[startup+0.70022 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 11230
/proc/meminfo: memFree=31456992/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=10156 CPUtime=0.69 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 1247 0 0 0 69 0 0 0 20 0 1 0 28806235 10399744 1122 33554432000 4194304 5796924 140737119711280 140737119707496 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 2539 1122 144 392 0 2138 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10156

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11231
/proc/meminfo: memFree=31450032/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=13348 CPUtime=1.49 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 2168 0 0 0 149 0 0 0 20 0 1 0 28806235 13668352 1918 33554432000 4194304 5796924 140737119711280 140737119707496 5092643 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 3337 1918 144 392 0 2936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13348

[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11231
/proc/meminfo: memFree=31447924/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=16168 CPUtime=3.09 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 3003 0 0 0 309 0 0 0 20 0 1 0 28806235 16556032 2588 33554432000 4194304 5796924 140737119711280 140737119707496 4805602 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 4042 2588 144 392 0 3641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16168

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11231
/proc/meminfo: memFree=31445952/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=18504 CPUtime=6.29 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 3454 0 0 0 629 0 0 0 20 0 1 0 28806235 18948096 3220 33554432000 4194304 5796924 140737119711280 140737119707496 5096576 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 4626 3220 144 392 0 4225 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18504

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11231
/proc/meminfo: memFree=31441600/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=22408 CPUtime=12.69 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 4234 0 0 0 1269 0 0 0 20 0 1 0 28806235 22945792 4000 33554432000 4194304 5796924 140737119711280 140737119707496 5094663 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 5602 4000 144 392 0 5201 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22408

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11231
/proc/meminfo: memFree=31345020/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=121412 CPUtime=25.49 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 25679 0 0 0 2545 4 0 0 20 0 1 0 28806235 124325888 28142 33554432000 4194304 5796924 140737119711280 140737119708600 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 30353 28142 220 392 0 29952 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 121412

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

[startup+25.6004 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11231
/proc/meminfo: memFree=31345020/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=121412 CPUtime=25.59 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 25679 0 0 0 2555 4 0 0 20 0 1 0 28806235 124325888 28142 33554432000 4194304 5796924 140737119711280 140737119708600 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 30353 28142 220 392 0 29952 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 121412

[startup+28.8003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11231
/proc/meminfo: memFree=31328204/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=147852 CPUtime=28.79 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 31013 0 0 0 2874 5 0 0 20 0 1 0 28806235 151400448 33876 33554432000 4194304 5796924 140737119711280 140737119709672 4606483 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 36963 33876 222 392 0 36562 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 147852

[startup+29.6003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11231
/proc/meminfo: memFree=31328204/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=153112 CPUtime=29.59 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 32997 0 0 0 2953 6 0 0 20 0 1 0 28806235 156786688 36128 33554432000 4194304 5796924 140737119711280 140737119709128 5087529 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 38278 36128 222 392 0 37877 0
Current children cumulated CPU time (s) 29.59
Current children cumulated vsize (KiB) 153112

[startup+30.4003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11231
/proc/meminfo: memFree=31312824/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=189084 CPUtime=30.38 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 35793 0 0 0 3032 6 0 0 20 0 1 0 28806235 193622016 44002 33554432000 4194304 5796924 140737119711280 140737119709672 4573471 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 47271 44002 222 392 0 46870 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 189084

[startup+30.8003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11231
/proc/meminfo: memFree=31280440/32872528 swapFree=190484/190484
[pid=11230] ppid=11227 vsize=190908 CPUtime=30.79 cores=0,2,4,6
/proc/11230/stat : 11230 (naps-1.02) R 11227 11230 7936 0 -1 4202496 36142 0 0 0 3073 6 0 0 20 0 1 0 28806235 195489792 44277 33554432000 4194304 5796924 140737119711280 140737119709672 4628287 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11230/statm: 47727 44277 222 392 0 47326 0
Current children cumulated CPU time (s) 30.79
Current children cumulated vsize (KiB) 190908

Child status: 30
Real time (s): 30.855
CPU time (s): 30.8493
CPU user time (s): 30.7703
CPU system time (s): 0.078987
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 190908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.7703
system time used= 0.078987
maximum resident set size= 177272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36193
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= 32

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082987 second user time and 0.124981 second system time

The end