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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497117-1751379434/watcher-4497117-1751379434 -o /tmp/evaluation-result-4497117-1751379434/solver-4497117-1751379434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751371144-48820 --watchdog 3760 HOME/opbsolver HOME/instance-4497117-1751379434.opb 3600 31000 HOME HOME 

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

solver pid=50940, runsolver pid=50937

[startup+0.100067 s]*
/proc/loadavg: 4.10 4.25 4.18 5/255 50949
/proc/meminfo: memFree=128870900/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=6728 memory=3072 CPUtime=0.02 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 445 0 0 0 2 0 0 0 20 0 1 0 53622823 6889472 768 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 1682 768 448 424 0 1137 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10920 KiB
Current children cumulated memory: 6144 KiB

[startup+0.214816 s]*
/proc/loadavg: 4.10 4.25 4.18 5/255 50949
/proc/meminfo: memFree=128870900/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=7000 memory=3328 CPUtime=0.12 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 516 0 0 0 12 0 0 0 20 0 1 0 53622823 7168000 832 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 1750 832 448 424 0 1205 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 11192 KiB
Current children cumulated memory: 6400 KiB

[startup+0.312852 s]*
/proc/loadavg: 4.10 4.25 4.18 5/255 50949
/proc/meminfo: memFree=128870900/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=7000 memory=3328 CPUtime=0.22 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 516 0 0 0 22 0 0 0 20 0 1 0 53622823 7168000 832 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 1750 832 448 424 0 1205 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 11192 KiB
Current children cumulated memory: 6400 KiB

[startup+0.700354 s]
/proc/loadavg: 4.10 4.25 4.18 5/255 50949
/proc/meminfo: memFree=128870648/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=7000 memory=3328 CPUtime=0.59 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 516 0 0 0 59 0 0 0 20 0 1 0 53622823 7168000 832 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 1750 832 448 424 0 1205 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 11192 KiB
Current children cumulated memory: 6400 KiB

[startup+1.50035 s]
/proc/loadavg: 4.10 4.25 4.18 5/255 50949
/proc/meminfo: memFree=128869388/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=7000 memory=3328 CPUtime=1.39 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 516 0 0 0 139 0 0 0 20 0 1 0 53622823 7168000 832 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 1750 832 448 424 0 1205 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 11192 KiB
Current children cumulated memory: 6400 KiB

[startup+3.11294 s]
/proc/loadavg: 4.10 4.25 4.18 5/255 50949
/proc/meminfo: memFree=128885848/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=7132 memory=3456 CPUtime=3 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 554 0 0 0 300 0 0 0 20 0 1 0 53622823 7303168 864 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 1783 864 448 424 0 1238 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 11324 KiB
Current children cumulated memory: 6528 KiB

[startup+6.30035 s]
/proc/loadavg: 4.10 4.24 4.18 5/255 50949
/proc/meminfo: memFree=128902868/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=7396 memory=3584 CPUtime=6.18 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 592 0 0 0 618 0 0 0 20 0 1 0 53622823 7573504 896 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 1849 896 448 424 0 1304 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 11588 KiB
Current children cumulated memory: 6656 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.26 4.18 5/255 50949
/proc/meminfo: memFree=128784036/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=139384 memory=117684 CPUtime=12.56 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 25578 0 0 0 1248 8 0 0 20 0 1 0 53622823 142729216 29421 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 34846 29421 448 424 0 34301 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 143576 KiB
Current children cumulated memory: 120756 KiB

[startup+25.5004 s]
/proc/loadavg: 4.20 4.26 4.18 4/252 51026
/proc/meminfo: memFree=128889572/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=93168 memory=85528 CPUtime=25.33 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 49867 0 0 0 2514 19 0 0 20 0 1 0 53622823 95404032 21382 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 23292 21382 448 424 0 22747 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 88600 KiB

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

# cumulated CPU time of all completed processes:  user=26.1066 s, system=0.230669 s

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

[startup+25.6004 s]
/proc/loadavg: 4.20 4.26 4.18 4/252 51026
/proc/meminfo: memFree=128889572/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=145440 memory=123624 CPUtime=25.42 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 51726 0 0 0 2523 19 0 0 20 0 1 0 53622823 148930560 30906 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 36360 30906 448 424 0 35815 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 149632 KiB
Current children cumulated memory: 126696 KiB

[startup+26.0004 s]*
/proc/loadavg: 4.20 4.26 4.18 5/255 51059
/proc/meminfo: memFree=128846420/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=145440 memory=123624 CPUtime=25.83 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 51726 0 0 0 2564 19 0 0 20 0 1 0 53622823 148930560 30906 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 36360 30906 448 424 0 35815 0
Current children cumulated CPU time: 25.84 s
Current children cumulated vsize: 149632 KiB
Current children cumulated memory: 126696 KiB

[startup+26.4004 s]
/proc/loadavg: 4.20 4.26 4.18 5/255 51059
/proc/meminfo: memFree=128846420/131382116 swapFree=33010684/33010684
[pid=50940] ppid=50937 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/50940/stat : 50940 (opbsolver) S 50937 50940 48810 0 -1 4194304 407 1105 0 0 0 0 0 1 20 0 1 0 53622816 4292608 768 18446744073709551615 93950874279936 93950875174469 140736561558784 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93950875413520 93950875461264 93950884417536 140736561563934 140736561564137 140736561564137 140736561569739 0
/proc/50940/statm: 1048 768 704 219 0 110 0
[pid=50949] ppid=50940 vsize=145440 memory=123624 CPUtime=26.22 cores=0,2
/proc/50949/stat : 50949 (wmaxcdcl) R 50940 50940 48810 0 -1 4194304 51727 0 0 0 2603 19 0 0 20 0 1 0 53622823 148930560 30906 18446744073709551615 4198400 5932793 140725311366400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 32235520 140725311375707 140725311375852 140725311375852 140725311381452 0
/proc/50949/statm: 36360 30906 448 424 0 35815 0
Current children cumulated CPU time: 26.23 s
Current children cumulated vsize: 149632 KiB
Current children cumulated memory: 126696 KiB

Child status: 0

Real time (s): 26.4773
CPU time (s): 26.3373
CPU user time (s): 26.1066
CPU system time (s): 0.230669
CPU usage (%): 99.4713
Max. virtual memory (cumulated for all children) (KiB): 149632
Max. memory (cumulated for all children) (KiB): 126696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.1066
system time used= 0.230669
maximum resident set size= 123624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 463
involuntary context switches= 70


# summary of solver processes directly reported to runsolver:
#   pid: 50940
#   total CPU time (s): 26.3373
#   total CPU user time (s): 26.1066
#   total CPU system time (s): 0.230669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158662 second user time and 0.33242 second system time

The end