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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301518-1532882532/watcher-4301518-1532882532 -o /tmp/evaluation-result-4301518-1532882532/solver-4301518-1532882532 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301518-1532882532.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6371, runsolver pid=6368


[startup+0.100108 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27971724/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=35184 memory=11384 CPUtime=0.1 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 3060 0 0 0 10 0 0 0 20 0 1 0 105816338 36028416 2846 33554432000 4194304 6142532 140735603060240 140735603056872 140574994688997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 8796 2846 802 476 0 2118 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35184 KiB
Current children cumulated memory: 11384 KiB

[startup+0.209562 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27968092/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=38736 memory=14984 CPUtime=0.21 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 3923 0 0 0 21 0 0 0 20 0 1 0 105816338 39665664 3746 33554432000 4194304 6142532 140735603060240 140735603056872 140574994688997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 9684 3746 802 476 0 3006 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38736 KiB
Current children cumulated memory: 14984 KiB

[startup+0.309131 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27963364/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=43320 memory=19432 CPUtime=0.31 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 5056 0 0 0 31 0 0 0 20 0 1 0 105816338 44359680 4858 33554432000 4194304 6142532 140735603060240 140735603054856 140574994688997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 10830 4858 802 476 0 4152 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43320 KiB
Current children cumulated memory: 19432 KiB

[startup+0.700244 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27954248/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=60748 memory=36864 CPUtime=0.69 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 9423 0 0 0 69 0 0 0 20 0 1 0 105816338 62205952 9216 33554432000 4194304 6142532 140735603060240 140735603054856 140574994688997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 15187 9216 802 476 0 8509 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60748 KiB
Current children cumulated memory: 36864 KiB

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27931864/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=97316 memory=73560 CPUtime=1.48 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 18553 0 0 0 147 1 0 0 20 0 1 0 105816338 99651584 18390 33554432000 4194304 6142532 140735603060240 140735603047928 140574994688997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 24329 18390 802 476 0 17651 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97316 KiB
Current children cumulated memory: 73560 KiB

[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27845320/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=160624 memory=137172 CPUtime=3.1 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 57734 0 0 0 304 6 0 0 20 0 1 0 105816338 164478976 34293 33554432000 4194304 6142532 140735603060240 140735603047928 5146745 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40156 34293 845 476 0 33478 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 160624 KiB
Current children cumulated memory: 137172 KiB

[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27842096/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163424 memory=139944 CPUtime=6.29 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 92474 0 0 0 622 7 0 0 20 0 1 0 105816338 167346176 34986 33554432000 4194304 6142532 140735603060240 140735603047512 5375774 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40856 34986 846 476 0 34178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 163424 KiB
Current children cumulated memory: 139944 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27841352/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163688 memory=140124 CPUtime=12.69 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 126617 0 0 0 1260 9 0 0 20 0 1 0 105816338 167616512 35031 33554432000 4194304 6142532 140735603060240 140735603047512 5048175 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40922 35031 846 476 0 34244 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 163688 KiB
Current children cumulated memory: 140124 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27840300/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163952 memory=140480 CPUtime=25.49 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 194931 0 0 0 2537 12 0 0 20 0 1 0 105816338 167886848 35120 33554432000 4194304 6142532 140735603060240 140735603047512 5363612 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40988 35120 846 476 0 34310 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 140480 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6372
/proc/meminfo: memFree=27839800/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163952 memory=140504 CPUtime=51.11 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 229135 0 0 0 5097 14 0 0 20 0 1 0 105816338 167886848 35126 33554432000 4194304 6142532 140735603060240 140735603057768 5363565 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40988 35126 846 476 0 34310 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 140504 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6373
/proc/meminfo: memFree=27838624/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163952 memory=140504 CPUtime=102.31 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 258340 0 0 0 10215 16 0 0 20 0 1 0 105816338 167886848 35126 33554432000 4194304 6142532 140735603060240 140735603057768 4990603 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40988 35126 846 476 0 34310 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 140504 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6374
/proc/meminfo: memFree=27838372/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163952 memory=140504 CPUtime=162.31 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 286740 0 0 0 16214 17 0 0 20 0 1 0 105816338 167886848 35126 33554432000 4194304 6142532 140735603060240 140735603057768 5363668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40988 35126 846 476 0 34310 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 140504 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6375
/proc/meminfo: memFree=27838680/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163952 memory=140516 CPUtime=222.31 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 288634 0 0 0 22214 17 0 0 20 0 1 0 105816338 167886848 35129 33554432000 4194304 6142532 140735603060240 140735603057768 140575004633960 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40988 35129 846 476 0 34310 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 140516 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 1.93 2.00 1.95 3/187 6436
/proc/meminfo: memFree=27973928/32770624 swapFree=67108532/67108860
[pid=6371] ppid=6368 vsize=163952 memory=140516 CPUtime=252.02 cores=1,3,5,7
/proc/6371/stat : 6371 (cosoco) R 6368 6371 4839 0 -1 4202496 288636 0 0 0 25185 17 0 0 20 0 1 0 105816338 167886848 35129 33554432000 4194304 6142532 140735603060240 140735603057768 5128870 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 8622080 140735603061899 140735603062029 140735603062029 140735603064782 0
/proc/6371/statm: 40988 35129 846 476 0 34310 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 163952 KiB
Current children cumulated memory: 140516 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.011 s]
# the end of solver process 6371 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.855 s, system=0.174019 s

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

Child status: 1
Real time (s): 252.011
CPU time (s): 252.029
CPU user time (s): 251.855
CPU system time (s): 0.174019
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 163952
Max. memory (cumulated for all children) (KiB): 140516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.855
system time used= 0.174019
maximum resident set size= 140584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288682
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= 30
involuntary context switches= 77


# summary of solver processes directly reported to runsolver:
#   pid: 6371
#   total CPU time (s): 252.029
#   total CPU user time (s): 251.855
#   total CPU system time (s): 0.174019

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.945311 second user time and 1.70043 second system time

The end