PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-LSMabP+Exact 2024-07-11	SAT	-40	3588.73	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 (63163 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-4437535-1722948203/watcher-4437535-1722948203 -o /tmp/evaluation-result-4437535-1722948203/solver-4437535-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722948202-334978 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437535-1722948203.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=335036, runsolver pid=335026

[startup+0.100093 s]*
/proc/loadavg: 0.24 0.11 0.10 7/254 335055
/proc/meminfo: memFree=124638140/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=22236 memory=9464 CPUtime=0.08 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 1118 0 0 0 8 0 0 0 20 0 1 0 61416949 22769664 2366 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 5559 2366 1073 2753 0 2212 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 13172 KiB

[startup+0.215798 s]*
/proc/loadavg: 0.24 0.11 0.10 9/254 335055
/proc/meminfo: memFree=124624944/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=23260 memory=10236 CPUtime=0.2 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 1588 0 0 0 20 0 0 0 20 0 1 0 61416949 23818240 2559 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 5815 2559 1073 2753 0 2468 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 13944 KiB

[startup+0.314887 s]*
/proc/loadavg: 0.24 0.11 0.10 7/254 335055
/proc/meminfo: memFree=124600200/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=25308 memory=12908 CPUtime=0.29 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 2214 0 0 0 29 0 0 0 20 0 1 0 61416949 25915392 3227 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 6327 3227 1073 2753 0 2980 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43900 KiB
Current children cumulated memory: 16616 KiB

[startup+0.700528 s]
/proc/loadavg: 0.24 0.11 0.10 8/254 335055
/proc/meminfo: memFree=124582400/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=41036 memory=28504 CPUtime=0.67 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 6415 0 0 0 65 2 0 0 20 0 1 0 61416949 42020864 7126 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 10259 7126 1105 2753 0 6912 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 59628 KiB
Current children cumulated memory: 32212 KiB

[startup+1.50046 s]
/proc/loadavg: 0.24 0.11 0.10 7/254 335055
/proc/meminfo: memFree=124575800/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=41036 memory=28504 CPUtime=1.46 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 6415 0 0 0 144 2 0 0 20 0 1 0 61416949 42020864 7126 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 10259 7126 1105 2753 0 6912 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 59628 KiB
Current children cumulated memory: 32212 KiB

[startup+3.11441 s]
/proc/loadavg: 0.24 0.11 0.10 7/254 335055
/proc/meminfo: memFree=124527356/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=47548 memory=34412 CPUtime=3.07 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 49329 0 0 0 296 11 0 0 20 0 1 0 61416949 48689152 8603 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 11887 8603 1169 2753 0 8540 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66140 KiB
Current children cumulated memory: 38120 KiB

[startup+6.30042 s]
/proc/loadavg: 0.54 0.18 0.12 7/254 335057
/proc/meminfo: memFree=124495716/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=47548 memory=34412 CPUtime=6.25 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 50568 0 0 0 606 19 0 0 20 0 1 0 61416949 48689152 8603 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 11887 8603 1169 2753 0 8540 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66140 KiB
Current children cumulated memory: 38120 KiB

[startup+12.7004 s]
/proc/loadavg: 0.97 0.28 0.15 7/254 335057
/proc/meminfo: memFree=124495668/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=47548 memory=34412 CPUtime=12.63 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 50568 0 0 0 1230 33 0 0 20 0 1 0 61416949 48689152 8603 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 11887 8603 1169 2753 0 8540 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 66140 KiB
Current children cumulated memory: 38120 KiB

[startup+25.5005 s]
/proc/loadavg: 1.72 0.47 0.22 7/254 335060
/proc/meminfo: memFree=124495444/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=47548 memory=34412 CPUtime=25.4 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 50568 0 0 0 2480 60 0 0 20 0 1 0 61416949 48689152 8603 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 11887 8603 1169 2753 0 8540 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 66140 KiB
Current children cumulated memory: 38120 KiB

[startup+51.1141 s]
/proc/loadavg: 2.50 0.76 0.32 7/254 335063
/proc/meminfo: memFree=124494092/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 669 592 264 0 134 0
[pid=335050] ppid=335036 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/335050/stat : 335050 (timeout) S 335036 335050 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61416948 8867840 258 134679101440 94916707840000 94916707875016 140729957601472 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94916709972432 94916709974564 94916716253184 140729957610531 140729957610653 140729957610653 140729957617639 0
/proc/335050/statm: 2165 258 233 9 0 87 0
[pid=335053] ppid=335050 vsize=47548 memory=34412 CPUtime=50.97 cores=4,6
/proc/335053/stat : 335053 (LS-MabP) R 335050 335050 334967 0 -1 4194304 50568 0 0 0 4981 116 0 0 20 0 1 0 61416949 48689152 8603 134679101440 4194304 15467897 140729065609184 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 24743936 140729065612343 140729065612452 140729065612452 140729065619438 0
/proc/335053/statm: 11887 8603 1169 2753 0 8540 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 66140 KiB
Current children cumulated memory: 38120 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.28 0.52 7/254 335072
/proc/meminfo: memFree=124493260/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2676 CPUtime=0 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 61416947 10170368 669 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0

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

/proc/335966/statm: 37929 27835 820 745 0 36994 0
Current children cumulated CPU time: 3395.41 s
Current children cumulated vsize: 170308 KiB
Current children cumulated memory: 115112 KiB

[startup+3462.3 s]
/proc/loadavg: 6.76 5.26 4.46 7/252 336896
/proc/meminfo: memFree=122337268/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152168 memory=111976 CPUtime=1660.17 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 16837 0 0 0 166009 8 0 0 20 0 1 0 61596750 155820032 27994 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38042 27994 820 745 0 37107 0
Current children cumulated CPU time: 3455.27 s
Current children cumulated vsize: 170760 KiB
Current children cumulated memory: 115748 KiB

[startup+3522.3 s]
/proc/loadavg: 5.64 5.22 4.50 7/252 336907
/proc/meminfo: memFree=122334968/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152168 memory=111976 CPUtime=1720.02 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 16892 0 0 0 171994 8 0 0 20 0 1 0 61596750 155820032 27994 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38042 27994 820 745 0 37107 0
Current children cumulated CPU time: 3515.12 s
Current children cumulated vsize: 170760 KiB
Current children cumulated memory: 115748 KiB

[startup+3582.3 s]
/proc/loadavg: 5.04 5.13 4.51 7/252 336919
/proc/meminfo: memFree=122328356/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152584 memory=112388 CPUtime=1779.88 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 17041 0 0 0 177980 8 0 0 20 0 1 0 61596750 156246016 28097 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38146 28097 820 745 0 37211 0
Current children cumulated CPU time: 3574.98 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 116160 KiB

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

# cumulated CPU time of all completed processes:  user=3550.4 s, system=38.3293 s

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

[startup+3584.02 s]*
/proc/loadavg: 5.04 5.13 4.51 6/252 336919
/proc/meminfo: memFree=122328300/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152584 memory=112388 CPUtime=1781.6 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 17042 0 0 0 178152 8 0 0 20 0 1 0 61596750 156246016 28097 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38146 28097 820 745 0 37211 0
Current children cumulated CPU time: 3576.7 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 116160 KiB

[startup+3590.4 s]
/proc/loadavg: 4.95 5.11 4.51 7/252 336920
/proc/meminfo: memFree=122327880/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152584 memory=112388 CPUtime=1787.96 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 17049 0 0 0 178788 8 0 0 20 0 1 0 61596750 156246016 28097 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38146 28097 820 745 0 37211 0
Current children cumulated CPU time: 3583.06 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 116160 KiB

[startup+3593.6 s]
/proc/loadavg: 4.95 5.11 4.51 7/252 336920
/proc/meminfo: memFree=122327976/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152584 memory=112388 CPUtime=1791.15 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 17049 0 0 0 179107 8 0 0 20 0 1 0 61596750 156246016 28097 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38146 28097 820 745 0 37211 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 116160 KiB

[startup+3595.2 s]
/proc/loadavg: 5.12 5.14 4.53 7/252 336922
/proc/meminfo: memFree=122327736/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152584 memory=112388 CPUtime=1792.74 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 17049 0 0 0 179266 8 0 0 20 0 1 0 61596750 156246016 28097 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38146 28097 820 745 0 37211 0
Current children cumulated CPU time: 3587.84 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 116160 KiB

[startup+3595.6 s]
/proc/loadavg: 5.12 5.14 4.53 7/252 336922
/proc/meminfo: memFree=122327736/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152584 memory=112388 CPUtime=1793.14 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 17049 0 0 0 179306 8 0 0 20 0 1 0 61596750 156246016 28097 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38146 28097 820 745 0 37211 0
Current children cumulated CPU time: 3588.24 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 116160 KiB

[startup+3596 s]*
/proc/loadavg: 5.12 5.14 4.53 7/252 336922
/proc/meminfo: memFree=122327808/131655788 swapFree=131071996/131071996
[pid=335036] ppid=335026 vsize=9932 memory=2724 CPUtime=1795.1 cores=4,6
/proc/335036/stat : 335036 (Hybrid-LSMabP+E) S 335026 335036 334967 0 -1 4194304 269 53626 0 0 0 0 175688 3822 20 0 1 0 61416947 10170368 681 134679101440 94798845153280 94798846232600 140725736131296 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94798848331056 94798848378244 94798873526272 140725736137706 140725736137851 140725736137851 140725736144866 0
/proc/335036/statm: 2483 681 592 264 0 134 0
[pid=335964] ppid=335036 vsize=8660 memory=1048 CPUtime=0 cores=4,6
/proc/335964/stat : 335964 (timeout) S 335036 335964 334967 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61596750 8867840 262 134679101440 94393602666496 94393602701512 140735514820112 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94393604798928 94393604801060 94393614327808 140735514825716 140735514825885 140735514825885 140735514832871 0
/proc/335964/statm: 2165 262 237 9 0 87 0
[pid=335966] ppid=335964 vsize=152584 memory=112388 CPUtime=1793.56 cores=4,6
/proc/335966/stat : 335966 (Exact) R 335964 335964 334967 0 -1 4194304 17049 0 0 0 179348 8 0 0 20 0 1 0 61596750 156246016 28097 134679101440 4194304 7243121 140727051349184 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23109632 140727051355152 140727051355302 140727051355302 140727051362288 0
/proc/335966/statm: 38146 28097 820 745 0 37211 0
Current children cumulated CPU time: 3588.66 s
Current children cumulated vsize: 171176 KiB
Current children cumulated memory: 116160 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3588.73
CPU user time (s): 3550.4
CPU system time (s): 38.3293
CPU usage (%): 99.7957
Max. virtual memory (cumulated for all children) (KiB): 171176
Max. memory (cumulated for all children) (KiB): 116160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.4
system time used= 38.3293
maximum resident set size= 160116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73967
page faults= 2
swaps= 0
block input operations= 232
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 1867


# summary of solver processes directly reported to runsolver:
#   pid: 335036
#   total CPU time (s): 3588.73
#   total CPU user time (s): 3550.4
#   total CPU system time (s): 38.3293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6749 second user time and 39.7483 second system time

The end

Begin job on nodeC006 at 2024-08-06 14:43:23
IDJOB=4437535
IDBENCH=146695
IDSOLVER=3071
FILE ID=nodeC006/4437535-1722948203
RUNJOBID= nodeC006-1722948202-334978
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/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437535-1722948203/watcher-4437535-1722948203 -o /tmp/evaluation-result-4437535-1722948203/solver-4437535-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722948202-334978 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437535-1722948203.opb 3600 HOME 31000

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

MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
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.172
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.187
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.188
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.173
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.169
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.179
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.185
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.175
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:        124668352 kB
MemAvailable:   129905172 kB
Buffers:          334028 kB
Cached:          5721184 kB
SwapCached:            0 kB
Active:           601684 kB
Inactive:        5856908 kB
Active(anon):       1328 kB
Inactive(anon):   439804 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:        403076 kB
Mapped:            98640 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/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM	dbca78014701662c42e2f44b8d3d4cf2
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	-40
Best CPU time to get the best result obtained on this benchmark	30.0879
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	760
Total number of constraints	41263
Number of constraints which are clauses	41263
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4437535

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