0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 473 #constraints 472
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.002632
0.00/0.00 c stratification level: 0
0.00/0.01 c bounds - >= 50 @ 0.003211
0.00/0.01 c bounds - >= 51 @ 0.003431
0.00/0.01 c bounds - >= 52 @ 0.00353
0.00/0.01 c bounds - >= 53 @ 0.003626
0.00/0.01 c bounds - >= 54 @ 0.003724
0.00/0.01 c bounds - >= 55 @ 0.003822
0.00/0.01 c bounds - >= 56 @ 0.003929
0.00/0.01 c bounds - >= 57 @ 0.004015
0.00/0.01 c bounds - >= 58 @ 0.004118
0.00/0.01 c bounds - >= 59 @ 0.004237
0.00/0.01 c bounds - >= 60 @ 0.004344
0.00/0.01 c bounds - >= 61 @ 0.004448
0.00/0.01 c bounds - >= 62 @ 0.00456
0.00/0.01 c bounds - >= 63 @ 0.004663
0.00/0.01 c bounds - >= 64 @ 0.004766
0.00/0.01 c bounds - >= 65 @ 0.00484
0.00/0.01 c bounds - >= 66 @ 0.00484
0.00/0.01 c bounds - >= 67 @ 0.00484
0.00/0.01 c bounds - >= 68 @ 0.00484
0.00/0.01 c bounds - >= 69 @ 0.00484
0.00/0.01 c bounds - >= 70 @ 0.00484
0.00/0.01 c bounds - >= 71 @ 0.00484
0.00/0.01 c bounds - >= 72 @ 0.00484
0.00/0.01 c bounds - >= 73 @ 0.004842
0.00/0.01 c bounds - >= 74 @ 0.004949
0.00/0.01 c bounds - >= 75 @ 0.005067
0.00/0.01 c bounds - >= 76 @ 0.005202
0.00/0.01 c bounds - >= 77 @ 0.005323
0.00/0.01 c bounds - >= 78 @ 0.005449
0.00/0.01 c bounds - >= 79 @ 0.005571
0.00/0.01 c bounds - >= 80 @ 0.005689
0.00/0.01 c bounds - >= 81 @ 0.005825
0.00/0.01 c bounds - >= 82 @ 0.005877
0.00/0.01 c bounds - >= 83 @ 0.005877
0.00/0.01 c bounds - >= 84 @ 0.005877
0.00/0.01 c bounds - >= 85 @ 0.005877
0.00/0.01 c bounds - >= 86 @ 0.005877
0.00/0.01 c bounds - >= 87 @ 0.005877
0.00/0.01 c bounds - >= 88 @ 0.005877
0.00/0.01 c bounds - >= 89 @ 0.005877
0.00/0.01 c bounds - >= 90 @ 0.005884
0.00/0.01 c bounds - >= 91 @ 0.005884
0.00/0.01 c bounds - >= 92 @ 0.005884
0.00/0.01 c bounds - >= 93 @ 0.005884
0.00/0.01 c bounds - >= 94 @ 0.005884
0.00/0.01 c bounds - >= 95 @ 0.005884
0.00/0.01 c bounds - >= 96 @ 0.005884
0.00/0.01 c bounds - >= 97 @ 0.005884
0.00/0.01 c bounds - >= 98 @ 0.006028
0.00/0.01 c bounds - >= 99 @ 0.006157
0.00/0.01 c bounds - >= 100 @ 0.0063
0.00/0.01 c bounds - >= 101 @ 0.006428
0.00/0.01 c bounds - >= 102 @ 0.006551
0.00/0.01 c bounds - >= 103 @ 0.00668
0.00/0.01 c bounds - >= 104 @ 0.006806
0.00/0.01 c bounds - >= 105 @ 0.006922
0.00/0.01 c bounds - >= 106 @ 0.007053
0.00/0.01 c bounds - >= 107 @ 0.007197
0.00/0.01 c bounds - >= 108 @ 0.007322
0.00/0.01 c bounds - >= 109 @ 0.007446
0.00/0.01 c bounds - >= 110 @ 0.007566
0.00/0.01 c bounds - >= 111 @ 0.007695
0.00/0.01 c bounds - >= 112 @ 0.007821
0.00/0.01 c bounds - >= 113 @ 0.007967
0.00/0.01 c bounds - >= 114 @ 0.008102
0.00/0.01 c bounds - >= 115 @ 0.008255
0.00/0.01 c bounds - >= 116 @ 0.008392
0.00/0.01 c bounds - >= 117 @ 0.008544
0.00/0.01 c bounds - >= 118 @ 0.008706
0.00/0.01 c bounds - >= 119 @ 0.008874
0.00/0.01 c bounds - >= 120 @ 0.009039
0.00/0.01 c bounds - >= 121 @ 0.009243
0.00/0.01 c bounds - >= 122 @ 0.009513
0.00/0.01 c bounds - >= 123 @ 0.009713
0.00/0.01 c finalizing WCE round: reformulating cores
32.08/32.20 c #Conflicts: 1000 | #Constraints: 1625
32.08/32.20 c #Conflicts: 2000 | #Constraints: 2629
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 3000 | #Constraints: 2561
32.08/32.20 c #Conflicts: 4000 | #Constraints: 3563
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 5000 | #Constraints: 2968
32.08/32.20 c #Conflicts: 6000 | #Constraints: 3970
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 7000 | #Constraints: 2966
32.08/32.20 c #Conflicts: 8000 | #Constraints: 3968
32.08/32.20 c #Conflicts: 9000 | #Constraints: 4972
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 10000 | #Constraints: 3675
32.08/32.20 c #Conflicts: 11000 | #Constraints: 4677
32.08/32.20 c #Conflicts: 12000 | #Constraints: 5679
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 13000 | #Constraints: 4132
32.08/32.20 c #Conflicts: 14000 | #Constraints: 5134
32.08/32.20 c #Conflicts: 15000 | #Constraints: 6136
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 16000 | #Constraints: 4369
32.08/32.20 c #Conflicts: 17000 | #Constraints: 5371
32.08/32.20 c #Conflicts: 18000 | #Constraints: 6373
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 19000 | #Constraints: 4391
32.08/32.20 c #Conflicts: 20000 | #Constraints: 5393
32.08/32.20 c #Conflicts: 21000 | #Constraints: 6395
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 22000 | #Constraints: 4200
32.08/32.20 c #Conflicts: 23000 | #Constraints: 5202
32.08/32.20 c #Conflicts: 24000 | #Constraints: 6206
32.08/32.20 c #Conflicts: 25000 | #Constraints: 7208
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 26000 | #Constraints: 4810
32.08/32.20 c #Conflicts: 27000 | #Constraints: 5812
32.08/32.20 c #Conflicts: 28000 | #Constraints: 6814
32.08/32.20 c #Conflicts: 29000 | #Constraints: 7818
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 30000 | #Constraints: 5224
32.08/32.20 c #Conflicts: 31000 | #Constraints: 6226
32.08/32.20 c #Conflicts: 32000 | #Constraints: 7228
32.08/32.20 c #Conflicts: 33000 | #Constraints: 8232
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 34000 | #Constraints: 5438
32.08/32.20 c #Conflicts: 35000 | #Constraints: 6440
32.08/32.20 c #Conflicts: 36000 | #Constraints: 7442
32.08/32.20 c #Conflicts: 37000 | #Constraints: 8446
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 38000 | #Constraints: 5446
32.08/32.20 c #Conflicts: 39000 | #Constraints: 6448
32.08/32.20 c #Conflicts: 40000 | #Constraints: 7450
32.08/32.20 c #Conflicts: 41000 | #Constraints: 8454
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 42000 | #Constraints: 5265
32.08/32.20 c #Conflicts: 43000 | #Constraints: 6267
32.08/32.20 c #Conflicts: 44000 | #Constraints: 7271
32.08/32.20 c #Conflicts: 45000 | #Constraints: 8273
32.08/32.20 c #Conflicts: 46000 | #Constraints: 9275
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 47000 | #Constraints: 5873
32.08/32.20 c #Conflicts: 48000 | #Constraints: 6875
32.08/32.20 c #Conflicts: 49000 | #Constraints: 7877
32.08/32.20 c #Conflicts: 50000 | #Constraints: 8881
32.08/32.20 c #Conflicts: 51000 | #Constraints: 9883
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 52000 | #Constraints: 6290
32.08/32.20 c #Conflicts: 53000 | #Constraints: 7292
32.08/32.20 c #Conflicts: 54000 | #Constraints: 8294
32.08/32.20 c #Conflicts: 55000 | #Constraints: 9298
32.08/32.20 c #Conflicts: 56000 | #Constraints: 10300
32.08/32.20 c INPROCESSING
32.08/32.20 c GARBAGE COLLECT
32.08/32.20 c #Conflicts: 57000 | #Constraints: 6503
32.08/32.20 c #Conflicts: 58000 | #Constraints: 7505
32.08/32.20 c bounds 220 >= 123 @ 31.2391
32.08/32.20 c bounds 220 >= 124 @ 31.251
32.08/32.20 c bounds 220 >= 125 @ 31.2526
32.08/32.20 c bounds 220 >= 126 @ 31.2552
32.08/32.20 c bounds 220 >= 127 @ 31.2576
32.08/32.20 c bounds 220 >= 128 @ 31.2619
32.08/32.20 c bounds 220 >= 129 @ 31.2639
32.08/32.20 c bounds 220 >= 130 @ 31.271
32.08/32.20 c bounds 220 >= 131 @ 31.2717
32.08/32.20 c bounds 220 >= 132 @ 31.275
32.08/32.20 c bounds 220 >= 133 @ 31.2872
32.08/32.20 c finalizing WCE round: reformulating cores
42.34/42.55 c #Conflicts: 59000 | #Constraints: 8639
42.34/42.55 c #Conflicts: 60000 | #Constraints: 9643
42.34/42.55 c #Conflicts: 61000 | #Constraints: 10645
42.34/42.55 c INPROCESSING
42.34/42.55 c GARBAGE COLLECT
42.34/42.55 c #Conflicts: 62000 | #Constraints: 6614
42.34/42.55 c #Conflicts: 63000 | #Constraints: 7616
42.34/42.55 c #Conflicts: 64000 | #Constraints: 8618
42.34/42.55 c #Conflicts: 65000 | #Constraints: 9622
42.34/42.55 c #Conflicts: 66000 | #Constraints: 10624
42.34/42.55 c bounds 219 >= 133 @ 37.9031
42.34/42.55 c bounds 219 >= 134 @ 37.9239
42.34/42.55 c bounds 219 >= 135 @ 37.9556
42.34/42.55 c bounds 219 >= 136 @ 38.1757
42.34/42.55 c INPROCESSING
42.34/42.55 c GARBAGE COLLECT
42.34/42.55 c #Conflicts: 67000 | #Constraints: 6512
42.34/42.55 c #Conflicts: 68000 | #Constraints: 7512
42.34/42.55 c bounds 219 >= 137 @ 41.5341
42.34/42.55 c finalizing WCE round: reformulating cores
322.37/323.51 c #Conflicts: 69000 | #Constraints: 8653
322.37/323.51 c bounds 218 >= 136 @ 44.4198
322.37/323.51 c #Conflicts: 70000 | #Constraints: 9657
322.37/323.51 c #Conflicts: 71000 | #Constraints: 10659
322.37/323.51 c bounds 218 >= 138 @ 45.894
322.37/323.51 c bounds 218 >= 139 @ 46.1605
322.37/323.51 c #Conflicts: 72000 | #Constraints: 11690
322.37/323.51 c INPROCESSING
322.37/323.51 c GARBAGE COLLECT
322.37/323.51 c #Conflicts: 73000 | #Constraints: 7238
322.37/323.51 c #Conflicts: 74000 | #Constraints: 8238
322.37/323.51 c #Conflicts: 75000 | #Constraints: 9238
322.37/323.51 c #Conflicts: 76000 | #Constraints: 10238
322.37/323.51 c #Conflicts: 77000 | #Constraints: 11238
322.37/323.51 c bounds 218 >= 140 @ 54.6166
322.37/323.51 c #Conflicts: 78000 | #Constraints: 12293
322.37/323.51 c INPROCESSING
322.37/323.51 c GARBAGE COLLECT
322.37/323.51 c #Conflicts: 79000 | #Constraints: 7660
322.37/323.51 c #Conflicts: 80000 | #Constraints: 8660
322.37/323.51 c #Conflicts: 81000 | #Constraints: 9660
322.37/323.51 c #Conflicts: 82000 | #Constraints: 10660
322.37/323.51 c #Conflicts: 83000 | #Constraints: 11660
322.37/323.51 c #Conflicts: 84000 | #Constraints: 12660
322.37/323.51 c INPROCESSING
322.37/323.51 c GARBAGE COLLECT
322.37/323.51 c #Conflicts: 85000 | #Constraints: 7854
322.37/323.51 c #Conflicts: 86000 | #Constraints: 8854
322.37/323.51 c #Conflicts: 87000 | #Constraints: 9854
322.37/323.51 c #Conflicts: 88000 | #Constraints: 10854
322.37/323.51 c #Conflicts: 89000 | #Constraints: 11854
322.37/323.51 c #Conflicts: 90000 | #Constraints: 12854
322.37/323.51 c INPROCESSING
322.37/323.51 c GARBAGE COLLECT
322.37/323.51 c #Conflicts: 91000 | #Constraints: 7876
322.37/323.51 c #Conflicts: 92000 | #Constraints: 8876
322.37/323.51 c #Conflicts: 93000 | #Constraints: 9876
322.37/323.51 c #Conflicts: 94000 | #Constraints: 10876
322.37/323.51 c #Conflicts: 95000 | #Constraints: 11876
322.37/323.51 c #Conflicts: 96000 | #Constraints: 12876
322.37/323.51 c INPROCESSING
322.37/323.51 c GARBAGE COLLECT
322.37/323.51 c #Conflicts: 97000 | #Constraints: 7688
322.37/323.51 c #Conflicts: 98000 | #Constraints: 8688
322.37/323.51 c #Conflicts: 99000 | #Constraints: 9688
322.37/323.51 c #Conflicts: 100000 | #Constraints: 10688
322.37/323.51 c #Conflicts: 101000 | #Constraints: 11688
322.37/323.51 c #Conflicts: 102000 | #Constraints: 12688
322.37/323.51 c #Conflicts: 103000 | #Constraints: 13688
322.37/323.51 c INPROCESSING
322.37/323.51 c GARBAGE COLLECT
322.37/323.51 c #Conflicts: 104000 | #Constraints: 8287
322.37/323.51 c #Conflicts: 105000 | #Constraints: 9287
322.37/323.51 c #Conflicts: 106000 | #Constraints: 10287
322.37/323.51 c #Conflicts: 107000 | #Constraints: 11287
322.37/323.51 c #Conflicts: 108000 | #Constraints: 12287
322.37/323.51 c #Conflicts: 109000 | #Constraints: 13287
322.37/323.51 c #Conflicts: 110000 | #Constraints: 14287
322.37/323.51 c INPROCESSING
322.37/323.51 c GARBAGE COLLECT
322.37/323.51 c #Conflicts: 111000 | #Constraints: 8688
322.37/323.51 c #Conflicts: 112000 | #Constraints: 9688
322.37/323.51 c #Conflicts: 113000 | #Constraints: 10688
322.37/323.51 c #Conflicts: 114000 | #Constraints: 11688
322.37/323.51 c #Conflicts: 115000 | #Constraints: 12688
322.37/323.51 c #Conflicts: 116000 | #Constraints: 13688
322.37/323.51 c #Conflicts: 117000 | #Constraints: 14688
322.37/323.51 c #Conflicts: 118000 | #Constraints: 15688
322.37/323.51 c #Conflicts: 119000 | #Constraints: 16688
322.37/323.51 c #Conflicts: 120000 | #Constraints: 17688
322.37/323.51 c #Conflicts: 121000 | #Constraints: 18688
322.37/323.51 c #Conflicts: 122000 | #Constraints: 19688
322.37/323.51 c #Conflicts: 123000 | #Constraints: 20688
322.37/323.51 c #Conflicts: 124000 | #Constraints: 21688
322.37/323.51 c #Conflicts: 125000 | #Constraints: 22688
322.37/323.51 c #Conflicts: 126000 | #Constraints: 23688
322.37/323.51 c #Conflicts: 127000 | #Constraints: 24688
322.37/323.51 c #Conflicts: 128000 | #Constraints: 25688
322.37/323.51 c #Conflicts: 129000 | #Constraints: 26688
322.37/323.51 c #Conflicts: 130000 | #Constraints: 27688
322.37/323.51 c #Conflicts: 131000 | #Constraints: 28688
322.37/323.51 c #Conflicts: 132000 | #Constraints: 29688
322.37/323.51 c #Conflicts: 133000 | #Constraints: 30688
322.37/323.51 c #Conflicts: 134000 | #Constraints: 31688
322.37/323.51 c #Conflicts: 135000 | #Constraints: 32688
322.37/323.51 c #Conflicts: 136000 | #Constraints: 33688
322.37/323.51 c #Conflicts: 137000 | #Constraints: 34688
322.37/323.51 c #Conflicts: 138000 | #Constraints: 35688
322.37/323.51 c #Conflicts: 139000 | #Constraints: 36688
322.37/323.51 c #Conflicts: 140000 | #Constraints: 37688
322.37/323.51 c INPROCESSING
814.00/816.94 c GARBAGE COLLECT
814.00/816.94 c #Conflicts: 141000 | #Constraints: 20197
814.00/816.94 c #Conflicts: 142000 | #Constraints: 21197
814.00/816.94 c #Conflicts: 143000 | #Constraints: 22197
814.00/816.94 c #Conflicts: 144000 | #Constraints: 23197
814.00/816.94 c #Conflicts: 145000 | #Constraints: 24197
814.00/816.94 c #Conflicts: 146000 | #Constraints: 25197
814.00/816.94 c #Conflicts: 147000 | #Constraints: 26197
814.00/816.94 c #Conflicts: 148000 | #Constraints: 27197
814.00/816.94 c INPROCESSING
814.00/816.94 c GARBAGE COLLECT
814.00/816.94 c #Conflicts: 149000 | #Constraints: 14903
814.00/816.94 c #Conflicts: 150000 | #Constraints: 15903
814.00/816.94 c #Conflicts: 151000 | #Constraints: 16903
814.00/816.94 c #Conflicts: 152000 | #Constraints: 17903
814.00/816.94 c #Conflicts: 153000 | #Constraints: 18903
814.00/816.94 c #Conflicts: 154000 | #Constraints: 19903
814.00/816.94 c #Conflicts: 155000 | #Constraints: 20903
814.00/816.94 c #Conflicts: 156000 | #Constraints: 21903
814.00/816.94 c INPROCESSING
814.00/816.94 c GARBAGE COLLECT
814.00/816.94 c #Conflicts: 157000 | #Constraints: 12099
814.00/816.94 c #Conflicts: 158000 | #Constraints: 13099
814.00/816.94 c #Conflicts: 159000 | #Constraints: 14099
814.00/816.94 c #Conflicts: 160000 | #Constraints: 15099
814.00/816.94 c #Conflicts: 161000 | #Constraints: 16099
814.00/816.94 c #Conflicts: 162000 | #Constraints: 17099
814.00/816.94 c #Conflicts: 163000 | #Constraints: 18099
814.00/816.94 c #Conflicts: 164000 | #Constraints: 19099
814.00/816.94 c #Conflicts: 165000 | #Constraints: 20099
814.00/816.94 c #Conflicts: 166000 | #Constraints: 21099
814.00/816.94 c #Conflicts: 167000 | #Constraints: 22099
814.00/816.94 c #Conflicts: 168000 | #Constraints: 23099
814.00/816.94 c #Conflicts: 169000 | #Constraints: 24099
814.00/816.94 c #Conflicts: 170000 | #Constraints: 25099
814.00/816.94 c #Conflicts: 171000 | #Constraints: 26099
814.00/816.94 c #Conflicts: 172000 | #Constraints: 27099
814.00/816.94 c #Conflicts: 173000 | #Constraints: 28099
814.00/816.94 c #Conflicts: 174000 | #Constraints: 29099
814.00/816.94 c #Conflicts: 175000 | #Constraints: 30099
814.00/816.94 c #Conflicts: 176000 | #Constraints: 31099
814.00/816.94 c bounds 218 >= 141 @ 551.947
814.00/816.94 c #Conflicts: 177000 | #Constraints: 32181
814.00/816.94 c #Conflicts: 178000 | #Constraints: 33181
814.00/816.94 c #Conflicts: 179000 | #Constraints: 34181
814.00/816.94 c #Conflicts: 180000 | #Constraints: 35181
814.00/816.94 c #Conflicts: 181000 | #Constraints: 36181
814.00/816.94 c #Conflicts: 182000 | #Constraints: 37181
814.00/816.94 c #Conflicts: 183000 | #Constraints: 38181
814.00/816.94 c #Conflicts: 184000 | #Constraints: 39181
814.00/816.94 c #Conflicts: 185000 | #Constraints: 40181
814.00/816.94 c #Conflicts: 186000 | #Constraints: 41181
814.00/816.94 c #Conflicts: 187000 | #Constraints: 42181
814.00/816.94 c #Conflicts: 188000 | #Constraints: 43181
814.00/816.94 c #Conflicts: 189000 | #Constraints: 44181
814.00/816.94 c #Conflicts: 190000 | #Constraints: 45181
814.00/816.94 c #Conflicts: 191000 | #Constraints: 46181
814.00/816.94 c INPROCESSING
814.00/816.94 c GARBAGE COLLECT
814.00/816.94 c #Conflicts: 192000 | #Constraints: 24444
814.00/816.94 c #Conflicts: 193000 | #Constraints: 25444
814.00/816.94 c #Conflicts: 194000 | #Constraints: 26444
814.00/816.94 c #Conflicts: 195000 | #Constraints: 27444
814.00/816.94 c #Conflicts: 196000 | #Constraints: 28444
814.00/816.94 c #Conflicts: 197000 | #Constraints: 29444
814.00/816.94 c #Conflicts: 198000 | #Constraints: 30444
814.00/816.94 c #Conflicts: 199000 | #Constraints: 31444
814.00/816.94 c #Conflicts: 200000 | #Constraints: 32444
814.00/816.94 c #Conflicts: 201000 | #Constraints: 33444
814.00/816.94 c INPROCESSING
814.00/816.94 c GARBAGE COLLECT
814.00/816.94 c #Conflicts: 202000 | #Constraints: 18475
814.00/816.94 c #Conflicts: 203000 | #Constraints: 19475
814.00/816.94 c #Conflicts: 204000 | #Constraints: 20475
814.00/816.94 c #Conflicts: 205000 | #Constraints: 21475
814.00/816.94 c #Conflicts: 206000 | #Constraints: 22475
814.00/816.94 c #Conflicts: 207000 | #Constraints: 23475
814.00/816.94 c #Conflicts: 208000 | #Constraints: 24475
814.00/816.94 c #Conflicts: 209000 | #Constraints: 25475
814.00/816.94 c #Conflicts: 210000 | #Constraints: 26475
814.00/816.94 c #Conflicts: 211000 | #Constraints: 27475
814.00/816.94 c #Conflicts: 212000 | #Constraints: 28475
814.00/816.94 c #Conflicts: 213000 | #Constraints: 29475
814.00/816.94 c #Conflicts: 214000 | #Constraints: 30475
814.00/816.94 c #Conflicts: 215000 | #Constraints: 31475
814.00/816.94 c #Conflicts: 216000 | #Constraints: 32475
2050.47/2057.54 c #Conflicts: 217000 | #Constraints: 33475
2050.47/2057.54 c #Conflicts: 218000 | #Constraints: 34475
2050.47/2057.54 c #Conflicts: 219000 | #Constraints: 35475
2050.47/2057.54 c #Conflicts: 220000 | #Constraints: 36475
2050.47/2057.54 c #Conflicts: 221000 | #Constraints: 37475
2050.47/2057.54 c #Conflicts: 222000 | #Constraints: 38475
2050.47/2057.54 c #Conflicts: 223000 | #Constraints: 39475
2050.47/2057.54 c #Conflicts: 224000 | #Constraints: 40475
2050.47/2057.54 c #Conflicts: 225000 | #Constraints: 41475
2050.47/2057.54 c #Conflicts: 226000 | #Constraints: 42475
2050.47/2057.54 c #Conflicts: 227000 | #Constraints: 43475
2050.47/2057.54 c #Conflicts: 228000 | #Constraints: 44475
2050.47/2057.54 c #Conflicts: 229000 | #Constraints: 45475
2050.47/2057.54 c #Conflicts: 230000 | #Constraints: 46475
2050.47/2057.54 c #Conflicts: 231000 | #Constraints: 47475
2050.47/2057.54 c #Conflicts: 232000 | #Constraints: 48475
2050.47/2057.54 c #Conflicts: 233000 | #Constraints: 49475
2050.47/2057.54 c #Conflicts: 234000 | #Constraints: 50475
2050.47/2057.54 c #Conflicts: 235000 | #Constraints: 51475
2050.47/2057.54 c #Conflicts: 236000 | #Constraints: 52475
2050.47/2057.54 c #Conflicts: 237000 | #Constraints: 53475
2050.47/2057.54 c #Conflicts: 238000 | #Constraints: 54475
2050.47/2057.54 c INPROCESSING
2050.47/2057.54 c GARBAGE COLLECT
2050.47/2057.54 c #Conflicts: 239000 | #Constraints: 28459
2050.47/2057.54 c #Conflicts: 240000 | #Constraints: 29459
2050.47/2057.54 c #Conflicts: 241000 | #Constraints: 30459
2050.47/2057.54 c #Conflicts: 242000 | #Constraints: 31459
2050.47/2057.54 c #Conflicts: 243000 | #Constraints: 32459
2050.47/2057.54 c #Conflicts: 244000 | #Constraints: 33459
2050.47/2057.54 c #Conflicts: 245000 | #Constraints: 34459
2050.47/2057.54 c #Conflicts: 246000 | #Constraints: 35459
2050.47/2057.54 c #Conflicts: 247000 | #Constraints: 36459
2050.47/2057.54 c #Conflicts: 248000 | #Constraints: 37459
2050.47/2057.54 c #Conflicts: 249000 | #Constraints: 38459
2050.47/2057.54 c INPROCESSING
2050.47/2057.54 c GARBAGE COLLECT
2050.47/2057.54 c #Conflicts: 250000 | #Constraints: 27638
2050.47/2057.54 c #Conflicts: 251000 | #Constraints: 28638
2050.47/2057.54 c #Conflicts: 252000 | #Constraints: 29638
2050.47/2057.54 c #Conflicts: 253000 | #Constraints: 30638
2050.47/2057.54 c #Conflicts: 254000 | #Constraints: 31638
2050.47/2057.54 c #Conflicts: 255000 | #Constraints: 32638
2050.47/2057.54 c #Conflicts: 256000 | #Constraints: 33638
2050.47/2057.54 c #Conflicts: 257000 | #Constraints: 34638
2050.47/2057.54 c #Conflicts: 258000 | #Constraints: 35638
2050.47/2057.54 c #Conflicts: 259000 | #Constraints: 36638
2050.47/2057.54 c #Conflicts: 260000 | #Constraints: 37638
2050.47/2057.54 c #Conflicts: 261000 | #Constraints: 38638
2050.47/2057.54 c #Conflicts: 262000 | #Constraints: 39638
2050.47/2057.54 c #Conflicts: 263000 | #Constraints: 40638
2050.47/2057.54 c #Conflicts: 264000 | #Constraints: 41638
2050.47/2057.54 c #Conflicts: 265000 | #Constraints: 42638
2050.47/2057.54 c #Conflicts: 266000 | #Constraints: 43638
2050.47/2057.54 c #Conflicts: 267000 | #Constraints: 44638
2050.47/2057.54 c #Conflicts: 268000 | #Constraints: 45638
2050.47/2057.54 c #Conflicts: 269000 | #Constraints: 46638
2050.47/2057.54 c #Conflicts: 270000 | #Constraints: 47638
2050.47/2057.54 c #Conflicts: 271000 | #Constraints: 48638
2050.47/2057.54 c #Conflicts: 272000 | #Constraints: 49638
2050.47/2057.54 c #Conflicts: 273000 | #Constraints: 50638
2050.47/2057.54 c #Conflicts: 274000 | #Constraints: 51638
2050.47/2057.54 c #Conflicts: 275000 | #Constraints: 52638
2050.47/2057.54 c #Conflicts: 276000 | #Constraints: 53638
2050.47/2057.54 c #Conflicts: 277000 | #Constraints: 54638
2050.47/2057.54 c #Conflicts: 278000 | #Constraints: 55638
2050.47/2057.54 c #Conflicts: 279000 | #Constraints: 56638
2050.47/2057.54 c #Conflicts: 280000 | #Constraints: 57638
2050.47/2057.54 c #Conflicts: 281000 | #Constraints: 58638
2050.47/2057.54 c #Conflicts: 282000 | #Constraints: 59638
2050.47/2057.54 c #Conflicts: 283000 | #Constraints: 60638
2050.47/2057.54 c #Conflicts: 284000 | #Constraints: 61638
2050.47/2057.54 c #Conflicts: 285000 | #Constraints: 62638
2050.47/2057.54 c #Conflicts: 286000 | #Constraints: 63638
2050.47/2057.54 c #Conflicts: 287000 | #Constraints: 64638
2050.47/2057.54 c #Conflicts: 288000 | #Constraints: 65638
2050.47/2057.54 c #Conflicts: 289000 | #Constraints: 66638
2050.47/2057.54 c #Conflicts: 290000 | #Constraints: 67638
2050.47/2057.54 c INPROCESSING
2050.47/2057.54 c GARBAGE COLLECT
2050.47/2057.54 c #Conflicts: 291000 | #Constraints: 35185
2050.47/2057.54 c #Conflicts: 292000 | #Constraints: 36185
3600.03/3612.40 c #Conflicts: 293000 | #Constraints: 37185
3600.03/3612.40 c #Conflicts: 294000 | #Constraints: 38185
3600.03/3612.40 c #Conflicts: 295000 | #Constraints: 39185
3600.03/3612.40 c #Conflicts: 296000 | #Constraints: 40185
3600.03/3612.40 c #Conflicts: 297000 | #Constraints: 41185
3600.03/3612.40 c #Conflicts: 298000 | #Constraints: 42185
3600.03/3612.40 c #Conflicts: 299000 | #Constraints: 43185
3600.03/3612.40 c #Conflicts: 300000 | #Constraints: 44185
3600.03/3612.40 c #Conflicts: 301000 | #Constraints: 45185
3600.03/3612.40 c #Conflicts: 302000 | #Constraints: 46185
3600.03/3612.40 c #Conflicts: 303000 | #Constraints: 47185
3600.03/3612.40 c #Conflicts: 304000 | #Constraints: 48185
3600.03/3612.40 c #Conflicts: 305000 | #Constraints: 49185
3600.03/3612.40 c #Conflicts: 306000 | #Constraints: 50185
3600.03/3612.40 c #Conflicts: 307000 | #Constraints: 51185
3600.03/3612.40 c #Conflicts: 308000 | #Constraints: 52185
3600.03/3612.40 c #Conflicts: 309000 | #Constraints: 53185
3600.03/3612.40 c #Conflicts: 310000 | #Constraints: 54185
3600.03/3612.40 c #Conflicts: 311000 | #Constraints: 55185
3600.03/3612.40 c #Conflicts: 312000 | #Constraints: 56185
3600.03/3612.40 c #Conflicts: 313000 | #Constraints: 57185
3600.03/3612.40 c #Conflicts: 314000 | #Constraints: 58185
3600.03/3612.40 c #Conflicts: 315000 | #Constraints: 59185
3600.03/3612.40 c #Conflicts: 316000 | #Constraints: 60185
3600.03/3612.40 c #Conflicts: 317000 | #Constraints: 61185
3600.03/3612.40 c #Conflicts: 318000 | #Constraints: 62185
3600.03/3612.40 c #Conflicts: 319000 | #Constraints: 63185
3600.03/3612.40 c #Conflicts: 320000 | #Constraints: 64185
3600.03/3612.40 c #Conflicts: 321000 | #Constraints: 65185
3600.03/3612.40 c #Conflicts: 322000 | #Constraints: 66185
3600.03/3612.40 c #Conflicts: 323000 | #Constraints: 67185
3600.03/3612.40 c #Conflicts: 324000 | #Constraints: 68185
3600.03/3612.40 c #Conflicts: 325000 | #Constraints: 69185
3600.03/3612.40 c #Conflicts: 326000 | #Constraints: 70185
3600.03/3612.40 c #Conflicts: 327000 | #Constraints: 71185
3600.03/3612.40 c #Conflicts: 328000 | #Constraints: 72185
3600.03/3612.40 c #Conflicts: 329000 | #Constraints: 73185
3600.03/3612.40 c #Conflicts: 330000 | #Constraints: 74185
3600.03/3612.40 c #Conflicts: 331000 | #Constraints: 75185
3600.03/3612.40 c #Conflicts: 332000 | #Constraints: 76185
3600.03/3612.40 c #Conflicts: 333000 | #Constraints: 77185
3600.03/3612.40 c INPROCESSING
3600.03/3612.40 c GARBAGE COLLECT
3600.03/3612.40 c #Conflicts: 334000 | #Constraints: 41512
3600.03/3612.40 c #Conflicts: 335000 | #Constraints: 42512
3600.03/3612.40 c #Conflicts: 336000 | #Constraints: 43512
3600.03/3612.40 c #Conflicts: 337000 | #Constraints: 44512
3600.03/3612.40 c #Conflicts: 338000 | #Constraints: 45512
3600.03/3612.40 c #Conflicts: 339000 | #Constraints: 46512
3600.03/3612.40 c #Conflicts: 340000 | #Constraints: 47512
3600.03/3612.40 c #Conflicts: 341000 | #Constraints: 48512
3600.03/3612.40 c #Conflicts: 342000 | #Constraints: 49512
3600.03/3612.40 c #Conflicts: 343000 | #Constraints: 50512
3600.03/3612.40 c #Conflicts: 344000 | #Constraints: 51512
3600.03/3612.40 c #Conflicts: 345000 | #Constraints: 52512
3600.03/3612.40 c #Conflicts: 346000 | #Constraints: 53512
3600.03/3612.40 c #Conflicts: 347000 | #Constraints: 54512
3600.03/3612.40 c #Conflicts: 348000 | #Constraints: 55512
3600.03/3612.40 c #Conflicts: 349000 | #Constraints: 56512
3600.03/3612.40 c #Conflicts: 350000 | #Constraints: 57512
3600.03/3612.40 c #Conflicts: 351000 | #Constraints: 58512
3600.03/3612.40 c #Conflicts: 352000 | #Constraints: 59512
3600.03/3612.40 c #Conflicts: 353000 | #Constraints: 60512
3600.03/3612.40 c #Conflicts: 354000 | #Constraints: 61512
3600.03/3612.40 c #Conflicts: 355000 | #Constraints: 62512
3600.03/3612.40 c #Conflicts: 356000 | #Constraints: 63512
3600.03/3612.40 c #Conflicts: 357000 | #Constraints: 64512
3600.03/3612.40 c #Conflicts: 358000 | #Constraints: 65512
3600.03/3612.40 c #Conflicts: 359000 | #Constraints: 66512
3600.03/3612.40 c Program interrupted by user.
3600.03/3612.40 c cpu time 3590.14 s
3600.03/3612.40 c deterministic time 273129618843 2.73e+11
3600.03/3612.40 c optimization time 635.127 s
3600.03/3612.40 c total solve time 2955.01 s
3600.03/3612.40 c core-guided solve time 2955.01 s
3600.03/3612.40 c propagation time 3267.45 s
3600.03/3612.40 c conflict analysis time 307.124 s
3600.03/3612.40 c propagations 62184673
3600.03/3612.40 c resolve steps 4139552
3600.03/3612.40 c decisions 7046713
3600.03/3612.40 c conflicts 359062
3600.03/3612.40 c restarts 859
3600.03/3612.40 c inprocessing phases 34
3600.03/3612.40 c input clauses 231
3600.03/3612.40 c input cardinalities 439
3600.03/3612.40 c input general constraints 668
3600.03/3612.40 c input average constraint length 42.37
3600.03/3612.40 c input average constraint degree 20.20
3600.03/3612.40 c learned clauses 57213
3600.03/3612.40 c learned cardinalities 1782
3600.03/3612.40 c learned general constraints 300088
3600.03/3612.40 c learned average constraint length 167.18
3600.03/3612.40 c learned average constraint degree 6910465.76
3600.03/3612.40 c watched constraints 233737
3600.03/3612.40 c counting constraints 67019
3600.03/3612.40 c gcd simplifications 26262
3600.03/3612.40 c detected cardinalities 1506
3600.03/3612.40 c weakened non-implied lits 5559938
3600.03/3612.40 c weakened non-implying lits 17216
3600.03/3612.40 c original variables 473
3600.03/3612.40 c clausal propagations 13749359
3600.03/3612.40 c cardinality propagations 1101121
3600.03/3612.40 c watched propagations 9477942
3600.03/3612.40 c counting propagations 37437366
3600.03/3612.40 c watch lookups 69839175967
3600.03/3612.40 c watch backjump lookups 67784693572
3600.03/3612.40 c watch checks 125357073563
3600.03/3612.40 c propagation checks 9785840353
3600.03/3612.40 c constraint additions 224013676
3600.03/3612.40 c trail pops 69590325
3600.03/3612.40 c formula constraints 472
3600.03/3612.40 c learned constraints 359083
3600.03/3612.40 c bound constraints 98
3600.03/3612.40 c core-guided constraints 768
3600.03/3612.40 c encountered formula constraints 634965
3600.03/3612.40 c encountered learned constraints 3134681
3600.03/3612.40 c encountered bound constraints 124
3600.03/3612.40 c encountered core-guided constraints 728844
3600.03/3612.40 c LP total time 0 s
3600.03/3612.40 c LP solve time 0 s
3600.03/3612.40 c LP constraints added 0
3600.03/3612.40 c LP constraints removed 0
3600.03/3612.40 c LP pivots internal 0
3600.03/3612.40 c LP pivots root 0
3600.03/3612.40 c LP calls 0
3600.03/3612.40 c LP optimalities 0
3600.03/3612.40 c LP no pivot count 0
3600.03/3612.40 c LP infeasibilities 0
3600.03/3612.40 c LP valid Farkas constraints 0
3600.03/3612.40 c LP learned Farkas constraints 0
3600.03/3612.40 c LP basis resets 0
3600.03/3612.40 c LP cycling count 0
3600.03/3612.40 c LP singular count 0
3600.03/3612.40 c LP no primal count 0
3600.03/3612.40 c LP no farkas count 0
3600.03/3612.40 c LP other issue count 0
3600.03/3612.40 c LP Gomory cuts 0
3600.03/3612.40 c LP learned cuts 0
3600.03/3612.40 c LP deleted cuts 0
3600.03/3612.40 c LP encountered Gomory constraints 0
3600.03/3612.40 c LP encountered Farkas constraints 0
3600.03/3612.40 c LP encountered learned Farkas constraints 0
3600.03/3612.40 c CG auxiliary variables introduced 318
3600.03/3612.40 c CG solutions found 3
3600.03/3612.40 c CG cores constructed 91
3600.03/3612.40 c CG core cardinality constraints returned 0
3600.03/3612.40 c CG unit cores 0
3600.03/3612.40 c CG single cores 91
3600.03/3612.40 c CG blocks removed during cardinality reduction 0
3600.03/3612.40 c CG first core best 0
3600.03/3612.40 c CG decision core best 0
3600.03/3612.40 c CG core reduction tie 0
3600.03/3612.40 c CG core degree average 1.00
3600.03/3612.40 c CG core slack average 6.31
3600.03/3612.40 c CG exhausted 1
3600.03/3612.40 c CG exhaust time 41.3545 s
3600.03/3612.40 c CG trimmed 12
3600.03/3612.40 c CG trim time 0.021014 s
3600.03/3612.40 c CG minimized 0
3600.03/3612.40 c CG minimize time 0 s
3600.03/3612.40 c CG am1 prop time 0.027756 s
3600.03/3612.40 c CG # am1s reformulated 49
3600.03/3612.40 c CG lower bound derived from am1s 49
3600.03/3612.40 c CG # clausal cores 33
3600.03/3612.40 c CG # cardinality cores 0
3600.03/3612.40 c CG # pb cores 58
3600.03/3612.40 c CG # pb reforms 0
3600.03/3612.40 c CG # cores discarded because of pb reform 0
3600.03/3612.40 d LOWERBOUND 141
3600.03/3612.40 d NCORES 91
3600.03/3612.40 d NPBCORES 58
3600.03/3612.40 d NPBREFORM 0
3600.03/3612.40 d NTRIMMED 12
3600.03/3612.40 d NEXHAUSTED 1
3600.03/3612.40 d NAM1S 49
3600.03/3612.40 d AM1LB 49
3600.03/3612.40 o 218
3600.03/3612.40 s SATISFIABLE
3600.03/3612.40 v x1 x2 x3 -x4 x5 -x6 -x7 x8 -x9 x10 x11 x12 x13 -x14 -x15 x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 x26 x27 -x28 x29 x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 x42 -x43 x44 x45 -x46 x47 x48 -x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x57 -x58 x59 x60 -x61 -x62 x63 -x64 -x65 x66 x67 x68 -x69 x70 x71 x72 -x73 x74 -x75 x76 x77 -x78 -x79 -x80 -x81 x82 x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 x92 -x93 -x94 x95 x96 x97 -x98 -x99 x100 -x101 -x102 x103 x104 -x105 x106 x107 x108 -x109 -x110 x111 -x112 -x113 x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 -x139 x140 x141 x142 x143 x144 x145 -x146 x147 -x148 x149 x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 x160 -x161 x162 -x163 x164 x165 x166 -x167 x168 -x169 x170 x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 x185 -x186 -x187 -x188 x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 x206 x207 x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 x216 x217 x218 x219 -x220 x221 x222 x223 -x224 -x225 -x226 x227 x228 -x229 -x230 x231 -x232 x233 x234 -x235 x236 x237 x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 x256 -x257 x258 x259 x260 -x261 x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 x270 x271 x272 -x273 -x274 x275 -x276 -x277 x278 -x279 x280 x281 -x282 x283 x284 x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 -x294 x295 -x296 -x297 x298 x299 x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 -x325 x326 -x327 x328 x329 -x330 x331 x332 -x333 -x334 x335 -x336 x337 -x338 x339 x340 x341 x342 x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 x352 x353 -x354 -x355 x356 x357 x358 x359 -x360 -x361 -x362 -x363 -x364 x365 x366 x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 x397 x398 -x399 -x400 -x401 x402 x403 -x404 -x405 x406 -x407 -x408 x409 x410 -x411 -x412 x413 x414 x415 x416 x417 -x418 x419 -x420 x421 x422 -x423 x424 -x425 -x426 -x427 x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 x447 -x448 -x449 x450 x451 x452 -x453 -x454 -x455 -x456 x457 x458 -x459 x460 x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473
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: 63931 MiB (61081 MiB free)
memory of node 1: 64510 MiB (59071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454299-1721469081/watcher-4454299-1721469081 -o /tmp/evaluation-result-4454299-1721469081/solver-4454299-1721469081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077167 --watchdog 3760 pb-oll-rs HOME/instance-4454299-1721469081.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1077224, runsolver pid=1077212
[startup+0.100209 s]*
/proc/loadavg: 1.07 1.09 1.33 8/259 1077231
/proc/meminfo: memFree=123010628/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=41632 memory=10508 CPUtime=0.09 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 1443 0 0 0 8 1 0 0 20 0 1 0 199076416 42631168 2627 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 10408 2627 1378 291 0 1942 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41632 KiB
Current children cumulated memory: 10508 KiB
[startup+0.206279 s]*
/proc/loadavg: 1.07 1.09 1.33 5/259 1077231
/proc/meminfo: memFree=122997484/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=42992 memory=14136 CPUtime=0.2 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 1811 0 0 0 18 2 0 0 20 0 1 0 199076416 44023808 3534 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 10748 3534 1378 291 0 2282 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42992 KiB
Current children cumulated memory: 14136 KiB
[startup+0.306643 s]*
/proc/loadavg: 1.07 1.09 1.33 8/259 1077231
/proc/meminfo: memFree=122982084/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=44712 memory=15720 CPUtime=0.3 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 2216 0 0 0 27 3 0 0 20 0 1 0 199076416 45785088 3930 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 11178 3930 1378 291 0 2712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44712 KiB
Current children cumulated memory: 15720 KiB
[startup+0.700209 s]
/proc/loadavg: 1.07 1.09 1.33 8/259 1077231
/proc/meminfo: memFree=122956580/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=49580 memory=20604 CPUtime=0.69 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 2916 0 0 0 65 4 0 0 20 0 1 0 199076416 50769920 5151 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 12395 5151 1434 291 0 3929 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49580 KiB
Current children cumulated memory: 20604 KiB
[startup+1.50018 s]
/proc/loadavg: 1.07 1.09 1.33 6/259 1077231
/proc/meminfo: memFree=122909196/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=57472 memory=27004 CPUtime=1.49 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 3956 0 0 0 142 7 0 0 20 0 1 0 199076416 58851328 6751 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 14368 6751 1434 291 0 5902 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57472 KiB
Current children cumulated memory: 27004 KiB
[startup+3.10643 s]
/proc/loadavg: 1.07 1.09 1.33 6/259 1077231
/proc/meminfo: memFree=122845192/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=59812 memory=30304 CPUtime=3.08 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 4774 0 0 0 297 11 0 0 20 0 1 0 199076416 61247488 7576 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 14953 7576 1434 291 0 6487 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59812 KiB
Current children cumulated memory: 30304 KiB
[startup+6.30017 s]
/proc/loadavg: 1.31 1.14 1.34 6/259 1077233
/proc/meminfo: memFree=122778536/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=70672 memory=36568 CPUtime=6.27 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 5838 0 0 0 609 18 0 0 20 0 1 0 199076416 72368128 9142 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 17668 9142 1434 291 0 9202 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70672 KiB
Current children cumulated memory: 36568 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 1.18 1.36 6/259 1077233
/proc/meminfo: memFree=122717336/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=77360 memory=45652 CPUtime=12.65 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 7107 0 0 0 1237 28 0 0 20 0 1 0 199076416 79216640 11413 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 19340 11413 1434 291 0 10874 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77360 KiB
Current children cumulated memory: 45652 KiB
[startup+25.5002 s]
/proc/loadavg: 2.07 1.32 1.40 6/259 1077236
/proc/meminfo: memFree=122650696/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=96652 memory=52216 CPUtime=25.41 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 8790 0 0 0 2491 50 0 0 20 0 1 0 199076416 98971648 13054 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 24163 13054 1434 291 0 15697 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 96652 KiB
Current children cumulated memory: 52216 KiB
[startup+51.1065 s]
/proc/loadavg: 2.80 1.56 1.47 6/259 1077239
/proc/meminfo: memFree=122561468/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=100392 memory=61420 CPUtime=50.93 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 10025 0 0 0 5012 81 0 0 20 0 1 0 199076416 102801408 15355 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 25098 15355 1434 291 0 16632 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 100392 KiB
Current children cumulated memory: 61420 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.95 1.62 6/259 1077249
/proc/meminfo: memFree=122445996/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=110268 memory=69784 CPUtime=101.94 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 12138 0 0 0 10048 146 0 0 20 0 1 0 199076416 112914432 17446 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 27567 17446 1434 291 0 19101 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 110268 KiB
Current children cumulated memory: 69784 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.34 1.77 6/259 1077260
/proc/meminfo: memFree=122376156/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=119700 memory=77196 CPUtime=161.75 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 14009 0 0 0 15987 188 0 0 20 0 1 0 199076416 122572800 19299 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 29925 19299 1434 291 0 21459 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 119700 KiB
Current children cumulated memory: 77196 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.66 1.92 6/259 1077270
/proc/meminfo: memFree=122318364/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=125576 memory=86532 CPUtime=221.54 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 15363 0 0 0 21942 212 0 0 20 0 1 0 199076416 128589824 21633 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 31394 21633 1434 291 0 22928 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 125576 KiB
Current children cumulated memory: 86532 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.92 2.06 6/258 1077665
/proc/meminfo: memFree=122231188/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=147956 memory=98604 CPUtime=281.34 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 16898 0 0 0 27903 231 0 0 20 0 1 0 199076416 151506944 24651 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 36989 24651 1434 291 0 28523 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 147956 KiB
Current children cumulated memory: 98604 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.14 2.19 6/257 1077675
/proc/meminfo: memFree=122168108/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=151552 memory=103044 CPUtime=341.11 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 17887 0 0 0 33863 248 0 0 20 0 1 0 199076416 155189248 25761 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 37888 25761 1434 291 0 29422 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 151552 KiB
Current children cumulated memory: 103044 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 3.36 2.33 6/259 1077857
/proc/meminfo: memFree=122104560/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=151552 memory=103044 CPUtime=400.88 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 17893 0 0 0 39818 270 0 0 20 0 1 0 199076416 155189248 25761 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 37888 25761 1434 291 0 29422 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 151552 KiB
Current children cumulated memory: 103044 KiB
[startup+462.3 s]
/proc/loadavg: 5.32 3.75 2.52 6/259 1077867
/proc/meminfo: memFree=122043012/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=151552 memory=103044 CPUtime=460.64 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 17893 0 0 0 45761 303 0 0 20 0 1 0 199076416 155189248 25761 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 37888 25761 1434 291 0 29422 0
################
# More data... #
################
Current children cumulated memory: 171800 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.02 6/258 1078948
/proc/meminfo: memFree=121284068/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=229492 memory=176756 CPUtime=2852.47 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 31324 0 0 0 284371 876 0 0 20 0 1 0 199076416 234999808 44189 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 57373 44189 1434 291 0 48907 0
Current children cumulated CPU time: 2852.47 s
Current children cumulated vsize: 229492 KiB
Current children cumulated memory: 176756 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.02 6/258 1078960
/proc/meminfo: memFree=121279516/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=230780 memory=179692 CPUtime=2912.25 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 31704 0 0 0 290341 884 0 0 20 0 1 0 199076416 236318720 44923 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 57695 44923 1434 291 0 49229 0
Current children cumulated CPU time: 2912.25 s
Current children cumulated vsize: 230780 KiB
Current children cumulated memory: 179692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.03 6/258 1078971
/proc/meminfo: memFree=121241012/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=235276 memory=184336 CPUtime=2972.02 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 32580 0 0 0 296310 892 0 0 20 0 1 0 199076416 240922624 46084 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 58819 46084 1434 291 0 50353 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 235276 KiB
Current children cumulated memory: 184336 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.03 6/257 1078982
/proc/meminfo: memFree=121232784/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=187700 CPUtime=3031.81 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 32961 0 0 0 302279 902 0 0 20 0 1 0 199076416 243036160 46925 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 46925 1434 291 0 50869 0
Current children cumulated CPU time: 3031.81 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 187700 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.03 6/257 1078993
/proc/meminfo: memFree=121220728/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=193192 CPUtime=3091.59 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33023 0 0 0 308245 914 0 0 20 0 1 0 199076416 243036160 48298 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 48298 1434 291 0 50869 0
Current children cumulated CPU time: 3091.59 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 193192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.03 6/257 1079005
/proc/meminfo: memFree=121211744/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3151.4 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33093 0 0 0 314216 924 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.03 6/255 1079016
/proc/meminfo: memFree=121211216/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3211.2 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33168 0 0 0 320186 934 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3211.2 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.03 6/255 1079026
/proc/meminfo: memFree=121208496/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3271.01 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33244 0 0 0 326159 942 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3271.01 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.04 6/255 1079036
/proc/meminfo: memFree=121207940/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3330.81 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33321 0 0 0 332127 954 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3330.81 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.13 4.05 6/255 1079048
/proc/meminfo: memFree=121198000/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3390.61 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33400 0 0 0 338098 963 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3390.61 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.14 4.06 6/255 1079058
/proc/meminfo: memFree=121197164/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3450.42 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33479 0 0 0 344071 971 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3450.42 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.06 6/257 1079073
/proc/meminfo: memFree=121165796/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3510.23 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33560 0 0 0 350045 978 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3510.23 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.06 6/257 1079085
/proc/meminfo: memFree=121162884/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3570.03 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33642 0 0 0 356017 986 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3570.03 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122534584/131524600 swapFree=131071996/131071996
[pid=1077224] ppid=1077212 vsize=237340 memory=198688 CPUtime=3600.03 cores=0,2
/proc/1077224/stat : 1077224 (pb-oll-rs) R 1077212 1077224 1077157 0 -1 4194304 33643 0 0 0 359014 989 0 0 20 0 1 0 199076416 243036160 49672 134679101440 4194304 5384485 140732248847680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11517952 140732248855573 140732248855650 140732248855650 140732248862667 0
/proc/1077224/statm: 59335 49672 1434 291 0 50869 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 237340 KiB
Current children cumulated memory: 198688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 1077224 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.15 s, system=9.89581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.4
CPU time (s): 3600.04
CPU user time (s): 3590.15
CPU system time (s): 9.89581
CPU usage (%): 99.6578
Max. virtual memory (cumulated for all children) (KiB): 237340
Max. memory (cumulated for all children) (KiB): 198688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.15
system time used= 9.89581
maximum resident set size= 198688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 25231
# summary of solver processes directly reported to runsolver:
# pid: 1077224
# total CPU time (s): 3600.04
# total CPU user time (s): 3590.15
# total CPU system time (s): 9.89581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.60363 second user time and 15.9947 second system time
The end
Begin job on nodeC031 at 2024-07-20 11:51:34
IDJOB=4454299
IDBENCH=147539
IDSOLVER=3082
FILE ID=nodeC031/4454299-1721469081
RUNJOBID= nodeC031-1721469094-1077167
SLURM_JOB_ID= 7545727
Free space on /tmp= 890084 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454299-1721469081/watcher-4454299-1721469081 -o /tmp/evaluation-result-4454299-1721469081/solver-4454299-1721469081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077167 --watchdog 3760 pb-oll-rs HOME/instance-4454299-1721469081.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=413398756
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3857.486
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3860.476
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3616.304
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.615
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.828
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3644.017
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3562.551
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.704
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123039116 kB
MemAvailable: 129593684 kB
Buffers: 542052 kB
Cached: 6778640 kB
SwapCached: 0 kB
Active: 1087464 kB
Inactive: 6608668 kB
Active(anon): 1444 kB
Inactive(anon): 419900 kB
Active(file): 1086020 kB
Inactive(file): 6188768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7824 kB
Writeback: 0 kB
AnonPages: 373376 kB
Mapped: 107544 kB
Shmem: 45912 kB
KReclaimable: 238856 kB
Slab: 369016 kB
SReclaimable: 238856 kB
SUnreclaim: 130160 kB
KernelStack: 3936 kB
PageTables: 9940 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 742836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74144 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC031 at 2024-07-20 12:51:47