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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496884-1751394994/watcher-4496884-1751394994 -o /tmp/evaluation-result-4496884-1751394994/solver-4496884-1751394994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751394381-55160 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4496884-1751394994.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

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
Current StackSize limit: 8192 KiB

solver pid=55342, runsolver pid=55339

[startup+0.100067 s]*
/proc/loadavg: 4.15 4.05 4.01 5/269 55344
/proc/meminfo: memFree=124791916/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=48188 memory=38912 CPUtime=0.08 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 8819 0 0 0 8 0 0 0 20 0 1 0 55178022 49344512 9728 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 12047 9728 1024 1162 0 10656 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 52380 KiB
Current children cumulated memory: 41856 KiB

[startup+0.205811 s]*
/proc/loadavg: 4.14 4.05 4.01 5/269 55344
/proc/meminfo: memFree=124767976/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=71376 memory=62976 CPUtime=0.2 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 14704 0 0 0 18 2 0 0 20 0 1 0 55178022 73089024 15744 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 17844 15744 1184 1162 0 16453 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75568 KiB
Current children cumulated memory: 65920 KiB

[startup+0.30557 s]*
/proc/loadavg: 4.14 4.05 4.01 5/269 55344
/proc/meminfo: memFree=124735720/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=104660 memory=96640 CPUtime=0.3 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 23140 0 0 0 27 3 0 0 20 0 1 0 55178022 107171840 24160 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 26165 24160 1184 1162 0 24774 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108852 KiB
Current children cumulated memory: 99584 KiB

[startup+0.700204 s]
/proc/loadavg: 4.14 4.05 4.01 5/269 55344
/proc/meminfo: memFree=124703716/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=136288 memory=128252 CPUtime=0.68 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 31086 0 0 0 64 4 0 0 20 0 1 0 55178022 139558912 32063 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 34072 32063 1184 1162 0 32681 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140480 KiB
Current children cumulated memory: 131196 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.05 4.01 5/269 55344
/proc/meminfo: memFree=124696040/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=145244 memory=137212 CPUtime=1.48 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 33333 0 0 0 143 5 0 0 20 0 1 0 55178022 148729856 34303 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 36311 34303 1184 1162 0 34920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149436 KiB
Current children cumulated memory: 140156 KiB

[startup+3.10546 s]
/proc/loadavg: 4.14 4.05 4.01 5/269 55344
/proc/meminfo: memFree=124688700/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=150876 memory=142844 CPUtime=3.08 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 34741 0 0 0 303 5 0 0 20 0 1 0 55178022 154497024 35711 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 37719 35711 1184 1162 0 36328 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 155068 KiB
Current children cumulated memory: 145788 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.05 4.01 5/268 55344
/proc/meminfo: memFree=124665196/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=170844 memory=162812 CPUtime=6.26 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 39742 0 0 0 621 5 0 0 20 0 1 0 55178022 174944256 40703 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 42711 40703 1184 1162 0 41320 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 175036 KiB
Current children cumulated memory: 165756 KiB

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

# cumulated CPU time of all completed processes:  user=8.17497 s, system=0.075214 s

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

[startup+6.40022 s]
/proc/loadavg: 4.13 4.05 4.01 5/268 55344
/proc/meminfo: memFree=124665196/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=171356 memory=163324 CPUtime=6.36 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 39870 0 0 0 631 5 0 0 20 0 1 0 55178022 175468544 40831 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 42839 40831 1184 1162 0 41448 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 175548 KiB
Current children cumulated memory: 166268 KiB

[startup+7.20018 s]
/proc/loadavg: 4.13 4.05 4.01 5/268 55344
/proc/meminfo: memFree=124665448/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=175452 memory=167420 CPUtime=7.16 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 40894 0 0 0 710 6 0 0 20 0 1 0 55178022 179662848 41855 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 43863 41855 1184 1162 0 42472 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 179644 KiB
Current children cumulated memory: 170364 KiB

[startup+8.00018 s]*
/proc/loadavg: 4.13 4.05 4.01 5/268 55344
/proc/meminfo: memFree=124657384/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=179036 memory=171004 CPUtime=7.96 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 41802 0 0 0 790 6 0 0 20 0 1 0 55178022 183332864 42751 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 44759 42751 1184 1162 0 43368 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 183228 KiB
Current children cumulated memory: 173948 KiB

[startup+8.20017 s]
/proc/loadavg: 4.13 4.05 4.01 5/268 55344
/proc/meminfo: memFree=124657384/131250000 swapFree=33010684/33010684
[pid=55342] ppid=55339 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/55342/stat : 55342 (toulbar2.sh) S 55339 55342 55147 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55178021 4292608 736 18446744073709551615 94541796634624 94541797529157 140723429745008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94541797768208 94541797815952 94541831000064 140723429751095 140723429751271 140723429751271 140723429756873 0
/proc/55342/statm: 1048 736 672 219 0 110 0
[pid=55344] ppid=55342 vsize=181104 memory=173180 CPUtime=8.16 cores=5,7
/proc/55344/stat : 55344 (toulbar2) R 55342 55342 55147 0 -1 4194304 42325 0 0 0 810 6 0 0 20 0 1 0 55178022 185450496 43295 18446744073709551615 4198400 8956741 140729553783376 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43266048 140729553787253 140729553787372 140729553787372 140729553792972 0
/proc/55344/statm: 45276 43295 1184 1162 0 43885 0
Current children cumulated CPU time: 8.16 s
Current children cumulated vsize: 185296 KiB
Current children cumulated memory: 176124 KiB

Child status: 0

Real time (s): 8.28223
CPU time (s): 8.25019
CPU user time (s): 8.17497
CPU system time (s): 0.075214
CPU usage (%): 99.6131
Max. virtual memory (cumulated for all children) (KiB): 185296
Max. memory (cumulated for all children) (KiB): 176124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.17497
system time used= 0.075214
maximum resident set size= 173180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42548
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= 66
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 55342
#   total CPU time (s): 8.25019
#   total CPU user time (s): 8.17497
#   total CPU system time (s): 0.075214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024343 second user time and 0.071773 second system time

The end