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 (63136 MiB free)
  memory of node 1: 64473 MiB (63346 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443561-1721317444/watcher-4443561-1721317444 -o /tmp/evaluation-result-4443561-1721317444/solver-4443561-1721317444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721317456-964660 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443561-1721317444.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=964704, runsolver pid=964701

[startup+0.100097 s]*
/proc/loadavg: 1.94 2.43 3.04 5/239 964709
/proc/meminfo: memFree=129496536/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=7544 memory=2404 CPUtime=0.1 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 314 0 0 0 10 0 0 0 20 0 1 0 183901526 7725056 601 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 1886 601 405 379 0 1420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17476 KiB
Current children cumulated memory: 5112 KiB

[startup+0.212293 s]*
/proc/loadavg: 1.94 2.43 3.04 5/235 964709
/proc/meminfo: memFree=129501780/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=8072 memory=3272 CPUtime=0.21 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 467 0 0 0 21 0 0 0 20 0 1 0 183901526 8265728 818 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 2018 818 405 379 0 1552 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18004 KiB
Current children cumulated memory: 5980 KiB

[startup+0.311783 s]*
/proc/loadavg: 1.94 2.43 3.04 5/235 964709
/proc/meminfo: memFree=129500516/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=8436 memory=3632 CPUtime=0.31 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 599 0 0 0 31 0 0 0 20 0 1 0 183901526 8638464 908 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 2109 908 405 379 0 1643 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18368 KiB
Current children cumulated memory: 6340 KiB

[startup+0.700333 s]
/proc/loadavg: 1.94 2.43 3.04 9/249 964739
/proc/meminfo: memFree=129484728/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=10560 memory=6460 CPUtime=0.68 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 1369 0 0 0 68 0 0 0 20 0 1 0 183901526 10813440 1615 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 2640 1615 405 379 0 2174 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20492 KiB
Current children cumulated memory: 9168 KiB

[startup+1.50035 s]
/proc/loadavg: 1.94 2.43 3.04 5/249 964739
/proc/meminfo: memFree=129466772/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=17060 memory=13976 CPUtime=1.47 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 2851 0 0 0 147 0 0 0 20 0 1 0 183901526 17469440 3494 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 4265 3494 405 379 0 3799 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26992 KiB
Current children cumulated memory: 16684 KiB

[startup+3.11262 s]
/proc/loadavg: 2.10 2.45 3.04 5/249 964741
/proc/meminfo: memFree=129381724/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=50828 memory=46896 CPUtime=3.08 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 11645 0 0 0 306 2 0 0 20 0 1 0 183901526 52047872 11724 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 12707 11724 405 379 0 12241 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60760 KiB
Current children cumulated memory: 49604 KiB

[startup+6.30037 s]
/proc/loadavg: 2.10 2.45 3.04 5/249 964741
/proc/meminfo: memFree=129264872/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=103232 memory=92876 CPUtime=6.26 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 23048 0 0 0 622 4 0 0 20 0 1 0 183901526 105709568 23219 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 25808 23219 421 379 0 25342 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113164 KiB
Current children cumulated memory: 95584 KiB

[startup+11.5225 s]
# the end of solver process 964704 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=11.384 s, system=0.104839 s

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

[startup+6.40042 s]
/proc/loadavg: 2.10 2.45 3.04 5/249 964741
/proc/meminfo: memFree=129264872/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=157896 memory=136120 CPUtime=6.37 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 30496 0 0 0 631 6 0 0 20 0 1 0 183901526 161685504 34030 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 39474 34030 421 379 0 39008 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 167828 KiB
Current children cumulated memory: 138828 KiB

[startup+9.60037 s]
/proc/loadavg: 2.26 2.48 3.05 5/249 964741
/proc/meminfo: memFree=129065096/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=213904 memory=178148 CPUtime=9.55 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 36920 0 0 0 948 7 0 0 20 0 1 0 183901526 219037696 44537 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 53476 44537 421 379 0 53010 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 223836 KiB
Current children cumulated memory: 180856 KiB

[startup+10.4004 s]
/proc/loadavg: 2.26 2.48 3.05 5/249 964741
/proc/meminfo: memFree=129076344/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=187908 memory=170308 CPUtime=10.35 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 38638 0 0 0 1027 8 0 0 20 0 1 0 183901526 192417792 42577 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 46977 42577 421 379 0 46511 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 197840 KiB
Current children cumulated memory: 173016 KiB

[startup+11.2003 s]
/proc/loadavg: 2.26 2.48 3.05 5/249 964741
/proc/meminfo: memFree=129069084/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=200488 memory=172040 CPUtime=11.15 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 39113 0 0 0 1106 9 0 0 20 0 1 0 183901526 205299712 43010 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 50122 43010 421 379 0 49656 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 210420 KiB
Current children cumulated memory: 174748 KiB

[startup+11.4003 s]
/proc/loadavg: 2.26 2.48 3.05 5/249 964741
/proc/meminfo: memFree=129069084/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=200488 memory=174088 CPUtime=11.35 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 39129 0 0 0 1126 9 0 0 20 0 1 0 183901526 205299712 43522 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 50122 43522 421 379 0 49656 0
Current children cumulated CPU time: 11.35 s
Current children cumulated vsize: 210420 KiB
Current children cumulated memory: 176796 KiB

[startup+11.5004 s]
/proc/loadavg: 2.26 2.48 3.05 5/249 964741
/proc/meminfo: memFree=129069084/131655788 swapFree=131070704/131071996
[pid=964704] ppid=964701 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/964704/stat : 964704 (naps-1.02b5.sh) S 964701 964704 964650 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 183901525 10170368 677 134679101440 94561385091072 94561386170392 140731020567504 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94561388268848 94561388316036 94561412190208 140731020571615 140731020571742 140731020571742 140731020578758 0
/proc/964704/statm: 2483 677 599 264 0 134 0
[pid=964709] ppid=964704 vsize=200488 memory=174612 CPUtime=11.45 cores=0,2
/proc/964709/stat : 964709 (naps-1.02b5) R 964704 964704 964650 0 -1 4194304 39227 0 0 0 1136 9 0 0 20 0 1 0 183901526 205299712 43653 134679101440 4194304 5746509 140727892391328 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23519232 140727892399086 140727892399200 140727892399200 140727892406217 0
/proc/964709/statm: 50122 43653 421 379 0 49656 0
Current children cumulated CPU time: 11.45 s
Current children cumulated vsize: 210420 KiB
Current children cumulated memory: 177320 KiB

Child status: 20

Real time (s): 11.5226
CPU time (s): 11.4889
CPU user time (s): 11.384
CPU system time (s): 0.104839
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 242512
Max. memory (cumulated for all children) (KiB): 181648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.384
system time used= 0.104839
maximum resident set size= 196084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39733
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= 12
involuntary context switches= 82


# summary of solver processes directly reported to runsolver:
#   pid: 964704
#   total CPU time (s): 11.4889
#   total CPU user time (s): 11.384
#   total CPU system time (s): 0.104839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090604 second user time and 0.164815 second system time

The end