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: 63794 MiB (62571 MiB free)
  memory of node 1: 64507 MiB (63305 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545957-1753263404/watcher-4545957-1753263404 -o /tmp/evaluation-result-4545957-1753263404/solver-4545957-1753263404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753259701-157761 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545957-1753263404.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=158646, runsolver pid=158643

[startup+0.100065 s]*
/proc/loadavg: 4.12 4.19 4.09 5/251 158647
/proc/meminfo: memFree=128888984/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=86876 memory=13440 CPUtime=0.07 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 1398 0 0 0 6 1 0 0 20 0 1 0 242019775 88961024 3360 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 21719 3360 2208 595 0 6386 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 86876 KiB
Current children cumulated memory: 13440 KiB

[startup+0.212637 s]*
/proc/loadavg: 4.12 4.19 4.09 5/251 158647
/proc/meminfo: memFree=128888984/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=88112 memory=17576 CPUtime=0.17 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 1859 0 0 0 16 1 0 0 20 0 1 0 242019775 90226688 4394 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 22028 4394 2272 595 0 6695 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 88112 KiB
Current children cumulated memory: 17576 KiB

[startup+0.312238 s]*
/proc/loadavg: 4.12 4.19 4.09 5/251 158647
/proc/meminfo: memFree=128888984/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=88640 memory=18088 CPUtime=0.25 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 1993 0 0 0 24 1 0 0 20 0 1 0 242019775 90767360 4522 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 22160 4522 2272 595 0 6827 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 88640 KiB
Current children cumulated memory: 18088 KiB

[startup+0.700241 s]
/proc/loadavg: 4.12 4.19 4.09 5/251 158647
/proc/meminfo: memFree=128877896/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=104076 memory=32952 CPUtime=0.6 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 6713 0 0 0 57 3 0 0 20 0 1 0 242019775 106573824 8238 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 26019 8238 2464 595 0 10686 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 104076 KiB
Current children cumulated memory: 32952 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 4.19 4.09 5/251 158647
/proc/meminfo: memFree=128862020/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=109940 memory=39096 CPUtime=1.4 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 8240 0 0 0 134 6 0 0 20 0 1 0 242019775 112578560 9774 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 27485 9774 2464 595 0 12152 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 109940 KiB
Current children cumulated memory: 39096 KiB

[startup+3.11208 s]
/proc/loadavg: 4.11 4.18 4.09 5/251 158647
/proc/meminfo: memFree=128862108/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=109940 memory=39096 CPUtime=3.01 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 8240 0 0 0 289 12 0 0 20 0 1 0 242019775 112578560 9774 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 27485 9774 2464 595 0 12152 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 109940 KiB
Current children cumulated memory: 39096 KiB

[startup+6.30023 s]
/proc/loadavg: 4.11 4.18 4.09 5/251 158647
/proc/meminfo: memFree=128862108/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=109940 memory=39096 CPUtime=6.19 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 8240 0 0 0 596 23 0 0 20 0 1 0 242019775 112578560 9774 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 27485 9774 2464 595 0 12152 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 109940 KiB
Current children cumulated memory: 39096 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.18 4.09 5/251 158647
/proc/meminfo: memFree=128845732/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=109940 memory=39096 CPUtime=12.57 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 8240 0 0 0 1212 45 0 0 20 0 1 0 242019775 112578560 9774 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 27485 9774 2464 595 0 12152 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 109940 KiB
Current children cumulated memory: 39096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.19 4.09 5/251 158648
/proc/meminfo: memFree=128845248/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=109940 memory=39096 CPUtime=25.35 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 8240 0 0 0 2438 97 0 0 20 0 1 0 242019775 112578560 9774 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 27485 9774 2464 595 0 12152 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 109940 KiB
Current children cumulated memory: 39096 KiB

[startup+51.1122 s]
/proc/loadavg: 4.10 4.17 4.09 5/251 158648
/proc/meminfo: memFree=128817232/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=131104 memory=62860 CPUtime=50.89 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 10363 0 0 0 4926 163 0 0 20 0 1 0 242019775 134250496 15715 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 32776 15715 2464 595 0 17443 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 131104 KiB
Current children cumulated memory: 62860 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/251 158695
/proc/meminfo: memFree=123939384/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=132396 memory=68404 CPUtime=101.94 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 10682 0 0 0 10004 190 0 0 20 0 1 0 242019775 135573504 17101 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 33099 17101 2496 595 0 17766 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 132396 KiB
Current children cumulated memory: 68404 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/251 158697
/proc/meminfo: memFree=101434368/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=133360 memory=69428 CPUtime=161.76 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 10935 0 0 0 15852 324 0 0 20 0 1 0 242019775 136560640 17357 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 33340 17357 2496 595 0 18007 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 133360 KiB
Current children cumulated memory: 69428 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/251 158699
/proc/meminfo: memFree=101406572/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=134832 memory=71092 CPUtime=221.55 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11317 0 0 0 21826 329 0 0 20 0 1 0 242019775 138067968 17773 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 33708 17773 2496 595 0 18375 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 134832 KiB
Current children cumulated memory: 71092 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 158701
/proc/meminfo: memFree=101389972/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=135920 memory=73524 CPUtime=281.35 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11598 0 0 0 27802 333 0 0 20 0 1 0 242019775 139182080 18381 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 33980 18381 2496 595 0 18647 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 135920 KiB
Current children cumulated memory: 73524 KiB

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

# cumulated CPU time of all completed processes:  user=303.438 s, system=3.50405 s

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

[startup+294.4 s]
/proc/loadavg: 4.13 4.14 4.09 5/249 158701
/proc/meminfo: memFree=101388444/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=75748 CPUtime=293.41 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11655 0 0 0 29008 333 0 0 20 0 1 0 242019775 139354112 18937 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 18937 2496 595 0 18689 0
Current children cumulated CPU time: 293.41 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 75748 KiB

[startup+300.8 s]
/proc/loadavg: 4.12 4.14 4.09 5/249 158701
/proc/meminfo: memFree=101391068/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=77856 CPUtime=299.8 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11656 0 0 0 29646 334 0 0 20 0 1 0 242019775 139354112 19464 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 19464 2496 595 0 18689 0
Current children cumulated CPU time: 299.8 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 77856 KiB

[startup+304 s]*
/proc/loadavg: 4.11 4.13 4.09 5/249 158701
/proc/meminfo: memFree=101391152/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=77856 CPUtime=303 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11656 0 0 0 29966 334 0 0 20 0 1 0 242019775 139354112 19464 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 19464 2496 595 0 18689 0
Current children cumulated CPU time: 303 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 77856 KiB

[startup+305.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/249 158701
/proc/meminfo: memFree=101391152/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=77856 CPUtime=304.58 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11656 0 0 0 30117 341 0 0 20 0 1 0 242019775 139354112 19464 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 19464 2496 595 0 18689 0
Current children cumulated CPU time: 304.58 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 77856 KiB

[startup+307.2 s]
/proc/loadavg: 4.10 4.13 4.09 5/249 158701
/proc/meminfo: memFree=101399216/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=77856 CPUtime=306.18 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11656 0 0 0 30270 348 0 0 20 0 1 0 242019775 139354112 19464 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 19464 2496 595 0 18689 0
Current children cumulated CPU time: 306.18 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 77856 KiB

[startup+307.6 s]
/proc/loadavg: 4.10 4.13 4.09 5/249 158701
/proc/meminfo: memFree=101399216/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=77856 CPUtime=306.57 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11656 0 0 0 30309 348 0 0 20 0 1 0 242019775 139354112 19464 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 19464 2496 595 0 18689 0
Current children cumulated CPU time: 306.57 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 77856 KiB

[startup+307.8 s]
/proc/loadavg: 4.10 4.13 4.09 5/249 158701
/proc/meminfo: memFree=101399216/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=77856 CPUtime=306.77 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11656 0 0 0 30328 349 0 0 20 0 1 0 242019775 139354112 19464 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 19464 2496 595 0 18689 0
Current children cumulated CPU time: 306.77 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 77856 KiB

[startup+307.9 s]
/proc/loadavg: 4.10 4.13 4.09 5/249 158701
/proc/meminfo: memFree=101399216/131382120 swapFree=33010416/33010684
[pid=158646] ppid=158643 vsize=136088 memory=77856 CPUtime=306.88 cores=4,6
/proc/158646/stat : 158646 (SynLSCD) R 158643 158646 157743 0 -1 4194304 11656 0 0 0 30338 350 0 0 20 0 1 0 242019775 139354112 19464 18446744073709551615 93842250555392 93842252989993 140733473855904 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93842253470968 93842253504000 93842271535104 140733473864067 140733473864202 140733473864202 140733473869806 0
/proc/158646/statm: 34022 19464 2496 595 0 18689 0
Current children cumulated CPU time: 306.88 s
Current children cumulated vsize: 136088 KiB
Current children cumulated memory: 77856 KiB

Child status: 30

Real time (s): 307.96
CPU time (s): 306.942
CPU user time (s): 303.438
CPU system time (s): 3.50405
CPU usage (%): 99.6693
Max. virtual memory (cumulated for all children) (KiB): 136088
Max. memory (cumulated for all children) (KiB): 77856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.438
system time used= 3.50405
maximum resident set size= 77856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11682
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= 1714


# summary of solver processes directly reported to runsolver:
#   pid: 158646
#   total CPU time (s): 306.942
#   total CPU user time (s): 303.438
#   total CPU system time (s): 3.50405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59013 second user time and 2.84695 second system time

The end