0.00/0.04 c RoundingSat 2
0.00/0.04 c branch
0.00/0.04 c commit
0.00/0.04 c [STEP] parsing instance
2.44/2.52 c [STEP] solving
2.44/2.52 c #variables 399113 #constraints 400980
2.44/2.53 c SMALL=int, LARGE=long long
2.44/2.55 c bounds - >= -174841973 @ 2.04065
2.44/2.55 c stratification level: 128
340.20/341.28 c bounds - >= -1981045 @ 163.918
340.20/341.28 c bounds - >= -1980021 @ 164.84
340.20/341.28 c bounds - >= -1978997 @ 164.896
340.20/341.28 c bounds - >= -1977973 @ 164.942
340.20/341.28 c bounds - >= -1976949 @ 164.996
340.20/341.28 c bounds - >= -1975925 @ 165.079
340.20/341.28 c bounds - >= -1974901 @ 165.136
340.20/341.28 c bounds - >= -1973877 @ 165.212
340.20/341.28 c bounds - >= -1961653 @ 165.269
340.20/341.28 c bounds - >= -1960629 @ 165.324
340.20/341.28 c bounds - >= -1959605 @ 165.398
340.20/341.28 c bounds - >= -1958581 @ 165.455
340.20/341.28 c bounds - >= -1957557 @ 165.872
340.20/341.28 c bounds - >= -1956533 @ 165.962
340.20/341.28 c bounds - >= -1955509 @ 166.329
340.20/341.28 c bounds - >= -1954485 @ 166.394
340.20/341.28 c bounds - >= -1953461 @ 167.158
340.20/341.28 c #Conflicts: 1000 | #Constraints: 403844
340.20/341.28 c bounds - >= -1952437 @ 167.944
340.20/341.28 c bounds - >= -1951413 @ 169.102
340.20/341.28 c bounds - >= -1950389 @ 169.822
340.20/341.28 c #Conflicts: 2000 | #Constraints: 404847
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c bounds - >= -1949365 @ 171.495
340.20/341.28 c #Conflicts: 3000 | #Constraints: 396217
340.20/341.28 c bounds - >= -1948341 @ 172.986
340.20/341.28 c bounds - >= -1947317 @ 174.148
340.20/341.28 c bounds - >= -1946293 @ 175.119
340.20/341.28 c #Conflicts: 4000 | #Constraints: 397220
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c bounds - >= -1945269 @ 177.3
340.20/341.28 c #Conflicts: 5000 | #Constraints: 396678
340.20/341.28 c bounds - >= -1944245 @ 179.236
340.20/341.28 c #Conflicts: 6000 | #Constraints: 397679
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 7000 | #Constraints: 396735
340.20/341.28 c bounds - >= -1943221 @ 183.269
340.20/341.28 c bounds - >= -1942197 @ 184.931
340.20/341.28 c #Conflicts: 8000 | #Constraints: 397737
340.20/341.28 c bounds - >= -1941173 @ 185.472
340.20/341.28 c bounds - >= -1940149 @ 186.89
340.20/341.28 c bounds - >= -1939125 @ 188.503
340.20/341.28 c bounds - >= -1938101 @ 189.565
340.20/341.28 c #Conflicts: 9000 | #Constraints: 398741
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c bounds - >= -1937077 @ 191.808
340.20/341.28 c #Conflicts: 10000 | #Constraints: 397489
340.20/341.28 c #Conflicts: 11000 | #Constraints: 398489
340.20/341.28 c #Conflicts: 12000 | #Constraints: 399489
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 13000 | #Constraints: 397976
340.20/341.28 c #Conflicts: 14000 | #Constraints: 398976
340.20/341.28 c bounds - >= -1936053 @ 203.07
340.20/341.28 c #Conflicts: 15000 | #Constraints: 399977
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 16000 | #Constraints: 398210
340.20/341.28 c #Conflicts: 17000 | #Constraints: 399210
340.20/341.28 c #Conflicts: 18000 | #Constraints: 400210
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 19000 | #Constraints: 398243
340.20/341.28 c #Conflicts: 20000 | #Constraints: 399243
340.20/341.28 c bounds - >= -1935029 @ 219.69
340.20/341.28 c bounds - >= -1934005 @ 222.451
340.20/341.28 c #Conflicts: 21000 | #Constraints: 400245
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 22000 | #Constraints: 398070
340.20/341.28 c #Conflicts: 23000 | #Constraints: 399070
340.20/341.28 c #Conflicts: 24000 | #Constraints: 400070
340.20/341.28 c #Conflicts: 25000 | #Constraints: 401070
340.20/341.28 c INPROCESSING
340.20/341.28 c bounds - >= -1932981 @ 238.157
340.20/341.28 c #Conflicts: 26000 | #Constraints: 398710
340.20/341.28 c #Conflicts: 27000 | #Constraints: 399710
340.20/341.28 c #Conflicts: 28000 | #Constraints: 400710
340.20/341.28 c #Conflicts: 29000 | #Constraints: 401710
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 30000 | #Constraints: 399073
340.20/341.28 c bounds - >= -1931957 @ 253.414
340.20/341.28 c #Conflicts: 31000 | #Constraints: 400074
340.20/341.28 c #Conflicts: 32000 | #Constraints: 401074
340.20/341.28 c bounds - >= -1930933 @ 259.649
340.20/341.28 c #Conflicts: 33000 | #Constraints: 402075
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 34000 | #Constraints: 399281
340.20/341.28 c #Conflicts: 35000 | #Constraints: 400281
340.20/341.28 c #Conflicts: 36000 | #Constraints: 401281
340.20/341.28 c #Conflicts: 37000 | #Constraints: 402281
340.20/341.28 c bounds - >= -1929909 @ 273.86
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 38000 | #Constraints: 399305
340.20/341.28 c bounds - >= -1928885 @ 278.503
340.20/341.28 c #Conflicts: 39000 | #Constraints: 400306
340.20/341.28 c #Conflicts: 40000 | #Constraints: 401306
340.20/341.28 c #Conflicts: 41000 | #Constraints: 402306
340.20/341.28 c INPROCESSING
340.20/341.28 c GARBAGE COLLECT
340.20/341.28 c #Conflicts: 42000 | #Constraints: 399058
340.20/341.28 c #Conflicts: 43000 | #Constraints: 400058
340.20/341.28 c #Conflicts: 44000 | #Constraints: 401058
340.20/341.28 c #Conflicts: 45000 | #Constraints: 402058
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: 63794 MiB (55576 MiB free)
memory of node 1: 64507 MiB (63829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505994-1751489461/watcher-4505994-1751489461 -o /tmp/evaluation-result-4505994-1751489461/solver-4505994-1751489461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751489461-68484 --watchdog 3760 pb-oll-rs HOME/instance-4505994-1751489461.opb
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.el9_5.x86_64
Starting watchdog thread
solver pid=68538, runsolver pid=68526
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 1.28 1.28 1.79 6/253 68543
/proc/meminfo: memFree=122060916/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=91296 memory=69164 CPUtime=0.06 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 7632 0 1 0 3 3 0 0 20 0 1 0 64625511 93487104 17259 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 22857 17291 1120 243 0 19106 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 91296 KiB
Current children cumulated memory: 69164 KiB
[startup+0.213787 s]*
/proc/loadavg: 1.28 1.28 1.79 6/253 68543
/proc/meminfo: memFree=121842604/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=146988 memory=117944 CPUtime=0.18 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 17147 0 1 0 12 6 0 0 20 0 1 0 64625511 150515712 29486 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 36747 29486 1120 243 0 32996 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 146988 KiB
Current children cumulated memory: 117944 KiB
[startup+0.313526 s]*
/proc/loadavg: 1.28 1.28 1.79 6/253 68543
/proc/meminfo: memFree=121801392/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=146988 memory=117944 CPUtime=0.28 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 17147 0 1 0 22 6 0 0 20 0 1 0 64625511 150515712 29486 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 36747 29486 1120 243 0 32996 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 146988 KiB
Current children cumulated memory: 117944 KiB
[startup+0.700287 s]
/proc/loadavg: 1.28 1.28 1.79 6/253 68543
/proc/meminfo: memFree=121801392/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=110512 memory=97340 CPUtime=0.64 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 17636 0 1 0 51 13 0 0 20 0 1 0 64625511 113164288 24335 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 27628 24335 1152 243 0 23877 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 110512 KiB
Current children cumulated memory: 97340 KiB
[startup+1.50029 s]
/proc/loadavg: 1.28 1.28 1.79 6/253 68543
/proc/meminfo: memFree=121797284/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=129644 memory=117640 CPUtime=1.45 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 21986 0 1 0 118 27 0 0 20 0 1 0 64625511 132755456 29410 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 32411 29410 1152 243 0 28660 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 129644 KiB
Current children cumulated memory: 117640 KiB
[startup+3.11305 s]
/proc/loadavg: 1.28 1.28 1.79 6/253 68543
/proc/meminfo: memFree=121458648/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=250036 memory=234032 CPUtime=3.05 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 43555 0 1 0 259 46 0 0 20 0 1 0 64625511 256036864 58508 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 62509 58508 1312 243 0 58758 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 250036 KiB
Current children cumulated memory: 234032 KiB
[startup+6.30026 s]
/proc/loadavg: 1.50 1.32 1.81 6/254 68545
/proc/meminfo: memFree=120604324/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=588676 memory=572720 CPUtime=6.23 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 128251 0 1 0 563 60 0 0 20 0 1 0 64625511 602804224 143180 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 147169 143180 1312 243 0 143418 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 588676 KiB
Current children cumulated memory: 572720 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.37 1.82 6/254 68545
/proc/meminfo: memFree=119257888/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=1159312 memory=1143344 CPUtime=12.61 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 270921 0 1 0 1173 88 0 0 20 0 1 0 64625511 1187135488 285836 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 289828 285836 1312 243 0 286077 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1159312 KiB
Current children cumulated memory: 1143344 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 1.50 1.85 6/254 68545
/proc/meminfo: memFree=116834192/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=2169108 memory=2153136 CPUtime=25.37 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 523379 0 1 0 2404 133 0 0 20 0 1 0 64625511 2221166592 538284 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 542277 538284 1312 243 0 538526 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2169108 KiB
Current children cumulated memory: 2153136 KiB
[startup+51.1131 s]
/proc/loadavg: 2.82 1.70 1.91 6/254 68545
/proc/meminfo: memFree=113237184/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=3921760 memory=3905712 CPUtime=50.92 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 961521 0 1 0 4871 221 0 0 20 0 1 0 64625511 4015882240 976428 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 980440 976428 1312 243 0 976689 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3921760 KiB
Current children cumulated memory: 3905712 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.07 2.03 6/254 68548
/proc/meminfo: memFree=109219472/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=6176660 memory=6160740 CPUtime=101.96 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 1517822 0 1 0 9858 338 0 0 20 0 1 0 64625511 6324899840 1540185 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 1544165 1540185 1312 243 0 1540414 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 6176660 KiB
Current children cumulated memory: 6160740 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.47 2.17 6/254 68550
/proc/meminfo: memFree=103687804/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=9164988 memory=9149032 CPUtime=161.8 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 2237034 0 1 0 15706 474 0 0 20 0 1 0 64625511 9384947712 2287258 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 2291247 2287258 1312 243 0 2287496 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 9164988 KiB
Current children cumulated memory: 9149032 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.77 2.29 6/254 68552
/proc/meminfo: memFree=103166740/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=9429348 memory=9391096 CPUtime=221.63 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 2275835 0 1 0 21640 523 0 0 20 0 1 0 64625511 9655652352 2347774 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 2357337 2347774 1376 243 0 2353586 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 9429348 KiB
Current children cumulated memory: 9391096 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.01 2.41 6/254 68556
/proc/meminfo: memFree=102616696/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=9459356 memory=9421172 CPUtime=281.47 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 2279886 0 1 0 27593 554 0 0 20 0 1 0 64625511 9686380544 2355293 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 2364839 2355293 1376 243 0 2361088 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 9459356 KiB
Current children cumulated memory: 9421172 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.21 2.52 6/250 68558
/proc/meminfo: memFree=101880392/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=9468144 memory=9429880 CPUtime=341.31 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 2281141 0 1 0 33563 568 0 0 20 0 1 0 64625511 9695379456 2357470 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 2367036 2357470 1376 243 0 2363285 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 9468144 KiB
Current children cumulated memory: 9429880 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.37 2.62 6/250 68560
/proc/meminfo: memFree=101012012/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=9650572 memory=9600372 CPUtime=401.14 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 2314157 0 1 0 39532 582 0 0 20 0 1 0 64625511 9882185728 2400093 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 2412643 2400093 1376 243 0 2408892 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 9650572 KiB
Current children cumulated memory: 9600372 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.50 2.71 6/250 68562
/proc/meminfo: memFree=99462948/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=10408588 memory=10351340 CPUtime=460.98 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 2448290 0 1 0 45482 616 0 0 20 0 1 0 64625511 10658394112 2587835 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 2602147 2587835 1376 243 0 2598396 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.03 6/250 68716
/proc/meminfo: memFree=69305712/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=25075792 memory=23475140 CPUtime=3093.97 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 4513802 0 1 0 307386 2011 0 0 20 0 1 0 64625511 25677611008 5868785 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 6268948 5868785 1376 243 0 6265197 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 25075792 KiB
Current children cumulated memory: 23475140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 6/251 68719
/proc/meminfo: memFree=68602824/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=25445264 memory=23950680 CPUtime=3153.81 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 4579062 0 1 0 313344 2037 0 0 20 0 1 0 64625511 26055950336 5987670 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 6361316 5987670 1376 243 0 6357565 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 25445264 KiB
Current children cumulated memory: 23950680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.04 6/251 68721
/proc/meminfo: memFree=67478692/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=26067136 memory=24719888 CPUtime=3213.66 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 4689453 0 1 0 319287 2079 0 0 20 0 1 0 64625511 26692747264 6179972 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 6516784 6179972 1376 243 0 6513033 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 26067136 KiB
Current children cumulated memory: 24719888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/251 68726
/proc/meminfo: memFree=66713040/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=26370740 memory=25172076 CPUtime=3273.49 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 4751465 0 1 0 325244 2105 0 0 20 0 1 0 64625511 27003637760 6293019 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 6592685 6293019 1376 243 0 6588934 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 26370740 KiB
Current children cumulated memory: 25172076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.04 6/251 68728
/proc/meminfo: memFree=66117124/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=30328580 memory=25324752 CPUtime=3333.32 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 4760198 0 1 0 331209 2123 0 0 20 0 1 0 64625511 31056465920 6331188 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7582145 6331188 1376 243 0 7578394 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 30328580 KiB
Current children cumulated memory: 25324752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 6/250 68730
/proc/meminfo: memFree=65222392/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=30721488 memory=25998052 CPUtime=3393.17 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 4840091 0 1 0 337152 2165 0 0 20 0 1 0 64625511 31458803712 6499513 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7680372 6499513 1376 243 0 7676621 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 30721488 KiB
Current children cumulated memory: 25998052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/249 68732
/proc/meminfo: memFree=63573808/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31594876 memory=27082428 CPUtime=3453.01 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5002938 0 1 0 343076 2225 0 0 20 0 1 0 64625511 32353153024 6770607 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7898719 6770607 1376 243 0 7894968 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 31594876 KiB
Current children cumulated memory: 27082428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.04 6/249 68734
/proc/meminfo: memFree=62781568/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31608624 memory=27724080 CPUtime=3512.85 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5062899 0 1 0 349017 2268 0 0 20 0 1 0 64625511 32367230976 6931020 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7902156 6931020 1376 243 0 7898405 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 31608624 KiB
Current children cumulated memory: 27724080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.04 6/249 68737
/proc/meminfo: memFree=62249424/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31621388 memory=28193744 CPUtime=3572.69 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5106326 0 1 0 354958 2311 0 0 20 0 1 0 64625511 32380301312 7048436 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7905347 7048436 1376 243 0 7901596 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 31621388 KiB
Current children cumulated memory: 28193744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.11 4.09 4.04 6/250 68743
/proc/meminfo: memFree=62018928/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31622468 memory=28415144 CPUtime=3600.02 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5126366 0 1 0 357677 2325 0 0 20 0 1 0 64625511 32381407232 7103786 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7905617 7103786 1376 243 0 7901866 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 31622468 KiB
Current children cumulated memory: 28415144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.6 s]
# the end of solver process 68538 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3578.76 s, system=24.1597 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.10 4.09 4.04 6/250 68743
/proc/meminfo: memFree=62007892/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31622468 memory=28415400 CPUtime=3600.71 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5129543 0 1 0 357746 2325 0 0 20 0 1 0 64625511 32381407232 7103850 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7905617 7103850 1440 243 0 7901866 0
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 31622468 KiB
Current children cumulated memory: 28415400 KiB
[startup+3611.2 s]
/proc/loadavg: 4.10 4.09 4.04 5/246 68751
/proc/meminfo: memFree=64919148/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31622468 memory=28415400 CPUtime=3601.52 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5134489 0 1 0 357826 2326 0 0 20 0 1 0 64625511 32381407232 7103850 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7905617 7103850 1440 243 0 7901866 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 31622468 KiB
Current children cumulated memory: 28415400 KiB
[startup+3611.6 s]
/proc/loadavg: 4.10 4.09 4.04 5/246 68751
/proc/meminfo: memFree=64919148/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31622468 memory=28415400 CPUtime=3601.92 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5135116 0 1 0 357866 2326 0 0 20 0 1 0 64625511 32381407232 7103850 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7905617 7103850 1440 243 0 7901866 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 31622468 KiB
Current children cumulated memory: 28415400 KiB
[startup+3611.7 s]
/proc/loadavg: 4.10 4.09 4.04 5/246 68751
/proc/meminfo: memFree=64919148/131382120 swapFree=33010416/33010684
[pid=68538] ppid=68526 vsize=31622468 memory=28415400 CPUtime=3602.02 cores=0,2
/proc/68538/stat : 68538 (pb-oll-rs) R 68526 68538 68474 0 -1 4194304 5135314 0 1 0 357876 2326 0 0 20 0 1 0 64625511 32381407232 7103850 18446744073709551615 4218880 5211445 140734324272000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 20652032 140734324279708 140734324279785 140734324279785 140734324285387 0
/proc/68538/statm: 7905617 7103850 1440 243 0 7901866 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 31622468 KiB
Current children cumulated memory: 28415400 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.6
CPU time (s): 3602.92
CPU user time (s): 3578.76
CPU system time (s): 24.1597
CPU usage (%): 99.7321
Max. virtual memory (cumulated for all children) (KiB): 31622468
Max. memory (cumulated for all children) (KiB): 28415400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.76
system time used= 24.1597
maximum resident set size= 28415400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5135314
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192
involuntary context switches= 9244
# summary of solver processes directly reported to runsolver:
# pid: 68538
# total CPU time (s): 3602.92
# total CPU user time (s): 3578.76
# total CPU system time (s): 24.1597
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5428 second user time and 31.7738 second system time
The end
Begin job on nodeC006 at 2025-07-02 22:51:01
IDJOB=4505994
IDBENCH=157587
IDSOLVER=3345
FILE ID=nodeC006/4505994-1751489461
RUNJOBID= nodeC006-1751489461-68484
SLURM_JOB_ID= 9598551
Free space on /tmp= 432216 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505994-1751489461/watcher-4505994-1751489461 -o /tmp/evaluation-result-4505994-1751489461/solver-4505994-1751489461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751489461-68484 --watchdog 3760 pb-oll-rs HOME/instance-4505994-1751489461.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a6b74371f97d4ca84ea621a5ce055c49
RANDOM SEED=679736515
nodeC006 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 : 0xb00001f
cpu MHz : 1995.281
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1796.022
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.282
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.487
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1208.295
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.709
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 122272496 kB
MemAvailable: 129913380 kB
Buffers: 2128 kB
Cached: 8411472 kB
SwapCached: 12 kB
Active: 479720 kB
Inactive: 7999720 kB
Active(anon): 72808 kB
Inactive(anon): 11092 kB
Active(file): 406912 kB
Inactive(file): 7988628 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 127372 kB
Writeback: 0 kB
AnonPages: 69012 kB
Mapped: 103540 kB
Shmem: 17948 kB
KReclaimable: 169560 kB
Slab: 256424 kB
SReclaimable: 169560 kB
SUnreclaim: 86864 kB
KernelStack: 3904 kB
PageTables: 2932 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 330500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432208 MiB
End job on nodeC006 at 2025-07-02 23:51:14