0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.41 c #variables 96 #constraints 2
0.00/0.41 c rational objective 1.07574
1.37/1.82 c #Conflicts: 1000 | #Constraints: 1001
1.37/1.82 c #Conflicts: 2000 | #Constraints: 2001
1.37/1.82 c INPROCESSING
1.37/1.82 c GARBAGE COLLECT
1.37/1.82 c rational objective 1.07574
3.17/3.65 c #Conflicts: 3000 | #Constraints: 2003
3.17/3.65 c #Conflicts: 4000 | #Constraints: 3003
3.17/3.65 c INPROCESSING
3.17/3.65 c GARBAGE COLLECT
3.17/3.65 c rational objective 1.07704
5.67/6.17 c #Conflicts: 5000 | #Constraints: 2405
5.67/6.17 c #Conflicts: 6000 | #Constraints: 3405
5.67/6.17 c INPROCESSING
5.67/6.17 c GARBAGE COLLECT
5.67/6.17 c rational objective 1.07704
8.15/8.63 c #Conflicts: 7000 | #Constraints: 2405
8.15/8.63 c #Conflicts: 8000 | #Constraints: 3405
8.15/8.63 c #Conflicts: 9000 | #Constraints: 4405
8.15/8.63 c INPROCESSING
8.15/8.63 c GARBAGE COLLECT
8.15/8.63 c rational objective 1.07704
10.74/11.26 c #Conflicts: 10000 | #Constraints: 3105
10.74/11.26 c #Conflicts: 11000 | #Constraints: 4105
10.74/11.26 c #Conflicts: 12000 | #Constraints: 5105
10.74/11.26 c INPROCESSING
10.74/11.26 c GARBAGE COLLECT
10.74/11.26 c rational objective 1.07704
14.83/15.32 c #Conflicts: 13000 | #Constraints: 3554
14.83/15.32 c #Conflicts: 14000 | #Constraints: 4554
14.83/15.32 c #Conflicts: 15000 | #Constraints: 5554
14.83/15.32 c INPROCESSING
14.83/15.32 c GARBAGE COLLECT
14.83/15.32 c rational objective 1.07704
20.02/20.59 c #Conflicts: 16000 | #Constraints: 3780
20.02/20.59 c #Conflicts: 17000 | #Constraints: 4780
20.02/20.59 c #Conflicts: 18000 | #Constraints: 5780
20.02/20.59 c INPROCESSING
20.02/20.59 c GARBAGE COLLECT
20.02/20.59 c rational objective 1.07704
48.81/49.46 c #Conflicts: 19000 | #Constraints: 3793
48.81/49.46 c #Conflicts: 20000 | #Constraints: 4793
48.81/49.46 c #Conflicts: 21000 | #Constraints: 5793
48.81/49.46 c #Conflicts: 22000 | #Constraints: 6793
48.81/49.46 c #Conflicts: 23000 | #Constraints: 7793
48.81/49.46 c #Conflicts: 24000 | #Constraints: 8793
48.81/49.46 c #Conflicts: 25000 | #Constraints: 9793
48.81/49.46 c #Conflicts: 26000 | #Constraints: 10793
48.81/49.46 c #Conflicts: 27000 | #Constraints: 11793
48.81/49.46 c #Conflicts: 28000 | #Constraints: 12793
48.81/49.46 c INPROCESSING
48.81/49.46 c GARBAGE COLLECT
48.81/49.46 c rational objective 1.07704
64.95/65.67 c #Conflicts: 29000 | #Constraints: 6999
64.95/65.67 c #Conflicts: 30000 | #Constraints: 7999
64.95/65.67 c #Conflicts: 31000 | #Constraints: 8999
64.95/65.67 c #Conflicts: 32000 | #Constraints: 9999
64.95/65.67 c #Conflicts: 33000 | #Constraints: 10999
64.95/65.67 c INPROCESSING
64.95/65.67 c GARBAGE COLLECT
64.95/65.67 c rational objective 1.07704
159.19/160.27 c #Conflicts: 34000 | #Constraints: 6351
159.19/160.27 c #Conflicts: 35000 | #Constraints: 7351
159.19/160.27 c #Conflicts: 36000 | #Constraints: 8351
159.19/160.27 c #Conflicts: 37000 | #Constraints: 9351
159.19/160.27 c #Conflicts: 38000 | #Constraints: 10351
159.19/160.27 c #Conflicts: 39000 | #Constraints: 11351
159.19/160.27 c #Conflicts: 40000 | #Constraints: 12351
159.19/160.27 c #Conflicts: 41000 | #Constraints: 13351
159.19/160.27 c #Conflicts: 42000 | #Constraints: 14351
159.19/160.27 c #Conflicts: 43000 | #Constraints: 15351
159.19/160.27 c #Conflicts: 44000 | #Constraints: 16351
159.19/160.27 c #Conflicts: 45000 | #Constraints: 17351
159.19/160.27 c #Conflicts: 46000 | #Constraints: 18351
159.19/160.27 c #Conflicts: 47000 | #Constraints: 19351
159.19/160.27 c INPROCESSING
159.19/160.27 c GARBAGE COLLECT
159.19/160.27 c rational objective 1.07704
285.64/287.18 c #Conflicts: 48000 | #Constraints: 10677
285.64/287.18 c #Conflicts: 49000 | #Constraints: 11677
285.64/287.18 c #Conflicts: 50000 | #Constraints: 12677
285.64/287.18 c #Conflicts: 51000 | #Constraints: 13677
285.64/287.18 c #Conflicts: 52000 | #Constraints: 14677
285.64/287.18 c #Conflicts: 53000 | #Constraints: 15677
285.64/287.18 c #Conflicts: 54000 | #Constraints: 16677
285.64/287.18 c #Conflicts: 55000 | #Constraints: 17677
285.64/287.18 c #Conflicts: 56000 | #Constraints: 18677
285.64/287.18 c #Conflicts: 57000 | #Constraints: 19677
285.64/287.18 c #Conflicts: 58000 | #Constraints: 20677
285.64/287.18 c #Conflicts: 59000 | #Constraints: 21677
285.64/287.18 c #Conflicts: 60000 | #Constraints: 22677
285.64/287.18 c #Conflicts: 61000 | #Constraints: 23677
285.64/287.18 c #Conflicts: 62000 | #Constraints: 24677
285.64/287.18 c INPROCESSING
285.64/287.18 c GARBAGE COLLECT
285.64/287.18 c rational objective 1.07704
346.45/348.13 c #Conflicts: 63000 | #Constraints: 12993
346.45/348.13 c #Conflicts: 64000 | #Constraints: 13993
346.45/348.13 c #Conflicts: 65000 | #Constraints: 14993
346.45/348.13 c #Conflicts: 66000 | #Constraints: 15993
346.45/348.13 c #Conflicts: 67000 | #Constraints: 16993
346.45/348.13 c #Conflicts: 68000 | #Constraints: 17993
346.45/348.13 c #Conflicts: 69000 | #Constraints: 18993
346.45/348.13 c INPROCESSING
346.45/348.13 c GARBAGE COLLECT
346.45/348.13 c rational objective 1.07704
388.30/390.14 c #Conflicts: 70000 | #Constraints: 10981
388.30/390.14 c #Conflicts: 71000 | #Constraints: 11981
388.30/390.14 c #Conflicts: 72000 | #Constraints: 12981
388.30/390.14 c #Conflicts: 73000 | #Constraints: 13981
388.30/390.14 c #Conflicts: 74000 | #Constraints: 14981
388.30/390.14 c #Conflicts: 75000 | #Constraints: 15981
388.30/390.14 c cpu time 385.03 s
388.30/390.14 c deterministic time 43628461221 4.36e+10
388.30/390.14 c optimization time 4.1e-05 s
388.30/390.14 c total solve time 385.029 s
388.30/390.14 c core-guided solve time 0 s
388.30/390.14 c propagation time 371.079 s
388.30/390.14 c conflict analysis time 10.8821 s
388.30/390.14 c propagations 766764
388.30/390.14 c resolve steps 222211
388.30/390.14 c decisions 1277971
388.30/390.14 c conflicts 75762
388.30/390.14 c restarts 241
388.30/390.14 c inprocessing phases 12
388.30/390.14 c input clauses 0
388.30/390.14 c input cardinalities 0
388.30/390.14 c input general constraints 2
388.30/390.14 c input average constraint length 96.00
388.30/390.14 c input average constraint degree 191703584.50
388.30/390.14 c learned clauses 16102
388.30/390.14 c learned cardinalities 1
388.30/390.14 c learned general constraints 59659
388.30/390.14 c learned average constraint length 88.04
388.30/390.14 c learned average constraint degree 107873988.95
388.30/390.14 c watched constraints 33132
388.30/390.14 c counting constraints 26529
388.30/390.14 c gcd simplifications 21833
388.30/390.14 c detected cardinalities 1
388.30/390.14 c weakened non-implied lits 41849
388.30/390.14 c weakened non-implying lits 45027
388.30/390.14 c original variables 96
388.30/390.14 c clausal propagations 6153
388.30/390.14 c cardinality propagations 0
388.30/390.14 c watched propagations 270190
388.30/390.14 c counting propagations 461633
388.30/390.14 c watch lookups 7026555124
388.30/390.14 c watch backjump lookups 6991770737
388.30/390.14 c watch checks 2422620157
388.30/390.14 c propagation checks 27155433151
388.30/390.14 c constraint additions 27867421
388.30/390.14 c trail pops 2120497
388.30/390.14 c formula constraints 2
388.30/390.14 c learned constraints 75762
388.30/390.14 c bound constraints 0
388.30/390.14 c core-guided constraints 0
388.30/390.14 c encountered formula constraints 211038
388.30/390.14 c encountered learned constraints 86935
388.30/390.14 c encountered bound constraints 0
388.30/390.14 c encountered core-guided constraints 0
388.30/390.14 c LP total time 3.25374 s
388.30/390.14 c LP solve time 2.55 s
388.30/390.14 c LP constraints added 3
388.30/390.14 c LP constraints removed 0
388.30/390.14 c LP pivots internal 49358
388.30/390.14 c LP pivots root 40
388.30/390.14 c LP calls 60797
388.30/390.14 c LP optimalities 60797
388.30/390.14 c LP no pivot count 32565
388.30/390.14 c LP infeasibilities 0
388.30/390.14 c LP valid Farkas constraints 0
388.30/390.14 c LP learned Farkas constraints 0
388.30/390.14 c LP basis resets 0
388.30/390.14 c LP cycling count 0
388.30/390.14 c LP singular count 0
388.30/390.14 c LP no primal count 0
388.30/390.14 c LP no farkas count 0
388.30/390.14 c LP other issue count 0
388.30/390.14 c LP Gomory cuts 0
388.30/390.14 c LP learned cuts 1
388.30/390.14 c LP deleted cuts 0
388.30/390.14 c LP encountered Gomory constraints 0
388.30/390.14 c LP encountered Farkas constraints 0
388.30/390.14 c LP encountered learned Farkas constraints 0
388.30/390.14 c CG auxiliary variables introduced 0
388.30/390.14 c CG solutions found 0
388.30/390.14 c CG cores constructed 0
388.30/390.14 c CG core cardinality constraints returned 0
388.30/390.14 c CG unit cores 0
388.30/390.14 c CG single cores 0
388.30/390.14 c CG blocks removed during cardinality reduction 0
388.30/390.14 c CG first core best 0
388.30/390.14 c CG decision core best 0
388.30/390.14 c CG core reduction tie 0
388.30/390.14 c CG core degree average 0.00
388.30/390.14 c CG core slack average 0.00
388.30/390.14 s SATISFIABLE
388.30/390.14 v x1 x2 -x3 -x4 -x5 x6 x7 x8 x9 x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 x28 x29 -x30 -x31 x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96
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: 64096 MiB (63354 MiB free)
memory of node 1: 64473 MiB (60036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462925-1722344396/watcher-4462925-1722344396 -o /tmp/evaluation-result-4462925-1722344396/solver-4462925-1722344396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722340763-6897 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462925-1722344396 --lp-cut-gomory=0 HOME/instance-4462925-1722344396.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=9230, runsolver pid=9227
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.07 4.21 4.13 2/247 9231
/proc/meminfo: memFree=126351608/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9230/stat : 9230 (roundingsat) D 9227 9230 6885 0 -1 4194304 221 0 0 0 0 0 0 0 20 0 1 0 1037200 38273024 656 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.211442 s]*
/proc/loadavg: 4.07 4.21 4.13 1/247 9231
/proc/meminfo: memFree=126349460/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9230/stat : 9230 (roundingsat) D 9227 9230 6885 0 -1 4194304 221 0 0 0 0 0 0 0 20 0 1 0 1037200 38273024 656 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.310024 s]*
/proc/loadavg: 4.07 4.21 4.13 2/247 9231
/proc/meminfo: memFree=126428124/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9230/stat : 9230 (roundingsat) D 9227 9230 6885 0 -1 4194304 221 0 0 0 0 0 0 0 20 0 1 0 1037200 38273024 656 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.700338 s]
/proc/loadavg: 4.07 4.21 4.13 5/244 9245
/proc/meminfo: memFree=127695368/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=38156 memory=8564 CPUtime=0.27 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 532 0 0 0 23 4 0 0 20 0 1 0 1037200 39071744 2141 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 9539 2141 1793 992 0 1397 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38156 KiB
Current children cumulated memory: 8564 KiB
[startup+1.50028 s]
/proc/loadavg: 4.07 4.21 4.13 2/242 9263
/proc/meminfo: memFree=130453244/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=38820 memory=10004 CPUtime=1.07 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 893 0 0 0 95 12 0 0 20 0 1 0 1037200 39751680 2501 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 9705 2501 1808 992 0 1563 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 38820 KiB
Current children cumulated memory: 10004 KiB
[startup+3.11408 s]
/proc/loadavg: 4.07 4.21 4.13 4/245 9292
/proc/meminfo: memFree=130441256/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=40088 memory=13636 CPUtime=2.68 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 1294 0 0 0 248 20 0 0 20 0 1 0 1037200 41050112 3409 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 10022 3409 1808 992 0 1880 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 40088 KiB
Current children cumulated memory: 13636 KiB
[startup+6.30024 s]
/proc/loadavg: 4.15 4.22 4.14 3/242 9305
/proc/meminfo: memFree=130424828/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=41768 memory=14944 CPUtime=5.85 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 1664 0 0 0 556 29 0 0 20 0 1 0 1037200 42770432 3736 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 10442 3736 1808 992 0 2300 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 14944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.20 4.13 4/253 9345
/proc/meminfo: memFree=130394032/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=42664 memory=16168 CPUtime=12.24 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 1911 0 0 0 1175 49 0 0 20 0 1 0 1037200 43687936 4042 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 10666 4042 1808 992 0 2524 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 42664 KiB
Current children cumulated memory: 16168 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.19 4.13 4/247 9379
/proc/meminfo: memFree=129866864/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=43016 memory=17192 CPUtime=25 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 2208 0 0 0 2425 75 0 0 20 0 1 0 1037200 44048384 4298 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 10754 4298 1808 992 0 2612 0
Current children cumulated CPU time: 25 s
Current children cumulated vsize: 43016 KiB
Current children cumulated memory: 17192 KiB
[startup+51.114 s]
/proc/loadavg: 4.11 4.19 4.13 5/252 9496
/proc/meminfo: memFree=128985532/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=56496 memory=27876 CPUtime=50.52 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 3840 0 0 0 4947 105 0 0 20 0 1 0 1037200 57851904 6969 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 14124 6969 1808 992 0 5982 0
Current children cumulated CPU time: 50.52 s
Current children cumulated vsize: 56496 KiB
Current children cumulated memory: 27876 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.19 4.13 5/252 9562
/proc/meminfo: memFree=127176324/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=56496 memory=28392 CPUtime=101.52 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 4017 0 0 0 9992 160 0 0 20 0 1 0 1037200 57851904 7098 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 14124 7098 1808 992 0 5982 0
Current children cumulated CPU time: 101.52 s
Current children cumulated vsize: 56496 KiB
Current children cumulated memory: 28392 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/251 9575
/proc/meminfo: memFree=123696124/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=69868 memory=36920 CPUtime=161.28 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 5610 0 0 0 15931 197 0 0 20 0 1 0 1037200 71544832 9230 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17467 9230 1808 992 0 9325 0
Current children cumulated CPU time: 161.28 s
Current children cumulated vsize: 69868 KiB
Current children cumulated memory: 36920 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/248 9585
/proc/meminfo: memFree=121687852/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71404 memory=38696 CPUtime=221.03 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 5955 0 0 0 21864 239 0 0 20 0 1 0 1037200 73117696 9674 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17851 9674 1808 992 0 9709 0
Current children cumulated CPU time: 221.03 s
Current children cumulated vsize: 71404 KiB
Current children cumulated memory: 38696 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/247 9596
/proc/meminfo: memFree=119985760/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71404 memory=43980 CPUtime=280.84 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6110 0 0 0 27819 265 0 0 20 0 1 0 1037200 73117696 10995 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17851 10995 1808 992 0 9709 0
Current children cumulated CPU time: 280.84 s
Current children cumulated vsize: 71404 KiB
Current children cumulated memory: 43980 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/246 9607
/proc/meminfo: memFree=117835452/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=340.65 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6253 0 0 0 33769 296 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 340.65 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+390.148 s]
# the end of solver process 9230 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=385.033 s, system=3.27345 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.16 4.16 4.12 5/246 9612
/proc/meminfo: memFree=117424392/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=356.7 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6286 0 0 0 35362 308 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 356.7 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+371.2 s]
/proc/loadavg: 4.12 4.15 4.12 6/246 9614
/proc/meminfo: memFree=117086532/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=369.46 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6286 0 0 0 36629 317 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 369.46 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+377.6 s]
/proc/loadavg: 4.11 4.14 4.12 5/246 9616
/proc/meminfo: memFree=116890716/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=375.84 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6286 0 0 0 37264 320 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 375.84 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+384 s]*
/proc/loadavg: 4.10 4.14 4.12 5/246 9618
/proc/meminfo: memFree=116646836/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=382.23 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6286 0 0 0 37900 323 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 382.23 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+387.2 s]
/proc/loadavg: 4.10 4.14 4.12 6/246 9618
/proc/meminfo: memFree=116547564/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=385.41 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6286 0 0 0 38216 325 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 385.41 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+388.8 s]
/proc/loadavg: 4.10 4.14 4.12 5/246 9618
/proc/meminfo: memFree=116503156/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=387 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6286 0 0 0 38374 326 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 387 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+389.6 s]
/proc/loadavg: 4.10 4.14 4.12 5/246 9618
/proc/meminfo: memFree=116460232/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=387.8 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6286 0 0 0 38454 326 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 387.8 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+390 s]*
/proc/loadavg: 4.10 4.14 4.12 5/246 9618
/proc/meminfo: memFree=116421556/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=388.21 cores=1,3
/proc/9230/stat : 9230 (roundingsat) R 9227 9230 6885 0 -1 4194304 6299 0 0 0 38495 326 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 388.21 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
[startup+390.114 s]
/proc/loadavg: 4.10 4.14 4.12 5/246 9618
/proc/meminfo: memFree=116421556/131655788 swapFree=131071996/131071996
[pid=9230] ppid=9227 vsize=71916 memory=44444 CPUtime=388.3 cores=1,3
/proc/9230/stat : 9230 (roundingsat) D 9227 9230 6885 0 -1 4194304 6299 0 0 0 38503 327 0 0 20 0 1 0 1037200 73641984 11111 134679101440 4194304 8255733 140730109345008 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14233600 140730109350750 140730109351012 140730109351012 140730109358025 0
/proc/9230/statm: 17979 11111 1808 992 0 9837 0
Current children cumulated CPU time: 388.3 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 44444 KiB
Child status: 0
Real time (s): 390.148
CPU time (s): 388.306
CPU user time (s): 385.033
CPU system time (s): 3.27345
CPU usage (%): 99.5278
Max. virtual memory (cumulated for all children) (KiB): 71916
Max. memory (cumulated for all children) (KiB): 44444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 385.033
system time used= 3.27345
maximum resident set size= 44464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 234040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 426
involuntary context switches= 527
# summary of solver processes directly reported to runsolver:
# pid: 9230
# total CPU time (s): 388.306
# total CPU user time (s): 385.033
# total CPU system time (s): 3.27345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89011 second user time and 4.3189 second system time
The end
Begin job on nodeC009 at 2024-07-30 14:59:56
IDJOB=4462925
IDBENCH=148099
IDSOLVER=3089
FILE ID=nodeC009/4462925-1722344396
RUNJOBID= nodeC009-1722340763-6897
SLURM_JOB_ID= 8248989
Free space on /tmp= 723764 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob7.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-4462925-1722344396/watcher-4462925-1722344396 -o /tmp/evaluation-result-4462925-1722344396/solver-4462925-1722344396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722340763-6897 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462925-1722344396 --lp-cut-gomory=0 HOME/instance-4462925-1722344396.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0da7938cd78b604d95ed37ad5ec78200
RANDOM SEED=52205761
nodeC009.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 : 0xb00001f
cpu MHz : 1197.386
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 1197.269
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.347
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 1581.097
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.409
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 1197.407
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.539
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99
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 : 0xb00001f
cpu MHz : 1197.292
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126352956 kB
MemAvailable: 130039216 kB
Buffers: 45240 kB
Cached: 4475424 kB
SwapCached: 0 kB
Active: 157648 kB
Inactive: 4719296 kB
Active(anon): 1472 kB
Inactive(anon): 376156 kB
Active(file): 156176 kB
Inactive(file): 4343140 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17636 kB
Writeback: 0 kB
AnonPages: 356340 kB
Mapped: 90200 kB
Shmem: 21320 kB
KReclaimable: 54288 kB
Slab: 127916 kB
SReclaimable: 54288 kB
SUnreclaim: 73628 kB
KernelStack: 3964 kB
PageTables: 9348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 779980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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: 240456 kB
DirectMap2M: 7004160 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC009 at 2024-07-30 15:06:26