PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11	SAT	-39	3586.37	3597.55

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: 64096 MiB (63021 MiB free)
  memory of node 1: 64473 MiB (63375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438342-1722959026/watcher-4438342-1722959026 -o /tmp/evaluation-result-4438342-1722959026/solver-4438342-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722959025-341132 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438342-1722959026.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=341203, runsolver pid=341200
Current StackSize limit: 8192 KiB


[startup+0.100983 s]*
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129408380/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=28396 memory=9924 CPUtime=0.09 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 1853 0 0 0 9 0 0 0 20 0 1 0 62499585 29077504 2481 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 7099 2481 750 2417 0 4201 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46988 KiB
Current children cumulated memory: 13664 KiB

[startup+0.213831 s]*
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129367060/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=35660 memory=17144 CPUtime=0.2 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 3637 0 0 0 19 1 0 0 20 0 1 0 62499585 36515840 4286 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 8915 4286 750 2417 0 6017 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54252 KiB
Current children cumulated memory: 20884 KiB

[startup+0.315105 s]*
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129321348/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=41924 memory=23480 CPUtime=0.3 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 5220 0 0 0 28 2 0 0 20 0 1 0 62499585 42930176 5870 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 10481 5870 750 2417 0 7583 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60516 KiB
Current children cumulated memory: 27220 KiB

[startup+0.700564 s]
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129291016/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=62564 memory=45452 CPUtime=0.68 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 10763 0 0 0 64 4 0 0 20 0 1 0 62499585 64065536 11363 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 15641 11363 782 2417 0 12743 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81156 KiB
Current children cumulated memory: 49192 KiB

[startup+1.50052 s]
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129126840/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=169540 memory=159092 CPUtime=1.48 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 38109 0 0 0 136 12 0 0 20 0 1 0 62499585 173608960 39773 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 42385 39773 2350 2417 0 39487 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188132 KiB
Current children cumulated memory: 162832 KiB

[startup+3.11409 s]
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=127864308/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=383920 memory=358004 CPUtime=3.08 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 54427 0 0 0 291 17 0 0 20 0 1 0 62499585 393134080 89501 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 95980 89501 2510 2417 0 93082 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 402512 KiB
Current children cumulated memory: 361744 KiB

[startup+6.30047 s]
/proc/loadavg: 3.04 3.99 4.09 5/256 341207
/proc/meminfo: memFree=126577308/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=416540 memory=377524 CPUtime=6.26 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 58740 0 0 0 608 18 0 0 20 0 1 0 62499585 426536960 94381 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 104135 94381 2526 2417 0 101237 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 435132 KiB
Current children cumulated memory: 381264 KiB

[startup+12.7005 s]
/proc/loadavg: 3.20 4.01 4.10 5/256 341209
/proc/meminfo: memFree=126023580/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=442460 memory=387792 CPUtime=12.64 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 59280 0 0 0 1246 18 0 0 20 0 1 0 62499585 453079040 96948 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 110615 96948 2526 2417 0 107717 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 461052 KiB
Current children cumulated memory: 391532 KiB

[startup+25.5005 s]
/proc/loadavg: 3.38 4.00 4.09 5/256 341210
/proc/meminfo: memFree=125902376/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=599356 memory=469720 CPUtime=25.41 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 78798 0 0 0 2519 22 0 0 20 0 1 0 62499585 613740544 117430 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 149839 117430 2526 2417 0 146941 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 617948 KiB
Current children cumulated memory: 473460 KiB

[startup+51.1144 s]
/proc/loadavg: 3.59 4.00 4.09 5/256 341215
/proc/meminfo: memFree=125730004/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 690 612 264 0 134 0
[pid=341206] ppid=341203 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/341206/stat : 341206 (timeout) S 341203 341206 341120 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62499585 8867840 245 134679101440 94609906155520 94609906190536 140733977702752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94609908287952 94609908290084 94609912799232 140733977711628 140733977711773 140733977711773 140733977718759 0
/proc/341206/statm: 2165 245 220 9 0 87 0
[pid=341207] ppid=341206 vsize=624752 memory=495108 CPUtime=50.93 cores=1,3
/proc/341207/stat : 341207 (CASHWMaxSAT-Dis) R 341206 341206 341120 0 -1 4194304 98137 0 0 0 5069 24 0 0 20 0 1 0 62499585 639746048 123777 134679101440 4194304 14093885 140721472073360 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24977408 140721472078866 140721472078998 140721472078998 140721472085984 0
/proc/341207/statm: 156188 123777 2526 2417 0 153290 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 643344 KiB
Current children cumulated memory: 498848 KiB

[startup+102.301 s]
/proc/loadavg: 3.94 4.03 4.09 5/256 341224
/proc/meminfo: memFree=125687300/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62499584 10170368 690 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0

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

/proc/342115/statm: 39285 28959 748 737 0 38373 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 343055
/proc/meminfo: memFree=125941828/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1778.2 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17849 0 0 0 177814 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

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

# cumulated CPU time of all completed processes:  user=3585.61 s, system=0.753141 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 343055
/proc/meminfo: memFree=125941800/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1779.91 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17850 0 0 0 177985 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 343056
/proc/meminfo: memFree=125940596/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1786.28 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17853 0 0 0 178622 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3579.2 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 343056
/proc/meminfo: memFree=125940568/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1789.47 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17855 0 0 0 178941 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3582.39 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 343056
/proc/meminfo: memFree=125940560/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1791.07 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17856 0 0 0 179101 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3583.99 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/244 343101
/proc/meminfo: memFree=129149472/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3293184 73735 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1792.67 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17857 0 0 0 179261 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

[startup+3597.2 s]
/proc/loadavg: 4.13 4.11 4.09 2/231 343147
/proc/meminfo: memFree=129300272/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3293184 73735 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1793.06 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17858 0 0 0 179300 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

[startup+3597.4 s]
/proc/loadavg: 4.13 4.11 4.09 2/231 343147
/proc/meminfo: memFree=129300272/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3293184 73735 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1793.26 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17858 0 0 0 179320 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

[startup+3597.5 s]
/proc/loadavg: 4.13 4.11 4.09 2/231 343147
/proc/meminfo: memFree=129300272/131655788 swapFree=131071996/131071996
[pid=341203] ppid=341200 vsize=9932 memory=2824 CPUtime=1792.92 cores=1,3
/proc/341203/stat : 341203 (Hybrid-CASHWMax) S 341200 341203 341120 0 -1 4194304 275 260805 0 0 0 0 179226 66 20 0 1 0 62499584 10170368 706 134679101440 94304369491968 94304370571288 140728305521296 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94304372669744 94304372716932 94304402489344 140728305525712 140728305525870 140728305525870 140728305532885 0
/proc/341203/statm: 2483 706 612 264 0 134 0
[pid=342114] ppid=341203 vsize=8660 memory=1052 CPUtime=0 cores=1,3
/proc/342114/stat : 342114 (timeout) S 341203 342114 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62679388 8867840 263 134679101440 94184310243328 94184310278344 140723923771328 0 0 0 0 3293184 73735 0 0 0 17 3 0 0 0 0 0 94184312375760 94184312377892 94184341041152 140723923780596 140723923780765 140723923780765 140723923787751 0
/proc/342114/statm: 2165 263 238 9 0 87 0
[pid=342115] ppid=342114 vsize=157140 memory=115964 CPUtime=1793.36 cores=1,3
/proc/342115/stat : 342115 (Exact) R 342114 342114 341120 0 -1 4194304 17858 0 0 0 179330 6 0 0 20 0 1 0 62679388 160911360 28991 134679101440 4194304 7210733 140731545146784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 38842368 140731545150480 140731545150630 140731545150630 140731545157616 0
/proc/342115/statm: 39285 28991 748 737 0 38373 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119840 KiB

Child status: 0

Real time (s): 3597.55
CPU time (s): 3586.37
CPU user time (s): 3585.61
CPU system time (s): 0.753141
CPU usage (%): 99.689
Max. virtual memory (cumulated for all children) (KiB): 1529060
Max. memory (cumulated for all children) (KiB): 1241400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.62
system time used= 0.753141
maximum resident set size= 1238188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 2268


# summary of solver processes directly reported to runsolver:
#   pid: 341203
#   total CPU time (s): 3586.37
#   total CPU user time (s): 3585.61
#   total CPU system time (s): 0.753141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5907 second user time and 40.8895 second system time

The end

Begin job on nodeC005 at 2024-08-06 17:43:46
IDJOB=4438342
IDBENCH=146680
IDSOLVER=3073
FILE ID=nodeC005/4438342-1722959026
RUNJOBID= nodeC005-1722959025-341132
SLURM_JOB_ID= 8259025
Free space on /tmp= 723736 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438342-1722959026/watcher-4438342-1722959026 -o /tmp/evaluation-result-4438342-1722959026/solver-4438342-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722959025-341132 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438342-1722959026.opb 3600 HOME 31000

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

MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=1609469431

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 1197.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.480
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.315
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.364
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129439012 kB
MemAvailable:   129961752 kB
Buffers:          341932 kB
Cached:          1024620 kB
SwapCached:            0 kB
Active:           613772 kB
Inactive:        1123096 kB
Active(anon):       1488 kB
Inactive(anon):   406528 kB
Active(file):     612284 kB
Inactive(file):   716568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             74884 kB
Writeback:             0 kB
AnonPages:        370768 kB
Mapped:           105328 kB
Shmem:             37704 kB
KReclaimable:      68176 kB
Slab:             155056 kB
SReclaimable:      68176 kB
SUnreclaim:        86880 kB
KernelStack:        4000 kB
PageTables:        10144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     692040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC005 at 2024-08-06 18:43:43

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM	950817fdcb39f28dd0871c21ea836071
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	-45
Best CPU time to get the best result obtained on this benchmark	1120.33
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	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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	945
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	945
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	945
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 4438342

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