PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
LS-MabS 2024-07-10	SAT	-40	3558	3565.93

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428265-1722773149/watcher-4428265-1722773149 -o /tmp/evaluation-result-4428265-1722773149/solver-4428265-1722773149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722769581-237215 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428265-1722773149.opb -t 3558 -s 895189054 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=239284, runsolver pid=239276
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.15 4.17 4.09 5/242 239307
/proc/meminfo: memFree=119615848/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=30704 memory=10972 CPUtime=0.1 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 2135 0 0 0 10 0 0 0 20 0 1 0 43912509 31440896 2743 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 7676 2743 749 2403 0 4786 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30704 KiB
Current children cumulated memory: 10972 KiB

[startup+0.213276 s]*
/proc/loadavg: 4.15 4.17 4.09 5/242 239307
/proc/meminfo: memFree=119565052/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=62584 memory=48352 CPUtime=0.21 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 10254 0 0 0 19 2 0 0 20 0 1 0 43912509 64086016 12088 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 15646 12088 2237 2403 0 12756 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62584 KiB
Current children cumulated memory: 48352 KiB

[startup+0.313486 s]*
/proc/loadavg: 4.15 4.17 4.09 5/242 239307
/proc/meminfo: memFree=119516024/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=87588 memory=71312 CPUtime=0.31 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 15895 0 0 0 27 4 0 0 20 0 1 0 43912509 89690112 17828 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 21897 17828 2301 2403 0 19007 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 87588 KiB
Current children cumulated memory: 71312 KiB

[startup+0.700374 s]
/proc/loadavg: 4.15 4.17 4.09 5/242 239307
/proc/meminfo: memFree=119436496/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=109212 memory=92548 CPUtime=0.69 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 23036 0 0 0 62 7 0 0 20 0 1 0 43912509 111833088 23137 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 27303 23137 2301 2403 0 24413 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109212 KiB
Current children cumulated memory: 92548 KiB

[startup+1.50038 s]
/proc/loadavg: 4.15 4.17 4.09 5/242 239307
/proc/meminfo: memFree=119209324/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=242192 memory=216960 CPUtime=1.49 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 42135 0 0 0 135 14 0 0 20 0 1 0 43912509 248004608 54240 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 60548 54240 2429 2403 0 57658 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 242192 KiB
Current children cumulated memory: 216960 KiB

[startup+3.11253 s]
/proc/loadavg: 4.14 4.16 4.09 5/242 239307
/proc/meminfo: memFree=118654572/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=267000 memory=234248 CPUtime=3.09 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 47111 0 0 0 294 15 0 0 20 0 1 0 43912509 273408000 58562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 66750 58562 2461 2403 0 63860 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 267000 KiB
Current children cumulated memory: 234248 KiB

[startup+6.30027 s]
/proc/loadavg: 4.14 4.16 4.09 5/242 239307
/proc/meminfo: memFree=118466236/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=279948 memory=235832 CPUtime=6.27 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 47519 0 0 0 612 15 0 0 20 0 1 0 43912509 286666752 58958 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 69987 58958 2461 2403 0 67097 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 279948 KiB
Current children cumulated memory: 235832 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.09 5/242 239309
/proc/meminfo: memFree=118376988/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=401120 memory=296556 CPUtime=12.65 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 63099 0 0 0 1247 18 0 0 20 0 1 0 43912509 410746880 74139 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 100280 74139 2461 2403 0 97390 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 401120 KiB
Current children cumulated memory: 296556 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.15 4.09 5/242 239312
/proc/meminfo: memFree=118347784/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=413736 memory=309416 CPUtime=25.42 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 68791 0 0 0 2522 20 0 0 20 0 1 0 43912509 423665664 77354 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 103434 77354 2461 2403 0 100544 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 413736 KiB
Current children cumulated memory: 309416 KiB

[startup+51.1124 s]
/proc/loadavg: 4.13 4.16 4.09 5/242 239317
/proc/meminfo: memFree=118319120/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=415604 memory=309676 CPUtime=50.95 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 69224 0 0 0 5073 22 0 0 20 0 1 0 43912509 425578496 77419 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 103901 77419 2461 2403 0 101011 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 415604 KiB
Current children cumulated memory: 309676 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/242 239327
/proc/meminfo: memFree=117990360/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=591228 memory=413652 CPUtime=102 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 99214 0 0 0 10172 28 0 0 20 0 1 0 43912509 605417472 103413 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 147807 103413 2461 2403 0 144917 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 591228 KiB
Current children cumulated memory: 413652 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/242 239338
/proc/meminfo: memFree=117981252/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=627228 memory=413652 CPUtime=161.84 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 99265 0 0 0 16154 30 0 0 20 0 1 0 43912509 642281472 103413 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 156807 103413 2461 2403 0 153917 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 627228 KiB
Current children cumulated memory: 413652 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/241 239349
/proc/meminfo: memFree=117889756/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=722868 memory=502852 CPUtime=221.67 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 116677 0 0 0 22133 34 0 0 20 0 1 0 43912509 740216832 125713 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 180717 125713 2717 2403 0 177827 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 722868 KiB
Current children cumulated memory: 502852 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 239364
/proc/meminfo: memFree=117727220/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=774576 memory=552860 CPUtime=281.48 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 126793 0 0 0 28112 36 0 0 20 0 1 0 43912509 793165824 138215 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 193644 138215 2717 2403 0 190754 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 774576 KiB
Current children cumulated memory: 552860 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/243 239374
/proc/meminfo: memFree=117623980/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=802052 memory=641892 CPUtime=341.31 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 134678 0 0 0 34094 37 0 0 20 0 1 0 43912509 821301248 160473 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 200513 160473 2717 2403 0 197623 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 802052 KiB
Current children cumulated memory: 641892 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 239385
/proc/meminfo: memFree=117555512/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=826528 memory=665424 CPUtime=401.13 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 140689 0 0 0 40075 38 0 0 20 0 1 0 43912509 846364672 166356 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 206632 166356 2717 2403 0 203742 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 826528 KiB
Current children cumulated memory: 665424 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 239397
/proc/meminfo: memFree=117394360/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=866084 memory=747404 CPUtime=460.97 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 151631 0 0 0 46057 40 0 0 20 0 1 0 43912509 886870016 186851 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0

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

/proc/loadavg: 4.08 4.11 4.20 5/243 241074
/proc/meminfo: memFree=117258116/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3214.94 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245032 0 0 0 318459 3035 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3214.94 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.19 5/245 241088
/proc/meminfo: memFree=117257388/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3274.84 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245041 0 0 0 324324 3160 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3274.84 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.18 5/245 241109
/proc/meminfo: memFree=117256796/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3334.73 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245050 0 0 0 330185 3288 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3334.73 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.14 4.18 5/245 241119
/proc/meminfo: memFree=117256196/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3394.64 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245059 0 0 0 336048 3416 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3394.64 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.18 5/243 241132
/proc/meminfo: memFree=117255612/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3454.54 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245068 0 0 0 341909 3545 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3454.54 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.17 5/243 241142
/proc/meminfo: memFree=117255132/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3514.44 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245077 0 0 0 347776 3668 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3514.44 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

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

# cumulated CPU time of all completed processes:  user=3520.42 s, system=37.5831 s

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

[startup+3532.8 s]
/proc/loadavg: 4.15 4.13 4.18 5/243 241143
/proc/meminfo: memFree=117254948/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3524.92 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245077 0 0 0 348801 3691 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3524.92 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3545.6 s]
/proc/loadavg: 4.12 4.12 4.17 5/243 241146
/proc/meminfo: memFree=117254776/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3537.69 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245080 0 0 0 350053 3716 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3537.69 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3558.4 s]
/proc/loadavg: 4.10 4.11 4.17 5/243 241148
/proc/meminfo: memFree=117254756/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3550.47 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245080 0 0 0 351305 3742 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3550.47 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3561.6 s]
/proc/loadavg: 4.09 4.11 4.17 5/243 241149
/proc/meminfo: memFree=117254708/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3553.67 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245083 0 0 0 351618 3749 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3553.67 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3563.2 s]
/proc/loadavg: 4.09 4.11 4.17 5/243 241149
/proc/meminfo: memFree=117254692/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3555.26 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245083 0 0 0 351774 3752 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3555.26 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3564.8 s]
/proc/loadavg: 4.08 4.11 4.17 5/243 241149
/proc/meminfo: memFree=117254676/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3556.87 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245083 0 0 0 351932 3755 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3556.87 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3565.6 s]
/proc/loadavg: 4.08 4.11 4.17 5/243 241149
/proc/meminfo: memFree=117254684/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3557.67 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245083 0 0 0 352010 3757 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3557.67 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3565.8 s]
/proc/loadavg: 4.08 4.11 4.17 5/243 241149
/proc/meminfo: memFree=117254684/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3557.86 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245083 0 0 0 352029 3757 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

[startup+3565.9 s]
/proc/loadavg: 4.08 4.11 4.17 5/243 241149
/proc/meminfo: memFree=117254684/131655788 swapFree=131071996/131071996
[pid=239284] ppid=239276 vsize=794216 memory=718248 CPUtime=3557.97 cores=4,6
/proc/239284/stat : 239284 (LS-MabS) R 239276 239284 237204 0 -1 4194304 245083 0 0 0 352039 3758 0 0 20 0 1 0 43912509 813277184 179562 134679101440 4194304 14036057 140737310922048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54276096 140737310929953 140737310930054 140737310930054 140737310937070 0
/proc/239284/statm: 198554 179562 2748 2403 0 195664 0
Current children cumulated CPU time: 3557.97 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 718248 KiB

Child status: 0

Real time (s): 3565.93
CPU time (s): 3558
CPU user time (s): 3520.42
CPU system time (s): 37.5831
CPU usage (%): 99.7777
Max. virtual memory (cumulated for all children) (KiB): 1234380
Max. memory (cumulated for all children) (KiB): 1133640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3520.42
system time used= 37.5832
maximum resident set size= 1133640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 2093


# summary of solver processes directly reported to runsolver:
#   pid: 239284
#   total CPU time (s): 3558
#   total CPU user time (s): 3520.42
#   total CPU system time (s): 37.5831

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9453 second user time and 33.1429 second system time

The end

Begin job on nodeC009 at 2024-08-04 14:05:49
IDJOB=4428265
IDBENCH=146698
IDSOLVER=3048
FILE ID=nodeC009/4428265-1722773149
RUNJOBID= nodeC009-1722769581-237215
SLURM_JOB_ID= 8257547
Free space on /tmp= 723768 MiB

SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428265-1722773149/watcher-4428265-1722773149 -o /tmp/evaluation-result-4428265-1722773149/solver-4428265-1722773149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722769581-237215 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428265-1722773149.opb -t 3558 -s 895189054

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

MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=895189054

nodeC009.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.266
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.99
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.266
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.259
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.99
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.258
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.271
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.99
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.263
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.258
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.99
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.277
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:        119634452 kB
MemAvailable:   129975008 kB
Buffers:          291528 kB
Cached:         10880196 kB
SwapCached:            0 kB
Active:           498260 kB
Inactive:       11045212 kB
Active(anon):       1452 kB
Inactive(anon):   399840 kB
Active(file):     496808 kB
Inactive(file): 10645372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             58800 kB
Writeback:             0 kB
AnonPages:        371264 kB
Mapped:            96600 kB
Shmem:             29512 kB
KReclaimable:      77152 kB
Slab:             160112 kB
SReclaimable:      77152 kB
SUnreclaim:        82960 kB
KernelStack:        3664 kB
PageTables:         8944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     765176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18784 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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:      314184 kB
DirectMap2M:    23707648 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723724 MiB
End job on nodeC009 at 2024-08-04 15:05:15

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM	c55f73e6e0cc08bf75a2558de9268914
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	15.9721
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	41314
Number of constraints which are clauses	41314
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 4428265

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