PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-LSMabP+Exact 2024-07-11	SAT	-35	3587.44	3596.07

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437533-1722948203/watcher-4437533-1722948203 -o /tmp/evaluation-result-4437533-1722948203/solver-4437533-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722948202-334979 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437533-1722948203.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=335042, runsolver pid=335027

[startup+0.100675 s]*
/proc/loadavg: 0.24 0.11 0.10 8/254 335055
/proc/meminfo: memFree=124638140/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=21572 memory=8796 CPUtime=0.09 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 968 0 0 0 9 0 0 0 20 0 1 0 61416949 22089728 2199 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 5393 2199 1073 2753 0 2046 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40164 KiB
Current children cumulated memory: 12608 KiB

[startup+0.214622 s]*
/proc/loadavg: 0.24 0.11 0.10 10/254 335055
/proc/meminfo: memFree=124624888/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=22596 memory=9832 CPUtime=0.2 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 1445 0 0 0 20 0 0 0 20 0 1 0 61416949 23138304 2458 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 5649 2458 1073 2753 0 2302 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41188 KiB
Current children cumulated memory: 13644 KiB

[startup+0.31539 s]*
/proc/loadavg: 0.24 0.11 0.10 9/254 335055
/proc/meminfo: memFree=124599864/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=33224 memory=20508 CPUtime=0.3 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 4665 0 0 0 29 1 0 0 20 0 1 0 61416949 34021376 5127 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 8306 5127 1105 2753 0 4959 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51816 KiB
Current children cumulated memory: 24320 KiB

[startup+0.700435 s]
/proc/loadavg: 0.24 0.11 0.10 8/254 335055
/proc/meminfo: memFree=124582400/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=33224 memory=20508 CPUtime=0.67 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 4669 0 0 0 66 1 0 0 20 0 1 0 61416949 34021376 5127 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 8306 5127 1105 2753 0 4959 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 51816 KiB
Current children cumulated memory: 24320 KiB

[startup+1.50049 s]
/proc/loadavg: 0.24 0.11 0.10 8/254 335055
/proc/meminfo: memFree=124575800/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=37656 memory=24728 CPUtime=1.47 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 29216 0 0 0 140 7 0 0 20 0 1 0 61416949 38559744 6182 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 9414 6182 1169 2753 0 6067 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 28540 KiB

[startup+3.11343 s]
/proc/loadavg: 0.24 0.11 0.10 8/254 335055
/proc/meminfo: memFree=124527356/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=37656 memory=24728 CPUtime=3.08 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 32525 0 0 0 293 15 0 0 20 0 1 0 61416949 38559744 6182 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 9414 6182 1169 2753 0 6067 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 28540 KiB

[startup+6.30041 s]
/proc/loadavg: 0.54 0.18 0.12 8/254 335057
/proc/meminfo: memFree=124495716/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=37656 memory=24728 CPUtime=6.26 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 32525 0 0 0 604 22 0 0 20 0 1 0 61416949 38559744 6182 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 9414 6182 1169 2753 0 6067 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 28540 KiB

[startup+12.7004 s]
/proc/loadavg: 0.97 0.28 0.15 9/254 335057
/proc/meminfo: memFree=124495668/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=37656 memory=24728 CPUtime=12.64 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 32525 0 0 0 1226 38 0 0 20 0 1 0 61416949 38559744 6182 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 9414 6182 1169 2753 0 6067 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 28540 KiB

[startup+25.5004 s]
/proc/loadavg: 1.72 0.47 0.22 8/254 335060
/proc/meminfo: memFree=124495444/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=37656 memory=24728 CPUtime=25.42 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 32525 0 0 0 2475 67 0 0 20 0 1 0 61416949 38559744 6182 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 9414 6182 1169 2753 0 6067 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 28540 KiB

[startup+51.1132 s]
/proc/loadavg: 2.50 0.76 0.32 8/254 335063
/proc/meminfo: memFree=124494092/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0
[pid=335051] ppid=335042 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/335051/stat : 335051 (timeout) S 335042 335051 334967 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61416948 8867840 249 134679101440 94834122637312 94834122672328 140721372760896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94834124769744 94834124771876 94834143072256 140721372767267 140721372767389 140721372767389 140721372774375 0
/proc/335051/statm: 2165 249 224 9 0 87 0
[pid=335055] ppid=335051 vsize=37656 memory=24728 CPUtime=50.99 cores=1,3
/proc/335055/stat : 335055 (LS-MabP) R 335051 335051 334967 0 -1 4194304 32525 0 0 0 4968 131 0 0 20 0 1 0 61416949 38559744 6182 134679101440 4194304 15467897 140733740342016 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27926528 140733740344375 140733740344484 140733740344484 140733740351470 0
/proc/335055/statm: 9414 6182 1169 2753 0 6067 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 28540 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.28 0.52 8/254 335072
/proc/meminfo: memFree=124493260/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 242 100 0 0 0 0 0 0 20 0 1 0 61416948 10170368 704 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 704 628 264 0 134 0

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

/proc/335963/statm: 27343 23675 820 745 0 26408 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 127964 KiB
Current children cumulated memory: 98596 KiB

[startup+3462.3 s]
/proc/loadavg: 6.76 5.26 4.46 8/252 336896
/proc/meminfo: memFree=122337268/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=109740 memory=97104 CPUtime=1659.08 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15600 0 0 0 165895 13 0 0 20 0 1 0 61596750 112373760 24276 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27435 24276 820 745 0 26500 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 128332 KiB
Current children cumulated memory: 101000 KiB

[startup+3522.3 s]
/proc/loadavg: 5.64 5.22 4.50 8/252 336907
/proc/meminfo: memFree=122334968/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=109892 memory=97288 CPUtime=1718.92 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15700 0 0 0 171879 13 0 0 20 0 1 0 61596750 112529408 24322 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27473 24322 820 745 0 26538 0
Current children cumulated CPU time: 3513.85 s
Current children cumulated vsize: 128484 KiB
Current children cumulated memory: 101184 KiB

[startup+3582.3 s]
/proc/loadavg: 5.04 5.13 4.51 8/252 336919
/proc/meminfo: memFree=122328356/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=110500 memory=97932 CPUtime=1778.76 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15885 0 0 0 177863 13 0 0 20 0 1 0 61596750 113152000 24483 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27625 24483 820 745 0 26690 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 129092 KiB
Current children cumulated memory: 101828 KiB

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

# cumulated CPU time of all completed processes:  user=3543.59 s, system=43.8539 s

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

[startup+3584 s]*
/proc/loadavg: 5.04 5.13 4.51 9/252 336919
/proc/meminfo: memFree=122328300/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=110500 memory=97932 CPUtime=1780.46 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15885 0 0 0 178033 13 0 0 20 0 1 0 61596750 113152000 24483 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27625 24483 820 745 0 26690 0
Current children cumulated CPU time: 3575.39 s
Current children cumulated vsize: 129092 KiB
Current children cumulated memory: 101828 KiB

[startup+3590.4 s]
/proc/loadavg: 4.95 5.11 4.51 8/252 336920
/proc/meminfo: memFree=122327880/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=110500 memory=97932 CPUtime=1786.83 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15885 0 0 0 178670 13 0 0 20 0 1 0 61596750 113152000 24483 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27625 24483 820 745 0 26690 0
Current children cumulated CPU time: 3581.76 s
Current children cumulated vsize: 129092 KiB
Current children cumulated memory: 101828 KiB

[startup+3593.6 s]
/proc/loadavg: 4.95 5.11 4.51 8/252 336920
/proc/meminfo: memFree=122327976/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=110500 memory=97932 CPUtime=1790.03 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15885 0 0 0 178990 13 0 0 20 0 1 0 61596750 113152000 24483 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27625 24483 820 745 0 26690 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 129092 KiB
Current children cumulated memory: 101828 KiB

[startup+3595.2 s]
/proc/loadavg: 5.12 5.14 4.53 8/252 336922
/proc/meminfo: memFree=122327736/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=110500 memory=97932 CPUtime=1791.62 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15885 0 0 0 179149 13 0 0 20 0 1 0 61596750 113152000 24483 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27625 24483 820 745 0 26690 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 129092 KiB
Current children cumulated memory: 101828 KiB

[startup+3595.6 s]
/proc/loadavg: 5.12 5.14 4.53 8/252 336922
/proc/meminfo: memFree=122327736/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=110500 memory=97932 CPUtime=1792.02 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15885 0 0 0 179189 13 0 0 20 0 1 0 61596750 113152000 24483 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27625 24483 820 745 0 26690 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 129092 KiB
Current children cumulated memory: 101828 KiB

[startup+3596 s]*
/proc/loadavg: 5.12 5.14 4.53 8/252 336922
/proc/meminfo: memFree=122327808/131655788 swapFree=131071996/131071996
[pid=335042] ppid=335027 vsize=9932 memory=2872 CPUtime=1794.93 cores=1,3
/proc/335042/stat : 335042 (Hybrid-LSMabP+E) S 335027 335042 334967 0 -1 4194304 272 33893 0 1 0 0 175125 4368 20 0 1 0 61416948 10170368 718 134679101440 94056665886720 94056666966040 140722038555744 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94056669064496 94056669111684 94056702455808 140722038559722 140722038559867 140722038559867 140722038566882 0
/proc/335042/statm: 2483 718 628 264 0 134 0
[pid=335962] ppid=335042 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/335962/stat : 335962 (timeout) S 335042 335962 334967 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 256 134679101440 93969199075328 93969199110344 140721534372800 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93969201207760 93969201209892 93969201373184 140721534378996 140721534379165 140721534379165 140721534386151 0
/proc/335962/statm: 2165 256 231 9 0 87 0
[pid=335963] ppid=335962 vsize=110500 memory=97932 CPUtime=1792.43 cores=1,3
/proc/335963/stat : 335963 (Exact) R 335962 335962 334967 0 -1 4194304 15885 0 0 0 179230 13 0 0 20 0 1 0 61596750 113152000 24483 134679101440 4194304 7243121 140726631291712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 34492416 140726631298064 140726631298214 140726631298214 140726631305200 0
/proc/335963/statm: 27625 24483 820 745 0 26690 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 129092 KiB
Current children cumulated memory: 101828 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3587.44
CPU user time (s): 3543.59
CPU system time (s): 43.8539
CPU usage (%): 99.7599
Max. virtual memory (cumulated for all children) (KiB): 129092
Max. memory (cumulated for all children) (KiB): 101828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.59
system time used= 43.8539
maximum resident set size= 97932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53062
page faults= 2
swaps= 0
block input operations= 96
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127
involuntary context switches= 1994


# summary of solver processes directly reported to runsolver:
#   pid: 335042
#   total CPU time (s): 3587.44
#   total CPU user time (s): 3543.59
#   total CPU system time (s): 43.8539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9484 second user time and 38.0143 second system time

The end

Begin job on nodeC006 at 2024-08-06 14:43:23
IDJOB=4437533
IDBENCH=146690
IDSOLVER=3071
FILE ID=nodeC006/4437533-1722948203
RUNJOBID= nodeC006-1722948202-334979
SLURM_JOB_ID= 8258994
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8
RANDOM SEED=18592742

nodeC006.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.183
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.46
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.374
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.38
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.168
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.46
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.278
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.38
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.174
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.46
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.169
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.38
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.167
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.46
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.166
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124667348 kB
MemAvailable:   129904168 kB
Buffers:          334028 kB
Cached:          5721184 kB
SwapCached:            0 kB
Active:           601684 kB
Inactive:        5857880 kB
Active(anon):       1328 kB
Inactive(anon):   440776 kB
Active(file):     600356 kB
Inactive(file):  5417104 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             89572 kB
Writeback:             8 kB
AnonPages:        404048 kB
Mapped:            98964 kB
Shmem:             37704 kB
KReclaimable:     119120 kB
Slab:             206532 kB
SReclaimable:     119120 kB
SUnreclaim:        87412 kB
KernelStack:        3680 kB
PageTables:         9640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     744244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24448 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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:      271176 kB
DirectMap2M:    19556352 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC006 at 2024-08-06 15:43:21

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM	13e3cfc76a003558f082ab5832d2ffa8
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	-35
Best CPU time to get the best result obtained on this benchmark	5.63628
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	595
Total number of constraints	27856
Number of constraints which are clauses	27856
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	595
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	595
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	595
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 4437533

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