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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525007-1751618866/watcher-4525007-1751618866 -o /tmp/evaluation-result-4525007-1751618866/solver-4525007-1751618866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85989 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525007-1751618866.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=86422, runsolver pid=86411
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 86442
/proc/meminfo: memFree=129786988/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=7632 memory=6288 CPUtime=0.08 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 1175 0 0 0 8 0 0 0 20 0 1 0 77563163 7815168 1572 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 1908 1572 576 696 0 1069 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11824 KiB
Current children cumulated memory: 9232 KiB

[startup+0.205366 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 86442
/proc/meminfo: memFree=129770608/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=8776 memory=7196 CPUtime=0.18 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 1507 0 0 0 18 0 0 0 20 0 1 0 77563163 8986624 1799 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 2194 1799 576 696 0 1355 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 12968 KiB
Current children cumulated memory: 10140 KiB

[startup+0.305278 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 86442
/proc/meminfo: memFree=129767080/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=10072 memory=8404 CPUtime=0.28 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 1970 0 0 0 28 0 0 0 20 0 1 0 77563163 10313728 2101 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 2518 2101 576 696 0 1679 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14264 KiB
Current children cumulated memory: 11348 KiB

[startup+0.700144 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 86442
/proc/meminfo: memFree=129710128/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=31744 memory=29300 CPUtime=0.67 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 7270 0 0 0 66 1 0 0 20 0 1 0 77563163 32505856 7325 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 7936 7325 608 696 0 7097 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 35936 KiB
Current children cumulated memory: 32244 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 86442
/proc/meminfo: memFree=129549404/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=290960 memory=278804 CPUtime=1.46 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 41659 0 0 0 137 9 0 0 20 0 1 0 77563163 297943040 69701 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 72740 69701 608 696 0 71901 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 295152 KiB
Current children cumulated memory: 281748 KiB

[startup+3.10557 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 86442
/proc/meminfo: memFree=128447452/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=387284 memory=374676 CPUtime=3.06 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 53447 0 0 0 294 12 0 0 20 0 1 0 77563163 396578816 93669 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 96821 93669 608 696 0 95982 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 377620 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 86442
/proc/meminfo: memFree=126891020/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=634956 memory=605224 CPUtime=6.25 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 66021 0 0 0 607 18 0 0 20 0 1 0 77563163 650194944 151306 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 158739 151306 608 696 0 157900 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 639148 KiB
Current children cumulated memory: 608168 KiB

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

# cumulated CPU time of all completed processes:  user=9.96475 s, system=0.247375 s

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

[startup+6.40023 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 86442
/proc/meminfo: memFree=126891020/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=634956 memory=605224 CPUtime=6.35 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 66021 0 0 0 617 18 0 0 20 0 1 0 77563163 650194944 151306 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 158739 151306 608 696 0 157900 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 639148 KiB
Current children cumulated memory: 608168 KiB

[startup+8.00018 s]*
/proc/loadavg: 4.13 4.10 4.09 5/269 86442
/proc/meminfo: memFree=126158456/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=763204 memory=727376 CPUtime=7.96 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 75824 0 0 0 774 22 0 0 20 0 1 0 77563163 781520896 181844 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 190801 181844 608 696 0 189962 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 767396 KiB
Current children cumulated memory: 730320 KiB

[startup+9.60018 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 86443
/proc/meminfo: memFree=126109452/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=784868 memory=745000 CPUtime=9.55 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 76592 0 0 0 932 23 0 0 20 0 1 0 77563163 803704832 186250 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 196217 186250 608 696 0 195378 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 789060 KiB
Current children cumulated memory: 747944 KiB

[startup+10.0002 s]*
/proc/loadavg: 4.12 4.10 4.09 5/269 86443
/proc/meminfo: memFree=125943180/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=784868 memory=745000 CPUtime=9.95 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 76592 0 0 0 972 23 0 0 20 0 1 0 77563163 803704832 186250 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 196217 186250 608 696 0 195378 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 789060 KiB
Current children cumulated memory: 747944 KiB

[startup+10.2002 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 86443
/proc/meminfo: memFree=125943180/131250000 swapFree=33008356/33010684
[pid=86422] ppid=86411 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86422/stat : 86422 (naps-1.03a6.sh) S 86411 86422 85976 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77563161 4292608 736 18446744073709551615 94434152783872 94434153678405 140733225646624 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94434153917456 94434153965200 94434178015232 140733225650597 140733225650691 140733225650691 140733225656295 0
/proc/86422/statm: 1048 736 672 219 0 110 0
[pid=86432] ppid=86422 vsize=784868 memory=745000 CPUtime=10.15 cores=5,7
/proc/86432/stat : 86432 (naps-1.03a6) R 86422 86422 85976 0 -1 4194304 76609 0 0 0 992 23 0 0 20 0 1 0 77563163 803704832 186250 18446744073709551615 4198400 7047149 140736848482288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24780800 140736848488818 140736848488932 140736848488932 140736848494537 0
/proc/86432/statm: 196217 186250 608 696 0 195378 0
Current children cumulated CPU time: 10.15 s
Current children cumulated vsize: 789060 KiB
Current children cumulated memory: 747944 KiB

Child status: 30

Real time (s): 10.2561
CPU time (s): 10.2121
CPU user time (s): 9.96475
CPU system time (s): 0.247375
CPU usage (%): 99.5711
Max. virtual memory (cumulated for all children) (KiB): 789060
Max. memory (cumulated for all children) (KiB): 747944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.96475
system time used= 0.247375
maximum resident set size= 746000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77055
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= 149
involuntary context switches= 18


# summary of solver processes directly reported to runsolver:
#   pid: 86422
#   total CPU time (s): 10.2121
#   total CPU user time (s): 9.96475
#   total CPU system time (s): 0.247375

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037022 second user time and 0.073396 second system time

The end