0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.06 c #variables 1701 #constraints 2759
2.47/2.58 c #Conflicts: 1000 | #Constraints: 3761
2.47/2.58 c #Conflicts: 2000 | #Constraints: 4761
2.47/2.58 c INPROCESSING
2.47/2.58 c GARBAGE COLLECT
2.47/2.58 c rational objective 390.887
13.14/13.28 c #Conflicts: 3000 | #Constraints: 4026
13.14/13.28 c #Conflicts: 4000 | #Constraints: 5026
13.14/13.28 c INPROCESSING
13.14/13.28 c GARBAGE COLLECT
13.14/13.28 c #Conflicts: 5000 | #Constraints: 4430
13.14/13.28 c #Conflicts: 6000 | #Constraints: 5430
13.14/13.28 c INPROCESSING
13.14/13.28 c GARBAGE COLLECT
13.14/13.28 c #Conflicts: 7000 | #Constraints: 4429
13.14/13.28 c #Conflicts: 8000 | #Constraints: 5429
13.14/13.28 c #Conflicts: 9000 | #Constraints: 6429
13.14/13.28 c INPROCESSING
13.14/13.28 c GARBAGE COLLECT
13.14/13.28 c rational objective 394.117
30.78/31.01 c #Conflicts: 10000 | #Constraints: 5140
30.78/31.01 c #Conflicts: 11000 | #Constraints: 6140
30.78/31.01 c #Conflicts: 12000 | #Constraints: 7140
30.78/31.01 c INPROCESSING
30.78/31.01 c GARBAGE COLLECT
30.78/31.01 c #Conflicts: 13000 | #Constraints: 5466
30.78/31.01 c #Conflicts: 14000 | #Constraints: 6466
30.78/31.01 c #Conflicts: 15000 | #Constraints: 7466
30.78/31.01 c INPROCESSING
30.78/31.01 c GARBAGE COLLECT
30.78/31.01 c #Conflicts: 16000 | #Constraints: 5623
30.78/31.01 c #Conflicts: 17000 | #Constraints: 6623
30.78/31.01 c #Conflicts: 18000 | #Constraints: 7623
30.78/31.01 c INPROCESSING
30.78/31.01 c GARBAGE COLLECT
30.78/31.01 c rational objective 394.702
37.87/38.09 c #Conflicts: 19000 | #Constraints: 5636
37.87/38.09 c #Conflicts: 20000 | #Constraints: 6636
37.87/38.09 c #Conflicts: 21000 | #Constraints: 7636
37.87/38.09 c INPROCESSING
37.87/38.09 c GARBAGE COLLECT
37.87/38.09 c rational objective 395.69
45.95/46.19 c #Conflicts: 22000 | #Constraints: 5320
45.95/46.19 c #Conflicts: 23000 | #Constraints: 6320
45.95/46.19 c #Conflicts: 24000 | #Constraints: 7320
45.95/46.19 c #Conflicts: 25000 | #Constraints: 8320
45.95/46.19 c INPROCESSING
45.95/46.19 c GARBAGE COLLECT
45.95/46.19 c rational objective 396.695
55.01/55.22 c #Conflicts: 26000 | #Constraints: 5926
55.01/55.22 c #Conflicts: 27000 | #Constraints: 6927
55.01/55.22 c #Conflicts: 28000 | #Constraints: 7927
55.01/55.22 c #Conflicts: 29000 | #Constraints: 8927
55.01/55.22 c INPROCESSING
55.01/55.22 c GARBAGE COLLECT
55.01/55.22 c rational objective 396.696
64.80/65.08 c #Conflicts: 30000 | #Constraints: 6329
64.80/65.08 c #Conflicts: 31000 | #Constraints: 7329
64.80/65.08 c #Conflicts: 32000 | #Constraints: 8329
64.80/65.08 c #Conflicts: 33000 | #Constraints: 9329
64.80/65.08 c INPROCESSING
64.80/65.08 c GARBAGE COLLECT
64.80/65.08 c rational objective 397.601
74.05/74.38 c #Conflicts: 34000 | #Constraints: 6432
74.05/74.38 c #Conflicts: 35000 | #Constraints: 7432
74.05/74.38 c #Conflicts: 36000 | #Constraints: 8432
74.05/74.38 c cpu time 73.8701 s
74.05/74.38 c deterministic time 20468834506 2.05e+10
74.05/74.38 c optimization time 4.3e-05 s
74.05/74.38 c total solve time 73.8329 s
74.05/74.38 c core-guided solve time 0 s
74.05/74.38 c propagation time 56.438 s
74.05/74.38 c conflict analysis time 14.272 s
74.05/74.38 c propagations 4509918
74.05/74.38 c resolve steps 1045939
74.05/74.38 c decisions 47449
74.05/74.38 c conflicts 36998
74.05/74.38 c restarts 125
74.05/74.38 c inprocessing phases 11
74.05/74.38 c garbage collections 11 ,( 100.00 )
74.05/74.38 c input clauses 2754 ,( 99.82 )
74.05/74.38 c input cardinalities 0 ,( 0.00 )
74.05/74.38 c input general constraints 5 ,( 0.18 )
74.05/74.38 c input average constraint length 3.05
74.05/74.38 c input average constraint degree 32646608195194.55
74.05/74.38 c learned clauses 316 ,( 0.85 )
74.05/74.38 c learned cardinalities 6 ,( 0.02 )
74.05/74.38 c learned general constraints 36692 ,( 99.13 )
74.05/74.38 c learned average constraint length 365.62
74.05/74.38 c learned average constraint degree 1034499417.93
74.05/74.38 c watched CF 32, 64, 128, Arb: 27 , 0 , 0 , 0
74.05/74.38 c counting CF 32, 64, 128, Arb: 36665 , 5 , 0 , 0
74.05/74.38 c watched constraints 27 ,( 0.07 )
74.05/74.38 c counting constraints 36670 ,( 99.93 )
74.05/74.38 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3076809 , 2 , 1045729987 ,( 85605 , 1045644382 )
74.05/74.38 c gcd simplifications 158
74.05/74.38 c detected cardinalities 5
74.05/74.38 c weakened non-implied lits 2627051
74.05/74.38 c weakened non-implying lits 28302
74.05/74.38 c original variables 1701
74.05/74.38 c clausal propagations 2989358
74.05/74.38 c cardinality propagations 1
74.05/74.38 c watched propagations 10
74.05/74.38 c counting propagations 1487735
74.05/74.38 c watch lookups 1054436039
74.05/74.38 c watch backjump lookups 0
74.05/74.38 c watch checks 873477
74.05/74.38 c propagation checks 19326090314
74.05/74.38 c constraint additions 78278160
74.05/74.38 c trail pops 4592677
74.05/74.38 c formula constraints 2759
74.05/74.38 c learned constraints 36997
74.05/74.38 c bound constraints 0
74.05/74.38 c core-guided constraints 0
74.05/74.38 c encountered formula constraints 1029492
74.05/74.38 c encountered learned constraints 48848
74.05/74.38 c encountered bound constraints 0
74.05/74.38 c encountered core-guided constraints 0
74.05/74.38 c LP total time 1.70106 s
74.05/74.38 c LP solve time 0.74 s
74.05/74.38 c LP constraints added 2770
74.05/74.38 c LP constraints removed 1
74.05/74.38 c LP pivots internal 3727
74.05/74.38 c LP pivots root 2744
74.05/74.38 c LP calls 44
74.05/74.38 c LP optimalities 32
74.05/74.38 c LP no pivot count 7
74.05/74.38 c LP infeasibilities 9
74.05/74.38 c LP valid Farkas constraints 9
74.05/74.38 c LP learned Farkas constraints 0
74.05/74.38 c LP basis resets 2
74.05/74.38 c LP cycling count 2
74.05/74.38 c LP singular count 0
74.05/74.38 c LP no primal count 0
74.05/74.38 c LP no farkas count 0
74.05/74.38 c LP other issue count 0
74.05/74.38 c LP Gomory cuts 8
74.05/74.38 c LP learned cuts 4
74.05/74.38 c LP deleted cuts 2
74.05/74.38 c LP encountered Gomory constraints 0
74.05/74.38 c LP encountered Farkas constraints 4597
74.05/74.38 c LP encountered learned Farkas constraints 0
74.05/74.38 c CG auxiliary variables introduced 0
74.05/74.38 c CG solutions found 0
74.05/74.38 c CG cores constructed 0
74.05/74.38 c CG core cardinality constraints returned 0
74.05/74.38 c CG unit cores 0
74.05/74.38 c CG single cores 0
74.05/74.38 c CG blocks removed during cardinality reduction 0
74.05/74.38 c CG first core best 0
74.05/74.38 c CG decision core best 0
74.05/74.38 c CG core reduction tie 0
74.05/74.38 c CG core degree average 0.00
74.05/74.38 c CG core slack average 0.00
74.05/74.38 c CG core upper bound improvements 0
74.05/74.38 c STR number of successful calls 0
74.05/74.38 c STR number of unsuccessful calls 0
74.05/74.38 c STR number of inconclusive calls 0
74.05/74.38 c STR number of successful attempts 0
74.05/74.38 c STR number of unsuccessful attempts 0
74.05/74.38 c STR number of inconclusive attempts 0
74.05/74.38 c STR average degree increase per successful call inf
74.05/74.38 c STR average degree increase per successful attempt inf
74.05/74.38 c STR total number of conflicts for successful attempts 0
74.05/74.38 c STR total number of conflicts for unsuccessful attempts 0
74.05/74.38 c STR total number of conflicts for inconclusive attempts 0
74.05/74.38 c STR average number of conflicts per successful attempt inf
74.05/74.38 c STR average number of conflicts per unsuccessful attempt inf
74.05/74.38 c STR average number of conflicts per inconclusive attempt inf
74.05/74.38 c AVG.sumWPerc 99.75
74.05/74.38 c bigint constraints 5
74.05/74.38 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 (62447 MiB free)
memory of node 1: 64465 MiB (62589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4516966-1751232652/watcher-4516966-1751232652 -o /tmp/evaluation-result-4516966-1751232652/solver-4516966-1751232652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751232530-35818 --watchdog 3760 run-dec.sh HOME/instance-4516966-1751232652.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=37903, runsolver pid=37900
[startup+0.100104 s]*
/proc/loadavg: 3.71 3.15 3.16 5/255 37905
/proc/meminfo: memFree=128037692/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=60696 memory=14400 CPUtime=0.09 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 2060 0 0 0 8 1 0 0 20 0 1 0 38944351 62152704 3600 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 15174 3600 2304 1147 0 2601 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64888 KiB
Current children cumulated memory: 17472 KiB
[startup+0.213494 s]*
/proc/loadavg: 3.71 3.15 3.16 5/255 37905
/proc/meminfo: memFree=128029628/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=61360 memory=17288 CPUtime=0.2 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 2270 0 0 0 18 2 0 0 20 0 1 0 38944351 62832640 4322 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 15340 4322 2304 1147 0 2767 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65552 KiB
Current children cumulated memory: 20360 KiB
[startup+0.313334 s]*
/proc/loadavg: 3.71 3.15 3.16 5/255 37905
/proc/meminfo: memFree=128029628/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=62156 memory=18184 CPUtime=0.3 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 2482 0 0 0 28 2 0 0 20 0 1 0 38944351 63647744 4546 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 15539 4546 2304 1147 0 2966 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66348 KiB
Current children cumulated memory: 21256 KiB
[startup+0.700419 s]
/proc/loadavg: 3.71 3.15 3.16 5/255 37905
/proc/meminfo: memFree=128029376/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=64828 memory=20872 CPUtime=0.67 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 3153 0 0 0 65 2 0 0 20 0 1 0 38944351 66383872 5218 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 16207 5218 2304 1147 0 3634 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 69020 KiB
Current children cumulated memory: 23944 KiB
[startup+1.5004 s]
/proc/loadavg: 3.71 3.15 3.16 5/255 37905
/proc/meminfo: memFree=128019296/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=70060 memory=27616 CPUtime=1.47 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 4321 0 0 0 144 3 0 0 20 0 1 0 38944351 71741440 6904 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 17515 6904 2336 1147 0 4942 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 74252 KiB
Current children cumulated memory: 30688 KiB
[startup+3.11299 s]
/proc/loadavg: 3.71 3.15 3.16 5/255 37905
/proc/meminfo: memFree=127980424/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=82140 memory=38112 CPUtime=3.07 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 6946 0 0 0 302 5 0 0 20 0 1 0 38944351 84111360 9528 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 20535 9528 2336 1147 0 7962 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 86332 KiB
Current children cumulated memory: 41184 KiB
[startup+6.30039 s]
/proc/loadavg: 3.74 3.17 3.16 5/255 37905
/proc/meminfo: memFree=127934696/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=102740 memory=55428 CPUtime=6.26 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 10758 0 0 0 618 8 0 0 20 0 1 0 38944351 105205760 13857 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 25685 13857 2336 1147 0 13112 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 106932 KiB
Current children cumulated memory: 58500 KiB
[startup+12.7004 s]
/proc/loadavg: 3.76 3.18 3.17 5/255 37905
/proc/meminfo: memFree=127898848/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=115232 memory=68268 CPUtime=12.63 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 12871 0 0 0 1253 10 0 0 20 0 1 0 38944351 117997568 17067 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 28808 17067 2432 1147 0 16235 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 119424 KiB
Current children cumulated memory: 71340 KiB
[startup+25.5004 s]
/proc/loadavg: 3.97 3.26 3.19 5/255 37905
/proc/meminfo: memFree=127821160/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=137984 memory=86596 CPUtime=25.4 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 16922 0 0 0 2525 15 0 0 20 0 1 0 38944351 141295616 21649 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 34496 21649 2432 1147 0 21923 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 142176 KiB
Current children cumulated memory: 89668 KiB
[startup+51.1133 s]
/proc/loadavg: 3.98 3.32 3.22 5/255 37906
/proc/meminfo: memFree=127682608/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=158228 memory=96196 CPUtime=50.93 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 19300 0 0 0 5070 23 0 0 20 0 1 0 38944351 162025472 24049 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 39557 24049 2464 1147 0 26984 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 162420 KiB
Current children cumulated memory: 99268 KiB
[startup+74.391 s]
# the end of solver process 37903 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=73.876 s, system=0.285444 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2005 s]
/proc/loadavg: 3.98 3.32 3.22 5/255 37906
/proc/meminfo: memFree=127682608/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=158228 memory=96196 CPUtime=51.02 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 19300 0 0 0 5079 23 0 0 20 0 1 0 38944351 162025472 24049 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 39557 24049 2464 1147 0 26984 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 162420 KiB
Current children cumulated memory: 99268 KiB
[startup+64.0004 s]*
/proc/loadavg: 3.98 3.34 3.22 5/255 37907
/proc/meminfo: memFree=127635008/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=162116 memory=101728 CPUtime=63.8 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 20167 0 0 0 6354 26 0 0 20 0 1 0 38944351 166006784 25432 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 40529 25432 2464 1147 0 27956 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 166308 KiB
Current children cumulated memory: 104800 KiB
[startup+70.4004 s]
/proc/loadavg: 4.07 3.38 3.24 5/255 37907
/proc/meminfo: memFree=127574792/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=163480 memory=103136 CPUtime=70.17 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 20534 0 0 0 6990 27 0 0 20 0 1 0 38944351 167403520 25784 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 40870 25784 2464 1147 0 28297 0
Current children cumulated CPU time: 70.17 s
Current children cumulated vsize: 167672 KiB
Current children cumulated memory: 106208 KiB
[startup+72.0004 s]*
/proc/loadavg: 4.07 3.38 3.24 5/255 37907
/proc/meminfo: memFree=127542536/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=163480 memory=103136 CPUtime=71.78 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 20534 0 0 0 7151 27 0 0 20 0 1 0 38944351 167403520 25784 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 40870 25784 2464 1147 0 28297 0
Current children cumulated CPU time: 71.78 s
Current children cumulated vsize: 167672 KiB
Current children cumulated memory: 106208 KiB
[startup+73.6004 s]
/proc/loadavg: 4.07 3.38 3.24 5/255 37907
/proc/meminfo: memFree=127526408/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=163480 memory=103136 CPUtime=73.36 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 20548 0 0 0 7309 27 0 0 20 0 1 0 38944351 167403520 25784 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 40870 25784 2464 1147 0 28297 0
Current children cumulated CPU time: 73.36 s
Current children cumulated vsize: 167672 KiB
Current children cumulated memory: 106208 KiB
[startup+74.0004 s]*
/proc/loadavg: 4.07 3.38 3.24 5/255 37907
/proc/meminfo: memFree=127518596/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=163480 memory=103264 CPUtime=73.77 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 20557 0 0 0 7350 27 0 0 20 0 1 0 38944351 167403520 25816 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 40870 25816 2464 1147 0 28297 0
Current children cumulated CPU time: 73.77 s
Current children cumulated vsize: 167672 KiB
Current children cumulated memory: 106336 KiB
[startup+74.2004 s]
/proc/loadavg: 4.07 3.38 3.24 5/255 37907
/proc/meminfo: memFree=127518596/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=163480 memory=103264 CPUtime=73.95 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 20571 0 0 0 7368 27 0 0 20 0 1 0 38944351 167403520 25816 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 40870 25816 2464 1147 0 28297 0
Current children cumulated CPU time: 73.95 s
Current children cumulated vsize: 167672 KiB
Current children cumulated memory: 106336 KiB
[startup+74.3004 s]
/proc/loadavg: 4.07 3.38 3.24 5/255 37907
/proc/meminfo: memFree=127518596/131382112 swapFree=33010684/33010684
[pid=37903] ppid=37900 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/37903/stat : 37903 (run-dec.sh) S 37900 37903 35802 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 38944350 4292608 768 18446744073709551615 94216648675328 94216649569861 140728979491504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94216649808912 94216649856656 94216659415040 140728979499373 140728979499496 140728979499496 140728979505098 0
/proc/37903/statm: 1048 768 704 219 0 110 0
[pid=37905] ppid=37903 vsize=163696 memory=103392 CPUtime=74.05 cores=5,7
/proc/37905/stat : 37905 (roundingsat) R 37903 37903 35802 0 -1 4194304 20588 0 0 0 7378 27 0 0 20 0 1 0 38944351 167624704 25848 18446744073709551615 4227072 8923433 140730338442048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35000320 140730338445751 140730338445864 140730338445864 140730338451434 0
/proc/37905/statm: 40924 25848 2464 1147 0 28351 0
Current children cumulated CPU time: 74.05 s
Current children cumulated vsize: 167888 KiB
Current children cumulated memory: 106464 KiB
Child status: 0
Real time (s): 74.3911
CPU time (s): 74.1614
CPU user time (s): 73.876
CPU system time (s): 0.285444
CPU usage (%): 99.6912
Max. virtual memory (cumulated for all children) (KiB): 167888
Max. memory (cumulated for all children) (KiB): 106464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.876
system time used= 0.285444
maximum resident set size= 103392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20820
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= 149
involuntary context switches= 100
# summary of solver processes directly reported to runsolver:
# pid: 37903
# total CPU time (s): 74.1614
# total CPU user time (s): 73.876
# total CPU system time (s): 0.285444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.401177 second user time and 0.850616 second system time
The end
Begin job on nodeC007 at 2025-06-29 23:30:52
IDJOB=4516966
IDBENCH=175943
IDSOLVER=3349
FILE ID=nodeC007/4516966-1751232652
RUNJOBID= nodeC007-1751232530-35818
SLURM_JOB_ID= 9587709
Free space on /tmp= 432984 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq8/normalized-27array_alg_ineq8.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4516966-1751232652/watcher-4516966-1751232652 -o /tmp/evaluation-result-4516966-1751232652/solver-4516966-1751232652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751232530-35818 --watchdog 3760 run-dec.sh HOME/instance-4516966-1751232652.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46e13717bac6b321047b73f582d6b3f7
RANDOM SEED=1541068131
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 : 3662.650
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 : 3691.363
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 : 1197.635
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 : 3700.000
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 : 3662.653
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.207
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 : 1197.584
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.899
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: 128037692 kB
MemAvailable: 128062960 kB
Buffers: 3280 kB
Cached: 834156 kB
SwapCached: 0 kB
Active: 2211628 kB
Inactive: 589076 kB
Active(anon): 1980976 kB
Inactive(anon): 0 kB
Active(file): 230652 kB
Inactive(file): 589076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15096 kB
Writeback: 0 kB
AnonPages: 1966168 kB
Mapped: 115732 kB
Shmem: 17960 kB
KReclaimable: 90336 kB
Slab: 171996 kB
SReclaimable: 90336 kB
SUnreclaim: 81660 kB
KernelStack: 4112 kB
PageTables: 7184 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2418096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 561152 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:32:07