0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.07 c [STEP] solving
0.00/0.07 c #variables 11503 #constraints 936
0.00/0.07 c SMALL=long long, LARGE=int128
0.00/0.07 c bounds - >= 0 @ 0.055952
0.00/0.07 c stratification level: 0
3600.08/3611.00 c bounds - >= 1073741825 @ 0.061887
3600.08/3611.00 c bounds - >= 1073872896 @ 0.066316
3600.08/3611.00 c bounds - >= 1073889280 @ 0.073917
3600.08/3611.00 c bounds - >= 1073889792 @ 0.082707
3600.08/3611.00 c bounds - >= 1073889920 @ 0.09199
3600.08/3611.00 c bounds - >= 1073889984 @ 0.102347
3600.08/3611.00 c bounds - >= 1073890016 @ 0.110002
3600.08/3611.00 c bounds - >= 1073890032 @ 0.120932
3600.08/3611.00 c bounds - >= 1073890040 @ 0.130332
3600.08/3611.00 c bounds - >= 1073890042 @ 0.148167
3600.08/3611.00 c bounds - >= 1073890044 @ 0.156768
3600.08/3611.00 c bounds - >= 1073890048 @ 0.159308
3600.08/3611.00 c bounds - >= 1073890304 @ 0.171496
3600.08/3611.00 c bounds - >= 1073891328 @ 0.175336
3600.08/3611.00 c bounds - >= 1073893632 @ 0.186791
3600.08/3611.00 c bounds - >= 1073897472 @ 0.193674
3600.08/3611.00 c bounds - >= 1073905664 @ 0.202137
3600.08/3611.00 c bounds - >= 1073938432 @ 0.220409
3600.08/3611.00 c bounds - >= 1074003968 @ 0.232791
3600.08/3611.00 c bounds - >= 1074266112 @ 0.320715
3600.08/3611.00 c bounds - >= 1074790400 @ 0.437768
3600.08/3611.00 c #Conflicts: 1000 | #Constraints: 1965
3600.08/3611.00 c #Conflicts: 2000 | #Constraints: 2965
3600.08/3611.00 c INPROCESSING
3600.08/3611.00 c #Conflicts: 3000 | #Constraints: 3650
3600.08/3611.00 c #Conflicts: 4000 | #Constraints: 4650
3600.08/3611.00 c #Conflicts: 5000 | #Constraints: 5650
3600.08/3611.00 c #Conflicts: 6000 | #Constraints: 6650
3600.08/3611.00 c INPROCESSING
3600.08/3611.00 c #Conflicts: 7000 | #Constraints: 7042
3600.08/3611.00 c #Conflicts: 8000 | #Constraints: 8042
3600.08/3611.00 c #Conflicts: 9000 | #Constraints: 9042
3600.08/3611.00 c #Conflicts: 10000 | #Constraints: 10042
3600.08/3611.00 c #Conflicts: 11000 | #Constraints: 11042
3600.08/3611.00 c #Conflicts: 12000 | #Constraints: 12042
3600.08/3611.00 c INPROCESSING
3600.08/3611.00 c #Conflicts: 13000 | #Constraints: 12617
3600.08/3611.00 c #Conflicts: 14000 | #Constraints: 13617
3600.08/3611.00 c #Conflicts: 15000 | #Constraints: 14617
3600.08/3611.00 c #Conflicts: 16000 | #Constraints: 15617
3600.08/3611.00 c #Conflicts: 17000 | #Constraints: 16617
3600.08/3611.00 c #Conflicts: 18000 | #Constraints: 17617
3600.08/3611.00 c #Conflicts: 19000 | #Constraints: 18617
3600.08/3611.00 c #Conflicts: 20000 | #Constraints: 19617
3600.08/3611.00 c INPROCESSING
3600.08/3611.00 c #Conflicts: 21000 | #Constraints: 20402
3600.08/3611.00 c Program interrupted by user.
3600.08/3611.00 c cpu time 3549.89 s
3600.08/3611.00 c deterministic time 448684733153 4.49e+11
3600.08/3611.00 c optimization time 403.314 s
3600.08/3611.00 c total solve time 3146.52 s
3600.08/3611.00 c core-guided solve time 3146.52 s
3600.08/3611.00 c propagation time 3383.68 s
3600.08/3611.00 c conflict analysis time 107.603 s
3600.08/3611.00 c propagations 115324718
3600.08/3611.00 c resolve steps 75142
3600.08/3611.00 c decisions 63443498
3600.08/3611.00 c conflicts 21196
3600.08/3611.00 c restarts 76
3600.08/3611.00 c inprocessing phases 4
3600.08/3611.00 c input clauses 2
3600.08/3611.00 c input cardinalities 712
3600.08/3611.00 c input general constraints 244
3600.08/3611.00 c input average constraint length 220.13
3600.08/3611.00 c input average constraint degree 403055345735.65
3600.08/3611.00 c learned clauses 79
3600.08/3611.00 c learned cardinalities 14
3600.08/3611.00 c learned general constraints 21111
3600.08/3611.00 c learned average constraint length 7920.62
3600.08/3611.00 c learned average constraint degree 845828674.08
3600.08/3611.00 c watched constraints 14112
3600.08/3611.00 c counting constraints 7243
3600.08/3611.00 c gcd simplifications 450
3600.08/3611.00 c detected cardinalities 9
3600.08/3611.00 c weakened non-implied lits 231825
3600.08/3611.00 c weakened non-implying lits 569
3600.08/3611.00 c original variables 11503
3600.08/3611.00 c clausal propagations 23072
3600.08/3611.00 c cardinality propagations 624786
3600.08/3611.00 c watched propagations 80215099
3600.08/3611.00 c counting propagations 34196090
3600.08/3611.00 c watch lookups 44137701520
3600.08/3611.00 c watch backjump lookups 44116009817
3600.08/3611.00 c watch checks 188281585887
3600.08/3611.00 c propagation checks 171222839152
3600.08/3611.00 c constraint additions 569049505
3600.08/3611.00 c trail pops 178779055
3600.08/3611.00 c formula constraints 936
3600.08/3611.00 c learned constraints 21204
3600.08/3611.00 c bound constraints 21
3600.08/3611.00 c core-guided constraints 1
3600.08/3611.00 c encountered formula constraints 18688
3600.08/3611.00 c encountered learned constraints 77651
3600.08/3611.00 c encountered bound constraints 0
3600.08/3611.00 c encountered core-guided constraints 0
3600.08/3611.00 c LP total time 0 s
3600.08/3611.00 c LP solve time 0 s
3600.08/3611.00 c LP constraints added 0
3600.08/3611.00 c LP constraints removed 0
3600.08/3611.00 c LP pivots internal 0
3600.08/3611.00 c LP pivots root 0
3600.08/3611.00 c LP calls 0
3600.08/3611.00 c LP optimalities 0
3600.08/3611.00 c LP no pivot count 0
3600.08/3611.00 c LP infeasibilities 0
3600.08/3611.00 c LP valid Farkas constraints 0
3600.08/3611.00 c LP learned Farkas constraints 0
3600.08/3611.00 c LP basis resets 0
3600.08/3611.00 c LP cycling count 0
3600.08/3611.00 c LP singular count 0
3600.08/3611.00 c LP no primal count 0
3600.08/3611.00 c LP no farkas count 0
3600.08/3611.00 c LP other issue count 0
3600.08/3611.00 c LP Gomory cuts 0
3600.08/3611.00 c LP learned cuts 0
3600.08/3611.00 c LP deleted cuts 0
3600.08/3611.00 c LP encountered Gomory constraints 0
3600.08/3611.00 c LP encountered Farkas constraints 0
3600.08/3611.00 c LP encountered learned Farkas constraints 0
3600.08/3611.00 c CG auxiliary variables introduced 0
3600.08/3611.00 c CG solutions found 0
3600.08/3611.00 c CG cores constructed 21
3600.08/3611.00 c CG core cardinality constraints returned 0
3600.08/3611.00 c CG unit cores 0
3600.08/3611.00 c CG single cores 13
3600.08/3611.00 c CG blocks removed during cardinality reduction 0
3600.08/3611.00 c CG first core best 0
3600.08/3611.00 c CG decision core best 0
3600.08/3611.00 c CG core reduction tie 8
3600.08/3611.00 c CG core degree average 1.00
3600.08/3611.00 c CG core slack average 15.48
3600.08/3611.00 c CG exhausted 0
3600.08/3611.00 c CG exhaust time 0 s
3600.08/3611.00 c CG trimmed 0
3600.08/3611.00 c CG trim time 0.05445 s
3600.08/3611.00 c CG minimized 0
3600.08/3611.00 c CG minimize time 0 s
3600.08/3611.00 c CG am1 prop time 0.000386 s
3600.08/3611.00 c CG # am1s reformulated 0
3600.08/3611.00 c CG lower bound derived from am1s 0
3600.08/3611.00 c CG # clausal cores 28
3600.08/3611.00 c CG # cardinality cores 0
3600.08/3611.00 c CG # pb cores 1
3600.08/3611.00 c CG # pb reforms 0
3600.08/3611.00 c CG # cores discarded because of pb reform 0
3600.08/3611.00 d LOWERBOUND 1074790400
3600.08/3611.00 d NCORES 21
3600.08/3611.00 d NPBCORES 1
3600.08/3611.00 d NPBREFORM 0
3600.08/3611.00 d NTRIMMED 0
3600.08/3611.00 d NEXHAUSTED 0
3600.08/3611.00 d NAM1S 0
3600.08/3611.00 d AM1LB 0
3600.08/3611.08 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61664 MiB free)
memory of node 1: 64507 MiB (63696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485454-1751307010/watcher-4485454-1751307010 -o /tmp/evaluation-result-4485454-1751307010/solver-4485454-1751307010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751303394-45629 --watchdog 3760 pb-oll-rs HOME/instance-4485454-1751307010.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
Starting watchdog thread
solver pid=46104, runsolver pid=46101
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.17 4.22 4.14 5/265 46105
/proc/meminfo: memFree=128369604/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=27380 memory=15424 CPUtime=0.09 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 2832 0 0 0 8 1 0 0 20 0 1 0 46378807 28037120 3856 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 6845 3856 1344 243 0 3094 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27380 KiB
Current children cumulated memory: 15424 KiB
[startup+0.20547 s]*
/proc/loadavg: 4.17 4.22 4.14 5/265 46105
/proc/meminfo: memFree=128361728/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=30816 memory=20712 CPUtime=0.2 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 3637 0 0 0 19 1 0 0 20 0 1 0 46378807 31555584 5178 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 7704 5178 1344 243 0 3953 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30816 KiB
Current children cumulated memory: 20712 KiB
[startup+0.305123 s]*
/proc/loadavg: 4.17 4.22 4.14 5/265 46105
/proc/meminfo: memFree=128360216/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=35352 memory=25008 CPUtime=0.3 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 4175 0 0 0 29 1 0 0 20 0 1 0 46378807 36200448 6252 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 8838 6252 1376 243 0 5087 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35352 KiB
Current children cumulated memory: 25008 KiB
[startup+0.700159 s]
/proc/loadavg: 4.17 4.22 4.14 5/265 46105
/proc/meminfo: memFree=128342008/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=43000 memory=31448 CPUtime=0.68 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 5297 0 0 0 60 8 0 0 20 0 1 0 46378807 44032000 7862 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 10750 7862 1376 243 0 6999 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43000 KiB
Current children cumulated memory: 31448 KiB
[startup+1.50015 s]
/proc/loadavg: 4.17 4.22 4.14 5/265 46105
/proc/meminfo: memFree=128317688/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=60016 memory=45716 CPUtime=1.48 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 8354 0 0 0 118 30 0 0 20 0 1 0 46378807 61456384 11429 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 15004 11429 1376 243 0 11253 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60016 KiB
Current children cumulated memory: 45716 KiB
[startup+3.10536 s]
/proc/loadavg: 4.17 4.22 4.14 5/265 46105
/proc/meminfo: memFree=128237564/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=88048 memory=68084 CPUtime=3.08 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 12914 0 0 0 240 68 0 0 20 0 1 0 46378807 90161152 17021 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 22012 17021 1376 243 0 18261 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88048 KiB
Current children cumulated memory: 68084 KiB
[startup+6.30012 s]
/proc/loadavg: 4.24 4.24 4.14 5/265 46105
/proc/meminfo: memFree=128124380/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=111484 memory=85212 CPUtime=6.26 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 14639 0 0 0 499 127 0 0 20 0 1 0 46378807 114159616 21303 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 27871 21303 1376 243 0 24120 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 111484 KiB
Current children cumulated memory: 85212 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.27 4.15 5/265 46105
/proc/meminfo: memFree=127725056/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=180356 memory=141636 CPUtime=12.65 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 24661 0 0 0 1034 231 0 0 20 0 1 0 46378807 184684544 35409 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 45089 35409 1376 243 0 41338 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 180356 KiB
Current children cumulated memory: 141636 KiB
[startup+25.5002 s]
/proc/loadavg: 4.52 4.30 4.17 5/265 46105
/proc/meminfo: memFree=127077108/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=301476 memory=233492 CPUtime=25.41 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 40485 0 0 0 2126 415 0 0 20 0 1 0 46378807 308711424 58373 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 75369 58373 1376 243 0 71618 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 301476 KiB
Current children cumulated memory: 233492 KiB
[startup+51.1054 s]
/proc/loadavg: 4.41 4.29 4.17 5/265 46107
/proc/meminfo: memFree=126481528/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=388092 memory=303108 CPUtime=50.95 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 44578 0 0 0 4366 729 0 0 20 0 1 0 46378807 397406208 75777 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 97023 75777 1376 243 0 93272 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 388092 KiB
Current children cumulated memory: 303108 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.28 4.17 5/265 46109
/proc/meminfo: memFree=125403168/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=666196 memory=513228 CPUtime=102 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 78259 0 0 0 9016 1184 0 0 20 0 1 0 46378807 682184704 128307 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 166549 128307 1376 243 0 162798 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 666196 KiB
Current children cumulated memory: 513228 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.24 4.17 5/265 46111
/proc/meminfo: memFree=124905492/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=667416 memory=576452 CPUtime=161.82 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 81821 0 0 0 14715 1467 0 0 20 0 1 0 46378807 683433984 144113 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 166854 144113 1376 243 0 163103 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 667416 KiB
Current children cumulated memory: 576452 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.21 4.16 5/265 46114
/proc/meminfo: memFree=124394580/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=889836 memory=758044 CPUtime=221.65 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 117517 0 0 0 20447 1718 0 0 20 0 1 0 46378807 911192064 189511 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 222459 189511 1376 243 0 218708 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 889836 KiB
Current children cumulated memory: 758044 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/266 46120
/proc/meminfo: memFree=123848640/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=938168 memory=837928 CPUtime=281.48 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 129381 0 0 0 26227 1921 0 0 20 0 1 0 46378807 960684032 209482 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 234542 209482 1376 243 0 230791 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 938168 KiB
Current children cumulated memory: 837928 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.19 4.16 5/266 46127
/proc/meminfo: memFree=123763668/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=1169480 memory=891680 CPUtime=341.3 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 136166 0 0 0 32047 2083 0 0 20 0 1 0 46378807 1197547520 222920 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 292370 222920 1376 243 0 288619 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1169480 KiB
Current children cumulated memory: 891680 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/266 46129
/proc/meminfo: memFree=123432540/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=1178700 memory=951300 CPUtime=401.13 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 140343 0 0 0 37850 2263 0 0 20 0 1 0 46378807 1206988800 237825 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 294675 237825 1376 243 0 290924 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1178700 KiB
Current children cumulated memory: 951300 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/266 46131
/proc/meminfo: memFree=123314760/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=1184016 memory=1012464 CPUtime=460.95 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 146011 0 0 0 43637 2458 0 0 20 0 1 0 46378807 1212432384 253116 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 296004 253116 1376 243 0 292253 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
/proc/46104/statm: 908174 723429 1376 243 0 904423 0
Current children cumulated CPU time: 2853.67 s
Current children cumulated vsize: 3632696 KiB
Current children cumulated memory: 2893716 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 46257
/proc/meminfo: memFree=114762132/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3676732 memory=2935032 CPUtime=2913.48 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 444336 0 0 0 286522 4826 0 0 20 0 1 0 46378807 3764973568 733758 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 919183 733758 1376 243 0 915432 0
Current children cumulated CPU time: 2913.48 s
Current children cumulated vsize: 3676732 KiB
Current children cumulated memory: 2935032 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 46259
/proc/meminfo: memFree=114651064/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3717184 memory=2974348 CPUtime=2973.3 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 451262 0 0 0 292485 4845 0 0 20 0 1 0 46378807 3806396416 743587 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 929296 743587 1376 243 0 925545 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 3717184 KiB
Current children cumulated memory: 2974348 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 46260
/proc/meminfo: memFree=114625156/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3747648 memory=3006412 CPUtime=3033.12 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 456717 0 0 0 298453 4859 0 0 20 0 1 0 46378807 3837591552 751603 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 936912 751603 1376 243 0 933161 0
Current children cumulated CPU time: 3033.12 s
Current children cumulated vsize: 3747648 KiB
Current children cumulated memory: 3006412 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 46273
/proc/meminfo: memFree=114590344/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3768384 memory=3037800 CPUtime=3092.94 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 461051 0 0 0 304419 4875 0 0 20 0 1 0 46378807 3858825216 759450 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 942096 759450 1376 243 0 938345 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 3768384 KiB
Current children cumulated memory: 3037800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 46277
/proc/meminfo: memFree=114518036/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3787076 memory=3064600 CPUtime=3152.75 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 465293 0 0 0 310386 4889 0 0 20 0 1 0 46378807 3877965824 766150 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 946769 766150 1376 243 0 943018 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 3787076 KiB
Current children cumulated memory: 3064600 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 46279
/proc/meminfo: memFree=114499096/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3800388 memory=3087784 CPUtime=3212.57 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 468007 0 0 0 316349 4908 0 0 20 0 1 0 46378807 3891597312 771946 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 950097 771946 1376 243 0 946346 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 3800388 KiB
Current children cumulated memory: 3087784 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46283
/proc/meminfo: memFree=114273832/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3816260 memory=3111756 CPUtime=3272.4 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 471606 0 0 0 322317 4923 0 0 20 0 1 0 46378807 3907850240 777939 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 954065 777939 1376 243 0 950314 0
Current children cumulated CPU time: 3272.4 s
Current children cumulated vsize: 3816260 KiB
Current children cumulated memory: 3111756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 46290
/proc/meminfo: memFree=114250252/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3832388 memory=3139204 CPUtime=3332.2 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 475402 0 0 0 328276 4944 0 0 20 0 1 0 46378807 3924365312 784801 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 958097 784801 1376 243 0 954346 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 3832388 KiB
Current children cumulated memory: 3139204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 46292
/proc/meminfo: memFree=113984736/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3840328 memory=3161572 CPUtime=3392.02 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 478126 0 0 0 334235 4967 0 0 20 0 1 0 46378807 3932495872 790393 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 960082 790393 1376 243 0 956331 0
Current children cumulated CPU time: 3392.02 s
Current children cumulated vsize: 3840328 KiB
Current children cumulated memory: 3161572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 46294
/proc/meminfo: memFree=113962208/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3850568 memory=3182876 CPUtime=3451.84 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 480872 0 0 0 340203 4981 0 0 20 0 1 0 46378807 3942981632 795719 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 962642 795719 1376 243 0 958891 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 3850568 KiB
Current children cumulated memory: 3182876 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 46297
/proc/meminfo: memFree=113939904/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3858760 memory=3205912 CPUtime=3511.65 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 483760 0 0 0 346167 4998 0 0 20 0 1 0 46378807 3951370240 801478 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 964690 801478 1376 243 0 960939 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 3858760 KiB
Current children cumulated memory: 3205912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 46299
/proc/meminfo: memFree=113911208/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3867464 memory=3226800 CPUtime=3571.47 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 486441 0 0 0 352136 5011 0 0 20 0 1 0 46378807 3960283136 806700 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 966866 806700 1376 243 0 963115 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 3867464 KiB
Current children cumulated memory: 3226800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 46436
/proc/meminfo: memFree=125217276/131250000 swapFree=33010684/33010684
[pid=46104] ppid=46101 vsize=3870536 memory=3237344 CPUtime=3600.08 cores=0,2
/proc/46104/stat : 46104 (pb-oll-rs) R 46101 46104 45619 0 -1 4194304 487524 0 0 0 354988 5020 0 0 20 0 1 0 46378807 3963428864 809336 18446744073709551615 4218880 5211445 140722677561200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9428992 140722677565852 140722677565929 140722677565929 140722677571531 0
/proc/46104/statm: 967634 809336 1376 243 0 963883 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3870536 KiB
Current children cumulated memory: 3237344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 46104 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3549.89 s, system=50.3135 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 46436
/proc/meminfo: memFree=127097888/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.12
CPU time (s): 3600.2
CPU user time (s): 3549.89
CPU system time (s): 50.3135
CPU usage (%): 99.6977
Max. virtual memory (cumulated for all children) (KiB): 3870536
Max. memory (cumulated for all children) (KiB): 3237344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.89
system time used= 50.3135
maximum resident set size= 3237600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487539
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= 82
involuntary context switches= 22333
# summary of solver processes directly reported to runsolver:
# pid: 46104
# total CPU time (s): 3600.2
# total CPU user time (s): 3549.89
# total CPU system time (s): 50.3135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59178 second user time and 16.6707 second system time
The end
Begin job on nodeC018 at 2025-06-30 20:10:10
IDJOB=4485454
IDBENCH=146795
IDSOLVER=3345
FILE ID=nodeC018/4485454-1751307010
RUNJOBID= nodeC018-1751303394-45629
SLURM_JOB_ID= 9594294
Free space on /tmp= 432916 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485454-1751307010/watcher-4485454-1751307010 -o /tmp/evaluation-result-4485454-1751307010/solver-4485454-1751307010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751303394-45629 --watchdog 3760 pb-oll-rs HOME/instance-4485454-1751307010.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55b762fd6bb408eb2777c16ed585e3a1
RANDOM SEED=1970621359
nodeC018 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 : 3613.616
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.66
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.836
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.842
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.66
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 : 3602.369
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.66
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.822
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.940
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.66
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 : 3638.859
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.66
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 : 3656.176
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128369856 kB
MemAvailable: 129497520 kB
Buffers: 3280 kB
Cached: 1929044 kB
SwapCached: 0 kB
Active: 581276 kB
Inactive: 1671240 kB
Active(anon): 338276 kB
Inactive(anon): 0 kB
Active(file): 243000 kB
Inactive(file): 1671240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16244 kB
Writeback: 0 kB
AnonPages: 322780 kB
Mapped: 107336 kB
Shmem: 18076 kB
KReclaimable: 104928 kB
Slab: 192664 kB
SReclaimable: 104928 kB
SUnreclaim: 87736 kB
KernelStack: 4288 kB
PageTables: 3672 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 675888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432920 MiB
End job on nodeC018 at 2025-06-30 21:10:21