0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.09/0.12 c #variables 13390 #constraints 2678
0.09/0.12 c objective is ce32
0.09/0.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.09/0.15 c initial counting CF 32, 64, 128, Arb: 2627 , 0 , 0 , 0
0.09/0.15 c GLOBAL bounds - >= 0 @ 0.101039
0.09/0.19 c GLOBAL bounds - >= 0 @ 0.121441
426.94/428.21 c #Conflicts: 1000 | #Constraints: 3678
426.94/428.21 c #Conflicts: 2000 | #Constraints: 4678
426.94/428.21 c INPROCESSING
426.94/428.21 c GARBAGE COLLECT
426.94/428.21 c #Conflicts: 3000 | #Constraints: 4737
426.94/428.21 c #Conflicts: 4000 | #Constraints: 5737
426.94/428.21 c INPROCESSING
426.94/428.21 c GARBAGE COLLECT
426.94/428.21 c #Conflicts: 5000 | #Constraints: 5181
426.94/428.21 c #Conflicts: 6000 | #Constraints: 6181
426.94/428.21 c INPROCESSING
426.94/428.21 c GARBAGE COLLECT
426.94/428.21 c #Conflicts: 7000 | #Constraints: 5199
426.94/428.21 c #Conflicts: 8000 | #Constraints: 6199
426.94/428.21 c #Conflicts: 9000 | #Constraints: 7199
426.94/428.21 c INPROCESSING
426.94/428.21 c GARBAGE COLLECT
426.94/428.21 c #Conflicts: 10000 | #Constraints: 5871
426.94/428.21 c #Conflicts: 11000 | #Constraints: 6871
426.94/428.21 c #Conflicts: 12000 | #Constraints: 7871
426.94/428.21 c INPROCESSING
426.94/428.21 c GARBAGE COLLECT
426.94/428.21 c #Conflicts: 13000 | #Constraints: 6348
426.94/428.21 c #Conflicts: 14000 | #Constraints: 7348
426.94/428.21 c #Conflicts: 15000 | #Constraints: 8348
426.94/428.21 c INPROCESSING
426.94/428.21 c GARBAGE COLLECT
426.94/428.21 c #Conflicts: 16000 | #Constraints: 6549
426.94/428.22 c #Conflicts: 17000 | #Constraints: 7549
426.94/428.22 c #Conflicts: 18000 | #Constraints: 8549
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 19000 | #Constraints: 6541
426.94/428.22 c #Conflicts: 20000 | #Constraints: 7541
426.94/428.22 c #Conflicts: 21000 | #Constraints: 8541
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 22000 | #Constraints: 6396
426.94/428.22 c #Conflicts: 23000 | #Constraints: 7396
426.94/428.22 c #Conflicts: 24000 | #Constraints: 8396
426.94/428.22 c #Conflicts: 25000 | #Constraints: 9396
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 26000 | #Constraints: 7028
426.94/428.22 c #Conflicts: 27000 | #Constraints: 8028
426.94/428.22 c #Conflicts: 28000 | #Constraints: 9028
426.94/428.22 c #Conflicts: 29000 | #Constraints: 10028
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 30000 | #Constraints: 7447
426.94/428.22 c #Conflicts: 31000 | #Constraints: 8447
426.94/428.22 c #Conflicts: 32000 | #Constraints: 9447
426.94/428.22 c #Conflicts: 33000 | #Constraints: 10447
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 34000 | #Constraints: 7660
426.94/428.22 c #Conflicts: 35000 | #Constraints: 8660
426.94/428.22 c #Conflicts: 36000 | #Constraints: 9660
426.94/428.22 c #Conflicts: 37000 | #Constraints: 10660
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 38000 | #Constraints: 7658
426.94/428.22 c #Conflicts: 39000 | #Constraints: 8658
426.94/428.22 c #Conflicts: 40000 | #Constraints: 9658
426.94/428.22 c #Conflicts: 41000 | #Constraints: 10658
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 42000 | #Constraints: 7467
426.94/428.22 c #Conflicts: 43000 | #Constraints: 8467
426.94/428.22 c #Conflicts: 44000 | #Constraints: 9467
426.94/428.22 c #Conflicts: 45000 | #Constraints: 10467
426.94/428.22 c #Conflicts: 46000 | #Constraints: 11467
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 47000 | #Constraints: 8077
426.94/428.22 c #Conflicts: 48000 | #Constraints: 9077
426.94/428.22 c #Conflicts: 49000 | #Constraints: 10077
426.94/428.22 c #Conflicts: 50000 | #Constraints: 11077
426.94/428.22 c #Conflicts: 51000 | #Constraints: 12077
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 52000 | #Constraints: 8468
426.94/428.22 c #Conflicts: 53000 | #Constraints: 9468
426.94/428.22 c #Conflicts: 54000 | #Constraints: 10468
426.94/428.22 c #Conflicts: 55000 | #Constraints: 11468
426.94/428.22 c #Conflicts: 56000 | #Constraints: 12468
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 57000 | #Constraints: 8629
426.94/428.22 c #Conflicts: 58000 | #Constraints: 9629
426.94/428.22 c #Conflicts: 59000 | #Constraints: 10629
426.94/428.22 c #Conflicts: 60000 | #Constraints: 11629
426.94/428.22 c #Conflicts: 61000 | #Constraints: 12629
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 62000 | #Constraints: 8670
426.94/428.22 c #Conflicts: 63000 | #Constraints: 9670
426.94/428.22 c #Conflicts: 64000 | #Constraints: 10670
426.94/428.22 c #Conflicts: 65000 | #Constraints: 11670
426.94/428.22 c #Conflicts: 66000 | #Constraints: 12670
426.94/428.22 c INPROCESSING
426.94/428.22 c GARBAGE COLLECT
426.94/428.22 c #Conflicts: 67000 | #Constraints: 8458
426.94/428.22 c #Conflicts: 68000 | #Constraints: 9458
930.71/933.48 c #Conflicts: 69000 | #Constraints: 10458
930.71/933.48 c #Conflicts: 70000 | #Constraints: 11458
930.71/933.48 c #Conflicts: 71000 | #Constraints: 12458
930.71/933.48 c #Conflicts: 72000 | #Constraints: 13458
930.71/933.48 c INPROCESSING
930.71/933.48 c GARBAGE COLLECT
930.71/933.48 c #Conflicts: 73000 | #Constraints: 9084
930.71/933.48 c #Conflicts: 74000 | #Constraints: 10084
930.71/933.48 c #Conflicts: 75000 | #Constraints: 11084
930.71/933.48 c #Conflicts: 76000 | #Constraints: 12084
930.71/933.48 c #Conflicts: 77000 | #Constraints: 13084
930.71/933.48 c #Conflicts: 78000 | #Constraints: 14084
930.71/933.48 c INPROCESSING
930.71/933.48 c GARBAGE COLLECT
930.71/933.48 c #Conflicts: 79000 | #Constraints: 9445
930.71/933.48 c #Conflicts: 80000 | #Constraints: 10445
930.71/933.48 c #Conflicts: 81000 | #Constraints: 11445
930.71/933.48 c #Conflicts: 82000 | #Constraints: 12445
930.71/933.48 c #Conflicts: 83000 | #Constraints: 13445
930.71/933.48 c #Conflicts: 84000 | #Constraints: 14445
930.71/933.48 c INPROCESSING
930.71/933.48 c GARBAGE COLLECT
930.71/933.48 c #Conflicts: 85000 | #Constraints: 9649
930.71/933.48 c #Conflicts: 86000 | #Constraints: 10649
930.71/933.49 c #Conflicts: 87000 | #Constraints: 11649
930.71/933.49 c #Conflicts: 88000 | #Constraints: 12649
930.71/933.49 c #Conflicts: 89000 | #Constraints: 13649
930.71/933.49 c #Conflicts: 90000 | #Constraints: 14649
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 91000 | #Constraints: 9667
930.71/933.49 c #Conflicts: 92000 | #Constraints: 10667
930.71/933.49 c #Conflicts: 93000 | #Constraints: 11667
930.71/933.49 c #Conflicts: 94000 | #Constraints: 12667
930.71/933.49 c #Conflicts: 95000 | #Constraints: 13667
930.71/933.49 c #Conflicts: 96000 | #Constraints: 14667
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 97000 | #Constraints: 9430
930.71/933.49 c #Conflicts: 98000 | #Constraints: 10430
930.71/933.49 c #Conflicts: 99000 | #Constraints: 11430
930.71/933.49 c #Conflicts: 100000 | #Constraints: 12430
930.71/933.49 c #Conflicts: 101000 | #Constraints: 13430
930.71/933.49 c #Conflicts: 102000 | #Constraints: 14430
930.71/933.49 c #Conflicts: 103000 | #Constraints: 15430
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 104000 | #Constraints: 10019
930.71/933.49 c #Conflicts: 105000 | #Constraints: 11019
930.71/933.49 c #Conflicts: 106000 | #Constraints: 12019
930.71/933.49 c #Conflicts: 107000 | #Constraints: 13019
930.71/933.49 c #Conflicts: 108000 | #Constraints: 14019
930.71/933.49 c #Conflicts: 109000 | #Constraints: 15019
930.71/933.49 c #Conflicts: 110000 | #Constraints: 16019
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 111000 | #Constraints: 10453
930.71/933.49 c #Conflicts: 112000 | #Constraints: 11453
930.71/933.49 c #Conflicts: 113000 | #Constraints: 12453
930.71/933.49 c #Conflicts: 114000 | #Constraints: 13453
930.71/933.49 c #Conflicts: 115000 | #Constraints: 14453
930.71/933.49 c #Conflicts: 116000 | #Constraints: 15453
930.71/933.49 c #Conflicts: 117000 | #Constraints: 16453
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 118000 | #Constraints: 10682
930.71/933.49 c #Conflicts: 119000 | #Constraints: 11682
930.71/933.49 c #Conflicts: 120000 | #Constraints: 12682
930.71/933.49 c #Conflicts: 121000 | #Constraints: 13682
930.71/933.49 c #Conflicts: 122000 | #Constraints: 14682
930.71/933.49 c #Conflicts: 123000 | #Constraints: 15682
930.71/933.49 c #Conflicts: 124000 | #Constraints: 16682
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 125000 | #Constraints: 10734
930.71/933.49 c #Conflicts: 126000 | #Constraints: 11734
930.71/933.49 c #Conflicts: 127000 | #Constraints: 12734
930.71/933.49 c #Conflicts: 128000 | #Constraints: 13734
930.71/933.49 c #Conflicts: 129000 | #Constraints: 14734
930.71/933.49 c #Conflicts: 130000 | #Constraints: 15734
930.71/933.49 c #Conflicts: 131000 | #Constraints: 16734
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 132000 | #Constraints: 10541
930.71/933.49 c #Conflicts: 133000 | #Constraints: 11541
930.71/933.49 c #Conflicts: 134000 | #Constraints: 12541
930.71/933.49 c #Conflicts: 135000 | #Constraints: 13541
930.71/933.49 c #Conflicts: 136000 | #Constraints: 14541
930.71/933.49 c #Conflicts: 137000 | #Constraints: 15541
930.71/933.49 c #Conflicts: 138000 | #Constraints: 16541
930.71/933.49 c #Conflicts: 139000 | #Constraints: 17541
930.71/933.49 c INPROCESSING
930.71/933.49 c GARBAGE COLLECT
930.71/933.49 c #Conflicts: 140000 | #Constraints: 11075
1484.11/1488.44 c #Conflicts: 141000 | #Constraints: 12075
1484.11/1488.44 c #Conflicts: 142000 | #Constraints: 13075
1484.11/1488.44 c #Conflicts: 143000 | #Constraints: 14075
1484.11/1488.44 c #Conflicts: 144000 | #Constraints: 15075
1484.11/1488.44 c #Conflicts: 145000 | #Constraints: 16075
1484.11/1488.44 c #Conflicts: 146000 | #Constraints: 17075
1484.11/1488.44 c #Conflicts: 147000 | #Constraints: 18075
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 148000 | #Constraints: 11480
1484.11/1488.44 c #Conflicts: 149000 | #Constraints: 12480
1484.11/1488.44 c #Conflicts: 150000 | #Constraints: 13480
1484.11/1488.44 c #Conflicts: 151000 | #Constraints: 14480
1484.11/1488.44 c #Conflicts: 152000 | #Constraints: 15480
1484.11/1488.44 c #Conflicts: 153000 | #Constraints: 16480
1484.11/1488.44 c #Conflicts: 154000 | #Constraints: 17480
1484.11/1488.44 c #Conflicts: 155000 | #Constraints: 18480
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 156000 | #Constraints: 11717
1484.11/1488.44 c #Conflicts: 157000 | #Constraints: 12717
1484.11/1488.44 c #Conflicts: 158000 | #Constraints: 13717
1484.11/1488.44 c #Conflicts: 159000 | #Constraints: 14717
1484.11/1488.44 c #Conflicts: 160000 | #Constraints: 15717
1484.11/1488.44 c #Conflicts: 161000 | #Constraints: 16717
1484.11/1488.44 c #Conflicts: 162000 | #Constraints: 17717
1484.11/1488.44 c #Conflicts: 163000 | #Constraints: 18717
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 164000 | #Constraints: 11721
1484.11/1488.44 c #Conflicts: 165000 | #Constraints: 12721
1484.11/1488.44 c #Conflicts: 166000 | #Constraints: 13721
1484.11/1488.44 c #Conflicts: 167000 | #Constraints: 14721
1484.11/1488.44 c #Conflicts: 168000 | #Constraints: 15721
1484.11/1488.44 c #Conflicts: 169000 | #Constraints: 16721
1484.11/1488.44 c #Conflicts: 170000 | #Constraints: 17721
1484.11/1488.44 c #Conflicts: 171000 | #Constraints: 18721
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 172000 | #Constraints: 11559
1484.11/1488.44 c #Conflicts: 173000 | #Constraints: 12559
1484.11/1488.44 c #Conflicts: 174000 | #Constraints: 13559
1484.11/1488.44 c #Conflicts: 175000 | #Constraints: 14559
1484.11/1488.44 c #Conflicts: 176000 | #Constraints: 15559
1484.11/1488.44 c #Conflicts: 177000 | #Constraints: 16559
1484.11/1488.44 c #Conflicts: 178000 | #Constraints: 17559
1484.11/1488.44 c #Conflicts: 179000 | #Constraints: 18559
1484.11/1488.44 c #Conflicts: 180000 | #Constraints: 19559
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 181000 | #Constraints: 12129
1484.11/1488.44 c #Conflicts: 182000 | #Constraints: 13129
1484.11/1488.44 c #Conflicts: 183000 | #Constraints: 14129
1484.11/1488.44 c #Conflicts: 184000 | #Constraints: 15129
1484.11/1488.44 c #Conflicts: 185000 | #Constraints: 16129
1484.11/1488.44 c #Conflicts: 186000 | #Constraints: 17129
1484.11/1488.44 c #Conflicts: 187000 | #Constraints: 18129
1484.11/1488.44 c #Conflicts: 188000 | #Constraints: 19129
1484.11/1488.44 c #Conflicts: 189000 | #Constraints: 20129
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 190000 | #Constraints: 12542
1484.11/1488.44 c #Conflicts: 191000 | #Constraints: 13542
1484.11/1488.44 c #Conflicts: 192000 | #Constraints: 14542
1484.11/1488.44 c #Conflicts: 193000 | #Constraints: 15542
1484.11/1488.44 c #Conflicts: 194000 | #Constraints: 16542
1484.11/1488.44 c #Conflicts: 195000 | #Constraints: 17542
1484.11/1488.44 c #Conflicts: 196000 | #Constraints: 18542
1484.11/1488.44 c #Conflicts: 197000 | #Constraints: 19542
1484.11/1488.44 c #Conflicts: 198000 | #Constraints: 20542
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 199000 | #Constraints: 12756
1484.11/1488.44 c #Conflicts: 200000 | #Constraints: 13756
1484.11/1488.44 c #Conflicts: 201000 | #Constraints: 14756
1484.11/1488.44 c #Conflicts: 202000 | #Constraints: 15756
1484.11/1488.44 c #Conflicts: 203000 | #Constraints: 16756
1484.11/1488.44 c #Conflicts: 204000 | #Constraints: 17756
1484.11/1488.44 c #Conflicts: 205000 | #Constraints: 18756
1484.11/1488.44 c #Conflicts: 206000 | #Constraints: 19756
1484.11/1488.44 c #Conflicts: 207000 | #Constraints: 20756
1484.11/1488.44 c INPROCESSING
1484.11/1488.44 c GARBAGE COLLECT
1484.11/1488.44 c #Conflicts: 208000 | #Constraints: 12745
1484.11/1488.44 c #Conflicts: 209000 | #Constraints: 13745
1484.11/1488.44 c #Conflicts: 210000 | #Constraints: 14745
1484.11/1488.44 c #Conflicts: 211000 | #Constraints: 15745
1484.11/1488.44 c #Conflicts: 212000 | #Constraints: 16745
1484.11/1488.44 c #Conflicts: 213000 | #Constraints: 17745
2099.01/2105.09 c #Conflicts: 214000 | #Constraints: 18745
2099.01/2105.09 c #Conflicts: 215000 | #Constraints: 19745
2099.01/2105.09 c #Conflicts: 216000 | #Constraints: 20745
2099.01/2105.09 c INPROCESSING
2099.01/2105.09 c GARBAGE COLLECT
2099.01/2105.09 c #Conflicts: 217000 | #Constraints: 12521
2099.01/2105.09 c #Conflicts: 218000 | #Constraints: 13521
2099.01/2105.09 c #Conflicts: 219000 | #Constraints: 14521
2099.01/2105.09 c #Conflicts: 220000 | #Constraints: 15521
2099.01/2105.09 c #Conflicts: 221000 | #Constraints: 16521
2099.01/2105.09 c #Conflicts: 222000 | #Constraints: 17521
2099.01/2105.09 c #Conflicts: 223000 | #Constraints: 18521
2099.01/2105.09 c #Conflicts: 224000 | #Constraints: 19521
2099.01/2105.09 c #Conflicts: 225000 | #Constraints: 20521
2099.01/2105.09 c #Conflicts: 226000 | #Constraints: 21521
2099.01/2105.09 c INPROCESSING
2099.01/2105.09 c GARBAGE COLLECT
2099.01/2105.09 c #Conflicts: 227000 | #Constraints: 13097
2099.01/2105.09 c #Conflicts: 228000 | #Constraints: 14097
2099.01/2105.09 c #Conflicts: 229000 | #Constraints: 15097
2099.01/2105.09 c #Conflicts: 230000 | #Constraints: 16097
2099.01/2105.09 c #Conflicts: 231000 | #Constraints: 17097
2099.01/2105.09 c #Conflicts: 232000 | #Constraints: 18097
2099.01/2105.09 c #Conflicts: 233000 | #Constraints: 19097
2099.01/2105.09 c #Conflicts: 234000 | #Constraints: 20097
2099.01/2105.09 c #Conflicts: 235000 | #Constraints: 21097
2099.01/2105.09 c #Conflicts: 236000 | #Constraints: 22097
2099.01/2105.09 c INPROCESSING
2099.01/2105.09 c GARBAGE COLLECT
2099.01/2105.09 c #Conflicts: 237000 | #Constraints: 13504
2099.01/2105.09 c #Conflicts: 238000 | #Constraints: 14504
2099.01/2105.09 c #Conflicts: 239000 | #Constraints: 15504
2099.01/2105.09 c #Conflicts: 240000 | #Constraints: 16504
2099.01/2105.09 c #Conflicts: 241000 | #Constraints: 17504
2099.01/2105.09 c #Conflicts: 242000 | #Constraints: 18504
2099.01/2105.09 c #Conflicts: 243000 | #Constraints: 19504
2099.01/2105.09 c #Conflicts: 244000 | #Constraints: 20504
2099.01/2105.09 c #Conflicts: 245000 | #Constraints: 21504
2099.01/2105.09 c #Conflicts: 246000 | #Constraints: 22504
2099.01/2105.09 c INPROCESSING
2099.01/2105.09 c GARBAGE COLLECT
2099.01/2105.09 c #Conflicts: 247000 | #Constraints: 13693
2099.01/2105.09 c #Conflicts: 248000 | #Constraints: 14693
2099.01/2105.09 c #Conflicts: 249000 | #Constraints: 15693
2099.01/2105.09 c #Conflicts: 250000 | #Constraints: 16693
2099.01/2105.09 c #Conflicts: 251000 | #Constraints: 17693
2099.01/2105.09 c #Conflicts: 252000 | #Constraints: 18693
2099.01/2105.09 c #Conflicts: 253000 | #Constraints: 19693
2099.01/2105.09 c #Conflicts: 254000 | #Constraints: 20693
2099.01/2105.09 c #Conflicts: 255000 | #Constraints: 21693
2099.01/2105.09 c #Conflicts: 256000 | #Constraints: 22693
2099.01/2105.09 c INPROCESSING
2099.01/2105.09 c GARBAGE COLLECT
2099.01/2105.09 c #Conflicts: 257000 | #Constraints: 13691
2099.01/2105.09 c #Conflicts: 258000 | #Constraints: 14691
2099.01/2105.09 c #Conflicts: 259000 | #Constraints: 15691
2099.01/2105.09 c #Conflicts: 260000 | #Constraints: 16691
2099.01/2105.09 c #Conflicts: 261000 | #Constraints: 17691
2099.01/2105.09 c #Conflicts: 262000 | #Constraints: 18691
2099.01/2105.09 c #Conflicts: 263000 | #Constraints: 19691
2099.01/2105.09 c #Conflicts: 264000 | #Constraints: 20691
2099.01/2105.09 c #Conflicts: 265000 | #Constraints: 21691
2099.01/2105.09 c #Conflicts: 266000 | #Constraints: 22691
2099.01/2105.09 c INPROCESSING
2099.01/2105.09 c GARBAGE COLLECT
2099.01/2105.09 c #Conflicts: 267000 | #Constraints: 13502
2099.01/2105.09 c #Conflicts: 268000 | #Constraints: 14502
2099.01/2105.09 c #Conflicts: 269000 | #Constraints: 15502
2099.01/2105.09 c #Conflicts: 270000 | #Constraints: 16502
2099.01/2105.09 c #Conflicts: 271000 | #Constraints: 17502
2099.01/2105.09 c #Conflicts: 272000 | #Constraints: 18502
2099.01/2105.09 c #Conflicts: 273000 | #Constraints: 19502
2099.01/2105.09 c #Conflicts: 274000 | #Constraints: 20502
2099.01/2105.09 c #Conflicts: 275000 | #Constraints: 21502
2099.01/2105.09 c #Conflicts: 276000 | #Constraints: 22502
2099.01/2105.09 c #Conflicts: 277000 | #Constraints: 23502
2099.01/2105.09 c INPROCESSING
2099.01/2105.09 c GARBAGE COLLECT
2099.01/2105.09 c #Conflicts: 278000 | #Constraints: 14179
2099.01/2105.09 c #Conflicts: 279000 | #Constraints: 15179
2099.01/2105.09 c #Conflicts: 280000 | #Constraints: 16179
2099.01/2105.09 c #Conflicts: 281000 | #Constraints: 17179
2099.01/2105.09 c #Conflicts: 282000 | #Constraints: 18179
2099.01/2105.09 c #Conflicts: 283000 | #Constraints: 19179
2099.01/2105.09 c #Conflicts: 284000 | #Constraints: 20179
2099.01/2105.09 c #Conflicts: 285000 | #Constraints: 21179
2099.01/2105.09 c #Conflicts: 286000 | #Constraints: 22179
2099.01/2105.09 c #Conflicts: 287000 | #Constraints: 23179
2099.01/2105.09 c #Conflicts: 288000 | #Constraints: 24179
2750.41/2758.32 c INPROCESSING
2750.41/2758.32 c GARBAGE COLLECT
2750.41/2758.32 c #Conflicts: 289000 | #Constraints: 14614
2750.41/2758.32 c #Conflicts: 290000 | #Constraints: 15614
2750.41/2758.32 c #Conflicts: 291000 | #Constraints: 16614
2750.41/2758.32 c #Conflicts: 292000 | #Constraints: 17614
2750.41/2758.32 c #Conflicts: 293000 | #Constraints: 18614
2750.41/2758.32 c #Conflicts: 294000 | #Constraints: 19614
2750.41/2758.32 c #Conflicts: 295000 | #Constraints: 20614
2750.41/2758.32 c #Conflicts: 296000 | #Constraints: 21614
2750.41/2758.32 c #Conflicts: 297000 | #Constraints: 22614
2750.41/2758.32 c #Conflicts: 298000 | #Constraints: 23614
2750.41/2758.32 c #Conflicts: 299000 | #Constraints: 24614
2750.41/2758.32 c INPROCESSING
2750.41/2758.32 c GARBAGE COLLECT
2750.41/2758.32 c #Conflicts: 300000 | #Constraints: 14789
2750.41/2758.32 c #Conflicts: 301000 | #Constraints: 15789
2750.41/2758.32 c #Conflicts: 302000 | #Constraints: 16789
2750.41/2758.32 c #Conflicts: 303000 | #Constraints: 17789
2750.41/2758.32 c #Conflicts: 304000 | #Constraints: 18789
2750.41/2758.32 c #Conflicts: 305000 | #Constraints: 19789
2750.41/2758.32 c #Conflicts: 306000 | #Constraints: 20789
2750.41/2758.32 c #Conflicts: 307000 | #Constraints: 21789
2750.41/2758.32 c #Conflicts: 308000 | #Constraints: 22789
2750.41/2758.32 c #Conflicts: 309000 | #Constraints: 23789
2750.41/2758.32 c #Conflicts: 310000 | #Constraints: 24789
2750.41/2758.32 c INPROCESSING
2750.41/2758.32 c GARBAGE COLLECT
2750.41/2758.32 c #Conflicts: 311000 | #Constraints: 14850
2750.41/2758.32 c #Conflicts: 312000 | #Constraints: 15850
2750.41/2758.32 c #Conflicts: 313000 | #Constraints: 16850
2750.41/2758.32 c #Conflicts: 314000 | #Constraints: 17850
2750.41/2758.32 c #Conflicts: 315000 | #Constraints: 18850
2750.41/2758.32 c #Conflicts: 316000 | #Constraints: 19850
2750.41/2758.32 c #Conflicts: 317000 | #Constraints: 20850
2750.41/2758.32 c #Conflicts: 318000 | #Constraints: 21850
2750.41/2758.32 c #Conflicts: 319000 | #Constraints: 22850
2750.41/2758.32 c #Conflicts: 320000 | #Constraints: 23850
2750.41/2758.32 c #Conflicts: 321000 | #Constraints: 24850
2750.41/2758.32 c INPROCESSING
2750.41/2758.32 c GARBAGE COLLECT
2750.41/2758.32 c #Conflicts: 322000 | #Constraints: 14618
2750.41/2758.32 c #Conflicts: 323000 | #Constraints: 15618
2750.41/2758.32 c #Conflicts: 324000 | #Constraints: 16618
2750.41/2758.32 c #Conflicts: 325000 | #Constraints: 17618
2750.41/2758.32 c #Conflicts: 326000 | #Constraints: 18618
2750.41/2758.32 c #Conflicts: 327000 | #Constraints: 19618
2750.41/2758.32 c #Conflicts: 328000 | #Constraints: 20618
2750.41/2758.32 c #Conflicts: 329000 | #Constraints: 21618
2750.41/2758.32 c #Conflicts: 330000 | #Constraints: 22618
2750.41/2758.32 c #Conflicts: 331000 | #Constraints: 23618
2750.41/2758.32 c #Conflicts: 332000 | #Constraints: 24618
2750.41/2758.32 c #Conflicts: 333000 | #Constraints: 25618
2750.41/2758.32 c INPROCESSING
2750.41/2758.32 c GARBAGE COLLECT
2750.41/2758.32 c #Conflicts: 334000 | #Constraints: 15189
2750.41/2758.32 c #Conflicts: 335000 | #Constraints: 16189
2750.41/2758.32 c #Conflicts: 336000 | #Constraints: 17189
2750.41/2758.32 c #Conflicts: 337000 | #Constraints: 18189
2750.41/2758.32 c #Conflicts: 338000 | #Constraints: 19189
2750.41/2758.32 c #Conflicts: 339000 | #Constraints: 20189
2750.41/2758.32 c #Conflicts: 340000 | #Constraints: 21189
2750.41/2758.32 c #Conflicts: 341000 | #Constraints: 22189
2750.41/2758.32 c #Conflicts: 342000 | #Constraints: 23189
2750.41/2758.32 c #Conflicts: 343000 | #Constraints: 24189
2750.41/2758.32 c #Conflicts: 344000 | #Constraints: 25189
2750.41/2758.32 c #Conflicts: 345000 | #Constraints: 26189
2750.41/2758.32 c INPROCESSING
2750.41/2758.32 c GARBAGE COLLECT
2750.41/2758.32 c #Conflicts: 346000 | #Constraints: 15571
2750.41/2758.32 c #Conflicts: 347000 | #Constraints: 16571
2750.41/2758.32 c #Conflicts: 348000 | #Constraints: 17571
2750.41/2758.32 c #Conflicts: 349000 | #Constraints: 18571
2750.41/2758.32 c #Conflicts: 350000 | #Constraints: 19571
2750.41/2758.32 c #Conflicts: 351000 | #Constraints: 20571
2750.41/2758.32 c #Conflicts: 352000 | #Constraints: 21571
2750.41/2758.32 c #Conflicts: 353000 | #Constraints: 22571
2750.41/2758.32 c #Conflicts: 354000 | #Constraints: 23571
2750.41/2758.32 c #Conflicts: 355000 | #Constraints: 24571
2750.41/2758.32 c #Conflicts: 356000 | #Constraints: 25571
2750.41/2758.32 c #Conflicts: 357000 | #Constraints: 26571
2750.41/2758.32 c INPROCESSING
2750.41/2758.32 c GARBAGE COLLECT
2750.41/2758.32 c #Conflicts: 358000 | #Constraints: 15743
2750.41/2758.32 c #Conflicts: 359000 | #Constraints: 16743
2750.41/2758.32 c #Conflicts: 360000 | #Constraints: 17743
2750.41/2758.32 c #Conflicts: 361000 | #Constraints: 18743
2750.41/2758.32 c #Conflicts: 362000 | #Constraints: 19743
3562.29/3572.66 c #Conflicts: 363000 | #Constraints: 20743
3562.29/3572.66 c #Conflicts: 364000 | #Constraints: 21743
3562.29/3572.66 c #Conflicts: 365000 | #Constraints: 22743
3562.29/3572.66 c #Conflicts: 366000 | #Constraints: 23743
3562.29/3572.66 c #Conflicts: 367000 | #Constraints: 24743
3562.29/3572.66 c #Conflicts: 368000 | #Constraints: 25743
3562.29/3572.66 c #Conflicts: 369000 | #Constraints: 26743
3562.29/3572.66 c INPROCESSING
3562.29/3572.66 c GARBAGE COLLECT
3562.29/3572.66 c #Conflicts: 370000 | #Constraints: 15752
3562.29/3572.66 c #Conflicts: 371000 | #Constraints: 16752
3562.29/3572.66 c #Conflicts: 372000 | #Constraints: 17752
3562.29/3572.66 c #Conflicts: 373000 | #Constraints: 18752
3562.29/3572.66 c #Conflicts: 374000 | #Constraints: 19752
3562.29/3572.66 c #Conflicts: 375000 | #Constraints: 20752
3562.29/3572.66 c #Conflicts: 376000 | #Constraints: 21752
3562.29/3572.66 c #Conflicts: 377000 | #Constraints: 22752
3562.29/3572.66 c #Conflicts: 378000 | #Constraints: 23752
3562.29/3572.66 c #Conflicts: 379000 | #Constraints: 24752
3562.29/3572.66 c #Conflicts: 380000 | #Constraints: 25752
3562.29/3572.66 c #Conflicts: 381000 | #Constraints: 26752
3562.29/3572.66 c INPROCESSING
3562.29/3572.66 c GARBAGE COLLECT
3562.29/3572.66 c #Conflicts: 382000 | #Constraints: 15583
3562.29/3572.66 c #Conflicts: 383000 | #Constraints: 16583
3562.29/3572.66 c #Conflicts: 384000 | #Constraints: 17583
3562.29/3572.66 c #Conflicts: 385000 | #Constraints: 18583
3562.29/3572.66 c #Conflicts: 386000 | #Constraints: 19583
3562.29/3572.66 c #Conflicts: 387000 | #Constraints: 20583
3562.29/3572.66 c #Conflicts: 388000 | #Constraints: 21583
3562.29/3572.66 c #Conflicts: 389000 | #Constraints: 22583
3562.29/3572.66 c #Conflicts: 390000 | #Constraints: 23583
3562.29/3572.66 c #Conflicts: 391000 | #Constraints: 24583
3562.29/3572.66 c #Conflicts: 392000 | #Constraints: 25583
3562.29/3572.66 c #Conflicts: 393000 | #Constraints: 26583
3562.29/3572.66 c #Conflicts: 394000 | #Constraints: 27583
3562.29/3572.66 c INPROCESSING
3562.29/3572.66 c GARBAGE COLLECT
3562.29/3572.66 c #Conflicts: 395000 | #Constraints: 16207
3562.29/3572.66 c #Conflicts: 396000 | #Constraints: 17207
3562.29/3572.66 c #Conflicts: 397000 | #Constraints: 18207
3562.29/3572.66 c #Conflicts: 398000 | #Constraints: 19207
3562.29/3572.66 c #Conflicts: 399000 | #Constraints: 20207
3562.29/3572.66 c #Conflicts: 400000 | #Constraints: 21207
3562.29/3572.66 c #Conflicts: 401000 | #Constraints: 22207
3562.29/3572.66 c #Conflicts: 402000 | #Constraints: 23207
3562.29/3572.66 c #Conflicts: 403000 | #Constraints: 24207
3562.29/3572.66 c #Conflicts: 404000 | #Constraints: 25207
3562.29/3572.66 c #Conflicts: 405000 | #Constraints: 26207
3562.29/3572.66 c #Conflicts: 406000 | #Constraints: 27207
3562.29/3572.66 c #Conflicts: 407000 | #Constraints: 28207
3562.29/3572.66 c INPROCESSING
3562.29/3572.66 c GARBAGE COLLECT
3562.29/3572.66 c #Conflicts: 408000 | #Constraints: 16649
3562.29/3572.66 c #Conflicts: 409000 | #Constraints: 17649
3562.29/3572.66 c #Conflicts: 410000 | #Constraints: 18649
3562.29/3572.66 c #Conflicts: 411000 | #Constraints: 19649
3562.29/3572.66 c #Conflicts: 412000 | #Constraints: 20649
3562.29/3572.66 c #Conflicts: 413000 | #Constraints: 21649
3562.29/3572.66 c #Conflicts: 414000 | #Constraints: 22649
3562.29/3572.66 c #Conflicts: 415000 | #Constraints: 23649
3562.29/3572.66 c #Conflicts: 416000 | #Constraints: 24649
3562.29/3572.66 c #Conflicts: 417000 | #Constraints: 25649
3562.29/3572.66 c #Conflicts: 418000 | #Constraints: 26649
3562.29/3572.66 c #Conflicts: 419000 | #Constraints: 27649
3562.29/3572.66 c #Conflicts: 420000 | #Constraints: 28649
3562.29/3572.66 c INPROCESSING
3562.29/3572.66 c GARBAGE COLLECT
3562.29/3572.66 c #Conflicts: 421000 | #Constraints: 16865
3562.29/3572.66 c #Conflicts: 422000 | #Constraints: 17865
3562.29/3572.66 c #Conflicts: 423000 | #Constraints: 18865
3562.29/3572.66 c #Conflicts: 424000 | #Constraints: 19865
3562.29/3572.66 c #Conflicts: 425000 | #Constraints: 20865
3562.29/3572.66 c #Conflicts: 426000 | #Constraints: 21865
3562.29/3572.66 c #Conflicts: 427000 | #Constraints: 22865
3562.29/3572.66 c #Conflicts: 428000 | #Constraints: 23865
3562.29/3572.66 c #Conflicts: 429000 | #Constraints: 24865
3562.29/3572.66 c #Conflicts: 430000 | #Constraints: 25865
3562.29/3572.66 c #Conflicts: 431000 | #Constraints: 26865
3562.29/3572.66 c #Conflicts: 432000 | #Constraints: 27865
3562.29/3572.66 c #Conflicts: 433000 | #Constraints: 28865
3562.29/3572.66 c INPROCESSING
3562.29/3572.66 c GARBAGE COLLECT
3562.29/3572.66 c #Conflicts: 434000 | #Constraints: 16811
3562.29/3572.66 c #Conflicts: 435000 | #Constraints: 17811
3562.29/3572.66 c #Conflicts: 436000 | #Constraints: 18811
3562.29/3572.66 c #Conflicts: 437000 | #Constraints: 19811
3600.09/3610.50 c #Conflicts: 438000 | #Constraints: 20811
3600.09/3610.50 c #Conflicts: 439000 | #Constraints: 21811
3600.09/3610.50 c #Conflicts: 440000 | #Constraints: 22811
3600.09/3610.50 c #Conflicts: 441000 | #Constraints: 23811
3600.09/3610.50 c #Conflicts: 442000 | #Constraints: 24811
3600.09/3610.50 c cpu time 3577.7 s
3600.09/3610.50 c deterministic time 1 1.00e+00
3600.09/3610.50 c optimization time 3577.62 s
3600.09/3610.50 c total solve time 0 s
3600.09/3610.50 c core-guided solve time 0 s
3600.09/3610.50 c propagation time 0.002985 s
3600.09/3610.50 c conflict analysis time 0 s
3600.09/3610.50 c propagations 0
3600.09/3610.50 c resolve steps 0
3600.09/3610.50 c decisions 0
3600.09/3610.50 c conflicts 0
3600.09/3610.50 c restarts 0
3600.09/3610.50 c inprocessing phases 0
3600.09/3610.50 c garbage collections 0 ,( -nan )
3600.09/3610.50 c input clauses 0 ,( 0.00 )
3600.09/3610.50 c input cardinalities 52 ,( 1.94 )
3600.09/3610.50 c input general constraints 2626 ,( 98.06 )
3600.09/3610.50 c input average constraint length 14.81
3600.09/3610.50 c input average constraint degree 9.86
3600.09/3610.50 c learned clauses 0 ,( 0.00 )
3600.09/3610.50 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.50 c learned general constraints 0 ,( 0.00 )
3600.09/3610.50 c learned average constraint length 0.00
3600.09/3610.50 c learned average constraint degree 0.00
3600.09/3610.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.50 c counting CF 32, 64, 128, Arb: 2627 , 0 , 0 , 0
3600.09/3610.50 c watched constraints 0 ,( 0.00 )
3600.09/3610.50 c counting constraints 2626 ,( 100.00 )
3600.09/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.50 c gcd simplifications 52
3600.09/3610.50 c detected cardinalities 0
3600.09/3610.50 c weakened non-implied lits 0
3600.09/3610.50 c weakened non-implying lits 0
3600.09/3610.50 c original variables 13390
3600.09/3610.50 c clausal propagations 0
3600.09/3610.50 c cardinality propagations 0
3600.09/3610.50 c watched propagations 0
3600.09/3610.50 c counting propagations 0
3600.09/3610.50 c watch lookups 0
3600.09/3610.50 c watch backjump lookups 0
3600.09/3610.50 c watch checks 0
3600.09/3610.50 c propagation checks 0
3600.09/3610.50 c constraint additions 0
3600.09/3610.50 c trail pops 0
3600.09/3610.50 c formula constraints 2678
3600.09/3610.50 c learned constraints 0
3600.09/3610.50 c bound constraints 0
3600.09/3610.50 c core-guided constraints 0
3600.09/3610.50 c encountered formula constraints 0
3600.09/3610.50 c encountered learned constraints 0
3600.09/3610.50 c encountered bound constraints 0
3600.09/3610.50 c encountered core-guided constraints 0
3600.09/3610.50 c LP total time 0 s
3600.09/3610.50 c LP solve time 0 s
3600.09/3610.50 c LP constraints added 0
3600.09/3610.50 c LP constraints removed 0
3600.09/3610.50 c LP pivots internal 0
3600.09/3610.50 c LP pivots root 0
3600.09/3610.50 c LP calls 0
3600.09/3610.50 c LP optimalities 0
3600.09/3610.50 c LP no pivot count 0
3600.09/3610.50 c LP infeasibilities 0
3600.09/3610.50 c LP valid Farkas constraints 0
3600.09/3610.50 c LP learned Farkas constraints 0
3600.09/3610.50 c LP basis resets 0
3600.09/3610.50 c LP cycling count 0
3600.09/3610.50 c LP singular count 0
3600.09/3610.50 c LP no primal count 0
3600.09/3610.50 c LP no farkas count 0
3600.09/3610.50 c LP other issue count 0
3600.09/3610.50 c LP Gomory cuts 0
3600.09/3610.50 c LP learned cuts 0
3600.09/3610.50 c LP deleted cuts 0
3600.09/3610.50 c LP encountered Gomory constraints 0
3600.09/3610.50 c LP encountered Farkas constraints 0
3600.09/3610.50 c LP encountered learned Farkas constraints 0
3600.09/3610.50 c CG auxiliary variables introduced 0
3600.09/3610.50 c CG solutions found 0
3600.09/3610.50 c CG cores constructed 0
3600.09/3610.50 c CG core cardinality constraints returned 0
3600.09/3610.50 c CG unit cores 0
3600.09/3610.50 c CG single cores 0
3600.09/3610.50 c CG blocks removed during cardinality reduction 0
3600.09/3610.50 c CG first core best 0
3600.09/3610.50 c CG decision core best 0
3600.09/3610.50 c CG core reduction tie 0
3600.09/3610.50 c CG core degree average 0.00
3600.09/3610.50 c CG core slack average 0.00
3600.09/3610.50 c CG core upper bound improvements 0
3600.09/3610.50 c STR number of successful calls 0
3600.09/3610.50 c STR number of unsuccessful calls 0
3600.09/3610.50 c STR number of inconclusive calls 0
3600.09/3610.50 c STR number of successful attempts 0
3600.09/3610.50 c STR number of unsuccessful attempts 0
3600.09/3610.50 c STR number of inconclusive attempts 0
3600.09/3610.50 c STR average degree increase per successful call inf
3600.09/3610.50 c STR average degree increase per successful attempt inf
3600.09/3610.50 c STR total number of conflicts for successful attempts 0
3600.09/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.50 c STR average number of conflicts per successful attempt inf
3600.09/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.50 c AVG.sumWPerc 73.33
3600.09/3610.50 c bigint constraints 0
3600.09/3610.50 s UNKNOWN
3600.09/3610.50 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 (40230 MiB free)
memory of node 1: 64465 MiB (63435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520343-1751567875/watcher-4520343-1751567875 -o /tmp/evaluation-result-4520343-1751567875/solver-4520343-1751567875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76499 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520343-1751567875.opb PROOFDIR/proof-4520343-1751567875
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=77314, runsolver pid=77307
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106133840/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=65688 memory=20412 CPUtime=0.09 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 3379 0 0 0 7 2 0 0 20 0 1 0 72466274 67264512 5103 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 16422 5103 2272 1147 0 3849 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69880 KiB
Current children cumulated memory: 23484 KiB
[startup+0.21466 s]*
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106115884/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=73936 memory=26172 CPUtime=0.19 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 4765 0 0 0 13 6 0 0 20 0 1 0 72466274 75710464 6543 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 18484 6543 2336 1147 0 5911 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78128 KiB
Current children cumulated memory: 29244 KiB
[startup+0.313638 s]*
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106107820/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=76820 memory=32144 CPUtime=0.3 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 5727 0 0 0 23 7 0 0 20 0 1 0 72466274 78663680 8036 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 19205 8036 2336 1147 0 6632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81012 KiB
Current children cumulated memory: 35216 KiB
[startup+0.700354 s]
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106091440/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=90468 memory=45984 CPUtime=0.67 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 8676 0 0 0 59 8 0 0 20 0 1 0 72466274 92639232 11496 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 22617 11496 2336 1147 0 10044 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 94660 KiB
Current children cumulated memory: 49056 KiB
[startup+1.5004 s]
/proc/loadavg: 4.10 4.13 4.16 5/259 77322
/proc/meminfo: memFree=106061044/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=116604 memory=68176 CPUtime=1.46 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 13171 0 0 0 135 11 0 0 20 0 1 0 72466274 119402496 17044 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 29151 17044 2368 1147 0 16578 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 120796 KiB
Current children cumulated memory: 71248 KiB
[startup+3.11372 s]
/proc/loadavg: 4.09 4.12 4.16 5/259 77322
/proc/meminfo: memFree=105789776/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=232044 memory=179208 CPUtime=3.07 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 35517 0 0 0 289 18 0 0 20 0 1 0 72466274 237613056 44802 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 58011 44802 2368 1147 0 45438 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 236236 KiB
Current children cumulated memory: 182280 KiB
[startup+6.30038 s]
/proc/loadavg: 4.09 4.12 4.16 5/259 77322
/proc/meminfo: memFree=105373972/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=425340 memory=334732 CPUtime=6.25 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 61696 0 0 0 598 27 0 0 20 0 1 0 72466274 435548160 83683 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 106335 83683 2368 1147 0 93762 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 429532 KiB
Current children cumulated memory: 337804 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.14 4.16 5/258 77322
/proc/meminfo: memFree=104883840/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=724268 memory=547824 CPUtime=12.64 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 102985 0 0 0 1222 42 0 0 20 0 1 0 72466274 741650432 136956 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 181067 136956 2368 1147 0 168494 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 728460 KiB
Current children cumulated memory: 550896 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.16 5/259 77371
/proc/meminfo: memFree=127425644/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=856528 memory=657016 CPUtime=25.36 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 114964 0 0 0 2473 63 0 0 20 0 1 0 72466274 877084672 164254 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 214132 164254 2368 1147 0 201559 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 860720 KiB
Current children cumulated memory: 660088 KiB
[startup+51.1136 s]
/proc/loadavg: 4.08 4.12 4.16 5/260 77373
/proc/meminfo: memFree=126107164/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=1251216 memory=998380 CPUtime=50.91 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 181878 0 0 0 4990 101 0 0 20 0 1 0 72466274 1281245184 249595 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 312804 249595 2368 1147 0 300231 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1255408 KiB
Current children cumulated memory: 1001452 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/260 77374
/proc/meminfo: memFree=124319640/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=1506760 memory=1349388 CPUtime=101.96 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 228776 0 0 0 10042 154 0 0 20 0 1 0 72466274 1542922240 337347 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 376690 337347 2368 1147 0 364117 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1510952 KiB
Current children cumulated memory: 1352460 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/260 77376
/proc/meminfo: memFree=123168264/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=1508552 memory=1356540 CPUtime=161.8 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 229017 0 0 0 15977 203 0 0 20 0 1 0 72466274 1544757248 339135 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 377138 339135 2368 1147 0 364565 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1512744 KiB
Current children cumulated memory: 1359612 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 77378
/proc/meminfo: memFree=121508484/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=2299596 memory=1932568 CPUtime=221.61 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 353698 0 0 0 21895 266 0 0 20 0 1 0 72466274 2354786304 483142 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
################
# More data... #
################
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8280740 memory=6141844 CPUtime=3153.17 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1161539 0 0 0 313292 2025 0 0 20 0 1 0 72466274 8479477760 1535461 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2070185 1535461 2368 1147 0 2057612 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 8284932 KiB
Current children cumulated memory: 6144916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 77541
/proc/meminfo: memFree=87560268/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8280740 memory=6141844 CPUtime=3213 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1162070 0 0 0 319250 2050 0 0 20 0 1 0 72466274 8479477760 1535461 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2070185 1535461 2368 1147 0 2057612 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 8284932 KiB
Current children cumulated memory: 6144916 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/260 77543
/proc/meminfo: memFree=87128152/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8280740 memory=6141844 CPUtime=3272.83 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1162070 0 0 0 325200 2083 0 0 20 0 1 0 72466274 8479477760 1535461 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2070185 1535461 2368 1147 0 2057612 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 8284932 KiB
Current children cumulated memory: 6144916 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 77550
/proc/meminfo: memFree=86748172/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8280740 memory=6141844 CPUtime=3332.66 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1162874 0 0 0 331155 2111 0 0 20 0 1 0 72466274 8479477760 1535461 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2070185 1535461 2368 1147 0 2057612 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 8284932 KiB
Current children cumulated memory: 6144916 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/260 77552
/proc/meminfo: memFree=86400020/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8280740 memory=6141844 CPUtime=3392.49 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1163750 0 0 0 337108 2141 0 0 20 0 1 0 72466274 8479477760 1535461 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2070185 1535461 2368 1147 0 2057612 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 8284932 KiB
Current children cumulated memory: 6144916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 77555
/proc/meminfo: memFree=85948244/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8280740 memory=6141844 CPUtime=3452.31 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1164261 0 0 0 343069 2162 0 0 20 0 1 0 72466274 8479477760 1535461 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2070185 1535461 2368 1147 0 2057612 0
Current children cumulated CPU time: 3452.31 s
Current children cumulated vsize: 8284932 KiB
Current children cumulated memory: 6144916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 77557
/proc/meminfo: memFree=85081240/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8447656 memory=6382472 CPUtime=3512.13 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1205954 0 0 0 349018 2195 0 0 20 0 1 0 72466274 8650399744 1595618 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2111914 1595618 2368 1147 0 2099341 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 8451848 KiB
Current children cumulated memory: 6385544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/260 77559
/proc/meminfo: memFree=84324880/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8500908 memory=6484372 CPUtime=3571.96 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1222331 0 0 0 354974 2222 0 0 20 0 1 0 72466274 8704929792 1621093 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2125227 1621093 2368 1147 0 2112654 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 8505100 KiB
Current children cumulated memory: 6487444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 77567
/proc/meminfo: memFree=89144260/131382120 swapFree=33010416/33010684
[pid=77314] ppid=77307 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77314/stat : 77314 (run-opt-log.sh) S 77307 77314 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72466272 4292608 768 18446744073709551615 94056219299840 94056220194373 140723079091824 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94056220433424 94056220481168 94056251256832 140723079096609 140723079096804 140723079096804 140723079102406 0
/proc/77314/statm: 1048 768 704 219 0 110 0
[pid=77316] ppid=77314 vsize=8500908 memory=6484372 CPUtime=3600.09 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77314 77314 76484 0 -1 4194304 1222331 0 0 0 357770 2239 0 0 20 0 1 0 72466274 8704929792 1621093 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 2125227 1621093 2368 1147 0 2112654 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8505100 KiB
Current children cumulated memory: 6487444 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.51 s]
# the end of solver process 77314 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001451 s, system=0.003928 s
Sleeping 2 seconds
[startup+3611.06 s]
# the end of solver process 77316 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.71 s, system=22.8738 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+3610.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 77571
/proc/meminfo: memFree=89511464/131382120 swapFree=33010416/33010684
[pid=77316] ppid=77307 vsize=5697104 memory=3931384 CPUtime=3600.31 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77307 77314 76484 0 -1 4194304 1222338 0 0 0 357770 2261 0 0 20 0 1 0 72466274 5833834496 982846 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 1424276 982846 2432 1147 0 1411703 0
Current cumulated CPU time of completed processes: 0.005379 s
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 5697104 KiB
Current children cumulated memory: 3931384 KiB
[startup+3611 s]*
/proc/loadavg: 4.12 4.11 4.09 4/253 77585
/proc/meminfo: memFree=94599692/131382120 swapFree=33010416/33010684
[pid=77316] ppid=77307 vsize=3290868 memory=805148 CPUtime=3600.53 cores=1,3
/proc/77316/stat : 77316 (roundingsat) R 77307 77314 76484 0 -1 4194304 1222339 0 0 0 357771 2282 0 0 20 0 1 0 72466274 3369848832 201287 18446744073709551615 4227072 8923433 140733956475456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32792576 140733956483410 140733956483624 140733956483624 140733956489194 0
/proc/77316/statm: 822717 201287 2432 1147 0 810144 0
Current cumulated CPU time of completed processes: 0.005379 s
Current children cumulated CPU time: 3600.53 s
Current children cumulated vsize: 3290868 KiB
Current children cumulated memory: 805148 KiB
Child status: 2
Real time (s): 3611.06
CPU time (s): 3600.59
CPU user time (s): 3577.71
CPU system time (s): 22.8738
CPU usage (%): 99.7099
Max. virtual memory (cumulated for all children) (KiB): 8505100
Max. memory (cumulated for all children) (KiB): 6487444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.71
system time used= 22.8738
maximum resident set size= 6484628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1222562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15579080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 599
involuntary context switches= 5367
# summary of solver processes directly reported to runsolver:
# pid: 77314,77316
# total CPU time (s): 3600.59
# total CPU user time (s): 3577.71
# total CPU system time (s): 22.8738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5761 second user time and 36.1057 second system time
The end
Begin job on nodeC002 at 2025-07-03 20:37:55
IDJOB=4520343
IDBENCH=177924
IDSOLVER=3351
FILE ID=nodeC002/4520343-1751567875
RUNJOBID= nodeC002-1751560632-76499
SLURM_JOB_ID= 9598760
Free space on /tmp= 432676 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520343-1751567875/watcher-4520343-1751567875 -o /tmp/evaluation-result-4520343-1751567875/solver-4520343-1751567875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76499 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520343-1751567875.opb PROOFDIR/proof-4520343-1751567875
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 945af48c280f7236a370d583309b9e8f
RANDOM SEED=2059938782
nodeC002 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 : 3591.705
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.81
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 : 1197.164
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.81
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.217
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.81
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 : 1197.225
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.81
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 : 1197.647
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.81
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 : 1196.912
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.221
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 106178872 kB
MemAvailable: 121375284 kB
Buffers: 2128 kB
Cached: 15985116 kB
SwapCached: 28 kB
Active: 8915020 kB
Inactive: 15681996 kB
Active(anon): 8621328 kB
Inactive(anon): 6404 kB
Active(file): 293692 kB
Inactive(file): 15675592 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 105016 kB
Writeback: 0 kB
AnonPages: 8612896 kB
Mapped: 112480 kB
Shmem: 17932 kB
KReclaimable: 133512 kB
Slab: 221468 kB
SReclaimable: 133512 kB
SUnreclaim: 87956 kB
KernelStack: 4080 kB
PageTables: 20976 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 11008508 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5261312 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432664 MiB
End job on nodeC002 at 2025-07-03 21:38:06