PB'24 competition competition: execution trace

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100087 s]*
/proc/loadavg: 4.08 4.09 4.01 4/250 244369
/proc/meminfo: memFree=124521224/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=25308 memory=12280 CPUtime=0.09 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 2091 0 0 0 9 0 0 0 20 0 1 0 43911871 25915392 3070 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 6327 3070 1073 2753 0 2980 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25308 KiB
Current children cumulated memory: 12280 KiB

[startup+0.205435 s]*
/proc/loadavg: 4.08 4.09 4.01 4/251 244372
/proc/meminfo: memFree=124503072/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=41056 memory=27888 CPUtime=0.2 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 6298 0 0 0 19 1 0 0 20 0 1 0 43911871 42041344 6972 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 10264 6972 1105 2753 0 6917 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 27888 KiB

[startup+0.305594 s]*
/proc/loadavg: 4.08 4.09 4.01 5/249 244373
/proc/meminfo: memFree=124480516/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=41056 memory=27888 CPUtime=0.3 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 6298 0 0 0 29 1 0 0 20 0 1 0 43911871 42041344 6972 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 10264 6972 1105 2753 0 6917 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 27888 KiB

[startup+0.700236 s]
/proc/loadavg: 4.08 4.09 4.01 5/255 244383
/proc/meminfo: memFree=124422760/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=41056 memory=27888 CPUtime=0.69 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 6298 0 0 0 68 1 0 0 20 0 1 0 43911871 42041344 6972 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 10264 6972 1105 2753 0 6917 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 27888 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.09 4.01 5/250 244391
/proc/meminfo: memFree=124332760/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=258444 memory=238032 CPUtime=1.49 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 44041 0 0 0 142 7 0 0 20 0 1 0 43911871 264646656 59508 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 64611 59508 2801 2753 0 61264 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 258444 KiB
Current children cumulated memory: 238032 KiB

[startup+3.10569 s]
/proc/loadavg: 4.08 4.09 4.01 5/250 244419
/proc/meminfo: memFree=124200640/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=287096 memory=255624 CPUtime=3.09 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 48456 0 0 0 301 8 0 0 20 0 1 0 43911871 293986304 63906 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 71774 63906 2833 2753 0 68427 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 287096 KiB
Current children cumulated memory: 255624 KiB

[startup+6.30023 s]
/proc/loadavg: 4.07 4.08 4.01 6/255 244429
/proc/meminfo: memFree=123326484/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=302484 memory=262148 CPUtime=6.27 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 49566 0 0 0 619 8 0 0 20 0 1 0 43911871 309743616 65537 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 75621 65537 2833 2753 0 72274 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 302484 KiB
Current children cumulated memory: 262148 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.02 8/254 244431
/proc/meminfo: memFree=123255868/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=378200 memory=281396 CPUtime=12.65 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 54416 0 0 0 1256 9 0 0 20 0 1 0 43911871 387276800 70349 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 94550 70349 2833 2753 0 91203 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 378200 KiB
Current children cumulated memory: 281396 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.02 6/254 244432
/proc/meminfo: memFree=123158944/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=429548 memory=335424 CPUtime=25.42 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 67165 0 0 0 2530 12 0 0 20 0 1 0 43911871 439857152 83856 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 107387 83856 2833 2753 0 104040 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 429548 KiB
Current children cumulated memory: 335424 KiB

[startup+51.1056 s]
/proc/loadavg: 4.07 4.09 4.01 5/254 244437
/proc/meminfo: memFree=123129920/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=452692 memory=338528 CPUtime=50.95 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 67226 0 0 0 5083 12 0 0 20 0 1 0 43911871 463556608 84632 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 113173 84632 2833 2753 0 109826 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 452692 KiB
Current children cumulated memory: 338528 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/255 244446
/proc/meminfo: memFree=122843084/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=537084 memory=414332 CPUtime=101.99 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 85654 0 0 0 10184 15 0 0 20 0 1 0 43911871 549974016 103583 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 134271 103583 2833 2753 0 130924 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 537084 KiB
Current children cumulated memory: 414332 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/255 244460
/proc/meminfo: memFree=122711884/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=681632 memory=544988 CPUtime=161.8 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 100908 0 0 0 16162 18 0 0 20 0 1 0 43911871 697991168 136247 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 170408 136247 3179 2753 0 167061 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 681632 KiB
Current children cumulated memory: 544988 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/255 244470
/proc/meminfo: memFree=122579940/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=724052 memory=566220 CPUtime=221.6 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 102063 0 0 0 22142 18 0 0 20 0 1 0 43911871 741429248 141555 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 181013 141555 3179 2753 0 177666 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 724052 KiB
Current children cumulated memory: 566220 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/255 244480
/proc/meminfo: memFree=122411192/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=816780 memory=663848 CPUtime=281.42 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 125944 0 0 0 28122 20 0 0 20 0 1 0 43911871 836382720 165962 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 204195 165962 3179 2753 0 200848 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 816780 KiB
Current children cumulated memory: 663848 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/257 244495
/proc/meminfo: memFree=122277308/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=855620 memory=732136 CPUtime=341.25 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 134500 0 0 0 34103 22 0 0 20 0 1 0 43911871 876154880 183034 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 213905 183034 3179 2753 0 210558 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 855620 KiB
Current children cumulated memory: 732136 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.12 4.04 5/257 244506
/proc/meminfo: memFree=122239224/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=867808 memory=757596 CPUtime=401.08 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 136770 0 0 0 40085 23 0 0 20 0 1 0 43911871 888635392 189399 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 216952 189399 3179 2753 0 213605 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 867808 KiB
Current children cumulated memory: 757596 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/256 244516
/proc/meminfo: memFree=122176116/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=904908 memory=787912 CPUtime=460.91 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 144035 0 0 0 46068 23 0 0 20 0 1 0 43911871 926625792 196978 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0

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

/proc/loadavg: 4.08 4.11 4.13 5/259 246011
/proc/meminfo: memFree=121798592/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3155 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230478 0 0 0 312626 2874 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3155 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/261 246191
/proc/meminfo: memFree=121797528/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3214.89 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230502 0 0 0 318490 2999 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3214.89 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/260 246203
/proc/meminfo: memFree=121796804/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3274.79 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230526 0 0 0 324354 3125 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3274.79 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/259 246226
/proc/meminfo: memFree=121796512/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3334.69 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230550 0 0 0 330219 3250 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3334.69 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/259 246236
/proc/meminfo: memFree=121795436/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3394.59 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230574 0 0 0 336085 3374 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3394.59 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.10 6/257 246246
/proc/meminfo: memFree=121794856/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3454.48 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230598 0 0 0 341951 3497 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3454.48 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/256 246258
/proc/meminfo: memFree=121794008/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3514.38 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230622 0 0 0 347819 3619 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3514.38 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

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

# cumulated CPU time of all completed processes:  user=3520.9 s, system=37.1172 s

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

[startup+3532.8 s]
/proc/loadavg: 4.08 4.09 4.10 6/256 246260
/proc/meminfo: memFree=121793804/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3524.86 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230634 0 0 0 348846 3640 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3524.86 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3545.6 s]
/proc/loadavg: 4.13 4.10 4.10 5/256 246262
/proc/meminfo: memFree=121793672/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3537.64 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230634 0 0 0 350097 3667 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3537.64 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3558.4 s]
/proc/loadavg: 4.11 4.10 4.10 5/256 246264
/proc/meminfo: memFree=121793588/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3550.41 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230634 0 0 0 351348 3693 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3550.41 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3561.6 s]
/proc/loadavg: 4.10 4.09 4.10 5/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3553.6 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230646 0 0 0 351659 3701 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3553.6 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3563.2 s]
/proc/loadavg: 4.10 4.09 4.10 5/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3555.2 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230646 0 0 0 351816 3704 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3555.2 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3564.8 s]
/proc/loadavg: 4.10 4.09 4.10 7/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3556.8 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230646 0 0 0 351971 3709 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3556.8 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3565.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3557.59 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230646 0 0 0 352049 3710 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3557.59 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

[startup+3566 s]*
/proc/loadavg: 4.10 4.09 4.09 5/256 246266
/proc/meminfo: memFree=121793504/131524592 swapFree=131071996/131071996
[pid=244361] ppid=244357 vsize=938456 memory=843596 CPUtime=3558 cores=1,3
/proc/244361/stat : 244361 (LS-MabSP) R 244357 244361 242324 0 -1 4194304 230784 0 0 0 352089 3711 0 0 20 0 1 0 43911871 960978944 210899 134679101440 4194304 15467897 140729231541936 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 30867456 140729231549471 140729231549573 140729231549573 140729231556589 0
/proc/244361/statm: 234614 210899 3179 2753 0 231267 0
Current children cumulated CPU time: 3558 s
Current children cumulated vsize: 938456 KiB
Current children cumulated memory: 843596 KiB

Child status: 0

Real time (s): 3566.01
CPU time (s): 3558.02
CPU user time (s): 3520.9
CPU system time (s): 37.1172
CPU usage (%): 99.7758
Max. virtual memory (cumulated for all children) (KiB): 1270676
Max. memory (cumulated for all children) (KiB): 1153688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3520.9
system time used= 37.1172
maximum resident set size= 1153688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230785
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= 64
involuntary context switches= 1477


# summary of solver processes directly reported to runsolver:
#   pid: 244361
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3520.9
#   total CPU system time (s): 37.1172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59822 second user time and 17.8194 second system time

The end

Begin job on nodeC016 at 2024-08-04 14:05:48
IDJOB=4427862
IDBENCH=146698
IDSOLVER=3047
FILE ID=nodeC016/4427862-1722773148
RUNJOBID= nodeC016-1722769581-242336
SLURM_JOB_ID= 8257537
Free space on /tmp= 890048 MiB

SOLVER NAME= LS-MabSP 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-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427862-1722773148/watcher-4427862-1722773148 -o /tmp/evaluation-result-4427862-1722773148/solver-4427862-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722769581-242336 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427862-1722773148.opb -t 3558 -s 895189054

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

MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=895189054

nodeC016.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		: 3668.855
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.92
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		: 3541.467
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	: 7006.47
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		: 3617.865
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.92
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		: 3530.544
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	: 7006.47
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		: 3658.892
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.92
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		: 3593.121
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	: 7006.47
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		: 3658.973
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.92
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		: 3570.366
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	: 7006.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        124522680 kB
MemAvailable:   129726440 kB
Buffers:          295496 kB
Cached:          5738024 kB
SwapCached:            0 kB
Active:           707544 kB
Inactive:        5767120 kB
Active(anon):       1544 kB
Inactive(anon):   468624 kB
Active(file):     706000 kB
Inactive(file):  5298496 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             36484 kB
Writeback:            68 kB
AnonPages:        440708 kB
Mapped:           109144 kB
Shmem:             29528 kB
KReclaimable:      77884 kB
Slab:             168652 kB
SReclaimable:      77884 kB
SUnreclaim:        90768 kB
KernelStack:        4000 kB
PageTables:         9892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:     748448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            23520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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:      314068 kB
DirectMap2M:     9945088 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC016 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-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 4427862

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