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: 63708 MiB (61817 MiB free)
  memory of node 1: 64465 MiB (63853 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499526-1751414134/watcher-4499526-1751414134 -o /tmp/evaluation-result-4499526-1751414134/solver-4499526-1751414134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751414133-69754 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4499526-1751414134.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=69805, runsolver pid=69796

[startup+0.100055 s]*
/proc/loadavg: 0.78 2.03 3.17 6/271 69826
/proc/meminfo: memFree=128682340/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=5780 memory=4096 CPUtime=0.07 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 574 0 0 0 7 0 0 0 20 0 1 0 57090929 5918720 1024 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 1445 1024 544 696 0 606 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 9972 KiB
Current children cumulated memory: 7168 KiB

[startup+0.204709 s]*
/proc/loadavg: 0.78 2.03 3.17 6/271 69826
/proc/meminfo: memFree=128682340/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=7348 memory=5760 CPUtime=0.17 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 1003 0 0 0 17 0 0 0 20 0 1 0 57090929 7524352 1440 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 1837 1440 544 696 0 998 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 11540 KiB
Current children cumulated memory: 8832 KiB

[startup+0.30463 s]*
/proc/loadavg: 0.78 2.03 3.17 6/271 69826
/proc/meminfo: memFree=128678572/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=8924 memory=7232 CPUtime=0.27 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 1438 0 0 0 27 0 0 0 20 0 1 0 57090929 9138176 1808 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 2231 1808 544 696 0 1392 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13116 KiB
Current children cumulated memory: 10304 KiB

[startup+0.700173 s]
/proc/loadavg: 0.78 2.03 3.17 6/271 69826
/proc/meminfo: memFree=128650360/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=24936 memory=22796 CPUtime=0.66 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 5211 0 0 0 66 0 0 0 20 0 1 0 57090929 25534464 5699 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 6234 5699 608 696 0 5395 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 29128 KiB
Current children cumulated memory: 25868 KiB

[startup+1.50016 s]
/proc/loadavg: 0.78 2.03 3.17 6/271 69826
/proc/meminfo: memFree=128636500/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=23300 memory=21368 CPUtime=1.46 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 7506 0 0 0 145 1 0 0 20 0 1 0 57090929 23859200 5342 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 5825 5342 608 696 0 4986 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 24440 KiB

[startup+3.10545 s]
/proc/loadavg: 0.78 2.03 3.17 6/271 69826
/proc/meminfo: memFree=128613940/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=32192 memory=30928 CPUtime=3.06 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 10918 0 0 0 304 2 0 0 20 0 1 0 57090929 32964608 7732 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 8048 7732 640 696 0 7209 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 36384 KiB
Current children cumulated memory: 34000 KiB

[startup+6.30016 s]
/proc/loadavg: 1.04 2.06 3.17 4/261 69842
/proc/meminfo: memFree=128625932/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=35792 memory=34592 CPUtime=6.23 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 13893 0 0 0 618 5 0 0 20 0 1 0 57090929 36651008 8648 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 8948 8648 640 696 0 8109 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 39984 KiB
Current children cumulated memory: 37664 KiB

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

# cumulated CPU time of all completed processes:  user=8.34858 s, system=0.069761 s

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

[startup+6.40017 s]
/proc/loadavg: 1.04 2.06 3.17 4/261 69842
/proc/meminfo: memFree=128625932/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=35792 memory=34592 CPUtime=6.32 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 13893 0 0 0 627 5 0 0 20 0 1 0 57090929 36651008 8648 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 8948 8648 640 696 0 8109 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 39984 KiB
Current children cumulated memory: 37664 KiB

[startup+7.20014 s]
/proc/loadavg: 1.04 2.06 3.17 6/272 69923
/proc/meminfo: memFree=128633120/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=36116 memory=34848 CPUtime=7.11 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 13974 0 0 0 705 6 0 0 20 0 1 0 57090929 36982784 8712 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 9029 8712 640 696 0 8190 0
Current children cumulated CPU time: 7.11 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 37920 KiB

[startup+8.00014 s]*
/proc/loadavg: 1.04 2.06 3.17 6/272 69923
/proc/meminfo: memFree=128615664/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=36116 memory=34848 CPUtime=7.91 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 13974 0 0 0 785 6 0 0 20 0 1 0 57090929 36982784 8712 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 9029 8712 640 696 0 8190 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 37920 KiB

[startup+8.40014 s]
/proc/loadavg: 1.04 2.06 3.17 6/272 69923
/proc/meminfo: memFree=128615664/131250000 swapFree=33010684/33010684
[pid=69805] ppid=69796 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/69805/stat : 69805 (naps-1.03a6.sh) S 69796 69805 69741 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 57090927 4292608 768 18446744073709551615 94359442558976 94359443453509 140731706592544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94359443692560 94359443740304 94359461445632 140731706595751 140731706595845 140731706595845 140731706601447 0
/proc/69805/statm: 1048 768 704 219 0 110 0
[pid=69812] ppid=69805 vsize=32476 memory=31448 CPUtime=8.3 cores=0,2
/proc/69812/stat : 69812 (naps-1.03a6) R 69805 69805 69741 0 -1 4194304 14430 0 0 0 824 6 0 0 20 0 1 0 57090929 33255424 7862 18446744073709551615 4198400 7047149 140734600022048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22339584 140734600030580 140734600030694 140734600030694 140734600036297 0
/proc/69812/statm: 8119 7862 640 696 0 7280 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 36668 KiB
Current children cumulated memory: 34520 KiB

Child status: 30

Real time (s): 8.5001
CPU time (s): 8.41834
CPU user time (s): 8.34858
CPU system time (s): 0.069761
CPU usage (%): 99.0381
Max. virtual memory (cumulated for all children) (KiB): 40308
Max. memory (cumulated for all children) (KiB): 37920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.34858
system time used= 0.069761
maximum resident set size= 38724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14875
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= 196
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 69805
#   total CPU time (s): 8.41834
#   total CPU user time (s): 8.34858
#   total CPU system time (s): 0.069761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035676 second user time and 0.048996 second system time

The end