0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.62/300.40 c [STEP] preprocessing done, loading into solver
299.62/300.42 c [STEP] solving
299.62/300.42 c #variables 7133 #constraints 593
299.62/300.42 c SMALL=long long, LARGE=int128
299.62/300.42 d SCIPUB 2147483648
299.62/300.42 c bounds - >= 0 @ 299.361
299.62/300.42 c stratification level: 0
3600.00/3610.10 c bounds - >= 1073741825 @ 299.366
3600.00/3610.10 c bounds - >= 1073807360 @ 299.369
3600.00/3610.10 c bounds - >= 1073823744 @ 299.374
3600.00/3610.10 c bounds - >= 1073825792 @ 299.38
3600.00/3610.10 c bounds - >= 1073826816 @ 299.385
3600.00/3610.10 c bounds - >= 1073826944 @ 299.389
3600.00/3610.10 c bounds - >= 1073827008 @ 299.394
3600.00/3610.10 c bounds - >= 1073827016 @ 299.397
3600.00/3610.10 c bounds - >= 1073827018 @ 299.401
3600.00/3610.10 c bounds - >= 1073840128 @ 299.408
3600.00/3610.10 c bounds - >= 1073872896 @ 299.414
3600.00/3610.10 c bounds - >= 1073872898 @ 299.442
3600.00/3610.10 c bounds - >= 1073873718 @ 299.447
3600.00/3610.10 c bounds - >= 1073877814 @ 299.45
3600.00/3610.10 c bounds - >= 1074003968 @ 299.452
3600.00/3610.10 c bounds - >= 1074003972 @ 299.733
3600.00/3610.10 c bounds - >= 1074003988 @ 299.804
3600.00/3610.10 c bounds - >= 1074004020 @ 300.113
3600.00/3610.10 c bounds - >= 1074004276 @ 300.307
3600.00/3610.10 c bounds - >= 1074266112 @ 300.538
3600.00/3610.10 c #Conflicts: 1000 | #Constraints: 1614
3600.00/3610.10 c bounds - >= 1074790400 @ 313.419
3600.00/3610.10 c #Conflicts: 2000 | #Constraints: 2615
3600.00/3610.10 c INPROCESSING
3600.00/3610.10 c #Conflicts: 3000 | #Constraints: 3484
3600.00/3610.10 c #Conflicts: 4000 | #Constraints: 4484
3600.00/3610.10 c #Conflicts: 5000 | #Constraints: 5484
3600.00/3610.10 c #Conflicts: 6000 | #Constraints: 6484
3600.00/3610.10 c INPROCESSING
3600.00/3610.10 c #Conflicts: 7000 | #Constraints: 7337
3600.00/3610.10 c #Conflicts: 8000 | #Constraints: 8337
3600.00/3610.10 c #Conflicts: 9000 | #Constraints: 9337
3600.00/3610.10 c #Conflicts: 10000 | #Constraints: 10337
3600.00/3610.10 c #Conflicts: 11000 | #Constraints: 11337
3600.00/3610.10 c #Conflicts: 12000 | #Constraints: 12337
3600.00/3610.10 c INPROCESSING
3600.00/3610.10 c #Conflicts: 13000 | #Constraints: 13245
3600.00/3610.10 c #Conflicts: 14000 | #Constraints: 14245
3600.00/3610.10 c #Conflicts: 15000 | #Constraints: 15245
3600.00/3610.10 c #Conflicts: 16000 | #Constraints: 16245
3600.00/3610.10 c #Conflicts: 17000 | #Constraints: 17245
3600.00/3610.10 c #Conflicts: 18000 | #Constraints: 18245
3600.00/3610.10 c #Conflicts: 19000 | #Constraints: 19245
3600.00/3610.10 c #Conflicts: 20000 | #Constraints: 20245
3600.00/3610.10 c INPROCESSING
3600.00/3610.10 c #Conflicts: 21000 | #Constraints: 21142
3600.00/3610.10 c #Conflicts: 22000 | #Constraints: 22142
3600.00/3610.10 c #Conflicts: 23000 | #Constraints: 23142
3600.00/3610.10 c #Conflicts: 24000 | #Constraints: 24142
3600.00/3610.10 c #Conflicts: 25000 | #Constraints: 25142
3600.00/3610.10 c Program interrupted by user.
3600.00/3610.10 c cpu time 3509 s
3600.00/3610.10 c deterministic time 559244078653 5.59e+11
3600.00/3610.10 c optimization time 1479.21 s
3600.00/3610.10 c total solve time 1730.43 s
3600.00/3610.10 c core-guided solve time 1730.43 s
3600.00/3610.10 c propagation time 3075 s
3600.00/3610.10 c conflict analysis time 58.6238 s
3600.00/3610.10 c propagations 42494065
3600.00/3610.10 c resolve steps 75990
3600.00/3610.10 c decisions 118310205
3600.00/3610.10 c conflicts 25929
3600.00/3610.10 c restarts 93
3600.00/3610.10 c inprocessing phases 4
3600.00/3610.10 c input clauses 2
3600.00/3610.10 c input cardinalities 420
3600.00/3610.10 c input general constraints 193
3600.00/3610.10 c input average constraint length 252.91
3600.00/3610.10 c input average constraint degree 514962818939.92
3600.00/3610.10 c learned clauses 49
3600.00/3610.10 c learned cardinalities 9
3600.00/3610.10 c learned general constraints 25872
3600.00/3610.10 c learned average constraint length 5778.43
3600.00/3610.10 c learned average constraint degree 488780042.60
3600.00/3610.10 c watched constraints 20008
3600.00/3610.10 c counting constraints 6057
3600.00/3610.10 c gcd simplifications 254
3600.00/3610.10 c detected cardinalities 9
3600.00/3610.10 c weakened non-implied lits 95320
3600.00/3610.10 c weakened non-implying lits 234
3600.00/3610.10 c original variables 7287
3600.00/3610.10 c clausal propagations 11352
3600.00/3610.10 c cardinality propagations 3127266
3600.00/3610.10 c watched propagations 17292016
3600.00/3610.10 c counting propagations 21892923
3600.00/3610.10 c watch lookups 35719775879
3600.00/3610.10 c watch backjump lookups 35708712938
3600.00/3610.10 c watch checks 358605182137
3600.00/3610.10 c propagation checks 128462713753
3600.00/3610.10 c constraint additions 426063756
3600.00/3610.10 c trail pops 160825919
3600.00/3610.10 c formula constraints 593
3600.00/3610.10 c learned constraints 25930
3600.00/3610.10 c bound constraints 21
3600.00/3610.10 c core-guided constraints 1
3600.00/3610.10 c encountered formula constraints 32054
3600.00/3610.10 c encountered learned constraints 69866
3600.00/3610.10 c encountered bound constraints 0
3600.00/3610.10 c encountered core-guided constraints 0
3600.00/3610.10 c LP total time 0 s
3600.00/3610.10 c LP solve time 0 s
3600.00/3610.10 c LP constraints added 0
3600.00/3610.10 c LP constraints removed 0
3600.00/3610.10 c LP pivots internal 0
3600.00/3610.10 c LP pivots root 0
3600.00/3610.10 c LP calls 0
3600.00/3610.10 c LP optimalities 0
3600.00/3610.10 c LP no pivot count 0
3600.00/3610.10 c LP infeasibilities 0
3600.00/3610.10 c LP valid Farkas constraints 0
3600.00/3610.10 c LP learned Farkas constraints 0
3600.00/3610.10 c LP basis resets 0
3600.00/3610.10 c LP cycling count 0
3600.00/3610.10 c LP singular count 0
3600.00/3610.10 c LP no primal count 0
3600.00/3610.10 c LP no farkas count 0
3600.00/3610.10 c LP other issue count 0
3600.00/3610.10 c LP Gomory cuts 0
3600.00/3610.10 c LP learned cuts 0
3600.00/3610.10 c LP deleted cuts 0
3600.00/3610.10 c LP encountered Gomory constraints 0
3600.00/3610.10 c LP encountered Farkas constraints 0
3600.00/3610.10 c LP encountered learned Farkas constraints 0
3600.00/3610.10 c CG auxiliary variables introduced 0
3600.00/3610.10 c CG solutions found 0
3600.00/3610.10 c CG cores constructed 21
3600.00/3610.10 c CG core cardinality constraints returned 0
3600.00/3610.10 c CG unit cores 0
3600.00/3610.10 c CG single cores 20
3600.00/3610.10 c CG blocks removed during cardinality reduction 14
3600.00/3610.10 c CG first core best 0
3600.00/3610.10 c CG decision core best 0
3600.00/3610.10 c CG core reduction tie 1
3600.00/3610.10 c CG core degree average 1.00
3600.00/3610.10 c CG core slack average 14.19
3600.00/3610.10 c CG exhausted 0
3600.00/3610.10 c CG exhaust time 0 s
3600.00/3610.10 c CG trimmed 0
3600.00/3610.10 c CG trim time 0.032648 s
3600.00/3610.10 c CG minimized 0
3600.00/3610.10 c CG minimize time 0 s
3600.00/3610.10 c CG am1 prop time 0.000135 s
3600.00/3610.10 c CG # am1s reformulated 0
3600.00/3610.10 c CG lower bound derived from am1s 0
3600.00/3610.10 c CG # clausal cores 19
3600.00/3610.10 c CG # cardinality cores 0
3600.00/3610.10 c CG # pb cores 3
3600.00/3610.10 c CG # pb reforms 0
3600.00/3610.10 c CG # cores discarded because of pb reform 0
3600.00/3610.10 d LOWERBOUND 1074790400
3600.00/3610.10 d NCORES 21
3600.00/3610.10 d NPBCORES 3
3600.00/3610.10 d NPBREFORM 0
3600.00/3610.10 d NTRIMMED 0
3600.00/3610.10 d NEXHAUSTED 0
3600.00/3610.10 d NAM1S 0
3600.00/3610.10 d AM1LB 0
3600.00/3610.10 c [Papilo Statistics]
3600.00/3610.10 c prepro time 0.041073s
3600.00/3610.10 c # tsx applied 590
3600.00/3610.10 c # tsx conflicts 4
3600.00/3610.10 c # bound changes 132
3600.00/3610.10 c # side changes 66
3600.00/3610.10 c # coef changes 72
3600.00/3610.10 c # rounds 3
3600.00/3610.10 c # deted vars 155
3600.00/3610.10 c # deted constrs 2
3600.00/3610.10 c # consecutive rounds of only bound changes 0
3600.00/3610.14 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: 63968 MiB (60225 MiB free)
memory of node 1: 64473 MiB (62761 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454649-1721442471/watcher-4454649-1721442471 -o /tmp/evaluation-result-4454649-1721442471/solver-4454649-1721442471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721438873-1042995 --watchdog 3760 mixed-bag HOME/instance-4454649-1721442471.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1045021, runsolver pid=1045018
[startup+0.101 s]*
/proc/loadavg: 4.12 4.13 4.06 5/257 1045032
/proc/meminfo: memFree=125901888/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=104048 memory=37188 CPUtime=0.1 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 6656 0 0 0 9 1 0 0 20 0 1 0 196415983 106545152 9297 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 26012 9297 3623 3002 0 9761 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 104048 KiB
Current children cumulated memory: 37188 KiB
[startup+0.205668 s]*
/proc/loadavg: 4.12 4.13 4.06 5/257 1045032
/proc/meminfo: memFree=125861836/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=141768 memory=71508 CPUtime=0.2 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 15721 0 0 0 18 2 0 0 20 0 1 0 196415983 145170432 17877 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 35442 17877 3783 3002 0 19191 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141768 KiB
Current children cumulated memory: 71508 KiB
[startup+0.30563 s]*
/proc/loadavg: 4.12 4.13 4.06 5/257 1045032
/proc/meminfo: memFree=125860380/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=141424 memory=71184 CPUtime=0.29 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 16998 0 0 0 27 2 0 0 20 0 1 0 196415983 144818176 17796 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 35356 17796 3815 3002 0 19105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141424 KiB
Current children cumulated memory: 71184 KiB
[startup+0.700218 s]
/proc/loadavg: 4.12 4.13 4.06 5/257 1045032
/proc/meminfo: memFree=125812128/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=154988 memory=82844 CPUtime=0.69 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 19505 0 0 0 66 3 0 0 20 0 1 0 196415983 158707712 20711 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 38747 20711 3815 3002 0 22496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 154988 KiB
Current children cumulated memory: 82844 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.13 4.06 5/257 1045032
/proc/meminfo: memFree=125646092/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=246932 memory=154052 CPUtime=1.48 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 37941 0 0 0 143 5 0 0 20 0 1 0 196415983 252858368 38513 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 61733 38513 4020 3002 0 45482 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 246932 KiB
Current children cumulated memory: 154052 KiB
[startup+3.10554 s]
/proc/loadavg: 4.11 4.13 4.06 5/257 1045032
/proc/meminfo: memFree=125493828/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=312440 memory=216240 CPUtime=3.08 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 54489 0 0 0 300 8 0 0 20 0 1 0 196415983 319938560 54060 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 78110 54060 4036 3002 0 61859 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 312440 KiB
Current children cumulated memory: 216240 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.13 4.06 5/257 1045078
/proc/meminfo: memFree=126187848/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=312440 memory=218612 CPUtime=6.27 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 55068 0 0 0 619 8 0 0 20 0 1 0 196415983 319938560 54653 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 78110 54653 4036 3002 0 61859 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 312440 KiB
Current children cumulated memory: 218612 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.06 5/257 1045080
/proc/meminfo: memFree=126020488/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=321580 memory=228504 CPUtime=12.66 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 56551 0 0 0 1257 9 0 0 20 0 1 0 196415983 329297920 57126 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 80395 57126 4036 3002 0 64144 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 321580 KiB
Current children cumulated memory: 228504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.07 5/257 1045081
/proc/meminfo: memFree=125900428/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=340852 memory=248788 CPUtime=25.43 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 62486 0 0 0 2533 10 0 0 20 0 1 0 196415983 349032448 62197 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 85213 62197 4036 3002 0 68962 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 340852 KiB
Current children cumulated memory: 248788 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.12 4.06 5/257 1045254
/proc/meminfo: memFree=125763948/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=421468 memory=326476 CPUtime=50.97 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 86892 0 0 0 5083 14 0 0 20 0 1 0 196415983 431583232 81619 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 105367 81619 4036 3002 0 89116 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 421468 KiB
Current children cumulated memory: 326476 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.06 5/256 1045262
/proc/meminfo: memFree=125328688/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=638764 memory=545072 CPUtime=102.04 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 141810 0 0 0 10181 23 0 0 20 0 1 0 196415983 654094336 136268 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 159691 136268 4036 3002 0 143440 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 638764 KiB
Current children cumulated memory: 545072 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.06 5/257 1045273
/proc/meminfo: memFree=125177728/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=658696 memory=564164 CPUtime=161.88 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 147097 0 0 0 16163 25 0 0 20 0 1 0 196415983 674504704 141041 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 164674 141041 4036 3002 0 148423 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 658696 KiB
Current children cumulated memory: 564164 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/259 1045344
/proc/meminfo: memFree=125070636/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=661868 memory=569916 CPUtime=221.73 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 148625 0 0 0 22148 25 0 0 20 0 1 0 196415983 677752832 142479 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 165467 142479 4036 3002 0 149216 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 661868 KiB
Current children cumulated memory: 569916 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/259 1045356
/proc/meminfo: memFree=125004436/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=679936 memory=585856 CPUtime=281.57 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 157017 0 0 0 28130 27 0 0 20 0 1 0 196415983 696254464 146464 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 169984 146464 4036 3002 0 153733 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 679936 KiB
Current children cumulated memory: 585856 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.08 5/259 1045366
/proc/meminfo: memFree=124860080/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=904964 memory=740632 CPUtime=341.42 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 175470 0 0 0 33380 762 0 0 20 0 1 0 196415983 926683136 185158 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 226241 185158 4212 3002 0 209990 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 904964 KiB
Current children cumulated memory: 740632 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/258 1045377
/proc/meminfo: memFree=124690056/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=1037224 memory=832792 CPUtime=401.28 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 177149 0 0 0 38734 1394 0 0 20 0 1 0 196415983 1062117376 208198 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 259306 208198 4212 3002 0 243055 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 1037224 KiB
Current children cumulated memory: 832792 KiB
[startup+462.3 s]
/proc/loadavg: 4.47 4.21 4.11 5/257 1045387
/proc/meminfo: memFree=124612624/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=1037224 memory=891156 CPUtime=461.13 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 177496 0 0 0 44301 1812 0 0 20 0 1 0 196415983 1062117376 222789 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 259306 222789 4212 3002 0 243055 0
################
# More data... #
################
Current children cumulated memory: 2511572 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1046406
/proc/meminfo: memFree=121640324/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3261908 memory=2528612 CPUtime=2914.31 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 405320 0 0 0 283332 8099 0 0 20 0 1 0 196415983 3340193792 632153 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 815477 632153 4212 3002 0 799226 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 3261908 KiB
Current children cumulated memory: 2528612 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 1046418
/proc/meminfo: memFree=121591280/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3262932 memory=2545016 CPUtime=2974.13 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 408285 0 0 0 289220 8193 0 0 20 0 1 0 196415983 3341242368 636254 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 815733 636254 4212 3002 0 799482 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 3262932 KiB
Current children cumulated memory: 2545016 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 1046428
/proc/meminfo: memFree=121555816/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3263444 memory=2561676 CPUtime=3033.95 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 410802 0 0 0 295113 8282 0 0 20 0 1 0 196415983 3341766656 640419 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 815861 640419 4212 3002 0 799610 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 3263444 KiB
Current children cumulated memory: 2561676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 1046438
/proc/meminfo: memFree=121533972/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3264724 memory=2577848 CPUtime=3093.77 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 412976 0 0 0 301006 8371 0 0 20 0 1 0 196415983 3343077376 644462 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 816181 644462 4212 3002 0 799930 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 3264724 KiB
Current children cumulated memory: 2577848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1046448
/proc/meminfo: memFree=121505220/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3264980 memory=2595888 CPUtime=3153.59 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 415151 0 0 0 306900 8459 0 0 20 0 1 0 196415983 3343339520 648972 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 816245 648972 4212 3002 0 799994 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 3264980 KiB
Current children cumulated memory: 2595888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 1046464
/proc/meminfo: memFree=121474304/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3267028 memory=2613264 CPUtime=3213.4 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 417691 0 0 0 312791 8549 0 0 20 0 1 0 196415983 3345436672 653316 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 816757 653316 4212 3002 0 800506 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 3267028 KiB
Current children cumulated memory: 2613264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 1046475
/proc/meminfo: memFree=121438332/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3267284 memory=2629028 CPUtime=3273.22 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 419682 0 0 0 318689 8633 0 0 20 0 1 0 196415983 3345698816 657257 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 816821 657257 4212 3002 0 800570 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 3267284 KiB
Current children cumulated memory: 2629028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 1046486
/proc/meminfo: memFree=121389892/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3267796 memory=2647648 CPUtime=3333.03 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 422053 0 0 0 324587 8716 0 0 20 0 1 0 196415983 3346223104 661912 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 816949 661912 4212 3002 0 800698 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 3267796 KiB
Current children cumulated memory: 2647648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 1046497
/proc/meminfo: memFree=121374728/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3268820 memory=2661488 CPUtime=3392.85 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 424296 0 0 0 330476 8809 0 0 20 0 1 0 196415983 3347271680 665372 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 817205 665372 4212 3002 0 800954 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 3268820 KiB
Current children cumulated memory: 2661488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/256 1046507
/proc/meminfo: memFree=121356144/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3269332 memory=2676984 CPUtime=3452.67 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 426534 0 0 0 336368 8899 0 0 20 0 1 0 196415983 3347795968 669246 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 817333 669246 4212 3002 0 801082 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 3269332 KiB
Current children cumulated memory: 2676984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1046905
/proc/meminfo: memFree=121440408/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3271636 memory=2693612 CPUtime=3512.48 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 428837 0 0 0 342264 8984 0 0 20 0 1 0 196415983 3350155264 673403 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 817909 673403 4212 3002 0 801658 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 3271636 KiB
Current children cumulated memory: 2693612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1046916
/proc/meminfo: memFree=121412840/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3271892 memory=2706924 CPUtime=3572.29 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 431120 0 0 0 348166 9063 0 0 20 0 1 0 196415983 3350417408 676731 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 817973 676731 4212 3002 0 801722 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 3271892 KiB
Current children cumulated memory: 2706924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.12 4.09 4.09 4/251 1046953
/proc/meminfo: memFree=123503800/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3272148 memory=2713624 CPUtime=3600 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 432118 0 0 0 350899 9101 0 0 20 0 1 0 196415983 3350679552 678406 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 818037 678406 4212 3002 0 801786 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3272148 KiB
Current children cumulated memory: 2713624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.16 s]
# the end of solver process 1045021 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3509 s, system=91.071 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.12 4.09 4.09 4/251 1046953
/proc/meminfo: memFree=123503800/131524600 swapFree=131071996/131071996
[pid=1045021] ppid=1045018 vsize=3272148 memory=2713624 CPUtime=3600 cores=5,7
/proc/1045021/stat : 1045021 (mixed-bag) R 1045018 1045021 1042982 0 -1 4194304 432118 0 0 0 350899 9101 0 0 20 0 1 0 196415983 3350679552 678406 134679101440 4194304 16488053 140722646645520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24473600 140722646651925 140722646652002 140722646652002 140722646659019 0
/proc/1045021/statm: 818037 678406 4212 3002 0 801786 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3272148 KiB
Current children cumulated memory: 2713624 KiB
Child status: 0
Real time (s): 3610.16
CPU time (s): 3600.07
CPU user time (s): 3509
CPU system time (s): 91.071
CPU usage (%): 99.7206
Max. virtual memory (cumulated for all children) (KiB): 3272148
Max. memory (cumulated for all children) (KiB): 2713624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3509
system time used= 91.071
maximum resident set size= 2713624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432155
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= 223
involuntary context switches= 4814
# summary of solver processes directly reported to runsolver:
# pid: 1045021
# total CPU time (s): 3600.07
# total CPU user time (s): 3509
# total CPU system time (s): 91.071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1141 second user time and 16.6693 second system time
The end
Begin job on nodeC032 at 2024-07-20 04:28:03
IDJOB=4454649
IDBENCH=146775
IDSOLVER=3083
FILE ID=nodeC032/4454649-1721442471
RUNJOBID= nodeC032-1721438873-1042995
SLURM_JOB_ID= 7545649
Free space on /tmp= 890044 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454649-1721442471/watcher-4454649-1721442471 -o /tmp/evaluation-result-4454649-1721442471/solver-4454649-1721442471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721438873-1042995 --watchdog 3760 mixed-bag HOME/instance-4454649-1721442471.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1ab00a09bce4fe90071f9bd51d0e1c65
RANDOM SEED=1696849542
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3670.287
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3666.876
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3606.875
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3600.234
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3657.212
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3657.928
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3663.485
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3658.190
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125938220 kB
MemAvailable: 128605752 kB
Buffers: 554692 kB
Cached: 2934644 kB
SwapCached: 0 kB
Active: 1046872 kB
Inactive: 3872864 kB
Active(anon): 1532 kB
Inactive(anon): 1474772 kB
Active(file): 1045340 kB
Inactive(file): 2398092 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56332 kB
Writeback: 0 kB
AnonPages: 1428988 kB
Mapped: 121380 kB
Shmem: 45912 kB
KReclaimable: 127844 kB
Slab: 244520 kB
SReclaimable: 127844 kB
SUnreclaim: 116676 kB
KernelStack: 4048 kB
PageTables: 12088 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2318900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73536 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1257472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC032 at 2024-07-20 05:28:13