PB'24 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
IPBHS-GUROBI 2024-07-09	? (TO)		3600.09	3606.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: 63968 MiB (60668 MiB free)
  memory of node 1: 64473 MiB (57921 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458218-1721868725/watcher-4458218-1721868725 -o /tmp/evaluation-result-4458218-1721868725/solver-4458218-1721868725 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721865114-213056 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4458218-1721868725.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100264 s]*
/proc/loadavg: 4.19 4.21 4.08 5/267 215743
/proc/meminfo: memFree=121425332/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=135944 memory=22092 CPUtime=0.09 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 1694 0 0 0 8 1 0 0 20 0 2 0 23395906 139206656 5523 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 33986 5523 3234 46 0 6581 0
[pid=215742/tid=215743] ppid=215740 vsize=135944 memory=4026561614 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23395907 139206656 5523 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 145872 KiB
Current children cumulated memory: 24784 KiB

[startup+0.206248 s]*
/proc/loadavg: 4.19 4.21 4.08 5/267 215743
/proc/meminfo: memFree=121424996/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=135944 memory=22652 CPUtime=0.19 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 1710 0 0 0 18 1 0 0 20 0 2 0 23395906 139206656 5663 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 33986 5663 3313 46 0 6581 0
[pid=215742/tid=215743] ppid=215740 vsize=135944 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23395907 139206656 5663 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 145872 KiB
Current children cumulated memory: 25344 KiB

[startup+0.305624 s]*
/proc/loadavg: 4.19 4.21 4.08 5/267 215743
/proc/meminfo: memFree=121422520/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=135944 memory=24700 CPUtime=0.29 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 1727 0 0 0 27 2 0 0 20 0 2 0 23395906 139206656 6175 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 33986 6175 3313 46 0 6581 0
[pid=215742/tid=215743] ppid=215740 vsize=135944 memory=-8681467404973139558 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) R 215740 215740 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23395907 139206656 6175 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 145872 KiB
Current children cumulated memory: 27392 KiB

[startup+0.700258 s]
/proc/loadavg: 4.19 4.21 4.08 6/267 215743
/proc/meminfo: memFree=121422380/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=135944 memory=24700 CPUtime=0.67 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 1741 0 0 0 65 2 0 0 20 0 2 0 23395906 139206656 6175 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 33986 6175 3313 46 0 6581 0
[pid=215742/tid=215743] ppid=215740 vsize=135944 memory=25596 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23395907 139206656 6175 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 145872 KiB
Current children cumulated memory: 27392 KiB

[startup+1.50027 s]
/proc/loadavg: 4.19 4.21 4.08 5/267 215743
/proc/meminfo: memFree=121422392/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=136080 memory=24956 CPUtime=1.47 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 2122 0 0 0 143 4 0 0 20 0 2 0 23395906 139345920 6239 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 34020 6239 3313 46 0 6615 0
[pid=215742/tid=215743] ppid=215740 vsize=136080 memory=11944 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 23395907 139345920 6239 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 146008 KiB
Current children cumulated memory: 27648 KiB

[startup+3.10551 s]
/proc/loadavg: 4.17 4.20 4.08 5/267 215743
/proc/meminfo: memFree=121422176/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=136212 memory=25140 CPUtime=3.07 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 2544 0 0 0 299 8 0 0 20 0 2 0 23395906 139481088 6285 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 34053 6285 3313 46 0 6648 0
[pid=215742/tid=215743] ppid=215740 vsize=136212 memory=2692 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 23395907 139481088 6285 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 146140 KiB
Current children cumulated memory: 27832 KiB

[startup+6.30026 s]
/proc/loadavg: 4.17 4.20 4.08 5/267 215743
/proc/meminfo: memFree=121419516/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=138752 memory=27788 CPUtime=6.26 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 4092 0 0 0 615 11 0 0 20 0 2 0 23395906 142082048 6947 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 34688 6947 3313 46 0 7283 0
[pid=215742/tid=215743] ppid=215740 vsize=138752 memory=2692 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 2 0 23395907 142082048 6947 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 148680 KiB
Current children cumulated memory: 30480 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.20 4.08 5/267 215744
/proc/meminfo: memFree=121417596/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=139912 memory=31148 CPUtime=12.64 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 6397 0 0 0 1246 18 0 0 20 0 2 0 23395906 143269888 7787 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 34978 7787 3549 46 0 7573 0
[pid=215742/tid=215743] ppid=215740 vsize=139912 memory=2692 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 2 0 23395907 143269888 7787 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 149840 KiB
Current children cumulated memory: 33840 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.22 4.09 5/267 215794
/proc/meminfo: memFree=121490720/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=151448 memory=39556 CPUtime=25.4 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 12677 0 0 0 2515 25 0 0 20 0 2 0 23395906 155082752 9889 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 37862 9889 3754 46 0 10457 0
[pid=215742/tid=215743] ppid=215740 vsize=151448 memory=37492 CPUtime=0 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 2 0 23395907 155082752 9889 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 161376 KiB
Current children cumulated memory: 42248 KiB

[startup+51.1051 s]
/proc/loadavg: 4.17 4.20 4.09 5/267 215798
/proc/meminfo: memFree=121477816/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=154972 memory=44516 CPUtime=50.94 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 25651 0 0 0 5057 37 0 0 20 0 2 0 23395906 158691328 11129 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 38743 11129 3786 46 0 11338 0
[pid=215742/tid=215743] ppid=215740 vsize=154972 memory=2692 CPUtime=0.01 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 30 0 0 0 1 0 0 0 20 0 2 0 23395907 158691328 11129 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 164900 KiB
Current children cumulated memory: 47208 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.09 5/267 215854
/proc/meminfo: memFree=121529784/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=169072 memory=58628 CPUtime=101.98 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 44359 0 0 0 10144 54 0 0 20 0 2 0 23395906 173129728 14657 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 42268 14657 3786 46 0 14863 0
[pid=215742/tid=215743] ppid=215740 vsize=169072 memory=8257801276394609821 CPUtime=0.04 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 40 0 0 0 2 2 0 0 20 0 2 0 23395907 173129728 14657 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 179000 KiB
Current children cumulated memory: 61320 KiB

[startup+162.3 s]

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

/proc/215742/statm: 72969 35367 3969 46 0 45564 0
[pid=215742/tid=215743] ppid=215740 vsize=291876 memory=2692 CPUtime=2.96 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 175 0 0 0 122 174 0 0 20 0 2 0 23395907 298881024 35367 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3156.92 s
Current children cumulated vsize: 301804 KiB
Current children cumulated memory: 144160 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/263 217717
/proc/meminfo: memFree=121395152/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=292276 memory=143528 CPUtime=3216.81 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 119179 0 0 0 321100 581 0 0 20 0 2 0 23395906 299290624 35882 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73069 35882 3969 46 0 45664 0
[pid=215742/tid=215743] ppid=215740 vsize=292276 memory=2692 CPUtime=3.02 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 178 0 0 0 124 178 0 0 20 0 2 0 23395907 299290624 35882 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3216.81 s
Current children cumulated vsize: 302204 KiB
Current children cumulated memory: 146220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/263 217728
/proc/meminfo: memFree=121392280/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=292276 memory=143772 CPUtime=3276.74 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 119753 0 0 0 327082 592 0 0 20 0 2 0 23395906 299290624 35943 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73069 35943 3969 46 0 45664 0
[pid=215742/tid=215743] ppid=215740 vsize=292276 memory=2692 CPUtime=3.08 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 181 0 0 0 126 182 0 0 20 0 2 0 23395907 299290624 35943 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3276.74 s
Current children cumulated vsize: 302204 KiB
Current children cumulated memory: 146464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.17 4.16 5/264 217743
/proc/meminfo: memFree=121391304/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=292276 memory=143772 CPUtime=3336.66 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 120325 0 0 0 333065 601 0 0 20 0 2 0 23395906 299290624 35943 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73069 35943 3969 46 0 45664 0
[pid=215742/tid=215743] ppid=215740 vsize=292276 memory=11944 CPUtime=3.13 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 184 0 0 0 128 185 0 0 20 0 2 0 23395907 299290624 35943 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3336.66 s
Current children cumulated vsize: 302204 KiB
Current children cumulated memory: 146464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/264 217753
/proc/meminfo: memFree=121386984/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=292276 memory=147312 CPUtime=3396.58 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 120904 0 0 0 339049 609 0 0 20 0 2 0 23395906 299290624 36828 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73069 36828 3969 46 0 45664 0
[pid=215742/tid=215743] ppid=215740 vsize=292276 memory=2692 CPUtime=3.19 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 187 0 0 0 130 189 0 0 20 0 2 0 23395907 299290624 36828 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3396.58 s
Current children cumulated vsize: 302204 KiB
Current children cumulated memory: 150004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/264 217763
/proc/meminfo: memFree=121380708/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=292276 memory=147312 CPUtime=3456.51 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 121491 0 0 0 345031 620 0 0 20 0 2 0 23395906 299290624 36828 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73069 36828 3969 46 0 45664 0
[pid=215742/tid=215743] ppid=215740 vsize=292276 memory=2692 CPUtime=3.25 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 190 0 0 0 133 192 0 0 20 0 2 0 23395907 299290624 36828 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3456.51 s
Current children cumulated vsize: 302204 KiB
Current children cumulated memory: 150004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/265 217777
/proc/meminfo: memFree=121380096/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=293308 memory=147292 CPUtime=3516.37 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 122459 0 0 0 351004 633 0 0 20 0 2 0 23395906 300347392 36823 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73327 36823 3969 46 0 45922 0
[pid=215742/tid=215743] ppid=215740 vsize=293308 memory=149076 CPUtime=3.31 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 192 0 0 0 135 196 0 0 20 0 2 0 23395907 300347392 36823 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3516.37 s
Current children cumulated vsize: 303236 KiB
Current children cumulated memory: 149984 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/265 217789
/proc/meminfo: memFree=121381628/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=293308 memory=147348 CPUtime=3576.29 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 123078 0 0 0 356986 643 0 0 20 0 2 0 23395906 300347392 36837 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73327 36837 3969 46 0 45922 0
[pid=215742/tid=215743] ppid=215740 vsize=293308 memory=2692 CPUtime=3.36 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 195 0 0 0 137 199 0 0 20 0 2 0 23395907 300347392 36837 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3576.29 s
Current children cumulated vsize: 303236 KiB
Current children cumulated memory: 150040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.11 s]
/proc/loadavg: 4.22 4.16 4.16 5/265 217793
/proc/meminfo: memFree=121381512/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=293308 memory=147348 CPUtime=3600.07 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 123647 0 0 0 359359 648 0 0 20 0 2 0 23395906 300347392 36837 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73327 36837 3969 46 0 45922 0
[pid=215742/tid=215743] ppid=215740 vsize=293308 memory=68600 CPUtime=3.39 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 197 0 0 0 138 201 0 0 20 0 2 0 23395907 300347392 36837 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 303236 KiB
Current children cumulated memory: 150040 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3606.11 s]
# the end of solver process 215740 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3593.6 s, system=6.49042 s

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

[startup+3606.11 s]
/proc/loadavg: 4.22 4.16 4.16 5/265 217793
/proc/meminfo: memFree=121381512/131524600 swapFree=131054968/131071996
[pid=215740] ppid=215737 vsize=9928 memory=2692 CPUtime=0 cores=1,3
/proc/215740/stat : 215740 (run-glibc-2.34.) S 215737 215740 213044 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 23395906 10166272 673 134679101440 94354455584768 94354456664088 140737109786752 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94354458762544 94354458809732 94354487996416 140737109795787 140737109795932 140737109795932 140737109802947 0
/proc/215740/statm: 2482 673 594 264 0 133 0
[pid=215742] ppid=215740 vsize=293308 memory=147348 CPUtime=3600.07 cores=1,3
/proc/215742/stat : 215742 (ld-linux-x86-64) R 215740 215740 213044 0 -1 4194304 123647 0 0 0 359359 648 0 0 20 0 2 0 23395906 300347392 36837 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
/proc/215742/statm: 73327 36837 3969 46 0 45922 0
[pid=215742/tid=215743] ppid=215740 vsize=293308 memory=68600 CPUtime=3.39 cores=1,3
/proc/215742/task/215743/stat : 215743 (ld-linux-x86-64) S 215740 215740 213044 0 -1 1077936192 197 0 0 0 138 201 0 0 20 0 2 0 23395907 300347392 36837 134679101440 140241796988928 140241797176540 140736678250672 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140241799277440 140241799286888 93825019281408 140736678257507 140736678257659 140736678257659 140736678264754 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 303236 KiB
Current children cumulated memory: 150040 KiB

Child status: 143

Real time (s): 3606.11
CPU time (s): 3600.09
CPU user time (s): 3593.6
CPU system time (s): 6.49042
CPU usage (%): 99.833
Max. virtual memory (cumulated for all children) (KiB): 303236
Max. memory (cumulated for all children) (KiB): 152024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.6
system time used= 6.49042
maximum resident set size= 149332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357055
involuntary context switches= 1974


# summary of solver processes directly reported to runsolver:
#   pid: 215740
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3593.6
#   total CPU system time (s): 6.49042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0193 second user time and 12.9729 second system time

The end

Begin job on nodeC028 at 2024-07-25 02:52:05
IDJOB=4458218
IDBENCH=177184
IDSOLVER=3056
FILE ID=nodeC028/4458218-1721868725
RUNJOBID= nodeC028-1721865114-213056
SLURM_JOB_ID= 8089181
Free space on /tmp= 889944 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458218-1721868725/watcher-4458218-1721868725 -o /tmp/evaluation-result-4458218-1721868725/solver-4458218-1721868725 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721865114-213056 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4458218-1721868725.opb

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

MD5SUM BENCH= 04cf70665d2adff71755d5c35c939249
RANDOM SEED=1364871685

nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.348
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3666.887
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.921
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3677.959
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.324
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3676.315
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.010
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3603.229
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121436024 kB
MemAvailable:   129305176 kB
Buffers:          283372 kB
Cached:          8371468 kB
SwapCached:          308 kB
Active:          2334748 kB
Inactive:        7068308 kB
Active(anon):       4484 kB
Inactive(anon):   795872 kB
Active(file):    2330264 kB
Inactive(file):  6272436 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054968 kB
Dirty:             41964 kB
Writeback:             0 kB
AnonPages:        741600 kB
Mapped:           111996 kB
Shmem:             52100 kB
KReclaimable:     212552 kB
Slab:             333576 kB
SReclaimable:     212552 kB
SUnreclaim:       121024 kB
KernelStack:        4224 kB
PageTables:        11440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1366724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:    591872 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:      443092 kB
DirectMap2M:    51759104 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 889904 MiB
End job on nodeC028 at 2024-07-25 03:52:11

Name	PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
MD5SUM	04cf70665d2adff71755d5c35c939249
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	0
Best CPU time to get the best result obtained on this benchmark	0.049018
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	640
Total number of constraints	940
Number of constraints which are clauses	600
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	340
Minimum length of a constraint	2
Maximum length of a constraint	5
Number of terms in the objective function	40
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	2097150
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2097150
Number of bits of the biggest sum of numbers	21
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 4458218

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data