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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499423-1751467972/watcher-4499423-1751467972 -o /tmp/evaluation-result-4499423-1751467972/solver-4499423-1751467972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751464373-61841 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4499423-1751467972.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=62363, runsolver pid=62356
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.18 4.14 4.11 6/253 62371
/proc/meminfo: memFree=129092616/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=26764 memory=8320 CPUtime=0.07 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 1427 0 0 0 7 0 0 0 20 0 1 0 62476372 27406336 2080 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 6691 2080 736 2416 0 3793 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33748 KiB
Current children cumulated memory: 12672 KiB

[startup+0.214513 s]*
/proc/loadavg: 4.18 4.14 4.11 6/259 62382
/proc/meminfo: memFree=129052852/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=33144 memory=14720 CPUtime=0.18 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 3034 0 0 0 17 1 0 0 20 0 1 0 62476372 33939456 3680 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 8286 3680 736 2416 0 5388 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40128 KiB
Current children cumulated memory: 19072 KiB

[startup+0.31399 s]*
/proc/loadavg: 4.18 4.14 4.11 6/259 62382
/proc/meminfo: memFree=129036976/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=38736 memory=20352 CPUtime=0.28 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 4427 0 0 0 27 1 0 0 20 0 1 0 62476372 39665664 5088 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 9684 5088 736 2416 0 6786 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 45720 KiB
Current children cumulated memory: 24704 KiB

[startup+0.700418 s]
/proc/loadavg: 4.18 4.14 4.11 6/259 62382
/proc/meminfo: memFree=129004972/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=45440 memory=30372 CPUtime=0.65 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 7446 0 0 0 62 3 0 0 20 0 1 0 62476372 46530560 7593 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 11360 7593 768 2416 0 8462 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 52424 KiB
Current children cumulated memory: 34724 KiB

[startup+1.50043 s]
/proc/loadavg: 4.18 4.14 4.11 5/259 62382
/proc/meminfo: memFree=128964588/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=48128 memory=31396 CPUtime=1.45 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 7709 0 0 0 142 3 0 0 20 0 1 0 62476372 49283072 7849 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 12032 7849 768 2416 0 9134 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 55112 KiB
Current children cumulated memory: 35748 KiB

[startup+2.25766 s]
# the end of solver process 62363 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2.15436 s, system=0.055615 s

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

[startup+1.60044 s]
/proc/loadavg: 4.18 4.14 4.11 5/259 62382
/proc/meminfo: memFree=128964588/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=48128 memory=31524 CPUtime=1.54 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 7744 0 0 0 151 3 0 0 20 0 1 0 62476372 49283072 7881 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 12032 7881 768 2416 0 9134 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 55112 KiB
Current children cumulated memory: 35876 KiB

[startup+2.00035 s]*
/proc/loadavg: 4.16 4.13 4.10 4/253 62392
/proc/meminfo: memFree=128954660/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=48128 memory=32164 CPUtime=1.95 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 7896 0 0 0 192 3 0 0 20 0 1 0 62476372 49283072 8041 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 12032 8041 768 2416 0 9134 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 55112 KiB
Current children cumulated memory: 36516 KiB

[startup+2.20034 s]
/proc/loadavg: 4.16 4.13 4.10 4/253 62392
/proc/meminfo: memFree=128954660/131382120 swapFree=33010160/33010684
[pid=62363] ppid=62356 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/62363/stat : 62363 (Hybrid-CASHWMax) S 62356 62363 61829 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 62476369 4427776 736 18446744073709551615 94245340938240 94245341832773 140729054213472 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94245342071824 94245342119568 94245370073088 140729054222679 140729054222833 140729054222833 140729054228435 0
/proc/62363/statm: 1081 736 672 219 0 143 0
[pid=62369] ppid=62363 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/62369/stat : 62369 (timeout) S 62363 62369 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476372 2723840 352 18446744073709551615 94350083301376 94350083317889 140732075752176 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350083332656 94350083334744 94350084841472 140732075755926 140732075756066 140732075756066 140732075761639 0
/proc/62369/statm: 665 352 352 5 0 90 0
[pid=62370] ppid=62369 vsize=48128 memory=32420 CPUtime=2.14 cores=1,3
/proc/62370/stat : 62370 (CASHWMaxSAT-Dis) R 62369 62369 61829 0 -1 4194304 7968 0 0 0 211 3 0 0 20 0 1 0 62476372 49283072 8105 18446744073709551615 4198400 14093885 140734845936976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45826048 140734845942172 140734845942299 140734845942299 140734845947872 0
/proc/62370/statm: 12032 8105 768 2416 0 9134 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 55112 KiB
Current children cumulated memory: 36772 KiB

Child status: 0

Real time (s): 2.25772
CPU time (s): 2.20998
CPU user time (s): 2.15436
CPU system time (s): 0.055615
CPU usage (%): 97.8852
Max. virtual memory (cumulated for all children) (KiB): 55112
Max. memory (cumulated for all children) (KiB): 36772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.15436
system time used= 0.055615
maximum resident set size= 32892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 62363
#   total CPU time (s): 2.20998
#   total CPU user time (s): 2.15436
#   total CPU system time (s): 0.055615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046662 second user time and 0.091062 second system time

The end