PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11	SAT	-38	3586.23	3596.02

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: 63931 MiB (62343 MiB free)
  memory of node 1: 64510 MiB (59799 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437938-1722959055/watcher-4437938-1722959055 -o /tmp/evaluation-result-4437938-1722959055/solver-4437938-1722959055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722959055-343984 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437938-1722959055.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
Current StackSize limit: 8192 KiB

solver pid=344040, runsolver pid=344033

[startup+0.100541 s]*
/proc/loadavg: 2.50 3.71 3.98 7/266 344059
/proc/meminfo: memFree=124993252/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=41008 memory=25112 CPUtime=0.09 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 6733 0 0 0 8 1 0 0 20 0 1 0 62507244 41992192 6278 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 19490 0 0 0 17 3 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 10252 6278 954 2726 0 7000 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59600 KiB
Current children cumulated memory: 28840 KiB

[startup+0.20554 s]*
/proc/loadavg: 2.50 3.71 3.98 7/266 344059
/proc/meminfo: memFree=124908088/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=54724 memory=39076 CPUtime=0.18 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 10794 0 0 0 17 1 0 0 20 0 1 0 62507244 56037376 9769 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 19490 0 0 0 17 3 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 13681 9769 1034 2726 0 10429 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73316 KiB
Current children cumulated memory: 42804 KiB

[startup+0.308544 s]*
/proc/loadavg: 2.50 3.71 3.98 7/266 344059
/proc/meminfo: memFree=124771244/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=105652 memory=94348 CPUtime=0.29 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 23200 0 0 0 25 4 0 0 20 0 1 0 62507244 108187648 23587 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 26413 23587 2538 2726 0 23161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124244 KiB
Current children cumulated memory: 98076 KiB

[startup+0.700248 s]
/proc/loadavg: 2.50 3.71 3.98 7/266 344059
/proc/meminfo: memFree=124654660/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=194452 memory=173748 CPUtime=0.67 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 36956 0 0 0 61 6 0 0 20 0 1 0 62507244 199118848 43437 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 48613 43437 2650 2726 0 45361 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 213044 KiB
Current children cumulated memory: 177476 KiB

[startup+1.50024 s]
/proc/loadavg: 2.50 3.71 3.98 7/266 344059
/proc/meminfo: memFree=124367956/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=278228 memory=254104 CPUtime=1.47 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 50116 0 0 0 138 9 0 0 20 0 1 0 62507244 284905472 63526 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 69557 63526 2762 2726 0 66305 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 296820 KiB
Current children cumulated memory: 257832 KiB

[startup+3.10496 s]
/proc/loadavg: 2.62 3.71 3.98 7/266 344059
/proc/meminfo: memFree=124325176/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=291876 memory=260968 CPUtime=3.07 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 51841 0 0 0 298 9 0 0 20 0 1 0 62507244 298881024 65242 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 72969 65242 2762 2726 0 69717 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 310468 KiB
Current children cumulated memory: 264696 KiB

[startup+6.30026 s]
/proc/loadavg: 2.62 3.71 3.98 7/266 344059
/proc/meminfo: memFree=124285916/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=311052 memory=265456 CPUtime=6.25 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 52977 0 0 0 616 9 0 0 20 0 1 0 62507244 318517248 66364 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 77763 66364 2762 2726 0 74511 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 329644 KiB
Current children cumulated memory: 269184 KiB

[startup+12.7003 s]
/proc/loadavg: 2.73 3.72 3.98 7/266 344061
/proc/meminfo: memFree=124171880/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=421988 memory=328408 CPUtime=12.64 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 67705 0 0 0 1252 12 0 0 20 0 1 0 62507244 432115712 82102 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 105497 82102 2762 2726 0 102245 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 440580 KiB
Current children cumulated memory: 332136 KiB

[startup+25.5003 s]
/proc/loadavg: 3.01 3.73 3.98 7/266 344063
/proc/meminfo: memFree=124107880/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=421988 memory=328672 CPUtime=25.39 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 67751 0 0 0 2527 12 0 0 20 0 1 0 62507244 432115712 82168 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 105497 82168 2762 2726 0 102245 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 440580 KiB
Current children cumulated memory: 332400 KiB

[startup+51.1056 s]
/proc/loadavg: 3.42 3.77 3.99 7/266 344068
/proc/meminfo: memFree=123994024/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 696 619 264 0 134 0
[pid=344049] ppid=344040 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/344049/stat : 344049 (timeout) S 344040 344049 343972 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 62507244 8867840 236 134679101440 94760158052352 94760158087368 140734857053104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94760160184784 94760160186916 94760173957120 140734857061374 140734857061533 140734857061533 140734857068519 0
/proc/344049/statm: 2165 236 212 9 0 87 0
[pid=344050] ppid=344049 vsize=450220 memory=357248 CPUtime=50.93 cores=1,3
/proc/344050/stat : 344050 (CASHWMaxSAT-Dis) R 344049 344049 343972 0 -1 4194304 77295 0 0 0 5079 14 0 0 20 0 1 0 62507244 461025280 89312 134679101440 4194304 15356333 140731890429984 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 31342592 140731890435075 140731890435221 140731890435221 140731890442207 0
/proc/344050/statm: 112555 89312 2762 2726 0 109303 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 468812 KiB
Current children cumulated memory: 360976 KiB

[startup+102.3 s]
/proc/loadavg: 3.79 3.82 4.00 7/264 344077
/proc/meminfo: memFree=123757796/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507244 10170368 696 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0

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

/proc/345163/statm: 38042 27835 820 745 0 37107 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 170760 KiB
Current children cumulated memory: 115200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.10 6/264 346085
/proc/meminfo: memFree=124772664/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=152168 memory=111340 CPUtime=1659.82 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 15998 0 0 0 165977 5 0 0 20 0 1 0 62687044 155820032 27835 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38042 27835 820 745 0 37107 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 170760 KiB
Current children cumulated memory: 115200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.10 6/265 346099
/proc/meminfo: memFree=124769960/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=152584 memory=111736 CPUtime=1719.68 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16148 0 0 0 171963 5 0 0 20 0 1 0 62687044 156246016 27934 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38146 27934 820 745 0 37211 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 115596 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/265 346109
/proc/meminfo: memFree=124766472/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=153552 memory=112596 CPUtime=1779.53 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16431 0 0 0 177948 5 0 0 20 0 1 0 62687044 157237248 28149 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38388 28149 820 745 0 37453 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 172144 KiB
Current children cumulated memory: 116456 KiB

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

# cumulated CPU time of all completed processes:  user=3585.77 s, system=0.46374 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.09 4.09 6/265 346109
/proc/meminfo: memFree=124766504/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=153552 memory=112596 CPUtime=1781.23 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16431 0 0 0 178118 5 0 0 20 0 1 0 62687044 157237248 28149 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38388 28149 820 745 0 37453 0
Current children cumulated CPU time: 3574.21 s
Current children cumulated vsize: 172144 KiB
Current children cumulated memory: 116456 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.10 4.10 6/265 346110
/proc/meminfo: memFree=124766532/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=153552 memory=112596 CPUtime=1787.61 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16431 0 0 0 178756 5 0 0 20 0 1 0 62687044 157237248 28149 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38388 28149 820 745 0 37453 0
Current children cumulated CPU time: 3580.59 s
Current children cumulated vsize: 172144 KiB
Current children cumulated memory: 116456 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.10 4.10 6/265 346110
/proc/meminfo: memFree=124766420/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=153552 memory=112596 CPUtime=1790.8 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16431 0 0 0 179075 5 0 0 20 0 1 0 62687044 157237248 28149 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38388 28149 820 745 0 37453 0
Current children cumulated CPU time: 3583.78 s
Current children cumulated vsize: 172144 KiB
Current children cumulated memory: 116456 KiB

[startup+3595.2 s]
/proc/loadavg: 4.21 4.12 4.10 6/265 346110
/proc/meminfo: memFree=124766412/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=153552 memory=112596 CPUtime=1792.4 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16433 0 0 0 179235 5 0 0 20 0 1 0 62687044 157237248 28149 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38388 28149 820 745 0 37453 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 172144 KiB
Current children cumulated memory: 116456 KiB

[startup+3595.6 s]
/proc/loadavg: 4.21 4.12 4.10 6/265 346110
/proc/meminfo: memFree=124766412/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=153552 memory=112596 CPUtime=1792.8 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16434 0 0 0 179275 5 0 0 20 0 1 0 62687044 157237248 28149 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38388 28149 820 745 0 37453 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 172144 KiB
Current children cumulated memory: 116456 KiB

[startup+3596 s]*
/proc/loadavg: 4.21 4.12 4.10 6/265 346111
/proc/meminfo: memFree=124766064/131524600 swapFree=131071996/131071996
[pid=344040] ppid=344033 vsize=9932 memory=2844 CPUtime=1792.98 cores=1,3
/proc/344040/stat : 344040 (Hybrid-CASHWMax) S 344033 344040 343972 0 -1 4194304 276 208818 0 0 0 0 179259 39 20 0 1 0 62507244 10170368 711 134679101440 94654639026176 94654640105496 140720702171168 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94654642203952 94654642251140 94654648930304 140720702178254 140720702178413 140720702178413 140720702185428 0
/proc/344040/statm: 2483 711 619 264 0 134 0
[pid=345162] ppid=344040 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345162/stat : 345162 (timeout) S 344040 345162 343972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62687044 8867840 254 134679101440 94393323229184 94393323264200 140735134114368 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94393325361616 94393325363748 94393341382656 140735134122996 140735134123165 140735134123165 140735134130151 0
/proc/345162/statm: 2165 254 229 9 0 87 0
[pid=345163] ppid=345162 vsize=153800 memory=112844 CPUtime=1793.2 cores=1,3
/proc/345163/stat : 345163 (Exact) R 345162 345162 343972 0 -1 4194304 16495 0 0 0 179315 5 0 0 20 0 1 0 62687044 157491200 28211 134679101440 4194304 7243121 140724357915504 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 22294528 140724357919760 140724357919910 140724357919910 140724357926896 0
/proc/345163/statm: 38450 28211 820 745 0 37515 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 172392 KiB
Current children cumulated memory: 116704 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3586.23
CPU user time (s): 3585.77
CPU system time (s): 0.46374
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 978164
Max. memory (cumulated for all children) (KiB): 872748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.77
system time used= 0.46374
maximum resident set size= 869020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151
involuntary context switches= 2105


# summary of solver processes directly reported to runsolver:
#   pid: 344040
#   total CPU time (s): 3586.23
#   total CPU user time (s): 3585.77
#   total CPU system time (s): 0.46374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62687 second user time and 20.0118 second system time

The end

Begin job on nodeC031 at 2024-08-06 17:44:15
IDJOB=4437938
IDBENCH=146695
IDSOLVER=3072
FILE ID=nodeC031/4437938-1722959055
RUNJOBID= nodeC031-1722959055-343984
SLURM_JOB_ID= 8259031
Free space on /tmp= 890056 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437938-1722959055/watcher-4437938-1722959055 -o /tmp/evaluation-result-4437938-1722959055/solver-4437938-1722959055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722959055-343984 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437938-1722959055.opb 3600 HOME 31000

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

MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=304999171

nodeC031.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	: 0xb00002a
cpu MHz		: 3660.250
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.95
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		: 3618.186
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 invpcid_single pti ibrs ibpb stibp 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	: 7007.12
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		: 3600.038
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.95
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		: 3600.072
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 invpcid_single pti ibrs ibpb stibp 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	: 7007.12
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		: 3651.554
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.95
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		: 3618.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.12
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		: 3668.213
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.95
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		: 3599.978
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 invpcid_single pti ibrs ibpb stibp 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	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125076660 kB
MemAvailable:   129758408 kB
Buffers:          333952 kB
Cached:          5185220 kB
SwapCached:            0 kB
Active:           630780 kB
Inactive:        5277572 kB
Active(anon):       1472 kB
Inactive(anon):   425428 kB
Active(file):     629308 kB
Inactive(file):  4852144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             79740 kB
Writeback:             4 kB
AnonPages:        389352 kB
Mapped:            99484 kB
Shmem:             37720 kB
KReclaimable:      79888 kB
Slab:             173200 kB
SReclaimable:      79888 kB
SUnreclaim:        93312 kB
KernelStack:        3856 kB
PageTables:         9312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     820808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 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:      322260 kB
DirectMap2M:    19374080 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC031 at 2024-08-06 18:44:12

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM	dbca78014701662c42e2f44b8d3d4cf2
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	-40
Best CPU time to get the best result obtained on this benchmark	30.0879
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	760
Total number of constraints	41263
Number of constraints which are clauses	41263
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	760
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	760
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	760
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 4437938

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