PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
ExactPR 2025-06-01	SAT (TO)	-35	3600.06	3609.6

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: 63665 MiB (62960 MiB free)
  memory of node 1: 64507 MiB (63430 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485113-1751302794/watcher-4485113-1751302794 -o /tmp/evaluation-result-4485113-1751302794/solver-4485113-1751302794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751302794-46548 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485113-1751302794.opb 

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=46604, runsolver pid=46588

[startup+0.100063 s]*
/proc/loadavg: 0.87 1.04 1.48 6/264 46605
/proc/meminfo: memFree=129382584/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=58784 memory=20148 CPUtime=0.07 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 3417 0 0 0 7 0 0 0 20 0 1 0 45957309 60194816 5037 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 14696 5037 1792 2271 0 9334 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 58784 KiB
Current children cumulated memory: 20148 KiB

[startup+0.205063 s]*
/proc/loadavg: 0.87 1.04 1.48 6/264 46605
/proc/meminfo: memFree=129301564/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=0.17 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 16 1 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+0.305665 s]*
/proc/loadavg: 0.87 1.04 1.48 6/264 46605
/proc/meminfo: memFree=129308368/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=0.26 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 25 1 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+0.700152 s]
/proc/loadavg: 0.87 1.04 1.48 6/264 46605
/proc/meminfo: memFree=129292796/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=0.65 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 62 3 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+1.50012 s]
/proc/loadavg: 0.87 1.04 1.48 6/264 46605
/proc/meminfo: memFree=129292896/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=1.45 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 140 5 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+3.10488 s]
/proc/loadavg: 0.87 1.04 1.48 6/264 46605
/proc/meminfo: memFree=129292896/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=3.05 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 296 9 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+6.3001 s]
/proc/loadavg: 1.12 1.09 1.50 6/264 46605
/proc/meminfo: memFree=129293416/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=6.23 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 607 16 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+12.7001 s]
/proc/loadavg: 1.35 1.14 1.51 6/264 46605
/proc/meminfo: memFree=129293480/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=12.62 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 1230 32 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+25.5001 s]
/proc/loadavg: 1.94 1.28 1.55 6/265 46607
/proc/meminfo: memFree=129293360/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=25.39 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 2477 62 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+51.1047 s]
/proc/loadavg: 2.72 1.52 1.62 6/265 46607
/proc/meminfo: memFree=129293560/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=77112 memory=37928 CPUtime=50.93 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 8086 0 0 0 4964 129 0 0 20 0 1 0 45957309 78962688 9482 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 19278 9482 1920 2271 0 13916 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 37928 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.92 1.75 6/266 46627
/proc/meminfo: memFree=129071984/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=129760 memory=85720 CPUtime=101.97 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 13044 0 0 0 10039 158 0 0 20 0 1 0 45957309 132874240 21430 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 32440 21430 1920 2271 0 27078 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 129760 KiB
Current children cumulated memory: 85720 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.31 1.90 6/266 46629
/proc/meminfo: memFree=129052648/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=135736 memory=95924 CPUtime=161.79 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 14599 0 0 0 16016 163 0 0 20 0 1 0 45957309 138993664 23981 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 33934 23981 1920 2271 0 28572 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 135736 KiB
Current children cumulated memory: 95924 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.64 2.04 6/267 46633
/proc/meminfo: memFree=129024924/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=138308 memory=98612 CPUtime=221.61 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 15264 0 0 0 21991 170 0 0 20 0 1 0 45957309 141627392 24653 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 34577 24653 1920 2271 0 29215 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 138308 KiB
Current children cumulated memory: 98612 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.91 2.17 6/267 46635
/proc/meminfo: memFree=129005820/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=147884 memory=107828 CPUtime=281.42 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 17600 0 0 0 27965 177 0 0 20 0 1 0 45957309 151433216 26957 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 36971 26957 1920 2271 0 31609 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 147884 KiB
Current children cumulated memory: 107828 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.12 2.29 6/266 46637
/proc/meminfo: memFree=128967000/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=153012 memory=125476 CPUtime=341.24 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 18960 0 0 0 33939 185 0 0 20 0 1 0 45957309 156684288 31369 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 38253 31369 1920 2271 0 32891 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 153012 KiB
Current children cumulated memory: 125476 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.32 2.41 6/264 46639
/proc/meminfo: memFree=128944580/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=155032 memory=129188 CPUtime=401.08 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 19499 0 0 0 39916 192 0 0 20 0 1 0 45957309 158752768 32297 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 38758 32297 1920 2271 0 33396 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 155032 KiB
Current children cumulated memory: 129188 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.44 2.52 6/265 46642
/proc/meminfo: memFree=128909088/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=160580 memory=134564 CPUtime=460.94 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 20886 0 0 0 45894 200 0 0 20 0 1 0 45957309 164433920 33641 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 40145 33641 1920 2271 0 34783 0
Current children cumulated CPU time: 460.94 s

################
# More data... #
################

Current children cumulated memory: 187940 KiB

[startup+2862.3 s]
/proc/loadavg: 4.06 4.08 4.00 6/265 46765
/proc/meminfo: memFree=128580540/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=214948 memory=188708 CPUtime=2854.69 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 34307 0 0 0 284978 491 0 0 20 0 1 0 45957309 220106752 47177 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 53737 47177 1920 2271 0 48375 0
Current children cumulated CPU time: 2854.69 s
Current children cumulated vsize: 214948 KiB
Current children cumulated memory: 188708 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/265 46767
/proc/meminfo: memFree=128580472/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=215684 memory=189476 CPUtime=2914.55 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 34487 0 0 0 290955 500 0 0 20 0 1 0 45957309 220860416 47369 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 53921 47369 1920 2271 0 48559 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 215684 KiB
Current children cumulated memory: 189476 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.10 4.02 6/264 46769
/proc/meminfo: memFree=128577952/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=216292 memory=190116 CPUtime=2974.41 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 34645 0 0 0 296935 506 0 0 20 0 1 0 45957309 221483008 47529 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54073 47529 1920 2271 0 48711 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 216292 KiB
Current children cumulated memory: 190116 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/264 46771
/proc/meminfo: memFree=128578508/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=216680 memory=190500 CPUtime=3034.27 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 34741 0 0 0 302913 514 0 0 20 0 1 0 45957309 221880320 47625 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54170 47625 1920 2271 0 48808 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 216680 KiB
Current children cumulated memory: 190500 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.01 6/265 46780
/proc/meminfo: memFree=128571000/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=217284 memory=191012 CPUtime=3094.13 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 34892 0 0 0 308893 520 0 0 20 0 1 0 45957309 222498816 47753 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54321 47753 1920 2271 0 48959 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 217284 KiB
Current children cumulated memory: 191012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.02 6/264 46783
/proc/meminfo: memFree=128570824/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=217284 memory=191012 CPUtime=3153.99 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 34893 0 0 0 314872 527 0 0 20 0 1 0 45957309 222498816 47753 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54321 47753 1920 2271 0 48959 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 217284 KiB
Current children cumulated memory: 191012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/264 46785
/proc/meminfo: memFree=128573004/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=217636 memory=191396 CPUtime=3213.81 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 34980 0 0 0 320848 533 0 0 20 0 1 0 45957309 222859264 47849 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54409 47849 1920 2271 0 49047 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 217636 KiB
Current children cumulated memory: 191396 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.02 6/264 46787
/proc/meminfo: memFree=128564280/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=218000 memory=191780 CPUtime=3273.64 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 35067 0 0 0 326824 540 0 0 20 0 1 0 45957309 223232000 47945 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54500 47945 1920 2271 0 49138 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 218000 KiB
Current children cumulated memory: 191780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.02 6/264 46789
/proc/meminfo: memFree=128564356/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=218472 memory=192164 CPUtime=3333.46 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 35185 0 0 0 332799 547 0 0 20 0 1 0 45957309 223715328 48041 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54618 48041 1920 2271 0 49256 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 218472 KiB
Current children cumulated memory: 192164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.02 6/263 46791
/proc/meminfo: memFree=128564496/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=219208 memory=195648 CPUtime=3393.27 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 35519 0 0 0 338773 554 0 0 20 0 1 0 45957309 224468992 48912 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54802 48912 1920 2271 0 49440 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 219208 KiB
Current children cumulated memory: 195648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/263 46794
/proc/meminfo: memFree=128556132/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=219208 memory=196032 CPUtime=3453.09 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 35553 0 0 0 344749 560 0 0 20 0 1 0 45957309 224468992 49008 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 54802 49008 1920 2271 0 49440 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 219208 KiB
Current children cumulated memory: 196032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.02 6/264 46797
/proc/meminfo: memFree=128555832/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=220708 memory=197312 CPUtime=3512.95 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 35893 0 0 0 350729 566 0 0 20 0 1 0 45957309 226004992 49328 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 55177 49328 1920 2271 0 49815 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 220708 KiB
Current children cumulated memory: 197312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/265 46799
/proc/meminfo: memFree=128555396/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=220708 memory=197312 CPUtime=3572.81 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 35893 0 0 0 356707 574 0 0 20 0 1 0 45957309 226004992 49328 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 55177 49328 1920 2271 0 49815 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 220708 KiB
Current children cumulated memory: 197312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.09 4.08 4.02 4/261 46809
/proc/meminfo: memFree=128737900/131249996 swapFree=33010684/33010684
[pid=46604] ppid=46588 vsize=220708 memory=197312 CPUtime=3600.05 cores=5,7
/proc/46604/stat : 46604 (ExactPR) R 46588 46604 46535 0 -1 4194304 35893 0 0 0 359428 577 0 0 20 0 1 0 45957309 226004992 49328 18446744073709551615 94642513580032 94642522879877 140729474696960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94642524666176 94642524705256 94642541195264 140729474705797 140729474705932 140729474705932 140729474711534 0
/proc/46604/statm: 55177 49328 1920 2271 0 49815 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 220708 KiB
Current children cumulated memory: 197312 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.6 s]
# the end of solver process 46604 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3594.29 s, system=5.77234 s

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

Child status: 10

Real time (s): 3609.6
CPU time (s): 3600.06
CPU user time (s): 3594.29
CPU system time (s): 5.77234
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 220708
Max. memory (cumulated for all children) (KiB): 197312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.29
system time used= 5.77234
maximum resident set size= 197696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35907
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= 227
involuntary context switches= 1836


# summary of solver processes directly reported to runsolver:
#   pid: 46604
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.29
#   total CPU system time (s): 5.77234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5216 second user time and 12.9394 second system time

The end

Begin job on nodeC024 at 2025-06-30 18:59:54
IDJOB=4485113
IDBENCH=146694
IDSOLVER=3324
FILE ID=nodeC024/4485113-1751302794
RUNJOBID= nodeC024-1751302794-46548
SLURM_JOB_ID= 9594287
Free space on /tmp= 433056 MiB

SOLVER NAME= ExactPR 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485113-1751302794/watcher-4485113-1751302794 -o /tmp/evaluation-result-4485113-1751302794/solver-4485113-1751302794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751302794-46548 --watchdog 3760  ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485113-1751302794.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d
RANDOM SEED=317307675

nodeC024 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		: 3601.192
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	: 6999.36
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.591
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	: 6999.36
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		: 3599.812
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	: 6999.36
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		: 3599.668
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	: 6999.36
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		: 3599.723
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	: 6999.36
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		: 3599.678
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	: 6999.36
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		: 3604.070
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	: 6999.36
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		: 3600.300
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	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129422912 kB
MemAvailable:   129753480 kB
Buffers:            3280 kB
Cached:          1136596 kB
SwapCached:            0 kB
Active:           320896 kB
Inactive:         881060 kB
Active(anon):      80192 kB
Inactive(anon):        0 kB
Active(file):     240704 kB
Inactive(file):   881060 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             51460 kB
Writeback:             4 kB
AnonPages:         65288 kB
Mapped:           102968 kB
Shmem:             18064 kB
KReclaimable:      95684 kB
Slab:             183524 kB
SReclaimable:      95684 kB
SUnreclaim:        87840 kB
KernelStack:        4048 kB
PageTables:         2804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC024 at 2025-06-30 20:00:04

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM	42524e858f098b79daaad844b6e2f59d
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	-35
Best CPU time to get the best result obtained on this benchmark	16.6529
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	595
Total number of constraints	27842
Number of constraints which are clauses	27842
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Number of terms in the objective function	595
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4485113

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data