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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389397-1568323885/watcher-4389397-1568323885 -o /tmp/evaluation-result-4389397-1568323885/solver-4389397-1568323885 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389397-1568323885.xml 

running on 4 cores: 0-3

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=9046, runsolver pid=9043

[startup+0.100179 s]*
/proc/loadavg: 2.33 2.13 2.08 3/201 9047
/proc/meminfo: memFree=16600912/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=77668 memory=54064 CPUtime=0.1 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 13712 0 0 0 8 2 0 0 20 0 1 0 408330156 79532032 13516 33554432000 4194304 6210612 140728744016128 140728744012664 139814119549925 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19450 13516 840 493 0 12755 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77668 KiB
Current children cumulated memory: 54064 KiB

[startup+0.211154 s]*
/proc/loadavg: 2.33 2.13 2.08 3/201 9047
/proc/meminfo: memFree=16596444/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78732 memory=55120 CPUtime=0.21 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 13995 0 0 0 19 2 0 0 20 0 1 0 408330156 80621568 13780 33554432000 4194304 6210612 140728744016128 140728744012248 5138239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19683 13780 840 493 0 12988 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 55120 KiB

[startup+0.310995 s]*
/proc/loadavg: 2.33 2.13 2.08 3/201 9047
/proc/meminfo: memFree=16595700/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78732 memory=55120 CPUtime=0.31 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 13996 0 0 0 29 2 0 0 20 0 1 0 408330156 80621568 13780 33554432000 4194304 6210612 140728744016128 140728744012248 5138194 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19683 13780 840 493 0 12988 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 55120 KiB

[startup+0.700409 s]
/proc/loadavg: 2.33 2.13 2.08 3/201 9047
/proc/meminfo: memFree=16594212/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78732 memory=55120 CPUtime=0.69 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 13996 0 0 0 67 2 0 0 20 0 1 0 408330156 80621568 13780 33554432000 4194304 6210612 140728744016128 140728744012248 5138239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19683 13780 840 493 0 12988 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 55120 KiB

[startup+1.5004 s]
/proc/loadavg: 2.33 2.13 2.08 3/201 9047
/proc/meminfo: memFree=16591236/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78732 memory=55120 CPUtime=1.49 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 13996 0 0 0 147 2 0 0 20 0 1 0 408330156 80621568 13780 33554432000 4194304 6210612 140728744016128 140728744012248 5008626 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19683 13780 840 493 0 12988 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 55120 KiB

[startup+3.11081 s]
/proc/loadavg: 2.33 2.13 2.08 3/202 9049
/proc/meminfo: memFree=16576572/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78732 memory=55336 CPUtime=3.1 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 22126 0 0 0 307 3 0 0 20 0 1 0 408330156 80621568 13834 33554432000 4194304 6210612 140728744016128 140728744014392 5138239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19683 13834 878 493 0 12988 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 55336 KiB

[startup+6.30038 s]
/proc/loadavg: 2.31 2.13 2.08 3/202 9049
/proc/meminfo: memFree=16557100/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78732 memory=55340 CPUtime=6.29 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 30402 0 0 0 626 3 0 0 20 0 1 0 408330156 80621568 13835 33554432000 4194304 6210612 140728744016128 140728744014392 5138190 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19683 13835 878 493 0 12988 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 55340 KiB

[startup+12.7004 s]
/proc/loadavg: 2.28 2.12 2.08 3/201 9049
/proc/meminfo: memFree=16516196/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78732 memory=55340 CPUtime=12.69 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 38883 0 0 0 1265 4 0 0 20 0 1 0 408330156 80621568 13835 33554432000 4194304 6210612 140728744016128 140728744014392 5138239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19683 13835 878 493 0 12988 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 55340 KiB

[startup+25.5004 s]
/proc/loadavg: 2.22 2.12 2.08 3/200 9049
/proc/meminfo: memFree=16427820/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=78864 memory=55444 CPUtime=25.49 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 56265 0 0 0 2544 5 0 0 20 0 1 0 408330156 80756736 13861 33554432000 4194304 6210612 140728744016128 140728744014392 5192880 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 19716 13861 878 493 0 13021 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 78864 KiB
Current children cumulated memory: 55444 KiB

[startup+51.1107 s]
/proc/loadavg: 2.14 2.11 2.08 3/201 9052
/proc/meminfo: memFree=16252420/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=80336 memory=56852 CPUtime=51.1 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 67428 0 0 0 5104 6 0 0 20 0 1 0 408330156 82264064 14213 33554432000 4194304 6210612 140728744016128 140728744013592 5138711 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20084 14213 878 493 0 13389 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 80336 KiB
Current children cumulated memory: 56852 KiB

[startup+102.283 s]
# the end of solver process 9046 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=102.202 s, system=0.090007 s

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

[startup+51.2005 s]
/proc/loadavg: 2.14 2.11 2.08 3/201 9052
/proc/meminfo: memFree=16252420/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=80336 memory=56852 CPUtime=51.19 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 67428 0 0 0 5113 6 0 0 20 0 1 0 408330156 82264064 14213 33554432000 4194304 6210612 140728744016128 140728744013592 5138239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20084 14213 878 493 0 13389 0
Current children cumulated CPU time: 51.19 s
Current children cumulated vsize: 80336 KiB
Current children cumulated memory: 56852 KiB

[startup+76.8004 s]
/proc/loadavg: 2.10 2.10 2.08 3/200 9053
/proc/meminfo: memFree=16084264/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=80468 memory=57028 CPUtime=76.79 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 78783 0 0 0 7672 7 0 0 20 0 1 0 408330156 82399232 14257 33554432000 4194304 6210612 140728744016128 140728744013592 5138868 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20117 14257 878 493 0 13422 0
Current children cumulated CPU time: 76.79 s
Current children cumulated vsize: 80468 KiB
Current children cumulated memory: 57028 KiB

[startup+89.6004 s]
/proc/loadavg: 2.08 2.10 2.08 3/202 9056
/proc/meminfo: memFree=15994068/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=80864 memory=57488 CPUtime=89.6 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 80628 0 0 0 8952 8 0 0 20 0 1 0 408330156 82804736 14372 33554432000 4194304 6210612 140728744016128 140728744013720 5138239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20216 14372 878 493 0 13521 0
Current children cumulated CPU time: 89.6 s
Current children cumulated vsize: 80864 KiB
Current children cumulated memory: 57488 KiB

[startup+96.0003 s]*
/proc/loadavg: 2.07 2.09 2.07 3/203 9058
/proc/meminfo: memFree=15946276/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=80996 memory=57664 CPUtime=96.01 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 81226 0 0 0 9593 8 0 0 20 0 1 0 408330156 82939904 14416 33554432000 4194304 6210612 140728744016128 140728744013720 5138868 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20249 14416 878 493 0 13554 0
Current children cumulated CPU time: 96.01 s
Current children cumulated vsize: 80996 KiB
Current children cumulated memory: 57664 KiB

[startup+99.2004 s]
/proc/loadavg: 2.07 2.09 2.07 3/203 9058
/proc/meminfo: memFree=15926388/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=81128 memory=57816 CPUtime=99.2 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 81528 0 0 0 9912 8 0 0 20 0 1 0 408330156 83075072 14454 33554432000 4194304 6210612 140728744016128 140728744013720 5192880 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20282 14454 878 493 0 13587 0
Current children cumulated CPU time: 99.2 s
Current children cumulated vsize: 81128 KiB
Current children cumulated memory: 57816 KiB

[startup+100.8 s]
/proc/loadavg: 2.06 2.09 2.07 3/203 9058
/proc/meminfo: memFree=15919692/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=81260 memory=57892 CPUtime=100.8 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 81675 0 0 0 10072 8 0 0 20 0 1 0 408330156 83210240 14473 33554432000 4194304 6210612 140728744016128 140728744013720 5138868 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20315 14473 878 493 0 13620 0
Current children cumulated CPU time: 100.8 s
Current children cumulated vsize: 81260 KiB
Current children cumulated memory: 57892 KiB

[startup+101.6 s]
/proc/loadavg: 2.06 2.09 2.07 3/203 9058
/proc/meminfo: memFree=15912624/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=81392 memory=57932 CPUtime=101.6 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 81751 0 0 0 10152 8 0 0 20 0 1 0 408330156 83345408 14483 33554432000 4194304 6210612 140728744016128 140728744013720 5138176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20348 14483 878 493 0 13653 0
Current children cumulated CPU time: 101.6 s
Current children cumulated vsize: 81392 KiB
Current children cumulated memory: 57932 KiB

[startup+102 s]*
/proc/loadavg: 2.06 2.09 2.07 4/203 9058
/proc/meminfo: memFree=15905928/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=81392 memory=57932 CPUtime=102.01 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 81786 0 0 0 10193 8 0 0 20 0 1 0 408330156 83345408 14483 33554432000 4194304 6210612 140728744016128 140728744013720 5138239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20348 14483 878 493 0 13653 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 81392 KiB
Current children cumulated memory: 57932 KiB

[startup+102.2 s]
/proc/loadavg: 2.06 2.09 2.07 4/203 9058
/proc/meminfo: memFree=15905928/32770688 swapFree=66960952/67108860
[pid=9046] ppid=9043 vsize=81392 memory=57984 CPUtime=102.2 cores=0-3
/proc/9046/stat : 9046 (cosoco) R 9043 9046 6407 0 -1 4202496 81801 0 0 0 10212 8 0 0 20 0 1 0 408330156 83345408 14496 33554432000 4194304 6210612 140728744016128 140728744013720 5138715 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31961088 140728744023051 140728744023153 140728744023153 140728744026062 0
/proc/9046/statm: 20348 14496 878 493 0 13653 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 81392 KiB
Current children cumulated memory: 57984 KiB

Child status: 0
Real time (s): 102.283
CPU time (s): 102.292
CPU user time (s): 102.202
CPU system time (s): 0.090007
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 81392
Max. memory (cumulated for all children) (KiB): 57984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.202
system time used= 0.090007
maximum resident set size= 58080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82819
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= 13
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 9046
#   total CPU time (s): 102.292
#   total CPU user time (s): 102.202
#   total CPU system time (s): 0.090007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.52258 second user time and 0.817023 second system time

The end