0.00/0.20 c intsize: 10
0.00/0.20 c 2707 constraints
0.00/0.20 c Finish cloning data from SAT to LS
0.00/0.20 c restart_num_ls -100000 0
8.19/8.43 c Use LS-small
8.19/8.43 c update_LS_target_phase-runLS-restart
263.94/265.10 c restart_num 0 1263
263.94/265.10 c LS-restart 90 55
271.91/273.03 c Use LS-small
271.91/273.03 c update_LS_target_phase-runLS-restart
377.87/379.31 s UNSATISFIABLE
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 (61379 MiB free)
memory of node 1: 64465 MiB (63502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546167-1753259729/watcher-4546167-1753259729 -o /tmp/evaluation-result-4546167-1753259729/solver-4546167-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753259701-182992 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546167-1753259729.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=183185, runsolver pid=183180
[startup+0.100062 s]*
/proc/loadavg: 1.78 0.49 0.23 1/261 183194
/proc/meminfo: memFree=127874868/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) D 183180 183185 182973 0 -1 4456448 81 0 0 0 0 0 0 0 20 0 1 0 241652608 17514496 160 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.205129 s]*
/proc/loadavg: 1.78 0.49 0.23 2/261 183194
/proc/meminfo: memFree=127874724/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=86684 memory=13696 CPUtime=0.01 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 1461 0 0 0 1 0 0 0 20 0 1 0 241652608 88764416 3424 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 21671 3424 2432 595 0 6338 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13696 KiB
[startup+0.304675 s]*
/proc/loadavg: 1.78 0.49 0.23 4/261 183194
/proc/meminfo: memFree=127872900/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=86684 memory=13696 CPUtime=0.11 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 1466 0 0 0 11 0 0 0 20 0 1 0 241652608 88764416 3424 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 21671 3424 2432 595 0 6338 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13696 KiB
[startup+0.700099 s]
/proc/loadavg: 1.78 0.49 0.23 5/261 183194
/proc/meminfo: memFree=127872900/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=86684 memory=13696 CPUtime=0.5 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 1466 0 0 0 50 0 0 0 20 0 1 0 241652608 88764416 3424 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 21671 3424 2432 595 0 6338 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13696 KiB
[startup+1.50009 s]
/proc/loadavg: 1.78 0.49 0.23 4/261 183194
/proc/meminfo: memFree=127887872/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=86684 memory=13696 CPUtime=1.3 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 1466 0 0 0 130 0 0 0 20 0 1 0 241652608 88764416 3424 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 21671 3424 2432 595 0 6338 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13696 KiB
[startup+3.10433 s]
/proc/loadavg: 1.96 0.55 0.25 4/261 183194
/proc/meminfo: memFree=127907576/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=86684 memory=13696 CPUtime=2.9 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 1466 0 0 0 290 0 0 0 20 0 1 0 241652608 88764416 3424 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 21671 3424 2432 595 0 6338 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13696 KiB
[startup+6.30009 s]
/proc/loadavg: 1.96 0.55 0.25 5/264 183200
/proc/meminfo: memFree=127930904/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=86684 memory=13696 CPUtime=6.09 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 1466 0 0 0 609 0 0 0 20 0 1 0 241652608 88764416 3424 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 21671 3424 2432 595 0 6338 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13696 KiB
[startup+12.7001 s]
/proc/loadavg: 2.21 0.63 0.27 2/259 183232
/proc/meminfo: memFree=127980632/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=89812 memory=21564 CPUtime=12.47 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 2381 0 0 0 1245 2 0 0 20 0 1 0 241652608 91967488 5391 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 22453 5391 2464 595 0 7120 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 89812 KiB
Current children cumulated memory: 21564 KiB
[startup+25.5001 s]
/proc/loadavg: 2.74 0.82 0.34 2/255 183268
/proc/meminfo: memFree=128117068/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=91724 memory=25596 CPUtime=25.23 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 2841 0 0 0 2512 11 0 0 20 0 1 0 241652608 93925376 6399 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 22931 6399 2464 595 0 7598 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 91724 KiB
Current children cumulated memory: 25596 KiB
[startup+51.1056 s]
/proc/loadavg: 3.23 1.10 0.45 5/265 183367
/proc/meminfo: memFree=127058828/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=92532 memory=26600 CPUtime=50.75 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 3301 0 0 0 5050 25 0 0 20 0 1 0 241652608 94752768 6650 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 23133 6650 2464 595 0 7800 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 92532 KiB
Current children cumulated memory: 26600 KiB
[startup+102.3 s]
/proc/loadavg: 3.78 1.58 0.65 5/266 183369
/proc/meminfo: memFree=126962480/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=95064 memory=28904 CPUtime=101.76 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 4660 0 0 0 10123 53 0 0 20 0 1 0 241652608 97345536 7226 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 23766 7226 2464 595 0 8433 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 95064 KiB
Current children cumulated memory: 28904 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.02 0.86 5/266 183371
/proc/meminfo: memFree=126901976/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=95556 memory=31540 CPUtime=161.56 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 6433 0 0 0 16071 85 0 0 20 0 1 0 241652608 97849344 7885 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 23889 7885 2464 595 0 8556 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 95556 KiB
Current children cumulated memory: 31540 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.40 1.06 5/266 183373
/proc/meminfo: memFree=126864616/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=96172 memory=32164 CPUtime=221.37 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 8028 0 0 0 22020 117 0 0 20 0 1 0 241652608 98480128 8041 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24043 8041 2464 595 0 8710 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 96172 KiB
Current children cumulated memory: 32164 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.72 1.26 5/265 183376
/proc/meminfo: memFree=126816556/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=96340 memory=32332 CPUtime=281.19 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 9396 0 0 0 27973 146 0 0 20 0 1 0 241652608 98652160 8083 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24085 8083 2464 595 0 8752 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 96340 KiB
Current children cumulated memory: 32332 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.97 1.44 5/264 183378
/proc/meminfo: memFree=126794892/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=340.99 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10398 0 0 0 33919 180 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+379.318 s]
# the end of solver process 183185 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=375.877 s, system=2.02143 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.06 3.04 1.50 5/264 183379
/proc/meminfo: memFree=126795008/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=357.04 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10405 0 0 0 35515 189 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 357.04 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+371.2 s]
/proc/loadavg: 4.05 3.07 1.52 5/264 183379
/proc/meminfo: memFree=126793236/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=369.79 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10407 0 0 0 36782 197 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 369.79 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+374.4 s]
/proc/loadavg: 4.05 3.09 1.54 5/264 183379
/proc/meminfo: memFree=126793520/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=372.99 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10408 0 0 0 37100 199 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 372.99 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+377.6 s]
/proc/loadavg: 4.05 3.09 1.54 5/264 183379
/proc/meminfo: memFree=126793520/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=376.18 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10409 0 0 0 37417 201 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 376.18 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+378.4 s]
/proc/loadavg: 4.04 3.10 1.55 5/264 183379
/proc/meminfo: memFree=126793520/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=376.97 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10409 0 0 0 37496 201 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 376.97 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+378.8 s]
/proc/loadavg: 4.04 3.10 1.55 5/264 183379
/proc/meminfo: memFree=126793520/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=377.37 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10409 0 0 0 37536 201 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 377.37 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+379.2 s]
/proc/loadavg: 4.04 3.10 1.55 5/264 183379
/proc/meminfo: memFree=126793520/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=377.77 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10409 0 0 0 37576 201 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 377.77 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
[startup+379.3 s]
/proc/loadavg: 4.04 3.10 1.55 5/264 183379
/proc/meminfo: memFree=126793520/131250000 swapFree=33009904/33010684
[pid=183185] ppid=183180 vsize=97360 memory=33200 CPUtime=377.87 cores=1,3
/proc/183185/stat : 183185 (SynLSCD-PS) R 183180 183185 182973 0 -1 4194304 10409 0 0 0 37585 202 0 0 20 0 1 0 241652608 99696640 8300 18446744073709551615 94652520194048 94652522629465 140736537566320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94652523109624 94652523142656 94652542222336 140736537573757 140736537573895 140736537573895 140736537579499 0
/proc/183185/statm: 24340 8300 2464 595 0 9007 0
Current children cumulated CPU time: 377.87 s
Current children cumulated vsize: 97360 KiB
Current children cumulated memory: 33200 KiB
Child status: 20
Real time (s): 379.318
CPU time (s): 377.899
CPU user time (s): 375.877
CPU system time (s): 2.02143
CPU usage (%): 99.6257
Max. virtual memory (cumulated for all children) (KiB): 97360
Max. memory (cumulated for all children) (KiB): 33200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 375.877
system time used= 2.02143
maximum resident set size= 33584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10441
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= 174
involuntary context switches= 407
# summary of solver processes directly reported to runsolver:
# pid: 183185
# total CPU time (s): 377.899
# total CPU user time (s): 375.877
# total CPU system time (s): 2.02143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.709481 second user time and 1.60664 second system time
The end
Begin job on nodeC033 at 2025-07-23 10:35:31
IDJOB=4546167
IDBENCH=147933
IDSOLVER=3422
FILE ID=nodeC033/4546167-1753259729
RUNJOBID= nodeC033-1753259701-182992
SLURM_JOB_ID= 9689188
Free space on /tmp= 432556 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546167-1753259729/watcher-4546167-1753259729 -o /tmp/evaluation-result-4546167-1753259729/solver-4546167-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753259701-182992 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546167-1753259729.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 75eee10e25ffa4d5aec52eb68458e53f
RANDOM SEED=554905260
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1524.624
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.098
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.861
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3543.193
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.613
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.585
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2227.356
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127872252 kB
MemAvailable: 129379752 kB
Buffers: 2128 kB
Cached: 2229980 kB
SwapCached: 64 kB
Active: 1294292 kB
Inactive: 1002848 kB
Active(anon): 85976 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 997564 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3760 kB
Writeback: 0 kB
AnonPages: 68112 kB
Mapped: 108980 kB
Shmem: 26228 kB
KReclaimable: 281716 kB
Slab: 379508 kB
SReclaimable: 281716 kB
SUnreclaim: 97792 kB
KernelStack: 4112 kB
PageTables: 2984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 350824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432552 MiB
End job on nodeC033 at 2025-07-23 10:41:51