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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498350-1751270066/watcher-4498350-1751270066 -o /tmp/evaluation-result-4498350-1751270066/solver-4498350-1751270066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751270066-35368 --watchdog 3760 HOME/opbsolver HOME/instance-4498350-1751270066.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
solver pid=35419, runsolver pid=35410
Current StackSize limit: 8192 KiB
Starting watchdog thread


[startup+0.100072 s]*
/proc/loadavg: 6.41 7.72 6.92 6/257 35440
/proc/meminfo: memFree=130152928/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=31652 memory=21120 CPUtime=0.05 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 3106 0 0 0 4 1 0 0 20 0 1 0 42685779 32411648 5280 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 7913 5280 2432 2826 0 4525 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 35844 KiB
Current children cumulated memory: 24064 KiB

[startup+0.214058 s]*
/proc/loadavg: 6.41 7.72 6.92 6/257 35440
/proc/meminfo: memFree=130073088/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=42276 memory=29992 CPUtime=0.16 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 5394 0 0 0 14 2 0 0 20 0 1 0 42685779 43290624 7498 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 10569 7498 2560 2826 0 7181 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 46468 KiB
Current children cumulated memory: 32936 KiB

[startup+0.314805 s]*
/proc/loadavg: 6.41 7.72 6.92 6/257 35440
/proc/meminfo: memFree=130032012/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=44300 memory=32052 CPUtime=0.26 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 5909 0 0 0 24 2 0 0 20 0 1 0 42685779 45363200 8013 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 11075 8013 2656 2826 0 7687 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 34996 KiB

[startup+0.700466 s]
/proc/loadavg: 6.41 7.72 6.92 6/257 35440
/proc/meminfo: memFree=129987028/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=48368 memory=36148 CPUtime=0.62 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 6921 0 0 0 60 2 0 0 20 0 1 0 42685779 49528832 9037 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 12092 9037 2656 2826 0 8704 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 52560 KiB
Current children cumulated memory: 39092 KiB

[startup+1.50037 s]
/proc/loadavg: 6.41 7.72 6.92 6/257 35440
/proc/meminfo: memFree=129888496/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=56304 memory=43572 CPUtime=1.42 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 8777 0 0 0 139 3 0 0 20 0 1 0 42685779 57655296 10893 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 14076 10893 2656 2826 0 10688 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 60496 KiB
Current children cumulated memory: 46516 KiB

[startup+3.11285 s]
/proc/loadavg: 6.22 7.65 6.90 6/257 35440
/proc/meminfo: memFree=129773516/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=76052 memory=61364 CPUtime=3.03 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 13233 0 0 0 299 4 0 0 20 0 1 0 42685779 77877248 15341 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 19013 15341 2656 2826 0 15625 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 80244 KiB
Current children cumulated memory: 64308 KiB

[startup+6.30033 s]
/proc/loadavg: 6.22 7.65 6.90 6/257 35440
/proc/meminfo: memFree=129721352/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=97196 memory=78232 CPUtime=6.21 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 19009 0 0 0 616 5 0 0 20 0 1 0 42685779 99528704 19558 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 24299 19558 2688 2826 0 20911 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 101388 KiB
Current children cumulated memory: 81176 KiB

[startup+12.7003 s]
/proc/loadavg: 6.04 7.59 6.89 6/257 35440
/proc/meminfo: memFree=129673024/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=107864 memory=88344 CPUtime=12.58 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 21576 0 0 0 1253 5 0 0 20 0 1 0 42685779 110452736 22086 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 26966 22086 2688 2826 0 23578 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 112056 KiB
Current children cumulated memory: 91288 KiB

[startup+25.5004 s]
/proc/loadavg: 5.67 7.43 6.85 6/257 35440
/proc/meminfo: memFree=129588904/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=142364 memory=119616 CPUtime=25.35 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 30505 0 0 0 2528 7 0 0 20 0 1 0 42685779 145780736 29904 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 35591 29904 2688 2826 0 32203 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 146556 KiB
Current children cumulated memory: 122560 KiB

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

# cumulated CPU time of all completed processes:  user=28.9577 s, system=0.104228 s

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

[startup+25.6004 s]
/proc/loadavg: 5.67 7.43 6.85 6/257 35440
/proc/meminfo: memFree=129588904/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=142364 memory=119616 CPUtime=25.45 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 30505 0 0 0 2538 7 0 0 20 0 1 0 42685779 145780736 29904 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 35591 29904 2688 2826 0 32203 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 146556 KiB
Current children cumulated memory: 122560 KiB

[startup+27.2004 s]
/proc/loadavg: 5.67 7.43 6.85 6/257 35440
/proc/meminfo: memFree=129585140/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=144532 memory=121796 CPUtime=27.04 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 32320 0 0 0 2697 7 0 0 20 0 1 0 42685779 148000768 30449 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 36133 30449 2688 2826 0 32745 0
Current children cumulated CPU time: 27.04 s
Current children cumulated vsize: 148724 KiB
Current children cumulated memory: 124740 KiB

[startup+28.0003 s]*
/proc/loadavg: 5.54 7.38 6.83 6/257 35440
/proc/meminfo: memFree=129584384/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=153008 memory=128964 CPUtime=27.85 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 34117 0 0 0 2778 7 0 0 20 0 1 0 42685779 156680192 32241 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 38252 32241 2688 2826 0 34864 0
Current children cumulated CPU time: 27.85 s
Current children cumulated vsize: 157200 KiB
Current children cumulated memory: 131908 KiB

[startup+28.8003 s]
/proc/loadavg: 5.54 7.38 6.83 6/257 35440
/proc/meminfo: memFree=129584384/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 261 235 0 0 0 0 0 0 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
[pid=35437] ppid=35419 vsize=153008 memory=128964 CPUtime=28.63 cores=0,2
/proc/35437/stat : 35437 (pbcpreprocessor) R 35419 35419 34980 0 -1 4194304 34117 0 0 0 2856 7 0 0 20 0 1 0 42685779 156680192 32241 18446744073709551615 4198400 15773533 140732063117584 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 52527104 140732063123780 140732063123934 140732063123934 140732063129541 0
/proc/35437/statm: 38252 32241 2688 2826 0 34864 0
Current children cumulated CPU time: 28.63 s
Current children cumulated vsize: 157200 KiB
Current children cumulated memory: 131908 KiB

[startup+29.2003 s]
/proc/loadavg: 5.54 7.38 6.83 6/257 35440
/proc/meminfo: memFree=129584384/131382120 swapFree=33010160/33010684
[pid=35419] ppid=35410 vsize=4192 memory=2944 CPUtime=29.04 cores=0,2
/proc/35419/stat : 35419 (opbsolver) S 35410 35419 34980 0 -1 4194304 289 34353 0 0 0 0 2895 9 20 0 1 0 42685773 4292608 736 18446744073709551615 94859850223616 94859851118149 140724219104464 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94859851357200 94859851404944 94859856781312 140724219111710 140724219111913 140724219111913 140724219117515 0
/proc/35419/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 29.04 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 29.2135
CPU time (s): 29.0619
CPU user time (s): 28.9577
CPU system time (s): 0.104228
CPU usage (%): 99.4809
Max. virtual memory (cumulated for all children) (KiB): 157200
Max. memory (cumulated for all children) (KiB): 131908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9577
system time used= 0.104228
maximum resident set size= 128964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 544
involuntary context switches= 69


# summary of solver processes directly reported to runsolver:
#   pid: 35419
#   total CPU time (s): 29.0619
#   total CPU user time (s): 28.9577
#   total CPU system time (s): 0.104228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186665 second user time and 0.344485 second system time

The end