0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.09/0.10 c #variables 53655 #constraints 10732
238.92/239.52 c #Conflicts: 1000 | #Constraints: 11731
238.92/239.52 c #Conflicts: 2000 | #Constraints: 12731
238.92/239.52 c INPROCESSING
238.92/239.52 c #Conflicts: 3000 | #Constraints: 12820
238.92/239.52 c #Conflicts: 4000 | #Constraints: 13820
238.92/239.52 c INPROCESSING
238.92/239.52 c #Conflicts: 5000 | #Constraints: 13320
238.92/239.52 c #Conflicts: 6000 | #Constraints: 14321
238.92/239.52 c INPROCESSING
238.92/239.52 c GARBAGE COLLECT
238.92/239.52 c #Conflicts: 7000 | #Constraints: 13511
238.92/239.52 c #Conflicts: 8000 | #Constraints: 14511
238.92/239.52 c #Conflicts: 9000 | #Constraints: 15512
238.92/239.52 c INPROCESSING
238.92/239.52 c #Conflicts: 10000 | #Constraints: 14380
238.92/239.52 c #Conflicts: 11000 | #Constraints: 15380
238.92/239.52 c #Conflicts: 12000 | #Constraints: 16380
238.92/239.52 c #Conflicts: 13000 | #Constraints: 17380
238.92/239.52 c #Conflicts: 14000 | #Constraints: 18380
238.92/239.52 c #Conflicts: 15000 | #Constraints: 19380
238.92/239.52 c #Conflicts: 16000 | #Constraints: 20380
238.92/239.52 c INPROCESSING
238.92/239.52 c GARBAGE COLLECT
238.92/239.52 c #Conflicts: 17000 | #Constraints: 16987
238.92/239.52 c #Conflicts: 18000 | #Constraints: 17987
238.92/239.52 c #Conflicts: 19000 | #Constraints: 18987
238.92/239.52 c #Conflicts: 20000 | #Constraints: 19987
238.92/239.52 c INPROCESSING
238.92/239.52 c #Conflicts: 21000 | #Constraints: 16896
238.92/239.52 c #Conflicts: 22000 | #Constraints: 17896
238.92/239.52 c #Conflicts: 23000 | #Constraints: 18896
238.92/239.52 c #Conflicts: 24000 | #Constraints: 19896
238.92/239.52 c #Conflicts: 25000 | #Constraints: 20896
238.92/239.52 c #Conflicts: 26000 | #Constraints: 21896
238.92/239.52 c #Conflicts: 27000 | #Constraints: 22896
238.92/239.52 c #Conflicts: 28000 | #Constraints: 23896
238.92/239.52 c #Conflicts: 29000 | #Constraints: 24896
238.92/239.52 c #Conflicts: 30000 | #Constraints: 25896
238.92/239.52 c INPROCESSING
238.92/239.52 c GARBAGE COLLECT
238.92/239.52 c #Conflicts: 31000 | #Constraints: 20031
238.92/239.52 c #Conflicts: 32000 | #Constraints: 21031
238.92/239.52 c #Conflicts: 33000 | #Constraints: 22031
238.92/239.52 c #Conflicts: 34000 | #Constraints: 23031
238.92/239.52 c #Conflicts: 35000 | #Constraints: 24031
238.92/239.52 c #Conflicts: 36000 | #Constraints: 25031
238.92/239.52 c #Conflicts: 37000 | #Constraints: 26031
238.92/239.52 c #Conflicts: 38000 | #Constraints: 27031
238.92/239.52 c #Conflicts: 39000 | #Constraints: 28031
238.92/239.52 c #Conflicts: 40000 | #Constraints: 29031
238.92/239.52 c #Conflicts: 41000 | #Constraints: 30031
238.92/239.52 c #Conflicts: 42000 | #Constraints: 31031
238.92/239.52 c #Conflicts: 43000 | #Constraints: 32031
238.92/239.52 c INPROCESSING
238.92/239.52 c GARBAGE COLLECT
238.92/239.52 c #Conflicts: 44000 | #Constraints: 23655
238.92/239.52 c #Conflicts: 45000 | #Constraints: 24655
238.92/239.52 c #Conflicts: 46000 | #Constraints: 25655
238.92/239.52 c #Conflicts: 47000 | #Constraints: 26655
238.92/239.52 c #Conflicts: 48000 | #Constraints: 27655
238.92/239.52 c #Conflicts: 49000 | #Constraints: 28655
238.92/239.52 c INPROCESSING
238.92/239.52 c GARBAGE COLLECT
238.92/239.52 c #Conflicts: 50000 | #Constraints: 22418
238.92/239.52 c #Conflicts: 51000 | #Constraints: 23418
238.92/239.52 c #Conflicts: 52000 | #Constraints: 24418
238.92/239.52 c #Conflicts: 53000 | #Constraints: 25418
238.92/239.52 c #Conflicts: 54000 | #Constraints: 26418
238.92/239.52 c #Conflicts: 55000 | #Constraints: 27418
238.92/239.52 c #Conflicts: 56000 | #Constraints: 28418
238.92/239.52 c #Conflicts: 57000 | #Constraints: 29418
238.92/239.52 c #Conflicts: 58000 | #Constraints: 30418
238.92/239.52 c #Conflicts: 59000 | #Constraints: 31418
238.92/239.52 c #Conflicts: 60000 | #Constraints: 32418
238.92/239.52 c #Conflicts: 61000 | #Constraints: 33418
238.92/239.52 c #Conflicts: 62000 | #Constraints: 34418
238.92/239.52 c #Conflicts: 63000 | #Constraints: 35418
238.92/239.52 c #Conflicts: 64000 | #Constraints: 36418
238.92/239.52 c #Conflicts: 65000 | #Constraints: 37418
238.92/239.52 c INPROCESSING
238.92/239.52 c GARBAGE COLLECT
238.92/239.52 c #Conflicts: 66000 | #Constraints: 27327
238.92/239.52 c #Conflicts: 67000 | #Constraints: 28327
238.92/239.52 c #Conflicts: 68000 | #Constraints: 29327
238.92/239.52 c #Conflicts: 69000 | #Constraints: 30327
238.92/239.52 c #Conflicts: 70000 | #Constraints: 31327
238.92/239.52 c #Conflicts: 71000 | #Constraints: 32327
238.92/239.52 c #Conflicts: 72000 | #Constraints: 33327
238.92/239.52 c #Conflicts: 73000 | #Constraints: 34327
238.92/239.52 c #Conflicts: 74000 | #Constraints: 35327
245.70/246.36 c #Conflicts: 75000 | #Constraints: 36327
245.70/246.36 c #Conflicts: 76000 | #Constraints: 37327
245.70/246.36 c #Conflicts: 77000 | #Constraints: 38327
245.70/246.36 c #Conflicts: 78000 | #Constraints: 39327
245.70/246.36 c #Conflicts: 79000 | #Constraints: 40327
245.70/246.36 c #Conflicts: 80000 | #Constraints: 41327
245.70/246.36 c #Conflicts: 81000 | #Constraints: 42327
245.70/246.36 c #Conflicts: 82000 | #Constraints: 43327
245.70/246.36 c INPROCESSING
245.70/246.36 c GARBAGE COLLECT
245.70/246.36 c #Conflicts: 83000 | #Constraints: 30326
245.70/246.36 c #Conflicts: 84000 | #Constraints: 31326
245.70/246.36 c #Conflicts: 85000 | #Constraints: 32326
245.70/246.36 c #Conflicts: 86000 | #Constraints: 33326
245.70/246.36 c #Conflicts: 87000 | #Constraints: 34326
245.70/246.36 c #Conflicts: 88000 | #Constraints: 35326
245.70/246.36 c #Conflicts: 89000 | #Constraints: 36326
245.70/246.36 c #Conflicts: 90000 | #Constraints: 37326
245.70/246.36 c #Conflicts: 91000 | #Constraints: 38326
245.70/246.36 c #Conflicts: 92000 | #Constraints: 39327
245.70/246.36 c #Conflicts: 93000 | #Constraints: 40327
245.70/246.36 c #Conflicts: 94000 | #Constraints: 41327
245.70/246.36 c #Conflicts: 95000 | #Constraints: 42327
245.70/246.36 c #Conflicts: 96000 | #Constraints: 43327
245.70/246.36 c #Conflicts: 97000 | #Constraints: 44328
245.70/246.36 c #Conflicts: 98000 | #Constraints: 45328
245.70/246.36 c #Conflicts: 99000 | #Constraints: 46328
245.70/246.36 c #Conflicts: 100000 | #Constraints: 47328
245.70/246.36 c #Conflicts: 101000 | #Constraints: 48329
245.70/246.36 c #Conflicts: 102000 | #Constraints: 49329
245.70/246.36 c INPROCESSING
245.70/246.36 c GARBAGE COLLECT
245.70/246.36 c #Conflicts: 103000 | #Constraints: 33496
245.70/246.36 c #Conflicts: 104000 | #Constraints: 34496
245.70/246.36 c cpu time 238.135 s
245.70/246.36 c deterministic time 288042268 2.88e+08
245.70/246.36 c optimization time 3.5e-05 s
245.70/246.36 c total solve time 238.053 s
245.70/246.36 c core-guided solve time 0 s
245.70/246.36 c propagation time 86.979 s
245.70/246.36 c conflict analysis time 1.37502 s
245.70/246.36 c propagations 3720186
245.70/246.36 c resolve steps 175857
245.70/246.36 c decisions 6090381
245.70/246.36 c conflicts 104004
245.70/246.36 c restarts 264
245.70/246.36 c inprocessing phases 12
245.70/246.36 c input clauses 0
245.70/246.36 c input cardinalities 147
245.70/246.36 c input general constraints 10585
245.70/246.36 c input average constraint length 14.86
245.70/246.36 c input average constraint degree 9.90
245.70/246.36 c learned clauses 10618
245.70/246.36 c learned cardinalities 19947
245.70/246.36 c learned general constraints 73445
245.70/246.36 c learned average constraint length 16.02
245.70/246.36 c learned average constraint degree 9074621.16
245.70/246.36 c watched constraints 27105
245.70/246.36 c counting constraints 56925
245.70/246.36 c gcd simplifications 26866
245.70/246.36 c detected cardinalities 1993
245.70/246.36 c weakened non-implied lits 335803
245.70/246.36 c weakened non-implying lits 23093
245.70/246.36 c original variables 53655
245.70/246.36 c clausal propagations 14292
245.70/246.36 c cardinality propagations 1107746
245.70/246.36 c watched propagations 208018
245.70/246.36 c counting propagations 2209764
245.70/246.36 c watch lookups 46396216
245.70/246.36 c watch backjump lookups 36223176
245.70/246.36 c watch checks 112653880
245.70/246.36 c propagation checks 67972399
245.70/246.36 c constraint additions 4829075
245.70/246.36 c trail pops 9914554
245.70/246.36 c formula constraints 10732
245.70/246.36 c learned constraints 103996
245.70/246.36 c bound constraints 0
245.70/246.36 c core-guided constraints 0
245.70/246.36 c encountered formula constraints 100498
245.70/246.36 c encountered learned constraints 178701
245.70/246.36 c encountered bound constraints 0
245.70/246.36 c encountered core-guided constraints 0
245.70/246.36 c LP total time 229.232 s
245.70/246.36 c LP solve time 229.15 s
245.70/246.36 c LP constraints added 10732
245.70/246.36 c LP constraints removed 0
245.70/246.36 c LP pivots internal 105610
245.70/246.36 c LP pivots root 136790
245.70/246.36 c LP calls 17
245.70/246.36 c LP optimalities 0
245.70/246.36 c LP no pivot count 0
245.70/246.36 c LP infeasibilities 7
245.70/246.36 c LP valid Farkas constraints 7
245.70/246.36 c LP learned Farkas constraints 7
245.70/246.36 c LP basis resets 3
245.70/246.36 c LP cycling count 0
245.70/246.36 c LP singular count 3
245.70/246.36 c LP no primal count 0
245.70/246.36 c LP no farkas count 0
245.70/246.36 c LP other issue count 0
245.70/246.36 c LP Gomory cuts 0
245.70/246.36 c LP learned cuts 0
245.70/246.36 c LP deleted cuts 0
245.70/246.36 c LP encountered Gomory constraints 0
245.70/246.36 c LP encountered Farkas constraints 480
245.70/246.36 c LP encountered learned Farkas constraints 175
245.70/246.36 c CG auxiliary variables introduced 0
245.70/246.36 c CG solutions found 0
245.70/246.36 c CG cores constructed 0
245.70/246.36 c CG core cardinality constraints returned 0
245.70/246.36 c CG unit cores 0
245.70/246.36 c CG single cores 0
245.70/246.36 c CG blocks removed during cardinality reduction 0
245.70/246.36 c CG first core best 0
245.70/246.36 c CG decision core best 0
245.70/246.36 c CG core reduction tie 0
245.70/246.36 c CG core degree average 0.00
245.70/246.36 c CG core slack average 0.00
245.70/246.36 s SATISFIABLE
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: 63931 MiB (49486 MiB free)
memory of node 1: 64510 MiB (58475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457412-1721840489/watcher-4457412-1721840489 -o /tmp/evaluation-result-4457412-1721840489/solver-4457412-1721840489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721840464-190861 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457412-1721840489 --lp-cut-gomory=0 HOME/instance-4457412-1721840489.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
solver pid=191246, runsolver pid=191243
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 3.81 4.04 4.06 5/263 191247
/proc/meminfo: memFree=110525968/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=62276 memory=31968 CPUtime=0.09 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 7991 0 0 0 7 2 0 0 20 0 1 0 20573098 63770624 7992 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 15602 7992 1663 992 0 7460 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62276 KiB
Current children cumulated memory: 31968 KiB
[startup+0.205755 s]*
/proc/loadavg: 3.82 4.04 4.06 5/263 191247
/proc/meminfo: memFree=110501364/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=87032 memory=55576 CPUtime=0.2 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 13303 0 0 0 17 3 0 0 20 0 1 0 20573098 89120768 13894 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 21758 13894 1711 992 0 13616 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87032 KiB
Current children cumulated memory: 55576 KiB
[startup+0.305808 s]*
/proc/loadavg: 3.82 4.04 4.06 5/263 191247
/proc/meminfo: memFree=110499908/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=88452 memory=56896 CPUtime=0.3 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 13629 0 0 0 26 4 0 0 20 0 1 0 20573098 90574848 14224 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 22113 14224 1711 992 0 13971 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88452 KiB
Current children cumulated memory: 56896 KiB
[startup+0.700233 s]
/proc/loadavg: 3.82 4.04 4.06 5/263 191247
/proc/meminfo: memFree=110493296/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=92388 memory=63568 CPUtime=0.69 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 14736 0 0 0 59 10 0 0 20 0 1 0 20573098 94605312 15892 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 23097 15892 1821 992 0 14955 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92388 KiB
Current children cumulated memory: 63568 KiB
[startup+1.50022 s]
/proc/loadavg: 3.82 4.04 4.06 5/263 191247
/proc/meminfo: memFree=110490532/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=94668 memory=66328 CPUtime=1.48 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 15367 0 0 0 130 18 0 0 20 0 1 0 20573098 96940032 16582 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 23667 16582 1853 992 0 15525 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94668 KiB
Current children cumulated memory: 66328 KiB
[startup+3.10591 s]
/proc/loadavg: 3.82 4.04 4.06 5/263 191249
/proc/meminfo: memFree=110480956/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=97224 memory=68428 CPUtime=3.09 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 15906 0 0 0 284 25 0 0 20 0 1 0 20573098 99557376 17107 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 24306 17107 1853 992 0 16164 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 97224 KiB
Current children cumulated memory: 68428 KiB
[startup+6.30019 s]
/proc/loadavg: 3.92 4.06 4.07 5/263 191249
/proc/meminfo: memFree=110476776/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=97224 memory=68688 CPUtime=6.27 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 15962 0 0 0 591 36 0 0 20 0 1 0 20573098 99557376 17172 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 24306 17172 1853 992 0 16164 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 97224 KiB
Current children cumulated memory: 68688 KiB
[startup+12.7002 s]
/proc/loadavg: 3.93 4.06 4.07 5/263 191251
/proc/meminfo: memFree=110457156/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=97224 memory=68688 CPUtime=12.66 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 15977 0 0 0 1220 46 0 0 20 0 1 0 20573098 99557376 17172 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 24306 17172 1853 992 0 16164 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 97224 KiB
Current children cumulated memory: 68688 KiB
[startup+25.5002 s]
/proc/loadavg: 3.94 4.06 4.07 5/263 191252
/proc/meminfo: memFree=110365160/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=97224 memory=68924 CPUtime=25.43 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 16010 0 0 0 2453 90 0 0 20 0 1 0 20573098 99557376 17231 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 24306 17231 1853 992 0 16164 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 97224 KiB
Current children cumulated memory: 68924 KiB
[startup+51.1056 s]
/proc/loadavg: 4.04 4.07 4.07 5/263 191256
/proc/meminfo: memFree=110274332/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=97224 memory=68924 CPUtime=50.98 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 16015 0 0 0 4958 140 0 0 20 0 1 0 20573098 99557376 17231 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 24306 17231 1853 992 0 16164 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 97224 KiB
Current children cumulated memory: 68924 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.07 4.07 5/263 191266
/proc/meminfo: memFree=110192672/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=97892 memory=70032 CPUtime=102.05 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 16214 0 0 0 10030 175 0 0 20 0 1 0 20573098 100241408 17508 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 24473 17508 1949 992 0 16331 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 97892 KiB
Current children cumulated memory: 70032 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.07 5/262 191368
/proc/meminfo: memFree=109856932/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=102584 memory=72580 CPUtime=161.9 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 16850 0 0 0 15873 317 0 0 20 0 1 0 20573098 105046016 18145 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 25646 18145 1949 992 0 17504 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 102584 KiB
Current children cumulated memory: 72580 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.09 4.08 5/260 191379
/proc/meminfo: memFree=109561812/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=102984 memory=73104 CPUtime=221.76 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 17001 0 0 0 21838 338 0 0 20 0 1 0 20573098 105455616 18276 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 25746 18276 1949 992 0 17604 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 102984 KiB
Current children cumulated memory: 73104 KiB
[startup+246.365 s]
# the end of solver process 191246 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=238.145 s, system=7.61773 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.13 4.09 4.08 5/260 191379
/proc/meminfo: memFree=109548780/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=102984 memory=73104 CPUtime=229.84 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 17001 0 0 0 22644 340 0 0 20 0 1 0 20573098 105455616 18276 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 25746 18276 1949 992 0 17604 0
Current children cumulated CPU time: 229.84 s
Current children cumulated vsize: 102984 KiB
Current children cumulated memory: 73104 KiB
[startup+236.8 s]
/proc/loadavg: 4.11 4.08 4.08 5/260 191381
/proc/meminfo: memFree=109535536/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=102984 memory=73104 CPUtime=236.23 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 17002 0 0 0 23147 476 0 0 20 0 1 0 20573098 105455616 18276 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 25746 18276 1949 992 0 17604 0
Current children cumulated CPU time: 236.23 s
Current children cumulated vsize: 102984 KiB
Current children cumulated memory: 73104 KiB
[startup+243.2 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191382
/proc/meminfo: memFree=109514888/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=105012 memory=75472 CPUtime=242.61 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 17568 0 0 0 23514 747 0 0 20 0 1 0 20573098 107532288 18868 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 26253 18868 1949 992 0 18111 0
Current children cumulated CPU time: 242.61 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 75472 KiB
[startup+244.8 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191382
/proc/meminfo: memFree=109508576/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=110856 memory=81228 CPUtime=244.2 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 18558 0 0 0 23666 754 0 0 20 0 1 0 20573098 113516544 20307 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 27714 20307 1949 992 0 19572 0
Current children cumulated CPU time: 244.2 s
Current children cumulated vsize: 110856 KiB
Current children cumulated memory: 81228 KiB
[startup+245.6 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191382
/proc/meminfo: memFree=109503140/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=111060 memory=81488 CPUtime=245 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 18609 0 0 0 23745 755 0 0 20 0 1 0 20573098 113725440 20372 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 27765 20372 1949 992 0 19623 0
Current children cumulated CPU time: 245 s
Current children cumulated vsize: 111060 KiB
Current children cumulated memory: 81488 KiB
[startup+246 s]*
/proc/loadavg: 4.10 4.08 4.07 5/260 191382
/proc/meminfo: memFree=109501488/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=111232 memory=81752 CPUtime=245.41 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 18647 0 0 0 23785 756 0 0 20 0 1 0 20573098 113901568 20438 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 27808 20438 1949 992 0 19666 0
Current children cumulated CPU time: 245.41 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 81752 KiB
[startup+246.2 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191382
/proc/meminfo: memFree=109501488/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=111232 memory=81752 CPUtime=245.6 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 18647 0 0 0 23803 757 0 0 20 0 1 0 20573098 113901568 20438 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 27808 20438 1949 992 0 19666 0
Current children cumulated CPU time: 245.6 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 81752 KiB
[startup+246.3 s]
/proc/loadavg: 4.10 4.08 4.07 5/260 191382
/proc/meminfo: memFree=109501488/131524600 swapFree=131054736/131071996
[pid=191246] ppid=191243 vsize=111232 memory=81752 CPUtime=245.7 cores=5,7
/proc/191246/stat : 191246 (roundingsat) R 191243 191246 190848 0 -1 4194304 18647 0 0 0 23810 760 0 0 20 0 1 0 20573098 113901568 20438 134679101440 4194304 8254037 140735145736464 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 42041344 140735145739100 140735145739362 140735145739362 140735145746377 0
/proc/191246/statm: 27808 20438 1949 992 0 19666 0
Current children cumulated CPU time: 245.7 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 81752 KiB
Child status: 0
Real time (s): 246.365
CPU time (s): 245.762
CPU user time (s): 238.145
CPU system time (s): 7.61773
CPU usage (%): 99.7554
Max. virtual memory (cumulated for all children) (KiB): 111232
Max. memory (cumulated for all children) (KiB): 81752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.145
system time used= 7.61773
maximum resident set size= 81752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160
involuntary context switches= 168
# summary of solver processes directly reported to runsolver:
# pid: 191246
# total CPU time (s): 245.762
# total CPU user time (s): 238.145
# total CPU system time (s): 7.61773
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.497182 second user time and 1.15931 second system time
The end
Begin job on nodeC034 at 2024-07-24 19:01:29
IDJOB=4457412
IDBENCH=165345
IDSOLVER=3085
FILE ID=nodeC034/4457412-1721840489
RUNJOBID= nodeC034-1721840464-190861
SLURM_JOB_ID= 7891550
Free space on /tmp= 890060 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-2.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457412-1721840489/watcher-4457412-1721840489 -o /tmp/evaluation-result-4457412-1721840489/solver-4457412-1721840489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721840464-190861 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457412-1721840489 --lp-cut-gomory=0 HOME/instance-4457412-1721840489.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 94622b8283878cd58e113c83df8c4b53
RANDOM SEED=1363660532
nodeC034.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 : 3666.225
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.92
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 : 3669.022
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 7006.84
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 : 3600.076
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.92
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.352
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 : 7006.84
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 : 3666.196
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.92
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 : 3664.143
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 : 7006.84
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.166
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.92
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 : 3668.222
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 : 7006.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110552352 kB
MemAvailable: 129432332 kB
Buffers: 265780 kB
Cached: 19373204 kB
SwapCached: 96 kB
Active: 1651240 kB
Inactive: 18602848 kB
Active(anon): 1928 kB
Inactive(anon): 655784 kB
Active(file): 1649312 kB
Inactive(file): 17947064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054736 kB
Dirty: 128184 kB
Writeback: 0 kB
AnonPages: 614048 kB
Mapped: 102480 kB
Shmem: 42580 kB
KReclaimable: 246504 kB
Slab: 364960 kB
SReclaimable: 246504 kB
SUnreclaim: 118456 kB
KernelStack: 4224 kB
PageTables: 10964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1002556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 268288 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: 357076 kB
DirectMap2M: 48699392 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC034 at 2024-07-24 19:05:36