PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-LSMabSP+Exact 2024-07-11	SAT	-45	3586.69	3596.1

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=325187, runsolver pid=325174

[startup+0.100968 s]*
/proc/loadavg: 0.08 0.09 0.09 8/252 325205
/proc/meminfo: memFree=129403816/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=23120 memory=10348 CPUtime=0.07 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 1317 0 0 0 7 0 0 0 20 0 1 0 61191049 23674880 2587 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 5780 2587 1073 2753 0 2433 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 14100 KiB

[startup+0.215801 s]*
/proc/loadavg: 0.08 0.09 0.09 7/252 325205
/proc/meminfo: memFree=129396292/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=24144 memory=11120 CPUtime=0.18 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 1776 0 0 0 18 0 0 0 20 0 1 0 61191049 24723456 2780 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 6036 2780 1073 2753 0 2689 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 42736 KiB
Current children cumulated memory: 14872 KiB

[startup+0.314473 s]*
/proc/loadavg: 0.08 0.09 0.09 8/252 325205
/proc/meminfo: memFree=129383228/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=24144 memory=11648 CPUtime=0.28 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 1952 0 0 0 28 0 0 0 20 0 1 0 61191049 24723456 2912 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 6036 2912 1073 2753 0 2689 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42736 KiB
Current children cumulated memory: 15400 KiB

[startup+0.700481 s]
/proc/loadavg: 0.08 0.09 0.09 7/252 325205
/proc/meminfo: memFree=129367240/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=48736 memory=35860 CPUtime=0.65 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 8111 0 0 0 63 2 0 0 20 0 1 0 61191049 49905664 8965 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 12184 8965 1105 2753 0 8837 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 67328 KiB
Current children cumulated memory: 39612 KiB

[startup+1.50055 s]
/proc/loadavg: 0.08 0.09 0.09 8/252 325205
/proc/meminfo: memFree=129224432/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=48736 memory=35860 CPUtime=1.45 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 8114 0 0 0 143 2 0 0 20 0 1 0 61191049 49905664 8965 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 12184 8965 1105 2753 0 8837 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 67328 KiB
Current children cumulated memory: 39612 KiB

[startup+3.115 s]
/proc/loadavg: 0.47 0.17 0.12 8/252 325205
/proc/meminfo: memFree=128456020/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=344296 memory=317152 CPUtime=3.07 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 45601 0 0 0 295 12 0 0 20 0 1 0 61191049 352559104 79288 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 86074 79288 2737 2753 0 82727 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 362888 KiB
Current children cumulated memory: 320904 KiB

[startup+6.30038 s]
/proc/loadavg: 0.47 0.17 0.12 8/252 325205
/proc/meminfo: memFree=127048344/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=430452 memory=386964 CPUtime=6.24 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 62465 0 0 0 610 14 0 0 20 0 1 0 61191049 440782848 96741 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 107613 96741 2833 2753 0 104266 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 449044 KiB
Current children cumulated memory: 390716 KiB

[startup+12.7005 s]
/proc/loadavg: 1.01 0.30 0.16 8/252 325207
/proc/meminfo: memFree=124582376/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=457264 memory=392740 CPUtime=12.62 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 63869 0 0 0 1248 14 0 0 20 0 1 0 61191049 468238336 98185 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 114316 98185 2833 2753 0 110969 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 475856 KiB
Current children cumulated memory: 396492 KiB

[startup+25.5005 s]
/proc/loadavg: 1.47 0.42 0.20 8/252 325208
/proc/meminfo: memFree=119161760/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=613200 memory=478040 CPUtime=25.38 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 83728 0 0 0 2520 18 0 0 20 0 1 0 61191049 627916800 119510 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 153300 119510 2833 2753 0 149953 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 631792 KiB
Current children cumulated memory: 481792 KiB

[startup+51.1149 s]
/proc/loadavg: 2.40 0.72 0.31 8/252 325213
/proc/meminfo: memFree=109414032/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 681 603 264 0 134 0
[pid=325201] ppid=325187 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/325201/stat : 325201 (timeout) S 325187 325201 325114 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 61191049 8867840 257 134679101440 94398436691968 94398436726984 140725508684736 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94398438824400 94398438826532 94398465777664 140725508686893 140725508687009 140725508687009 140725508693991 0
/proc/325201/statm: 2165 257 233 9 0 87 0
[pid=325205] ppid=325201 vsize=613200 memory=478280 CPUtime=50.92 cores=4,6
/proc/325205/stat : 325205 (LS-MabSP) R 325201 325201 325114 0 -1 4194304 83789 0 0 0 5074 18 0 0 20 0 1 0 61191049 627916800 119570 134679101440 4194304 15467897 140728048574528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41988096 140728048583744 140728048583847 140728048583847 140728048590829 0
/proc/325205/statm: 153300 119570 2833 2753 0 149953 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 631792 KiB
Current children cumulated memory: 482032 KiB

[startup+102.301 s]
/proc/loadavg: 3.42 1.29 0.53 8/252 325221
/proc/meminfo: memFree=108801264/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 240 102 0 1 0 0 0 0 20 0 1 0 61191046 10170368 681 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0

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

/proc/326099/statm: 39045 28737 748 737 0 38133 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 174772 KiB
Current children cumulated memory: 118760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.16 4.07 8/249 327014
/proc/meminfo: memFree=124788956/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157140 memory=115796 CPUtime=1659.53 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17789 0 0 0 165947 6 0 0 20 0 1 0 61370854 160911360 28949 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39285 28949 748 737 0 38373 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.07 8/249 327024
/proc/meminfo: memFree=124788648/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157140 memory=115904 CPUtime=1719.39 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17834 0 0 0 171933 6 0 0 20 0 1 0 61370854 160911360 28976 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39285 28976 748 737 0 38373 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 175732 KiB
Current children cumulated memory: 119716 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.07 8/249 327035
/proc/meminfo: memFree=124788260/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157316 memory=115924 CPUtime=1779.26 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17935 0 0 0 177920 6 0 0 20 0 1 0 61370854 161091584 28981 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39329 28981 748 737 0 38417 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 175908 KiB
Current children cumulated memory: 119736 KiB

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

# cumulated CPU time of all completed processes:  user=3568.63 s, system=18.0669 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.14 4.07 8/249 327035
/proc/meminfo: memFree=124788336/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157316 memory=115924 CPUtime=1780.97 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17935 0 0 0 178091 6 0 0 20 0 1 0 61370854 161091584 28981 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39329 28981 748 737 0 38417 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 175908 KiB
Current children cumulated memory: 119736 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.14 4.07 8/249 327036
/proc/meminfo: memFree=124788172/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157316 memory=115924 CPUtime=1787.34 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17935 0 0 0 178728 6 0 0 20 0 1 0 61370854 161091584 28981 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39329 28981 748 737 0 38417 0
Current children cumulated CPU time: 3580.96 s
Current children cumulated vsize: 175908 KiB
Current children cumulated memory: 119736 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.14 4.07 8/249 327036
/proc/meminfo: memFree=124788244/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157316 memory=115924 CPUtime=1790.53 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17935 0 0 0 179047 6 0 0 20 0 1 0 61370854 161091584 28981 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39329 28981 748 737 0 38417 0
Current children cumulated CPU time: 3584.15 s
Current children cumulated vsize: 175908 KiB
Current children cumulated memory: 119736 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.14 4.07 8/249 327036
/proc/meminfo: memFree=124788236/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157316 memory=115924 CPUtime=1792.13 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17935 0 0 0 179207 6 0 0 20 0 1 0 61370854 161091584 28981 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39329 28981 748 737 0 38417 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 175908 KiB
Current children cumulated memory: 119736 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.14 4.07 8/249 327036
/proc/meminfo: memFree=124788236/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157316 memory=115924 CPUtime=1792.53 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17935 0 0 0 179247 6 0 0 20 0 1 0 61370854 161091584 28981 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39329 28981 748 737 0 38417 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 175908 KiB
Current children cumulated memory: 119736 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.14 4.07 8/249 327036
/proc/meminfo: memFree=124788212/131655788 swapFree=131071216/131071996
[pid=325187] ppid=325174 vsize=9932 memory=2772 CPUtime=1793.62 cores=4,6
/proc/325187/stat : 325187 (Hybrid-LSMabSP+) S 325174 325187 325114 0 -1 4194304 273 224988 0 1 0 0 177565 1797 20 0 1 0 61191046 10170368 693 134679101440 94194456997888 94194458077208 140726723871440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94194460175664 94194460222852 94194482573312 140726723879916 140726723880062 140726723880062 140726723887073 0
/proc/325187/statm: 2483 693 603 264 0 134 0
[pid=326098] ppid=325187 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/326098/stat : 326098 (timeout) S 325187 326098 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61370853 8867840 260 134679101440 94763626266624 94763626301640 140720535054288 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94763628399056 94763628401188 94763641831424 140720535057400 140720535057569 140720535057569 140720535064551 0
/proc/326098/statm: 2165 260 236 9 0 87 0
[pid=326099] ppid=326098 vsize=157316 memory=115924 CPUtime=1792.94 cores=4,6
/proc/326099/stat : 326099 (Exact) R 326098 326098 325114 0 -1 4194304 17935 0 0 0 179288 6 0 0 20 0 1 0 61370854 161091584 28981 134679101440 4194304 7210733 140731290152032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 12156928 140731290158100 140731290158250 140731290158250 140731290165232 0
/proc/326099/statm: 39329 28981 748 737 0 38417 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 175908 KiB
Current children cumulated memory: 119736 KiB

Child status: 0

Real time (s): 3596.1
CPU time (s): 3586.69
CPU user time (s): 3568.63
CPU system time (s): 18.0669
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 1289748
Max. memory (cumulated for all children) (KiB): 1025904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.63
system time used= 18.0669
maximum resident set size= 1022152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246226
page faults= 1
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 1835


# summary of solver processes directly reported to runsolver:
#   pid: 325187
#   total CPU time (s): 3586.69
#   total CPU user time (s): 3568.63
#   total CPU system time (s): 18.0669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2001 second user time and 41.4963 second system time

The end

Begin job on nodeC007 at 2024-08-06 14:43:23
IDJOB=4437133
IDBENCH=146680
IDSOLVER=3070
FILE ID=nodeC007/4437133-1722948202
RUNJOBID= nodeC007-1722948202-325127
SLURM_JOB_ID= 8258995
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=1395330820

nodeC007.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.277
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.58
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		: 1245.151
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.35
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		: 1252.781
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.58
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		: 1196.698
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.35
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		: 1193.860
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.58
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		: 1191.356
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.35
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		: 1203.410
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.58
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.229
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129434404 kB
MemAvailable:   130091544 kB
Buffers:          327452 kB
Cached:          1180496 kB
SwapCached:          100 kB
Active:           569968 kB
Inactive:        1189788 kB
Active(anon):       1384 kB
Inactive(anon):   287888 kB
Active(file):     568584 kB
Inactive(file):   901900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             93848 kB
Writeback:             0 kB
AnonPages:        251632 kB
Mapped:           100420 kB
Shmem:             37460 kB
KReclaimable:      53708 kB
Slab:             139340 kB
SReclaimable:      53708 kB
SUnreclaim:        85632 kB
KernelStack:        3632 kB
PageTables:         9312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     600400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22784 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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:      297800 kB
DirectMap2M:    19529728 kB
DirectMap1G:    116391936 kB

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

Name	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM	950817fdcb39f28dd0871c21ea836071
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	-45
Best CPU time to get the best result obtained on this benchmark	1120.33
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	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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	945
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	945
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	945
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 4437133

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