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

pid=16804
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.07 2.02 2.00 3/176 16807
/proc/meminfo: memFree=25901108/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=6992 CPUtime=0 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 435 0 0 0 0 0 0 0 20 0 1 0 107267780 7159808 310 33554432000 4194304 5796924 140733687704064 140734327505384 5092432 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 1748 311 124 392 0 1347 0

[startup+0.100114 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 16807
/proc/meminfo: memFree=25901108/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=9100 CPUtime=0.09 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 976 0 0 0 9 0 0 0 20 0 1 0 107267780 9318400 851 33554432000 4194304 5796924 140733687704064 140734327505384 4425703 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2275 851 139 392 0 1874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9100

[startup+0.200248 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 16807
/proc/meminfo: memFree=25901108/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=10072 CPUtime=0.19 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2389 0 0 0 19 0 0 0 20 0 1 0 107267780 10313728 2037 33554432000 4194304 5796924 140733687704064 140734327505384 4583593 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2552 2040 156 392 0 2151 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10072

[startup+0.300289 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 16807
/proc/meminfo: memFree=25901108/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=10908 CPUtime=0.29 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2591 0 0 0 29 0 0 0 20 0 1 0 107267780 11169792 2239 33554432000 4194304 5796924 140733687704064 140734327505384 5092915 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2727 2239 162 392 0 2326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10908

[startup+0.700182 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 16807
/proc/meminfo: memFree=25901108/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=10908 CPUtime=0.69 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2591 0 0 0 69 0 0 0 20 0 1 0 107267780 11169792 2239 33554432000 4194304 5796924 140733687704064 140734327505384 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2727 2239 162 392 0 2326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10908

[startup+1.50024 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16808
/proc/meminfo: memFree=25893056/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=10908 CPUtime=1.49 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2591 0 0 0 149 0 0 0 20 0 1 0 107267780 11169792 2239 33554432000 4194304 5796924 140733687704064 140733687701048 4865560 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2727 2239 162 392 0 2326 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10908

[startup+3.10018 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16808
/proc/meminfo: memFree=25892652/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=10908 CPUtime=3.09 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2592 0 0 0 309 0 0 0 20 0 1 0 107267780 11169792 2240 33554432000 4194304 5796924 140733687704064 140733687701048 5096544 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2727 2240 163 392 0 2326 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10908

[startup+6.30018 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16808
/proc/meminfo: memFree=25892796/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=10908 CPUtime=6.29 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2596 0 0 0 629 0 0 0 20 0 1 0 107267780 11169792 2244 33554432000 4194304 5796924 140733687704064 140733687701048 5087766 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2727 2244 163 392 0 2326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10908

[startup+12.7002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 16808
/proc/meminfo: memFree=25892940/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=10908 CPUtime=12.69 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2596 0 0 0 1269 0 0 0 20 0 1 0 107267780 11169792 2244 33554432000 4194304 5796924 140733687704064 140733687701048 5092487 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2727 2244 163 392 0 2326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10908

[startup+25.5002 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 16808
/proc/meminfo: memFree=25891348/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=11048 CPUtime=25.48 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2608 0 0 0 2548 0 0 0 20 0 1 0 107267780 11313152 2256 33554432000 4194304 5796924 140733687704064 140733687698648 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2762 2256 163 392 0 2361 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11048

[startup+51.1002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16809
/proc/meminfo: memFree=25891192/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=11204 CPUtime=51.08 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 2651 0 0 0 5108 0 0 0 20 0 1 0 107267780 11472896 2299 33554432000 4194304 5796924 140733687704064 140733687698552 4808129 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 2801 2299 163 392 0 2400 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11204

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16813
/proc/meminfo: memFree=24705568/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=1293008 CPUtime=102.28 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 150686 0 0 0 10182 46 0 0 20 0 1 0 107267780 1324040192 298710 33554432000 4194304 5796924 140733687704064 140733687701512 4653470 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 323252 298710 178 392 0 322851 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1293008

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

[startup+102.407 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16813
/proc/meminfo: memFree=24705568/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=1293008 CPUtime=102.38 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 150686 0 0 0 10192 46 0 0 20 0 1 0 107267780 1324040192 298710 33554432000 4194304 5796924 140733687704064 140733687701512 4618031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 323252 298710 178 392 0 322851 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1293008

[startup+105.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16813
/proc/meminfo: memFree=24574140/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=1447980 CPUtime=105.58 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 155447 0 0 0 10508 50 0 0 20 0 1 0 107267780 1482731520 330969 33554432000 4194304 5796924 140733687704064 140733687702456 4637662 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 361995 330969 178 392 0 361594 0
Current children cumulated CPU time (s) 105.58
Current children cumulated vsize (KiB) 1447980

[startup+106.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16813
/proc/meminfo: memFree=24574140/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=1569472 CPUtime=106.37 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 158911 0 0 0 10585 52 0 0 20 0 1 0 107267780 1607139328 351922 33554432000 4194304 5796924 140733687704064 140733687702456 4636688 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 392368 351922 178 392 0 391967 0
Current children cumulated CPU time (s) 106.37
Current children cumulated vsize (KiB) 1569472

[startup+107.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16813
/proc/meminfo: memFree=24490060/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=1573164 CPUtime=107.18 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 159800 0 0 0 10665 53 0 0 20 0 1 0 107267780 1610919936 355773 33554432000 4194304 5796924 140733687704064 140733687702456 4627147 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 393291 355773 178 392 0 392890 0
Current children cumulated CPU time (s) 107.18
Current children cumulated vsize (KiB) 1573164

[startup+107.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16813
/proc/meminfo: memFree=24490060/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=1542020 CPUtime=107.37 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 159814 0 0 0 10684 53 0 0 20 0 1 0 107267780 1579028480 349556 33554432000 4194304 5796924 140733687704064 140733687703784 4553778 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 385505 349556 192 392 0 385104 0
Current children cumulated CPU time (s) 107.37
Current children cumulated vsize (KiB) 1542020

[startup+107.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16813
/proc/meminfo: memFree=24490060/32872528 swapFree=10608/190480
[pid=16807] ppid=16804 vsize=1542020 CPUtime=107.47 cores=1,3,5,7
/proc/16807/stat : 16807 (naps-1.02) R 16804 16807 14475 0 -1 4202496 159814 0 0 0 10694 53 0 0 20 0 1 0 107267780 1579028480 349556 33554432000 4194304 5796924 140733687704064 140733687703784 4553778 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/16807/statm: 385505 349556 192 392 0 385104 0
Current children cumulated CPU time (s) 107.47
Current children cumulated vsize (KiB) 1542020

Child status: 30
Real time (s): 107.581
CPU time (s): 107.564
CPU user time (s): 106.977
CPU system time (s): 0.58691
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1573164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.977
system time used= 0.58691
maximum resident set size= 1423140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159815
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= 138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.268959 second user time and 0.429934 second system time

The end