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: 16375 MiB (14504 MiB free)
  memory of node 1: 16384 MiB (15487 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397512-1568572794/watcher-4397512-1568572794 -o /tmp/evaluation-result-4397512-1568572794/solver-4397512-1568572794 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397512-1568572794.xml 

running on 4 cores: 0-3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=17031, runsolver pid=17028


[startup+0.100156 s]*
/proc/loadavg: 0.24 0.06 0.06 3/199 17032
/proc/meminfo: memFree=30701788/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=37344 memory=13692 CPUtime=0.1 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 3591 0 0 0 10 0 0 0 20 0 1 0 433221083 38240256 3423 33554432000 4194304 6211092 140727450958944 140727450955480 5847383 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 9336 3423 807 493 0 2641 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37344 KiB
Current children cumulated memory: 13692 KiB

[startup+0.210801 s]*
/proc/loadavg: 0.24 0.06 0.06 3/199 17032
/proc/meminfo: memFree=30699184/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=40188 memory=16412 CPUtime=0.21 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 4347 0 0 0 21 0 0 0 20 0 1 0 433221083 41152512 4103 33554432000 4194304 6211092 140727450958944 140727450955480 140099940142053 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 10047 4103 822 493 0 3352 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40188 KiB
Current children cumulated memory: 16412 KiB

[startup+0.310255 s]*
/proc/loadavg: 0.24 0.06 0.06 3/199 17032
/proc/meminfo: memFree=30694224/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=45212 memory=21428 CPUtime=0.31 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 5573 0 0 0 31 0 0 0 20 0 1 0 433221083 46297088 5357 33554432000 4194304 6211092 140727450958944 140727450955480 140099940142053 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 11303 5357 822 493 0 4608 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45212 KiB
Current children cumulated memory: 21428 KiB

[startup+0.70031 s]
/proc/loadavg: 0.38 0.10 0.07 3/199 17032
/proc/meminfo: memFree=30684552/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=63992 memory=40172 CPUtime=0.69 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 10264 0 0 0 67 2 0 0 20 0 1 0 433221083 65527808 10043 33554432000 4194304 6211092 140727450958944 140727450955480 140099940211680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 15998 10043 822 493 0 9303 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63992 KiB
Current children cumulated memory: 40172 KiB

[startup+1.50031 s]
/proc/loadavg: 0.38 0.10 0.07 3/199 17033
/proc/meminfo: memFree=30660180/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=103272 memory=79508 CPUtime=1.49 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 20101 0 0 0 145 4 0 0 20 0 1 0 433221083 105750528 19877 33554432000 4194304 6211092 140727450958944 140727450951832 140099940142053 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 25818 19877 822 493 0 19123 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103272 KiB
Current children cumulated memory: 79508 KiB

[startup+3.11052 s]
/proc/loadavg: 0.38 0.10 0.07 3/199 17033
/proc/meminfo: memFree=30604992/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110456 CPUtime=3.1 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 45688 0 0 0 304 6 0 0 20 0 1 0 433221083 137076736 27614 33554432000 4194304 6211092 140727450958944 140727450951832 5008831 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27614 866 493 0 26771 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110456 KiB

[startup+6.30028 s]
/proc/loadavg: 0.51 0.13 0.08 3/200 17035
/proc/meminfo: memFree=30603984/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110456 CPUtime=6.29 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 53635 0 0 0 622 7 0 0 20 0 1 0 433221083 137076736 27614 33554432000 4194304 6211092 140727450958944 140727450946824 5165604 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27614 866 493 0 26771 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110456 KiB

[startup+12.7003 s]
/proc/loadavg: 0.63 0.16 0.09 3/200 17035
/proc/meminfo: memFree=30603608/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110456 CPUtime=12.69 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 61660 0 0 0 1262 7 0 0 20 0 1 0 433221083 137076736 27614 33554432000 4194304 6211092 140727450958944 140727450946824 5409457 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27614 866 493 0 26771 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110456 KiB

[startup+25.5003 s]
/proc/loadavg: 0.84 0.22 0.11 3/199 17035
/proc/meminfo: memFree=30603980/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110456 CPUtime=25.5 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 77585 0 0 0 2542 8 0 0 20 0 1 0 433221083 137076736 27614 33554432000 4194304 6211092 140727450958944 140727450946824 5397375 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27614 866 493 0 26771 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110456 KiB

[startup+51.1103 s]
/proc/loadavg: 1.36 0.41 0.18 3/201 17046
/proc/meminfo: memFree=30601676/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110456 CPUtime=51.11 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 85641 0 0 0 5103 8 0 0 20 0 1 0 433221083 137076736 27614 33554432000 4194304 6211092 140727450958944 140727450946824 5396672 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27614 866 493 0 26771 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110456 KiB

[startup+102.3 s]
/proc/loadavg: 1.72 0.65 0.27 3/201 17050
/proc/meminfo: memFree=30601456/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110456 CPUtime=102.29 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 92013 0 0 0 10221 8 0 0 20 0 1 0 433221083 137076736 27614 33554432000 4194304 6211092 140727450958944 140727450946824 5390005 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27614 866 493 0 26771 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110456 KiB

[startup+162.3 s]
/proc/loadavg: 1.90 0.90 0.38 3/201 17054
/proc/meminfo: memFree=30601664/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110488 CPUtime=162.29 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 92728 0 0 0 16221 8 0 0 20 0 1 0 433221083 137076736 27622 33554432000 4194304 6211092 140727450958944 140727450946824 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27622 866 493 0 26771 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110488 KiB

[startup+162.982 s]
# the end of solver process 17031 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=162.897 s, system=0.085007 s

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

[startup+162.4 s]
/proc/loadavg: 1.90 0.90 0.38 3/201 17054
/proc/meminfo: memFree=30601664/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110488 CPUtime=162.39 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 92728 0 0 0 16231 8 0 0 20 0 1 0 433221083 137076736 27622 33554432000 4194304 6211092 140727450958944 140727450946824 5397226 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27622 866 493 0 26771 0
Current children cumulated CPU time: 162.39 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110488 KiB

[startup+162.8 s]
/proc/loadavg: 1.90 0.90 0.38 3/201 17054
/proc/meminfo: memFree=30601664/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110488 CPUtime=162.79 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 92728 0 0 0 16271 8 0 0 20 0 1 0 433221083 137076736 27622 33554432000 4194304 6211092 140727450958944 140727450946824 5186246 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27622 866 493 0 26771 0
Current children cumulated CPU time: 162.79 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110488 KiB

[startup+162.9 s]
/proc/loadavg: 1.90 0.90 0.38 3/201 17054
/proc/meminfo: memFree=30601664/32770688 swapFree=66961172/67108860
[pid=17031] ppid=17028 vsize=133864 memory=110488 CPUtime=162.89 cores=0-3
/proc/17031/stat : 17031 (cosoco) R 17028 17031 16726 0 -1 4202496 92728 0 0 0 16281 8 0 0 20 0 1 0 433221083 137076736 27622 33554432000 4194304 6211092 140727450958944 140727450946824 5397216 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24735744 140727450965003 140727450965105 140727450965105 140727450968014 0
/proc/17031/statm: 33466 27622 866 493 0 26771 0
Current children cumulated CPU time: 162.89 s
Current children cumulated vsize: 133864 KiB
Current children cumulated memory: 110488 KiB

Child status: 0
Real time (s): 162.982
CPU time (s): 162.982
CPU user time (s): 162.897
CPU system time (s): 0.085007
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 133864
Max. memory (cumulated for all children) (KiB): 110488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.897
system time used= 0.085007
maximum resident set size= 110556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92802
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= 25
involuntary context switches= 45


# summary of solver processes directly reported to runsolver:
#   pid: 17031
#   total CPU time (s): 162.982
#   total CPU user time (s): 162.897
#   total CPU system time (s): 0.085007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.653314 second user time and 1.24531 second system time

The end