PB'24 competition competition: execution trace

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

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: 64059 MiB (62392 MiB free)
  memory of node 1: 64510 MiB (60516 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=240948, runsolver pid=240941

[startup+0.100546 s]*
/proc/loadavg: 4.15 4.14 4.07 5/237 240949
/proc/meminfo: memFree=125840508/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=28592 memory=8596 CPUtime=0.09 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 1523 0 0 0 9 0 0 0 20 0 1 0 43910410 29278208 2149 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 7148 2149 749 2403 0 4258 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28592 KiB
Current children cumulated memory: 8596 KiB

[startup+0.212497 s]*
/proc/loadavg: 4.15 4.14 4.07 5/237 240949
/proc/meminfo: memFree=125783844/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=59832 memory=45712 CPUtime=0.2 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 9559 0 0 0 17 3 0 0 20 0 1 0 43910410 61267968 11428 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 14958 11428 2237 2403 0 12068 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59832 KiB
Current children cumulated memory: 45712 KiB

[startup+0.313474 s]*
/proc/loadavg: 4.15 4.14 4.07 5/237 240949
/proc/meminfo: memFree=125749936/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=86972 memory=70580 CPUtime=0.3 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 15758 0 0 0 25 5 0 0 20 0 1 0 43910410 89059328 17645 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 21743 17645 2301 2403 0 18853 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86972 KiB
Current children cumulated memory: 70580 KiB

[startup+0.700297 s]
/proc/loadavg: 4.15 4.14 4.07 5/237 240949
/proc/meminfo: memFree=125730816/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=107356 memory=87716 CPUtime=0.68 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 21810 0 0 0 61 7 0 0 20 0 1 0 43910410 109932544 21929 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 26839 21929 2301 2403 0 23949 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 87716 KiB

[startup+1.5003 s]
/proc/loadavg: 4.15 4.14 4.07 5/237 240949
/proc/meminfo: memFree=125643948/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=241408 memory=216468 CPUtime=1.47 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 42458 0 0 0 133 14 0 0 20 0 1 0 43910410 247201792 54117 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 60352 54117 2429 2403 0 57462 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 241408 KiB
Current children cumulated memory: 216468 KiB

[startup+3.11304 s]
/proc/loadavg: 4.15 4.14 4.07 6/242 241033
/proc/meminfo: memFree=126371984/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=266464 memory=233256 CPUtime=3.08 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 47362 0 0 0 293 15 0 0 20 0 1 0 43910410 272859136 58314 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 66616 58314 2461 2403 0 63726 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 266464 KiB
Current children cumulated memory: 233256 KiB

[startup+6.30027 s]
/proc/loadavg: 4.13 4.14 4.07 6/242 241035
/proc/meminfo: memFree=125794304/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=280332 memory=236052 CPUtime=6.26 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 48522 0 0 0 610 16 0 0 20 0 1 0 43910410 287059968 59013 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 70083 59013 2461 2403 0 67193 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 280332 KiB
Current children cumulated memory: 236052 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.07 6/242 241035
/proc/meminfo: memFree=124687256/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=404960 memory=300776 CPUtime=12.64 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 64615 0 0 0 1245 19 0 0 20 0 1 0 43910410 414679040 75194 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 101240 75194 2461 2403 0 98350 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 404960 KiB
Current children cumulated memory: 300776 KiB

[startup+25.5003 s]
/proc/loadavg: 4.23 4.16 4.08 6/242 241037
/proc/meminfo: memFree=122356968/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=405592 memory=304136 CPUtime=25.39 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 65509 0 0 0 2519 20 0 0 20 0 1 0 43910410 415326208 76034 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 101398 76034 2461 2403 0 98508 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 405592 KiB
Current children cumulated memory: 304136 KiB

[startup+51.1122 s]
/proc/loadavg: 4.15 4.15 4.07 6/242 241042
/proc/meminfo: memFree=117848584/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=459292 memory=338952 CPUtime=50.9 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 74203 0 0 0 5066 24 0 0 20 0 1 0 43910410 470315008 84738 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 114823 84738 2461 2403 0 111933 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 459292 KiB
Current children cumulated memory: 338952 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.08 6/242 241050
/proc/meminfo: memFree=109223608/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=509200 memory=381940 CPUtime=101.9 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 82738 0 0 0 10158 32 0 0 20 0 1 0 43910410 521420800 95485 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 127300 95485 2461 2403 0 124410 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 509200 KiB
Current children cumulated memory: 381940 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.08 6/242 241062
/proc/meminfo: memFree=99889416/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=572836 memory=417420 CPUtime=161.7 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 94449 0 0 0 16134 36 0 0 20 0 1 0 43910410 586584064 104355 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 143209 104355 2717 2403 0 140319 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 572836 KiB
Current children cumulated memory: 417420 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.08 6/241 241073
/proc/meminfo: memFree=98476116/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=612184 memory=444108 CPUtime=221.49 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 98568 0 0 0 22112 37 0 0 20 0 1 0 43910410 626876416 111027 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 153046 111027 2717 2403 0 150156 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 612184 KiB
Current children cumulated memory: 444108 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.08 6/244 241088
/proc/meminfo: memFree=98314368/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=705784 memory=493540 CPUtime=281.27 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 110227 0 0 0 28088 39 0 0 20 0 1 0 43910410 722722816 123385 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 176446 123385 2717 2403 0 173556 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 705784 KiB
Current children cumulated memory: 493540 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.08 6/244 241099
/proc/meminfo: memFree=98266960/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=726212 memory=515272 CPUtime=341.06 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 114854 0 0 0 34065 41 0 0 20 0 1 0 43910410 743641088 128818 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 181553 128818 2717 2403 0 178663 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 726212 KiB
Current children cumulated memory: 515272 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.08 6/244 241110
/proc/meminfo: memFree=98185664/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=760764 memory=563720 CPUtime=400.87 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 117368 0 0 0 40046 41 0 0 20 0 1 0 43910410 779022336 140930 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 190191 140930 2717 2403 0 187301 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 760764 KiB
Current children cumulated memory: 563720 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.08 6/244 241122
/proc/meminfo: memFree=98092748/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=832720 memory=645324 CPUtime=460.7 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 129778 0 0 0 46027 43 0 0 20 0 1 0 43910410 852705280 161331 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0

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

/proc/loadavg: 4.16 4.14 4.13 6/243 242616
/proc/meminfo: memFree=98201904/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3154.91 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198579 0 0 0 312738 2753 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3154.91 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.13 6/243 242796
/proc/meminfo: memFree=98201100/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3214.81 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198588 0 0 0 318611 2870 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3214.81 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.13 6/244 242810
/proc/meminfo: memFree=98200260/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3274.72 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198597 0 0 0 324478 2994 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3274.72 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.13 6/243 242832
/proc/meminfo: memFree=98199712/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3334.61 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198606 0 0 0 330352 3109 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3334.61 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.12 6/243 242843
/proc/meminfo: memFree=98198836/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3394.52 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198615 0 0 0 336222 3230 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3394.52 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.11 6/243 242858
/proc/meminfo: memFree=98198144/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3454.42 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198624 0 0 0 342092 3350 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3454.42 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3522.3 s]
/proc/loadavg: 4.61 4.23 4.15 6/243 242868
/proc/meminfo: memFree=98197348/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3514.32 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198633 0 0 0 347966 3466 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3514.32 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

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

# cumulated CPU time of all completed processes:  user=3522.52 s, system=35.4956 s

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

[startup+3532.8 s]
/proc/loadavg: 4.91 4.31 4.18 6/243 242870
/proc/meminfo: memFree=98197428/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3524.81 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198633 0 0 0 348996 3485 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3524.81 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3545.6 s]
/proc/loadavg: 5.23 4.41 4.22 6/243 242871
/proc/meminfo: memFree=98197288/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3537.59 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198636 0 0 0 350251 3508 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3537.59 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3558.4 s]
/proc/loadavg: 5.35 4.46 4.23 6/243 242875
/proc/meminfo: memFree=98197048/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3550.37 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198639 0 0 0 351503 3534 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3550.37 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3561.6 s]
/proc/loadavg: 5.48 4.51 4.25 6/243 242875
/proc/meminfo: memFree=98197076/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3553.56 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198639 0 0 0 351817 3539 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3553.56 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3563.2 s]
/proc/loadavg: 5.48 4.51 4.25 6/243 242875
/proc/meminfo: memFree=98197072/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3555.16 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198639 0 0 0 351974 3542 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3555.16 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3564.8 s]
/proc/loadavg: 5.48 4.51 4.25 6/243 242875
/proc/meminfo: memFree=98197120/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3556.76 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198639 0 0 0 352130 3546 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3556.76 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3565.6 s]
/proc/loadavg: 5.52 4.53 4.26 6/243 242875
/proc/meminfo: memFree=98197056/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3557.55 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198639 0 0 0 352208 3547 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3557.55 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

[startup+3566 s]*
/proc/loadavg: 5.52 4.53 4.26 6/243 242877
/proc/meminfo: memFree=98197024/131655788 swapFree=131071996/131071996
[pid=240948] ppid=240941 vsize=722360 memory=624044 CPUtime=3557.96 cores=5,7
/proc/240948/stat : 240948 (LS-MabS) R 240941 240948 238928 0 -1 4194304 198639 0 0 0 352248 3548 0 0 20 0 1 0 43910410 739696640 156011 134679101440 4194304 14036057 140732958776576 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 45981696 140732958782497 140732958782598 140732958782598 140732958789614 0
/proc/240948/statm: 180590 156011 2748 2403 0 177700 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 722360 KiB
Current children cumulated memory: 624044 KiB

Child status: 0

Real time (s): 3566.05
CPU time (s): 3558.02
CPU user time (s): 3522.52
CPU system time (s): 35.4956
CPU usage (%): 99.7747
Max. virtual memory (cumulated for all children) (KiB): 1198720
Max. memory (cumulated for all children) (KiB): 1080396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3522.52
system time used= 35.4956
maximum resident set size= 1080472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198649
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= 74
involuntary context switches= 1539


# summary of solver processes directly reported to runsolver:
#   pid: 240948
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3522.52
#   total CPU system time (s): 35.4956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5153 second user time and 31.7214 second system time

The end

Begin job on nodeC002 at 2024-08-04 14:05:48
IDJOB=4428266
IDBENCH=146695
IDSOLVER=3048
FILE ID=nodeC002/4428266-1722773148
RUNJOBID= nodeC002-1722769581-238941
SLURM_JOB_ID= 8257540
Free space on /tmp= 723752 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-2.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-4428266-1722773148/watcher-4428266-1722773148 -o /tmp/evaluation-result-4428266-1722773148/solver-4428266-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722769581-238941 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428266-1722773148.opb -t 3558 -s 895189054

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

MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=895189054

nodeC002.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		: 3678.599
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.65
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.226
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.23
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.416
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.65
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.206
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.23
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		: 3492.166
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.65
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.224
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.23
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.415
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.65
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.205
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125860072 kB
MemAvailable:   128959236 kB
Buffers:          295900 kB
Cached:          3623284 kB
SwapCached:            0 kB
Active:           496612 kB
Inactive:        4779300 kB
Active(anon):       1872 kB
Inactive(anon):  1392580 kB
Active(file):     494740 kB
Inactive(file):  3386720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28248 kB
Writeback:             0 kB
AnonPages:       1356712 kB
Mapped:           111436 kB
Shmem:             37704 kB
KReclaimable:     115472 kB
Slab:             198064 kB
SReclaimable:     115472 kB
SUnreclaim:        82592 kB
KernelStack:        3712 kB
PageTables:        11572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1949216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19008 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1230848 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:      318280 kB
DirectMap2M:    26849280 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC002 at 2024-08-04 15:05:14

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 4428266

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