runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (62290 MiB free)
  memory of node 1: 64473 MiB (53308 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463618-1722351673/watcher-4463618-1722351673 -o /tmp/evaluation-result-4463618-1722351673/solver-4463618-1722351673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722351651-12351 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463618-1722351673.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux Starting watchdog threadmit, stack expansion wi
Linux Starting watchdog threadmit, stack expansion wi
Current StackSize limit: 8192 KiB

solver pid=12640, runsolver pid=12637

[startup+0.100541 s]*
/proc/loadavg: 2.29 2.03 2.61 5/253 12645
/proc/meminfo: memFree=118340800/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=7876 memory=6560 CPUtime=0.09 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 1179 0 0 0 9 0 0 0 20 0 1 0 1537433 8065024 1640 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 1969 1640 580 659 0 1173 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17808 KiB
Current children cumulated memory: 9176 KiB

[startup+0.213709 s]*
/proc/loadavg: 2.29 2.03 2.61 5/253 12645
/proc/meminfo: memFree=118310076/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=9368 memory=8000 CPUtime=0.21 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 1573 0 0 0 21 0 0 0 20 0 1 0 1537433 9592832 2000 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 2342 2000 612 659 0 1546 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19300 KiB
Current children cumulated memory: 10616 KiB

[startup+0.313617 s]*
/proc/loadavg: 2.29 2.03 2.61 5/253 12645
/proc/meminfo: memFree=118294804/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=9368 memory=8000 CPUtime=0.31 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 1573 0 0 0 31 0 0 0 20 0 1 0 1537433 9592832 2000 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 2342 2000 612 659 0 1546 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19300 KiB
Current children cumulated memory: 10616 KiB

[startup+0.700445 s]
/proc/loadavg: 2.29 2.03 2.61 6/253 12645
/proc/meminfo: memFree=118398916/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=11040 memory=9320 CPUtime=0.68 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 1891 0 0 0 68 0 0 0 20 0 1 0 1537433 11304960 2330 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 2760 2330 612 659 0 1964 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20972 KiB
Current children cumulated memory: 11936 KiB

[startup+1.50046 s]
/proc/loadavg: 2.29 2.03 2.61 5/253 12645
/proc/meminfo: memFree=118061600/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=125148 memory=117408 CPUtime=1.47 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 18882 0 0 0 142 5 0 0 20 0 1 0 1537433 128151552 29286 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 31287 29286 612 659 0 30491 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 135080 KiB
Current children cumulated memory: 120024 KiB

[startup+3.11336 s]
/proc/loadavg: 2.29 2.03 2.61 5/253 12645
/proc/meminfo: memFree=116262140/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=838328 memory=815760 CPUtime=3.09 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 86438 0 0 0 283 26 0 0 20 0 1 0 1537433 858447872 203940 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 209582 203940 628 659 0 208786 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 848260 KiB
Current children cumulated memory: 818376 KiB

[startup+6.30042 s]
/proc/loadavg: 2.42 2.06 2.61 5/253 12645
/proc/meminfo: memFree=114343428/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=1568100 memory=1478268 CPUtime=6.26 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 129051 0 0 0 580 46 0 0 20 0 1 0 1537433 1605734400 369567 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 392025 369567 644 659 0 391229 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1578032 KiB
Current children cumulated memory: 1480884 KiB

[startup+6.84366 s]
# the end of solver process 12640 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=6.32677 s, system=0.492684 s

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

[startup+6.40047 s]
/proc/loadavg: 2.42 2.06 2.61 5/253 12645
/proc/meminfo: memFree=114343428/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=1590804 memory=1505316 CPUtime=6.36 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 134744 0 0 0 590 46 0 0 20 0 1 0 1537433 1628983296 376329 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 397701 376329 644 659 0 396905 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 1600736 KiB
Current children cumulated memory: 1507932 KiB

[startup+6.80038 s]
/proc/loadavg: 2.42 2.06 2.61 5/253 12645
/proc/meminfo: memFree=114343428/131655788 swapFree=131071472/131071996
[pid=12640] ppid=12637 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/12640/stat : 12640 (naps-1.03.sh) S 12637 12640 12340 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 1537432 10170368 654 134679101440 93850009063424 93850010142744 140720635649472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93850012241200 93850012288388 93850027323392 140720635655139 140720635655264 140720635655264 140720635662280 0
/proc/12640/statm: 2483 654 575 264 0 134 0
[pid=12645] ppid=12640 vsize=1594896 memory=1509268 CPUtime=6.76 cores=4,6
/proc/12645/stat : 12645 (naps-1.03a2) R 12640 12640 12340 0 -1 4194304 135751 0 0 0 630 46 0 0 20 0 1 0 1537433 1633173504 377317 134679101440 4194304 6891597 140735592770096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28102656 140735592772590 140735592772704 140735592772704 140735592779721 0
/proc/12645/statm: 398724 377317 644 659 0 397928 0
Current children cumulated CPU time: 6.76 s
Current children cumulated vsize: 1604828 KiB
Current children cumulated memory: 1511884 KiB

Child status: 30

Real time (s): 6.84373
CPU time (s): 6.81946
CPU user time (s): 6.32677
CPU system time (s): 0.492684
CPU usage (%): 99.6453
Max. virtual memory (cumulated for all children) (KiB): 1604828
Max. memory (cumulated for all children) (KiB): 1511884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.32677
system time used= 0.492684
maximum resident set size= 1509268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136227
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= 10
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 12640
#   total CPU time (s): 6.81946
#   total CPU user time (s): 6.32677
#   total CPU system time (s): 0.492684

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061334 second user time and 0.134218 second system time

The end