runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15456 MiB free)
  memory of node 1: 16384 MiB (15664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266431-1502580983/watcher-4266431-1502580983 -o /tmp/evaluation-result-4266431-1502580983/solver-4266431-1502580983 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24060 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266431-1502580983.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26154, runsolver pid=26151

[startup+0.100118 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 26155
/proc/meminfo: memFree=31815148/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=96620 memory=60664 CPUtime=0.1 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 13324 0 0 0 8 2 0 0 20 0 1 0 91186034 98938880 15166 33554432000 4194304 5972588 140721822977536 140721822974184 5280335 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 24155 15166 759 435 0 17518 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 96620 KiB
Current children cumulated memory: 60664 KiB

[startup+0.209786 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 26155
/proc/meminfo: memFree=31749528/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=154108 memory=126416 CPUtime=0.21 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 23112 0 0 0 18 3 0 0 20 0 1 0 91186034 157806592 31604 33554432000 4194304 5972588 140721822977536 140721822974184 140332193156069 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 38527 31604 759 435 0 31890 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 154108 KiB
Current children cumulated memory: 126416 KiB

[startup+0.309522 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 26155
/proc/meminfo: memFree=31691924/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=219244 memory=183324 CPUtime=0.31 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 31219 0 0 0 27 4 0 0 20 0 1 0 91186034 224505856 45831 33554432000 4194304 5972588 140721822977536 140721822974184 140332193225259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 54811 45831 759 435 0 48174 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 219244 KiB
Current children cumulated memory: 183324 KiB

[startup+0.70033 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 26155
/proc/meminfo: memFree=31575808/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=481560 memory=402620 CPUtime=0.68 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 59961 0 0 0 57 11 0 0 20 0 1 0 91186034 493117440 100655 33554432000 4194304 5972588 140721822977536 140721822974328 140332193225259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 120390 100655 759 435 0 113753 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 481560 KiB
Current children cumulated memory: 402620 KiB

[startup+1.50033 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 26155
/proc/meminfo: memFree=31297932/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=888800 memory=852924 CPUtime=1.49 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 117345 0 0 0 126 23 0 0 20 0 1 0 91186034 910131200 213231 33554432000 4194304 5972588 140721822977536 140721822974328 5252512 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 222200 213231 759 435 0 215563 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 888800 KiB
Current children cumulated memory: 852924 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26155
/proc/meminfo: memFree=30190472/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=2005852 memory=1736512 CPUtime=3.09 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 230033 0 0 0 264 45 0 0 20 0 1 0 91186034 2053992448 434128 33554432000 4194304 5972588 140721822977536 140721822974328 140332193225259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 501463 434128 759 435 0 494826 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2005852 KiB
Current children cumulated memory: 1736512 KiB

[startup+6.30032 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26155
/proc/meminfo: memFree=28553052/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=3696260 memory=3475080 CPUtime=6.29 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 446931 0 0 0 540 89 0 0 20 0 1 0 91186034 3784970240 868770 33554432000 4194304 5972588 140721822977536 140721822974328 140332193166477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 924065 868770 759 435 0 917428 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3696260 KiB
Current children cumulated memory: 3475080 KiB

[startup+11.8156 s]
# the end of solver process 26154 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.92705 s, system=1.87577 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40035 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26155
/proc/meminfo: memFree=28553052/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=3723800 memory=3529612 CPUtime=6.38 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 453914 0 0 0 548 90 0 0 20 0 1 0 91186034 3813171200 882403 33554432000 4194304 5972588 140721822977536 140721822974328 5280363 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 930950 882403 759 435 0 924313 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 3723800 KiB
Current children cumulated memory: 3529612 KiB

[startup+9.60029 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26155
/proc/meminfo: memFree=26941616/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=5728452 memory=5239964 CPUtime=9.58 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 665403 0 0 0 825 133 0 0 20 0 1 0 91186034 5865934848 1309991 33554432000 4194304 5972588 140721822977536 140721822974328 140332193225259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 1432113 1309991 759 435 0 1425476 0
Current children cumulated CPU time: 9.58 s
Current children cumulated vsize: 5728452 KiB
Current children cumulated memory: 5239964 KiB

[startup+11.2002 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26155
/proc/meminfo: memFree=25945228/32770624 swapFree=67108860/67108860
[pid=26154] ppid=26151 vsize=7551768 memory=5913296 CPUtime=11.18 cores=0,2,4,6
/proc/26154/stat : 26154 (cosoco) R 26151 26154 23976 0 -1 4202496 748436 0 0 0 965 153 0 0 20 0 1 0 91186034 7733010432 1478324 33554432000 4194304 5972588 140721822977536 140721822974328 4913839 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 9613312 140721822979258 140721822979358 140721822979358 140721822982094 0
/proc/26154/statm: 1887942 1478324 778 435 0 1881305 0
Current children cumulated CPU time: 11.18 s
Current children cumulated vsize: 7551768 KiB
Current children cumulated memory: 5913296 KiB

[startup+11.6093 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26155
/proc/meminfo: memFree=26358456/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+11.8001 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 26155
/proc/meminfo: memFree=26358456/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 11.8157
CPU time (s): 11.8028
CPU user time (s): 9.92705
CPU system time (s): 1.87577
CPU usage (%): 99.8909
Max. virtual memory (cumulated for all children) (KiB): 7555556
Max. memory (cumulated for all children) (KiB): 5917544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.92705
system time used= 1.87577
maximum resident set size= 5918324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754606
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= 20
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 26154
#   total CPU time (s): 11.8028
#   total CPU user time (s): 9.92705
#   total CPU system time (s): 1.87577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070914 second user time and 0.120776 second system time

The end