PB'25 competition competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02	SAT	122	2539.63	2545.63

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: 63708 MiB (62355 MiB free)
  memory of node 1: 64465 MiB (63816 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502583-1751436885/watcher-4502583-1751436885 -o /tmp/evaluation-result-4502583-1751436885/solver-4502583-1751436885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751436885-63187 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4502583-1751436885.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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.el
Current StackSize limit: 8192 KiB

solver pid=63232, runsolver pid=63224

[startup+0.10006 s]*
/proc/loadavg: 1.50 3.37 3.85 5/273 63258
/proc/meminfo: memFree=129184340/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=31020 memory=22272 CPUtime=0.06 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 3014 0 0 0 6 0 0 0 20 0 1 0 59365973 31764480 5568 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 7755 5568 2816 2752 0 4408 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 26624 KiB

[startup+0.205794 s]*
/proc/loadavg: 1.50 3.37 3.85 5/273 63258
/proc/meminfo: memFree=129161612/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=33408 memory=24448 CPUtime=0.16 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 3552 0 0 0 16 0 0 0 20 0 1 0 59365973 34209792 6112 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 8352 6112 2816 2752 0 5005 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 40392 KiB
Current children cumulated memory: 28800 KiB

[startup+0.30564 s]*
/proc/loadavg: 1.50 3.37 3.85 5/273 63258
/proc/meminfo: memFree=129141828/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=36624 memory=27392 CPUtime=0.26 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 4280 0 0 0 26 0 0 0 20 0 1 0 59365973 37502976 6848 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 9156 6848 2816 2752 0 5809 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 31744 KiB

[startup+0.700242 s]
/proc/loadavg: 1.50 3.37 3.85 5/273 63258
/proc/meminfo: memFree=129090100/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=52896 memory=41856 CPUtime=0.65 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 7898 0 0 0 64 1 0 0 20 0 1 0 59365973 54165504 10464 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 13224 10464 2816 2752 0 9877 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 59880 KiB
Current children cumulated memory: 46208 KiB

[startup+1.50023 s]
/proc/loadavg: 1.50 3.37 3.85 5/273 63258
/proc/meminfo: memFree=129033584/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=55932 memory=44868 CPUtime=1.44 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 9683 0 0 0 143 1 0 0 20 0 1 0 59365973 57274368 11217 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 13983 11217 2816 2752 0 10636 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 62916 KiB
Current children cumulated memory: 49220 KiB

[startup+3.10551 s]
/proc/loadavg: 1.50 3.37 3.85 5/273 63258
/proc/meminfo: memFree=128494092/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=73424 memory=62276 CPUtime=3.05 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 14008 0 0 0 302 3 0 0 20 0 1 0 59365973 75186176 15569 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 18356 15569 2848 2752 0 15009 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 80408 KiB
Current children cumulated memory: 66628 KiB

[startup+6.30018 s]
/proc/loadavg: 1.70 3.38 3.85 5/271 63258
/proc/meminfo: memFree=127970084/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=78140 memory=67292 CPUtime=6.23 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 15493 0 0 0 620 3 0 0 20 0 1 0 59365973 80015360 16823 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 19535 16823 2848 2752 0 16188 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 85124 KiB
Current children cumulated memory: 71644 KiB

[startup+12.7002 s]
/proc/loadavg: 1.89 3.39 3.85 5/271 63258
/proc/meminfo: memFree=127029092/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=107392 memory=96880 CPUtime=12.6 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 23253 0 0 0 1256 4 0 0 20 0 1 0 59365973 109969408 24220 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 26848 24220 3168 2752 0 23501 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 114376 KiB
Current children cumulated memory: 101232 KiB

[startup+25.5002 s]
/proc/loadavg: 2.36 3.42 3.85 5/271 63258
/proc/meminfo: memFree=126537752/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=123132 memory=112624 CPUtime=25.36 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 27195 0 0 0 2531 5 0 0 20 0 1 0 59365973 126087168 28156 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 30783 28156 3168 2752 0 27436 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 130116 KiB
Current children cumulated memory: 116976 KiB

[startup+51.1056 s]
/proc/loadavg: 2.92 3.47 3.86 5/271 63259
/proc/meminfo: memFree=126203868/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63244/stat : 63244 (timeout) S 63232 63244 62332 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 94851799355392 94851799371905 140734248730912 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94851799386672 94851799388760 94851810787328 140734248737200 140734248737314 140734248737314 140734248742887 0
/proc/63244/statm: 665 320 320 5 0 90 0
[pid=63248] ppid=63244 vsize=147592 memory=135152 CPUtime=50.86 cores=0,2
/proc/63248/stat : 63248 (NuPBO-DeepOptS+) R 63244 63244 62332 0 -1 4194304 32826 0 0 0 5080 6 0 0 20 0 1 0 59365973 151134208 33788 18446744073709551615 4198400 15468185 140735691481104 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52969472 140735691487676 140735691487777 140735691487777 140735691493350 0
/proc/63248/statm: 36898 33788 3168 2752 0 33551 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 154576 KiB
Current children cumulated memory: 139504 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 3.57 3.87 5/272 63262
/proc/meminfo: memFree=126007332/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63244] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=87360 memory=54172 CPUtime=44.11 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 6666 0 0 0 4368 43 0 0 20 0 1 0 59605774 89456640 13543 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 21840 13543 1888 2271 0 16478 0
Current children cumulated CPU time: 2436.6 s
Current children cumulated vsize: 94344 KiB
Current children cumulated memory: 58524 KiB

[startup+2502.3 s]
/proc/loadavg: 3.35 3.87 4.00 4/263 63420
/proc/meminfo: memFree=127862692/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=88724 memory=55452 CPUtime=103.93 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7033 0 0 0 10286 107 0 0 20 0 1 0 59605774 90853376 13863 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 22181 13863 1888 2271 0 16819 0
Current children cumulated CPU time: 2496.42 s
Current children cumulated vsize: 95708 KiB
Current children cumulated memory: 59804 KiB

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

# cumulated CPU time of all completed processes:  user=2538.03 s, system=1.59803 s

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

[startup+2508.8 s]
/proc/loadavg: 3.32 3.85 4.00 4/263 63420
/proc/meminfo: memFree=127831472/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=89108 memory=55708 CPUtime=110.41 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7097 0 0 0 10927 114 0 0 20 0 1 0 59605774 91246592 13927 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 22277 13927 1888 2271 0 16915 0
Current children cumulated CPU time: 2502.9 s
Current children cumulated vsize: 96092 KiB
Current children cumulated memory: 60060 KiB

[startup+2521.6 s]
/proc/loadavg: 3.25 3.81 3.98 4/263 63420
/proc/meminfo: memFree=127757620/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=89108 memory=55708 CPUtime=123.17 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7098 0 0 0 12189 128 0 0 20 0 1 0 59605774 91246592 13927 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 22277 13927 1888 2271 0 16915 0
Current children cumulated CPU time: 2515.66 s
Current children cumulated vsize: 96092 KiB
Current children cumulated memory: 60060 KiB

[startup+2534.4 s]
/proc/loadavg: 3.28 3.80 3.97 4/263 63420
/proc/meminfo: memFree=127663264/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=90052 memory=58564 CPUtime=135.93 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7322 0 0 0 13453 140 0 0 20 0 1 0 59605774 92213248 14641 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 22513 14641 1888 2271 0 17151 0
Current children cumulated CPU time: 2528.42 s
Current children cumulated vsize: 97036 KiB
Current children cumulated memory: 62916 KiB

[startup+2540.8 s]
/proc/loadavg: 3.24 3.77 3.96 4/263 63420
/proc/meminfo: memFree=127628316/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=90052 memory=58564 CPUtime=142.32 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7322 0 0 0 14086 146 0 0 20 0 1 0 59605774 92213248 14641 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 22513 14641 1888 2271 0 17151 0
Current children cumulated CPU time: 2534.81 s
Current children cumulated vsize: 97036 KiB
Current children cumulated memory: 62916 KiB

[startup+2544 s]*
/proc/loadavg: 3.24 3.77 3.96 4/263 63421
/proc/meminfo: memFree=127634572/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=92708 memory=60356 CPUtime=145.51 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7762 0 0 0 14403 148 0 0 20 0 1 0 59605774 94932992 15089 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 23177 15089 1888 2271 0 17815 0
Current children cumulated CPU time: 2538 s
Current children cumulated vsize: 99692 KiB
Current children cumulated memory: 64708 KiB

[startup+2544.8 s]
/proc/loadavg: 3.24 3.77 3.96 4/263 63421
/proc/meminfo: memFree=127634572/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=92708 memory=60356 CPUtime=146.31 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7762 0 0 0 14482 149 0 0 20 0 1 0 59605774 94932992 15089 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 23177 15089 1888 2271 0 17815 0
Current children cumulated CPU time: 2538.8 s
Current children cumulated vsize: 99692 KiB
Current children cumulated memory: 64708 KiB

[startup+2545.2 s]
/proc/loadavg: 3.22 3.76 3.96 4/263 63421
/proc/meminfo: memFree=127626340/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2392.49 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 282 36821 0 0 0 0 239242 7 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
[pid=63363] ppid=63232 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/63363/stat : 63363 (timeout) S 63232 63363 62332 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 320 18446744073709551615 94583148752896 94583148769409 140720564163712 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94583148784176 94583148786264 94583181004800 140720564169091 140720564169250 140720564169250 140720564174823 0
/proc/63363/statm: 665 320 320 5 0 90 0
[pid=63365] ppid=63363 vsize=92708 memory=60356 CPUtime=146.71 cores=0,2
/proc/63365/stat : 63365 (ExactPR-nols) R 63363 63363 62332 0 -1 4194304 7762 0 0 0 14521 150 0 0 20 0 1 0 59605774 94932992 15089 18446744073709551615 94191349542912 94191358842565 140725132434240 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94191360629056 94191360668136 94191382917120 140725132442008 140725132442148 140725132442148 140725132447721 0
/proc/63365/statm: 23177 15089 1888 2271 0 17815 0
Current children cumulated CPU time: 2539.2 s
Current children cumulated vsize: 99692 KiB
Current children cumulated memory: 64708 KiB

[startup+2545.6 s]
/proc/loadavg: 3.22 3.76 3.96 4/263 63421
/proc/meminfo: memFree=127626340/131249996 swapFree=33006296/33010684
[pid=63232] ppid=63224 vsize=4324 memory=3072 CPUtime=2539.6 cores=0,2
/proc/63232/stat : 63232 (Hybrid-NuPBODee) S 63224 63232 62332 0 -1 4194304 329 45054 0 0 0 0 253802 158 20 0 1 0 59365969 4427776 768 18446744073709551615 94747780562944 94747781457477 140729498382768 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94747781696528 94747781744272 94747804901376 140729498384731 140729498384883 140729498384883 140729498390485 0
/proc/63232/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2539.6 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2545.63
CPU time (s): 2539.63
CPU user time (s): 2538.03
CPU system time (s): 1.59803
CPU usage (%): 99.7643
Max. virtual memory (cumulated for all children) (KiB): 170064
Max. memory (cumulated for all children) (KiB): 154352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2538.03
system time used= 1.59803
maximum resident set size= 150000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1048
involuntary context switches= 3298


# summary of solver processes directly reported to runsolver:
#   pid: 63232
#   total CPU time (s): 2539.63
#   total CPU user time (s): 2538.03
#   total CPU system time (s): 1.59803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.1971 second user time and 8.85895 second system time

The end

Begin job on nodeC015 at 2025-07-02 08:14:45
IDJOB=4502583
IDBENCH=155354
IDSOLVER=3332
FILE ID=nodeC015/4502583-1751436885
RUNJOBID= nodeC015-1751436885-63187
SLURM_JOB_ID= 9598367
Free space on /tmp= 432372 MiB

SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502583-1751436885/watcher-4502583-1751436885 -o /tmp/evaluation-result-4502583-1751436885/solver-4502583-1751436885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751436885-63187 --watchdog 3760  ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4502583-1751436885.opb 3600 HOME

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

MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=316521602

nodeC015 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		: 3600.105
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	: 7000.14
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		: 3600.313
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	: 7000.14
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		: 3603.000
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	: 7000.14
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		: 3600.088
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	: 7000.14
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		: 3600.081
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	: 7000.14
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		: 3600.039
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	: 7000.14
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		: 3602.690
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	: 7000.14
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		: 3589.881
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129200532 kB
MemAvailable:   129751212 kB
Buffers:            1508 kB
Cached:          1335364 kB
SwapCached:         3880 kB
Active:           320344 kB
Inactive:        1097584 kB
Active(anon):      46344 kB
Inactive(anon):    48864 kB
Active(file):     274000 kB
Inactive(file):  1048720 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            115344 kB
Writeback:             0 kB
AnonPages:         80236 kB
Mapped:            99888 kB
Shmem:             14152 kB
KReclaimable:     134400 kB
Slab:             224136 kB
SReclaimable:     134400 kB
SUnreclaim:        89736 kB
KernelStack:        4052 kB
PageTables:         2556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     342140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432284 MiB
End job on nodeC015 at 2025-07-02 08:57:11

Name	PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-538867.opb
MD5SUM	fe13d2dbd64f41a692445fbdcafba3bd
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	122
Best CPU time to get the best result obtained on this benchmark	28.2274
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	792
Total number of constraints	1170
Number of constraints which are clauses	1143
Number of constraints which are cardinality constraints (but not clauses)	27
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	18
Number of terms in the objective function	666
Biggest coefficient in the objective function	80
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	18684
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	80
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	18684
Number of bits of the biggest sum of numbers	15
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 4502583

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