PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-LSMabP+Exact 2024-07-11	SAT	-40	3587.82	3596.11

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100103 s]*
/proc/loadavg: 0.12 0.10 0.09 8/253 333723
/proc/meminfo: memFree=128414576/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=22236 memory=9464 CPUtime=0.08 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 1109 0 0 0 8 0 0 0 20 0 1 0 61191560 22769664 2366 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/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: 13012 KiB

[startup+0.216155 s]*
/proc/loadavg: 0.12 0.10 0.09 8/253 333723
/proc/meminfo: memFree=128402976/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=23260 memory=10236 CPUtime=0.19 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 1576 0 0 0 19 0 0 0 20 0 1 0 61191560 23818240 2559 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 5815 2559 1073 2753 0 2468 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 13784 KiB

[startup+0.314647 s]*
/proc/loadavg: 0.12 0.10 0.09 6/253 333723
/proc/meminfo: memFree=128393460/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=25308 memory=12352 CPUtime=0.28 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 2075 0 0 0 28 0 0 0 20 0 1 0 61191560 25915392 3088 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 6327 3088 1073 2753 0 2980 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43900 KiB
Current children cumulated memory: 15900 KiB

[startup+0.70047 s]
/proc/loadavg: 0.12 0.10 0.09 8/253 333723
/proc/meminfo: memFree=128376236/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=41060 memory=27964 CPUtime=0.66 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 6283 0 0 0 64 2 0 0 20 0 1 0 61191560 42045440 6991 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 10265 6991 1105 2753 0 6918 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 59652 KiB
Current children cumulated memory: 31512 KiB

[startup+1.5005 s]
/proc/loadavg: 0.12 0.10 0.09 7/253 333723
/proc/meminfo: memFree=128348912/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=41060 memory=27964 CPUtime=1.46 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 6283 0 0 0 144 2 0 0 20 0 1 0 61191560 42045440 6991 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 10265 6991 1105 2753 0 6918 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 59652 KiB
Current children cumulated memory: 31512 KiB

[startup+3.11456 s]
/proc/loadavg: 0.43 0.17 0.11 7/253 333725
/proc/meminfo: memFree=128315964/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=47576 memory=33896 CPUtime=3.06 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 49235 0 0 0 292 14 0 0 20 0 1 0 61191560 48717824 8474 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 11894 8474 1169 2753 0 8547 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66168 KiB
Current children cumulated memory: 37444 KiB

[startup+6.30041 s]
/proc/loadavg: 0.43 0.17 0.11 7/253 333725
/proc/meminfo: memFree=128299752/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=47576 memory=33896 CPUtime=6.24 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 50475 0 0 0 601 23 0 0 20 0 1 0 61191560 48717824 8474 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 11894 8474 1169 2753 0 8547 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 66168 KiB
Current children cumulated memory: 37444 KiB

[startup+12.7004 s]
/proc/loadavg: 0.98 0.29 0.15 7/253 333725
/proc/meminfo: memFree=128299744/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=47576 memory=33896 CPUtime=12.62 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 50475 0 0 0 1224 38 0 0 20 0 1 0 61191560 48717824 8474 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 11894 8474 1169 2753 0 8547 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 66168 KiB
Current children cumulated memory: 37444 KiB

[startup+25.5004 s]
/proc/loadavg: 1.52 0.43 0.20 7/253 333728
/proc/meminfo: memFree=128298932/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=47576 memory=33896 CPUtime=25.4 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 50475 0 0 0 2475 65 0 0 20 0 1 0 61191560 48717824 8474 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 11894 8474 1169 2753 0 8547 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 66168 KiB
Current children cumulated memory: 37444 KiB

[startup+51.1143 s]
/proc/loadavg: 2.49 0.75 0.31 7/253 333731
/proc/meminfo: memFree=128298144/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 658 579 264 0 134 0
[pid=333718] ppid=333706 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/333718/stat : 333718 (timeout) S 333706 333718 333636 0 -1 4194304 106 0 1 0 0 0 0 0 20 0 1 0 61191558 8867840 229 134679101440 94644611813376 94644611848392 140737024925984 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94644613945808 94644613947940 94644637880320 140737024930851 140737024930973 140737024930973 140737024937959 0
/proc/333718/statm: 2165 229 204 9 0 87 0
[pid=333720] ppid=333718 vsize=47576 memory=33896 CPUtime=50.95 cores=5,7
/proc/333720/stat : 333720 (LS-MabP) R 333718 333718 333636 0 -1 4194304 50475 0 0 0 4975 120 0 0 20 0 1 0 61191560 48717824 8474 134679101440 4194304 15467897 140729998255760 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 55283712 140729998259255 140729998259364 140729998259364 140729998266350 0
/proc/333720/statm: 11894 8474 1169 2753 0 8547 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 66168 KiB
Current children cumulated memory: 37444 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.32 0.53 7/253 333740
/proc/meminfo: memFree=128297248/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 237 104 0 0 0 0 0 0 20 0 1 0 61191558 10170368 658 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0

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

/proc/334630/statm: 28632 27448 820 745 0 27697 0
Current children cumulated CPU time: 3394.49 s
Current children cumulated vsize: 133120 KiB
Current children cumulated memory: 113500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.18 7/252 335603
/proc/meminfo: memFree=128002068/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115008 memory=110196 CPUtime=1660.1 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17210 0 0 0 166005 5 0 0 20 0 1 0 61371362 117768192 27549 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28752 27549 820 745 0 27817 0
Current children cumulated CPU time: 3454.35 s
Current children cumulated vsize: 133600 KiB
Current children cumulated memory: 113904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.19 4.18 7/252 335613
/proc/meminfo: memFree=128000544/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115552 memory=110796 CPUtime=1719.95 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17394 0 0 0 171990 5 0 0 20 0 1 0 61371362 118325248 27699 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28888 27699 820 745 0 27953 0
Current children cumulated CPU time: 3514.2 s
Current children cumulated vsize: 134144 KiB
Current children cumulated memory: 114504 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.17 8/252 335624
/proc/meminfo: memFree=127998804/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115760 memory=111060 CPUtime=1779.8 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17498 0 0 0 177975 5 0 0 20 0 1 0 61371362 118538240 27765 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28940 27765 820 745 0 28005 0
Current children cumulated CPU time: 3574.05 s
Current children cumulated vsize: 134352 KiB
Current children cumulated memory: 114768 KiB

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

# cumulated CPU time of all completed processes:  user=3547.54 s, system=40.28 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.17 4.17 9/252 335626
/proc/meminfo: memFree=127998636/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115760 memory=111060 CPUtime=1781.51 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17500 0 0 0 178146 5 0 0 20 0 1 0 61371362 118538240 27765 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28940 27765 820 745 0 28005 0
Current children cumulated CPU time: 3575.76 s
Current children cumulated vsize: 134352 KiB
Current children cumulated memory: 114768 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.16 4.17 7/252 335626
/proc/meminfo: memFree=127998560/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115952 memory=111140 CPUtime=1787.88 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17538 0 0 0 178783 5 0 0 20 0 1 0 61371362 118734848 27785 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28988 27785 820 745 0 28053 0
Current children cumulated CPU time: 3582.13 s
Current children cumulated vsize: 134544 KiB
Current children cumulated memory: 114848 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.18 4.17 7/252 335627
/proc/meminfo: memFree=127998536/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115952 memory=111140 CPUtime=1791.08 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17541 0 0 0 179103 5 0 0 20 0 1 0 61371362 118734848 27785 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28988 27785 820 745 0 28053 0
Current children cumulated CPU time: 3585.33 s
Current children cumulated vsize: 134544 KiB
Current children cumulated memory: 114848 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.18 4.17 7/252 335627
/proc/meminfo: memFree=127998412/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115952 memory=111140 CPUtime=1792.67 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17541 0 0 0 179262 5 0 0 20 0 1 0 61371362 118734848 27785 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28988 27785 820 745 0 28053 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 134544 KiB
Current children cumulated memory: 114848 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.18 4.17 7/252 335627
/proc/meminfo: memFree=127998412/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115952 memory=111140 CPUtime=1793.07 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17541 0 0 0 179302 5 0 0 20 0 1 0 61371362 118734848 27785 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28988 27785 820 745 0 28053 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 134544 KiB
Current children cumulated memory: 114848 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.18 4.17 7/252 335627
/proc/meminfo: memFree=127998412/131655788 swapFree=131071996/131071996
[pid=333706] ppid=333695 vsize=9932 memory=2676 CPUtime=1794.25 cores=5,7
/proc/333706/stat : 333706 (Hybrid-LSMabP+E) S 333695 333706 333636 0 -1 4194304 269 52291 0 1 0 0 175405 4020 20 0 1 0 61191558 10170368 669 134679101440 94422083964928 94422085044248 140723112790832 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94422087142704 94422087189892 94422093447168 140723112793066 140723112793211 140723112793211 140723112800226 0
/proc/333706/statm: 2483 669 579 264 0 134 0
[pid=334629] ppid=333706 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/334629/stat : 334629 (timeout) S 333706 334629 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371361 8867840 258 134679101440 94264097992704 94264098027720 140727329478960 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94264100125136 94264100127268 94264120193024 140727329481716 140727329481885 140727329481885 140727329488871 0
/proc/334629/statm: 2165 258 234 9 0 87 0
[pid=334630] ppid=334629 vsize=115952 memory=111140 CPUtime=1793.48 cores=5,7
/proc/334630/stat : 334630 (Exact) R 334629 334629 333636 0 -1 4194304 17541 0 0 0 179343 5 0 0 20 0 1 0 61371362 118734848 27785 134679101440 4194304 7243121 140722880546016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7942632 8006904 20348928 140722880554000 140722880554150 140722880554150 140722880561136 0
/proc/334630/statm: 28988 27785 820 745 0 28053 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 134544 KiB
Current children cumulated memory: 114848 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3587.82
CPU user time (s): 3547.54
CPU system time (s): 40.28
CPU usage (%): 99.7694
Max. virtual memory (cumulated for all children) (KiB): 134544
Max. memory (cumulated for all children) (KiB): 114848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.54
system time used= 40.28
maximum resident set size= 111140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73117
page faults= 2
swaps= 0
block input operations= 32
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 1712


# summary of solver processes directly reported to runsolver:
#   pid: 333706
#   total CPU time (s): 3587.82
#   total CPU user time (s): 3547.54
#   total CPU system time (s): 40.28

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0809 second user time and 39.6468 second system time

The end

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

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

MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=18592742

nodeC004.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		: 1215.903
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.85
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		: 1203.025
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.39
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		: 1237.749
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.85
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		: 1199.499
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.39
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.272
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.85
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		: 1237.778
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.39
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.030
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.85
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		: 1198.881
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128442076 kB
MemAvailable:   129954500 kB
Buffers:          334316 kB
Cached:          2022140 kB
SwapCached:            0 kB
Active:           594056 kB
Inactive:        2142972 kB
Active(anon):       1348 kB
Inactive(anon):   417024 kB
Active(file):     592708 kB
Inactive(file):  1725948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             87872 kB
Writeback:             0 kB
AnonPages:        380172 kB
Mapped:            98908 kB
Shmem:             37704 kB
KReclaimable:      67932 kB
Slab:             153372 kB
SReclaimable:      67932 kB
SUnreclaim:        85440 kB
KernelStack:        3680 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     672952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      252744 kB
DirectMap2M:    20623360 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC004 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-1.opb
MD5SUM	c55f73e6e0cc08bf75a2558de9268914
Bench Category	OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	-40
Best CPU time to get the best result obtained on this benchmark	15.9721
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	760
Total number of constraints	41314
Number of constraints which are clauses	41314
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4437534

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