0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 6723 #constraints 6725
44.36/44.50 c #Conflicts: 1000 | #Constraints: 7724
44.36/44.50 c #Conflicts: 2000 | #Constraints: 8724
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 3000 | #Constraints: 8914
44.36/44.50 c #Conflicts: 4000 | #Constraints: 9914
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 5000 | #Constraints: 9409
44.36/44.50 c #Conflicts: 6000 | #Constraints: 10409
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 7000 | #Constraints: 9389
44.36/44.50 c #Conflicts: 8000 | #Constraints: 10389
44.36/44.50 c #Conflicts: 9000 | #Constraints: 11389
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 10000 | #Constraints: 10173
44.36/44.50 c #Conflicts: 11000 | #Constraints: 11173
44.36/44.50 c #Conflicts: 12000 | #Constraints: 12173
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 13000 | #Constraints: 10531
44.36/44.50 c #Conflicts: 14000 | #Constraints: 11531
44.36/44.50 c #Conflicts: 15000 | #Constraints: 12531
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 16000 | #Constraints: 10824
44.36/44.50 c #Conflicts: 17000 | #Constraints: 11824
44.36/44.50 c #Conflicts: 18000 | #Constraints: 12824
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 19000 | #Constraints: 10872
44.36/44.50 c #Conflicts: 20000 | #Constraints: 11872
44.36/44.50 c #Conflicts: 21000 | #Constraints: 12873
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 22000 | #Constraints: 10641
44.36/44.50 c #Conflicts: 23000 | #Constraints: 11641
44.36/44.50 c #Conflicts: 24000 | #Constraints: 12641
44.36/44.50 c #Conflicts: 25000 | #Constraints: 13641
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 26000 | #Constraints: 11233
44.36/44.50 c #Conflicts: 27000 | #Constraints: 12233
44.36/44.50 c #Conflicts: 28000 | #Constraints: 13233
44.36/44.50 c #Conflicts: 29000 | #Constraints: 14233
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 30000 | #Constraints: 11614
44.36/44.50 c #Conflicts: 31000 | #Constraints: 12615
44.36/44.50 c #Conflicts: 32000 | #Constraints: 13615
44.36/44.50 c #Conflicts: 33000 | #Constraints: 14615
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 34000 | #Constraints: 11802
44.36/44.50 c #Conflicts: 35000 | #Constraints: 12802
44.36/44.50 c #Conflicts: 36000 | #Constraints: 13803
44.36/44.50 c #Conflicts: 37000 | #Constraints: 14803
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 38000 | #Constraints: 11796
44.36/44.50 c #Conflicts: 39000 | #Constraints: 12796
44.36/44.50 c #Conflicts: 40000 | #Constraints: 13796
44.36/44.50 c #Conflicts: 41000 | #Constraints: 14797
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 42000 | #Constraints: 11587
44.36/44.50 c #Conflicts: 43000 | #Constraints: 12587
44.36/44.50 c #Conflicts: 44000 | #Constraints: 13588
44.36/44.50 c #Conflicts: 45000 | #Constraints: 14588
44.36/44.50 c #Conflicts: 46000 | #Constraints: 15588
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c #Conflicts: 47000 | #Constraints: 12194
44.36/44.50 c #Conflicts: 48000 | #Constraints: 13194
44.36/44.50 c #Conflicts: 49000 | #Constraints: 14195
44.36/44.50 c #Conflicts: 50000 | #Constraints: 15195
44.36/44.50 c #Conflicts: 51000 | #Constraints: 16196
44.36/44.50 c INPROCESSING
44.36/44.50 c GARBAGE COLLECT
44.36/44.50 c rational objective 3361.5
59.12/59.35 c #Conflicts: 52000 | #Constraints: 12591
59.12/59.35 c #Conflicts: 53000 | #Constraints: 13591
59.12/59.35 c #Conflicts: 54000 | #Constraints: 14592
59.12/59.35 c #Conflicts: 55000 | #Constraints: 15592
59.12/59.35 c #Conflicts: 56000 | #Constraints: 16592
59.12/59.35 c INPROCESSING
59.12/59.35 c GARBAGE COLLECT
59.12/59.35 c #Conflicts: 57000 | #Constraints: 12715
59.12/59.35 c #Conflicts: 58000 | #Constraints: 13715
59.12/59.35 c #Conflicts: 59000 | #Constraints: 14715
59.12/59.35 c #Conflicts: 60000 | #Constraints: 15715
59.12/59.35 c #Conflicts: 61000 | #Constraints: 16715
59.12/59.35 c INPROCESSING
59.12/59.35 c GARBAGE COLLECT
59.12/59.35 c #Conflicts: 62000 | #Constraints: 12680
59.12/59.35 c #Conflicts: 63000 | #Constraints: 13680
59.12/59.35 c #Conflicts: 64000 | #Constraints: 14680
59.12/59.35 c #Conflicts: 65000 | #Constraints: 15681
59.12/59.35 c #Conflicts: 66000 | #Constraints: 16682
59.12/59.35 c INPROCESSING
59.12/59.35 c GARBAGE COLLECT
59.12/59.35 c #Conflicts: 67000 | #Constraints: 12473
59.12/59.35 c #Conflicts: 68000 | #Constraints: 13473
59.12/59.35 c #Conflicts: 69000 | #Constraints: 14473
59.12/59.35 c #Conflicts: 70000 | #Constraints: 15474
59.12/59.35 c #Conflicts: 71000 | #Constraints: 16474
59.12/59.35 c #Conflicts: 72000 | #Constraints: 17474
59.12/59.35 c INPROCESSING
59.12/59.35 c GARBAGE COLLECT
59.12/59.35 c #Conflicts: 73000 | #Constraints: 13082
59.12/59.35 c #Conflicts: 74000 | #Constraints: 14082
59.12/59.35 c #Conflicts: 75000 | #Constraints: 15082
59.12/59.35 c #Conflicts: 76000 | #Constraints: 16082
59.12/59.35 c #Conflicts: 77000 | #Constraints: 17082
59.12/59.35 c #Conflicts: 78000 | #Constraints: 18082
59.12/59.35 c INPROCESSING
59.12/59.35 c GARBAGE COLLECT
59.12/59.35 c cpu time 58.1127 s
59.12/59.35 c deterministic time 4585009022 4.59e+09
59.12/59.35 c optimization time 3.9e-05 s
59.12/59.35 c total solve time 58.0852 s
59.12/59.35 c core-guided solve time 0 s
59.12/59.35 c propagation time 32.7803 s
59.12/59.35 c conflict analysis time 20.1854 s
59.12/59.35 c propagations 33093967
59.12/59.35 c resolve steps 622576
59.12/59.35 c decisions 675207
59.12/59.35 c conflicts 78001
59.12/59.35 c restarts 250
59.12/59.35 c inprocessing phases 20
59.12/59.35 c garbage collections 20 ,( 100.00 )
59.12/59.35 c input clauses 4484 ,( 66.68 )
59.12/59.35 c input cardinalities 2240 ,( 33.31 )
59.12/59.35 c input general constraints 1 ,( 0.01 )
59.12/59.35 c input average constraint length 3.33
59.12/59.35 c input average constraint degree 2.00
59.12/59.35 c learned clauses 12466 ,( 15.98 )
59.12/59.35 c learned cardinalities 1739 ,( 2.23 )
59.12/59.35 c learned general constraints 63810 ,( 81.79 )
59.12/59.35 c learned average constraint length 1060.65
59.12/59.35 c learned average constraint degree 1528220615.37
59.12/59.35 c watched CF 32, 64, 128, Arb: 55606 , 0 , 0 , 0
59.12/59.35 c counting CF 32, 64, 128, Arb: 8205 , 0 , 0 , 0
59.12/59.35 c watched constraints 55606 ,( 87.14 )
59.12/59.35 c counting constraints 8205 ,( 12.86 )
59.12/59.35 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9783160 , 10167928 , 23507534 ,( 22618317 , 889217 )
59.12/59.35 c gcd simplifications 1006
59.12/59.35 c detected cardinalities 39
59.12/59.35 c weakened non-implied lits 17904303
59.12/59.35 c weakened non-implying lits 1560
59.12/59.35 c original variables 6723
59.12/59.35 c clausal propagations 9446771
59.12/59.35 c cardinality propagations 5449000
59.12/59.35 c watched propagations 7301402
59.12/59.35 c counting propagations 5738862
59.12/59.35 c watch lookups 375824917
59.12/59.35 c watch backjump lookups 0
59.12/59.35 c watch checks 3120086007
59.12/59.35 c propagation checks 856894954
59.12/59.35 c constraint additions 164570447
59.12/59.35 c trail pops 33847160
59.12/59.35 c formula constraints 6725
59.12/59.35 c learned constraints 77986
59.12/59.35 c bound constraints 0
59.12/59.35 c core-guided constraints 0
59.12/59.35 c encountered formula constraints 544509
59.12/59.35 c encountered learned constraints 152167
59.12/59.35 c encountered bound constraints 0
59.12/59.35 c encountered core-guided constraints 0
59.12/59.35 c LP total time 2.04579 s
59.12/59.35 c LP solve time 1.36 s
59.12/59.35 c LP constraints added 6726
59.12/59.35 c LP constraints removed 0
59.12/59.35 c LP pivots internal 7965
59.12/59.35 c LP pivots root 8397
59.12/59.35 c LP calls 19
59.12/59.35 c LP optimalities 1
59.12/59.35 c LP no pivot count 0
59.12/59.35 c LP infeasibilities 15
59.12/59.35 c LP valid Farkas constraints 14
59.12/59.35 c LP learned Farkas constraints 14
59.12/59.35 c LP basis resets 0
59.12/59.35 c LP cycling count 0
59.12/59.35 c LP singular count 0
59.12/59.35 c LP no primal count 0
59.12/59.35 c LP no farkas count 0
59.12/59.35 c LP other issue count 0
59.12/59.35 c LP Gomory cuts 1
59.12/59.35 c LP learned cuts 0
59.12/59.35 c LP deleted cuts 0
59.12/59.35 c LP encountered Gomory constraints 0
59.12/59.35 c LP encountered Farkas constraints 3622
59.12/59.35 c LP encountered learned Farkas constraints 264
59.12/59.35 c CG auxiliary variables introduced 0
59.12/59.35 c CG solutions found 0
59.12/59.35 c CG cores constructed 0
59.12/59.35 c CG core cardinality constraints returned 0
59.12/59.35 c CG unit cores 0
59.12/59.36 c CG single cores 0
59.12/59.36 c CG blocks removed during cardinality reduction 0
59.12/59.36 c CG first core best 0
59.12/59.36 c CG decision core best 0
59.12/59.36 c CG core reduction tie 0
59.12/59.36 c CG core degree average 0.00
59.12/59.36 c CG core slack average 0.00
59.12/59.36 c CG core upper bound improvements 0
59.12/59.36 c STR number of successful calls 0
59.12/59.36 c STR number of unsuccessful calls 0
59.12/59.36 c STR number of inconclusive calls 0
59.12/59.36 c STR number of successful attempts 0
59.12/59.36 c STR number of unsuccessful attempts 0
59.12/59.36 c STR number of inconclusive attempts 0
59.12/59.36 c STR average degree increase per successful call inf
59.12/59.36 c STR average degree increase per successful attempt inf
59.12/59.36 c STR total number of conflicts for successful attempts 0
59.12/59.36 c STR total number of conflicts for unsuccessful attempts 0
59.12/59.36 c STR total number of conflicts for inconclusive attempts 0
59.12/59.36 c STR average number of conflicts per successful attempt inf
59.12/59.36 c STR average number of conflicts per unsuccessful attempt inf
59.12/59.36 c STR average number of conflicts per inconclusive attempt inf
59.12/59.36 c AVG.sumWPerc 19.48
59.12/59.36 c bigint constraints 0
59.12/59.36 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: 63708 MiB (61288 MiB free)
memory of node 1: 64465 MiB (60317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544414-1753206402/watcher-4544414-1753206402 -o /tmp/evaluation-result-4544414-1753206402/solver-4544414-1753206402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171406 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4544414-1753206402.opb /tmp/proof-4544414-1753206402
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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=174483, runsolver pid=174480
[startup+0.100065 s]*
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124520288/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=72236 memory=26788 CPUtime=0.08 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 4855 0 0 0 7 1 0 0 20 0 1 0 236319583 73969664 6697 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 18059 6697 2272 1147 0 5486 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76428 KiB
Current children cumulated memory: 29860 KiB
[startup+0.205568 s]*
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124516256/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=72736 memory=27684 CPUtime=0.19 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 5043 0 0 0 17 2 0 0 20 0 1 0 236319583 74481664 6921 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 18184 6921 2304 1147 0 5611 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76928 KiB
Current children cumulated memory: 30756 KiB
[startup+0.305491 s]*
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124516256/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=73000 memory=30232 CPUtime=0.29 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 5130 0 0 0 26 3 0 0 20 0 1 0 236319583 74752000 7558 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 18250 7558 2336 1147 0 5677 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77192 KiB
Current children cumulated memory: 33304 KiB
[startup+0.700154 s]
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124518544/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=83972 memory=39932 CPUtime=0.68 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 6543 0 0 0 64 4 0 0 20 0 1 0 236319583 85987328 9983 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 20993 9983 2336 1147 0 8420 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88164 KiB
Current children cumulated memory: 43004 KiB
[startup+1.50016 s]
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124490948/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=113984 memory=66340 CPUtime=1.47 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 10074 0 0 0 141 6 0 0 20 0 1 0 236319583 116719616 16585 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 28496 16585 2336 1147 0 15923 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 118176 KiB
Current children cumulated memory: 69412 KiB
[startup+3.10538 s]
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124381936/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=150980 memory=92716 CPUtime=3.08 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 15146 0 0 0 298 10 0 0 20 0 1 0 236319583 154603520 23179 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 37745 23179 2336 1147 0 25172 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 155172 KiB
Current children cumulated memory: 95788 KiB
[startup+6.30019 s]
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124293228/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=202516 memory=128100 CPUtime=6.26 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 19912 0 0 0 611 15 0 0 20 0 1 0 236319583 207376384 32025 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 50629 32025 2336 1147 0 38056 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 206708 KiB
Current children cumulated memory: 131172 KiB
[startup+12.7002 s]
/proc/loadavg: 4.00 4.06 4.08 5/269 174485
/proc/meminfo: memFree=124135164/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=240292 memory=181804 CPUtime=12.64 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 27755 0 0 0 1239 25 0 0 20 0 1 0 236319583 246059008 45451 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 60073 45451 2336 1147 0 47500 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 244484 KiB
Current children cumulated memory: 184876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.07 4.08 5/269 174485
/proc/meminfo: memFree=123973060/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=316272 memory=217964 CPUtime=25.41 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 33197 0 0 0 2497 44 0 0 20 0 1 0 236319583 323862528 54491 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 79068 54491 2336 1147 0 66495 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 320464 KiB
Current children cumulated memory: 221036 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123669964/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=371612 memory=266604 CPUtime=50.95 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 45325 0 0 0 5007 88 0 0 20 0 1 0 236319583 380530688 66651 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 92903 66651 2368 1147 0 80330 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 375804 KiB
Current children cumulated memory: 269676 KiB
[startup+59.37 s]
# the end of solver process 174483 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=58.1166 s, system=1.08628 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.11 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123669964/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=372368 memory=267244 CPUtime=51.04 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 45496 0 0 0 5016 88 0 0 20 0 1 0 236319583 381304832 66811 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 93092 66811 2368 1147 0 80519 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 376560 KiB
Current children cumulated memory: 270316 KiB
[startup+54.4001 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123618316/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=379704 memory=273004 CPUtime=54.23 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 46928 0 0 0 5328 95 0 0 20 0 1 0 236319583 388816896 68251 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 94926 68251 2368 1147 0 82353 0
Current children cumulated CPU time: 54.23 s
Current children cumulated vsize: 383896 KiB
Current children cumulated memory: 276076 KiB
[startup+57.6002 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123554848/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=386972 memory=280428 CPUtime=57.43 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 48804 0 0 0 5640 103 0 0 20 0 1 0 236319583 396259328 70107 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 96743 70107 2368 1147 0 84170 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 391164 KiB
Current children cumulated memory: 283500 KiB
[startup+58.4002 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123538720/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=386972 memory=280684 CPUtime=58.23 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 48860 0 0 0 5718 105 0 0 20 0 1 0 236319583 396259328 70171 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 96743 70171 2368 1147 0 84170 0
Current children cumulated CPU time: 58.23 s
Current children cumulated vsize: 391164 KiB
Current children cumulated memory: 283756 KiB
[startup+58.8002 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123538720/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=386972 memory=280812 CPUtime=58.62 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 48882 0 0 0 5756 106 0 0 20 0 1 0 236319583 396259328 70203 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 96743 70203 2368 1147 0 84170 0
Current children cumulated CPU time: 58.62 s
Current children cumulated vsize: 391164 KiB
Current children cumulated memory: 283884 KiB
[startup+59.2002 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123522592/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=389560 memory=282604 CPUtime=59.03 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 49342 0 0 0 5796 107 0 0 20 0 1 0 236319583 398909440 70651 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 97390 70651 2368 1147 0 84817 0
Current children cumulated CPU time: 59.03 s
Current children cumulated vsize: 393752 KiB
Current children cumulated memory: 285676 KiB
[startup+59.3001 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 174486
/proc/meminfo: memFree=123522592/131250000 swapFree=33009904/33010684
[pid=174483] ppid=174480 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/174483/stat : 174483 (run-dec-log.sh) S 174480 174483 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236319583 4292608 768 18446744073709551615 93890754691072 93890755585605 140724992508224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93890755824656 93890755872400 93890779115520 140724992510277 140724992510434 140724992510434 140724992516038 0
/proc/174483/statm: 1048 768 704 219 0 110 0
[pid=174485] ppid=174483 vsize=391296 memory=283500 CPUtime=59.12 cores=0,2
/proc/174485/stat : 174485 (roundingsat) R 174483 174483 171389 0 -1 4194304 49579 0 0 0 5805 107 0 0 20 0 1 0 236319583 400687104 70875 18446744073709551615 4227072 8923433 140726373257840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22331392 140726373259659 140726373259814 140726373259814 140726373265386 0
/proc/174485/statm: 97824 70875 2368 1147 0 85251 0
Current children cumulated CPU time: 59.12 s
Current children cumulated vsize: 395488 KiB
Current children cumulated memory: 286572 KiB
Child status: 0
Real time (s): 59.37
CPU time (s): 59.2028
CPU user time (s): 58.1166
CPU system time (s): 1.08628
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 395488
Max. memory (cumulated for all children) (KiB): 286572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.1166
system time used= 1.08628
maximum resident set size= 283628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 629440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 140
# summary of solver processes directly reported to runsolver:
# pid: 174483
# total CPU time (s): 59.2028
# total CPU user time (s): 58.1166
# total CPU system time (s): 1.08628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.130784 second user time and 0.280655 second system time
The end
Begin job on nodeC033 at 2025-07-22 19:46:42
IDJOB=4544414
IDBENCH=175404
IDSOLVER=3352
FILE ID=nodeC033/4544414-1753206402
RUNJOBID= nodeC033-1753198973-171406
SLURM_JOB_ID= 9687766
Free space on /tmp= 432364 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544414-1753206402/watcher-4544414-1753206402 -o /tmp/evaluation-result-4544414-1753206402/solver-4544414-1753206402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171406 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4544414-1753206402.opb /tmp/proof-4544414-1753206402
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9594ac6881a98589fd35bafe025917a8
RANDOM SEED=151054758
nodeC033 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 : 0xb00002a
cpu MHz : 3603.942
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.056
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.006
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.079
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.236
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124524400 kB
MemAvailable: 126087780 kB
Buffers: 2128 kB
Cached: 2286776 kB
SwapCached: 64 kB
Active: 4863172 kB
Inactive: 1059620 kB
Active(anon): 3654856 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 1054336 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13932 kB
Writeback: 0 kB
AnonPages: 3634516 kB
Mapped: 122032 kB
Shmem: 26228 kB
KReclaimable: 279936 kB
Slab: 377436 kB
SReclaimable: 279936 kB
SUnreclaim: 97500 kB
KernelStack: 4284 kB
PageTables: 10604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4146976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2486272 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431664 MiB
End job on nodeC033 at 2025-07-22 19:47:41