PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
NaPS naps-1.03a6	OPT	24890	2345.6	2351.9

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: 63665 MiB (62436 MiB free)
  memory of node 1: 64507 MiB (64003 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497046-1751389956/watcher-4497046-1751389956 -o /tmp/evaluation-result-4497046-1751389956/solver-4497046-1751389956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51547 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4497046-1751389956.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=52181, runsolver pid=52178

[startup+0.10006 s]*
/proc/loadavg: 4.11 4.11 4.09 4/264 52189
/proc/meminfo: memFree=129458928/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=12960 memory=11648 CPUtime=0.07 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 2458 0 0 0 7 0 0 0 20 0 1 0 54675520 13271040 2912 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 3240 2912 576 696 0 2401 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 17152 KiB
Current children cumulated memory: 14592 KiB

[startup+0.205695 s]*
/proc/loadavg: 4.11 4.11 4.09 4/264 52189
/proc/meminfo: memFree=129446780/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=25940 memory=24460 CPUtime=0.17 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 5915 0 0 0 17 0 0 0 20 0 1 0 54675520 26562560 6115 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 6485 6115 576 696 0 5646 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 30132 KiB
Current children cumulated memory: 27404 KiB

[startup+0.305795 s]*
/proc/loadavg: 4.11 4.11 4.09 4/264 52189
/proc/meminfo: memFree=129423092/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=37256 memory=35724 CPUtime=0.27 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 8733 0 0 0 27 0 0 0 20 0 1 0 54675520 38150144 8931 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 9314 8931 576 696 0 8475 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 41448 KiB
Current children cumulated memory: 38668 KiB

[startup+0.700207 s]
/proc/loadavg: 4.11 4.11 4.09 4/264 52189
/proc/meminfo: memFree=129325552/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=83608 memory=82044 CPUtime=0.66 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 20278 0 0 0 63 3 0 0 20 0 1 0 54675520 85614592 20511 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 20902 20511 576 696 0 20063 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 87800 KiB
Current children cumulated memory: 84988 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.11 4.09 4/263 52212
/proc/meminfo: memFree=129264732/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=175740 memory=173836 CPUtime=1.46 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 42490 0 0 0 140 6 0 0 20 0 1 0 54675520 179957760 43427 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 43935 43459 576 696 0 43096 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 179932 KiB
Current children cumulated memory: 176780 KiB

[startup+3.10587 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 52229
/proc/meminfo: memFree=128710116/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=320596 memory=313992 CPUtime=3.06 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 68744 0 0 0 294 12 0 0 20 0 1 0 54675520 328290304 78498 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 80149 78498 608 696 0 79310 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 324788 KiB
Current children cumulated memory: 316936 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 52229
/proc/meminfo: memFree=128670888/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=335096 memory=331152 CPUtime=6.24 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 71230 0 0 0 610 14 0 0 20 0 1 0 54675520 343138304 82788 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 83774 82788 608 696 0 82935 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 339288 KiB
Current children cumulated memory: 334096 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 52277
/proc/meminfo: memFree=128585624/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=335096 memory=331152 CPUtime=12.62 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 71274 0 0 0 1248 14 0 0 20 0 1 0 54675520 343138304 82788 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 83774 82788 608 696 0 82935 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 339288 KiB
Current children cumulated memory: 334096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 52277
/proc/meminfo: memFree=128677876/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=346528 memory=342480 CPUtime=25.38 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 71570 0 0 0 2524 14 0 0 20 0 1 0 54675520 354844672 85620 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 86632 85620 608 696 0 85793 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 350720 KiB
Current children cumulated memory: 345424 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 52278
/proc/meminfo: memFree=128665368/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=355948 memory=336524 CPUtime=50.91 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 72829 0 0 0 5076 15 0 0 20 0 1 0 54675520 364490752 84131 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 88987 84131 608 696 0 88148 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 360140 KiB
Current children cumulated memory: 339468 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 52284
/proc/meminfo: memFree=128694384/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=356180 memory=338812 CPUtime=101.95 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 72928 0 0 0 10180 15 0 0 20 0 1 0 54675520 364728320 84703 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 89045 84703 608 696 0 88206 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 360372 KiB
Current children cumulated memory: 341756 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 52286
/proc/meminfo: memFree=128671800/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=376060 memory=360716 CPUtime=161.78 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 73862 0 0 0 16162 16 0 0 20 0 1 0 54675520 385085440 90179 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 94015 90179 608 696 0 93176 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 380252 KiB
Current children cumulated memory: 363660 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 52288
/proc/meminfo: memFree=128651784/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=360684 memory=345484 CPUtime=221.61 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 75783 0 0 0 22143 18 0 0 20 0 1 0 54675520 369340416 86371 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 90171 86371 608 696 0 89332 0
Current children cumulated CPU time: 221.61 s

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

/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 123723 0 0 0 207599 70 0 0 20 0 1 0 54675520 638115840 141546 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 155790 141546 608 696 0 154951 0
Current children cumulated CPU time: 2076.69 s
Current children cumulated vsize: 627352 KiB
Current children cumulated memory: 569128 KiB

[startup+2142.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 52422
/proc/meminfo: memFree=127753688/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=667092 memory=612052 CPUtime=2136.54 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 124031 0 0 0 213583 71 0 0 20 0 1 0 54675520 683102208 153013 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 166773 153013 608 696 0 165934 0
Current children cumulated CPU time: 2136.54 s
Current children cumulated vsize: 671284 KiB
Current children cumulated memory: 614996 KiB

[startup+2202.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 52424
/proc/meminfo: memFree=127752888/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=665056 memory=610016 CPUtime=2196.38 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 124355 0 0 0 219566 72 0 0 20 0 1 0 54675520 681017344 152504 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 166264 152504 608 696 0 165425 0
Current children cumulated CPU time: 2196.38 s
Current children cumulated vsize: 669248 KiB
Current children cumulated memory: 612960 KiB

[startup+2262.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 52426
/proc/meminfo: memFree=127761308/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=664336 memory=611344 CPUtime=2256.23 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 124994 0 0 0 225550 73 0 0 20 0 1 0 54675520 680280064 152836 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 166084 152836 608 696 0 165245 0
Current children cumulated CPU time: 2256.23 s
Current children cumulated vsize: 668528 KiB
Current children cumulated memory: 614288 KiB

[startup+2322.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 52428
/proc/meminfo: memFree=127786344/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=623160 memory=570280 CPUtime=2316.07 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125080 0 0 0 231534 73 0 0 20 0 1 0 54675520 638115840 142570 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 155790 142570 608 696 0 154951 0
Current children cumulated CPU time: 2316.07 s
Current children cumulated vsize: 627352 KiB
Current children cumulated memory: 573224 KiB

[startup+2351.9 s]
# the end of solver process 52181 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2344.86 s, system=0.743643 s

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

[startup+2329.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 52429
/proc/meminfo: memFree=127782792/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=623160 memory=570280 CPUtime=2323.35 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125080 0 0 0 232262 73 0 0 20 0 1 0 54675520 638115840 142570 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 155790 142570 608 696 0 154951 0
Current children cumulated CPU time: 2323.35 s
Current children cumulated vsize: 627352 KiB
Current children cumulated memory: 573224 KiB

[startup+2342.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 52429
/proc/meminfo: memFree=127762628/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=663168 memory=610240 CPUtime=2336.11 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125376 0 0 0 233538 73 0 0 20 0 1 0 54675520 679084032 152560 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 165792 152560 608 696 0 164953 0
Current children cumulated CPU time: 2336.11 s
Current children cumulated vsize: 667360 KiB
Current children cumulated memory: 613184 KiB

[startup+2348.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 52429
/proc/meminfo: memFree=127762628/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=663168 memory=610240 CPUtime=2342.5 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125376 0 0 0 234177 73 0 0 20 0 1 0 54675520 679084032 152560 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 165792 152560 608 696 0 164953 0
Current children cumulated CPU time: 2342.5 s
Current children cumulated vsize: 667360 KiB
Current children cumulated memory: 613184 KiB

[startup+2350.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 52429
/proc/meminfo: memFree=127762628/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=663168 memory=610240 CPUtime=2344.09 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125376 0 0 0 234336 73 0 0 20 0 1 0 54675520 679084032 152560 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 165792 152560 608 696 0 164953 0
Current children cumulated CPU time: 2344.09 s
Current children cumulated vsize: 667360 KiB
Current children cumulated memory: 613184 KiB

[startup+2351.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 52429
/proc/meminfo: memFree=127760580/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=663168 memory=610240 CPUtime=2344.89 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125376 0 0 0 234416 73 0 0 20 0 1 0 54675520 679084032 152560 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 165792 152560 608 696 0 164953 0
Current children cumulated CPU time: 2344.89 s
Current children cumulated vsize: 667360 KiB
Current children cumulated memory: 613184 KiB

[startup+2351.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 52429
/proc/meminfo: memFree=127760580/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=623620 memory=572544 CPUtime=2345.29 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125461 0 0 0 234456 73 0 0 20 0 1 0 54675520 638586880 143136 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 155905 143136 608 696 0 155066 0
Current children cumulated CPU time: 2345.29 s
Current children cumulated vsize: 627812 KiB
Current children cumulated memory: 575488 KiB

[startup+2351.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 52429
/proc/meminfo: memFree=127760580/131250000 swapFree=33010416/33010684
[pid=52181] ppid=52178 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/52181/stat : 52181 (naps-1.03a6.sh) S 52178 52181 51532 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 54675518 4292608 736 18446744073709551615 94370751496192 94370752390725 140722909833408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94370752629776 94370752677520 94370783490048 140722909841831 140722909841925 140722909841925 140722909847527 0
/proc/52181/statm: 1048 736 672 219 0 110 0
[pid=52189] ppid=52181 vsize=611696 memory=561072 CPUtime=2345.49 cores=1,3
/proc/52189/stat : 52189 (naps-1.03a6) R 52181 52181 51532 0 -1 4194304 125461 0 0 0 234476 73 0 0 20 0 1 0 54675520 626376704 140268 18446744073709551615 4198400 7047149 140723309041488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10485760 140723309046132 140723309046246 140723309046246 140723309051849 0
/proc/52189/statm: 152924 140268 608 696 0 152085 0
Current children cumulated CPU time: 2345.49 s
Current children cumulated vsize: 615888 KiB
Current children cumulated memory: 564016 KiB

Child status: 30

Real time (s): 2351.9
CPU time (s): 2345.6
CPU user time (s): 2344.86
CPU system time (s): 0.743643
CPU usage (%): 99.7323
Max. virtual memory (cumulated for all children) (KiB): 719008
Max. memory (cumulated for all children) (KiB): 686140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2344.86
system time used= 0.743643
maximum resident set size= 683196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125908
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= 185
involuntary context switches= 979


# summary of solver processes directly reported to runsolver:
#   pid: 52181
#   total CPU time (s): 2345.6
#   total CPU user time (s): 2344.86
#   total CPU system time (s): 0.743643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38525 second user time and 11.2114 second system time

The end

Begin job on nodeC027 at 2025-07-01 19:12:36
IDJOB=4497046
IDBENCH=148152
IDSOLVER=3341
FILE ID=nodeC027/4497046-1751389956
RUNJOBID= nodeC027-1751386340-51547
SLURM_JOB_ID= 9598245
Free space on /tmp= 433044 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497046-1751389956/watcher-4497046-1751389956 -o /tmp/evaluation-result-4497046-1751389956/solver-4497046-1751389956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51547 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4497046-1751389956.opb

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

MD5SUM BENCH= fcd18fcc34c15065587272921fbfa877
RANDOM SEED=1583904336

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.600
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3649.387
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3600.208
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3599.632
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3599.904
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3599.631
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3508.872
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3598.323
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128450100 kB
MemAvailable:   128154892 kB
Buffers:            2488 kB
Cached:           507088 kB
SwapCached:           12 kB
Active:          1990068 kB
Inactive:         205368 kB
Active(anon):    1701132 kB
Inactive(anon):     2792 kB
Active(file):     288936 kB
Inactive(file):   202576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17064 kB
Writeback:             0 kB
AnonPages:       1688540 kB
Mapped:           111260 kB
Shmem:             18056 kB
KReclaimable:     104636 kB
Slab:             192144 kB
SReclaimable:     104636 kB
SUnreclaim:        87508 kB
KernelStack:        4304 kB
PageTables:         6168 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2131956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1253376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC027 at 2025-07-01 19:51:48

Name	PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
MD5SUM	fcd18fcc34c15065587272921fbfa877
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	24890
Best CPU time to get the best result obtained on this benchmark	0.025757
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	644
Total number of constraints	1034
Number of constraints which are clauses	1034
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	1
Maximum length of a constraint	31
Number of terms in the objective function	353
Biggest coefficient in the objective function	2034
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	561307
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	2034
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	561307
Number of bits of the biggest sum of numbers	20
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 4497046

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