0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.09 c [STEP] preprocessing with Papilo
0.08/0.16 c [STEP] solving with SCIP
299.52/300.35 c [STEP] preprocessing done, loading into solver
299.52/300.39 c [STEP] solving
299.52/300.39 c #variables 9801 #constraints 932
299.52/300.39 c SMALL=long long, LARGE=int128
299.52/300.39 d SCIPUB 2147483648
299.52/300.39 c bounds - >= 0 @ 299.378
299.52/300.39 c stratification level: 0
3600.07/3611.40 c bounds - >= 1073741825 @ 299.384
3600.07/3611.40 c bounds - >= 1073872896 @ 299.389
3600.07/3611.40 c bounds - >= 1073889280 @ 299.397
3600.07/3611.40 c bounds - >= 1073889792 @ 299.406
3600.07/3611.40 c bounds - >= 1073889920 @ 299.415
3600.07/3611.40 c bounds - >= 1073889984 @ 299.425
3600.07/3611.40 c bounds - >= 1073890016 @ 299.433
3600.07/3611.40 c bounds - >= 1073890032 @ 299.444
3600.07/3611.40 c bounds - >= 1073890040 @ 299.453
3600.07/3611.40 c bounds - >= 1073890042 @ 299.462
3600.07/3611.40 c bounds - >= 1073890044 @ 299.477
3600.07/3611.40 c bounds - >= 1073890048 @ 299.485
3600.07/3611.40 c bounds - >= 1073890304 @ 299.494
3600.07/3611.40 c bounds - >= 1073905664 @ 299.506
3600.07/3611.40 c bounds - >= 1073908736 @ 299.515
3600.07/3611.40 c bounds - >= 1073909760 @ 299.522
3600.07/3611.40 c bounds - >= 1073938432 @ 299.534
3600.07/3611.40 c bounds - >= 1073941504 @ 299.557
3600.07/3611.40 c bounds - >= 1074003968 @ 299.581
3600.07/3611.40 c bounds - >= 1074266112 @ 299.64
3600.07/3611.40 c bounds - >= 1074790400 @ 299.856
3600.07/3611.40 c #Conflicts: 1000 | #Constraints: 1964
3600.07/3611.40 c #Conflicts: 2000 | #Constraints: 2964
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c #Conflicts: 3000 | #Constraints: 3831
3600.07/3611.40 c #Conflicts: 4000 | #Constraints: 4831
3600.07/3611.40 c #Conflicts: 5000 | #Constraints: 5831
3600.07/3611.40 c #Conflicts: 6000 | #Constraints: 6831
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c #Conflicts: 7000 | #Constraints: 7583
3600.07/3611.40 c #Conflicts: 8000 | #Constraints: 8583
3600.07/3611.40 c #Conflicts: 9000 | #Constraints: 9583
3600.07/3611.40 c #Conflicts: 10000 | #Constraints: 10583
3600.07/3611.40 c #Conflicts: 11000 | #Constraints: 11583
3600.07/3611.40 c #Conflicts: 12000 | #Constraints: 12583
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c #Conflicts: 13000 | #Constraints: 13377
3600.07/3611.40 c #Conflicts: 14000 | #Constraints: 14377
3600.07/3611.40 c #Conflicts: 15000 | #Constraints: 15377
3600.07/3611.40 c #Conflicts: 16000 | #Constraints: 16377
3600.07/3611.40 c #Conflicts: 17000 | #Constraints: 17377
3600.07/3611.40 c #Conflicts: 18000 | #Constraints: 18377
3600.07/3611.40 c #Conflicts: 19000 | #Constraints: 19377
3600.07/3611.40 c #Conflicts: 20000 | #Constraints: 20377
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c #Conflicts: 21000 | #Constraints: 21190
3600.07/3611.40 c #Conflicts: 22000 | #Constraints: 22190
3600.07/3611.40 c #Conflicts: 23000 | #Constraints: 23190
3600.07/3611.40 c #Conflicts: 24000 | #Constraints: 24190
3600.07/3611.40 c #Conflicts: 25000 | #Constraints: 25190
3600.07/3611.40 c Program interrupted by user.
3600.07/3611.40 c cpu time 3522.06 s
3600.07/3611.40 c deterministic time 403558335461 4.04e+11
3600.07/3611.40 c optimization time 1240.03 s
3600.07/3611.40 c total solve time 1982.66 s
3600.07/3611.40 c core-guided solve time 1982.66 s
3600.07/3611.40 c propagation time 2997.47 s
3600.07/3611.40 c conflict analysis time 149.141 s
3600.07/3611.40 c propagations 107804790
3600.07/3611.40 c resolve steps 71968
3600.07/3611.40 c decisions 105511965
3600.07/3611.40 c conflicts 25383
3600.07/3611.40 c restarts 92
3600.07/3611.40 c inprocessing phases 4
3600.07/3611.40 c input clauses 2
3600.07/3611.40 c input cardinalities 708
3600.07/3611.40 c input general constraints 244
3600.07/3611.40 c input average constraint length 205.97
3600.07/3611.40 c input average constraint degree 404701484168.77
3600.07/3611.40 c learned clauses 62
3600.07/3611.40 c learned cardinalities 17
3600.07/3611.40 c learned general constraints 25315
3600.07/3611.40 c learned average constraint length 7803.07
3600.07/3611.40 c learned average constraint degree 654376268.15
3600.07/3611.40 c watched constraints 13991
3600.07/3611.40 c counting constraints 11568
3600.07/3611.40 c gcd simplifications 514
3600.07/3611.40 c detected cardinalities 9
3600.07/3611.40 c weakened non-implied lits 247490
3600.07/3611.40 c weakened non-implying lits 434
3600.07/3611.40 c original variables 11503
3600.07/3611.40 c clausal propagations 34613
3600.07/3611.40 c cardinality propagations 815069
3600.07/3611.40 c watched propagations 40166475
3600.07/3611.40 c counting propagations 66511563
3600.07/3611.40 c watch lookups 42311779597
3600.07/3611.40 c watch backjump lookups 42296621881
3600.07/3611.40 c watch checks 241041589113
3600.07/3611.40 c propagation checks 76885556482
3600.07/3611.40 c constraint additions 596129544
3600.07/3611.40 c trail pops 213342088
3600.07/3611.40 c formula constraints 932
3600.07/3611.40 c learned constraints 25394
3600.07/3611.40 c bound constraints 21
3600.07/3611.40 c core-guided constraints 1
3600.07/3611.40 c encountered formula constraints 20739
3600.07/3611.40 c encountered learned constraints 76613
3600.07/3611.40 c encountered bound constraints 0
3600.07/3611.40 c encountered core-guided constraints 0
3600.07/3611.40 c LP total time 0 s
3600.07/3611.40 c LP solve time 0 s
3600.07/3611.40 c LP constraints added 0
3600.07/3611.40 c LP constraints removed 0
3600.07/3611.40 c LP pivots internal 0
3600.07/3611.40 c LP pivots root 0
3600.07/3611.40 c LP calls 0
3600.07/3611.40 c LP optimalities 0
3600.07/3611.40 c LP no pivot count 0
3600.07/3611.40 c LP infeasibilities 0
3600.07/3611.40 c LP valid Farkas constraints 0
3600.07/3611.40 c LP learned Farkas constraints 0
3600.07/3611.40 c LP basis resets 0
3600.07/3611.40 c LP cycling count 0
3600.07/3611.40 c LP singular count 0
3600.07/3611.40 c LP no primal count 0
3600.07/3611.40 c LP no farkas count 0
3600.07/3611.40 c LP other issue count 0
3600.07/3611.40 c LP Gomory cuts 0
3600.07/3611.40 c LP learned cuts 0
3600.07/3611.40 c LP deleted cuts 0
3600.07/3611.40 c LP encountered Gomory constraints 0
3600.07/3611.40 c LP encountered Farkas constraints 0
3600.07/3611.40 c LP encountered learned Farkas constraints 0
3600.07/3611.40 c CG auxiliary variables introduced 0
3600.07/3611.40 c CG solutions found 0
3600.07/3611.40 c CG cores constructed 21
3600.07/3611.40 c CG core cardinality constraints returned 0
3600.07/3611.40 c CG unit cores 0
3600.07/3611.40 c CG single cores 10
3600.07/3611.40 c CG blocks removed during cardinality reduction 1
3600.07/3611.40 c CG first core best 0
3600.07/3611.40 c CG decision core best 0
3600.07/3611.40 c CG core reduction tie 11
3600.07/3611.40 c CG core degree average 1.00
3600.07/3611.40 c CG core slack average 15.29
3600.07/3611.40 c CG exhausted 0
3600.07/3611.40 c CG exhaust time 0 s
3600.07/3611.40 c CG trimmed 0
3600.07/3611.40 c CG trim time 0.058656 s
3600.07/3611.40 c CG minimized 0
3600.07/3611.40 c CG minimize time 0 s
3600.07/3611.40 c CG am1 prop time 0.000769 s
3600.07/3611.40 c CG # am1s reformulated 0
3600.07/3611.40 c CG lower bound derived from am1s 0
3600.07/3611.40 c CG # clausal cores 30
3600.07/3611.40 c CG # cardinality cores 0
3600.07/3611.40 c CG # pb cores 2
3600.07/3611.40 c CG # pb reforms 0
3600.07/3611.40 c CG # cores discarded because of pb reform 0
3600.07/3611.40 d LOWERBOUND 1074790400
3600.07/3611.40 d NCORES 21
3600.07/3611.40 d NPBCORES 2
3600.07/3611.40 d NPBREFORM 0
3600.07/3611.40 d NTRIMMED 0
3600.07/3611.40 d NEXHAUSTED 0
3600.07/3611.40 d NAM1S 0
3600.07/3611.40 d AM1LB 0
3600.07/3611.40 c [Papilo Statistics]
3600.07/3611.40 c prepro time 0.0638596s
3600.07/3611.40 c # tsx applied 3939
3600.07/3611.40 c # tsx conflicts 0
3600.07/3611.40 c # bound changes 1664
3600.07/3611.40 c # side changes 87
3600.07/3611.40 c # coef changes 92
3600.07/3611.40 c # rounds 3
3600.07/3611.40 c # deted vars 1703
3600.07/3611.40 c # deted constrs 127
3600.07/3611.40 c # consecutive rounds of only bound changes 0
3600.07/3611.44 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 (61079 MiB free)
memory of node 1: 64465 MiB (63316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485449-1751286918/watcher-4485449-1751286918 -o /tmp/evaluation-result-4485449-1751286918/solver-4485449-1751286918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40749 --watchdog 3760 mixed-bag HOME/instance-4485449-1751286918.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41620, runsolver pid=41613
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127358892/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=111944 memory=31896 CPUtime=0.08 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 6660 0 0 0 7 1 0 0 20 0 1 0 44370477 114630656 7974 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 27986 7974 2272 2842 0 9680 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 111944 KiB
Current children cumulated memory: 31896 KiB
[startup+0.205457 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127302128/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=142080 memory=67208 CPUtime=0.18 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 14355 0 0 0 16 2 0 0 20 0 1 0 44370477 145489920 16802 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 35520 16802 4096 2842 0 17214 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 142080 KiB
Current children cumulated memory: 67208 KiB
[startup+0.305413 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127225772/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=162312 memory=84672 CPUtime=0.28 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 18996 0 0 0 25 3 0 0 20 0 1 0 44370477 166207488 21168 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 40578 21168 4096 2842 0 22272 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 162312 KiB
Current children cumulated memory: 84672 KiB
[startup+0.700133 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127185324/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=248704 memory=140888 CPUtime=0.66 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 34183 0 0 0 61 5 0 0 20 0 1 0 44370477 254672896 35222 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 62176 35222 4128 2842 0 43870 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 248704 KiB
Current children cumulated memory: 140888 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127073056/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=296000 memory=186840 CPUtime=1.47 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 45617 0 0 0 140 7 0 0 20 0 1 0 44370477 303104000 46710 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 74000 46710 4288 2842 0 55694 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 296000 KiB
Current children cumulated memory: 186840 KiB
[startup+3.10461 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=126864088/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=378980 memory=262244 CPUtime=3.06 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 64423 0 0 0 296 10 0 0 20 0 1 0 44370477 388075520 65561 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 94745 65561 4288 2842 0 76439 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 378980 KiB
Current children cumulated memory: 262244 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 4.14 4.10 5/265 41621
/proc/meminfo: memFree=126771860/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=378980 memory=266084 CPUtime=6.25 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 65407 0 0 0 615 10 0 0 20 0 1 0 44370477 388075520 66521 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 94745 66521 4288 2842 0 76439 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 378980 KiB
Current children cumulated memory: 266084 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 41621
/proc/meminfo: memFree=126772380/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=378980 memory=266340 CPUtime=12.64 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 65448 0 0 0 1253 11 0 0 20 0 1 0 44370477 388075520 66585 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 94745 66585 4288 2842 0 76439 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 378980 KiB
Current children cumulated memory: 266340 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.10 5/265 41622
/proc/meminfo: memFree=126675620/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=428448 memory=311576 CPUtime=25.41 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 78273 0 0 0 2528 13 0 0 20 0 1 0 44370477 438730752 77894 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 107112 77894 4288 2842 0 88806 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 428448 KiB
Current children cumulated memory: 311576 KiB
[startup+51.1046 s]
/proc/loadavg: 4.16 4.15 4.10 5/265 41622
/proc/meminfo: memFree=126498720/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=440040 memory=331036 CPUtime=50.94 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 88780 0 0 0 5079 15 0 0 20 0 1 0 44370477 450600960 82759 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 110010 82759 4288 2842 0 91704 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 440040 KiB
Current children cumulated memory: 331036 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 41624
/proc/meminfo: memFree=126373908/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=440040 memory=331420 CPUtime=102.01 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 88795 0 0 0 10186 15 0 0 20 0 1 0 44370477 450600960 82855 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 110010 82855 4384 2842 0 91704 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 440040 KiB
Current children cumulated memory: 331420 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 41626
/proc/meminfo: memFree=125890936/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=484048 memory=373196 CPUtime=161.86 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 107273 0 0 0 16168 18 0 0 20 0 1 0 44370477 495665152 93299 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 121012 93299 4384 2842 0 102706 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 484048 KiB
Current children cumulated memory: 373196 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 41673
/proc/meminfo: memFree=126149948/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=500016 memory=390368 CPUtime=221.71 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 121301 0 0 0 22150 21 0 0 20 0 1 0 44370477 512016384 97592 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 125004 97592 4384 2842 0 106698 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 500016 KiB
Current children cumulated memory: 390368 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 41676
/proc/meminfo: memFree=125878196/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=507652 memory=398956 CPUtime=281.57 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 135338 0 0 0 28133 24 0 0 20 0 1 0 44370477 519835648 99739 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 126913 99739 4384 2842 0 108607 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 507652 KiB
Current children cumulated memory: 398956 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 41678
/proc/meminfo: memFree=125113636/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=678400 memory=535644 CPUtime=341.41 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 140046 0 0 0 33312 829 0 0 20 0 1 0 44370477 694681600 133911 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 169600 133911 4576 2842 0 151294 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 678400 KiB
Current children cumulated memory: 535644 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 41687
/proc/meminfo: memFree=124409812/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=810660 memory=657288 CPUtime=401.25 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 143370 0 0 0 38669 1456 0 0 20 0 1 0 44370477 830115840 164322 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 202665 164322 4576 2842 0 184359 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 810660 KiB
Current children cumulated memory: 657288 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 41689
/proc/meminfo: memFree=123861508/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=1022348 memory=890060 CPUtime=461.09 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 182650 0 0 0 44260 1849 0 0 20 0 1 0 44370477 1046884352 222515 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 255587 222515 4576 2842 0 237281 0
################
# More data... #
################
Current children cumulated memory: 3317476 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 41818
/proc/meminfo: memFree=115560044/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3933908 memory=3347164 CPUtime=2853.22 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 542711 0 0 0 278292 7030 0 0 20 0 1 0 44370477 4028321792 836791 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 983477 836791 4576 2842 0 965171 0
Current children cumulated CPU time: 2853.22 s
Current children cumulated vsize: 3933908 KiB
Current children cumulated memory: 3347164 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 41820
/proc/meminfo: memFree=115546648/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3937748 memory=3370948 CPUtime=2913.04 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 545111 0 0 0 284196 7108 0 0 20 0 1 0 44370477 4032253952 842737 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 984437 842737 4576 2842 0 966131 0
Current children cumulated CPU time: 2913.04 s
Current children cumulated vsize: 3937748 KiB
Current children cumulated memory: 3370948 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/265 41823
/proc/meminfo: memFree=115404720/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3943636 memory=3396564 CPUtime=2972.86 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 547936 0 0 0 290097 7189 0 0 20 0 1 0 44370477 4038283264 849141 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 985909 849141 4576 2842 0 967603 0
Current children cumulated CPU time: 2972.86 s
Current children cumulated vsize: 3943636 KiB
Current children cumulated memory: 3396564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/265 41825
/proc/meminfo: memFree=115367208/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3949012 memory=3418776 CPUtime=3032.69 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 550866 0 0 0 295986 7283 0 0 20 0 1 0 44370477 4043788288 854694 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 987253 854694 4576 2842 0 968947 0
Current children cumulated CPU time: 3032.69 s
Current children cumulated vsize: 3949012 KiB
Current children cumulated memory: 3418776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 41827
/proc/meminfo: memFree=115237260/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3954648 memory=3443724 CPUtime=3092.52 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 553535 0 0 0 301918 7334 0 0 20 0 1 0 44370477 4049559552 860931 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 988662 860931 4576 2842 0 970356 0
Current children cumulated CPU time: 3092.52 s
Current children cumulated vsize: 3954648 KiB
Current children cumulated memory: 3443724 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.17 4.12 5/263 41829
/proc/meminfo: memFree=115195412/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3959256 memory=3467868 CPUtime=3152.34 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 555991 0 0 0 307838 7396 0 0 20 0 1 0 44370477 4054278144 866967 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 989814 866967 4576 2842 0 971508 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 3959256 KiB
Current children cumulated memory: 3467868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/264 41832
/proc/meminfo: memFree=115113636/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3963096 memory=3491612 CPUtime=3212.15 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 558614 0 0 0 313750 7465 0 0 20 0 1 0 44370477 4058210304 872903 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 990774 872903 4576 2842 0 972468 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 3963096 KiB
Current children cumulated memory: 3491612 KiB
[startup+3282.3 s]
/proc/loadavg: 3.99 4.13 4.11 4/258 41864
/proc/meminfo: memFree=118359856/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=3966168 memory=3515864 CPUtime=3271.98 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 561474 0 0 0 319678 7520 0 0 20 0 1 0 44370477 4061356032 878966 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 991542 878966 4576 2842 0 973236 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 3966168 KiB
Current children cumulated memory: 3515864 KiB
[startup+3342.3 s]
/proc/loadavg: 3.42 3.94 4.04 4/258 41867
/proc/meminfo: memFree=118209356/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=4891220 memory=3539452 CPUtime=3331.79 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 564291 0 0 0 325588 7591 0 0 20 0 1 0 44370477 5008609280 884863 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 1222805 884863 4576 2842 0 1204499 0
Current children cumulated CPU time: 3331.79 s
Current children cumulated vsize: 4891220 KiB
Current children cumulated memory: 3539452 KiB
[startup+3402.3 s]
/proc/loadavg: 3.25 3.80 3.98 4/258 41868
/proc/meminfo: memFree=118201032/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=4893268 memory=3562848 CPUtime=3391.61 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 566580 0 0 0 331512 7649 0 0 20 0 1 0 44370477 5010706432 890712 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 1223317 890712 4576 2842 0 1205011 0
Current children cumulated CPU time: 3391.61 s
Current children cumulated vsize: 4893268 KiB
Current children cumulated memory: 3562848 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.68 3.93 4/259 41877
/proc/meminfo: memFree=118128448/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=4896340 memory=3589764 CPUtime=3451.43 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 570029 0 0 0 337450 7693 0 0 20 0 1 0 44370477 5013852160 897441 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 1224085 897441 4576 2842 0 1205779 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 4896340 KiB
Current children cumulated memory: 3589764 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.55 3.87 4/259 41879
/proc/meminfo: memFree=118108520/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=4899924 memory=3613948 CPUtime=3511.24 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 572437 0 0 0 343393 7731 0 0 20 0 1 0 44370477 5017522176 903487 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 1224981 903487 4576 2842 0 1206675 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 4899924 KiB
Current children cumulated memory: 3613948 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.48 3.82 4/258 41881
/proc/meminfo: memFree=117999048/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=4901204 memory=3655896 CPUtime=3571.06 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 574407 0 0 0 349338 7768 0 0 20 0 1 0 44370477 5018832896 913974 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 1225301 913974 4576 2842 0 1206995 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 4901204 KiB
Current children cumulated memory: 3655896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.08 3.43 3.79 3/254 41890
/proc/meminfo: memFree=123641324/131250000 swapFree=33010684/33010684
[pid=41620] ppid=41613 vsize=4902996 memory=3677872 CPUtime=3600.07 cores=5,7
/proc/41620/stat : 41620 (mixed-bag) R 41613 41620 40736 0 -1 4194304 575436 0 0 0 352205 7802 0 0 20 0 1 0 44370477 5020667904 919468 18446744073709551615 4235264 15874749 140728487908560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38912000 140728487913884 140728487913961 140728487913961 140728487919563 0
/proc/41620/statm: 1225749 919468 4576 2842 0 1207443 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4902996 KiB
Current children cumulated memory: 3677872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.47 s]
# the end of solver process 41620 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3522.06 s, system=78.0853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.47
CPU time (s): 3600.15
CPU user time (s): 3522.06
CPU system time (s): 78.0853
CPU usage (%): 99.6866
Max. virtual memory (cumulated for all children) (KiB): 4902996
Max. memory (cumulated for all children) (KiB): 3677872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3522.06
system time used= 78.0853
maximum resident set size= 3678384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575471
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= 169
involuntary context switches= 5661
# summary of solver processes directly reported to runsolver:
# pid: 41620
# total CPU time (s): 3600.15
# total CPU user time (s): 3522.06
# total CPU system time (s): 78.0853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4989 second user time and 15.096 second system time
The end
Begin job on nodeC026 at 2025-06-30 14:35:18
IDJOB=4485449
IDBENCH=146795
IDSOLVER=3340
FILE ID=nodeC026/4485449-1751286918
RUNJOBID= nodeC026-1751279693-40749
SLURM_JOB_ID= 9594219
Free space on /tmp= 433024 MiB
SOLVER NAME= mixed-bag-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= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485449-1751286918/watcher-4485449-1751286918 -o /tmp/evaluation-result-4485449-1751286918/solver-4485449-1751286918 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40749 --watchdog 3760 mixed-bag HOME/instance-4485449-1751286918.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55b762fd6bb408eb2777c16ed585e3a1
RANDOM SEED=764572076
nodeC026 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.781
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.59
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.799
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.59
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 : 3593.835
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.59
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 : 3599.420
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.59
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.777
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.298
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.59
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 : 3600.088
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.667
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127381696 kB
MemAvailable: 128455824 kB
Buffers: 3280 kB
Cached: 1870932 kB
SwapCached: 0 kB
Active: 1616828 kB
Inactive: 1613108 kB
Active(anon): 1373804 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1613108 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34580 kB
Writeback: 0 kB
AnonPages: 1358124 kB
Mapped: 128260 kB
Shmem: 18080 kB
KReclaimable: 114472 kB
Slab: 201868 kB
SReclaimable: 114472 kB
SUnreclaim: 87396 kB
KernelStack: 4240 kB
PageTables: 5908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1814876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 638976 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC026 at 2025-06-30 15:35:30