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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396752-1568577785/watcher-4396752-1568577785 -o /tmp/evaluation-result-4396752-1568577785/solver-4396752-1568577785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28530 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396752-1568577785.xml 

running on 4 cores: 4-7

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
Starting watchdog thread
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
Current StackSize limit: 8192 KiB

solver pid=29478, runsolver pid=29475

[startup+0.100173 s]*
/proc/loadavg: 2.06 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14307456/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59132 memory=35632 CPUtime=0.1 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 9118 0 0 0 9 1 0 0 20 0 1 0 433784766 60551168 8908 33554432000 4194304 6211092 140730811585200 140730811581736 5148576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14783 8908 843 493 0 8088 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 35632 KiB

[startup+0.210943 s]*
/proc/loadavg: 2.06 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14306760/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59132 memory=35632 CPUtime=0.21 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 9121 0 0 0 20 1 0 0 20 0 1 0 433784766 60551168 8908 33554432000 4194304 6211092 140730811585200 140730811583464 5138607 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14783 8908 843 493 0 8088 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 35632 KiB

[startup+0.310876 s]*
/proc/loadavg: 2.06 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14306016/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59132 memory=35632 CPUtime=0.31 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 9121 0 0 0 30 1 0 0 20 0 1 0 433784766 60551168 8908 33554432000 4194304 6211092 140730811585200 140730811583464 5138607 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14783 8908 843 493 0 8088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 35632 KiB

[startup+0.700393 s]
/proc/loadavg: 2.06 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14304900/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59132 memory=35632 CPUtime=0.69 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 9121 0 0 0 68 1 0 0 20 0 1 0 433784766 60551168 8908 33554432000 4194304 6211092 140730811585200 140730811583464 5138607 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14783 8908 843 493 0 8088 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 35632 KiB

[startup+1.50038 s]
/proc/loadavg: 2.06 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14301552/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59132 memory=35632 CPUtime=1.49 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 9121 0 0 0 148 1 0 0 20 0 1 0 433784766 60551168 8908 33554432000 4194304 6211092 140730811585200 140730811583464 5193696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14783 8908 843 493 0 8088 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 35632 KiB

[startup+3.11062 s]
/proc/loadavg: 2.06 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14288284/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59132 memory=35836 CPUtime=3.1 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 14622 0 0 0 308 2 0 0 20 0 1 0 433784766 60551168 8959 33554432000 4194304 6211092 140730811585200 140730811583464 5138607 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14783 8959 884 493 0 8088 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 35836 KiB

[startup+6.30037 s]
/proc/loadavg: 2.06 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14268472/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59132 memory=35836 CPUtime=6.29 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 20352 0 0 0 627 2 0 0 20 0 1 0 433784766 60551168 8959 33554432000 4194304 6211092 140730811585200 140730811583464 5138562 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14783 8959 884 493 0 8088 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 59132 KiB
Current children cumulated memory: 35836 KiB

[startup+12.7004 s]
/proc/loadavg: 2.05 2.07 2.05 3/200 29479
/proc/meminfo: memFree=14228280/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=59264 memory=35940 CPUtime=12.69 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 26538 0 0 0 1267 2 0 0 20 0 1 0 433784766 60686336 8985 33554432000 4194304 6211092 140730811585200 140730811582616 5139216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 14816 8985 884 493 0 8121 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 35940 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 2.06 2.05 3/200 29479
/proc/meminfo: memFree=14142028/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60188 memory=36852 CPUtime=25.49 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 39823 0 0 0 2546 3 0 0 20 0 1 0 433784766 61632512 9213 33554432000 4194304 6211092 140730811585200 140730811582664 5138562 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15047 9213 884 493 0 8352 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 60188 KiB
Current children cumulated memory: 36852 KiB

[startup+46.634 s]
# the end of solver process 29478 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=46.5867 s, system=0.044998 s

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

[startup+25.6004 s]
/proc/loadavg: 2.04 2.06 2.05 3/200 29479
/proc/meminfo: memFree=14142028/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60188 memory=36852 CPUtime=25.59 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 39835 0 0 0 2556 3 0 0 20 0 1 0 433784766 61632512 9213 33554432000 4194304 6211092 140730811585200 140730811582664 5138607 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15047 9213 884 493 0 8352 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 60188 KiB
Current children cumulated memory: 36852 KiB

[startup+38.4004 s]
/proc/loadavg: 2.04 2.06 2.05 3/200 29480
/proc/meminfo: memFree=14054016/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60452 memory=37024 CPUtime=38.38 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 41513 0 0 0 3835 3 0 0 20 0 1 0 433784766 61902848 9256 33554432000 4194304 6211092 140730811585200 140730811582888 5138567 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15113 9256 884 493 0 8418 0
Current children cumulated CPU time: 38.38 s
Current children cumulated vsize: 60452 KiB
Current children cumulated memory: 37024 KiB

[startup+41.6003 s]
/proc/loadavg: 2.03 2.06 2.05 3/200 29480
/proc/meminfo: memFree=14034052/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60584 memory=37220 CPUtime=41.59 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 47346 0 0 0 4155 4 0 0 20 0 1 0 433784766 62038016 9305 33554432000 4194304 6211092 140730811585200 140730811582792 5139083 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15146 9305 884 493 0 8451 0
Current children cumulated CPU time: 41.59 s
Current children cumulated vsize: 60584 KiB
Current children cumulated memory: 37220 KiB

[startup+44.8003 s]
/proc/loadavg: 2.03 2.06 2.05 3/201 29482
/proc/meminfo: memFree=14014132/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60716 memory=37380 CPUtime=44.79 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 47898 0 0 0 4475 4 0 0 20 0 1 0 433784766 62173184 9345 33554432000 4194304 6211092 140730811585200 140730811582792 5139083 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15179 9345 884 493 0 8484 0
Current children cumulated CPU time: 44.79 s
Current children cumulated vsize: 60716 KiB
Current children cumulated memory: 37380 KiB

[startup+45.6004 s]
/proc/loadavg: 2.03 2.06 2.05 3/201 29482
/proc/meminfo: memFree=14007436/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60848 memory=37444 CPUtime=45.59 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 48031 0 0 0 4555 4 0 0 20 0 1 0 433784766 62308352 9361 33554432000 4194304 6211092 140730811585200 140730811582792 5139079 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15212 9361 884 493 0 8517 0
Current children cumulated CPU time: 45.59 s
Current children cumulated vsize: 60848 KiB
Current children cumulated memory: 37444 KiB

[startup+46.4003 s]
/proc/loadavg: 2.03 2.06 2.05 3/201 29482
/proc/meminfo: memFree=14000616/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60848 memory=37520 CPUtime=46.39 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 48163 0 0 0 4635 4 0 0 20 0 1 0 433784766 62308352 9380 33554432000 4194304 6211092 140730811585200 140730811582792 5139236 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15212 9380 884 493 0 8517 0
Current children cumulated CPU time: 46.39 s
Current children cumulated vsize: 60848 KiB
Current children cumulated memory: 37520 KiB

[startup+46.6003 s]
/proc/loadavg: 2.03 2.06 2.05 3/201 29482
/proc/meminfo: memFree=14000616/32770688 swapFree=66919992/67108860
[pid=29478] ppid=29475 vsize=60848 memory=37520 CPUtime=46.59 cores=4-7
/proc/29478/stat : 29478 (cosoco) R 29475 29478 28498 0 -1 4202496 48189 0 0 0 4655 4 0 0 20 0 1 0 433784766 62308352 9380 33554432000 4194304 6211092 140730811585200 140730811582792 5138581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35438592 140730811589643 140730811589745 140730811589745 140730811592654 0
/proc/29478/statm: 15212 9380 884 493 0 8517 0
Current children cumulated CPU time: 46.59 s
Current children cumulated vsize: 60848 KiB
Current children cumulated memory: 37520 KiB

Child status: 0
Real time (s): 46.634
CPU time (s): 46.6317
CPU user time (s): 46.5867
CPU system time (s): 0.044998
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 60848
Max. memory (cumulated for all children) (KiB): 37520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.5867
system time used= 0.044998
maximum resident set size= 37624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48701
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= 44


# summary of solver processes directly reported to runsolver:
#   pid: 29478
#   total CPU time (s): 46.6317
#   total CPU user time (s): 46.5867
#   total CPU system time (s): 0.044998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.216516 second user time and 0.421925 second system time

The end