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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443921-1721317496/watcher-4443921-1721317496 -o /tmp/evaluation-result-4443921-1721317496/solver-4443921-1721317496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721317481-967416 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443921-1721317496.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=967560, runsolver pid=967557

[startup+0.100078 s]*
/proc/loadavg: 2.39 1.72 2.12 5/259 967565
/proc/meminfo: memFree=127822280/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=8436 memory=3636 CPUtime=0.09 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 591 0 0 0 9 0 0 0 20 0 1 0 183913483 8638464 909 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 2109 909 405 379 0 1643 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18368 KiB
Current children cumulated memory: 6364 KiB

[startup+0.205422 s]*
/proc/loadavg: 2.39 1.72 2.12 5/259 967565
/proc/meminfo: memFree=127820460/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=9464 memory=5260 CPUtime=0.2 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 1005 0 0 0 20 0 0 0 20 0 1 0 183913483 9691136 1315 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 2366 1315 405 379 0 1900 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19396 KiB
Current children cumulated memory: 7988 KiB

[startup+0.304369 s]*
/proc/loadavg: 2.39 1.72 2.12 5/259 967565
/proc/meminfo: memFree=127818640/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=10692 memory=6716 CPUtime=0.3 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 1431 0 0 0 30 0 0 0 20 0 1 0 183913483 10948608 1679 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 2673 1679 405 379 0 2207 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20624 KiB
Current children cumulated memory: 9444 KiB

[startup+0.700185 s]
/proc/loadavg: 2.39 1.72 2.12 5/259 967565
/proc/meminfo: memFree=127814128/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=15104 memory=13332 CPUtime=0.68 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 2721 0 0 0 68 0 0 0 20 0 1 0 183913483 15466496 3333 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 3776 3333 405 379 0 3310 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25036 KiB
Current children cumulated memory: 16060 KiB

[startup+1.50019 s]
/proc/loadavg: 2.39 1.72 2.12 6/262 967601
/proc/meminfo: memFree=127838800/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=27108 memory=24440 CPUtime=1.48 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 5820 0 0 0 147 1 0 0 20 0 1 0 183913483 27758592 6110 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 6777 6110 405 379 0 6311 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37040 KiB
Current children cumulated memory: 27168 KiB

[startup+3.10571 s]
/proc/loadavg: 2.52 1.75 2.13 5/262 967601
/proc/meminfo: memFree=127600304/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=55448 memory=51608 CPUtime=3.08 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 12850 0 0 0 306 2 0 0 20 0 1 0 183913483 56778752 12902 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 13862 12902 421 379 0 13396 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65380 KiB
Current children cumulated memory: 54336 KiB

[startup+6.30017 s]
/proc/loadavg: 2.52 1.75 2.13 5/262 967601
/proc/meminfo: memFree=127484768/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=146076 memory=125812 CPUtime=6.28 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 27917 0 0 0 622 6 0 0 20 0 1 0 183913483 149581824 31453 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 36519 31453 421 379 0 36053 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 156008 KiB
Current children cumulated memory: 128540 KiB

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

# cumulated CPU time of all completed processes:  user=9.6258 s, system=0.089282 s

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

[startup+6.40024 s]
/proc/loadavg: 2.52 1.75 2.13 5/262 967601
/proc/meminfo: memFree=127484768/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=146076 memory=125812 CPUtime=6.38 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 27917 0 0 0 632 6 0 0 20 0 1 0 183913483 149581824 31453 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 36519 31453 421 379 0 36053 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 156008 KiB
Current children cumulated memory: 128540 KiB

[startup+8.00023 s]*
/proc/loadavg: 2.64 1.79 2.14 5/260 967603
/proc/meminfo: memFree=127442672/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=179424 memory=162524 CPUtime=7.98 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 33496 0 0 0 791 7 0 0 20 0 1 0 183913483 183730176 40631 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 44856 40631 421 379 0 44390 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 189356 KiB
Current children cumulated memory: 165252 KiB

[startup+8.80023 s]
/proc/loadavg: 2.64 1.79 2.14 5/260 967603
/proc/meminfo: memFree=127442672/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=181428 memory=164372 CPUtime=8.77 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 33998 0 0 0 870 7 0 0 20 0 1 0 183913483 185782272 41093 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 45357 41093 421 379 0 44891 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 191360 KiB
Current children cumulated memory: 167100 KiB

[startup+9.20023 s]
/proc/loadavg: 2.64 1.79 2.14 5/260 967603
/proc/meminfo: memFree=127428172/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=181428 memory=164636 CPUtime=9.17 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 34067 0 0 0 910 7 0 0 20 0 1 0 183913483 185782272 41159 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 45357 41159 421 379 0 44891 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 191360 KiB
Current children cumulated memory: 167364 KiB

[startup+9.60024 s]
/proc/loadavg: 2.64 1.79 2.14 5/260 967603
/proc/meminfo: memFree=127428172/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=170808 memory=154524 CPUtime=9.57 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 34660 0 0 0 949 8 0 0 20 0 1 0 183913483 174907392 38631 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 42702 38631 421 379 0 42236 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 180740 KiB
Current children cumulated memory: 157252 KiB

[startup+9.70023 s]
/proc/loadavg: 2.64 1.79 2.14 5/260 967603
/proc/meminfo: memFree=127428172/131524600 swapFree=131071996/131071996
[pid=967560] ppid=967557 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/967560/stat : 967560 (naps-1.02b5.sh) S 967557 967560 967405 0 -1 4194304 220 237 0 0 0 0 0 0 20 0 1 0 183913483 10170368 682 134679101440 94893571149824 94893572229144 140726955584832 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94893574327600 94893574374788 94893589245952 140726955590623 140726955590750 140726955590750 140726955597766 0
/proc/967560/statm: 2483 682 603 264 0 134 0
[pid=967565] ppid=967560 vsize=171876 memory=155580 CPUtime=9.67 cores=4,6
/proc/967565/stat : 967565 (naps-1.02b5) R 967560 967560 967405 0 -1 4194304 34920 0 0 0 959 8 0 0 20 0 1 0 183913483 176001024 38895 134679101440 4194304 5746509 140722630914912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 29835264 140722630923246 140722630923360 140722630923360 140722630930377 0
/proc/967565/statm: 42969 38895 421 379 0 42503 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 181808 KiB
Current children cumulated memory: 158308 KiB

Child status: 20

Real time (s): 9.73827
CPU time (s): 9.71508
CPU user time (s): 9.6258
CPU system time (s): 0.089282
CPU usage (%): 99.7619
Max. virtual memory (cumulated for all children) (KiB): 210036
Max. memory (cumulated for all children) (KiB): 185068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.6258
system time used= 0.089282
maximum resident set size= 182340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35452
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= 15


# summary of solver processes directly reported to runsolver:
#   pid: 967560
#   total CPU time (s): 9.71508
#   total CPU user time (s): 9.6258
#   total CPU system time (s): 0.089282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030574 second user time and 0.066382 second system time

The end