0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.08/0.10 c [STEP] preprocessing with Papilo
0.08/0.16 c [STEP] solving with SCIP
299.35/300.22 c [STEP] preprocessing done, loading into solver
299.35/300.26 c [STEP] solving
299.35/300.26 c #variables 9801 #constraints 932
299.35/300.26 c SMALL=long long, LARGE=int128
299.35/300.26 d SCIPUB 2147483648
299.35/300.26 c bounds - >= 0 @ 299.291
299.35/300.26 c stratification level: 0
3600.07/3610.11 c bounds - >= 1073741825 @ 299.297
3600.07/3610.11 c bounds - >= 1073872896 @ 299.301
3600.07/3610.11 c bounds - >= 1073889280 @ 299.311
3600.07/3610.11 c bounds - >= 1073889792 @ 299.321
3600.07/3610.11 c bounds - >= 1073889920 @ 299.332
3600.07/3610.11 c bounds - >= 1073889984 @ 299.342
3600.07/3610.11 c bounds - >= 1073890016 @ 299.35
3600.07/3610.11 c bounds - >= 1073890032 @ 299.361
3600.07/3610.11 c bounds - >= 1073890040 @ 299.371
3600.07/3610.11 c bounds - >= 1073890042 @ 299.382
3600.07/3610.11 c bounds - >= 1073890044 @ 299.399
3600.07/3610.11 c bounds - >= 1073890048 @ 299.408
3600.07/3610.11 c bounds - >= 1073890304 @ 299.417
3600.07/3610.11 c bounds - >= 1073905664 @ 299.431
3600.07/3610.11 c bounds - >= 1073908736 @ 299.442
3600.07/3610.11 c bounds - >= 1073909760 @ 299.448
3600.07/3610.11 c bounds - >= 1073938432 @ 299.46
3600.07/3610.11 c bounds - >= 1073941504 @ 299.483
3600.07/3610.11 c bounds - >= 1074003968 @ 299.508
3600.07/3610.11 c bounds - >= 1074266112 @ 299.566
3600.07/3610.11 c bounds - >= 1074790400 @ 299.775
3600.07/3610.11 c #Conflicts: 1000 | #Constraints: 1964
3600.07/3610.11 c #Conflicts: 2000 | #Constraints: 2964
3600.07/3610.11 c INPROCESSING
3600.07/3610.11 c #Conflicts: 3000 | #Constraints: 3831
3600.07/3610.11 c #Conflicts: 4000 | #Constraints: 4831
3600.07/3610.11 c #Conflicts: 5000 | #Constraints: 5831
3600.07/3610.11 c #Conflicts: 6000 | #Constraints: 6831
3600.07/3610.11 c INPROCESSING
3600.07/3610.11 c #Conflicts: 7000 | #Constraints: 7583
3600.07/3610.11 c #Conflicts: 8000 | #Constraints: 8583
3600.07/3610.11 c #Conflicts: 9000 | #Constraints: 9583
3600.07/3610.11 c #Conflicts: 10000 | #Constraints: 10583
3600.07/3610.11 c #Conflicts: 11000 | #Constraints: 11583
3600.07/3610.11 c #Conflicts: 12000 | #Constraints: 12583
3600.07/3610.11 c INPROCESSING
3600.07/3610.11 c #Conflicts: 13000 | #Constraints: 13377
3600.07/3610.11 c #Conflicts: 14000 | #Constraints: 14377
3600.07/3610.11 c #Conflicts: 15000 | #Constraints: 15377
3600.07/3610.11 c #Conflicts: 16000 | #Constraints: 16377
3600.07/3610.11 c #Conflicts: 17000 | #Constraints: 17377
3600.07/3610.11 c #Conflicts: 18000 | #Constraints: 18377
3600.07/3610.11 c #Conflicts: 19000 | #Constraints: 19377
3600.07/3610.11 c #Conflicts: 20000 | #Constraints: 20377
3600.07/3610.11 c INPROCESSING
3600.07/3610.11 c #Conflicts: 21000 | #Constraints: 21190
3600.07/3610.11 c #Conflicts: 22000 | #Constraints: 22190
3600.07/3610.11 c #Conflicts: 23000 | #Constraints: 23190
3600.07/3610.11 c #Conflicts: 24000 | #Constraints: 24190
3600.07/3610.11 c #Conflicts: 25000 | #Constraints: 25190
3600.07/3610.11 c Program interrupted by user.
3600.07/3610.11 c cpu time 3520.75 s
3600.07/3610.11 c deterministic time 414147641401 4.14e+11
3600.07/3610.11 c optimization time 1277.68 s
3600.07/3610.11 c total solve time 1943.78 s
3600.07/3610.11 c core-guided solve time 1943.78 s
3600.07/3610.11 c propagation time 2995.71 s
3600.07/3610.11 c conflict analysis time 150.702 s
3600.07/3610.11 c propagations 110278851
3600.07/3610.11 c resolve steps 73242
3600.07/3610.11 c decisions 105824957
3600.07/3610.11 c conflicts 25728
3600.07/3610.11 c restarts 93
3600.07/3610.11 c inprocessing phases 4
3600.07/3610.11 c input clauses 2
3600.07/3610.11 c input cardinalities 708
3600.07/3610.11 c input general constraints 244
3600.07/3610.11 c input average constraint length 205.97
3600.07/3610.11 c input average constraint degree 404701484168.77
3600.07/3610.11 c learned clauses 62
3600.07/3610.11 c learned cardinalities 18
3600.07/3610.11 c learned general constraints 25659
3600.07/3610.11 c learned average constraint length 7793.53
3600.07/3610.11 c learned average constraint degree 654632197.84
3600.07/3610.11 c watched constraints 14331
3600.07/3610.11 c counting constraints 11572
3600.07/3610.11 c gcd simplifications 519
3600.07/3610.11 c detected cardinalities 10
3600.07/3610.11 c weakened non-implied lits 249094
3600.07/3610.11 c weakened non-implying lits 434
3600.07/3610.11 c original variables 11503
3600.07/3610.11 c clausal propagations 35036
3600.07/3610.11 c cardinality propagations 816627
3600.07/3610.11 c watched propagations 42551684
3600.07/3610.11 c counting propagations 66598429
3600.07/3610.11 c watch lookups 43267493989
3600.07/3610.11 c watch backjump lookups 43249119950
3600.07/3610.11 c watch checks 248485855766
3600.07/3610.11 c propagation checks 78107781780
3600.07/3610.11 c constraint additions 605164427
3600.07/3610.11 c trail pops 216121680
3600.07/3610.11 c formula constraints 932
3600.07/3610.11 c learned constraints 25739
3600.07/3610.11 c bound constraints 21
3600.07/3610.11 c core-guided constraints 1
3600.07/3610.11 c encountered formula constraints 21048
3600.07/3610.11 c encountered learned constraints 77923
3600.07/3610.11 c encountered bound constraints 0
3600.07/3610.11 c encountered core-guided constraints 0
3600.07/3610.11 c LP total time 0 s
3600.07/3610.11 c LP solve time 0 s
3600.07/3610.11 c LP constraints added 0
3600.07/3610.11 c LP constraints removed 0
3600.07/3610.11 c LP pivots internal 0
3600.07/3610.11 c LP pivots root 0
3600.07/3610.11 c LP calls 0
3600.07/3610.11 c LP optimalities 0
3600.07/3610.11 c LP no pivot count 0
3600.07/3610.11 c LP infeasibilities 0
3600.07/3610.11 c LP valid Farkas constraints 0
3600.07/3610.11 c LP learned Farkas constraints 0
3600.07/3610.11 c LP basis resets 0
3600.07/3610.11 c LP cycling count 0
3600.07/3610.11 c LP singular count 0
3600.07/3610.11 c LP no primal count 0
3600.07/3610.11 c LP no farkas count 0
3600.07/3610.11 c LP other issue count 0
3600.07/3610.11 c LP Gomory cuts 0
3600.07/3610.11 c LP learned cuts 0
3600.07/3610.11 c LP deleted cuts 0
3600.07/3610.11 c LP encountered Gomory constraints 0
3600.07/3610.11 c LP encountered Farkas constraints 0
3600.07/3610.11 c LP encountered learned Farkas constraints 0
3600.07/3610.11 c CG auxiliary variables introduced 0
3600.07/3610.11 c CG solutions found 0
3600.07/3610.11 c CG cores constructed 21
3600.07/3610.11 c CG core cardinality constraints returned 0
3600.07/3610.11 c CG unit cores 0
3600.07/3610.11 c CG single cores 10
3600.07/3610.11 c CG blocks removed during cardinality reduction 1
3600.07/3610.11 c CG first core best 0
3600.07/3610.11 c CG decision core best 0
3600.07/3610.11 c CG core reduction tie 11
3600.07/3610.11 c CG core degree average 1.00
3600.07/3610.11 c CG core slack average 15.29
3600.07/3610.11 c CG exhausted 0
3600.07/3610.11 c CG exhaust time 0 s
3600.07/3610.11 c CG trimmed 0
3600.07/3610.11 c CG trim time 0.067588 s
3600.07/3610.11 c CG minimized 0
3600.07/3610.11 c CG minimize time 0 s
3600.07/3610.11 c CG am1 prop time 0.000574 s
3600.07/3610.11 c CG # am1s reformulated 0
3600.07/3610.11 c CG lower bound derived from am1s 0
3600.07/3610.11 c CG # clausal cores 30
3600.07/3610.11 c CG # cardinality cores 0
3600.07/3610.11 c CG # pb cores 2
3600.07/3610.11 c CG # pb reforms 0
3600.07/3610.11 c CG # cores discarded because of pb reform 0
3600.07/3610.11 d LOWERBOUND 1074790400
3600.07/3610.11 d NCORES 21
3600.07/3610.11 d NPBCORES 2
3600.07/3610.11 d NPBREFORM 0
3600.07/3610.11 d NTRIMMED 0
3600.07/3610.11 d NEXHAUSTED 0
3600.07/3610.11 d NAM1S 0
3600.07/3610.11 d AM1LB 0
3600.07/3610.11 c [Papilo Statistics]
3600.07/3610.11 c prepro time 0.0577795s
3600.07/3610.11 c # tsx applied 3939
3600.07/3610.11 c # tsx conflicts 0
3600.07/3610.11 c # bound changes 1664
3600.07/3610.11 c # side changes 87
3600.07/3610.11 c # coef changes 92
3600.07/3610.11 c # rounds 3
3600.07/3610.11 c # deted vars 1703
3600.07/3610.11 c # deted constrs 127
3600.07/3610.11 c # consecutive rounds of only bound changes 0
3600.17/3610.20 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: 63708 MiB (59397 MiB free)
memory of node 1: 64465 MiB (58818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528854-1752255008/watcher-4528854-1752255008 -o /tmp/evaluation-result-4528854-1752255008/solver-4528854-1752255008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118200 --watchdog 3760 mixed-bag HOME/instance-4528854-1752255008.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=118244, runsolver pid=118234
[startup+0.100065 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120988504/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=97828 memory=27172 CPUtime=0.08 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 5478 0 1 0 7 1 0 0 20 0 1 0 141180272 100175872 6793 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 24457 6793 2208 2834 0 7209 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 97828 KiB
Current children cumulated memory: 27172 KiB
[startup+0.205713 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120915548/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=139960 memory=66760 CPUtime=0.18 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 14773 0 3 0 15 3 0 0 20 0 1 0 141180272 143319040 16690 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 34990 16690 4064 2834 0 17195 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 139960 KiB
Current children cumulated memory: 66760 KiB
[startup+0.305614 s]*
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120801700/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=160192 memory=84152 CPUtime=0.28 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 19417 0 3 0 25 3 0 0 20 0 1 0 141180272 164036608 21038 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 40048 21038 4064 2834 0 22253 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 160192 KiB
Current children cumulated memory: 84152 KiB
[startup+0.700184 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120718852/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=246588 memory=142128 CPUtime=0.67 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 35173 0 3 0 60 7 0 0 20 0 1 0 141180272 252506112 35532 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 61647 35532 4128 2834 0 43852 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 246588 KiB
Current children cumulated memory: 142128 KiB
[startup+1.50018 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120612884/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=293416 memory=187056 CPUtime=1.46 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 46405 0 3 0 138 8 0 0 20 0 1 0 141180272 300457984 46764 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 73354 46764 4288 2834 0 55559 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 293416 KiB
Current children cumulated memory: 187056 KiB
[startup+3.10545 s]
/proc/loadavg: 0.75 1.56 2.44 5/266 118259
/proc/meminfo: memFree=120272872/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=294176 memory=187952 CPUtime=3.07 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 46630 0 3 0 298 9 0 0 20 0 1 0 141180272 301236224 46988 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 73544 46988 4288 2834 0 55749 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 294176 KiB
Current children cumulated memory: 187952 KiB
[startup+6.30016 s]
/proc/loadavg: 1.09 1.62 2.46 5/266 118259
/proc/meminfo: memFree=119855008/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=295356 memory=188592 CPUtime=6.25 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 46780 0 3 0 616 9 0 0 20 0 1 0 141180272 302444544 47148 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 73839 47148 4288 2834 0 56044 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 295356 KiB
Current children cumulated memory: 188592 KiB
[startup+12.7002 s]
/proc/loadavg: 1.40 1.68 2.47 5/266 118259
/proc/meminfo: memFree=119760004/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=295696 memory=188976 CPUtime=12.63 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 46861 0 3 0 1254 9 0 0 20 0 1 0 141180272 302792704 47244 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 73924 47244 4288 2834 0 56129 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 295696 KiB
Current children cumulated memory: 188976 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 1.81 2.50 5/266 118259
/proc/meminfo: memFree=119646824/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=303372 memory=196632 CPUtime=25.39 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 48269 0 3 0 2530 9 0 0 20 0 1 0 141180272 310652928 49158 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 75843 49158 4288 2834 0 58048 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 303372 KiB
Current children cumulated memory: 196632 KiB
[startup+51.1055 s]
/proc/loadavg: 2.72 1.98 2.54 5/266 118260
/proc/meminfo: memFree=119529184/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=303372 memory=196760 CPUtime=50.92 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 48318 0 3 0 5083 9 0 0 20 0 1 0 141180272 310652928 49190 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 75843 49190 4288 2834 0 58048 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 303372 KiB
Current children cumulated memory: 196760 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.31 2.63 5/266 118261
/proc/meminfo: memFree=119188960/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=369452 memory=259008 CPUtime=101.96 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 64266 0 3 0 10184 12 0 0 20 0 1 0 141180272 378318848 64752 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 92363 64752 4352 2834 0 74568 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 369452 KiB
Current children cumulated memory: 259008 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.65 2.72 5/266 118263
/proc/meminfo: memFree=118941084/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=369452 memory=280512 CPUtime=161.8 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 64316 0 3 0 16168 12 0 0 20 0 1 0 141180272 378318848 70128 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 92363 70128 4352 2834 0 74568 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 369452 KiB
Current children cumulated memory: 280512 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.92 2.81 5/266 118265
/proc/meminfo: memFree=118656788/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=369452 memory=286016 CPUtime=221.64 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 64332 0 3 0 22152 12 0 0 20 0 1 0 141180272 378318848 71504 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 92363 71504 4352 2834 0 74568 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 369452 KiB
Current children cumulated memory: 286016 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.15 2.90 5/264 118267
/proc/meminfo: memFree=118504276/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=369452 memory=293696 CPUtime=281.49 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 64407 0 3 0 28137 12 0 0 20 0 1 0 141180272 378318848 73424 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 92363 73424 4352 2834 0 74568 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 369452 KiB
Current children cumulated memory: 293696 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.32 2.98 5/263 118270
/proc/meminfo: memFree=117935692/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=592440 memory=469064 CPUtime=341.35 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 76722 0 3 0 33308 827 0 0 20 0 1 0 141180272 606658560 117266 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 148110 117266 4544 2834 0 130315 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 592440 KiB
Current children cumulated memory: 469064 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.46 3.05 5/263 118272
/proc/meminfo: memFree=117204800/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=897776 memory=693784 CPUtime=401.2 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 105946 0 3 0 38644 1476 0 0 20 0 1 0 141180272 919322624 173446 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 224444 173446 4544 2834 0 206649 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 897776 KiB
Current children cumulated memory: 693784 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.59 3.12 5/263 118274
/proc/meminfo: memFree=116853184/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=1234840 memory=883668 CPUtime=461.05 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 135022 0 3 0 44224 1881 0 0 20 0 1 0 141180272 1264476160 220917 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 308710 220917 4544 2834 0 290915 0
################
# More data... #
################
Current children cumulated memory: 3364960 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 118404
/proc/meminfo: memFree=108511916/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=3938328 memory=3391432 CPUtime=2914.24 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 501740 0 3 0 284153 7271 0 0 20 0 1 0 141180272 4032847872 847858 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 984582 847858 4544 2834 0 966787 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 3938328 KiB
Current children cumulated memory: 3391432 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 118406
/proc/meminfo: memFree=108364976/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=3944216 memory=3415984 CPUtime=2974.06 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 504313 0 3 0 290033 7373 0 0 20 0 1 0 141180272 4038877184 853996 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 986054 853996 4544 2834 0 968259 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 3944216 KiB
Current children cumulated memory: 3415984 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 118415
/proc/meminfo: memFree=108345024/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=3950616 memory=3441720 CPUtime=3033.9 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 507565 0 3 0 295963 7427 0 0 20 0 1 0 141180272 4045430784 860430 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 987654 860430 4544 2834 0 969859 0
Current children cumulated CPU time: 3033.9 s
Current children cumulated vsize: 3950616 KiB
Current children cumulated memory: 3441720 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 118418
/proc/meminfo: memFree=108316108/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=3952920 memory=3464804 CPUtime=3093.72 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 509745 0 3 0 301883 7489 0 0 20 0 1 0 141180272 4047790080 866201 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 988230 866201 4544 2834 0 970435 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 3952920 KiB
Current children cumulated memory: 3464804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 118420
/proc/meminfo: memFree=108281256/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=3956504 memory=3488476 CPUtime=3153.55 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 512089 0 3 0 307795 7560 0 0 20 0 1 0 141180272 4051460096 872119 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 989126 872119 4544 2834 0 971331 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 3956504 KiB
Current children cumulated memory: 3488476 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118422
/proc/meminfo: memFree=108228480/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=3959832 memory=3513136 CPUtime=3213.38 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 515096 0 3 0 313721 7617 0 0 20 0 1 0 141180272 4054867968 878284 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 989958 878284 4544 2834 0 972163 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 3959832 KiB
Current children cumulated memory: 3513136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 118424
/proc/meminfo: memFree=108064828/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=4884884 memory=3539224 CPUtime=3273.21 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 518028 0 3 0 319628 7693 0 0 20 0 1 0 141180272 5002121216 884806 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 1221221 884806 4544 2834 0 1203426 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 4884884 KiB
Current children cumulated memory: 3539224 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 118427
/proc/meminfo: memFree=107983944/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=4886420 memory=3562868 CPUtime=3333.04 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 520370 0 3 0 325559 7745 0 0 20 0 1 0 141180272 5003694080 890717 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 1221605 890717 4544 2834 0 1203810 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 4886420 KiB
Current children cumulated memory: 3562868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 118429
/proc/meminfo: memFree=107947844/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=4889236 memory=3592204 CPUtime=3392.88 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 523530 0 3 0 331492 7796 0 0 20 0 1 0 141180272 5006577664 898051 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 1222309 898051 4544 2834 0 1204514 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 4889236 KiB
Current children cumulated memory: 3592204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 118431
/proc/meminfo: memFree=107768696/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=4891284 memory=3615116 CPUtime=3452.7 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 525686 0 3 0 337432 7838 0 0 20 0 1 0 141180272 5008674816 903779 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 1222821 903779 4544 2834 0 1205026 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 4891284 KiB
Current children cumulated memory: 3615116 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/263 118433
/proc/meminfo: memFree=107734056/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=4893844 memory=3638620 CPUtime=3512.53 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 528003 0 3 0 343371 7882 0 0 20 0 1 0 141180272 5011296256 909655 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 1223461 909655 4544 2834 0 1205666 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 4893844 KiB
Current children cumulated memory: 3638620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 118435
/proc/meminfo: memFree=107703192/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=4895636 memory=3661480 CPUtime=3572.35 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 530583 0 3 0 349309 7926 0 0 20 0 1 0 141180272 5013131264 915370 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 1223909 915370 4544 2834 0 1206114 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 4895636 KiB
Current children cumulated memory: 3661480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 118444
/proc/meminfo: memFree=107642232/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=4897684 memory=3675484 CPUtime=3600.07 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 532034 0 3 0 352074 7933 0 0 20 0 1 0 141180272 5015228416 918871 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 1224421 918871 4544 2834 0 1206626 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4897684 KiB
Current children cumulated memory: 3675484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.24 s]
# the end of solver process 118244 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3520.75 s, system=79.4607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 118444
/proc/meminfo: memFree=107642232/131250000 swapFree=33009904/33010684
[pid=118244] ppid=118234 vsize=3629636 memory=2203800 CPUtime=3600.17 cores=4,6
/proc/118244/stat : 118244 (mixed-bag) R 118234 118244 118184 0 -1 4194304 532046 0 3 0 352075 7942 0 0 20 0 1 0 141180272 3716747264 550950 18446744073709551615 4235264 15840557 140734277954224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 52879360 140734277958042 140734277958119 140734277958119 140734277963723 0
/proc/118244/statm: 772956 550950 4640 2834 0 755161 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 3629636 KiB
Current children cumulated memory: 2203800 KiB
Child status: 0
Real time (s): 3610.24
CPU time (s): 3600.22
CPU user time (s): 3520.75
CPU system time (s): 79.4607
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 4897684
Max. memory (cumulated for all children) (KiB): 3675484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3520.75
system time used= 79.4607
maximum resident set size= 3675868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532064
page faults= 3
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 4635
# summary of solver processes directly reported to runsolver:
# pid: 118244
# total CPU time (s): 3600.22
# total CPU user time (s): 3520.75
# total CPU system time (s): 79.4607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2954 second user time and 16.1978 second system time
The end
Begin job on nodeC033 at 2025-07-11 19:30:09
IDJOB=4528854
IDBENCH=146795
IDSOLVER=3386
FILE ID=nodeC033/4528854-1752255008
RUNJOBID= nodeC033-1752255008-118200
SLURM_JOB_ID= 9682592
Free space on /tmp= 429764 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528854-1752255008/watcher-4528854-1752255008 -o /tmp/evaluation-result-4528854-1752255008/solver-4528854-1752255008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118200 --watchdog 3760 mixed-bag HOME/instance-4528854-1752255008.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55b762fd6bb408eb2777c16ed585e3a1
RANDOM SEED=1778446000
nodeC033 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.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.837
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3572.421
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3586.254
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.874
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3623.346
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3341.877
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121053336 kB
MemAvailable: 129669844 kB
Buffers: 2128 kB
Cached: 9337804 kB
SwapCached: 68 kB
Active: 790476 kB
Inactive: 8615960 kB
Active(anon): 79144 kB
Inactive(anon): 5388 kB
Active(file): 711332 kB
Inactive(file): 8610572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 71280 kB
Writeback: 0 kB
AnonPages: 69584 kB
Mapped: 105900 kB
Shmem: 18028 kB
KReclaimable: 267684 kB
Slab: 362768 kB
SReclaimable: 267684 kB
SUnreclaim: 95084 kB
KernelStack: 4024 kB
PageTables: 2736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 342924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429692 MiB
End job on nodeC033 at 2025-07-11 20:30:19