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-4542468-1753215378.opb'
0.87/1.01 c read 46.61MB (997.33ms)
0.87/1.01 c [cnf: #variables 1871280 #clauses 93919 #duplicates 0 #arr 4022904]
0.98/1.01 c output proof to '/tmp/proof-4542468-1753215378'
0.98/1.02 c
0.98/1.02 c make graph and approximate orbits
2.37/2.46 c [group: #orbits ~= 5244] (1434.92ms)
2.37/2.46 c
2.37/2.46 c detect special group actions
2.37/2.46 c exceeded limit
2.37/2.46 c (0.00ms)
2.37/2.46 c
2.37/2.46 c detect symmetries on remainder
2.37/2.46 c [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
2.37/2.46 c
2.37/2.46 c finalize break order and special generators
2.46/2.58 c
2.46/2.58 c generation finished
2.46/2.58 c [sbp: #constraints 0 #add_vars 0]
2.46/2.59 c
2.46/2.59 c write result to 'HOME/instance-4542468-1753215378.opb.pre'
2.66/2.70 c wrote 46.66MB (106.13ms)
2.66/2.70 c ------------------------------------------------------------------
2.66/2.70 c 1434.92ms 53.35% approx_orbits
2.66/2.70 c 997.31ms 37.08% parse
2.66/2.70 c 107.12ms 3.98% finalize_order
2.66/2.70 c 106.13ms 3.95% output
2.66/2.70 c 44.05ms 1.64% other
2.66/2.70 c 0.01ms 0.00% detect_generic
2.66/2.70 c 0.00ms 0.00% detect_special
2.66/2.70 c ───────────────────────────────────────────────
2.66/2.70 c 2689.53ms 100% total
2.66/2.70 c ------------------------------------------------------------------
2.66/2.78 c RoundingSat 2
2.66/2.78 c branch pb25
2.66/2.78 c commit 63f22ad
5.45/5.57 c #variables 1871280 #constraints 93919
2053.83/2059.08 c #Conflicts: 1000 | #Constraints: 94918
2053.83/2059.08 c #Conflicts: 2000 | #Constraints: 95918
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c #Conflicts: 3000 | #Constraints: 95932
2053.83/2059.08 c #Conflicts: 4000 | #Constraints: 96932
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 5000 | #Constraints: 96347
2053.83/2059.08 c #Conflicts: 6000 | #Constraints: 97347
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 7000 | #Constraints: 96342
2053.83/2059.08 c #Conflicts: 8000 | #Constraints: 97342
2053.83/2059.08 c #Conflicts: 9000 | #Constraints: 98342
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 10000 | #Constraints: 97032
2053.83/2059.08 c #Conflicts: 11000 | #Constraints: 98032
2053.83/2059.08 c #Conflicts: 12000 | #Constraints: 99032
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 13000 | #Constraints: 97499
2053.83/2059.08 c #Conflicts: 14000 | #Constraints: 98499
2053.83/2059.08 c #Conflicts: 15000 | #Constraints: 99499
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 16000 | #Constraints: 97714
2053.83/2059.08 c #Conflicts: 17000 | #Constraints: 98714
2053.83/2059.08 c #Conflicts: 18000 | #Constraints: 99714
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 19000 | #Constraints: 97734
2053.83/2059.08 c #Conflicts: 20000 | #Constraints: 98734
2053.83/2059.08 c #Conflicts: 21000 | #Constraints: 99734
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 22000 | #Constraints: 97534
2053.83/2059.08 c #Conflicts: 23000 | #Constraints: 98534
2053.83/2059.08 c #Conflicts: 24000 | #Constraints: 99534
2053.83/2059.08 c #Conflicts: 25000 | #Constraints: 100534
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 26000 | #Constraints: 98150
2053.83/2059.08 c #Conflicts: 27000 | #Constraints: 99150
2053.83/2059.08 c #Conflicts: 28000 | #Constraints: 100150
2053.83/2059.08 c #Conflicts: 29000 | #Constraints: 101150
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 30000 | #Constraints: 98561
2053.83/2059.08 c #Conflicts: 31000 | #Constraints: 99561
2053.83/2059.08 c #Conflicts: 32000 | #Constraints: 100561
2053.83/2059.08 c #Conflicts: 33000 | #Constraints: 101561
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 34000 | #Constraints: 98755
2053.83/2059.08 c #Conflicts: 35000 | #Constraints: 99755
2053.83/2059.08 c #Conflicts: 36000 | #Constraints: 100755
2053.83/2059.08 c #Conflicts: 37000 | #Constraints: 101755
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 38000 | #Constraints: 98763
2053.83/2059.08 c #Conflicts: 39000 | #Constraints: 99763
2053.83/2059.08 c #Conflicts: 40000 | #Constraints: 100763
2053.83/2059.08 c #Conflicts: 41000 | #Constraints: 101763
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 42000 | #Constraints: 98556
2053.83/2059.08 c #Conflicts: 43000 | #Constraints: 99556
2053.83/2059.08 c #Conflicts: 44000 | #Constraints: 100556
2053.83/2059.08 c #Conflicts: 45000 | #Constraints: 101556
2053.83/2059.08 c #Conflicts: 46000 | #Constraints: 102556
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 47000 | #Constraints: 99176
2053.83/2059.08 c #Conflicts: 48000 | #Constraints: 100176
2053.83/2059.08 c #Conflicts: 49000 | #Constraints: 101176
2053.83/2059.08 c #Conflicts: 50000 | #Constraints: 102176
2053.83/2059.08 c #Conflicts: 51000 | #Constraints: 103176
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 52000 | #Constraints: 99573
2053.83/2059.08 c #Conflicts: 53000 | #Constraints: 100573
2053.83/2059.08 c #Conflicts: 54000 | #Constraints: 101573
2053.83/2059.08 c #Conflicts: 55000 | #Constraints: 102573
2053.83/2059.08 c #Conflicts: 56000 | #Constraints: 103573
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 57000 | #Constraints: 99776
2053.83/2059.08 c #Conflicts: 58000 | #Constraints: 100776
2053.83/2059.08 c #Conflicts: 59000 | #Constraints: 101776
2053.83/2059.08 c #Conflicts: 60000 | #Constraints: 102776
2053.83/2059.08 c #Conflicts: 61000 | #Constraints: 103776
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 62000 | #Constraints: 99789
2053.83/2059.08 c #Conflicts: 63000 | #Constraints: 100789
2053.83/2059.08 c #Conflicts: 64000 | #Constraints: 101789
2053.83/2059.08 c #Conflicts: 65000 | #Constraints: 102789
2053.83/2059.08 c #Conflicts: 66000 | #Constraints: 103789
2053.83/2059.08 c INPROCESSING
2053.83/2059.08 c GARBAGE COLLECT
2053.83/2059.08 c #Conflicts: 67000 | #Constraints: 99594
2053.83/2059.08 c #Conflicts: 68000 | #Constraints: 100594
3600.02/3608.90 c #Conflicts: 69000 | #Constraints: 101594
3600.02/3608.90 c #Conflicts: 70000 | #Constraints: 102594
3600.02/3608.90 c #Conflicts: 71000 | #Constraints: 103594
3600.02/3608.90 c #Conflicts: 72000 | #Constraints: 104594
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 73000 | #Constraints: 100196
3600.02/3608.90 c #Conflicts: 74000 | #Constraints: 101196
3600.02/3608.90 c #Conflicts: 75000 | #Constraints: 102196
3600.02/3608.90 c #Conflicts: 76000 | #Constraints: 103196
3600.02/3608.90 c #Conflicts: 77000 | #Constraints: 104196
3600.02/3608.90 c #Conflicts: 78000 | #Constraints: 105196
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 79000 | #Constraints: 100611
3600.02/3608.90 c #Conflicts: 80000 | #Constraints: 101611
3600.02/3608.90 c #Conflicts: 81000 | #Constraints: 102611
3600.02/3608.90 c #Conflicts: 82000 | #Constraints: 103611
3600.02/3608.90 c #Conflicts: 83000 | #Constraints: 104611
3600.02/3608.90 c #Conflicts: 84000 | #Constraints: 105611
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 85000 | #Constraints: 100829
3600.02/3608.90 c #Conflicts: 86000 | #Constraints: 101829
3600.02/3608.90 c #Conflicts: 87000 | #Constraints: 102829
3600.02/3608.90 c #Conflicts: 88000 | #Constraints: 103829
3600.02/3608.90 c #Conflicts: 89000 | #Constraints: 104829
3600.02/3608.90 c #Conflicts: 90000 | #Constraints: 105829
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 91000 | #Constraints: 100832
3600.02/3608.90 c #Conflicts: 92000 | #Constraints: 101832
3600.02/3608.90 c #Conflicts: 93000 | #Constraints: 102832
3600.02/3608.90 c #Conflicts: 94000 | #Constraints: 103832
3600.02/3608.90 c #Conflicts: 95000 | #Constraints: 104832
3600.02/3608.90 c #Conflicts: 96000 | #Constraints: 105832
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 97000 | #Constraints: 100648
3600.02/3608.90 c #Conflicts: 98000 | #Constraints: 101648
3600.02/3608.90 c #Conflicts: 99000 | #Constraints: 102648
3600.02/3608.90 c #Conflicts: 100000 | #Constraints: 103648
3600.02/3608.90 c #Conflicts: 101000 | #Constraints: 104648
3600.02/3608.90 c #Conflicts: 102000 | #Constraints: 105648
3600.02/3608.90 c #Conflicts: 103000 | #Constraints: 106648
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 104000 | #Constraints: 101299
3600.02/3608.90 c #Conflicts: 105000 | #Constraints: 102299
3600.02/3608.90 c #Conflicts: 106000 | #Constraints: 103299
3600.02/3608.90 c #Conflicts: 107000 | #Constraints: 104299
3600.02/3608.90 c #Conflicts: 108000 | #Constraints: 105299
3600.02/3608.90 c #Conflicts: 109000 | #Constraints: 106299
3600.02/3608.90 c #Conflicts: 110000 | #Constraints: 107299
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 111000 | #Constraints: 101737
3600.02/3608.90 c #Conflicts: 112000 | #Constraints: 102737
3600.02/3608.90 c #Conflicts: 113000 | #Constraints: 103737
3600.02/3608.90 c #Conflicts: 114000 | #Constraints: 104737
3600.02/3608.90 c #Conflicts: 115000 | #Constraints: 105737
3600.02/3608.90 c #Conflicts: 116000 | #Constraints: 106737
3600.02/3608.90 c #Conflicts: 117000 | #Constraints: 107737
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 118000 | #Constraints: 101955
3600.02/3608.90 c #Conflicts: 119000 | #Constraints: 102955
3600.02/3608.90 c #Conflicts: 120000 | #Constraints: 103955
3600.02/3608.90 c #Conflicts: 121000 | #Constraints: 104955
3600.02/3608.90 c #Conflicts: 122000 | #Constraints: 105955
3600.02/3608.90 c #Conflicts: 123000 | #Constraints: 106955
3600.02/3608.90 c #Conflicts: 124000 | #Constraints: 107955
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 125000 | #Constraints: 101981
3600.02/3608.90 c #Conflicts: 126000 | #Constraints: 102981
3600.02/3608.90 c #Conflicts: 127000 | #Constraints: 103981
3600.02/3608.90 c #Conflicts: 128000 | #Constraints: 104981
3600.02/3608.90 c #Conflicts: 129000 | #Constraints: 105981
3600.02/3608.90 c #Conflicts: 130000 | #Constraints: 106981
3600.02/3608.90 c #Conflicts: 131000 | #Constraints: 107981
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 132000 | #Constraints: 101818
3600.02/3608.90 c #Conflicts: 133000 | #Constraints: 102818
3600.02/3608.90 c #Conflicts: 134000 | #Constraints: 103818
3600.02/3608.90 c #Conflicts: 135000 | #Constraints: 104818
3600.02/3608.90 c #Conflicts: 136000 | #Constraints: 105818
3600.02/3608.90 c #Conflicts: 137000 | #Constraints: 106818
3600.02/3608.90 c #Conflicts: 138000 | #Constraints: 107818
3600.02/3608.90 c #Conflicts: 139000 | #Constraints: 108818
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c cpu time 3055.16 s
3600.02/3608.90 c deterministic time 3700454756 3.70e+09
3600.02/3608.90 c optimization time 70.0744 s
3600.02/3608.90 c total solve time 2982.77 s
3600.02/3608.90 c core-guided solve time 0 s
3600.02/3608.90 c propagation time 222.105 s
3600.02/3608.90 c conflict analysis time 4.53563 s
3600.02/3608.90 c propagations 40485403
3600.02/3608.90 c resolve steps 293967
3600.02/3608.90 c decisions 851491347
3600.02/3608.90 c conflicts 139238
3600.02/3608.90 c restarts 362
3600.02/3608.90 c inprocessing phases 29
3600.02/3608.90 c garbage collections 28 ,( 96.55 )
3600.02/3608.90 c input clauses 47477 ,( 50.55 )
3600.02/3608.90 c input cardinalities 46442 ,( 49.45 )
3600.02/3608.90 c input general constraints 0 ,( 0.00 )
3600.02/3608.90 c input average constraint length 42.83
3600.02/3608.90 c input average constraint degree 21.27
3600.02/3608.90 c learned clauses 7198 ,( 5.17 )
3600.02/3608.90 c learned cardinalities 132040 ,( 94.83 )
3600.02/3608.90 c learned general constraints 0 ,( 0.00 )
3600.02/3608.90 c learned average constraint length 593.50
3600.02/3608.90 c learned average constraint degree 305.17
3600.02/3608.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3608.90 c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3608.90 c watched constraints 0 ,( -nan )
3600.02/3608.90 c counting constraints 0 ,( -nan )
3600.02/3608.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 21702037 , 20914551 , 0 ,( 0 , 0 )
3600.02/3608.90 c gcd simplifications 0
3600.02/3608.90 c detected cardinalities 0
3600.02/3608.90 c weakened non-implied lits 0
3600.02/3608.90 c weakened non-implying lits 0
3600.02/3608.90 c original variables 1871280
3600.02/3608.90 c clausal propagations 20557020
3600.02/3608.90 c cardinality propagations 18722944
3600.02/3608.90 c watched propagations 0
3600.02/3608.90 c counting propagations 0
3600.02/3608.90 c watch lookups 42616588
3600.02/3608.90 c watch backjump lookups 0
3600.02/3608.90 c watch checks 871479000
3600.02/3608.90 c propagation checks 907722825
3600.02/3608.90 c constraint additions 94480605
3600.02/3608.90 c trail pops 892115987
3600.02/3608.90 c formula constraints 93919
3600.02/3608.90 c learned constraints 139238
3600.02/3608.90 c bound constraints 0
3600.02/3608.90 c core-guided constraints 0
3600.02/3608.90 c encountered formula constraints 276112
3600.02/3608.90 c encountered learned constraints 157093
3600.02/3608.90 c encountered bound constraints 0
3600.02/3608.90 c encountered core-guided constraints 0
3600.02/3608.90 c LP total time 11.8499 s
3600.02/3608.90 c LP solve time 10.78 s
3600.02/3608.90 c LP constraints added 93919
3600.02/3608.90 c LP constraints removed 0
3600.02/3608.90 c LP pivots internal 42000
3600.02/3608.90 c LP pivots root 21000
3600.02/3608.90 c LP calls 6
3600.02/3608.90 c LP optimalities 0
3600.02/3608.90 c LP no pivot count 0
3600.02/3608.90 c LP infeasibilities 0
3600.02/3608.90 c LP valid Farkas constraints 0
3600.02/3608.90 c LP learned Farkas constraints 0
3600.02/3608.90 c LP basis resets 0
3600.02/3608.90 c LP cycling count 0
3600.02/3608.90 c LP singular count 0
3600.02/3608.90 c LP no primal count 0
3600.02/3608.90 c LP no farkas count 0
3600.02/3608.90 c LP other issue count 0
3600.02/3608.90 c LP Gomory cuts 0
3600.02/3608.90 c LP learned cuts 0
3600.02/3608.90 c LP deleted cuts 0
3600.02/3608.90 c LP encountered Gomory constraints 0
3600.02/3608.90 c LP encountered Farkas constraints 0
3600.02/3608.90 c LP encountered learned Farkas constraints 0
3600.02/3608.90 c CG auxiliary variables introduced 0
3600.02/3608.90 c CG solutions found 0
3600.02/3608.90 c CG cores constructed 0
3600.02/3608.90 c CG core cardinality constraints returned 0
3600.02/3608.90 c CG unit cores 0
3600.02/3608.90 c CG single cores 0
3600.02/3608.90 c CG blocks removed during cardinality reduction 0
3600.02/3608.90 c CG first core best 0
3600.02/3608.90 c CG decision core best 0
3600.02/3608.90 c CG core reduction tie 0
3600.02/3608.90 c CG core degree average 0.00
3600.02/3608.90 c CG core slack average 0.00
3600.02/3608.90 c CG core upper bound improvements 0
3600.02/3608.90 c STR number of successful calls 0
3600.02/3608.90 c STR number of unsuccessful calls 0
3600.02/3608.90 c STR number of inconclusive calls 0
3600.02/3608.90 c STR number of successful attempts 0
3600.02/3608.90 c STR number of unsuccessful attempts 0
3600.02/3608.90 c STR number of inconclusive attempts 0
3600.02/3608.90 c STR average degree increase per successful call inf
3600.02/3608.90 c STR average degree increase per successful attempt inf
3600.02/3608.90 c STR total number of conflicts for successful attempts 0
3600.02/3608.90 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.90 c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.90 c STR average number of conflicts per successful attempt inf
3600.02/3608.90 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.90 c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.90 c AVG.sumWPerc -nan
3600.02/3608.90 c bigint constraints 0
3600.02/3608.90 s UNKNOWN
3600.02/3608.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (52357 MiB free)
memory of node 1: 64465 MiB (50342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542468-1753215378/watcher-4542468-1753215378 -o /tmp/evaluation-result-4542468-1753215378/solver-4542468-1753215378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157541 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542468-1753215378.opb /tmp/proof-4542468-1753215378
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
Starting watchdog thread
LinuxStarting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=158219, runsolver pid=158216
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.15 4.11 5/254 158221
/proc/meminfo: memFree=105071712/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158221] ppid=158219 vsize=103880 memory=95624 CPUtime=0.08 cores=5,7
/proc/158221/stat : 158221 (pbsuma) R 158219 158219 157528 0 -1 4194304 7151 0 0 0 6 2 0 0 20 0 1 0 237216559 106373120 23906 18446744073709551615 4210688 4653049 140730013298000 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 17850368 140730013305095 140730013305392 140730013305392 140730013310959 0
/proc/158221/statm: 25970 23906 928 108 0 23378 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 108072 KiB
Current children cumulated memory: 98696 KiB
[startup+0.2057 s]*
/proc/loadavg: 4.11 4.15 4.11 5/254 158221
/proc/meminfo: memFree=105047644/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158221] ppid=158219 vsize=137616 memory=124524 CPUtime=0.19 cores=5,7
/proc/158221/stat : 158221 (pbsuma) R 158219 158219 157528 0 -1 4194304 13413 0 0 0 15 4 0 0 20 0 1 0 237216559 140918784 31131 18446744073709551615 4210688 4653049 140730013298000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17850368 140730013305095 140730013305392 140730013305392 140730013310959 0
/proc/158221/statm: 34404 31131 928 108 0 31812 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 141808 KiB
Current children cumulated memory: 127596 KiB
[startup+0.305681 s]*
/proc/loadavg: 4.11 4.15 4.11 5/254 158221
/proc/meminfo: memFree=105043548/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158221] ppid=158219 vsize=145248 memory=132076 CPUtime=0.29 cores=5,7
/proc/158221/stat : 158221 (pbsuma) R 158219 158219 157528 0 -1 4194304 15289 0 0 0 24 5 0 0 20 0 1 0 237216559 148733952 33019 18446744073709551615 4210688 4653049 140730013298000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17850368 140730013305095 140730013305392 140730013305392 140730013310959 0
/proc/158221/statm: 36312 33019 928 108 0 33720 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149440 KiB
Current children cumulated memory: 135148 KiB
[startup+0.700275 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 158221
/proc/meminfo: memFree=105035104/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158221] ppid=158219 vsize=192584 memory=171760 CPUtime=0.67 cores=5,7
/proc/158221/stat : 158221 (pbsuma) R 158219 158219 157528 0 -1 4194304 23406 0 0 0 58 9 0 0 20 0 1 0 237216559 197206016 42940 18446744073709551615 4210688 4653049 140730013298000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17850368 140730013305095 140730013305392 140730013305392 140730013310959 0
/proc/158221/statm: 48146 42940 928 108 0 45554 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 196776 KiB
Current children cumulated memory: 174832 KiB
[startup+1.50042 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 158221
/proc/meminfo: memFree=104987096/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158221] ppid=158219 vsize=888656 memory=591680 CPUtime=1.47 cores=5,7
/proc/158221/stat : 158221 (pbsuma) R 158219 158219 157528 0 -1 4194304 39468 0 0 0 124 23 0 0 20 0 1 0 237216559 909983744 147920 18446744073709551615 4210688 4653049 140730013298000 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17850368 140730013305095 140730013305392 140730013305392 140730013310959 0
/proc/158221/statm: 222164 147920 992 108 0 219572 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 892848 KiB
Current children cumulated memory: 594752 KiB
[startup+3.11313 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 158222
/proc/meminfo: memFree=104665892/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=524236 memory=450472 CPUtime=0.32 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 13212 0 0 0 22 10 0 0 20 0 1 0 237216835 536817664 112618 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 131059 112618 2016 1147 0 118486 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 528428 KiB
Current children cumulated memory: 453544 KiB
[startup+6.3004 s]
/proc/loadavg: 4.10 4.15 4.10 5/254 158222
/proc/meminfo: memFree=103718916/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=1346532 memory=1231468 CPUtime=3.5 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 99511 0 0 0 295 55 0 0 20 0 1 0 237216835 1378848768 307867 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 336633 307867 2240 1147 0 324060 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1350724 KiB
Current children cumulated memory: 1234540 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.15 4.10 5/254 158222
/proc/meminfo: memFree=103255660/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=1890620 memory=1725204 CPUtime=9.88 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 122910 0 0 0 917 71 0 0 20 0 1 0 237216835 1935994880 431301 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 472655 431301 2272 1147 0 460082 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1894812 KiB
Current children cumulated memory: 1728276 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.16 4.11 5/254 158222
/proc/meminfo: memFree=103269488/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=1890620 memory=1725204 CPUtime=22.65 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 122910 0 0 0 2194 71 0 0 20 0 1 0 237216835 1935994880 431301 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 472655 431301 2272 1147 0 460082 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1894812 KiB
Current children cumulated memory: 1728276 KiB
[startup+51.1132 s]
/proc/loadavg: 4.09 4.14 4.10 5/254 158222
/proc/meminfo: memFree=103259632/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=1890620 memory=1725204 CPUtime=48.2 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 122978 0 0 0 4749 71 0 0 20 0 1 0 237216835 1935994880 431301 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 472655 431301 2272 1147 0 460082 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1894812 KiB
Current children cumulated memory: 1728276 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 158230
/proc/meminfo: memFree=103188852/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=1949096 memory=1790492 CPUtime=99.25 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 125707 0 0 0 9814 111 0 0 20 0 1 0 237216835 1995874304 447623 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 487274 447623 2368 1147 0 474701 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1953288 KiB
Current children cumulated memory: 1793564 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/254 158233
/proc/meminfo: memFree=103033864/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=1949096 memory=1790492 CPUtime=159.1 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 125775 0 0 0 15798 112 0 0 20 0 1 0 237216835 1995874304 447623 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 487274 447623 2368 1147 0 474701 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1953288 KiB
Current children cumulated memory: 1793564 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 158235
/proc/meminfo: memFree=102956980/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=1949096 memory=1803708 CPUtime=218.95 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 126699 0 0 0 21698 197 0 0 20 0 1 0 237216835 1995874304 450927 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
################
# More data... #
################
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2566508 memory=2413920 CPUtime=3151.75 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 259396 0 0 0 272156 43019 0 0 20 0 1 0 237216835 2628104192 603480 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 641627 603480 2368 1147 0 629054 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 2570700 KiB
Current children cumulated memory: 2416992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/254 158486
/proc/meminfo: memFree=98000068/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2574084 memory=2421856 CPUtime=3211.62 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 261549 0 0 0 274812 46350 0 0 20 0 1 0 237216835 2635862016 605464 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 643521 605464 2368 1147 0 630948 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 2578276 KiB
Current children cumulated memory: 2424928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/254 158488
/proc/meminfo: memFree=97943808/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2597900 memory=2447356 CPUtime=3271.47 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 267469 0 0 0 280266 46881 0 0 20 0 1 0 237216835 2660249600 611839 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 649475 611839 2368 1147 0 636902 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 2602092 KiB
Current children cumulated memory: 2450428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 158490
/proc/meminfo: memFree=97894112/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2597900 memory=2447356 CPUtime=3331.33 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 267469 0 0 0 285002 48131 0 0 20 0 1 0 237216835 2660249600 611839 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 649475 611839 2368 1147 0 636902 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 2602092 KiB
Current children cumulated memory: 2450428 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 158492
/proc/meminfo: memFree=97773260/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2616860 memory=2466684 CPUtime=3391.2 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 272452 0 0 0 287617 51503 0 0 20 0 1 0 237216835 2679664640 616671 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 654215 616671 2368 1147 0 641642 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 2621052 KiB
Current children cumulated memory: 2469756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/253 158494
/proc/meminfo: memFree=97768368/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2623724 memory=2473212 CPUtime=3451.05 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 274155 0 0 0 292745 52360 0 0 20 0 1 0 237216835 2686693376 618303 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 655931 618303 2368 1147 0 643358 0
Current children cumulated CPU time: 3453.79 s
Current children cumulated vsize: 2627916 KiB
Current children cumulated memory: 2476284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/253 158496
/proc/meminfo: memFree=97654980/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2631164 memory=2481020 CPUtime=3510.89 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 276113 0 0 0 297780 53309 0 0 20 0 1 0 237216835 2694311936 620255 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 657791 620255 2368 1147 0 645218 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 2635356 KiB
Current children cumulated memory: 2484092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/253 158498
/proc/meminfo: memFree=97594956/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2649188 memory=2498684 CPUtime=3570.76 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 280704 0 0 0 302866 54210 0 0 20 0 1 0 237216835 2712768512 624671 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 662297 624671 2368 1147 0 649724 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 2653380 KiB
Current children cumulated memory: 2501756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.12 4.12 4.09 5/253 158545
/proc/meminfo: memFree=101032316/131382120 swapFree=33010160/33010684
[pid=158219] ppid=158216 vsize=4192 memory=3072 CPUtime=2.74 cores=5,7
/proc/158219/stat : 158219 (run-dec-break-l) S 158216 158219 157528 0 -1 4194304 238 55678 0 0 0 0 227 47 20 0 1 0 237216558 4292608 768 18446744073709551615 93950093742080 93950094636613 140721741495280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93950094875664 93950094923408 93950108028928 140721741498681 140721741498844 140721741498844 140721741504448 0
/proc/158219/statm: 1048 768 704 219 0 110 0
[pid=158222] ppid=158219 vsize=2649188 memory=2498684 CPUtime=3597.28 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158219 158219 157528 0 -1 4194304 280704 0 0 0 305516 54212 0 0 20 0 1 0 237216835 2712768512 624671 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 662297 624671 2368 1147 0 649724 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2653380 KiB
Current children cumulated memory: 2501756 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.91 s]
# the end of solver process 158219 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.27145 s, system=0.479308 s
Sleeping 2 seconds
[startup+3609.19 s]
# the end of solver process 158222 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3057.68 s, system=542.641 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.01 s]*
/proc/loadavg: 4.12 4.12 4.09 5/252 158545
/proc/meminfo: memFree=101659536/131382120 swapFree=33010160/33010684
[pid=158222] ppid=158216 vsize=1966432 memory=1857776 CPUtime=3597.39 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158216 158219 157528 0 -1 4194304 280776 0 0 0 305527 54212 0 0 20 0 1 0 237216835 2013626368 464444 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 491608 464444 2464 1147 0 479035 0
Current cumulated CPU time of completed processes: 2.75076 s
Current children cumulated CPU time: 3597.39 s
Current children cumulated vsize: 1966432 KiB
Current children cumulated memory: 1857776 KiB
[startup+3609.11 s]
/proc/loadavg: 4.12 4.12 4.09 5/252 158545
/proc/meminfo: memFree=101659536/131382120 swapFree=33010160/33010684
[pid=158222] ppid=158216 vsize=1966432 memory=1857776 CPUtime=3597.48 cores=5,7
/proc/158222/stat : 158222 (roundingsat) R 158216 158219 157528 0 -1 4194304 280803 0 0 0 305536 54212 0 0 20 0 1 0 237216835 2013626368 464444 18446744073709551615 4227072 8923433 140737190791328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23953408 140737190799640 140737190799910 140737190799910 140737190805482 0
/proc/158222/statm: 491608 464444 2464 1147 0 479035 0
Current cumulated CPU time of completed processes: 2.75076 s
Current children cumulated CPU time: 3597.48 s
Current children cumulated vsize: 1966432 KiB
Current children cumulated memory: 1857776 KiB
Child status: 2
Real time (s): 3609.19
CPU time (s): 3600.32
CPU user time (s): 3057.68
CPU system time (s): 542.641
CPU usage (%): 99.7544
Max. virtual memory (cumulated for all children) (KiB): 2653380
Max. memory (cumulated for all children) (KiB): 2501756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3057.68
system time used= 542.641
maximum resident set size= 2499068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 201056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222
involuntary context switches= 2028
# summary of solver processes directly reported to runsolver:
# pid: 158219,158222
# total CPU time (s): 3600.32
# total CPU user time (s): 3057.68
# total CPU system time (s): 542.641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2095 second user time and 36.1329 second system time
The end
Begin job on nodeC003 at 2025-07-22 22:16:19
IDJOB=4542468
IDBENCH=163928
IDSOLVER=3358
FILE ID=nodeC003/4542468-1753215378
RUNJOBID= nodeC003-1753211729-157541
SLURM_JOB_ID= 9687799
Free space on /tmp= 431780 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542468-1753215378/watcher-4542468-1753215378 -o /tmp/evaluation-result-4542468-1753215378/solver-4542468-1753215378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157541 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542468-1753215378.opb /tmp/proof-4542468-1753215378
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67ed6d0a845cd2604ef9c9dd089eeee0
RANDOM SEED=1316822460
nodeC003 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.776
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.44
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 : 3662.040
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.44
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.347
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.44
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.44
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.818
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
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.44
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.44
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 : 3492.269
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 105164704 kB
MemAvailable: 125355472 kB
Buffers: 2736 kB
Cached: 20958944 kB
SwapCached: 36 kB
Active: 5661928 kB
Inactive: 19853624 kB
Active(anon): 4572384 kB
Inactive(anon): 7604 kB
Active(file): 1089544 kB
Inactive(file): 19846020 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 376036 kB
Writeback: 4 kB
AnonPages: 4551548 kB
Mapped: 120960 kB
Shmem: 26116 kB
KReclaimable: 189660 kB
Slab: 280188 kB
SReclaimable: 189660 kB
SUnreclaim: 90528 kB
KernelStack: 4080 kB
PageTables: 12284 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 5131820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3393536 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: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431644 MiB
End job on nodeC003 at 2025-07-22 23:16:28