0.00/0.01 c Filename:instance-4490374-1751379274.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.01 c Scip time: 1800
0.00/0.01 c Use Presolve
0.00/0.01 c Parse finsih
0.00/0.01 c Start Presolve
0.00/0.01 c After Reduce Vars: 120 Clauses: 90 Top clause weight: 2551 Hard Clauses: 10
438.98/440.88 c Use LS-small
438.98/440.88 c Use postsolve
438.98/440.88 o 0
438.98/440.88 s SATISFIABLE
438.98/440.88 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 x103 -x104 x105 -x106 x107 x108 -x109 x110 -x111 -x112 -x113 -x114 x115 x116 -x117 x118 x119 -x120
438.98/440.88 c Use postsolve
438.98/440.88 c Done 439.06s
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 (62397 MiB free)
memory of node 1: 64465 MiB (63530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490374-1751379274/watcher-4490374-1751379274 -o /tmp/evaluation-result-4490374-1751379274/solver-4490374-1751379274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751372045-54157 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4490374-1751379274.opb -t 3600 -s 2142580771
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=54944, runsolver pid=54941
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.15 4.10 5/265 54945
/proc/meminfo: memFree=128938648/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=35940 memory=25088 CPUtime=0.09 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 3711 0 0 0 9 0 0 0 20 0 1 0 53605007 36802560 6272 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 8985 6272 2848 2752 0 5638 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35940 KiB
Current children cumulated memory: 25088 KiB
[startup+0.205531 s]*
/proc/loadavg: 4.20 4.15 4.10 5/265 54945
/proc/meminfo: memFree=128928820/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=36072 memory=25600 CPUtime=0.19 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 3823 0 0 0 19 0 0 0 20 0 1 0 53605007 36937728 6400 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 9018 6400 2848 2752 0 5671 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36072 KiB
Current children cumulated memory: 25600 KiB
[startup+0.304918 s]*
/proc/loadavg: 4.20 4.15 4.10 5/265 54945
/proc/meminfo: memFree=128922772/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=36072 memory=25600 CPUtime=0.28 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 3823 0 0 0 28 0 0 0 20 0 1 0 53605007 36937728 6400 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 9018 6400 2848 2752 0 5671 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 36072 KiB
Current children cumulated memory: 25600 KiB
[startup+0.70015 s]
/proc/loadavg: 4.20 4.15 4.10 5/265 54945
/proc/meminfo: memFree=128922016/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=36072 memory=27008 CPUtime=0.67 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 4191 0 0 0 67 0 0 0 20 0 1 0 53605007 36937728 6752 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 9018 6752 2848 2752 0 5671 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 36072 KiB
Current children cumulated memory: 27008 KiB
[startup+1.50015 s]
/proc/loadavg: 4.20 4.15 4.10 5/265 54945
/proc/meminfo: memFree=128920252/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=38980 memory=29312 CPUtime=1.47 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 4769 0 0 0 147 0 0 0 20 0 1 0 53605007 39915520 7328 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 9745 7328 2848 2752 0 6398 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38980 KiB
Current children cumulated memory: 29312 KiB
[startup+3.1052 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 54945
/proc/meminfo: memFree=128833772/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=43984 memory=35200 CPUtime=3.08 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 5950 0 0 0 307 1 0 0 20 0 1 0 53605007 45039616 8800 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 10996 8800 3168 2752 0 7649 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43984 KiB
Current children cumulated memory: 35200 KiB
[startup+6.30012 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 54945
/proc/meminfo: memFree=128807172/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=49416 memory=40628 CPUtime=6.26 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 7392 0 0 0 625 1 0 0 20 0 1 0 53605007 50601984 10157 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 12354 10157 3168 2752 0 9007 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49416 KiB
Current children cumulated memory: 40628 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 54945
/proc/meminfo: memFree=128766852/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=52420 memory=44468 CPUtime=12.63 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 8358 0 0 0 1262 1 0 0 20 0 1 0 53605007 53678080 11117 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 13105 11117 3168 2752 0 9758 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 52420 KiB
Current children cumulated memory: 44468 KiB
[startup+25.5001 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 54945
/proc/meminfo: memFree=128713868/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=67376 memory=58548 CPUtime=25.39 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 11879 0 0 0 2537 2 0 0 20 0 1 0 53605007 68993024 14637 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 16844 14637 3168 2752 0 13497 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 67376 KiB
Current children cumulated memory: 58548 KiB
[startup+51.1043 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 54946
/proc/meminfo: memFree=128620524/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=90680 memory=83892 CPUtime=50.89 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 18232 0 0 0 5086 3 0 0 20 0 1 0 53605007 92856320 20973 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 22670 20973 3168 2752 0 19323 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 90680 KiB
Current children cumulated memory: 83892 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 54948
/proc/meminfo: memFree=128442860/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=114156 memory=104756 CPUtime=101.87 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 23456 0 0 0 10183 4 0 0 20 0 1 0 53605007 116895744 26189 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 28539 26189 3168 2752 0 25192 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 114156 KiB
Current children cumulated memory: 104756 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 54950
/proc/meminfo: memFree=128332548/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=117412 memory=108468 CPUtime=161.63 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 24375 0 0 0 16159 4 0 0 20 0 1 0 53605007 120229888 27117 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 29353 27117 3168 2752 0 26006 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 108468 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 54957
/proc/meminfo: memFree=128244236/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=117412 memory=108724 CPUtime=221.38 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 24444 0 0 0 22134 4 0 0 20 0 1 0 53605007 120229888 27181 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 29353 27181 3168 2752 0 26006 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 108724 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 54959
/proc/meminfo: memFree=128150412/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=118376 memory=109620 CPUtime=281.14 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 24693 0 0 0 28109 5 0 0 20 0 1 0 53605007 121217024 27405 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 29594 27405 3168 2752 0 26247 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 118376 KiB
Current children cumulated memory: 109620 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 54961
/proc/meminfo: memFree=128112736/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=340.89 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 34084 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 54963
/proc/meminfo: memFree=127962692/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=400.64 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 40059 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+440.889 s]
# the end of solver process 54944 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=439.018 s, system=0.056476 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 54964
/proc/meminfo: memFree=127940072/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=407.91 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 40786 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 407.91 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+422.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 54965
/proc/meminfo: memFree=127932160/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=420.66 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 42061 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 420.66 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+428.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 54965
/proc/meminfo: memFree=127918528/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=427.03 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 42698 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 427.03 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+435.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 54965
/proc/meminfo: memFree=127916820/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=433.4 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 43335 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 433.4 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+438.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 54965
/proc/meminfo: memFree=127916820/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=436.59 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 43654 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 436.59 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+440 s]*
/proc/loadavg: 4.10 4.10 4.09 5/265 54965
/proc/meminfo: memFree=127916820/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=438.19 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 43814 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 438.19 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+440.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 54965
/proc/meminfo: memFree=127916820/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=438.58 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 43853 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 438.58 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
[startup+440.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 54965
/proc/meminfo: memFree=127916820/131249988 swapFree=33010684/33010684
[pid=54944] ppid=54941 vsize=120992 memory=111540 CPUtime=438.98 cores=5,7
/proc/54944/stat : 54944 (NuPBO-DeepOptS+) R 54941 54944 54144 0 -1 4194304 25217 0 0 0 43893 5 0 0 20 0 1 0 53605007 123895808 27885 18446744073709551615 4198400 15468185 140722000399712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28102656 140722000406934 140722000407044 140722000407044 140722000412646 0
/proc/54944/statm: 30248 27885 3168 2752 0 26901 0
Current children cumulated CPU time: 438.98 s
Current children cumulated vsize: 120992 KiB
Current children cumulated memory: 111540 KiB
Child status: 0
Real time (s): 440.889
CPU time (s): 439.075
CPU user time (s): 439.018
CPU system time (s): 0.056476
CPU usage (%): 99.5885
Max. virtual memory (cumulated for all children) (KiB): 120992
Max. memory (cumulated for all children) (KiB): 111540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.018
system time used= 0.056476
maximum resident set size= 111540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25219
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= 2
involuntary context switches= 287
# summary of solver processes directly reported to runsolver:
# pid: 54944
# total CPU time (s): 439.075
# total CPU user time (s): 439.018
# total CPU system time (s): 0.056476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.765047 second user time and 1.34587 second system time
The end
Begin job on nodeC020 at 2025-07-01 16:14:34
IDJOB=4490374
IDBENCH=147585
IDSOLVER=3343
FILE ID=nodeC020/4490374-1751379274
RUNJOBID= nodeC020-1751372045-54157
SLURM_JOB_ID= 9598200
Free space on /tmp= 432892 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490374-1751379274/watcher-4490374-1751379274 -o /tmp/evaluation-result-4490374-1751379274/solver-4490374-1751379274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751372045-54157 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4490374-1751379274.opb -t 3600 -s 2142580771
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8470a83b0b0d2a815a3f0ab26202dcb
RANDOM SEED=2142580771
nodeC020 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.892
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.79
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 : 3599.884
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.79
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.138
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.79
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 : 3601.289
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.79
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.895
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.79
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 : 3597.663
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.79
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 : 3700.000
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.79
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 : 3599.898
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128950444 kB
MemAvailable: 129470572 kB
Buffers: 3280 kB
Cached: 1324200 kB
SwapCached: 0 kB
Active: 629824 kB
Inactive: 1015784 kB
Active(anon): 336188 kB
Inactive(anon): 0 kB
Active(file): 293636 kB
Inactive(file): 1015784 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69056 kB
Writeback: 0 kB
AnonPages: 321276 kB
Mapped: 136384 kB
Shmem: 18056 kB
KReclaimable: 99896 kB
Slab: 187632 kB
SReclaimable: 99896 kB
SUnreclaim: 87736 kB
KernelStack: 4320 kB
PageTables: 3704 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 700368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 188416 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432876 MiB
End job on nodeC020 at 2025-07-01 16:21:55