0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.04/300.08 c [STEP] preprocessing done, loading into solver
299.04/300.08 c [STEP] solving
299.04/300.08 c #variables 474 #constraints 472
299.04/300.08 c SMALL=int, LARGE=long long
299.04/300.08 c bounds - >= 0 @ 298.871
299.04/300.08 c stratification level: 0
322.65/323.74 c bounds - >= 50 @ 298.872
322.65/323.74 c bounds - >= 51 @ 298.872
322.65/323.74 c bounds - >= 52 @ 298.872
322.65/323.74 c bounds - >= 53 @ 298.873
322.65/323.74 c bounds - >= 54 @ 298.873
322.65/323.74 c bounds - >= 55 @ 298.873
322.65/323.74 c bounds - >= 56 @ 298.873
322.65/323.74 c bounds - >= 57 @ 298.873
322.65/323.74 c bounds - >= 58 @ 298.873
322.65/323.74 c bounds - >= 59 @ 298.873
322.65/323.74 c bounds - >= 60 @ 298.873
322.65/323.74 c bounds - >= 61 @ 298.873
322.65/323.74 c bounds - >= 62 @ 298.873
322.65/323.74 c bounds - >= 63 @ 298.874
322.65/323.74 c bounds - >= 64 @ 298.874
322.65/323.74 c bounds - >= 65 @ 298.874
322.65/323.74 c bounds - >= 66 @ 298.874
322.65/323.74 c bounds - >= 67 @ 298.874
322.65/323.74 c bounds - >= 68 @ 298.874
322.65/323.74 c bounds - >= 69 @ 298.874
322.65/323.74 c bounds - >= 70 @ 298.874
322.65/323.74 c bounds - >= 71 @ 298.874
322.65/323.74 c bounds - >= 72 @ 298.874
322.65/323.74 c bounds - >= 73 @ 298.874
322.65/323.74 c bounds - >= 74 @ 298.874
322.65/323.74 c bounds - >= 75 @ 298.874
322.65/323.74 c bounds - >= 76 @ 298.874
322.65/323.74 c bounds - >= 77 @ 298.874
322.65/323.74 c bounds - >= 78 @ 298.874
322.65/323.74 c bounds - >= 79 @ 298.874
322.65/323.74 c bounds - >= 80 @ 298.875
322.65/323.74 c bounds - >= 81 @ 298.875
322.65/323.74 c bounds - >= 82 @ 298.875
322.65/323.74 c bounds - >= 83 @ 298.875
322.65/323.74 c bounds - >= 84 @ 298.875
322.65/323.74 c bounds - >= 85 @ 298.875
322.65/323.74 c bounds - >= 86 @ 298.875
322.65/323.74 c bounds - >= 87 @ 298.875
322.65/323.74 c bounds - >= 88 @ 298.876
322.65/323.74 c bounds - >= 89 @ 298.876
322.65/323.74 c bounds - >= 90 @ 298.876
322.65/323.74 c bounds - >= 91 @ 298.876
322.65/323.74 c bounds - >= 92 @ 298.876
322.65/323.74 c bounds - >= 93 @ 298.876
322.65/323.74 c bounds - >= 94 @ 298.876
322.65/323.74 c bounds - >= 95 @ 298.876
322.65/323.74 c bounds - >= 96 @ 298.877
322.65/323.74 c bounds - >= 97 @ 298.877
322.65/323.74 c bounds - >= 98 @ 298.877
322.65/323.74 c bounds - >= 99 @ 298.877
322.65/323.74 c bounds - >= 100 @ 298.877
322.65/323.74 c bounds - >= 101 @ 298.877
322.65/323.74 c bounds - >= 102 @ 298.877
322.65/323.74 c bounds - >= 103 @ 298.877
322.65/323.74 c bounds - >= 104 @ 298.877
322.65/323.74 c bounds - >= 105 @ 298.877
322.65/323.74 c bounds - >= 106 @ 298.877
322.65/323.74 c bounds - >= 107 @ 298.877
322.65/323.74 c bounds - >= 108 @ 298.877
322.65/323.74 c bounds - >= 109 @ 298.877
322.65/323.74 c bounds - >= 110 @ 298.877
322.65/323.74 c bounds - >= 111 @ 298.878
322.65/323.74 c bounds - >= 112 @ 298.878
322.65/323.74 c bounds - >= 113 @ 298.878
322.65/323.74 c bounds - >= 114 @ 298.878
322.65/323.74 c bounds - >= 115 @ 298.878
322.65/323.74 c bounds - >= 116 @ 298.878
322.65/323.74 c bounds - >= 117 @ 298.878
322.65/323.74 c bounds - >= 118 @ 298.879
322.65/323.74 c bounds - >= 119 @ 298.879
322.65/323.74 c bounds - >= 120 @ 298.879
322.65/323.74 c bounds - >= 121 @ 298.879
322.65/323.74 c bounds - >= 122 @ 298.879
322.65/323.74 c bounds - >= 123 @ 298.879
322.65/323.74 c bounds - >= 124 @ 298.879
322.65/323.74 c bounds - >= 125 @ 298.879
322.65/323.74 c #Conflicts: 1000 | #Constraints: 1611
322.65/323.74 c #Conflicts: 2000 | #Constraints: 2611
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 3000 | #Constraints: 2536
322.65/323.74 c #Conflicts: 4000 | #Constraints: 3536
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 5000 | #Constraints: 2940
322.65/323.74 c #Conflicts: 6000 | #Constraints: 3940
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 7000 | #Constraints: 2938
322.65/323.74 c #Conflicts: 8000 | #Constraints: 3938
322.65/323.74 c #Conflicts: 9000 | #Constraints: 4938
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 10000 | #Constraints: 3638
322.65/323.74 c #Conflicts: 11000 | #Constraints: 4638
322.65/323.74 c #Conflicts: 12000 | #Constraints: 5638
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 13000 | #Constraints: 4092
322.65/323.74 c #Conflicts: 14000 | #Constraints: 5092
322.65/323.74 c #Conflicts: 15000 | #Constraints: 6092
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 16000 | #Constraints: 4315
322.65/323.74 c #Conflicts: 17000 | #Constraints: 5315
322.65/323.74 c #Conflicts: 18000 | #Constraints: 6315
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 19000 | #Constraints: 4330
322.65/323.74 c #Conflicts: 20000 | #Constraints: 5330
322.65/323.74 c #Conflicts: 21000 | #Constraints: 6330
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 22000 | #Constraints: 4136
322.65/323.74 c #Conflicts: 23000 | #Constraints: 5136
322.65/323.74 c #Conflicts: 24000 | #Constraints: 6136
322.65/323.74 c #Conflicts: 25000 | #Constraints: 7136
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 26000 | #Constraints: 4738
322.65/323.74 c #Conflicts: 27000 | #Constraints: 5738
322.65/323.74 c #Conflicts: 28000 | #Constraints: 6738
322.65/323.74 c #Conflicts: 29000 | #Constraints: 7738
322.65/323.74 c INPROCESSING
322.65/323.74 c GARBAGE COLLECT
322.65/323.74 c #Conflicts: 30000 | #Constraints: 5141
322.65/323.74 c #Conflicts: 31000 | #Constraints: 6141
322.65/323.74 c #Conflicts: 32000 | #Constraints: 7141
322.65/323.74 c #Conflicts: 33000 | #Constraints: 8141
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 34000 | #Constraints: 5342
442.46/443.99 c #Conflicts: 35000 | #Constraints: 6342
442.46/443.99 c #Conflicts: 36000 | #Constraints: 7342
442.46/443.99 c #Conflicts: 37000 | #Constraints: 8342
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 38000 | #Constraints: 5337
442.46/443.99 c #Conflicts: 39000 | #Constraints: 6337
442.46/443.99 c #Conflicts: 40000 | #Constraints: 7337
442.46/443.99 c #Conflicts: 41000 | #Constraints: 8337
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 42000 | #Constraints: 5143
442.46/443.99 c #Conflicts: 43000 | #Constraints: 6143
442.46/443.99 c #Conflicts: 44000 | #Constraints: 7143
442.46/443.99 c #Conflicts: 45000 | #Constraints: 8143
442.46/443.99 c #Conflicts: 46000 | #Constraints: 9143
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 47000 | #Constraints: 5740
442.46/443.99 c #Conflicts: 48000 | #Constraints: 6740
442.46/443.99 c #Conflicts: 49000 | #Constraints: 7740
442.46/443.99 c #Conflicts: 50000 | #Constraints: 8740
442.46/443.99 c #Conflicts: 51000 | #Constraints: 9740
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 52000 | #Constraints: 6141
442.46/443.99 c #Conflicts: 53000 | #Constraints: 7141
442.46/443.99 c #Conflicts: 54000 | #Constraints: 8141
442.46/443.99 c #Conflicts: 55000 | #Constraints: 9141
442.46/443.99 c #Conflicts: 56000 | #Constraints: 10141
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 57000 | #Constraints: 6338
442.46/443.99 c #Conflicts: 58000 | #Constraints: 7338
442.46/443.99 c #Conflicts: 59000 | #Constraints: 8338
442.46/443.99 c #Conflicts: 60000 | #Constraints: 9338
442.46/443.99 c #Conflicts: 61000 | #Constraints: 10338
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 62000 | #Constraints: 6344
442.46/443.99 c #Conflicts: 63000 | #Constraints: 7344
442.46/443.99 c #Conflicts: 64000 | #Constraints: 8344
442.46/443.99 c #Conflicts: 65000 | #Constraints: 9344
442.46/443.99 c #Conflicts: 66000 | #Constraints: 10344
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 67000 | #Constraints: 6142
442.46/443.99 c #Conflicts: 68000 | #Constraints: 7142
442.46/443.99 c #Conflicts: 69000 | #Constraints: 8142
442.46/443.99 c #Conflicts: 70000 | #Constraints: 9142
442.46/443.99 c #Conflicts: 71000 | #Constraints: 10142
442.46/443.99 c #Conflicts: 72000 | #Constraints: 11142
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 73000 | #Constraints: 6742
442.46/443.99 c #Conflicts: 74000 | #Constraints: 7742
442.46/443.99 c #Conflicts: 75000 | #Constraints: 8742
442.46/443.99 c #Conflicts: 76000 | #Constraints: 9742
442.46/443.99 c #Conflicts: 77000 | #Constraints: 10742
442.46/443.99 c #Conflicts: 78000 | #Constraints: 11742
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 79000 | #Constraints: 7141
442.46/443.99 c #Conflicts: 80000 | #Constraints: 8141
442.46/443.99 c #Conflicts: 81000 | #Constraints: 9141
442.46/443.99 c #Conflicts: 82000 | #Constraints: 10141
442.46/443.99 c #Conflicts: 83000 | #Constraints: 11141
442.46/443.99 c #Conflicts: 84000 | #Constraints: 12141
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 85000 | #Constraints: 7345
442.46/443.99 c #Conflicts: 86000 | #Constraints: 8345
442.46/443.99 c #Conflicts: 87000 | #Constraints: 9345
442.46/443.99 c #Conflicts: 88000 | #Constraints: 10345
442.46/443.99 c #Conflicts: 89000 | #Constraints: 11345
442.46/443.99 c #Conflicts: 90000 | #Constraints: 12345
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 91000 | #Constraints: 7342
442.46/443.99 c #Conflicts: 92000 | #Constraints: 8342
442.46/443.99 c #Conflicts: 93000 | #Constraints: 9342
442.46/443.99 c #Conflicts: 94000 | #Constraints: 10342
442.46/443.99 c #Conflicts: 95000 | #Constraints: 11342
442.46/443.99 c #Conflicts: 96000 | #Constraints: 12342
442.46/443.99 c INPROCESSING
442.46/443.99 c GARBAGE COLLECT
442.46/443.99 c #Conflicts: 97000 | #Constraints: 7141
442.46/443.99 c #Conflicts: 98000 | #Constraints: 8141
442.46/443.99 c #Conflicts: 99000 | #Constraints: 9141
442.46/443.99 c #Conflicts: 100000 | #Constraints: 10141
442.46/443.99 c #Conflicts: 101000 | #Constraints: 11141
442.46/443.99 c #Conflicts: 102000 | #Constraints: 12141
442.46/443.99 c #Conflicts: 103000 | #Constraints: 13141
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 104000 | #Constraints: 7743
620.56/622.67 c #Conflicts: 105000 | #Constraints: 8743
620.56/622.67 c #Conflicts: 106000 | #Constraints: 9743
620.56/622.67 c #Conflicts: 107000 | #Constraints: 10743
620.56/622.67 c #Conflicts: 108000 | #Constraints: 11743
620.56/622.67 c #Conflicts: 109000 | #Constraints: 12743
620.56/622.67 c #Conflicts: 110000 | #Constraints: 13743
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 111000 | #Constraints: 8145
620.56/622.67 c #Conflicts: 112000 | #Constraints: 9145
620.56/622.67 c #Conflicts: 113000 | #Constraints: 10145
620.56/622.67 c #Conflicts: 114000 | #Constraints: 11145
620.56/622.67 c #Conflicts: 115000 | #Constraints: 12145
620.56/622.67 c #Conflicts: 116000 | #Constraints: 13145
620.56/622.67 c #Conflicts: 117000 | #Constraints: 14145
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 118000 | #Constraints: 8340
620.56/622.67 c #Conflicts: 119000 | #Constraints: 9340
620.56/622.67 c #Conflicts: 120000 | #Constraints: 10340
620.56/622.67 c #Conflicts: 121000 | #Constraints: 11340
620.56/622.67 c #Conflicts: 122000 | #Constraints: 12340
620.56/622.67 c #Conflicts: 123000 | #Constraints: 13340
620.56/622.67 c #Conflicts: 124000 | #Constraints: 14340
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 125000 | #Constraints: 8336
620.56/622.67 c #Conflicts: 126000 | #Constraints: 9336
620.56/622.67 c #Conflicts: 127000 | #Constraints: 10336
620.56/622.67 c #Conflicts: 128000 | #Constraints: 11336
620.56/622.67 c #Conflicts: 129000 | #Constraints: 12336
620.56/622.67 c #Conflicts: 130000 | #Constraints: 13336
620.56/622.67 c #Conflicts: 131000 | #Constraints: 14336
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 132000 | #Constraints: 8139
620.56/622.67 c #Conflicts: 133000 | #Constraints: 9139
620.56/622.67 c #Conflicts: 134000 | #Constraints: 10139
620.56/622.67 c #Conflicts: 135000 | #Constraints: 11139
620.56/622.67 c #Conflicts: 136000 | #Constraints: 12139
620.56/622.67 c #Conflicts: 137000 | #Constraints: 13139
620.56/622.67 c #Conflicts: 138000 | #Constraints: 14139
620.56/622.67 c #Conflicts: 139000 | #Constraints: 15139
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 140000 | #Constraints: 8737
620.56/622.67 c #Conflicts: 141000 | #Constraints: 9737
620.56/622.67 c #Conflicts: 142000 | #Constraints: 10737
620.56/622.67 c #Conflicts: 143000 | #Constraints: 11737
620.56/622.67 c #Conflicts: 144000 | #Constraints: 12737
620.56/622.67 c #Conflicts: 145000 | #Constraints: 13737
620.56/622.67 c #Conflicts: 146000 | #Constraints: 14737
620.56/622.67 c #Conflicts: 147000 | #Constraints: 15737
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 148000 | #Constraints: 9141
620.56/622.67 c #Conflicts: 149000 | #Constraints: 10141
620.56/622.67 c #Conflicts: 150000 | #Constraints: 11141
620.56/622.67 c #Conflicts: 151000 | #Constraints: 12141
620.56/622.67 c #Conflicts: 152000 | #Constraints: 13141
620.56/622.67 c #Conflicts: 153000 | #Constraints: 14141
620.56/622.67 c #Conflicts: 154000 | #Constraints: 15141
620.56/622.67 c #Conflicts: 155000 | #Constraints: 16141
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 156000 | #Constraints: 9343
620.56/622.67 c #Conflicts: 157000 | #Constraints: 10343
620.56/622.67 c #Conflicts: 158000 | #Constraints: 11343
620.56/622.67 c #Conflicts: 159000 | #Constraints: 12343
620.56/622.67 c #Conflicts: 160000 | #Constraints: 13343
620.56/622.67 c #Conflicts: 161000 | #Constraints: 14343
620.56/622.67 c #Conflicts: 162000 | #Constraints: 15343
620.56/622.67 c #Conflicts: 163000 | #Constraints: 16343
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 164000 | #Constraints: 9343
620.56/622.67 c #Conflicts: 165000 | #Constraints: 10343
620.56/622.67 c #Conflicts: 166000 | #Constraints: 11343
620.56/622.67 c #Conflicts: 167000 | #Constraints: 12343
620.56/622.67 c #Conflicts: 168000 | #Constraints: 13343
620.56/622.67 c #Conflicts: 169000 | #Constraints: 14343
620.56/622.67 c #Conflicts: 170000 | #Constraints: 15343
620.56/622.67 c #Conflicts: 171000 | #Constraints: 16343
620.56/622.67 c INPROCESSING
620.56/622.67 c GARBAGE COLLECT
620.56/622.67 c #Conflicts: 172000 | #Constraints: 9138
620.56/622.67 c #Conflicts: 173000 | #Constraints: 10138
620.56/622.67 c #Conflicts: 174000 | #Constraints: 11138
620.56/622.67 c #Conflicts: 175000 | #Constraints: 12138
620.56/622.67 c #Conflicts: 176000 | #Constraints: 13138
853.29/856.16 c #Conflicts: 177000 | #Constraints: 14138
853.29/856.16 c #Conflicts: 178000 | #Constraints: 15138
853.29/856.16 c #Conflicts: 179000 | #Constraints: 16138
853.29/856.16 c #Conflicts: 180000 | #Constraints: 17138
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 181000 | #Constraints: 9740
853.29/856.16 c #Conflicts: 182000 | #Constraints: 10740
853.29/856.16 c #Conflicts: 183000 | #Constraints: 11740
853.29/856.16 c #Conflicts: 184000 | #Constraints: 12740
853.29/856.16 c #Conflicts: 185000 | #Constraints: 13740
853.29/856.16 c #Conflicts: 186000 | #Constraints: 14740
853.29/856.16 c #Conflicts: 187000 | #Constraints: 15740
853.29/856.16 c #Conflicts: 188000 | #Constraints: 16740
853.29/856.16 c #Conflicts: 189000 | #Constraints: 17740
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 190000 | #Constraints: 10145
853.29/856.16 c #Conflicts: 191000 | #Constraints: 11145
853.29/856.16 c #Conflicts: 192000 | #Constraints: 12145
853.29/856.16 c #Conflicts: 193000 | #Constraints: 13145
853.29/856.16 c #Conflicts: 194000 | #Constraints: 14145
853.29/856.16 c #Conflicts: 195000 | #Constraints: 15145
853.29/856.16 c #Conflicts: 196000 | #Constraints: 16145
853.29/856.16 c #Conflicts: 197000 | #Constraints: 17145
853.29/856.16 c #Conflicts: 198000 | #Constraints: 18145
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 199000 | #Constraints: 10343
853.29/856.16 c #Conflicts: 200000 | #Constraints: 11343
853.29/856.16 c #Conflicts: 201000 | #Constraints: 12343
853.29/856.16 c #Conflicts: 202000 | #Constraints: 13343
853.29/856.16 c #Conflicts: 203000 | #Constraints: 14343
853.29/856.16 c #Conflicts: 204000 | #Constraints: 15343
853.29/856.16 c #Conflicts: 205000 | #Constraints: 16343
853.29/856.16 c #Conflicts: 206000 | #Constraints: 17343
853.29/856.16 c #Conflicts: 207000 | #Constraints: 18343
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 208000 | #Constraints: 10343
853.29/856.16 c #Conflicts: 209000 | #Constraints: 11343
853.29/856.16 c #Conflicts: 210000 | #Constraints: 12343
853.29/856.16 c #Conflicts: 211000 | #Constraints: 13343
853.29/856.16 c #Conflicts: 212000 | #Constraints: 14343
853.29/856.16 c #Conflicts: 213000 | #Constraints: 15343
853.29/856.16 c #Conflicts: 214000 | #Constraints: 16343
853.29/856.16 c #Conflicts: 215000 | #Constraints: 17343
853.29/856.16 c #Conflicts: 216000 | #Constraints: 18343
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 217000 | #Constraints: 10146
853.29/856.16 c #Conflicts: 218000 | #Constraints: 11146
853.29/856.16 c #Conflicts: 219000 | #Constraints: 12146
853.29/856.16 c #Conflicts: 220000 | #Constraints: 13146
853.29/856.16 c #Conflicts: 221000 | #Constraints: 14146
853.29/856.16 c #Conflicts: 222000 | #Constraints: 15146
853.29/856.16 c #Conflicts: 223000 | #Constraints: 16146
853.29/856.16 c #Conflicts: 224000 | #Constraints: 17146
853.29/856.16 c #Conflicts: 225000 | #Constraints: 18146
853.29/856.16 c #Conflicts: 226000 | #Constraints: 19146
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 227000 | #Constraints: 10742
853.29/856.16 c #Conflicts: 228000 | #Constraints: 11742
853.29/856.16 c #Conflicts: 229000 | #Constraints: 12742
853.29/856.16 c #Conflicts: 230000 | #Constraints: 13742
853.29/856.16 c #Conflicts: 231000 | #Constraints: 14742
853.29/856.16 c #Conflicts: 232000 | #Constraints: 15742
853.29/856.16 c #Conflicts: 233000 | #Constraints: 16742
853.29/856.16 c #Conflicts: 234000 | #Constraints: 17742
853.29/856.16 c #Conflicts: 235000 | #Constraints: 18742
853.29/856.16 c #Conflicts: 236000 | #Constraints: 19742
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 237000 | #Constraints: 11142
853.29/856.16 c #Conflicts: 238000 | #Constraints: 12142
853.29/856.16 c #Conflicts: 239000 | #Constraints: 13142
853.29/856.16 c #Conflicts: 240000 | #Constraints: 14142
853.29/856.16 c #Conflicts: 241000 | #Constraints: 15142
853.29/856.16 c #Conflicts: 242000 | #Constraints: 16142
853.29/856.16 c #Conflicts: 243000 | #Constraints: 17142
853.29/856.16 c #Conflicts: 244000 | #Constraints: 18142
853.29/856.16 c #Conflicts: 245000 | #Constraints: 19142
853.29/856.16 c #Conflicts: 246000 | #Constraints: 20142
853.29/856.16 c INPROCESSING
853.29/856.16 c GARBAGE COLLECT
853.29/856.16 c #Conflicts: 247000 | #Constraints: 11337
853.29/856.16 c #Conflicts: 248000 | #Constraints: 12337
853.29/856.16 c #Conflicts: 249000 | #Constraints: 13337
853.29/856.16 c #Conflicts: 250000 | #Constraints: 14337
1161.45/1165.39 c #Conflicts: 251000 | #Constraints: 15337
1161.45/1165.39 c #Conflicts: 252000 | #Constraints: 16337
1161.45/1165.39 c #Conflicts: 253000 | #Constraints: 17337
1161.45/1165.39 c #Conflicts: 254000 | #Constraints: 18337
1161.45/1165.39 c #Conflicts: 255000 | #Constraints: 19337
1161.45/1165.39 c #Conflicts: 256000 | #Constraints: 20337
1161.45/1165.39 c INPROCESSING
1161.45/1165.39 c GARBAGE COLLECT
1161.45/1165.39 c #Conflicts: 257000 | #Constraints: 11341
1161.45/1165.39 c #Conflicts: 258000 | #Constraints: 12341
1161.45/1165.39 c #Conflicts: 259000 | #Constraints: 13341
1161.45/1165.39 c #Conflicts: 260000 | #Constraints: 14341
1161.45/1165.39 c #Conflicts: 261000 | #Constraints: 15341
1161.45/1165.39 c #Conflicts: 262000 | #Constraints: 16341
1161.45/1165.39 c #Conflicts: 263000 | #Constraints: 17341
1161.45/1165.39 c #Conflicts: 264000 | #Constraints: 18341
1161.45/1165.39 c #Conflicts: 265000 | #Constraints: 19341
1161.45/1165.39 c #Conflicts: 266000 | #Constraints: 20341
1161.45/1165.39 c INPROCESSING
1161.45/1165.39 c GARBAGE COLLECT
1161.45/1165.39 c #Conflicts: 267000 | #Constraints: 11140
1161.45/1165.39 c #Conflicts: 268000 | #Constraints: 12140
1161.45/1165.39 c #Conflicts: 269000 | #Constraints: 13140
1161.45/1165.39 c #Conflicts: 270000 | #Constraints: 14140
1161.45/1165.39 c #Conflicts: 271000 | #Constraints: 15140
1161.45/1165.39 c #Conflicts: 272000 | #Constraints: 16140
1161.45/1165.39 c #Conflicts: 273000 | #Constraints: 17140
1161.45/1165.39 c #Conflicts: 274000 | #Constraints: 18140
1161.45/1165.39 c #Conflicts: 275000 | #Constraints: 19140
1161.45/1165.39 c #Conflicts: 276000 | #Constraints: 20140
1161.45/1165.39 c #Conflicts: 277000 | #Constraints: 21140
1161.45/1165.39 c INPROCESSING
1161.45/1165.39 c GARBAGE COLLECT
1161.45/1165.39 c #Conflicts: 278000 | #Constraints: 11742
1161.45/1165.39 c #Conflicts: 279000 | #Constraints: 12742
1161.45/1165.39 c #Conflicts: 280000 | #Constraints: 13742
1161.45/1165.39 c #Conflicts: 281000 | #Constraints: 14742
1161.45/1165.39 c #Conflicts: 282000 | #Constraints: 15742
1161.45/1165.39 c #Conflicts: 283000 | #Constraints: 16742
1161.45/1165.39 c #Conflicts: 284000 | #Constraints: 17742
1161.45/1165.39 c #Conflicts: 285000 | #Constraints: 18742
1161.45/1165.39 c #Conflicts: 286000 | #Constraints: 19742
1161.45/1165.39 c #Conflicts: 287000 | #Constraints: 20742
1161.45/1165.39 c #Conflicts: 288000 | #Constraints: 21742
1161.45/1165.39 c INPROCESSING
1161.45/1165.39 c GARBAGE COLLECT
1161.45/1165.39 c #Conflicts: 289000 | #Constraints: 12139
1161.45/1165.39 c #Conflicts: 290000 | #Constraints: 13139
1161.45/1165.39 c #Conflicts: 291000 | #Constraints: 14139
1161.45/1165.39 c #Conflicts: 292000 | #Constraints: 15139
1161.45/1165.39 c #Conflicts: 293000 | #Constraints: 16139
1161.45/1165.39 c #Conflicts: 294000 | #Constraints: 17139
1161.45/1165.39 c #Conflicts: 295000 | #Constraints: 18139
1161.45/1165.39 c #Conflicts: 296000 | #Constraints: 19139
1161.45/1165.39 c #Conflicts: 297000 | #Constraints: 20139
1161.45/1165.39 c #Conflicts: 298000 | #Constraints: 21139
1161.45/1165.39 c #Conflicts: 299000 | #Constraints: 22139
1161.45/1165.39 c INPROCESSING
1161.45/1165.39 c GARBAGE COLLECT
1161.45/1165.39 c #Conflicts: 300000 | #Constraints: 12339
1161.45/1165.39 c #Conflicts: 301000 | #Constraints: 13339
1161.45/1165.39 c #Conflicts: 302000 | #Constraints: 14339
1161.45/1165.39 c #Conflicts: 303000 | #Constraints: 15339
1161.45/1165.39 c #Conflicts: 304000 | #Constraints: 16339
1161.45/1165.39 c #Conflicts: 305000 | #Constraints: 17339
1161.45/1165.39 c #Conflicts: 306000 | #Constraints: 18339
1161.45/1165.39 c #Conflicts: 307000 | #Constraints: 19339
1161.45/1165.39 c #Conflicts: 308000 | #Constraints: 20339
1161.45/1165.39 c #Conflicts: 309000 | #Constraints: 21339
1161.45/1165.39 c #Conflicts: 310000 | #Constraints: 22339
1161.45/1165.39 c INPROCESSING
1161.45/1165.39 c GARBAGE COLLECT
1161.45/1165.39 c #Conflicts: 311000 | #Constraints: 12346
1161.45/1165.39 c #Conflicts: 312000 | #Constraints: 13346
1161.45/1165.39 c #Conflicts: 313000 | #Constraints: 14346
1161.45/1165.39 c #Conflicts: 314000 | #Constraints: 15346
1161.45/1165.39 c #Conflicts: 315000 | #Constraints: 16346
1161.45/1165.39 c #Conflicts: 316000 | #Constraints: 17346
1161.45/1165.39 c #Conflicts: 317000 | #Constraints: 18346
1161.45/1165.39 c #Conflicts: 318000 | #Constraints: 19346
1161.45/1165.39 c #Conflicts: 319000 | #Constraints: 20346
1161.45/1165.39 c #Conflicts: 320000 | #Constraints: 21346
1161.45/1165.39 c #Conflicts: 321000 | #Constraints: 22346
1161.45/1165.39 c INPROCESSING
1161.45/1165.39 c GARBAGE COLLECT
1161.45/1165.39 c #Conflicts: 322000 | #Constraints: 12143
1161.45/1165.39 c #Conflicts: 323000 | #Constraints: 13143
1161.45/1165.39 c #Conflicts: 324000 | #Constraints: 14143
1514.59/1519.62 c #Conflicts: 325000 | #Constraints: 15143
1514.59/1519.62 c #Conflicts: 326000 | #Constraints: 16143
1514.59/1519.62 c #Conflicts: 327000 | #Constraints: 17143
1514.59/1519.62 c #Conflicts: 328000 | #Constraints: 18143
1514.59/1519.62 c #Conflicts: 329000 | #Constraints: 19143
1514.59/1519.62 c #Conflicts: 330000 | #Constraints: 20143
1514.59/1519.62 c #Conflicts: 331000 | #Constraints: 21143
1514.59/1519.62 c #Conflicts: 332000 | #Constraints: 22143
1514.59/1519.62 c #Conflicts: 333000 | #Constraints: 23143
1514.59/1519.62 c INPROCESSING
1514.59/1519.62 c GARBAGE COLLECT
1514.59/1519.62 c #Conflicts: 334000 | #Constraints: 12743
1514.59/1519.62 c #Conflicts: 335000 | #Constraints: 13743
1514.59/1519.62 c #Conflicts: 336000 | #Constraints: 14743
1514.59/1519.62 c #Conflicts: 337000 | #Constraints: 15743
1514.59/1519.62 c #Conflicts: 338000 | #Constraints: 16743
1514.59/1519.62 c #Conflicts: 339000 | #Constraints: 17743
1514.59/1519.62 c #Conflicts: 340000 | #Constraints: 18743
1514.59/1519.62 c #Conflicts: 341000 | #Constraints: 19743
1514.59/1519.62 c #Conflicts: 342000 | #Constraints: 20743
1514.59/1519.62 c #Conflicts: 343000 | #Constraints: 21743
1514.59/1519.62 c #Conflicts: 344000 | #Constraints: 22743
1514.59/1519.62 c #Conflicts: 345000 | #Constraints: 23743
1514.59/1519.62 c INPROCESSING
1514.59/1519.62 c GARBAGE COLLECT
1514.59/1519.62 c #Conflicts: 346000 | #Constraints: 13144
1514.59/1519.62 c #Conflicts: 347000 | #Constraints: 14144
1514.59/1519.62 c #Conflicts: 348000 | #Constraints: 15144
1514.59/1519.62 c #Conflicts: 349000 | #Constraints: 16144
1514.59/1519.62 c #Conflicts: 350000 | #Constraints: 17144
1514.59/1519.62 c #Conflicts: 351000 | #Constraints: 18144
1514.59/1519.62 c #Conflicts: 352000 | #Constraints: 19144
1514.59/1519.62 c #Conflicts: 353000 | #Constraints: 20144
1514.59/1519.62 c #Conflicts: 354000 | #Constraints: 21144
1514.59/1519.62 c #Conflicts: 355000 | #Constraints: 22144
1514.59/1519.62 c #Conflicts: 356000 | #Constraints: 23144
1514.59/1519.62 c #Conflicts: 357000 | #Constraints: 24144
1514.59/1519.62 c INPROCESSING
1514.59/1519.62 c GARBAGE COLLECT
1514.59/1519.62 c #Conflicts: 358000 | #Constraints: 13341
1514.59/1519.62 c #Conflicts: 359000 | #Constraints: 14341
1514.59/1519.62 c #Conflicts: 360000 | #Constraints: 15341
1514.59/1519.62 c #Conflicts: 361000 | #Constraints: 16341
1514.59/1519.62 c #Conflicts: 362000 | #Constraints: 17341
1514.59/1519.62 c #Conflicts: 363000 | #Constraints: 18341
1514.59/1519.62 c #Conflicts: 364000 | #Constraints: 19341
1514.59/1519.62 c #Conflicts: 365000 | #Constraints: 20341
1514.59/1519.62 c #Conflicts: 366000 | #Constraints: 21341
1514.59/1519.62 c #Conflicts: 367000 | #Constraints: 22341
1514.59/1519.62 c #Conflicts: 368000 | #Constraints: 23341
1514.59/1519.62 c #Conflicts: 369000 | #Constraints: 24341
1514.59/1519.62 c INPROCESSING
1514.59/1519.62 c GARBAGE COLLECT
1514.59/1519.62 c #Conflicts: 370000 | #Constraints: 13342
1514.59/1519.62 c #Conflicts: 371000 | #Constraints: 14342
1514.59/1519.62 c #Conflicts: 372000 | #Constraints: 15342
1514.59/1519.62 c #Conflicts: 373000 | #Constraints: 16342
1514.59/1519.62 c #Conflicts: 374000 | #Constraints: 17342
1514.59/1519.62 c #Conflicts: 375000 | #Constraints: 18342
1514.59/1519.62 c #Conflicts: 376000 | #Constraints: 19342
1514.59/1519.62 c #Conflicts: 377000 | #Constraints: 20342
1514.59/1519.62 c #Conflicts: 378000 | #Constraints: 21342
1514.59/1519.62 c #Conflicts: 379000 | #Constraints: 22342
1514.59/1519.62 c #Conflicts: 380000 | #Constraints: 23342
1514.59/1519.62 c #Conflicts: 381000 | #Constraints: 24342
1514.59/1519.62 c INPROCESSING
1514.59/1519.62 c GARBAGE COLLECT
1514.59/1519.62 c #Conflicts: 382000 | #Constraints: 13144
1514.59/1519.62 c #Conflicts: 383000 | #Constraints: 14144
1514.59/1519.62 c #Conflicts: 384000 | #Constraints: 15144
1514.59/1519.62 c #Conflicts: 385000 | #Constraints: 16144
1514.59/1519.62 c #Conflicts: 386000 | #Constraints: 17144
1514.59/1519.62 c #Conflicts: 387000 | #Constraints: 18144
1514.59/1519.62 c #Conflicts: 388000 | #Constraints: 19144
1514.59/1519.62 c #Conflicts: 389000 | #Constraints: 20144
1514.59/1519.62 c #Conflicts: 390000 | #Constraints: 21144
1514.59/1519.62 c #Conflicts: 391000 | #Constraints: 22144
1514.59/1519.62 c #Conflicts: 392000 | #Constraints: 23144
1514.59/1519.62 c #Conflicts: 393000 | #Constraints: 24144
1514.59/1519.62 c #Conflicts: 394000 | #Constraints: 25144
1514.59/1519.62 c INPROCESSING
1514.59/1519.62 c GARBAGE COLLECT
1514.59/1519.62 c #Conflicts: 395000 | #Constraints: 13741
1514.59/1519.62 c #Conflicts: 396000 | #Constraints: 14741
1514.59/1519.62 c #Conflicts: 397000 | #Constraints: 15741
1514.59/1519.62 c #Conflicts: 398000 | #Constraints: 16741
1514.59/1519.62 c #Conflicts: 399000 | #Constraints: 17741
1948.98/1955.49 c #Conflicts: 400000 | #Constraints: 18741
1948.98/1955.49 c #Conflicts: 401000 | #Constraints: 19741
1948.98/1955.49 c #Conflicts: 402000 | #Constraints: 20741
1948.98/1955.49 c #Conflicts: 403000 | #Constraints: 21741
1948.98/1955.49 c #Conflicts: 404000 | #Constraints: 22741
1948.98/1955.49 c #Conflicts: 405000 | #Constraints: 23741
1948.98/1955.49 c #Conflicts: 406000 | #Constraints: 24741
1948.98/1955.49 c #Conflicts: 407000 | #Constraints: 25741
1948.98/1955.49 c INPROCESSING
1948.98/1955.49 c GARBAGE COLLECT
1948.98/1955.49 c #Conflicts: 408000 | #Constraints: 14141
1948.98/1955.49 c #Conflicts: 409000 | #Constraints: 15141
1948.98/1955.49 c #Conflicts: 410000 | #Constraints: 16141
1948.98/1955.49 c #Conflicts: 411000 | #Constraints: 17141
1948.98/1955.49 c #Conflicts: 412000 | #Constraints: 18141
1948.98/1955.49 c #Conflicts: 413000 | #Constraints: 19141
1948.98/1955.49 c #Conflicts: 414000 | #Constraints: 20141
1948.98/1955.49 c #Conflicts: 415000 | #Constraints: 21141
1948.98/1955.49 c #Conflicts: 416000 | #Constraints: 22141
1948.98/1955.49 c #Conflicts: 417000 | #Constraints: 23141
1948.98/1955.49 c #Conflicts: 418000 | #Constraints: 24141
1948.98/1955.49 c #Conflicts: 419000 | #Constraints: 25141
1948.98/1955.49 c #Conflicts: 420000 | #Constraints: 26141
1948.98/1955.49 c INPROCESSING
1948.98/1955.49 c GARBAGE COLLECT
1948.98/1955.49 c #Conflicts: 421000 | #Constraints: 14347
1948.98/1955.49 c #Conflicts: 422000 | #Constraints: 15347
1948.98/1955.49 c #Conflicts: 423000 | #Constraints: 16347
1948.98/1955.49 c #Conflicts: 424000 | #Constraints: 17347
1948.98/1955.49 c #Conflicts: 425000 | #Constraints: 18347
1948.98/1955.49 c #Conflicts: 426000 | #Constraints: 19347
1948.98/1955.49 c #Conflicts: 427000 | #Constraints: 20347
1948.98/1955.49 c #Conflicts: 428000 | #Constraints: 21347
1948.98/1955.49 c #Conflicts: 429000 | #Constraints: 22347
1948.98/1955.49 c #Conflicts: 430000 | #Constraints: 23347
1948.98/1955.49 c #Conflicts: 431000 | #Constraints: 24347
1948.98/1955.49 c #Conflicts: 432000 | #Constraints: 25347
1948.98/1955.49 c #Conflicts: 433000 | #Constraints: 26347
1948.98/1955.49 c INPROCESSING
1948.98/1955.49 c GARBAGE COLLECT
1948.98/1955.49 c #Conflicts: 434000 | #Constraints: 14345
1948.98/1955.49 c #Conflicts: 435000 | #Constraints: 15345
1948.98/1955.49 c #Conflicts: 436000 | #Constraints: 16345
1948.98/1955.49 c #Conflicts: 437000 | #Constraints: 17345
1948.98/1955.49 c #Conflicts: 438000 | #Constraints: 18345
1948.98/1955.49 c #Conflicts: 439000 | #Constraints: 19345
1948.98/1955.49 c #Conflicts: 440000 | #Constraints: 20345
1948.98/1955.49 c #Conflicts: 441000 | #Constraints: 21345
1948.98/1955.49 c #Conflicts: 442000 | #Constraints: 22345
1948.98/1955.49 c #Conflicts: 443000 | #Constraints: 23345
1948.98/1955.49 c #Conflicts: 444000 | #Constraints: 24345
1948.98/1955.49 c #Conflicts: 445000 | #Constraints: 25345
1948.98/1955.49 c #Conflicts: 446000 | #Constraints: 26345
1948.98/1955.49 c INPROCESSING
1948.98/1955.49 c GARBAGE COLLECT
1948.98/1955.49 c #Conflicts: 447000 | #Constraints: 14143
1948.98/1955.49 c #Conflicts: 448000 | #Constraints: 15143
1948.98/1955.49 c #Conflicts: 449000 | #Constraints: 16143
1948.98/1955.49 c #Conflicts: 450000 | #Constraints: 17143
1948.98/1955.49 c #Conflicts: 451000 | #Constraints: 18143
1948.98/1955.49 c #Conflicts: 452000 | #Constraints: 19143
1948.98/1955.49 c #Conflicts: 453000 | #Constraints: 20143
1948.98/1955.49 c #Conflicts: 454000 | #Constraints: 21143
1948.98/1955.49 c #Conflicts: 455000 | #Constraints: 22143
1948.98/1955.49 c #Conflicts: 456000 | #Constraints: 23143
1948.98/1955.49 c #Conflicts: 457000 | #Constraints: 24143
1948.98/1955.49 c #Conflicts: 458000 | #Constraints: 25143
1948.98/1955.49 c #Conflicts: 459000 | #Constraints: 26143
1948.98/1955.49 c #Conflicts: 460000 | #Constraints: 27143
1948.98/1955.49 c INPROCESSING
1948.98/1955.49 c GARBAGE COLLECT
1948.98/1955.49 c #Conflicts: 461000 | #Constraints: 14751
1948.98/1955.49 c #Conflicts: 462000 | #Constraints: 15751
1948.98/1955.49 c #Conflicts: 463000 | #Constraints: 16751
1948.98/1955.49 c #Conflicts: 464000 | #Constraints: 17751
1948.98/1955.49 c #Conflicts: 465000 | #Constraints: 18751
1948.98/1955.49 c #Conflicts: 466000 | #Constraints: 19751
1948.98/1955.49 c #Conflicts: 467000 | #Constraints: 20751
1948.98/1955.49 c #Conflicts: 468000 | #Constraints: 21751
1948.98/1955.49 c #Conflicts: 469000 | #Constraints: 22751
1948.98/1955.49 c #Conflicts: 470000 | #Constraints: 23751
1948.98/1955.49 c #Conflicts: 471000 | #Constraints: 24751
1948.98/1955.49 c #Conflicts: 472000 | #Constraints: 25751
1948.98/1955.49 c #Conflicts: 473000 | #Constraints: 26751
1948.98/1955.49 c #Conflicts: 474000 | #Constraints: 27751
2500.26/2508.56 c INPROCESSING
2500.26/2508.56 c GARBAGE COLLECT
2500.26/2508.56 c #Conflicts: 475000 | #Constraints: 15145
2500.26/2508.56 c #Conflicts: 476000 | #Constraints: 16145
2500.26/2508.56 c #Conflicts: 477000 | #Constraints: 17145
2500.26/2508.56 c #Conflicts: 478000 | #Constraints: 18145
2500.26/2508.56 c #Conflicts: 479000 | #Constraints: 19145
2500.26/2508.56 c #Conflicts: 480000 | #Constraints: 20145
2500.26/2508.56 c #Conflicts: 481000 | #Constraints: 21145
2500.26/2508.56 c #Conflicts: 482000 | #Constraints: 22145
2500.26/2508.56 c #Conflicts: 483000 | #Constraints: 23145
2500.26/2508.56 c #Conflicts: 484000 | #Constraints: 24145
2500.26/2508.56 c #Conflicts: 485000 | #Constraints: 25145
2500.26/2508.56 c #Conflicts: 486000 | #Constraints: 26145
2500.26/2508.56 c #Conflicts: 487000 | #Constraints: 27145
2500.26/2508.56 c #Conflicts: 488000 | #Constraints: 28145
2500.26/2508.56 c INPROCESSING
2500.26/2508.56 c GARBAGE COLLECT
2500.26/2508.56 c #Conflicts: 489000 | #Constraints: 15347
2500.26/2508.56 c #Conflicts: 490000 | #Constraints: 16347
2500.26/2508.56 c #Conflicts: 491000 | #Constraints: 17347
2500.26/2508.56 c #Conflicts: 492000 | #Constraints: 18347
2500.26/2508.56 c #Conflicts: 493000 | #Constraints: 19347
2500.26/2508.56 c #Conflicts: 494000 | #Constraints: 20347
2500.26/2508.56 c #Conflicts: 495000 | #Constraints: 21347
2500.26/2508.56 c #Conflicts: 496000 | #Constraints: 22347
2500.26/2508.56 c #Conflicts: 497000 | #Constraints: 23347
2500.26/2508.56 c #Conflicts: 498000 | #Constraints: 24347
2500.26/2508.56 c #Conflicts: 499000 | #Constraints: 25347
2500.26/2508.56 c #Conflicts: 500000 | #Constraints: 26347
2500.26/2508.56 c #Conflicts: 501000 | #Constraints: 27347
2500.26/2508.56 c #Conflicts: 502000 | #Constraints: 28347
2500.26/2508.56 c INPROCESSING
2500.26/2508.56 c GARBAGE COLLECT
2500.26/2508.56 c #Conflicts: 503000 | #Constraints: 15351
2500.26/2508.56 c #Conflicts: 504000 | #Constraints: 16351
2500.26/2508.56 c #Conflicts: 505000 | #Constraints: 17351
2500.26/2508.56 c #Conflicts: 506000 | #Constraints: 18351
2500.26/2508.56 c #Conflicts: 507000 | #Constraints: 19351
2500.26/2508.56 c #Conflicts: 508000 | #Constraints: 20351
2500.26/2508.56 c #Conflicts: 509000 | #Constraints: 21351
2500.26/2508.56 c #Conflicts: 510000 | #Constraints: 22351
2500.26/2508.56 c #Conflicts: 511000 | #Constraints: 23351
2500.26/2508.56 c #Conflicts: 512000 | #Constraints: 24351
2500.26/2508.56 c #Conflicts: 513000 | #Constraints: 25351
2500.26/2508.56 c #Conflicts: 514000 | #Constraints: 26351
2500.26/2508.56 c #Conflicts: 515000 | #Constraints: 27351
2500.26/2508.56 c #Conflicts: 516000 | #Constraints: 28351
2500.26/2508.56 c INPROCESSING
2500.26/2508.56 c GARBAGE COLLECT
2500.26/2508.56 c #Conflicts: 517000 | #Constraints: 15152
2500.26/2508.56 c #Conflicts: 518000 | #Constraints: 16152
2500.26/2508.56 c #Conflicts: 519000 | #Constraints: 17152
2500.26/2508.56 c #Conflicts: 520000 | #Constraints: 18152
2500.26/2508.56 c #Conflicts: 521000 | #Constraints: 19152
2500.26/2508.56 c #Conflicts: 522000 | #Constraints: 20152
2500.26/2508.56 c #Conflicts: 523000 | #Constraints: 21152
2500.26/2508.56 c #Conflicts: 524000 | #Constraints: 22152
2500.26/2508.56 c #Conflicts: 525000 | #Constraints: 23152
2500.26/2508.56 c #Conflicts: 526000 | #Constraints: 24152
2500.26/2508.56 c #Conflicts: 527000 | #Constraints: 25152
2500.26/2508.56 c #Conflicts: 528000 | #Constraints: 26152
2500.26/2508.56 c #Conflicts: 529000 | #Constraints: 27152
2500.26/2508.56 c #Conflicts: 530000 | #Constraints: 28152
2500.26/2508.56 c #Conflicts: 531000 | #Constraints: 29152
2500.26/2508.56 c INPROCESSING
2500.26/2508.56 c GARBAGE COLLECT
2500.26/2508.56 c #Conflicts: 532000 | #Constraints: 15749
2500.26/2508.56 c #Conflicts: 533000 | #Constraints: 16749
2500.26/2508.56 c #Conflicts: 534000 | #Constraints: 17749
2500.26/2508.56 c #Conflicts: 535000 | #Constraints: 18749
2500.26/2508.56 c #Conflicts: 536000 | #Constraints: 19749
2500.26/2508.56 c #Conflicts: 537000 | #Constraints: 20749
2500.26/2508.56 c #Conflicts: 538000 | #Constraints: 21749
2500.26/2508.56 c #Conflicts: 539000 | #Constraints: 22749
2500.26/2508.56 c #Conflicts: 540000 | #Constraints: 23749
2500.26/2508.56 c #Conflicts: 541000 | #Constraints: 24749
2500.26/2508.56 c #Conflicts: 542000 | #Constraints: 25749
2500.26/2508.56 c #Conflicts: 543000 | #Constraints: 26749
2500.26/2508.56 c #Conflicts: 544000 | #Constraints: 27749
2500.26/2508.56 c #Conflicts: 545000 | #Constraints: 28749
2500.26/2508.56 c #Conflicts: 546000 | #Constraints: 29749
2500.26/2508.56 c INPROCESSING
2500.26/2508.56 c GARBAGE COLLECT
2500.26/2508.56 c #Conflicts: 547000 | #Constraints: 16148
2500.26/2508.56 c #Conflicts: 548000 | #Constraints: 17148
2500.26/2508.56 c #Conflicts: 549000 | #Constraints: 18148
3165.54/3176.08 c #Conflicts: 550000 | #Constraints: 19148
3165.54/3176.08 c #Conflicts: 551000 | #Constraints: 20148
3165.54/3176.08 c #Conflicts: 552000 | #Constraints: 21148
3165.54/3176.08 c #Conflicts: 553000 | #Constraints: 22148
3165.54/3176.08 c #Conflicts: 554000 | #Constraints: 23148
3165.54/3176.08 c #Conflicts: 555000 | #Constraints: 24148
3165.54/3176.08 c #Conflicts: 556000 | #Constraints: 25148
3165.54/3176.08 c #Conflicts: 557000 | #Constraints: 26148
3165.54/3176.08 c #Conflicts: 558000 | #Constraints: 27148
3165.54/3176.08 c #Conflicts: 559000 | #Constraints: 28148
3165.54/3176.08 c #Conflicts: 560000 | #Constraints: 29148
3165.54/3176.08 c #Conflicts: 561000 | #Constraints: 30148
3165.54/3176.08 c INPROCESSING
3165.54/3176.08 c GARBAGE COLLECT
3165.54/3176.08 c #Conflicts: 562000 | #Constraints: 16343
3165.54/3176.08 c #Conflicts: 563000 | #Constraints: 17343
3165.54/3176.08 c #Conflicts: 564000 | #Constraints: 18343
3165.54/3176.08 c #Conflicts: 565000 | #Constraints: 19343
3165.54/3176.08 c #Conflicts: 566000 | #Constraints: 20343
3165.54/3176.08 c #Conflicts: 567000 | #Constraints: 21343
3165.54/3176.08 c #Conflicts: 568000 | #Constraints: 22343
3165.54/3176.08 c #Conflicts: 569000 | #Constraints: 23343
3165.54/3176.08 c #Conflicts: 570000 | #Constraints: 24343
3165.54/3176.08 c #Conflicts: 571000 | #Constraints: 25343
3165.54/3176.08 c #Conflicts: 572000 | #Constraints: 26343
3165.54/3176.08 c #Conflicts: 573000 | #Constraints: 27343
3165.54/3176.08 c #Conflicts: 574000 | #Constraints: 28343
3165.54/3176.08 c #Conflicts: 575000 | #Constraints: 29343
3165.54/3176.08 c #Conflicts: 576000 | #Constraints: 30343
3165.54/3176.08 c INPROCESSING
3165.54/3176.08 c GARBAGE COLLECT
3165.54/3176.08 c #Conflicts: 577000 | #Constraints: 16347
3165.54/3176.08 c #Conflicts: 578000 | #Constraints: 17347
3165.54/3176.08 c #Conflicts: 579000 | #Constraints: 18347
3165.54/3176.08 c #Conflicts: 580000 | #Constraints: 19347
3165.54/3176.08 c #Conflicts: 581000 | #Constraints: 20347
3165.54/3176.08 c #Conflicts: 582000 | #Constraints: 21347
3165.54/3176.08 c #Conflicts: 583000 | #Constraints: 22347
3165.54/3176.08 c #Conflicts: 584000 | #Constraints: 23347
3165.54/3176.08 c #Conflicts: 585000 | #Constraints: 24347
3165.54/3176.08 c #Conflicts: 586000 | #Constraints: 25347
3165.54/3176.08 c #Conflicts: 587000 | #Constraints: 26347
3165.54/3176.08 c #Conflicts: 588000 | #Constraints: 27347
3165.54/3176.08 c #Conflicts: 589000 | #Constraints: 28347
3165.54/3176.08 c #Conflicts: 590000 | #Constraints: 29347
3165.54/3176.08 c #Conflicts: 591000 | #Constraints: 30347
3165.54/3176.08 c INPROCESSING
3165.54/3176.08 c GARBAGE COLLECT
3165.54/3176.08 c #Conflicts: 592000 | #Constraints: 16145
3165.54/3176.08 c #Conflicts: 593000 | #Constraints: 17145
3165.54/3176.08 c #Conflicts: 594000 | #Constraints: 18145
3165.54/3176.08 c #Conflicts: 595000 | #Constraints: 19145
3165.54/3176.08 c #Conflicts: 596000 | #Constraints: 20145
3165.54/3176.08 c #Conflicts: 597000 | #Constraints: 21145
3165.54/3176.08 c #Conflicts: 598000 | #Constraints: 22145
3165.54/3176.08 c #Conflicts: 599000 | #Constraints: 23145
3165.54/3176.08 c #Conflicts: 600000 | #Constraints: 24145
3165.54/3176.08 c #Conflicts: 601000 | #Constraints: 25145
3165.54/3176.08 c #Conflicts: 602000 | #Constraints: 26145
3165.54/3176.08 c #Conflicts: 603000 | #Constraints: 27145
3165.54/3176.08 c #Conflicts: 604000 | #Constraints: 28145
3165.54/3176.08 c #Conflicts: 605000 | #Constraints: 29145
3165.54/3176.08 c #Conflicts: 606000 | #Constraints: 30145
3165.54/3176.08 c #Conflicts: 607000 | #Constraints: 31145
3165.54/3176.08 c INPROCESSING
3165.54/3176.08 c GARBAGE COLLECT
3165.54/3176.08 c #Conflicts: 608000 | #Constraints: 16748
3165.54/3176.08 c #Conflicts: 609000 | #Constraints: 17748
3165.54/3176.08 c #Conflicts: 610000 | #Constraints: 18748
3165.54/3176.08 c #Conflicts: 611000 | #Constraints: 19748
3165.54/3176.08 c #Conflicts: 612000 | #Constraints: 20748
3165.54/3176.08 c #Conflicts: 613000 | #Constraints: 21748
3165.54/3176.08 c #Conflicts: 614000 | #Constraints: 22748
3165.54/3176.08 c #Conflicts: 615000 | #Constraints: 23748
3165.54/3176.08 c #Conflicts: 616000 | #Constraints: 24748
3165.54/3176.08 c #Conflicts: 617000 | #Constraints: 25748
3165.54/3176.08 c #Conflicts: 618000 | #Constraints: 26748
3165.54/3176.08 c #Conflicts: 619000 | #Constraints: 27748
3165.54/3176.08 c #Conflicts: 620000 | #Constraints: 28748
3165.54/3176.08 c #Conflicts: 621000 | #Constraints: 29748
3165.54/3176.08 c #Conflicts: 622000 | #Constraints: 30748
3165.54/3176.08 c #Conflicts: 623000 | #Constraints: 31748
3165.54/3176.08 c INPROCESSING
3165.54/3176.08 c GARBAGE COLLECT
3165.54/3176.08 c #Conflicts: 624000 | #Constraints: 17142
3165.54/3176.08 c #Conflicts: 625000 | #Constraints: 18142
3600.08/3612.00 c #Conflicts: 626000 | #Constraints: 19142
3600.08/3612.00 c #Conflicts: 627000 | #Constraints: 20142
3600.08/3612.00 c #Conflicts: 628000 | #Constraints: 21142
3600.08/3612.00 c #Conflicts: 629000 | #Constraints: 22142
3600.08/3612.00 c #Conflicts: 630000 | #Constraints: 23142
3600.08/3612.00 c #Conflicts: 631000 | #Constraints: 24142
3600.08/3612.00 c #Conflicts: 632000 | #Constraints: 25142
3600.08/3612.00 c #Conflicts: 633000 | #Constraints: 26142
3600.08/3612.00 c #Conflicts: 634000 | #Constraints: 27142
3600.08/3612.00 c #Conflicts: 635000 | #Constraints: 28142
3600.08/3612.00 c #Conflicts: 636000 | #Constraints: 29142
3600.08/3612.00 c #Conflicts: 637000 | #Constraints: 30142
3600.08/3612.00 c #Conflicts: 638000 | #Constraints: 31142
3600.08/3612.00 c #Conflicts: 639000 | #Constraints: 32142
3600.08/3612.00 c INPROCESSING
3600.08/3612.00 c GARBAGE COLLECT
3600.08/3612.00 c #Conflicts: 640000 | #Constraints: 17340
3600.08/3612.00 c #Conflicts: 641000 | #Constraints: 18340
3600.08/3612.00 c #Conflicts: 642000 | #Constraints: 19340
3600.08/3612.00 c #Conflicts: 643000 | #Constraints: 20340
3600.08/3612.00 c #Conflicts: 644000 | #Constraints: 21340
3600.08/3612.00 c #Conflicts: 645000 | #Constraints: 22340
3600.08/3612.00 c #Conflicts: 646000 | #Constraints: 23340
3600.08/3612.00 c #Conflicts: 647000 | #Constraints: 24340
3600.08/3612.00 c #Conflicts: 648000 | #Constraints: 25340
3600.08/3612.00 c #Conflicts: 649000 | #Constraints: 26340
3600.08/3612.00 c #Conflicts: 650000 | #Constraints: 27340
3600.08/3612.00 c #Conflicts: 651000 | #Constraints: 28340
3600.08/3612.00 c #Conflicts: 652000 | #Constraints: 29340
3600.08/3612.00 c #Conflicts: 653000 | #Constraints: 30340
3600.08/3612.00 c #Conflicts: 654000 | #Constraints: 31340
3600.08/3612.00 c #Conflicts: 655000 | #Constraints: 32340
3600.08/3612.00 c INPROCESSING
3600.08/3612.00 c GARBAGE COLLECT
3600.08/3612.00 c #Conflicts: 656000 | #Constraints: 17343
3600.08/3612.00 c #Conflicts: 657000 | #Constraints: 18343
3600.08/3612.00 c #Conflicts: 658000 | #Constraints: 19343
3600.08/3612.00 c #Conflicts: 659000 | #Constraints: 20343
3600.08/3612.00 c #Conflicts: 660000 | #Constraints: 21343
3600.08/3612.00 c #Conflicts: 661000 | #Constraints: 22343
3600.08/3612.00 c #Conflicts: 662000 | #Constraints: 23343
3600.08/3612.00 c #Conflicts: 663000 | #Constraints: 24343
3600.08/3612.00 c #Conflicts: 664000 | #Constraints: 25343
3600.08/3612.00 c #Conflicts: 665000 | #Constraints: 26343
3600.08/3612.00 c #Conflicts: 666000 | #Constraints: 27343
3600.08/3612.00 c #Conflicts: 667000 | #Constraints: 28343
3600.08/3612.00 c #Conflicts: 668000 | #Constraints: 29343
3600.08/3612.00 c #Conflicts: 669000 | #Constraints: 30343
3600.08/3612.00 c #Conflicts: 670000 | #Constraints: 31343
3600.08/3612.00 c Program interrupted by user.
3600.08/3612.00 c cpu time 3589.96 s
3600.08/3612.00 c deterministic time 429554955905 4.30e+11
3600.08/3612.00 c optimization time 133.985 s
3600.08/3612.00 c total solve time 3157.11 s
3600.08/3612.00 c core-guided solve time 3157.11 s
3600.08/3612.00 c propagation time 3023.3 s
3600.08/3612.00 c conflict analysis time 229.795 s
3600.08/3612.00 c propagations 50066349
3600.08/3612.00 c resolve steps 3195482
3600.08/3612.00 c decisions 5822068
3600.08/3612.00 c conflicts 670900
3600.08/3612.00 c restarts 1454
3600.08/3612.00 c inprocessing phases 72
3600.08/3612.00 c input clauses 50
3600.08/3612.00 c input cardinalities 77
3600.08/3612.00 c input general constraints 471
3600.08/3612.00 c input average constraint length 68.27
3600.08/3612.00 c input average constraint degree 34.26
3600.08/3612.00 c learned clauses 81151
3600.08/3612.00 c learned cardinalities 44
3600.08/3612.00 c learned general constraints 589719
3600.08/3612.00 c learned average constraint length 322.48
3600.08/3612.00 c learned average constraint degree 217625.89
3600.08/3612.00 c watched constraints 521325
3600.08/3612.00 c counting constraints 68865
3600.08/3612.00 c gcd simplifications 66870
3600.08/3612.00 c detected cardinalities 34
3600.08/3612.00 c weakened non-implied lits 11257688
3600.08/3612.00 c weakened non-implying lits 39313
3600.08/3612.00 c original variables 473
3600.08/3612.00 c clausal propagations 1056855
3600.08/3612.00 c cardinality propagations 16164
3600.08/3612.00 c watched propagations 30141237
3600.08/3612.00 c counting propagations 18491155
3600.08/3612.00 c watch lookups 52808492142
3600.08/3612.00 c watch backjump lookups 49614944958
3600.08/3612.00 c watch checks 320073675579
3600.08/3612.00 c propagation checks 6295288497
3600.08/3612.00 c constraint additions 650107341
3600.08/3612.00 c trail pops 56558970
3600.08/3612.00 c formula constraints 472
3600.08/3612.00 c learned constraints 670914
3600.08/3612.00 c bound constraints 77
3600.08/3612.00 c core-guided constraints 49
3600.08/3612.00 c encountered formula constraints 1990229
3600.08/3612.00 c encountered learned constraints 1821950
3600.08/3612.00 c encountered bound constraints 524
3600.08/3612.00 c encountered core-guided constraints 53679
3600.08/3612.00 c LP total time 0 s
3600.08/3612.00 c LP solve time 0 s
3600.08/3612.00 c LP constraints added 0
3600.08/3612.00 c LP constraints removed 0
3600.08/3612.00 c LP pivots internal 0
3600.08/3612.00 c LP pivots root 0
3600.08/3612.00 c LP calls 0
3600.08/3612.00 c LP optimalities 0
3600.08/3612.00 c LP no pivot count 0
3600.08/3612.00 c LP infeasibilities 0
3600.08/3612.00 c LP valid Farkas constraints 0
3600.08/3612.00 c LP learned Farkas constraints 0
3600.08/3612.00 c LP basis resets 0
3600.08/3612.00 c LP cycling count 0
3600.08/3612.00 c LP singular count 0
3600.08/3612.00 c LP no primal count 0
3600.08/3612.00 c LP no farkas count 0
3600.08/3612.00 c LP other issue count 0
3600.08/3612.00 c LP Gomory cuts 0
3600.08/3612.00 c LP learned cuts 0
3600.08/3612.00 c LP deleted cuts 0
3600.08/3612.00 c LP encountered Gomory constraints 0
3600.08/3612.00 c LP encountered Farkas constraints 0
3600.08/3612.00 c LP encountered learned Farkas constraints 0
3600.08/3612.00 c CG auxiliary variables introduced 49
3600.08/3612.00 c CG solutions found 0
3600.08/3612.00 c CG cores constructed 76
3600.08/3612.00 c CG core cardinality constraints returned 0
3600.08/3612.00 c CG unit cores 0
3600.08/3612.00 c CG single cores 76
3600.08/3612.00 c CG blocks removed during cardinality reduction 0
3600.08/3612.00 c CG first core best 0
3600.08/3612.00 c CG decision core best 0
3600.08/3612.00 c CG core reduction tie 0
3600.08/3612.00 c CG core degree average 1.00
3600.08/3612.00 c CG core slack average 2.93
3600.08/3612.00 c CG exhausted 0
3600.08/3612.00 c CG exhaust time 0 s
3600.08/3612.00 c CG trimmed 4
3600.08/3612.00 c CG trim time 0.00039 s
3600.08/3612.00 c CG minimized 0
3600.08/3612.00 c CG minimize time 0 s
3600.08/3612.00 c CG am1 prop time 0.000793 s
3600.08/3612.00 c CG # am1s reformulated 49
3600.08/3612.00 c CG lower bound derived from am1s 49
3600.08/3612.00 c CG # clausal cores 19
3600.08/3612.00 c CG # cardinality cores 0
3600.08/3612.00 c CG # pb cores 57
3600.08/3612.00 c CG # pb reforms 0
3600.08/3612.00 c CG # cores discarded because of pb reform 0
3600.08/3612.00 d LOWERBOUND 125
3600.08/3612.00 d NCORES 76
3600.08/3612.00 d NPBCORES 57
3600.08/3612.00 d NPBREFORM 0
3600.08/3612.00 d NTRIMMED 4
3600.08/3612.00 d NEXHAUSTED 0
3600.08/3612.00 d NAM1S 49
3600.08/3612.00 d AM1LB 49
3600.08/3612.00 c [Papilo Statistics]
3600.08/3612.00 c prepro time 0.0014728s
3600.08/3612.00 c # tsx applied 16
3600.08/3612.00 c # tsx conflicts 0
3600.08/3612.00 c # bound changes 0
3600.08/3612.00 c # side changes 0
3600.08/3612.00 c # coef changes 31
3600.08/3612.00 c # rounds 3
3600.08/3612.00 c # deted vars 0
3600.08/3612.00 c # deted constrs 0
3600.08/3612.00 c # consecutive rounds of only bound changes 0
3600.08/3612.00 s UNKNOWN
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: 63968 MiB (62030 MiB free)
memory of node 1: 64473 MiB (61471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435454-1721092424/watcher-4435454-1721092424 -o /tmp/evaluation-result-4435454-1721092424/solver-4435454-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831065 --watchdog 3760 mixed-bag HOME/instance-4435454-1721092424.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=831113, runsolver pid=831107
[startup+0.100535 s]*
/proc/loadavg: 3.95 4.19 4.19 6/259 831130
/proc/meminfo: memFree=126423820/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=93312 memory=26188 CPUtime=0.09 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 3065 0 2 0 9 0 0 0 20 0 1 0 161406212 95551488 6547 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 23328 6547 4000 3002 0 7079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93312 KiB
Current children cumulated memory: 26188 KiB
[startup+0.206536 s]*
/proc/loadavg: 3.95 4.19 4.19 6/259 831130
/proc/meminfo: memFree=126409704/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=93428 memory=26348 CPUtime=0.19 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 3115 0 2 0 19 0 0 0 20 0 1 0 161406212 95670272 6587 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 23357 6587 4000 3002 0 7108 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93428 KiB
Current children cumulated memory: 26348 KiB
[startup+0.305799 s]*
/proc/loadavg: 3.95 4.19 4.19 6/259 831130
/proc/meminfo: memFree=126399412/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=93428 memory=26348 CPUtime=0.28 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 3121 0 2 0 28 0 0 0 20 0 1 0 161406212 95670272 6587 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 23357 6587 4000 3002 0 7108 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 93428 KiB
Current children cumulated memory: 26348 KiB
[startup+0.700226 s]
/proc/loadavg: 3.95 4.19 4.19 6/259 831130
/proc/meminfo: memFree=126375988/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=111604 memory=44092 CPUtime=0.67 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 7587 0 2 0 67 0 0 0 20 0 1 0 161406212 114282496 11023 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 27901 11023 4016 3002 0 11652 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 111604 KiB
Current children cumulated memory: 44092 KiB
[startup+1.50023 s]
/proc/loadavg: 3.96 4.19 4.19 5/259 831130
/proc/meminfo: memFree=126186652/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=187384 memory=117956 CPUtime=1.47 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 27112 0 2 0 144 3 0 0 20 0 1 0 161406212 191881216 29489 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 46846 29489 4016 3002 0 30597 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187384 KiB
Current children cumulated memory: 117956 KiB
[startup+3.10598 s]
/proc/loadavg: 3.96 4.19 4.19 5/259 831130
/proc/meminfo: memFree=125898680/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=230460 memory=159140 CPUtime=3.07 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 37413 0 2 0 303 4 0 0 20 0 1 0 161406212 235991040 39785 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 57615 39785 4016 3002 0 41366 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 230460 KiB
Current children cumulated memory: 159140 KiB
[startup+6.30014 s]
/proc/loadavg: 3.96 4.18 4.19 5/259 831130
/proc/meminfo: memFree=125897696/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=230460 memory=159404 CPUtime=6.25 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 37423 0 2 0 621 4 0 0 20 0 1 0 161406212 235991040 39851 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 57615 39851 4016 3002 0 41366 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 230460 KiB
Current children cumulated memory: 159404 KiB
[startup+12.7001 s]
/proc/loadavg: 3.96 4.18 4.19 5/259 831132
/proc/meminfo: memFree=125897280/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=230460 memory=159404 CPUtime=12.63 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 37423 0 2 0 1259 4 0 0 20 0 1 0 161406212 235991040 39851 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 57615 39851 4016 3002 0 41366 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 230460 KiB
Current children cumulated memory: 159404 KiB
[startup+25.5002 s]
/proc/loadavg: 3.97 4.17 4.18 5/259 831134
/proc/meminfo: memFree=125691200/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=256392 memory=185384 CPUtime=25.39 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 45001 0 2 0 2533 6 0 0 20 0 1 0 161406212 262545408 46346 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 64098 46346 4016 3002 0 47849 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 256392 KiB
Current children cumulated memory: 185384 KiB
[startup+51.1062 s]
/proc/loadavg: 4.04 4.17 4.18 5/259 831138
/proc/meminfo: memFree=125688644/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=261276 memory=189504 CPUtime=50.92 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 46061 0 2 0 5083 9 0 0 20 0 1 0 161406212 267546624 47376 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 65319 47376 4016 3002 0 49070 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 261276 KiB
Current children cumulated memory: 189504 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/257 831147
/proc/meminfo: memFree=125604424/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=309220 memory=235068 CPUtime=101.96 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 57791 0 2 0 10180 16 0 0 20 0 1 0 161406212 316641280 58767 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 77305 58767 4027 3002 0 61056 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 309220 KiB
Current children cumulated memory: 235068 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/257 831159
/proc/meminfo: memFree=125412428/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=374436 memory=302820 CPUtime=161.77 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 75436 0 2 0 16153 24 0 0 20 0 1 0 161406212 383422464 75705 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 93609 75705 4027 3002 0 77360 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 374436 KiB
Current children cumulated memory: 302820 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.14 4.17 5/257 831169
/proc/meminfo: memFree=125334156/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=374436 memory=303596 CPUtime=221.57 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 75849 0 2 0 22133 24 0 0 20 0 1 0 161406212 383422464 75899 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 93609 75899 4027 3002 0 77360 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 374436 KiB
Current children cumulated memory: 303596 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/257 831181
/proc/meminfo: memFree=125328632/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=376116 memory=306848 CPUtime=281.39 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 76282 0 2 0 28114 25 0 0 20 0 1 0 161406212 385142784 76712 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 94029 76712 4027 3002 0 77780 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 376116 KiB
Current children cumulated memory: 306848 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.17 5/255 831192
/proc/meminfo: memFree=125497028/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=379788 memory=314816 CPUtime=341.18 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 79602 0 2 0 34034 84 0 0 20 0 1 0 161406212 388902912 78704 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 94947 78704 4186 3002 0 78698 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 379788 KiB
Current children cumulated memory: 314816 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.17 5/258 831207
/proc/meminfo: memFree=125468076/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=379788 memory=323080 CPUtime=400.99 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 79672 0 2 0 39972 127 0 0 20 0 1 0 161406212 388902912 80770 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 94947 80770 4186 3002 0 78698 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 379788 KiB
Current children cumulated memory: 323080 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/258 831217
/proc/meminfo: memFree=125448528/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=398756 memory=327184 CPUtime=460.8 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 80277 0 2 0 45916 164 0 0 20 0 1 0 161406212 408326144 81796 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 99689 81796 4186 3002 0 83440 0
################
# More data... #
################
Current children cumulated memory: 370352 KiB
[startup+2862.3 s]
/proc/loadavg: 4.04 4.10 4.14 5/256 832848
/proc/meminfo: memFree=125241752/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=2852.88 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84108 0 2 0 284409 879 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 2852.88 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.13 4.15 5/256 832858
/proc/meminfo: memFree=125241076/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=2912.68 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84201 0 2 0 290379 889 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 2912.68 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/254 832869
/proc/meminfo: memFree=125240524/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=2972.49 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84305 0 2 0 296351 898 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 2972.49 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/254 832881
/proc/meminfo: memFree=125236208/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=3032.29 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84396 0 2 0 302321 908 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 3032.29 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/254 832891
/proc/meminfo: memFree=125235436/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=3092.09 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84496 0 2 0 308290 919 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 3092.09 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/254 832901
/proc/meminfo: memFree=125232616/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=3151.88 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84603 0 2 0 314256 932 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 3151.88 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.13 5/254 832912
/proc/meminfo: memFree=125229904/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=3211.68 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84696 0 2 0 320226 942 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 3211.68 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.11 5/255 832923
/proc/meminfo: memFree=125229100/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=370352 CPUtime=3271.47 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84796 0 2 0 326195 952 0 0 20 0 1 0 161406212 439885824 92588 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 92588 4186 3002 0 91145 0
Current children cumulated CPU time: 3271.47 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 370352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/255 832933
/proc/meminfo: memFree=125226316/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=372400 CPUtime=3331.28 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84903 0 2 0 332165 963 0 0 20 0 1 0 161406212 439885824 93100 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 93100 4186 3002 0 91145 0
Current children cumulated CPU time: 3331.28 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 372400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/257 832948
/proc/meminfo: memFree=125223488/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=372400 CPUtime=3391.08 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 84997 0 2 0 338133 975 0 0 20 0 1 0 161406212 439885824 93100 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 93100 4186 3002 0 91145 0
Current children cumulated CPU time: 3391.08 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 372400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/257 832959
/proc/meminfo: memFree=125222796/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=372400 CPUtime=3450.88 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 85105 0 2 0 344104 984 0 0 20 0 1 0 161406212 439885824 93100 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 93100 4186 3002 0 91145 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 372400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/257 832969
/proc/meminfo: memFree=125219568/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=372464 CPUtime=3510.67 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 85233 0 2 0 350073 994 0 0 20 0 1 0 161406212 439885824 93116 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 93116 4186 3002 0 91145 0
Current children cumulated CPU time: 3510.67 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 372464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 832980
/proc/meminfo: memFree=125215060/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=372540 CPUtime=3570.47 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 85339 0 2 0 356040 1007 0 0 20 0 1 0 161406212 439885824 93135 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 93135 4186 3002 0 91145 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 372540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.15 4.11 4.10 5/257 833125
/proc/meminfo: memFree=125532248/131524600 swapFree=131071996/131071996
[pid=831113] ppid=831107 vsize=429576 memory=372540 CPUtime=3600.08 cores=0,2
/proc/831113/stat : 831113 (mixed-bag) R 831107 831113 831055 0 -1 4194304 85408 0 2 0 358996 1012 0 0 20 0 1 0 161406212 439885824 93135 134679101440 4194304 16487941 140727695766160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 38064128 140727695770647 140727695770724 140727695770724 140727695777739 0
/proc/831113/statm: 107394 93135 4186 3002 0 91145 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 429576 KiB
Current children cumulated memory: 372540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 831113 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.97 s, system=10.1258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.01
CPU time (s): 3600.09
CPU user time (s): 3589.97
CPU system time (s): 10.1258
CPU usage (%): 99.6701
Max. virtual memory (cumulated for all children) (KiB): 429576
Max. memory (cumulated for all children) (KiB): 372540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.97
system time used= 10.1258
maximum resident set size= 373320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85444
page faults= 2
swaps= 0
block input operations= 792
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 24667
# summary of solver processes directly reported to runsolver:
# pid: 831113
# total CPU time (s): 3600.09
# total CPU user time (s): 3589.97
# total CPU system time (s): 10.1258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.6534 second user time and 19.4112 second system time
The end
Begin job on nodeC021 at 2024-07-16 03:13:56
IDJOB=4435454
IDBENCH=147539
IDSOLVER=3066
FILE ID=nodeC021/4435454-1721092424
RUNJOBID= nodeC021-1721092436-831065
SLURM_JOB_ID= 7505590
Free space on /tmp= 890084 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435454-1721092424/watcher-4435454-1721092424 -o /tmp/evaluation-result-4435454-1721092424/solver-4435454-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831065 --watchdog 3760 mixed-bag HOME/instance-4435454-1721092424.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=988679644
nodeC021.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 : 3549.243
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.42
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 : 3615.675
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 : 7005.23
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 : 3615.294
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.42
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 : 3610.893
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 : 7005.23
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 : 3563.897
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.42
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 : 3390.733
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 : 7005.23
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 : 3621.885
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.42
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 : 3648.490
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 : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126467936 kB
MemAvailable: 129693816 kB
Buffers: 380768 kB
Cached: 3647524 kB
SwapCached: 0 kB
Active: 715108 kB
Inactive: 3672484 kB
Active(anon): 1452 kB
Inactive(anon): 395616 kB
Active(file): 713656 kB
Inactive(file): 3276868 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65296 kB
Writeback: 16 kB
AnonPages: 358652 kB
Mapped: 103492 kB
Shmem: 37720 kB
KReclaimable: 150356 kB
Slab: 263604 kB
SReclaimable: 150356 kB
SUnreclaim: 113248 kB
KernelStack: 3872 kB
PageTables: 9608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 802512 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC021 at 2024-07-16 04:14:08