0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.20/0.31 c #variables 42924 #constraints 10732
12.11/12.22 c #Conflicts: 1000 | #Constraints: 11731
12.11/12.22 c #Conflicts: 2000 | #Constraints: 12731
12.11/12.22 c INPROCESSING
12.11/12.22 c #Conflicts: 3000 | #Constraints: 12867
12.11/12.22 c #Conflicts: 4000 | #Constraints: 13867
12.11/12.22 c INPROCESSING
12.11/12.22 c #Conflicts: 5000 | #Constraints: 13417
12.11/12.22 c #Conflicts: 6000 | #Constraints: 14417
12.11/12.22 c INPROCESSING
12.11/12.22 c GARBAGE COLLECT
12.11/12.22 c #Conflicts: 7000 | #Constraints: 13602
12.11/12.22 c #Conflicts: 8000 | #Constraints: 14602
12.11/12.22 c #Conflicts: 9000 | #Constraints: 15602
12.11/12.22 c #Conflicts: 10000 | #Constraints: 16602
12.11/12.22 c #Conflicts: 11000 | #Constraints: 17602
12.11/12.22 c #Conflicts: 12000 | #Constraints: 18602
12.11/12.22 c INPROCESSING
12.11/12.22 c #Conflicts: 13000 | #Constraints: 15835
12.11/12.22 c #Conflicts: 14000 | #Constraints: 16835
12.11/12.22 c #Conflicts: 15000 | #Constraints: 17835
12.11/12.22 c #Conflicts: 16000 | #Constraints: 18835
12.11/12.22 c INPROCESSING
12.11/12.22 c GARBAGE COLLECT
12.11/12.22 c #Conflicts: 17000 | #Constraints: 16355
12.11/12.22 c #Conflicts: 18000 | #Constraints: 17355
12.11/12.22 c #Conflicts: 19000 | #Constraints: 18355
12.11/12.22 c #Conflicts: 20000 | #Constraints: 19355
12.11/12.22 c #Conflicts: 21000 | #Constraints: 20356
12.11/12.22 c #Conflicts: 22000 | #Constraints: 21356
12.11/12.22 c #Conflicts: 23000 | #Constraints: 22356
12.11/12.22 c #Conflicts: 24000 | #Constraints: 23356
12.11/12.22 c #Conflicts: 25000 | #Constraints: 24356
12.11/12.22 c INPROCESSING
12.11/12.22 c GARBAGE COLLECT
12.11/12.22 c #Conflicts: 26000 | #Constraints: 19330
12.11/12.22 c #Conflicts: 27000 | #Constraints: 20330
12.11/12.22 c #Conflicts: 28000 | #Constraints: 21330
12.11/12.22 c #Conflicts: 29000 | #Constraints: 22330
12.11/12.22 c #Conflicts: 30000 | #Constraints: 23330
12.11/12.22 c #Conflicts: 31000 | #Constraints: 24330
12.11/12.22 c #Conflicts: 32000 | #Constraints: 25330
12.11/12.22 c #Conflicts: 33000 | #Constraints: 26330
12.11/12.22 c #Conflicts: 34000 | #Constraints: 27330
12.11/12.22 c #Conflicts: 35000 | #Constraints: 28330
12.11/12.22 c #Conflicts: 36000 | #Constraints: 29330
12.11/12.22 c #Conflicts: 37000 | #Constraints: 30330
12.11/12.22 c INPROCESSING
12.11/12.22 c GARBAGE COLLECT
12.11/12.22 c #Conflicts: 38000 | #Constraints: 23348
12.11/12.22 c #Conflicts: 39000 | #Constraints: 24348
12.11/12.22 c #Conflicts: 40000 | #Constraints: 25348
12.11/12.22 c #Conflicts: 41000 | #Constraints: 26348
12.11/12.22 c #Conflicts: 42000 | #Constraints: 27348
12.11/12.22 c #Conflicts: 43000 | #Constraints: 28348
12.11/12.22 c #Conflicts: 44000 | #Constraints: 29348
12.11/12.22 c #Conflicts: 45000 | #Constraints: 30348
12.11/12.22 c #Conflicts: 46000 | #Constraints: 31348
12.11/12.22 c #Conflicts: 47000 | #Constraints: 32348
12.11/12.22 c #Conflicts: 48000 | #Constraints: 33348
12.11/12.22 c #Conflicts: 49000 | #Constraints: 34348
12.11/12.22 c #Conflicts: 50000 | #Constraints: 35348
12.11/12.22 c INPROCESSING
12.11/12.22 c GARBAGE COLLECT
12.11/12.22 c #Conflicts: 51000 | #Constraints: 26012
12.11/12.22 c #Conflicts: 52000 | #Constraints: 27012
12.11/12.22 c #Conflicts: 53000 | #Constraints: 28012
12.11/12.22 c #Conflicts: 54000 | #Constraints: 29012
12.11/12.22 c #Conflicts: 55000 | #Constraints: 30012
12.11/12.22 c #Conflicts: 56000 | #Constraints: 31012
12.11/12.22 c #Conflicts: 57000 | #Constraints: 32012
12.11/12.22 c #Conflicts: 58000 | #Constraints: 33012
12.11/12.22 c #Conflicts: 59000 | #Constraints: 34012
12.11/12.22 c #Conflicts: 60000 | #Constraints: 35013
12.11/12.22 c #Conflicts: 61000 | #Constraints: 36013
12.11/12.22 c #Conflicts: 62000 | #Constraints: 37013
12.11/12.22 c #Conflicts: 63000 | #Constraints: 38013
12.11/12.22 c #Conflicts: 64000 | #Constraints: 39014
12.11/12.22 c #Conflicts: 65000 | #Constraints: 40014
12.11/12.22 c INPROCESSING
12.11/12.22 c GARBAGE COLLECT
12.11/12.22 c #Conflicts: 66000 | #Constraints: 28491
12.11/12.22 c #Conflicts: 67000 | #Constraints: 29491
12.11/12.22 c #Conflicts: 68000 | #Constraints: 30491
12.11/12.22 c #Conflicts: 69000 | #Constraints: 31491
12.11/12.22 c #Conflicts: 70000 | #Constraints: 32491
12.11/12.22 c #Conflicts: 71000 | #Constraints: 33491
12.11/12.22 c #Conflicts: 72000 | #Constraints: 34491
12.11/12.22 c #Conflicts: 73000 | #Constraints: 35491
12.11/12.22 c #Conflicts: 74000 | #Constraints: 36491
12.11/12.22 c #Conflicts: 75000 | #Constraints: 37491
24.66/24.85 c #Conflicts: 76000 | #Constraints: 38491
24.66/24.85 c #Conflicts: 77000 | #Constraints: 39491
24.66/24.85 c #Conflicts: 78000 | #Constraints: 40491
24.66/24.85 c #Conflicts: 79000 | #Constraints: 41491
24.66/24.85 c #Conflicts: 80000 | #Constraints: 42491
24.66/24.85 c #Conflicts: 81000 | #Constraints: 43491
24.66/24.85 c #Conflicts: 82000 | #Constraints: 44491
24.66/24.85 c #Conflicts: 83000 | #Constraints: 45491
24.66/24.85 c INPROCESSING
24.66/24.85 c GARBAGE COLLECT
24.66/24.85 c #Conflicts: 84000 | #Constraints: 31600
24.66/24.85 c #Conflicts: 85000 | #Constraints: 32600
24.66/24.85 c #Conflicts: 86000 | #Constraints: 33600
24.66/24.85 c #Conflicts: 87000 | #Constraints: 34600
24.66/24.85 c #Conflicts: 88000 | #Constraints: 35600
24.66/24.85 c #Conflicts: 89000 | #Constraints: 36600
24.66/24.85 c #Conflicts: 90000 | #Constraints: 37600
24.66/24.85 c #Conflicts: 91000 | #Constraints: 38600
24.66/24.85 c #Conflicts: 92000 | #Constraints: 39600
24.66/24.85 c INPROCESSING
24.66/24.85 c GARBAGE COLLECT
24.66/24.85 c #Conflicts: 93000 | #Constraints: 28457
24.66/24.85 c #Conflicts: 94000 | #Constraints: 29457
24.66/24.85 c #Conflicts: 95000 | #Constraints: 30457
24.66/24.85 c #Conflicts: 96000 | #Constraints: 31457
24.66/24.85 c #Conflicts: 97000 | #Constraints: 32457
24.66/24.85 c #Conflicts: 98000 | #Constraints: 33457
24.66/24.85 c #Conflicts: 99000 | #Constraints: 34457
24.66/24.85 c #Conflicts: 100000 | #Constraints: 35457
24.66/24.85 c #Conflicts: 101000 | #Constraints: 36457
24.66/24.85 c #Conflicts: 102000 | #Constraints: 37457
24.66/24.85 c #Conflicts: 103000 | #Constraints: 38457
24.66/24.85 c #Conflicts: 104000 | #Constraints: 39457
24.66/24.85 c cpu time 23.1828 s
24.66/24.85 c deterministic time 315707978 3.16e+08
24.66/24.85 c optimization time 4.4e-05 s
24.66/24.85 c total solve time 22.9648 s
24.66/24.85 c core-guided solve time 0 s
24.66/24.85 c propagation time 15.8285 s
24.66/24.85 c conflict analysis time 1.18798 s
24.66/24.85 c propagations 2208131
24.66/24.85 c resolve steps 211687
24.66/24.85 c decisions 1553739
24.66/24.85 c conflicts 104319
24.66/24.85 c restarts 267
24.66/24.85 c inprocessing phases 11
24.66/24.85 c garbage collections 8 ,( 72.73 )
24.66/24.85 c input clauses 0 ,( 0.00 )
24.66/24.85 c input cardinalities 147 ,( 1.37 )
24.66/24.85 c input general constraints 10585 ,( 98.63 )
24.66/24.85 c input average constraint length 11.89
24.66/24.85 c input average constraint degree 7.92
24.66/24.85 c learned clauses 15888 ,( 15.23 )
24.66/24.85 c learned cardinalities 8872 ,( 8.50 )
24.66/24.85 c learned general constraints 79561 ,( 76.27 )
24.66/24.85 c learned average constraint length 16.13
24.66/24.85 c learned average constraint degree 24624897.13
24.66/24.85 c watched CF 32, 64, 128, Arb: 3707 , 0 , 0 , 0
24.66/24.85 c counting CF 32, 64, 128, Arb: 86439 , 0 , 0 , 0
24.66/24.85 c watched constraints 3707 ,( 4.11 )
24.66/24.85 c counting constraints 86439 ,( 95.89 )
24.66/24.85 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 721863 , 349911 , 15389654 ,( 333501 , 15056153 )
24.66/24.85 c gcd simplifications 16761
24.66/24.85 c detected cardinalities 2607
24.66/24.85 c weakened non-implied lits 915749
24.66/24.85 c weakened non-implying lits 27737
24.66/24.85 c original variables 42924
24.66/24.85 c clausal propagations 42400
24.66/24.85 c cardinality propagations 218723
24.66/24.85 c watched propagations 2406
24.66/24.85 c counting propagations 1744403
24.66/24.85 c watch lookups 220929810
24.66/24.85 c watch backjump lookups 0
24.66/24.85 c watch checks 5302027
24.66/24.85 c propagation checks 75355041
24.66/24.85 c constraint additions 6456031
24.66/24.85 c trail pops 3866158
24.66/24.85 c formula constraints 10732
24.66/24.85 c learned constraints 104315
24.66/24.85 c bound constraints 0
24.66/24.85 c core-guided constraints 0
24.66/24.85 c encountered formula constraints 92560
24.66/24.85 c encountered learned constraints 222817
24.66/24.85 c encountered bound constraints 0
24.66/24.85 c encountered core-guided constraints 0
24.66/24.85 c LP total time 17.4491 s
24.66/24.85 c LP solve time 17.38 s
24.66/24.85 c LP constraints added 10732
24.66/24.85 c LP constraints removed 0
24.66/24.85 c LP pivots internal 24040
24.66/24.85 c LP pivots root 13000
24.66/24.85 c LP calls 8
24.66/24.85 c LP optimalities 0
24.66/24.85 c LP no pivot count 0
24.66/24.85 c LP infeasibilities 3
24.66/24.85 c LP valid Farkas constraints 3
24.66/24.85 c LP learned Farkas constraints 3
24.66/24.85 c LP basis resets 0
24.66/24.85 c LP cycling count 0
24.66/24.85 c LP singular count 0
24.66/24.85 c LP no primal count 0
24.66/24.85 c LP no farkas count 0
24.66/24.85 c LP other issue count 0
24.66/24.85 c LP Gomory cuts 0
24.66/24.85 c LP learned cuts 0
24.66/24.85 c LP deleted cuts 0
24.66/24.85 c LP encountered Gomory constraints 0
24.66/24.85 c LP encountered Farkas constraints 602
24.66/24.85 c LP encountered learned Farkas constraints 24
24.66/24.85 c CG auxiliary variables introduced 0
24.66/24.85 c CG solutions found 0
24.66/24.85 c CG cores constructed 0
24.66/24.85 c CG core cardinality constraints returned 0
24.66/24.86 c CG unit cores 0
24.66/24.86 c CG single cores 0
24.66/24.86 c CG blocks removed during cardinality reduction 0
24.66/24.86 c CG first core best 0
24.66/24.86 c CG decision core best 0
24.66/24.86 c CG core reduction tie 0
24.66/24.86 c CG core degree average 0.00
24.66/24.86 c CG core slack average 0.00
24.66/24.86 c CG core upper bound improvements 0
24.66/24.86 c STR number of successful calls 0
24.66/24.86 c STR number of unsuccessful calls 0
24.66/24.86 c STR number of inconclusive calls 0
24.66/24.86 c STR number of successful attempts 0
24.66/24.86 c STR number of unsuccessful attempts 0
24.66/24.86 c STR number of inconclusive attempts 0
24.66/24.86 c STR average degree increase per successful call inf
24.66/24.86 c STR average degree increase per successful attempt inf
24.66/24.86 c STR total number of conflicts for successful attempts 0
24.66/24.86 c STR total number of conflicts for unsuccessful attempts 0
24.66/24.86 c STR total number of conflicts for inconclusive attempts 0
24.66/24.86 c STR average number of conflicts per successful attempt inf
24.66/24.86 c STR average number of conflicts per unsuccessful attempt inf
24.66/24.86 c STR average number of conflicts per inconclusive attempt inf
24.66/24.86 c AVG.sumWPerc 65.93
24.66/24.86 c bigint constraints 0
24.66/24.86 s UNSATISFIABLE
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: 63837 MiB (63018 MiB free)
memory of node 1: 64465 MiB (63818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515382-1751232530/watcher-4515382-1751232530 -o /tmp/evaluation-result-4515382-1751232530/solver-4515382-1751232530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751232530-35818 --watchdog 3760 run-dec.sh HOME/instance-4515382-1751232530.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35865, runsolver pid=35862
[startup+0.100072 s]*
/proc/loadavg: 1.51 2.66 3.02 5/248 35868
/proc/meminfo: memFree=129858792/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=64888 memory=19760 CPUtime=0.09 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 2776 0 0 0 6 3 0 0 20 0 1 0 38932189 66445312 4940 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 16222 4940 1856 1147 0 3649 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69080 KiB
Current children cumulated memory: 22704 KiB
[startup+0.214095 s]*
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129840320/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=67000 memory=21808 CPUtime=0.2 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 3293 0 0 0 16 4 0 0 20 0 1 0 38932189 68608000 5452 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 16750 5452 1856 1147 0 4177 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 24752 KiB
[startup+0.314013 s]*
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129784876/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=92632 memory=47008 CPUtime=0.3 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 9069 0 0 0 23 7 0 0 20 0 1 0 38932189 94855168 11752 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 23158 11752 2208 1147 0 10585 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96824 KiB
Current children cumulated memory: 49952 KiB
[startup+0.700376 s]
/proc/loadavg: 1.51 2.66 3.02 6/254 35878
/proc/meminfo: memFree=129768748/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=105844 memory=59168 CPUtime=0.67 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 12082 0 0 0 58 9 0 0 20 0 1 0 38932189 108384256 14792 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 26461 14792 2240 1147 0 13888 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 110036 KiB
Current children cumulated memory: 62112 KiB
[startup+1.50044 s]
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129763708/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=106528 memory=62816 CPUtime=1.46 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 12420 0 0 0 115 31 0 0 20 0 1 0 38932189 109084672 15704 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 26632 15704 2336 1147 0 14059 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 110720 KiB
Current children cumulated memory: 65760 KiB
[startup+3.11291 s]
/proc/loadavg: 1.71 2.68 3.02 5/254 35878
/proc/meminfo: memFree=129412116/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=113480 memory=69344 CPUtime=3.07 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 14074 0 0 0 251 56 0 0 20 0 1 0 38932189 116203520 17336 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 28370 17336 2336 1147 0 15797 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 117672 KiB
Current children cumulated memory: 72288 KiB
[startup+6.30034 s]
/proc/loadavg: 1.71 2.68 3.02 5/254 35878
/proc/meminfo: memFree=129336496/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=121248 memory=76768 CPUtime=6.25 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 15921 0 0 0 520 105 0 0 20 0 1 0 38932189 124157952 19192 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 30312 19192 2336 1147 0 17739 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 125440 KiB
Current children cumulated memory: 79712 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.72 3.03 5/255 35925
/proc/meminfo: memFree=129296204/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=140324 memory=89952 CPUtime=12.61 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 19247 0 0 0 1124 137 0 0 20 0 1 0 38932189 143691776 22488 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 35081 22488 2336 1147 0 22508 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 144516 KiB
Current children cumulated memory: 92896 KiB
[startup+24.8648 s]
# the end of solver process 35865 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=23.1962 s, system=1.54478 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.06 2.72 3.03 5/255 35925
/proc/meminfo: memFree=129296204/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=140324 memory=90464 CPUtime=12.7 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 19348 0 0 0 1133 137 0 0 20 0 1 0 38932189 143691776 22616 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 35081 22616 2336 1147 0 22508 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 144516 KiB
Current children cumulated memory: 93408 KiB
[startup+19.2004 s]
/proc/loadavg: 2.22 2.75 3.04 5/255 35925
/proc/meminfo: memFree=129109868/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=142492 memory=93024 CPUtime=19.09 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 19997 0 0 0 1767 142 0 0 20 0 1 0 38932189 145911808 23256 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 35623 23256 2336 1147 0 23050 0
Current children cumulated CPU time: 19.09 s
Current children cumulated vsize: 146684 KiB
Current children cumulated memory: 95968 KiB
[startup+22.4004 s]
/proc/loadavg: 2.44 2.78 3.05 5/252 35942
/proc/meminfo: memFree=129129396/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=142492 memory=93024 CPUtime=22.27 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 20011 0 0 0 2083 144 0 0 20 0 1 0 38932189 145911808 23256 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 35623 23256 2336 1147 0 23050 0
Current children cumulated CPU time: 22.27 s
Current children cumulated vsize: 146684 KiB
Current children cumulated memory: 95968 KiB
[startup+24.0003 s]*
/proc/loadavg: 2.44 2.78 3.05 5/255 35971
/proc/meminfo: memFree=129063340/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=143448 memory=97184 CPUtime=23.88 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 20528 0 0 0 2240 148 0 0 20 0 1 0 38932189 146890752 24296 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 35862 24296 2336 1147 0 23289 0
Current children cumulated CPU time: 23.88 s
Current children cumulated vsize: 147640 KiB
Current children cumulated memory: 100128 KiB
[startup+24.4003 s]
/proc/loadavg: 2.44 2.78 3.05 5/255 35971
/proc/meminfo: memFree=129063340/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=143448 memory=97184 CPUtime=24.27 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 20531 0 0 0 2277 150 0 0 20 0 1 0 38932189 146890752 24296 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 35862 24296 2336 1147 0 23289 0
Current children cumulated CPU time: 24.27 s
Current children cumulated vsize: 147640 KiB
Current children cumulated memory: 100128 KiB
[startup+24.8003 s]
/proc/loadavg: 2.44 2.78 3.05 5/255 35971
/proc/meminfo: memFree=129063340/131382112 swapFree=33010684/33010684
[pid=35865] ppid=35862 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/35865/stat : 35865 (run-dec.sh) S 35862 35865 35802 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 38932188 4292608 736 18446744073709551615 94441328386048 94441329280581 140722667374816 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94441329519632 94441329567376 94441337511936 140722667379053 140722667379176 140722667379176 140722667384778 0
/proc/35865/statm: 1048 736 672 219 0 110 0
[pid=35867] ppid=35865 vsize=143448 memory=97184 CPUtime=24.66 cores=5,7
/proc/35867/stat : 35867 (roundingsat) R 35865 35865 35802 0 -1 4194304 20531 0 0 0 2313 153 0 0 20 0 1 0 38932189 146890752 24296 18446744073709551615 4227072 8923433 140729657576480 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21700608 140729657579959 140729657580072 140729657580072 140729657585642 0
/proc/35867/statm: 35862 24296 2336 1147 0 23289 0
Current children cumulated CPU time: 24.66 s
Current children cumulated vsize: 147640 KiB
Current children cumulated memory: 100128 KiB
Child status: 0
Real time (s): 24.8649
CPU time (s): 24.741
CPU user time (s): 23.1962
CPU system time (s): 1.54478
CPU usage (%): 99.5017
Max. virtual memory (cumulated for all children) (KiB): 147640
Max. memory (cumulated for all children) (KiB): 100128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.1962
system time used= 1.54478
maximum resident set size= 97184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20763
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= 145
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 35865
# total CPU time (s): 24.741
# total CPU user time (s): 23.1962
# total CPU system time (s): 1.54478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.17005 second user time and 0.29469 second system time
The end
Begin job on nodeC007 at 2025-06-29 23:28:50
IDJOB=4515382
IDBENCH=165244
IDSOLVER=3349
FILE ID=nodeC007/4515382-1751232530
RUNJOBID= nodeC007-1751232530-35818
SLURM_JOB_ID= 9587709
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515382-1751232530/watcher-4515382-1751232530 -o /tmp/evaluation-result-4515382-1751232530/solver-4515382-1751232530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751232530-35818 --watchdog 3760 run-dec.sh HOME/instance-4515382-1751232530.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ba28cd3367cfe12555432753b09255a3
RANDOM SEED=984989378
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.180
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 1196.945
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 1196.857
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.200
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.019
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 1196.985
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.177
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129884936 kB
MemAvailable: 129899024 kB
Buffers: 3280 kB
Cached: 823412 kB
SwapCached: 0 kB
Active: 323512 kB
Inactive: 578100 kB
Active(anon): 92880 kB
Inactive(anon): 0 kB
Active(file): 230632 kB
Inactive(file): 578100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30780 kB
Writeback: 0 kB
AnonPages: 78332 kB
Mapped: 102228 kB
Shmem: 17960 kB
KReclaimable: 89964 kB
Slab: 172152 kB
SReclaimable: 89964 kB
SUnreclaim: 82188 kB
KernelStack: 3700 kB
PageTables: 2684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 344280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC007 at 2025-06-29 23:29:16