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-4082095-1465264834/watcher-4082095-1465264834 -o /tmp/evaluation-result-4082095-1465264834/solver-4082095-1465264834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465244211-28760 --watchdog 1960 naps-1.02 HOME/instance-4082095-1465264834.opb 

pid=1863
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.13 2.13 2.08 3/178 1866
/proc/meminfo: memFree=31034572/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=6552 CPUtime=0 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 108416004 6709248 219 33554432000 4194304 5796924 140734888157152 140734756138968 5087497 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/1866/statm: 1638 219 127 392 0 1237 0

[startup+0.100162 s]
/proc/loadavg: 2.13 2.13 2.08 3/178 1866
/proc/meminfo: memFree=31034572/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=10136 CPUtime=0.09 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 1234 0 0 0 9 0 0 0 20 0 1 0 108416004 10379264 1108 33554432000 4194304 5796924 140734888157152 140734756138968 5095032 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/1866/statm: 2534 1108 127 392 0 2133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10136

[startup+0.200304 s]
/proc/loadavg: 2.13 2.13 2.08 3/178 1866
/proc/meminfo: memFree=31034572/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=11068 CPUtime=0.19 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 1519 0 0 0 19 0 0 0 20 0 1 0 108416004 11333632 1379 33554432000 4194304 5796924 140734888157152 140734756138968 4425326 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/1866/statm: 2767 1379 139 392 0 2366 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11068

[startup+0.300259 s]
/proc/loadavg: 2.13 2.13 2.08 3/178 1866
/proc/meminfo: memFree=31034572/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=11676 CPUtime=0.29 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 1671 0 0 0 29 0 0 0 20 0 1 0 108416004 11956224 1489 33554432000 4194304 5796924 140734888157152 140734756138968 5095032 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/1866/statm: 2919 1489 139 392 0 2518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11676

[startup+0.70031 s]
/proc/loadavg: 2.13 2.13 2.08 3/178 1866
/proc/meminfo: memFree=31034572/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=30528 CPUtime=0.69 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 7769 0 0 0 68 1 0 0 20 0 1 0 108416004 31260672 6475 33554432000 4194304 5796924 140734888157152 140734888154712 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 7632 6475 162 392 0 7231 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30528

[startup+1.5003 s]
/proc/loadavg: 2.13 2.13 2.08 3/179 1867
/proc/meminfo: memFree=31008524/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=33176 CPUtime=1.49 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 8497 0 0 0 148 1 0 0 20 0 1 0 108416004 33972224 7193 33554432000 4194304 5796924 140734888157152 140734888154712 4569031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 8294 7193 164 392 0 7893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33176

[startup+3.10032 s]
/proc/loadavg: 2.12 2.12 2.08 3/179 1867
/proc/meminfo: memFree=31002956/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=41016 CPUtime=3.08 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 10340 0 0 0 307 1 0 0 20 0 1 0 108416004 42000384 9304 33554432000 4194304 5796924 140734888157152 140734888154392 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 10254 9304 165 392 0 9853 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41016

[startup+6.30032 s]
/proc/loadavg: 2.12 2.12 2.08 3/179 1867
/proc/meminfo: memFree=30995036/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=52508 CPUtime=6.28 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 10586 0 0 0 627 1 0 0 20 0 1 0 108416004 53768192 10329 33554432000 4194304 5796924 140734888157152 140734888154616 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 13127 10329 165 392 0 12726 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52508

[startup+12.7003 s]
/proc/loadavg: 2.10 2.12 2.08 3/179 1867
/proc/meminfo: memFree=30975536/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=56972 CPUtime=12.69 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 11508 0 0 0 1267 2 0 0 20 0 1 0 108416004 58339328 13253 33554432000 4194304 5796924 140734888157152 140734888154216 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 14243 13253 165 392 0 13842 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56972

[startup+25.5004 s]
/proc/loadavg: 2.09 2.11 2.08 3/179 1867
/proc/meminfo: memFree=30960772/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=64520 CPUtime=25.48 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 12372 0 0 0 2545 3 0 0 20 0 1 0 108416004 66068480 15140 33554432000 4194304 5796924 140734888157152 140734888154440 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 16130 15140 165 392 0 15729 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64520

[startup+51.1004 s]
/proc/loadavg: 2.06 2.10 2.08 3/179 1890
/proc/meminfo: memFree=30932404/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=51.06 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 13034 0 0 0 5103 3 0 0 20 0 1 0 108416004 104505344 18618 33554432000 4194304 5796924 140734888157152 140734888154392 4592023 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 18618 165 392 0 25113 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 102056

[startup+102.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/178 1891
/proc/meminfo: memFree=30937924/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=102.26 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 14028 0 0 0 10222 4 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 102056

[startup+162.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/178 1893
/proc/meminfo: memFree=30950612/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=162.25 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 15525 0 0 0 16218 7 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4606534 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 102056

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

[startup+179.2 s]
/proc/loadavg: 2.05 2.09 2.08 3/178 1893
/proc/meminfo: memFree=30937908/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=179.14 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16227 0 0 0 17906 8 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 102056

[startup+192 s]
/proc/loadavg: 2.12 2.10 2.08 3/178 1894
/proc/meminfo: memFree=30895220/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=151376 CPUtime=191.95 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16724 0 0 0 19186 9 0 0 20 0 1 0 108416004 155009024 29603 33554432000 4194304 5796924 140734888157152 140734888154440 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 37844 29603 165 392 0 37443 0
Current children cumulated CPU time (s) 191.95
Current children cumulated vsize (KiB) 151376

[startup+198.4 s]
/proc/loadavg: 2.10 2.10 2.08 3/178 1894
/proc/meminfo: memFree=30879020/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=151376 CPUtime=198.34 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16729 0 0 0 19825 9 0 0 20 0 1 0 108416004 155009024 32163 33554432000 4194304 5796924 140734888157152 140734888154440 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 37844 32163 165 392 0 37443 0
Current children cumulated CPU time (s) 198.34
Current children cumulated vsize (KiB) 151376

[startup+204.8 s]
/proc/loadavg: 2.10 2.10 2.08 3/178 1894
/proc/meminfo: memFree=30921468/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=204.74 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16730 0 0 0 20465 9 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 204.74
Current children cumulated vsize (KiB) 102056

[startup+206.4 s]
/proc/loadavg: 2.10 2.10 2.08 3/178 1894
/proc/meminfo: memFree=30921468/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=206.34 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16730 0 0 0 20625 9 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 206.34
Current children cumulated vsize (KiB) 102056

[startup+207.2 s]
/proc/loadavg: 2.17 2.11 2.08 4/184 1904
/proc/meminfo: memFree=30921164/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=207.14 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16730 0 0 0 20705 9 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 207.14
Current children cumulated vsize (KiB) 102056

[startup+208.007 s]
/proc/loadavg: 2.17 2.11 2.08 3/178 1906
/proc/meminfo: memFree=30918924/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=207.95 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16730 0 0 0 20786 9 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 207.95
Current children cumulated vsize (KiB) 102056

[startup+208.2 s]
/proc/loadavg: 2.17 2.11 2.08 3/178 1906
/proc/meminfo: memFree=30918924/32872528 swapFree=12328/568296
[pid=1866] ppid=1863 vsize=102056 CPUtime=208.14 cores=1,3,5,7
/proc/1866/stat : 1866 (naps-1.02) R 1863 1866 28743 0 -1 4202496 16730 0 0 0 20805 9 0 0 20 0 1 0 108416004 104505344 20419 33554432000 4194304 5796924 140734888157152 140734888154616 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/1866/statm: 25514 20419 165 392 0 25113 0
Current children cumulated CPU time (s) 208.14
Current children cumulated vsize (KiB) 102056

Child status: 20
Real time (s): 208.231
CPU time (s): 208.183
CPU user time (s): 208.086
CPU system time (s): 0.096985
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 182196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.086
system time used= 0.096985
maximum resident set size= 131488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16746
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= 16
involuntary context switches= 261

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.556915 second user time and 0.822874 second system time

The end