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-4542272-1753215299.opb'
0.18/0.24 c read 20.32MB (230.32ms)
0.18/0.24 c [cnf: #variables 837976 #clauses 52507 #duplicates 0 #arr 1832604]
0.18/0.25 c
0.18/0.25 c make graph and approximate orbits
0.67/0.77 c [group: #orbits ~= 3572] (525.70ms)
0.67/0.77 c
0.67/0.77 c detect special group actions
0.67/0.77 c exceeded limit
0.67/0.77 c (0.00ms)
0.67/0.77 c
0.67/0.77 c detect symmetries on remainder
0.67/0.77 c [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
0.67/0.77 c
0.67/0.77 c finalize break order and special generators
0.76/0.81 c
0.76/0.81 c generation finished
0.76/0.81 c [sbp: #constraints 0 #add_vars 0]
0.76/0.82 c
0.76/0.82 c write result to 'HOME/instance-4542272-1753215299.opb.pre'
0.76/0.86 c wrote 20.34MB (42.75ms)
0.76/0.86 c ------------------------------------------------------------------
0.76/0.86 c 525.70ms 61.92% approx_orbits
0.76/0.86 c 230.32ms 27.13% parse
0.76/0.86 c 42.75ms 5.03% output
0.76/0.86 c 40.04ms 4.72% finalize_order
0.76/0.86 c 10.24ms 1.21% other
0.76/0.86 c 0.01ms 0.00% detect_generic
0.76/0.86 c 0.00ms 0.00% detect_special
0.76/0.86 c ───────────────────────────────────────────────
0.76/0.86 c 849.06ms 100% total
0.76/0.86 c ------------------------------------------------------------------
0.86/0.90 c RoundingSat 2
0.86/0.90 c branch pb25
0.86/0.90 c commit 63f22ad
1.74/1.88 c #variables 837976 #constraints 52507
856.29/858.43 c #Conflicts: 1000 | #Constraints: 53506
856.29/858.43 c #Conflicts: 2000 | #Constraints: 54506
856.29/858.43 c INPROCESSING
856.29/858.43 c #Conflicts: 3000 | #Constraints: 54521
856.29/858.43 c #Conflicts: 4000 | #Constraints: 55521
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 5000 | #Constraints: 54926
856.29/858.43 c #Conflicts: 6000 | #Constraints: 55926
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 7000 | #Constraints: 54921
856.29/858.43 c #Conflicts: 8000 | #Constraints: 55921
856.29/858.43 c #Conflicts: 9000 | #Constraints: 56921
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 10000 | #Constraints: 55628
856.29/858.43 c #Conflicts: 11000 | #Constraints: 56628
856.29/858.43 c #Conflicts: 12000 | #Constraints: 57628
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 13000 | #Constraints: 56084
856.29/858.43 c #Conflicts: 14000 | #Constraints: 57084
856.29/858.43 c #Conflicts: 15000 | #Constraints: 58084
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 16000 | #Constraints: 56304
856.29/858.43 c #Conflicts: 17000 | #Constraints: 57304
856.29/858.43 c #Conflicts: 18000 | #Constraints: 58304
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 19000 | #Constraints: 56339
856.29/858.43 c #Conflicts: 20000 | #Constraints: 57339
856.29/858.43 c #Conflicts: 21000 | #Constraints: 58339
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 22000 | #Constraints: 56129
856.29/858.43 c #Conflicts: 23000 | #Constraints: 57129
856.29/858.43 c #Conflicts: 24000 | #Constraints: 58129
856.29/858.43 c #Conflicts: 25000 | #Constraints: 59129
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 26000 | #Constraints: 56736
856.29/858.43 c #Conflicts: 27000 | #Constraints: 57736
856.29/858.43 c #Conflicts: 28000 | #Constraints: 58736
856.29/858.43 c #Conflicts: 29000 | #Constraints: 59736
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 30000 | #Constraints: 57152
856.29/858.43 c #Conflicts: 31000 | #Constraints: 58152
856.29/858.43 c #Conflicts: 32000 | #Constraints: 59152
856.29/858.43 c #Conflicts: 33000 | #Constraints: 60152
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 34000 | #Constraints: 57350
856.29/858.43 c #Conflicts: 35000 | #Constraints: 58350
856.29/858.43 c #Conflicts: 36000 | #Constraints: 59350
856.29/858.43 c #Conflicts: 37000 | #Constraints: 60350
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 38000 | #Constraints: 57362
856.29/858.43 c #Conflicts: 39000 | #Constraints: 58362
856.29/858.43 c #Conflicts: 40000 | #Constraints: 59362
856.29/858.43 c #Conflicts: 41000 | #Constraints: 60362
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 42000 | #Constraints: 57199
856.29/858.43 c #Conflicts: 43000 | #Constraints: 58199
856.29/858.43 c #Conflicts: 44000 | #Constraints: 59199
856.29/858.43 c #Conflicts: 45000 | #Constraints: 60199
856.29/858.43 c #Conflicts: 46000 | #Constraints: 61199
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 47000 | #Constraints: 57798
856.29/858.43 c #Conflicts: 48000 | #Constraints: 58798
856.29/858.43 c #Conflicts: 49000 | #Constraints: 59798
856.29/858.43 c #Conflicts: 50000 | #Constraints: 60798
856.29/858.43 c #Conflicts: 51000 | #Constraints: 61798
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 52000 | #Constraints: 58214
856.29/858.43 c #Conflicts: 53000 | #Constraints: 59214
856.29/858.43 c #Conflicts: 54000 | #Constraints: 60214
856.29/858.43 c #Conflicts: 55000 | #Constraints: 61214
856.29/858.43 c #Conflicts: 56000 | #Constraints: 62214
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 57000 | #Constraints: 58416
856.29/858.43 c #Conflicts: 58000 | #Constraints: 59416
856.29/858.43 c #Conflicts: 59000 | #Constraints: 60416
856.29/858.43 c #Conflicts: 60000 | #Constraints: 61416
856.29/858.43 c #Conflicts: 61000 | #Constraints: 62416
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 62000 | #Constraints: 58449
856.29/858.43 c #Conflicts: 63000 | #Constraints: 59449
856.29/858.43 c #Conflicts: 64000 | #Constraints: 60449
856.29/858.43 c #Conflicts: 65000 | #Constraints: 61449
856.29/858.43 c #Conflicts: 66000 | #Constraints: 62449
856.29/858.43 c INPROCESSING
856.29/858.43 c GARBAGE COLLECT
856.29/858.43 c #Conflicts: 67000 | #Constraints: 58258
856.29/858.43 c #Conflicts: 68000 | #Constraints: 59258
1228.46/1231.41 c #Conflicts: 69000 | #Constraints: 60258
1228.46/1231.41 c #Conflicts: 70000 | #Constraints: 61258
1228.46/1231.41 c #Conflicts: 71000 | #Constraints: 62258
1228.46/1231.41 c #Conflicts: 72000 | #Constraints: 63258
1228.46/1231.41 c INPROCESSING
1228.46/1231.41 c GARBAGE COLLECT
1228.46/1231.41 c #Conflicts: 73000 | #Constraints: 58887
1228.46/1231.41 c #Conflicts: 74000 | #Constraints: 59887
1228.46/1231.41 c #Conflicts: 75000 | #Constraints: 60887
1228.46/1231.41 c #Conflicts: 76000 | #Constraints: 61887
1228.46/1231.41 c #Conflicts: 77000 | #Constraints: 62887
1228.46/1231.41 c #Conflicts: 78000 | #Constraints: 63887
1228.46/1231.41 c INPROCESSING
1228.46/1231.41 c GARBAGE COLLECT
1228.46/1231.41 c #Conflicts: 79000 | #Constraints: 59320
1228.46/1231.41 c #Conflicts: 80000 | #Constraints: 60320
1228.46/1231.41 c #Conflicts: 81000 | #Constraints: 61320
1228.46/1231.41 c #Conflicts: 82000 | #Constraints: 62320
1228.46/1231.41 c #Conflicts: 83000 | #Constraints: 63320
1228.46/1231.41 c #Conflicts: 84000 | #Constraints: 64320
1228.46/1231.41 c INPROCESSING
1228.46/1231.41 c GARBAGE COLLECT
1228.46/1231.41 c #Conflicts: 85000 | #Constraints: 59595
1228.46/1231.41 c #Conflicts: 86000 | #Constraints: 60595
1228.46/1231.41 c #Conflicts: 87000 | #Constraints: 61595
1228.46/1231.41 c #Conflicts: 88000 | #Constraints: 62595
1228.46/1231.41 c #Conflicts: 89000 | #Constraints: 63595
1228.46/1231.41 c #Conflicts: 90000 | #Constraints: 64595
1228.46/1231.41 c INPROCESSING
1228.46/1231.41 c GARBAGE COLLECT
1228.46/1231.41 c #Conflicts: 91000 | #Constraints: 59676
1228.46/1231.41 c #Conflicts: 92000 | #Constraints: 60676
1228.46/1231.41 c #Conflicts: 93000 | #Constraints: 61676
1228.46/1231.41 c #Conflicts: 94000 | #Constraints: 62676
1228.46/1231.41 c #Conflicts: 95000 | #Constraints: 63676
1228.46/1231.41 c #Conflicts: 96000 | #Constraints: 64676
1228.46/1231.41 c INPROCESSING
1228.46/1231.41 c GARBAGE COLLECT
1228.46/1231.41 c #Conflicts: 97000 | #Constraints: 59549
1228.46/1231.41 c #Conflicts: 98000 | #Constraints: 60549
1228.46/1231.41 c #Conflicts: 99000 | #Constraints: 61549
1228.46/1231.41 c #Conflicts: 100000 | #Constraints: 62549
1228.46/1231.41 c #Conflicts: 101000 | #Constraints: 63549
1228.46/1231.41 c #Conflicts: 102000 | #Constraints: 64549
1228.46/1231.41 c #Conflicts: 103000 | #Constraints: 65549
1228.46/1231.41 c INPROCESSING
1228.46/1231.41 c #Conflicts: 104000 | #Constraints: 60187
1228.46/1231.41 c #Conflicts: 105000 | #Constraints: 61187
1228.46/1231.41 c #Conflicts: 106000 | #Constraints: 62187
1228.46/1231.41 c #Conflicts: 107000 | #Constraints: 63187
1228.46/1231.41 c #Conflicts: 108000 | #Constraints: 64187
1228.46/1231.41 c #Conflicts: 109000 | #Constraints: 65187
1228.46/1231.41 c #Conflicts: 110000 | #Constraints: 66187
1228.46/1231.41 c #Conflicts: 111000 | #Constraints: 67187
1228.46/1231.41 c #Conflicts: 112000 | #Constraints: 68187
1228.46/1231.41 c #Conflicts: 113000 | #Constraints: 69187
1228.46/1231.41 c cpu time 972.666 s
1228.46/1231.41 c deterministic time 1755197014 1.76e+09
1228.46/1231.41 c optimization time 0.000819 s
1228.46/1231.41 c total solve time 971.9 s
1228.46/1231.41 c core-guided solve time 0 s
1228.46/1231.41 c propagation time 100.018 s
1228.46/1231.41 c conflict analysis time 2.76006 s
1228.46/1231.41 c propagations 24104178
1228.46/1231.41 c resolve steps 300841
1228.46/1231.41 c decisions 399024322
1228.46/1231.41 c conflicts 113705
1228.46/1231.41 c restarts 295
1228.46/1231.41 c inprocessing phases 24
1228.46/1231.41 c garbage collections 22 ,( 91.67 )
1228.46/1231.41 c input clauses 26605 ,( 50.67 )
1228.46/1231.41 c input cardinalities 25902 ,( 49.33 )
1228.46/1231.41 c input general constraints 0 ,( 0.00 )
1228.46/1231.41 c input average constraint length 34.90
1228.46/1231.41 c input average constraint degree 17.28
1228.46/1231.41 c learned clauses 23570 ,( 20.73 )
1228.46/1231.41 c learned cardinalities 90118 ,( 79.26 )
1228.46/1231.41 c learned general constraints 16 ,( 0.01 )
1228.46/1231.41 c learned average constraint length 332.00
1228.46/1231.41 c learned average constraint degree 170.75
1228.46/1231.41 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1228.46/1231.41 c counting CF 32, 64, 128, Arb: 16 , 0 , 0 , 0
1228.46/1231.41 c watched constraints 0 ,( 0.00 )
1228.46/1231.41 c counting constraints 16 ,( 100.00 )
1228.46/1231.41 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 13456585 , 12382444 , 652 ,( 0 , 652 )
1228.46/1231.41 c gcd simplifications 0
1228.46/1231.41 c detected cardinalities 0
1228.46/1231.41 c weakened non-implied lits 66
1228.46/1231.41 c weakened non-implying lits 0
1228.46/1231.41 c original variables 837976
1228.46/1231.41 c clausal propagations 11958938
1228.46/1231.41 c cardinality propagations 11505334
1228.46/1231.41 c watched propagations 0
1228.46/1231.41 c counting propagations 43
1228.46/1231.41 c watch lookups 25889419
1228.46/1231.41 c watch backjump lookups 0
1228.46/1231.41 c watch checks 406438838
1228.46/1231.41 c propagation checks 431435603
1228.46/1231.41 c constraint additions 44999470
1228.46/1231.41 c trail pops 423242183
1228.46/1231.41 c formula constraints 52507
1228.46/1231.41 c learned constraints 113704
1228.46/1231.41 c bound constraints 0
1228.46/1231.41 c core-guided constraints 0
1228.55/1231.52 c encountered formula constraints 191903
1228.55/1231.52 c encountered learned constraints 222643
1228.55/1231.52 c encountered bound constraints 0
1228.55/1231.52 c encountered core-guided constraints 0
1228.55/1231.52 c LP total time 6.91249 s
1228.55/1231.52 c LP solve time 6.46 s
1228.55/1231.52 c LP constraints added 52507
1228.55/1231.52 c LP constraints removed 0
1228.55/1231.52 c LP pivots internal 42000
1228.55/1231.52 c LP pivots root 21000
1228.55/1231.52 c LP calls 6
1228.55/1231.52 c LP optimalities 0
1228.55/1231.52 c LP no pivot count 0
1228.55/1231.52 c LP infeasibilities 0
1228.55/1231.52 c LP valid Farkas constraints 0
1228.55/1231.52 c LP learned Farkas constraints 0
1228.55/1231.52 c LP basis resets 0
1228.55/1231.52 c LP cycling count 0
1228.55/1231.52 c LP singular count 0
1228.55/1231.52 c LP no primal count 0
1228.55/1231.52 c LP no farkas count 0
1228.55/1231.52 c LP other issue count 0
1228.55/1231.52 c LP Gomory cuts 0
1228.55/1231.52 c LP learned cuts 0
1228.55/1231.52 c LP deleted cuts 0
1228.55/1231.52 c LP encountered Gomory constraints 0
1228.55/1231.52 c LP encountered Farkas constraints 0
1228.55/1231.52 c LP encountered learned Farkas constraints 0
1228.55/1231.52 c CG auxiliary variables introduced 0
1228.55/1231.52 c CG solutions found 0
1228.55/1231.52 c CG cores constructed 0
1228.55/1231.52 c CG core cardinality constraints returned 0
1228.55/1231.52 c CG unit cores 0
1228.55/1231.52 c CG single cores 0
1228.55/1231.52 c CG blocks removed during cardinality reduction 0
1228.55/1231.52 c CG first core best 0
1228.55/1231.52 c CG decision core best 0
1228.55/1231.52 c CG core reduction tie 0
1228.55/1231.52 c CG core degree average 0.00
1228.55/1231.52 c CG core slack average 0.00
1228.55/1231.52 c CG core upper bound improvements 0
1228.55/1231.52 c STR number of successful calls 0
1228.55/1231.52 c STR number of unsuccessful calls 0
1228.55/1231.52 c STR number of inconclusive calls 0
1228.55/1231.52 c STR number of successful attempts 0
1228.55/1231.52 c STR number of unsuccessful attempts 0
1228.55/1231.52 c STR number of inconclusive attempts 0
1228.55/1231.52 c STR average degree increase per successful call inf
1228.55/1231.52 c STR average degree increase per successful attempt inf
1228.55/1231.52 c STR total number of conflicts for successful attempts 0
1228.55/1231.52 c STR total number of conflicts for unsuccessful attempts 0
1228.55/1231.52 c STR total number of conflicts for inconclusive attempts 0
1228.55/1231.52 c STR average number of conflicts per successful attempt inf
1228.55/1231.52 c STR average number of conflicts per unsuccessful attempt inf
1228.55/1231.52 c STR average number of conflicts per inconclusive attempt inf
1228.55/1231.52 c AVG.sumWPerc 70.47
1228.55/1231.52 c bigint constraints 0
1228.55/1231.52 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 (61607 MiB free)
memory of node 1: 64465 MiB (59818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542272-1753215299/watcher-4542272-1753215299 -o /tmp/evaluation-result-4542272-1753215299/solver-4542272-1753215299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175480 --watchdog 3760 run-dec-break.sh HOME/instance-4542272-1753215299.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=175919, runsolver pid=175915
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.11 4.09 4.05 5/269 175926
/proc/meminfo: memFree=124219416/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175921] ppid=175919 vsize=72220 memory=61476 CPUtime=0.07 cores=5,7
/proc/175921/stat : 175921 (pbsuma) R 175919 175919 175467 0 -1 4194304 8363 0 0 0 6 1 0 0 20 0 1 0 237209301 73953280 15369 18446744073709551615 4210688 4653049 140723608329376 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 26103808 140723608332641 140723608332848 140723608332848 140723608338415 0
/proc/175921/statm: 18055 15369 960 108 0 15463 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 76412 KiB
Current children cumulated memory: 64548 KiB
[startup+0.205645 s]*
/proc/loadavg: 4.11 4.09 4.05 5/269 175926
/proc/meminfo: memFree=124162008/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175921] ppid=175919 vsize=99568 memory=89268 CPUtime=0.18 cores=5,7
/proc/175921/stat : 175921 (pbsuma) R 175919 175919 175467 0 -1 4194304 14690 0 0 0 15 3 0 0 20 0 1 0 237209301 101957632 22317 18446744073709551615 4210688 4653049 140723608329376 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26103808 140723608332641 140723608332848 140723608332848 140723608338415 0
/proc/175921/statm: 24892 22317 960 108 0 22300 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 103760 KiB
Current children cumulated memory: 92340 KiB
[startup+0.305575 s]*
/proc/loadavg: 4.11 4.09 4.05 5/269 175926
/proc/meminfo: memFree=124042604/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175921] ppid=175919 vsize=222036 memory=169400 CPUtime=0.28 cores=5,7
/proc/175921/stat : 175921 (pbsuma) R 175919 175919 175467 0 -1 4194304 21930 0 0 0 23 5 0 0 20 0 1 0 237209301 227364864 42350 18446744073709551615 4210688 4653049 140723608329376 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26103808 140723608332641 140723608332848 140723608332848 140723608338415 0
/proc/175921/statm: 55509 42350 992 108 0 52917 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 226228 KiB
Current children cumulated memory: 172472 KiB
[startup+0.700209 s]
/proc/loadavg: 4.11 4.09 4.05 5/269 175926
/proc/meminfo: memFree=123685636/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175921] ppid=175919 vsize=797408 memory=578812 CPUtime=0.67 cores=5,7
/proc/175921/stat : 175921 (pbsuma) R 175919 175919 175467 0 -1 4194304 33883 0 0 0 53 14 0 0 20 0 1 0 237209301 816545792 144703 18446744073709551615 4210688 4653049 140723608329376 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26103808 140723608332641 140723608332848 140723608332848 140723608338415 0
/proc/175921/statm: 199352 144703 992 108 0 196760 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 801600 KiB
Current children cumulated memory: 581884 KiB
[startup+1.50019 s]
/proc/loadavg: 4.11 4.09 4.05 5/269 175928
/proc/meminfo: memFree=123400616/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=336356 memory=276336 CPUtime=0.58 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 26761 0 0 0 48 10 0 0 20 0 1 0 237209390 344428544 69084 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 84089 69084 1984 1147 0 71516 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 340548 KiB
Current children cumulated memory: 279408 KiB
[startup+3.10549 s]
/proc/loadavg: 4.10 4.09 4.05 5/269 175929
/proc/meminfo: memFree=122554280/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=895544 memory=812436 CPUtime=2.19 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 72925 0 0 0 190 29 0 0 20 0 1 0 237209390 917037056 203109 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 223886 203109 2304 1147 0 211313 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 899736 KiB
Current children cumulated memory: 815508 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.05 5/269 175929
/proc/meminfo: memFree=122463424/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=895544 memory=812436 CPUtime=5.37 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 72986 0 0 0 508 29 0 0 20 0 1 0 237209390 917037056 203109 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 223886 203109 2304 1147 0 211313 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 899736 KiB
Current children cumulated memory: 815508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.05 5/266 176059
/proc/meminfo: memFree=126258672/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=895544 memory=812436 CPUtime=11.75 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 73004 0 0 0 1146 29 0 0 20 0 1 0 237209390 917037056 203109 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 223886 203109 2304 1147 0 211313 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 899736 KiB
Current children cumulated memory: 815508 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.05 5/270 176118
/proc/meminfo: memFree=123098224/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=895544 memory=812436 CPUtime=24.52 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 73032 0 0 0 2423 29 0 0 20 0 1 0 237209390 917037056 203109 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 223886 203109 2304 1147 0 211313 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 899736 KiB
Current children cumulated memory: 815508 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.09 4.05 5/270 176165
/proc/meminfo: memFree=121578932/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=915816 memory=831292 CPUtime=50.05 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 74248 0 0 0 4942 63 0 0 20 0 1 0 237209390 937795584 207823 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 228954 207823 2368 1147 0 216381 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 920008 KiB
Current children cumulated memory: 834364 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/270 176174
/proc/meminfo: memFree=121606604/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=927244 memory=851340 CPUtime=101.1 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 77786 0 0 0 9869 241 0 0 20 0 1 0 237209390 949497856 212835 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 231811 212835 2368 1147 0 219238 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 931436 KiB
Current children cumulated memory: 854412 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/270 176176
/proc/meminfo: memFree=121528452/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=946484 memory=868980 CPUtime=160.96 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 81248 0 0 0 15709 387 0 0 20 0 1 0 237209390 969199616 217245 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 236621 217245 2368 1147 0 224048 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 950676 KiB
Current children cumulated memory: 872052 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/270 176178
/proc/meminfo: memFree=121377188/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=985136 memory=917076 CPUtime=220.81 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 88008 0 0 0 21044 1037 0 0 20 0 1 0 237209390 1008779264 229269 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 246284 229269 2368 1147 0 233711 0
################
# More data... #
################
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 135661 0 0 0 84578 21310 0 0 20 0 1 0 237209390 1224241152 283548 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 298887 283548 2368 1147 0 286314 0
Current children cumulated CPU time: 1059.74 s
Current children cumulated vsize: 1199740 KiB
Current children cumulated memory: 1137264 KiB
[startup+1122.3 s]
/proc/loadavg: 4.11 4.09 4.07 5/267 176220
/proc/meminfo: memFree=120514916/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1195860 memory=1134704 CPUtime=1118.74 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 135825 0 0 0 88899 22975 0 0 20 0 1 0 237209390 1224560640 283676 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 298965 283676 2368 1147 0 286392 0
Current children cumulated CPU time: 1119.6 s
Current children cumulated vsize: 1200052 KiB
Current children cumulated memory: 1137776 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/267 176222
/proc/meminfo: memFree=120381532/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1178.6 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 93904 23956 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1179.46 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1231.53 s]
# the end of solver process 175919 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=973.451 s, system=255.167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 4.06 4.08 4.06 5/267 176222
/proc/meminfo: memFree=120373372/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1199.45 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 95989 23956 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1200.31 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1216 s]*
/proc/loadavg: 4.05 4.08 4.06 5/267 176222
/proc/meminfo: memFree=120380860/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1212.24 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 96614 24610 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1213.1 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1222.4 s]
/proc/loadavg: 4.04 4.07 4.06 5/267 176222
/proc/meminfo: memFree=120364984/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1218.61 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 96878 24983 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1219.47 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1225.6 s]
/proc/loadavg: 4.04 4.07 4.06 5/267 176222
/proc/meminfo: memFree=120361140/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1221.81 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 97013 25168 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1222.67 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1228.8 s]
/proc/loadavg: 4.04 4.07 4.06 5/267 176222
/proc/meminfo: memFree=120361392/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1225 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 97152 25348 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1225.86 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1230.4 s]
/proc/loadavg: 4.04 4.07 4.06 5/267 176223
/proc/meminfo: memFree=120361652/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1226.6 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 97217 25443 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1227.46 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1231.2 s]
/proc/loadavg: 4.04 4.07 4.06 5/267 176223
/proc/meminfo: memFree=120361652/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1227.4 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 97255 25485 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1228.26 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1231.4 s]
/proc/loadavg: 4.04 4.07 4.06 5/267 176223
/proc/meminfo: memFree=120361652/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=1236472 memory=1165472 CPUtime=1227.6 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141383 0 0 0 97265 25495 0 0 20 0 1 0 237209390 1266147328 291368 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 309118 291368 2368 1147 0 296545 0
Current children cumulated CPU time: 1228.46 s
Current children cumulated vsize: 1240664 KiB
Current children cumulated memory: 1168544 KiB
[startup+1231.5 s]
/proc/loadavg: 4.04 4.07 4.06 5/267 176223
/proc/meminfo: memFree=120361652/131250000 swapFree=33009904/33010684
[pid=175919] ppid=175915 vsize=4192 memory=3072 CPUtime=0.86 cores=5,7
/proc/175919/stat : 175919 (run-dec-break.s) S 175915 175919 175467 0 -1 4194304 237 37444 0 0 0 0 67 19 20 0 1 0 237209300 4292608 768 18446744073709551615 94748395159552 94748396054085 140730679347392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748396293136 94748396340880 94748400406528 140730679355743 140730679355872 140730679355872 140730679361476 0
/proc/175919/statm: 1048 768 704 219 0 110 0
[pid=175928] ppid=175919 vsize=988804 memory=926392 CPUtime=1227.69 cores=5,7
/proc/175928/stat : 175928 (roundingsat) R 175919 175919 175467 0 -1 4194304 141388 0 0 0 97274 25495 0 0 20 0 1 0 237209390 1012535296 231598 18446744073709551615 4227072 8923433 140721445872880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25608192 140721445878082 140721445878310 140721445878310 140721445883882 0
/proc/175928/statm: 247201 231598 2368 1147 0 234628 0
Current children cumulated CPU time: 1228.55 s
Current children cumulated vsize: 992996 KiB
Current children cumulated memory: 929464 KiB
Child status: 0
Real time (s): 1231.53
CPU time (s): 1228.62
CPU user time (s): 973.451
CPU system time (s): 255.167
CPU usage (%): 99.7631
Max. virtual memory (cumulated for all children) (KiB): 1241180
Max. memory (cumulated for all children) (KiB): 1168968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 973.451
system time used= 255.167
maximum resident set size= 1165896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282
involuntary context switches= 1237
# summary of solver processes directly reported to runsolver:
# pid: 175919
# total CPU time (s): 1228.62
# total CPU user time (s): 973.451
# total CPU system time (s): 255.167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53081 second user time and 5.46331 second system time
The end
Begin job on nodeC033 at 2025-07-22 22:14:59
IDJOB=4542272
IDBENCH=163916
IDSOLVER=3357
FILE ID=nodeC033/4542272-1753215299
RUNJOBID= nodeC033-1753211687-175480
SLURM_JOB_ID= 9687798
Free space on /tmp= 432380 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542272-1753215299/watcher-4542272-1753215299 -o /tmp/evaluation-result-4542272-1753215299/solver-4542272-1753215299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175480 --watchdog 3760 run-dec-break.sh HOME/instance-4542272-1753215299.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=724624151
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 : 3600.262
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.065
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 : 3588.619
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 : 3600.285
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.132
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 : 3599.683
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 : 3603.645
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 : 3600.066
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: 124343852 kB
MemAvailable: 126006560 kB
Buffers: 2128 kB
Cached: 2385996 kB
SwapCached: 64 kB
Active: 4996952 kB
Inactive: 1158816 kB
Active(anon): 3788636 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 1153532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67540 kB
Writeback: 0 kB
AnonPages: 3767952 kB
Mapped: 115108 kB
Shmem: 26228 kB
KReclaimable: 280200 kB
Slab: 378128 kB
SReclaimable: 280200 kB
SUnreclaim: 97928 kB
KernelStack: 4256 kB
PageTables: 10552 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4334784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3233792 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= 432248 MiB
End job on nodeC033 at 2025-07-22 22:35:31