0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4516935-1751224161.opb'
0.00/0.01 c read 0.15MB (3.07ms)
0.00/0.01 c [cnf: #variables 1820 #clauses 4903 #duplicates 0 #arr 13188]
0.00/0.01 c output proof to 'PROOFDIR/proof-4516935-1751224161'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (3.73ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (0.79ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 13693 #edges 40316]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (1.01ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 0 #add_vars 0]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4516935-1751224161.opb.pre'
0.00/0.02 c wrote 0.16MB (0.51ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 3.73ms 37.40% approx_orbits
0.00/0.02 c 3.07ms 30.80% parse
0.00/0.02 c 1.01ms 10.09% detect_generic
0.00/0.02 c 0.80ms 8.03% other
0.00/0.02 c 0.79ms 7.92% detect_special
0.00/0.02 c 0.51ms 5.13% output
0.00/0.02 c 0.06ms 0.63% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 9.98ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.06 c #variables 1820 #constraints 2945
25.19/25.32 c #Conflicts: 1000 | #Constraints: 3946
25.19/25.32 c #Conflicts: 2000 | #Constraints: 4946
25.19/25.32 c INPROCESSING
25.19/25.32 c GARBAGE COLLECT
25.19/25.32 c #Conflicts: 3000 | #Constraints: 4197
25.19/25.32 c #Conflicts: 4000 | #Constraints: 5197
25.19/25.32 c INPROCESSING
25.19/25.32 c GARBAGE COLLECT
25.19/25.32 c #Conflicts: 5000 | #Constraints: 4603
25.19/25.32 c #Conflicts: 6000 | #Constraints: 5603
25.19/25.32 c INPROCESSING
25.19/25.32 c GARBAGE COLLECT
25.19/25.32 c #Conflicts: 7000 | #Constraints: 4610
25.19/25.32 c #Conflicts: 8000 | #Constraints: 5610
25.19/25.32 c #Conflicts: 9000 | #Constraints: 6610
25.19/25.32 c INPROCESSING
25.19/25.32 c GARBAGE COLLECT
25.19/25.32 c #Conflicts: 10000 | #Constraints: 5317
25.19/25.32 c #Conflicts: 11000 | #Constraints: 6317
25.19/25.32 c #Conflicts: 12000 | #Constraints: 7317
25.19/25.32 c INPROCESSING
25.19/25.32 c GARBAGE COLLECT
25.19/25.32 c rational objective 449.776
43.33/43.69 c #Conflicts: 13000 | #Constraints: 5770
43.33/43.69 c #Conflicts: 14000 | #Constraints: 6770
43.33/43.69 c #Conflicts: 15000 | #Constraints: 7770
43.33/43.69 c INPROCESSING
43.33/43.69 c GARBAGE COLLECT
43.33/43.69 c #Conflicts: 16000 | #Constraints: 5993
43.33/43.69 c #Conflicts: 17000 | #Constraints: 6993
43.33/43.69 c #Conflicts: 18000 | #Constraints: 7993
43.33/43.69 c INPROCESSING
43.33/43.69 c GARBAGE COLLECT
43.33/43.69 c rational objective 454.442
128.86/130.19 c #Conflicts: 19000 | #Constraints: 6007
128.86/130.19 c #Conflicts: 20000 | #Constraints: 7009
128.86/130.19 c #Conflicts: 21000 | #Constraints: 8011
128.86/130.19 c INPROCESSING
128.86/130.19 c GARBAGE COLLECT
128.86/130.19 c #Conflicts: 22000 | #Constraints: 5436
128.86/130.19 c #Conflicts: 23000 | #Constraints: 6436
128.86/130.19 c #Conflicts: 24000 | #Constraints: 7436
128.86/130.19 c #Conflicts: 25000 | #Constraints: 8436
128.86/130.19 c INPROCESSING
128.86/130.19 c GARBAGE COLLECT
128.86/130.19 c #Conflicts: 26000 | #Constraints: 6039
128.86/130.19 c #Conflicts: 27000 | #Constraints: 7039
128.86/130.19 c #Conflicts: 28000 | #Constraints: 8039
128.86/130.19 c #Conflicts: 29000 | #Constraints: 9039
128.86/130.19 c INPROCESSING
128.86/130.19 c GARBAGE COLLECT
128.86/130.19 c #Conflicts: 30000 | #Constraints: 6440
128.86/130.19 c #Conflicts: 31000 | #Constraints: 7440
128.86/130.19 c #Conflicts: 32000 | #Constraints: 8440
128.86/130.19 c #Conflicts: 33000 | #Constraints: 9440
128.86/130.19 c INPROCESSING
128.86/130.19 c GARBAGE COLLECT
128.86/130.19 c #Conflicts: 34000 | #Constraints: 6642
128.86/130.19 c #Conflicts: 35000 | #Constraints: 7642
128.86/130.19 c #Conflicts: 36000 | #Constraints: 8642
128.86/130.19 c #Conflicts: 37000 | #Constraints: 9642
128.86/130.19 c INPROCESSING
128.86/130.19 c GARBAGE COLLECT
128.86/130.19 c #Conflicts: 38000 | #Constraints: 6641
128.86/130.19 c #Conflicts: 39000 | #Constraints: 7641
128.86/130.19 c #Conflicts: 40000 | #Constraints: 8641
128.86/130.19 c #Conflicts: 41000 | #Constraints: 9641
128.86/130.19 c INPROCESSING
128.86/130.19 c GARBAGE COLLECT
128.86/130.19 c #Conflicts: 42000 | #Constraints: 6446
128.86/130.19 c #Conflicts: 43000 | #Constraints: 7446
128.86/130.19 c #Conflicts: 44000 | #Constraints: 8446
128.86/130.19 c cpu time 127.38 s
128.86/130.19 c deterministic time 27106513597 2.71e+10
128.86/130.19 c optimization time 2.4e-05 s
128.86/130.19 c total solve time 127.356 s
128.86/130.19 c core-guided solve time 0 s
128.86/130.19 c propagation time 80.7009 s
128.86/130.19 c conflict analysis time 32.3296 s
128.86/130.19 c propagations 5797312
128.86/130.19 c resolve steps 1317639
128.86/130.19 c decisions 60270
128.86/130.19 c conflicts 44859
128.86/130.19 c restarts 127
128.86/130.19 c inprocessing phases 13
128.86/130.19 c garbage collections 13 ,( 100.00 )
128.86/130.19 c input clauses 2940 ,( 99.83 )
128.86/130.19 c input cardinalities 0 ,( 0.00 )
128.86/130.19 c input general constraints 5 ,( 0.17 )
128.86/130.19 c input average constraint length 3.05
128.86/130.19 c input average constraint degree 122338868969745.61
128.86/130.19 c learned clauses 261 ,( 0.58 )
128.86/130.19 c learned cardinalities 1 ,( 0.00 )
128.86/130.19 c learned general constraints 44610 ,( 99.42 )
128.86/130.19 c learned average constraint length 381.00
128.86/130.19 c learned average constraint degree 1165429961.85
128.86/130.19 c watched CF 32, 64, 128, Arb: 30 , 0 , 0 , 0
128.86/130.19 c counting CF 32, 64, 128, Arb: 44580 , 5 , 0 , 0
128.86/130.19 c watched constraints 30 ,( 0.07 )
128.86/130.19 c counting constraints 44585 ,( 99.93 )
128.86/130.19 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 4018793 , 0 , 1345049262 ,( 2735 , 1345046527 )
128.86/130.19 c gcd simplifications 141
128.86/130.19 c detected cardinalities 1
128.86/130.19 c weakened non-implied lits 2996566
128.86/130.19 c weakened non-implying lits 36574
128.86/130.19 c original variables 1820
128.86/130.19 c clausal propagations 3925437
128.86/130.19 c cardinality propagations 0
128.86/130.19 c watched propagations 39
128.86/130.19 c counting propagations 1831136
128.86/130.19 c watch lookups 1354397957
128.86/130.19 c watch backjump lookups 0
128.86/130.19 c watch checks 203670
128.86/130.19 c propagation checks 25639070525
128.86/130.19 c constraint additions 101075453
128.86/130.19 c trail pops 5901192
128.86/130.19 c formula constraints 2945
128.86/130.19 c learned constraints 44858
128.86/130.19 c bound constraints 0
128.86/130.19 c core-guided constraints 0
128.86/130.19 c encountered formula constraints 1303641
128.86/130.19 c encountered learned constraints 56954
128.86/130.19 c encountered bound constraints 0
128.86/130.19 c encountered core-guided constraints 0
128.86/130.19 c LP total time 1.28541 s
128.86/130.19 c LP solve time 0.95 s
128.86/130.19 c LP constraints added 2949
128.86/130.19 c LP constraints removed 0
128.86/130.19 c LP pivots internal 4503
128.86/130.19 c LP pivots root 2714
128.86/130.19 c LP calls 34
128.86/130.19 c LP optimalities 18
128.86/130.19 c LP no pivot count 1
128.86/130.19 c LP infeasibilities 12
128.86/130.19 c LP valid Farkas constraints 10
128.86/130.19 c LP learned Farkas constraints 0
128.86/130.19 c LP basis resets 5
128.86/130.19 c LP cycling count 0
128.86/130.19 c LP singular count 2
128.86/130.19 c LP no primal count 0
128.86/130.19 c LP no farkas count 2
128.86/130.19 c LP other issue count 1
128.86/130.19 c LP Gomory cuts 4
128.86/130.19 c LP learned cuts 0
128.86/130.19 c LP deleted cuts 0
128.86/130.19 c LP encountered Gomory constraints 31
128.86/130.19 c LP encountered Farkas constraints 1872
128.86/130.19 c LP encountered learned Farkas constraints 0
128.86/130.19 c CG auxiliary variables introduced 0
128.86/130.19 c CG solutions found 0
128.86/130.19 c CG cores constructed 0
128.86/130.19 c CG core cardinality constraints returned 0
128.86/130.19 c CG unit cores 0
128.86/130.19 c CG single cores 0
128.86/130.19 c CG blocks removed during cardinality reduction 0
128.96/130.25 c CG first core best 0
128.96/130.25 c CG decision core best 0
128.96/130.25 c CG core reduction tie 0
128.96/130.25 c CG core degree average 0.00
128.96/130.25 c CG core slack average 0.00
128.96/130.25 c CG core upper bound improvements 0
128.96/130.25 c STR number of successful calls 0
128.96/130.25 c STR number of unsuccessful calls 0
128.96/130.25 c STR number of inconclusive calls 0
128.96/130.25 c STR number of successful attempts 0
128.96/130.25 c STR number of unsuccessful attempts 0
128.96/130.25 c STR number of inconclusive attempts 0
128.96/130.25 c STR average degree increase per successful call inf
128.96/130.25 c STR average degree increase per successful attempt inf
128.96/130.25 c STR total number of conflicts for successful attempts 0
128.96/130.25 c STR total number of conflicts for unsuccessful attempts 0
128.96/130.25 c STR total number of conflicts for inconclusive attempts 0
128.96/130.25 c STR average number of conflicts per successful attempt inf
128.96/130.25 c STR average number of conflicts per unsuccessful attempt inf
128.96/130.25 c STR average number of conflicts per inconclusive attempt inf
128.96/130.25 c AVG.sumWPerc 99.89
128.96/130.25 c bigint constraints 5
128.96/130.25 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: 63794 MiB (50412 MiB free)
memory of node 1: 64507 MiB (63992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4516935-1751224161/watcher-4516935-1751224161 -o /tmp/evaluation-result-4516935-1751224161/solver-4516935-1751224161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751216867-27474 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4516935-1751224161.opb PROOFDIR/proof-4516935-1751224161
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 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=31440, runsolver pid=31437
[startup+0.100101 s]*
/proc/loadavg: 4.21 4.14 4.16 5/262 31443
/proc/meminfo: memFree=117137452/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=61440 memory=15696 CPUtime=0.07 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 2312 0 0 0 7 0 0 0 20 0 1 0 38095489 62914560 3924 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 15360 3924 2368 1147 0 2787 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65632 KiB
Current children cumulated memory: 18768 KiB
[startup+0.214162 s]*
/proc/loadavg: 4.21 4.14 4.16 5/262 31443
/proc/meminfo: memFree=117137204/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=61440 memory=15696 CPUtime=0.18 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 2312 0 0 0 18 0 0 0 20 0 1 0 38095489 62914560 3924 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 15360 3924 2368 1147 0 2787 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65632 KiB
Current children cumulated memory: 18768 KiB
[startup+0.313246 s]*
/proc/loadavg: 4.21 4.14 4.16 5/262 31443
/proc/meminfo: memFree=117129140/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=61440 memory=15696 CPUtime=0.28 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 2312 0 0 0 28 0 0 0 20 0 1 0 38095489 62914560 3924 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 15360 3924 2368 1147 0 2787 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65632 KiB
Current children cumulated memory: 18768 KiB
[startup+0.700318 s]
/proc/loadavg: 4.21 4.14 4.16 5/262 31443
/proc/meminfo: memFree=117119312/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=61440 memory=15696 CPUtime=0.65 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 2312 0 0 0 65 0 0 0 20 0 1 0 38095489 62914560 3924 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 15360 3924 2368 1147 0 2787 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65632 KiB
Current children cumulated memory: 18768 KiB
[startup+1.50041 s]
/proc/loadavg: 4.21 4.14 4.16 5/262 31443
/proc/meminfo: memFree=117074960/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=68872 memory=26964 CPUtime=1.46 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 4121 0 0 0 143 3 0 0 20 0 1 0 38095489 70524928 6741 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 17218 6741 2368 1147 0 4645 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 73064 KiB
Current children cumulated memory: 30036 KiB
[startup+3.11381 s]
/proc/loadavg: 4.20 4.13 4.15 5/262 31443
/proc/meminfo: memFree=116910436/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=84084 memory=40660 CPUtime=3.06 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 7551 0 0 0 300 6 0 0 20 0 1 0 38095489 86102016 10165 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 21021 10165 2368 1147 0 8448 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 88276 KiB
Current children cumulated memory: 43732 KiB
[startup+6.30038 s]
/proc/loadavg: 4.20 4.13 4.15 5/263 31444
/proc/meminfo: memFree=116704776/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=99168 memory=53064 CPUtime=6.24 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 10007 0 0 0 612 12 0 0 20 0 1 0 38095489 101548032 13266 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 24792 13266 2496 1147 0 12219 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 103360 KiB
Current children cumulated memory: 56136 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.15 5/258 31472
/proc/meminfo: memFree=116367760/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=117488 memory=68220 CPUtime=12.61 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 13306 0 0 0 1239 22 0 0 20 0 1 0 38095489 120307712 17055 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 29372 17055 2496 1147 0 16799 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 121680 KiB
Current children cumulated memory: 71292 KiB
[startup+25.5004 s]
/proc/loadavg: 4.22 4.14 4.16 5/263 31493
/proc/meminfo: memFree=115592048/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=135152 memory=84908 CPUtime=25.37 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 16968 0 0 0 2497 40 0 0 20 0 1 0 38095489 138395648 21227 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 33788 21227 2496 1147 0 21215 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 139344 KiB
Current children cumulated memory: 87980 KiB
[startup+51.114 s]
/proc/loadavg: 4.22 4.15 4.16 5/263 31493
/proc/meminfo: memFree=114379292/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=161664 memory=98356 CPUtime=50.77 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 19828 0 0 0 5007 70 0 0 20 0 1 0 38095489 165543936 24589 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 40416 24589 2496 1147 0 27843 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 101428 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.17 4.16 5/264 31496
/proc/meminfo: memFree=113330200/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=171604 memory=111220 CPUtime=101.38 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 22524 0 0 0 10011 127 0 0 20 0 1 0 38095489 175722496 27805 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 42901 27805 2496 1147 0 30328 0
Current children cumulated CPU time: 101.39 s
Current children cumulated vsize: 175796 KiB
Current children cumulated memory: 114292 KiB
[startup+130.261 s]
# the end of solver process 31440 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=127.397 s, system=1.58439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 4.24 4.17 4.16 5/264 31496
/proc/meminfo: memFree=113330200/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=171604 memory=111220 CPUtime=101.48 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 22539 0 0 0 10021 127 0 0 20 0 1 0 38095489 175722496 27805 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 42901 27805 2496 1147 0 30328 0
Current children cumulated CPU time: 101.49 s
Current children cumulated vsize: 175796 KiB
Current children cumulated memory: 114292 KiB
[startup+115.2 s]
/proc/loadavg: 4.20 4.16 4.16 5/262 31496
/proc/meminfo: memFree=113069988/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=173040 memory=115392 CPUtime=114.24 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 23075 0 0 0 11284 140 0 0 20 0 1 0 38095489 177192960 28848 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 43260 28848 2496 1147 0 30687 0
Current children cumulated CPU time: 114.25 s
Current children cumulated vsize: 177232 KiB
Current children cumulated memory: 118464 KiB
[startup+121.6 s]
/proc/loadavg: 4.18 4.16 4.16 5/262 31496
/proc/meminfo: memFree=112969124/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=173268 memory=116160 CPUtime=120.61 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 23261 0 0 0 11915 146 0 0 20 0 1 0 38095489 177426432 29040 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 43317 29040 2496 1147 0 30744 0
Current children cumulated CPU time: 120.62 s
Current children cumulated vsize: 177460 KiB
Current children cumulated memory: 119232 KiB
[startup+124.8 s]
/proc/loadavg: 4.17 4.15 4.16 5/262 31496
/proc/meminfo: memFree=112896540/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=173268 memory=116160 CPUtime=123.78 cores=5,7
/proc/31443/stat : 31443 (roundingsat) D 31440 31440 27461 0 -1 4194304 23261 0 0 0 12229 149 0 0 20 0 1 0 38095489 177426432 29040 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 43317 29040 2496 1147 0 30744 0
Current children cumulated CPU time: 123.79 s
Current children cumulated vsize: 177460 KiB
Current children cumulated memory: 119232 KiB
[startup+128 s]*
/proc/loadavg: 4.15 4.15 4.16 6/262 31496
/proc/meminfo: memFree=112839844/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=173268 memory=116160 CPUtime=126.77 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 23261 0 0 0 12524 153 0 0 20 0 1 0 38095489 177426432 29040 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 43317 29040 2496 1147 0 30744 0
Current children cumulated CPU time: 126.78 s
Current children cumulated vsize: 177460 KiB
Current children cumulated memory: 119232 KiB
[startup+129.6 s]
/proc/loadavg: 4.15 4.15 4.16 5/257 31523
/proc/meminfo: memFree=113828616/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=173268 memory=116160 CPUtime=128.35 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 23261 0 0 0 12679 156 0 0 20 0 1 0 38095489 177426432 29040 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 43317 29040 2496 1147 0 30744 0
Current children cumulated CPU time: 128.36 s
Current children cumulated vsize: 177460 KiB
Current children cumulated memory: 119232 KiB
[startup+130 s]*
/proc/loadavg: 4.15 4.15 4.16 5/257 31524
/proc/meminfo: memFree=113820604/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=173268 memory=116160 CPUtime=128.75 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 23262 0 0 0 12719 156 0 0 20 0 1 0 38095489 177426432 29040 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 43317 29040 2496 1147 0 30744 0
Current children cumulated CPU time: 128.76 s
Current children cumulated vsize: 177460 KiB
Current children cumulated memory: 119232 KiB
[startup+130.201 s]
/proc/loadavg: 4.15 4.15 4.16 5/257 31524
/proc/meminfo: memFree=113820604/131382120 swapFree=33010416/33010684
[pid=31440] ppid=31437 vsize=4192 memory=3072 CPUtime=0.01 cores=5,7
/proc/31440/stat : 31440 (run-dec-break-l) S 31437 31440 27461 0 -1 4194304 245 1763 0 0 0 0 1 0 20 0 1 0 38095486 4292608 768 18446744073709551615 94649955041280 94649955935813 140723725046592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94649956174864 94649956222608 94649962082304 140723725048085 140723725048286 140723725048286 140723725053888 0
/proc/31440/statm: 1048 768 704 219 0 110 0
[pid=31443] ppid=31440 vsize=173268 memory=116160 CPUtime=128.95 cores=5,7
/proc/31443/stat : 31443 (roundingsat) R 31440 31440 27461 0 -1 4194304 23267 0 0 0 12738 157 0 0 20 0 1 0 38095489 177426432 29040 18446744073709551615 4227072 8923433 140731195010048 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 22740992 140731195017460 140731195017768 140731195017768 140731195023338 0
/proc/31443/statm: 43317 29040 2496 1147 0 30744 0
Current children cumulated CPU time: 128.96 s
Current children cumulated vsize: 177460 KiB
Current children cumulated memory: 119232 KiB
Child status: 0
Real time (s): 130.261
CPU time (s): 128.982
CPU user time (s): 127.397
CPU system time (s): 1.58439
CPU usage (%): 99.0175
Max. virtual memory (cumulated for all children) (KiB): 177460
Max. memory (cumulated for all children) (KiB): 119232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.397
system time used= 1.58439
maximum resident set size= 116160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2382768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2017
involuntary context switches= 442
# summary of solver processes directly reported to runsolver:
# pid: 31440
# total CPU time (s): 128.982
# total CPU user time (s): 127.397
# total CPU system time (s): 1.58439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.64312 second user time and 1.43078 second system time
The end
Begin job on nodeC006 at 2025-06-29 21:09:21
IDJOB=4516935
IDBENCH=175942
IDSOLVER=3358
FILE ID=nodeC006/4516935-1751224161
RUNJOBID= nodeC006-1751216867-27474
SLURM_JOB_ID= 9587659
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq8/normalized-28array_alg_ineq8.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4516935-1751224161/watcher-4516935-1751224161 -o /tmp/evaluation-result-4516935-1751224161/solver-4516935-1751224161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751216867-27474 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4516935-1751224161.opb PROOFDIR/proof-4516935-1751224161
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e563df95219b214aec9816293324d964
RANDOM SEED=756312188
nodeC006 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 : 3661.828
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.32
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.182
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.32
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.141
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.32
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.32
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 : 3661.850
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.32
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 : 2889.933
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.32
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 : 3700.000
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.32
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.142
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 117149800 kB
MemAvailable: 128924036 kB
Buffers: 2128 kB
Cached: 12568884 kB
SwapCached: 12 kB
Active: 1385892 kB
Inactive: 12298148 kB
Active(anon): 1118332 kB
Inactive(anon): 12740 kB
Active(file): 267560 kB
Inactive(file): 12285408 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 253660 kB
Writeback: 0 kB
AnonPages: 1115316 kB
Mapped: 116632 kB
Shmem: 17948 kB
KReclaimable: 121404 kB
Slab: 211384 kB
SReclaimable: 121404 kB
SUnreclaim: 89980 kB
KernelStack: 4208 kB
PageTables: 5508 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1560592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149576 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 602112 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC006 at 2025-06-29 21:11:32