0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 1848 #constraints 2979
0.00/0.03 c rational objective 7.10543e-15
4.46/4.53 c #Conflicts: 1000 | #Constraints: 3979
4.46/4.53 c #Conflicts: 2000 | #Constraints: 4979
4.46/4.53 c INPROCESSING
4.46/4.53 c GARBAGE COLLECT
4.46/4.53 c rational objective 4.01309
10.15/10.24 c #Conflicts: 3000 | #Constraints: 4984
10.15/10.24 c #Conflicts: 4000 | #Constraints: 5985
10.15/10.24 c INPROCESSING
10.15/10.24 c GARBAGE COLLECT
10.15/10.24 c #Conflicts: 5000 | #Constraints: 5387
10.15/10.24 c #Conflicts: 6000 | #Constraints: 6387
10.15/10.24 c INPROCESSING
10.15/10.24 c GARBAGE COLLECT
10.15/10.24 c rational objective 4.16602
13.94/14.07 c #Conflicts: 7000 | #Constraints: 5388
13.94/14.07 c #Conflicts: 8000 | #Constraints: 6390
13.94/14.07 c #Conflicts: 9000 | #Constraints: 7392
13.94/14.07 c INPROCESSING
13.94/14.07 c GARBAGE COLLECT
13.94/14.07 c rational objective 4.37905
285.10/285.93 c #Conflicts: 10000 | #Constraints: 6095
285.10/285.93 c #Conflicts: 11000 | #Constraints: 7095
285.10/285.93 c #Conflicts: 12000 | #Constraints: 8095
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 13000 | #Constraints: 6541
285.10/285.93 c #Conflicts: 14000 | #Constraints: 7541
285.10/285.93 c #Conflicts: 15000 | #Constraints: 8541
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 16000 | #Constraints: 6764
285.10/285.93 c #Conflicts: 17000 | #Constraints: 7764
285.10/285.93 c #Conflicts: 18000 | #Constraints: 8766
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 19000 | #Constraints: 6775
285.10/285.93 c #Conflicts: 20000 | #Constraints: 7776
285.10/285.93 c #Conflicts: 21000 | #Constraints: 8776
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 22000 | #Constraints: 6577
285.10/285.93 c #Conflicts: 23000 | #Constraints: 7578
285.10/285.93 c #Conflicts: 24000 | #Constraints: 8578
285.10/285.93 c #Conflicts: 25000 | #Constraints: 9579
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 26000 | #Constraints: 7185
285.10/285.93 c #Conflicts: 27000 | #Constraints: 8185
285.10/285.93 c #Conflicts: 28000 | #Constraints: 9185
285.10/285.93 c #Conflicts: 29000 | #Constraints: 10185
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 30000 | #Constraints: 7585
285.10/285.93 c #Conflicts: 31000 | #Constraints: 8585
285.10/285.93 c #Conflicts: 32000 | #Constraints: 9585
285.10/285.93 c #Conflicts: 33000 | #Constraints: 10585
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 34000 | #Constraints: 7788
285.10/285.93 c #Conflicts: 35000 | #Constraints: 8788
285.10/285.93 c #Conflicts: 36000 | #Constraints: 9788
285.10/285.93 c #Conflicts: 37000 | #Constraints: 10788
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 38000 | #Constraints: 7789
285.10/285.93 c #Conflicts: 39000 | #Constraints: 8789
285.10/285.93 c #Conflicts: 40000 | #Constraints: 9789
285.10/285.93 c #Conflicts: 41000 | #Constraints: 10789
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 42000 | #Constraints: 7591
285.10/285.93 c #Conflicts: 43000 | #Constraints: 8591
285.10/285.93 c #Conflicts: 44000 | #Constraints: 9591
285.10/285.93 c #Conflicts: 45000 | #Constraints: 10592
285.10/285.93 c #Conflicts: 46000 | #Constraints: 11592
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 47000 | #Constraints: 8190
285.10/285.93 c #Conflicts: 48000 | #Constraints: 9190
285.10/285.93 c #Conflicts: 49000 | #Constraints: 10190
285.10/285.93 c #Conflicts: 50000 | #Constraints: 11190
285.10/285.93 c #Conflicts: 51000 | #Constraints: 12190
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 52000 | #Constraints: 8594
285.10/285.93 c #Conflicts: 53000 | #Constraints: 9594
285.10/285.93 c #Conflicts: 54000 | #Constraints: 10594
285.10/285.93 c #Conflicts: 55000 | #Constraints: 11594
285.10/285.93 c #Conflicts: 56000 | #Constraints: 12594
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 57000 | #Constraints: 8791
285.10/285.93 c #Conflicts: 58000 | #Constraints: 9791
285.10/285.93 c #Conflicts: 59000 | #Constraints: 10791
285.10/285.93 c #Conflicts: 60000 | #Constraints: 11791
285.10/285.93 c #Conflicts: 61000 | #Constraints: 12791
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 62000 | #Constraints: 8790
285.10/285.93 c #Conflicts: 63000 | #Constraints: 9790
285.10/285.93 c #Conflicts: 64000 | #Constraints: 10790
285.10/285.93 c #Conflicts: 65000 | #Constraints: 11790
285.10/285.93 c #Conflicts: 66000 | #Constraints: 12791
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 67000 | #Constraints: 8592
285.10/285.93 c #Conflicts: 68000 | #Constraints: 9592
285.10/285.93 c #Conflicts: 69000 | #Constraints: 10592
285.10/285.93 c #Conflicts: 70000 | #Constraints: 11592
285.10/285.93 c #Conflicts: 71000 | #Constraints: 12592
285.10/285.93 c #Conflicts: 72000 | #Constraints: 13592
285.10/285.93 c INPROCESSING
285.10/285.93 c GARBAGE COLLECT
285.10/285.93 c #Conflicts: 73000 | #Constraints: 9190
285.10/285.93 c #Conflicts: 74000 | #Constraints: 10190
285.10/285.93 c #Conflicts: 75000 | #Constraints: 11190
285.10/285.93 c #Conflicts: 76000 | #Constraints: 12190
285.10/285.93 c #Conflicts: 77000 | #Constraints: 13190
285.10/285.93 c #Conflicts: 78000 | #Constraints: 14190
285.10/285.93 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 79000 | #Constraints: 9590
870.74/873.16 c #Conflicts: 80000 | #Constraints: 10590
870.74/873.16 c #Conflicts: 81000 | #Constraints: 11590
870.74/873.16 c #Conflicts: 82000 | #Constraints: 12590
870.74/873.16 c #Conflicts: 83000 | #Constraints: 13590
870.74/873.16 c #Conflicts: 84000 | #Constraints: 14590
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 85000 | #Constraints: 9791
870.74/873.16 c #Conflicts: 86000 | #Constraints: 10791
870.74/873.16 c #Conflicts: 87000 | #Constraints: 11791
870.74/873.16 c #Conflicts: 88000 | #Constraints: 12791
870.74/873.16 c #Conflicts: 89000 | #Constraints: 13791
870.74/873.16 c #Conflicts: 90000 | #Constraints: 14791
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 91000 | #Constraints: 9790
870.74/873.16 c #Conflicts: 92000 | #Constraints: 10790
870.74/873.16 c #Conflicts: 93000 | #Constraints: 11790
870.74/873.16 c #Conflicts: 94000 | #Constraints: 12790
870.74/873.16 c #Conflicts: 95000 | #Constraints: 13790
870.74/873.16 c #Conflicts: 96000 | #Constraints: 14790
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 97000 | #Constraints: 9593
870.74/873.16 c #Conflicts: 98000 | #Constraints: 10593
870.74/873.16 c #Conflicts: 99000 | #Constraints: 11593
870.74/873.16 c #Conflicts: 100000 | #Constraints: 12593
870.74/873.16 c #Conflicts: 101000 | #Constraints: 13593
870.74/873.16 c #Conflicts: 102000 | #Constraints: 14593
870.74/873.16 c #Conflicts: 103000 | #Constraints: 15593
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 104000 | #Constraints: 10190
870.74/873.16 c #Conflicts: 105000 | #Constraints: 11190
870.74/873.16 c #Conflicts: 106000 | #Constraints: 12190
870.74/873.16 c #Conflicts: 107000 | #Constraints: 13190
870.74/873.16 c #Conflicts: 108000 | #Constraints: 14190
870.74/873.16 c #Conflicts: 109000 | #Constraints: 15190
870.74/873.16 c #Conflicts: 110000 | #Constraints: 16190
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 111000 | #Constraints: 10595
870.74/873.16 c #Conflicts: 112000 | #Constraints: 11595
870.74/873.16 c #Conflicts: 113000 | #Constraints: 12595
870.74/873.16 c #Conflicts: 114000 | #Constraints: 13595
870.74/873.16 c #Conflicts: 115000 | #Constraints: 14595
870.74/873.16 c #Conflicts: 116000 | #Constraints: 15595
870.74/873.16 c #Conflicts: 117000 | #Constraints: 16595
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 118000 | #Constraints: 10792
870.74/873.16 c #Conflicts: 119000 | #Constraints: 11792
870.74/873.16 c #Conflicts: 120000 | #Constraints: 12792
870.74/873.16 c #Conflicts: 121000 | #Constraints: 13792
870.74/873.16 c #Conflicts: 122000 | #Constraints: 14792
870.74/873.16 c #Conflicts: 123000 | #Constraints: 15792
870.74/873.16 c #Conflicts: 124000 | #Constraints: 16792
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 125000 | #Constraints: 10793
870.74/873.16 c #Conflicts: 126000 | #Constraints: 11793
870.74/873.16 c #Conflicts: 127000 | #Constraints: 12793
870.74/873.16 c #Conflicts: 128000 | #Constraints: 13793
870.74/873.16 c #Conflicts: 129000 | #Constraints: 14793
870.74/873.16 c #Conflicts: 130000 | #Constraints: 15793
870.74/873.16 c #Conflicts: 131000 | #Constraints: 16793
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 132000 | #Constraints: 10591
870.74/873.16 c #Conflicts: 133000 | #Constraints: 11591
870.74/873.16 c #Conflicts: 134000 | #Constraints: 12591
870.74/873.16 c #Conflicts: 135000 | #Constraints: 13591
870.74/873.16 c #Conflicts: 136000 | #Constraints: 14591
870.74/873.16 c #Conflicts: 137000 | #Constraints: 15591
870.74/873.16 c #Conflicts: 138000 | #Constraints: 16591
870.74/873.16 c #Conflicts: 139000 | #Constraints: 17591
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 140000 | #Constraints: 11191
870.74/873.16 c #Conflicts: 141000 | #Constraints: 12191
870.74/873.16 c #Conflicts: 142000 | #Constraints: 13191
870.74/873.16 c #Conflicts: 143000 | #Constraints: 14191
870.74/873.16 c #Conflicts: 144000 | #Constraints: 15191
870.74/873.16 c #Conflicts: 145000 | #Constraints: 16191
870.74/873.16 c #Conflicts: 146000 | #Constraints: 17191
870.74/873.16 c #Conflicts: 147000 | #Constraints: 18191
870.74/873.16 c INPROCESSING
870.74/873.16 c GARBAGE COLLECT
870.74/873.16 c #Conflicts: 148000 | #Constraints: 11596
870.74/873.16 c #Conflicts: 149000 | #Constraints: 12596
870.74/873.16 c #Conflicts: 150000 | #Constraints: 13596
870.74/873.16 c #Conflicts: 151000 | #Constraints: 14596
986.24/989.00 c #Conflicts: 152000 | #Constraints: 15596
986.24/989.00 c #Conflicts: 153000 | #Constraints: 16596
986.24/989.00 c #Conflicts: 154000 | #Constraints: 17596
986.24/989.00 c #Conflicts: 155000 | #Constraints: 18596
986.24/989.00 c INPROCESSING
986.24/989.00 c GARBAGE COLLECT
986.24/989.00 c #Conflicts: 156000 | #Constraints: 11798
986.24/989.00 c #Conflicts: 157000 | #Constraints: 12798
986.24/989.00 c #Conflicts: 158000 | #Constraints: 13799
986.24/989.00 c #Conflicts: 159000 | #Constraints: 14799
986.24/989.00 c #Conflicts: 160000 | #Constraints: 15799
986.24/989.00 c #Conflicts: 161000 | #Constraints: 16799
986.24/989.00 c #Conflicts: 162000 | #Constraints: 17799
986.24/989.00 c #Conflicts: 163000 | #Constraints: 18799
986.24/989.00 c INPROCESSING
986.24/989.00 c GARBAGE COLLECT
986.24/989.00 WSVECS04 Frhs2[4]: 6 -1429.07 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[20]: 6 -402.389 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[21]: 6 -402.394 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[24]: 6 -402.689 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[42]: 6 -218.636 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[44]: 6 -218.636 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[45]: 6 -218.636 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[46]: 6 -218.636 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[47]: 6 -401.894 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[48]: 6 -803.787 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[49]: 6 -1 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[51]: 6 0 148.174 shouldn't be
986.24/989.00 WSVECS04 Frhs2[64]: 6 -0.111251 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[67]: 6 0 10.809 shouldn't be
986.24/989.00 WSVECS04 Frhs2[127]: 6 -0.977002 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[129]: 6 -0.907799 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[131]: 6 -2.131 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[132]: 6 -1.26202 0 shouldn't be
986.24/989.00 WSVECS04 Frhs2[133]: 6 0 0.476129 shouldn't be
986.24/989.00 WSVECS04 Frhs2[139]: 6 0 93.471 shouldn't be
986.24/989.00 WSVECS04 Frhs2[157]: 6 0 1.95226 shouldn't be
986.24/989.00 WSVECS04 Frhs2[158]: 6 0 4.90445 shouldn't be
986.24/989.00 WSVECS04 Frhs2[159]: 6 0 10.8089 shouldn't be
986.24/989.00 WSVECS04 Frhs2[160]: 6 0 22.6178 shouldn't be
986.24/989.00 WSVECS04 Frhs2[161]: 6 0 46.2356 shouldn't be
986.24/989.00 WSVECS04 Frhs2[162]: 6 0 93.471 shouldn't be
986.24/989.00 WSVECS04 Frhs2[179]: 6 0 0.476132 shouldn't be
986.24/989.00 WSVECS04 Frhs2[180]: 6 0 1.95229 shouldn't be
986.24/989.00 WSVECS04 Frhs2[181]: 6 0 4.9045 shouldn't be
986.24/989.00 WSVECS04 Frhs2[182]: 6 0 10.809 shouldn't be
986.24/989.00 WSVECS04 Frhs2[183]: 6 0 22.1178 shouldn't be
986.24/989.00 WSVECS04 Frhs2[184]: 6 0 46.2356 shouldn't be
986.24/989.00 WSVECS04 Frhs2[185]: 6 0 93.4711 shouldn't be
986.24/989.00 WSVECS04 Frhs2[186]: 6 0 187.942 shouldn't be
986.24/989.00 WSVECS04 Frhs2[203]: 6 0 1.95227 shouldn't be
986.24/989.00 WSVECS04 Frhs2[204]: 6 0 4.90451 shouldn't be
986.24/989.00 WSVECS04 Frhs2[205]: 6 0 10.809 shouldn't be
986.24/989.00 WSVECS04 Frhs2[206]: 6 0 22.6178 shouldn't be
986.24/989.00 WSVECS04 Frhs2[207]: 6 0 46.2355 shouldn't be
986.24/989.00 WSVECS04 Frhs2[208]: 6 0 93.471 shouldn't be
986.24/989.00 WSVECS04 Frhs2[209]: 6 0 187.942 shouldn't be
986.24/989.00 WSVECS04 Frhs2[210]: 6 0 376.884 shouldn't be
986.24/989.00 WSVECS04 Frhs2[226]: 6 0 1.95224 shouldn't be
986.24/989.00 WSVECS04 Frhs2[227]: 6 0 4.90452 shouldn't be
986.24/989.00 WSVECS04 Frhs2[228]: 6 0 10.809 shouldn't be
986.24/989.00 WSVECS04 Frhs2[229]: 6 0 22.6178 shouldn't be
986.24/989.00 WSVECS04 Frhs2[230]: 6 0 46.2356 shouldn't be
986.24/989.00 WSVECS04 Frhs2[231]: 6 0 93.4711 shouldn't be
986.24/989.00 WSVECS04 Frhs2[232]: 6 0 187.942 shouldn't be
986.24/989.00 WSVECS04 Frhs2[233]: 6 0 376.884 shouldn't be
986.24/989.00 WSVECS04 Frhs2[234]: 6 0 754.768 shouldn't be
986.24/989.00 WSVECS04 Frhs2[248]: 6 0 0.476158 shouldn't be
986.24/989.00 WSVECS04 Frhs2[249]: 6 0 1.95231 shouldn't be
986.24/989.00 WSVECS04 Frhs2[250]: 6 0 4.90454 shouldn't be
986.24/989.00 WSVECS04 Frhs2[251]: 6 0 10.8089 shouldn't be
986.24/989.00 WSVECS04 Frhs2[252]: 6 0 22.6178 shouldn't be
986.24/989.00 WSVECS04 Frhs2[253]: 6 0 46.2355 shouldn't be
986.24/989.00 WSVECS04 Frhs2[254]: 6 0 93.4711 shouldn't be
986.24/989.00 WSVECS04 Frhs2[255]: 6 0 187.942 shouldn't be
986.24/989.00 WSVECS04 Frhs2[256]: 6 0 376.884 shouldn't be
986.24/989.00 WSVECS04 Frhs2[257]: 6 0 754.768 shouldn't be
986.24/989.00 WSVECS04 Frhs2[258]: 6 0 1510.54 shouldn't be
986.24/989.00 WSVECS04 Frhs2[271]: 6 0 0.476194 shouldn't be
986.24/989.00 WSVECS04 Frhs2[272]: 6 0 1.9523 shouldn't be
986.24/989.00 WSVECS04 Frhs2[273]: 6 0 4.90448 shouldn't be
986.24/989.00 WSVECS04 Frhs2[274]: 6 0 10.809 shouldn't be
986.24/989.00 WSVECS04 Frhs2[275]: 6 0 22.6178 shouldn't be
986.24/989.00 WSVECS04 Frhs2[276]: 6 0 46.2355 shouldn't be
986.24/989.00 WSVECS04 Frhs2[277]: 6 0 93.471 shouldn't be
986.24/989.00 WSVECS04 Frhs2[278]: 6 0 187.942 shouldn't be
986.24/989.00 WSVECS04 Frhs2[279]: 6 0 376.884 shouldn't be
986.24/989.00 WSVECS04 Frhs2[280]: 6 0 754.768 shouldn't be
986.24/989.00 WSVECS04 Frhs2[281]: 6 0 1510.54 shouldn't be
986.24/989.00 WSVECS04 Frhs2[282]: 6 0 3022.07 shouldn't be
986.24/989.00 WSVECS04 Frhs2[295]: 6 0 1.9523 shouldn't be
986.24/989.00 WSVECS04 Frhs2[296]: 6 0 4.90449 shouldn't be
986.24/989.00 WSVECS04 Frhs2[297]: 6 0 10.8089 shouldn't be
986.24/989.00 WSVECS04 Frhs2[298]: 6 0 22.6178 shouldn't be
986.24/989.00 WSVECS04 Frhs2[299]: 6 0 46.2356 shouldn't be
986.24/989.00 WSVECS04 Frhs2[300]: 6 0 93.4711 shouldn't be
986.24/989.00 WSVECS04 Frhs2[301]: 6 0 187.942 shouldn't be
986.24/989.00 WSVECS04 Frhs2[302]: 6 0 376.884 shouldn't be
986.24/989.00 WSVECS04 Frhs2[303]: 6 0 754.768 shouldn't be
986.24/989.00 WSVECS04 Frhs2[304]: 6 0 1510.54 shouldn't be
986.24/989.00 WSVECS04 Frhs2[305]: 6 0 3022.07 shouldn't be
986.24/989.00 WSVECS04 Frhs2[306]: 6 0 6045.14 shouldn't be
986.33/989.00 WSVECS04 Frhs2[317]: 6 0 0.476155 shouldn't be
986.33/989.00 WSVECS04 Frhs2[318]: 6 0 1.95231 shouldn't be
986.33/989.00 WSVECS04 Frhs2[319]: 6 0 4.90449 shouldn't be
986.33/989.00 WSVECS04 Frhs2[320]: 6 0 10.809 shouldn't be
986.33/989.00 WSVECS04 Frhs2[321]: 6 0 22.6178 shouldn't be
986.33/989.00 WSVECS04 Frhs2[322]: 6 0 46.2356 shouldn't be
986.33/989.00 WSVECS04 Frhs2[323]: 6 0 93.471 shouldn't be
986.33/989.00 WSVECS04 Frhs2[324]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[325]: 6 0 376.884 shouldn't be
986.33/989.00 WSVECS04 Frhs2[326]: 6 0 754.768 shouldn't be
986.33/989.00 WSVECS04 Frhs2[327]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[328]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[329]: 6 0 6045.14 shouldn't be
986.33/989.00 WSVECS04 Frhs2[330]: 6 0 12091.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[337]: 6 -0.815502 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[338]: 6 -11.131 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[340]: 6 0 0.476209 shouldn't be
986.33/989.00 WSVECS04 Frhs2[342]: 6 0 4.90448 shouldn't be
986.33/989.00 WSVECS04 Frhs2[344]: 6 0 22.6178 shouldn't be
986.33/989.00 WSVECS04 Frhs2[346]: 6 0 93.4711 shouldn't be
986.33/989.00 WSVECS04 Frhs2[349]: 6 0 754.768 shouldn't be
986.33/989.00 WSVECS04 Frhs2[363]: 6 0 0.47612 shouldn't be
986.33/989.00 WSVECS04 Frhs2[364]: 6 0 1.95228 shouldn't be
986.33/989.00 WSVECS04 Frhs2[365]: 6 0 4.9045 shouldn't be
986.33/989.00 WSVECS04 Frhs2[366]: 6 0 10.8089 shouldn't be
986.33/989.00 WSVECS04 Frhs2[367]: 6 0 22.6178 shouldn't be
986.33/989.00 WSVECS04 Frhs2[368]: 6 0 46.2356 shouldn't be
986.33/989.00 WSVECS04 Frhs2[369]: 6 0 93.4711 shouldn't be
986.33/989.00 WSVECS04 Frhs2[370]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[371]: 6 0 376.884 shouldn't be
986.33/989.00 WSVECS04 Frhs2[372]: 6 0 754.768 shouldn't be
986.33/989.00 WSVECS04 Frhs2[373]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[374]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[375]: 6 0 6045.14 shouldn't be
986.33/989.00 WSVECS04 Frhs2[376]: 6 0 12091.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[377]: 6 0 24183.6 shouldn't be
986.33/989.00 WSVECS04 Frhs2[378]: 6 0 48368.1 shouldn't be
986.33/989.00 WSVECS04 Frhs2[386]: 6 0 0.476204 shouldn't be
986.33/989.00 WSVECS04 Frhs2[388]: 6 0 4.90447 shouldn't be
986.33/989.00 WSVECS04 Frhs2[389]: 6 0 10.809 shouldn't be
986.33/989.00 WSVECS04 Frhs2[390]: 6 0 22.6178 shouldn't be
986.33/989.00 WSVECS04 Frhs2[391]: 6 0 46.2356 shouldn't be
986.33/989.00 WSVECS04 Frhs2[392]: 6 0 93.471 shouldn't be
986.33/989.00 WSVECS04 Frhs2[393]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[394]: 6 0 376.884 shouldn't be
986.33/989.00 WSVECS04 Frhs2[395]: 6 0 754.768 shouldn't be
986.33/989.00 WSVECS04 Frhs2[396]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[397]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[398]: 6 0 6045.14 shouldn't be
986.33/989.00 WSVECS04 Frhs2[399]: 6 0 12091.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[400]: 6 0 24183.6 shouldn't be
986.33/989.00 WSVECS04 Frhs2[401]: 6 0 48368.1 shouldn't be
986.33/989.00 WSVECS04 Frhs2[402]: 6 0 96737.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[410]: 6 0 1.95231 shouldn't be
986.33/989.00 WSVECS04 Frhs2[411]: 6 0 4.90453 shouldn't be
986.33/989.00 WSVECS04 Frhs2[412]: 6 0 10.8089 shouldn't be
986.33/989.00 WSVECS04 Frhs2[413]: 6 0 22.6178 shouldn't be
986.33/989.00 WSVECS04 Frhs2[414]: 6 0 46.2355 shouldn't be
986.33/989.00 WSVECS04 Frhs2[416]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[417]: 6 0 376.884 shouldn't be
986.33/989.00 WSVECS04 Frhs2[418]: 6 0 754.768 shouldn't be
986.33/989.00 WSVECS04 Frhs2[419]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[420]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[422]: 6 0 12091.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[424]: 6 0 48368.1 shouldn't be
986.33/989.00 WSVECS04 Frhs2[426]: 6 0 193476 shouldn't be
986.33/989.00 WSVECS04 Frhs2[434]: 6 0 4.90449 shouldn't be
986.33/989.00 WSVECS04 Frhs2[435]: 6 0 10.809 shouldn't be
986.33/989.00 WSVECS04 Frhs2[436]: 6 0 22.6178 shouldn't be
986.33/989.00 WSVECS04 Frhs2[437]: 6 0 46.2356 shouldn't be
986.33/989.00 WSVECS04 Frhs2[439]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[440]: 6 0 376.884 shouldn't be
986.33/989.00 WSVECS04 Frhs2[441]: 6 0 754.768 shouldn't be
986.33/989.00 WSVECS04 Frhs2[442]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[443]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[444]: 6 0 6045.14 shouldn't be
986.33/989.00 WSVECS04 Frhs2[446]: 6 0 24183.6 shouldn't be
986.33/989.00 WSVECS04 Frhs2[447]: 6 0 48368.1 shouldn't be
986.33/989.00 WSVECS04 Frhs2[448]: 6 0 96737.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[450]: 6 0 386952 shouldn't be
986.33/989.00 WSVECS04 Frhs2[459]: 6 0 22.6178 shouldn't be
986.33/989.00 WSVECS04 Frhs2[460]: 6 0 46.2356 shouldn't be
986.33/989.00 WSVECS04 Frhs2[462]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[463]: 6 0 376.884 shouldn't be
986.33/989.00 WSVECS04 Frhs2[464]: 6 0 754.768 shouldn't be
986.33/989.00 WSVECS04 Frhs2[465]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[466]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[467]: 6 0 6045.14 shouldn't be
986.33/989.00 WSVECS04 Frhs2[468]: 6 0 12091.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[470]: 6 0 48368.1 shouldn't be
986.33/989.00 WSVECS04 Frhs2[471]: 6 0 96737.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[474]: 6 0 773905 shouldn't be
986.33/989.00 WSVECS04 Frhs2[483]: 6 0 46.2356 shouldn't be
986.33/989.00 WSVECS04 Frhs2[485]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[486]: 6 0 376.304 shouldn't be
986.33/989.00 WSVECS04 Frhs2[487]: 6 0 754.607 shouldn't be
986.33/989.00 WSVECS04 Frhs2[488]: 6 0 1510.21 shouldn't be
986.33/989.00 WSVECS04 Frhs2[489]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[490]: 6 0 6044.86 shouldn't be
986.33/989.00 WSVECS04 Frhs2[491]: 6 0 12091.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[492]: 6 0 24183.4 shouldn't be
986.33/989.00 WSVECS04 Frhs2[493]: 6 0 48368.1 shouldn't be
986.33/989.00 WSVECS04 Frhs2[494]: 6 0 96737.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[498]: 6 0 1.54781e+06 shouldn't be
986.33/989.00 WSVECS04 Frhs2[504]: 6 0 9.90602e+07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[507]: 6 0 93.4711 shouldn't be
986.33/989.00 WSVECS04 Frhs2[508]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[510]: 6 0 753.607 shouldn't be
986.33/989.00 WSVECS04 Frhs2[512]: 6 0 3021.43 shouldn't be
986.33/989.00 WSVECS04 Frhs2[514]: 6 0 12090.7 shouldn't be
986.33/989.00 WSVECS04 Frhs2[517]: 6 0 96737.2 shouldn't be
986.33/989.00 WSVECS04 Frhs2[531]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[532]: 6 0 374.304 shouldn't be
986.33/989.00 WSVECS04 Frhs2[534]: 6 0 1508.21 shouldn't be
986.33/989.00 WSVECS04 Frhs2[536]: 6 0 6043.86 shouldn't be
986.33/989.00 WSVECS04 Frhs2[538]: 6 0 24182.4 shouldn't be
986.33/989.00 WSVECS04 Frhs2[541]: 6 0 193475 shouldn't be
986.33/989.00 WSVECS04 Frhs2[554]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[556]: 6 0 751.607 shouldn't be
986.33/989.00 WSVECS04 Frhs2[558]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[559]: 6 0 6042.86 shouldn't be
986.33/989.00 WSVECS04 Frhs2[560]: 6 0 12088.7 shouldn't be
986.33/989.00 WSVECS04 Frhs2[561]: 6 0 24181.4 shouldn't be
986.33/989.00 WSVECS04 Frhs2[562]: 6 0 48365.9 shouldn't be
986.33/989.00 WSVECS04 Frhs2[563]: 6 0 96735.7 shouldn't be
986.33/989.00 WSVECS04 Frhs2[564]: 6 0 193474 shouldn't be
986.33/989.00 WSVECS04 Frhs2[566]: 6 0 773904 shouldn't be
986.33/989.00 WSVECS04 Frhs2[570]: 6 0 1.23825e+07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[577]: 6 0 187.942 shouldn't be
986.33/989.00 WSVECS04 Frhs2[578]: 6 0 372.304 shouldn't be
986.33/989.00 WSVECS04 Frhs2[579]: 6 0 750.607 shouldn't be
986.33/989.00 WSVECS04 Frhs2[580]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[581]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[582]: 6 0 6045.14 shouldn't be
986.33/989.00 WSVECS04 Frhs2[583]: 6 0 12087.7 shouldn't be
986.33/989.00 WSVECS04 Frhs2[584]: 6 0 24183.6 shouldn't be
986.33/989.00 WSVECS04 Frhs2[585]: 6 0 48364.9 shouldn't be
986.33/989.00 WSVECS04 Frhs2[586]: 6 0 96737.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[588]: 6 0 386951 shouldn't be
986.33/989.00 WSVECS04 Frhs2[590]: 6 0 1.54781e+06 shouldn't be
986.33/989.00 WSVECS04 Frhs2[592]: 6 0 6.19125e+06 shouldn't be
986.33/989.00 WSVECS04 Frhs2[593]: 6 0 1.23825e+07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[594]: 6 0 2.4765e+07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[603]: 6 0 1510.54 shouldn't be
986.33/989.00 WSVECS04 Frhs2[604]: 6 0 3022.07 shouldn't be
986.33/989.00 WSVECS04 Frhs2[606]: 6 0 12091.3 shouldn't be
986.33/989.00 WSVECS04 Frhs2[608]: 6 0 48368.1 shouldn't be
986.33/989.00 WSVECS04 Frhs2[610]: 6 0 193476 shouldn't be
986.33/989.00 WSVECS04 Frhs2[613]: 6 0 1.54781e+06 shouldn't be
986.33/989.00 WSVECS04 Frhs2[630]: 6 0 1.00005 shouldn't be
986.33/989.00 WSVECS04 Frhs2[632]: 6 0 1111.4 shouldn't be
986.33/989.00 WSVECS04 Frhs2[642]: 6 0 217.636 shouldn't be
986.33/989.00 WSVECS04 Frhs2[648]: 6 0 32.5839 shouldn't be
986.33/989.00 WSVECS04 Frhs2[650]: 6 0 35.5839 shouldn't be
986.33/989.00 WSVECS04 Frhs2[651]: 6 0 32.5838 shouldn't be
986.33/989.00 WSVECS04 Frhs2[652]: 6 0 32.5839 shouldn't be
986.33/989.00 WSVECS04 Frhs2[653]: 6 0 33.0838 shouldn't be
986.33/989.00 WSVECS04 Frhs2[654]: 6 0 32.9092 shouldn't be
986.33/989.00 WSVECS04 Frhs2[655]: 6 0 32.4093 shouldn't be
986.33/989.00 WSVECS04 Frhs2[656]: 6 0 33.0838 shouldn't be
986.33/989.00 WSVECS04 Frhs2[657]: 6 0 33.0839 shouldn't be
986.33/989.00 WSVECS04 Frhs2[659]: 6 0 33.0836 shouldn't be
986.33/989.00 WSVECS04 Frhs2[672]: 6 0 439.773 shouldn't be
986.33/989.00 WSVECS04 Frhs2[694]: 6 0 1245.06 shouldn't be
986.33/989.00 WSVECS04 Frhs2[706]: 6 -1.00008 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[707]: 6 -1.00002 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[727]: 6 0 1.00006 shouldn't be
986.33/989.00 WSVECS04 Frhs2[730]: 6 -1.50005 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1087]: 6 0 1.00004 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1089]: 6 0 3.64265 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1109]: 6 0 2.00002 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1110]: 6 0 5.32133 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1111]: 6 0 5.64263 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1114]: 6 0 4.14092 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1116]: 6 0 3.56356 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1131]: 6 0 3.00005 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1132]: 6 0 7.32136 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1136]: 6 0 6.1409 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1138]: 6 0 5.56352 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1140]: 6 0 3.25393 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1154]: 6 0 9.32132 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1165]: 6 0 2.00007 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1176]: 6 -881.545 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1253]: 6 -402.394 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1286]: 6 -1.00004 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1310]: 6 -1.00005 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1331]: 6 -1.0001 0 shouldn't be
986.33/989.00 WSVECS04 Frhs2[1848]: 6 -6.33984e+09 0 shouldn't be
1746.32/1751.03 c #Conflicts: 164000 | #Constraints: 11798
1746.32/1751.03 c #Conflicts: 165000 | #Constraints: 12798
1746.32/1751.03 c #Conflicts: 166000 | #Constraints: 13798
1746.32/1751.03 c #Conflicts: 167000 | #Constraints: 14798
1746.32/1751.03 c #Conflicts: 168000 | #Constraints: 15798
1746.32/1751.03 c #Conflicts: 169000 | #Constraints: 16798
1746.32/1751.03 c #Conflicts: 170000 | #Constraints: 17798
1746.32/1751.03 c #Conflicts: 171000 | #Constraints: 18798
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 172000 | #Constraints: 11600
1746.32/1751.03 c #Conflicts: 173000 | #Constraints: 12600
1746.32/1751.03 c #Conflicts: 174000 | #Constraints: 13600
1746.32/1751.03 c #Conflicts: 175000 | #Constraints: 14600
1746.32/1751.03 c #Conflicts: 176000 | #Constraints: 15600
1746.32/1751.03 c #Conflicts: 177000 | #Constraints: 16600
1746.32/1751.03 c #Conflicts: 178000 | #Constraints: 17600
1746.32/1751.03 c #Conflicts: 179000 | #Constraints: 18600
1746.32/1751.03 c #Conflicts: 180000 | #Constraints: 19600
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 181000 | #Constraints: 12199
1746.32/1751.03 c #Conflicts: 182000 | #Constraints: 13199
1746.32/1751.03 c #Conflicts: 183000 | #Constraints: 14199
1746.32/1751.03 c #Conflicts: 184000 | #Constraints: 15199
1746.32/1751.03 c #Conflicts: 185000 | #Constraints: 16199
1746.32/1751.03 c #Conflicts: 186000 | #Constraints: 17199
1746.32/1751.03 c #Conflicts: 187000 | #Constraints: 18199
1746.32/1751.03 c #Conflicts: 188000 | #Constraints: 19199
1746.32/1751.03 c #Conflicts: 189000 | #Constraints: 20199
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 190000 | #Constraints: 12600
1746.32/1751.03 c #Conflicts: 191000 | #Constraints: 13600
1746.32/1751.03 c #Conflicts: 192000 | #Constraints: 14600
1746.32/1751.03 c #Conflicts: 193000 | #Constraints: 15600
1746.32/1751.03 c #Conflicts: 194000 | #Constraints: 16600
1746.32/1751.03 c #Conflicts: 195000 | #Constraints: 17600
1746.32/1751.03 c #Conflicts: 196000 | #Constraints: 18600
1746.32/1751.03 c #Conflicts: 197000 | #Constraints: 19600
1746.32/1751.03 c #Conflicts: 198000 | #Constraints: 20600
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 199000 | #Constraints: 12801
1746.32/1751.03 c #Conflicts: 200000 | #Constraints: 13801
1746.32/1751.03 c #Conflicts: 201000 | #Constraints: 14801
1746.32/1751.03 c #Conflicts: 202000 | #Constraints: 15801
1746.32/1751.03 c #Conflicts: 203000 | #Constraints: 16801
1746.32/1751.03 c #Conflicts: 204000 | #Constraints: 17801
1746.32/1751.03 c #Conflicts: 205000 | #Constraints: 18801
1746.32/1751.03 c #Conflicts: 206000 | #Constraints: 19801
1746.32/1751.03 c #Conflicts: 207000 | #Constraints: 20801
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 208000 | #Constraints: 12804
1746.32/1751.03 c #Conflicts: 209000 | #Constraints: 13804
1746.32/1751.03 c #Conflicts: 210000 | #Constraints: 14804
1746.32/1751.03 c #Conflicts: 211000 | #Constraints: 15804
1746.32/1751.03 c #Conflicts: 212000 | #Constraints: 16804
1746.32/1751.03 c #Conflicts: 213000 | #Constraints: 17804
1746.32/1751.03 c #Conflicts: 214000 | #Constraints: 18804
1746.32/1751.03 c #Conflicts: 215000 | #Constraints: 19804
1746.32/1751.03 c #Conflicts: 216000 | #Constraints: 20804
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 217000 | #Constraints: 12605
1746.32/1751.03 c #Conflicts: 218000 | #Constraints: 13605
1746.32/1751.03 c #Conflicts: 219000 | #Constraints: 14605
1746.32/1751.03 c #Conflicts: 220000 | #Constraints: 15605
1746.32/1751.03 c #Conflicts: 221000 | #Constraints: 16605
1746.32/1751.03 c #Conflicts: 222000 | #Constraints: 17605
1746.32/1751.03 c #Conflicts: 223000 | #Constraints: 18605
1746.32/1751.03 c #Conflicts: 224000 | #Constraints: 19605
1746.32/1751.03 c #Conflicts: 225000 | #Constraints: 20605
1746.32/1751.03 c #Conflicts: 226000 | #Constraints: 21605
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 227000 | #Constraints: 13201
1746.32/1751.03 c #Conflicts: 228000 | #Constraints: 14201
1746.32/1751.03 c #Conflicts: 229000 | #Constraints: 15201
1746.32/1751.03 c #Conflicts: 230000 | #Constraints: 16201
1746.32/1751.03 c #Conflicts: 231000 | #Constraints: 17201
1746.32/1751.03 c #Conflicts: 232000 | #Constraints: 18201
1746.32/1751.03 c #Conflicts: 233000 | #Constraints: 19201
1746.32/1751.03 c #Conflicts: 234000 | #Constraints: 20201
1746.32/1751.03 c #Conflicts: 235000 | #Constraints: 21201
1746.32/1751.03 c #Conflicts: 236000 | #Constraints: 22201
1746.32/1751.03 c INPROCESSING
1746.32/1751.03 c GARBAGE COLLECT
1746.32/1751.03 c #Conflicts: 237000 | #Constraints: 13601
2583.28/2590.50 c #Conflicts: 238000 | #Constraints: 14601
2583.28/2590.50 c #Conflicts: 239000 | #Constraints: 15601
2583.28/2590.50 c #Conflicts: 240000 | #Constraints: 16601
2583.28/2590.50 c #Conflicts: 241000 | #Constraints: 17601
2583.28/2590.50 c #Conflicts: 242000 | #Constraints: 18601
2583.28/2590.50 c #Conflicts: 243000 | #Constraints: 19601
2583.28/2590.50 c #Conflicts: 244000 | #Constraints: 20602
2583.28/2590.50 c #Conflicts: 245000 | #Constraints: 21602
2583.28/2590.50 c #Conflicts: 246000 | #Constraints: 22602
2583.28/2590.50 c INPROCESSING
2583.28/2590.50 c GARBAGE COLLECT
2583.28/2590.50 c #Conflicts: 247000 | #Constraints: 13800
2583.28/2590.50 c #Conflicts: 248000 | #Constraints: 14800
2583.28/2590.50 c #Conflicts: 249000 | #Constraints: 15800
2583.28/2590.50 c #Conflicts: 250000 | #Constraints: 16800
2583.28/2590.50 c #Conflicts: 251000 | #Constraints: 17800
2583.28/2590.50 c #Conflicts: 252000 | #Constraints: 18800
2583.28/2590.50 c #Conflicts: 253000 | #Constraints: 19800
2583.28/2590.50 c #Conflicts: 254000 | #Constraints: 20801
2583.28/2590.50 c #Conflicts: 255000 | #Constraints: 21801
2583.28/2590.50 c #Conflicts: 256000 | #Constraints: 22801
2583.28/2590.50 c INPROCESSING
2583.28/2590.50 c GARBAGE COLLECT
2583.28/2590.50 c #Conflicts: 257000 | #Constraints: 13800
2583.28/2590.50 c #Conflicts: 258000 | #Constraints: 14800
2583.28/2590.50 c #Conflicts: 259000 | #Constraints: 15800
2583.28/2590.50 c #Conflicts: 260000 | #Constraints: 16800
2583.28/2590.50 c #Conflicts: 261000 | #Constraints: 17800
2583.28/2590.50 c #Conflicts: 262000 | #Constraints: 18800
2583.28/2590.50 c #Conflicts: 263000 | #Constraints: 19800
2583.28/2590.50 c #Conflicts: 264000 | #Constraints: 20800
2583.28/2590.50 c #Conflicts: 265000 | #Constraints: 21800
2583.28/2590.50 c #Conflicts: 266000 | #Constraints: 22800
2583.28/2590.50 c INPROCESSING
2583.28/2590.50 c GARBAGE COLLECT
2583.28/2590.50 c #Conflicts: 267000 | #Constraints: 13601
2583.28/2590.50 c #Conflicts: 268000 | #Constraints: 14601
2583.28/2590.50 c #Conflicts: 269000 | #Constraints: 15601
2583.28/2590.50 c #Conflicts: 270000 | #Constraints: 16601
2583.28/2590.50 c #Conflicts: 271000 | #Constraints: 17601
2583.28/2590.50 c #Conflicts: 272000 | #Constraints: 18601
2583.28/2590.50 c #Conflicts: 273000 | #Constraints: 19601
2583.28/2590.50 c #Conflicts: 274000 | #Constraints: 20601
2583.28/2590.50 c #Conflicts: 275000 | #Constraints: 21601
2583.28/2590.50 c #Conflicts: 276000 | #Constraints: 22601
2583.28/2590.50 c #Conflicts: 277000 | #Constraints: 23601
2583.28/2590.50 c INPROCESSING
2583.28/2590.50 c GARBAGE COLLECT
2583.28/2590.50 c #Conflicts: 278000 | #Constraints: 14197
2583.28/2590.50 c #Conflicts: 279000 | #Constraints: 15197
2583.28/2590.50 c #Conflicts: 280000 | #Constraints: 16197
2583.28/2590.50 c #Conflicts: 281000 | #Constraints: 17197
2583.28/2590.50 c #Conflicts: 282000 | #Constraints: 18197
2583.28/2590.50 c #Conflicts: 283000 | #Constraints: 19197
2583.28/2590.50 c #Conflicts: 284000 | #Constraints: 20197
2583.28/2590.50 c #Conflicts: 285000 | #Constraints: 21197
2583.28/2590.50 c #Conflicts: 286000 | #Constraints: 22197
2583.28/2590.50 c #Conflicts: 287000 | #Constraints: 23197
2583.28/2590.50 c #Conflicts: 288000 | #Constraints: 24197
2583.28/2590.50 c INPROCESSING
2583.28/2590.50 c GARBAGE COLLECT
2583.28/2590.50 c #Conflicts: 289000 | #Constraints: 14601
2583.28/2590.50 c #Conflicts: 290000 | #Constraints: 15601
2583.28/2590.50 c #Conflicts: 291000 | #Constraints: 16601
2583.28/2590.50 c #Conflicts: 292000 | #Constraints: 17601
2583.28/2590.50 c #Conflicts: 293000 | #Constraints: 18601
2583.28/2590.50 c #Conflicts: 294000 | #Constraints: 19601
2583.28/2590.50 c #Conflicts: 295000 | #Constraints: 20601
2583.28/2590.50 c #Conflicts: 296000 | #Constraints: 21601
2583.28/2590.50 c #Conflicts: 297000 | #Constraints: 22601
2583.28/2590.50 c #Conflicts: 298000 | #Constraints: 23601
2583.28/2590.50 c #Conflicts: 299000 | #Constraints: 24601
2583.28/2590.50 c INPROCESSING
2583.28/2590.50 c GARBAGE COLLECT
2583.28/2590.50 c #Conflicts: 300000 | #Constraints: 14805
2583.28/2590.50 c #Conflicts: 301000 | #Constraints: 15805
2583.28/2590.50 c #Conflicts: 302000 | #Constraints: 16805
2583.28/2590.50 c #Conflicts: 303000 | #Constraints: 17805
2583.28/2590.50 c #Conflicts: 304000 | #Constraints: 18805
2583.28/2590.50 c #Conflicts: 305000 | #Constraints: 19805
2583.28/2590.50 c #Conflicts: 306000 | #Constraints: 20805
2583.28/2590.50 c #Conflicts: 307000 | #Constraints: 21805
2583.28/2590.50 c #Conflicts: 308000 | #Constraints: 22805
2583.28/2590.50 c #Conflicts: 309000 | #Constraints: 23805
2583.28/2590.50 c #Conflicts: 310000 | #Constraints: 24805
2583.28/2590.50 c INPROCESSING
2583.28/2590.50 c GARBAGE COLLECT
2583.28/2590.50 c #Conflicts: 311000 | #Constraints: 14806
2583.28/2590.50 c #Conflicts: 312000 | #Constraints: 15806
3573.14/3583.66 c #Conflicts: 313000 | #Constraints: 16806
3573.14/3583.66 c #Conflicts: 314000 | #Constraints: 17806
3573.14/3583.66 c #Conflicts: 315000 | #Constraints: 18806
3573.14/3583.66 c #Conflicts: 316000 | #Constraints: 19806
3573.14/3583.66 c #Conflicts: 317000 | #Constraints: 20806
3573.14/3583.66 c #Conflicts: 318000 | #Constraints: 21806
3573.14/3583.66 c #Conflicts: 319000 | #Constraints: 22806
3573.14/3583.66 c #Conflicts: 320000 | #Constraints: 23806
3573.14/3583.66 c #Conflicts: 321000 | #Constraints: 24806
3573.14/3583.66 c INPROCESSING
3573.14/3583.66 c GARBAGE COLLECT
3573.14/3583.66 c #Conflicts: 322000 | #Constraints: 14604
3573.14/3583.66 c #Conflicts: 323000 | #Constraints: 15604
3573.14/3583.66 c #Conflicts: 324000 | #Constraints: 16604
3573.14/3583.66 c #Conflicts: 325000 | #Constraints: 17604
3573.14/3583.66 c #Conflicts: 326000 | #Constraints: 18604
3573.14/3583.66 c #Conflicts: 327000 | #Constraints: 19604
3573.14/3583.66 c #Conflicts: 328000 | #Constraints: 20604
3573.14/3583.66 c #Conflicts: 329000 | #Constraints: 21604
3573.14/3583.66 c #Conflicts: 330000 | #Constraints: 22604
3573.14/3583.66 c #Conflicts: 331000 | #Constraints: 23604
3573.14/3583.66 c #Conflicts: 332000 | #Constraints: 24604
3573.14/3583.66 c #Conflicts: 333000 | #Constraints: 25604
3573.14/3583.66 c INPROCESSING
3573.14/3583.66 c GARBAGE COLLECT
3573.14/3583.66 c #Conflicts: 334000 | #Constraints: 15201
3573.14/3583.66 c #Conflicts: 335000 | #Constraints: 16201
3573.14/3583.66 c #Conflicts: 336000 | #Constraints: 17201
3573.14/3583.66 c #Conflicts: 337000 | #Constraints: 18201
3573.14/3583.66 c #Conflicts: 338000 | #Constraints: 19201
3573.14/3583.66 c #Conflicts: 339000 | #Constraints: 20201
3573.14/3583.66 c #Conflicts: 340000 | #Constraints: 21201
3573.14/3583.66 c #Conflicts: 341000 | #Constraints: 22201
3573.14/3583.66 c #Conflicts: 342000 | #Constraints: 23201
3573.14/3583.66 c #Conflicts: 343000 | #Constraints: 24201
3573.14/3583.66 c #Conflicts: 344000 | #Constraints: 25201
3573.14/3583.66 c #Conflicts: 345000 | #Constraints: 26201
3573.14/3583.66 c INPROCESSING
3573.14/3583.66 c GARBAGE COLLECT
3573.14/3583.66 c #Conflicts: 346000 | #Constraints: 15597
3573.14/3583.66 c #Conflicts: 347000 | #Constraints: 16597
3573.14/3583.66 c #Conflicts: 348000 | #Constraints: 17597
3573.14/3583.66 c #Conflicts: 349000 | #Constraints: 18597
3573.14/3583.66 c #Conflicts: 350000 | #Constraints: 19597
3573.14/3583.66 c #Conflicts: 351000 | #Constraints: 20597
3573.14/3583.66 c #Conflicts: 352000 | #Constraints: 21597
3573.14/3583.66 c #Conflicts: 353000 | #Constraints: 22597
3573.14/3583.66 c #Conflicts: 354000 | #Constraints: 23597
3573.14/3583.66 c #Conflicts: 355000 | #Constraints: 24597
3573.14/3583.66 c #Conflicts: 356000 | #Constraints: 25597
3573.14/3583.66 c #Conflicts: 357000 | #Constraints: 26597
3573.14/3583.66 c INPROCESSING
3573.14/3583.66 c GARBAGE COLLECT
3573.14/3583.66 c #Conflicts: 358000 | #Constraints: 15794
3573.14/3583.66 c #Conflicts: 359000 | #Constraints: 16794
3573.14/3583.66 c #Conflicts: 360000 | #Constraints: 17794
3573.14/3583.66 c #Conflicts: 361000 | #Constraints: 18794
3573.14/3583.66 c #Conflicts: 362000 | #Constraints: 19794
3573.14/3583.66 c #Conflicts: 363000 | #Constraints: 20794
3573.14/3583.66 c #Conflicts: 364000 | #Constraints: 21794
3573.14/3583.66 c #Conflicts: 365000 | #Constraints: 22794
3573.14/3583.66 c #Conflicts: 366000 | #Constraints: 23794
3573.14/3583.66 c #Conflicts: 367000 | #Constraints: 24794
3573.14/3583.66 c #Conflicts: 368000 | #Constraints: 25794
3573.14/3583.66 c #Conflicts: 369000 | #Constraints: 26794
3573.14/3583.66 c INPROCESSING
3573.14/3583.66 c GARBAGE COLLECT
3573.14/3583.66 c #Conflicts: 370000 | #Constraints: 15797
3573.14/3583.66 c #Conflicts: 371000 | #Constraints: 16797
3573.14/3583.66 c #Conflicts: 372000 | #Constraints: 17797
3573.14/3583.66 c #Conflicts: 373000 | #Constraints: 18797
3573.14/3583.66 c #Conflicts: 374000 | #Constraints: 19798
3573.14/3583.66 c #Conflicts: 375000 | #Constraints: 20798
3573.14/3583.66 c #Conflicts: 376000 | #Constraints: 21798
3573.14/3583.66 c #Conflicts: 377000 | #Constraints: 22798
3573.14/3583.66 c #Conflicts: 378000 | #Constraints: 23798
3573.14/3583.66 c #Conflicts: 379000 | #Constraints: 24798
3573.14/3583.66 c #Conflicts: 380000 | #Constraints: 25798
3573.14/3583.66 c #Conflicts: 381000 | #Constraints: 26798
3573.14/3583.66 c INPROCESSING
3573.14/3583.66 c GARBAGE COLLECT
3573.14/3583.66 c #Conflicts: 382000 | #Constraints: 15599
3573.14/3583.66 c #Conflicts: 383000 | #Constraints: 16599
3573.14/3583.66 c #Conflicts: 384000 | #Constraints: 17599
3573.14/3583.66 c #Conflicts: 385000 | #Constraints: 18599
3573.14/3583.66 c #Conflicts: 386000 | #Constraints: 19599
3600.06/3610.60 c #Conflicts: 387000 | #Constraints: 20599
3600.06/3610.60 c cpu time 3597.35 s
3600.06/3610.60 c deterministic time 517941100035 5.18e+11
3600.06/3610.60 c optimization time 67.0467 s
3600.06/3610.60 c total solve time 3530.3 s
3600.06/3610.60 c core-guided solve time 0 s
3600.06/3610.60 c propagation time 2635.7 s
3600.06/3610.60 c conflict analysis time 929.699 s
3600.06/3610.60 c propagations 160672366
3600.06/3610.60 c resolve steps 129647634
3600.06/3610.60 c decisions 475864
3600.06/3610.60 c conflicts 387872
3600.06/3610.60 c restarts 935
3600.06/3610.60 c inprocessing phases 53
3600.06/3610.60 c garbage collections 53 ,( 100.00 )
3600.06/3610.60 c input clauses 1872 ,( 62.84 )
3600.06/3610.60 c input cardinalities 0 ,( 0.00 )
3600.06/3610.60 c input general constraints 1107 ,( 37.16 )
3600.06/3610.60 c input average constraint length 3.74
3600.06/3610.60 c input average constraint degree 283459179786.07
3600.06/3610.60 c learned clauses 30545 ,( 7.87 )
3600.06/3610.60 c learned cardinalities 2 ,( 0.00 )
3600.06/3610.60 c learned general constraints 357358 ,( 92.13 )
3600.06/3610.60 c learned average constraint length 558.92
3600.06/3610.60 c learned average constraint degree 795663594.93
3600.06/3610.60 c watched CF 32, 64, 128, Arb: 2047 , 0 , 0 , 0
3600.06/3610.60 c counting CF 32, 64, 128, Arb: 356415 , 3 , 0 , 0
3600.06/3610.60 c watched constraints 2047 ,( 0.57 )
3600.06/3610.60 c counting constraints 356418 ,( 99.43 )
3600.06/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 46283798 , 3006 , 66415127554 ,( 8524391 , 66406603163 )
3600.06/3610.60 c gcd simplifications 2350
3600.06/3610.60 c detected cardinalities 1
3600.06/3610.60 c weakened non-implied lits 26720598
3600.06/3610.60 c weakened non-implying lits 893912
3600.06/3610.60 c original variables 1848
3600.06/3610.60 c clausal propagations 21352084
3600.06/3610.60 c cardinality propagations 1
3600.06/3610.60 c watched propagations 67443
3600.06/3610.60 c counting propagations 138871273
3600.06/3610.60 c watch lookups 68045480843
3600.06/3610.60 c watch backjump lookups 0
3600.06/3610.60 c watch checks 235347777
3600.06/3610.60 c propagation checks 447529975609
3600.06/3610.60 c constraint additions 1807546839
3600.06/3610.60 c trail pops 161534653
3600.06/3610.60 c formula constraints 2979
3600.06/3610.60 c learned constraints 387872
3600.06/3610.60 c bound constraints 0
3600.06/3610.60 c core-guided constraints 0
3600.06/3610.60 c encountered formula constraints 128759226
3600.06/3610.60 c encountered learned constraints 1269775
3600.06/3610.60 c encountered bound constraints 0
3600.06/3610.60 c encountered core-guided constraints 0
3600.06/3610.60 c LP total time 4.84689 s
3600.06/3610.60 c LP solve time 4.1 s
3600.06/3610.60 c LP constraints added 2983
3600.06/3610.60 c LP constraints removed 0
3600.06/3610.60 c LP pivots internal 39612
3600.06/3610.60 c LP pivots root 26471
3600.06/3610.60 c LP calls 125
3600.06/3610.60 c LP optimalities 26
3600.06/3610.60 c LP no pivot count 1
3600.06/3610.60 c LP infeasibilities 34
3600.06/3610.60 c LP valid Farkas constraints 29
3600.06/3610.60 c LP learned Farkas constraints 0
3600.06/3610.60 c LP basis resets 63
3600.06/3610.60 c LP cycling count 7
3600.06/3610.60 c LP singular count 7
3600.06/3610.60 c LP no primal count 0
3600.06/3610.60 c LP no farkas count 0
3600.06/3610.60 c LP other issue count 49
3600.06/3610.60 c LP Gomory cuts 4
3600.06/3610.60 c LP learned cuts 0
3600.06/3610.60 c LP deleted cuts 0
3600.06/3610.60 c LP encountered Gomory constraints 1
3600.06/3610.60 c LP encountered Farkas constraints 6504
3600.06/3610.60 c LP encountered learned Farkas constraints 0
3600.06/3610.60 c CG auxiliary variables introduced 0
3600.06/3610.60 c CG solutions found 0
3600.06/3610.60 c CG cores constructed 0
3600.06/3610.60 c CG core cardinality constraints returned 0
3600.06/3610.60 c CG unit cores 0
3600.06/3610.60 c CG single cores 0
3600.06/3610.60 c CG blocks removed during cardinality reduction 0
3600.06/3610.60 c CG first core best 0
3600.06/3610.60 c CG decision core best 0
3600.06/3610.60 c CG core reduction tie 0
3600.06/3610.60 c CG core degree average 0.00
3600.06/3610.60 c CG core slack average 0.00
3600.06/3610.60 c CG core upper bound improvements 0
3600.06/3610.60 c STR number of successful calls 0
3600.06/3610.60 c STR number of unsuccessful calls 0
3600.06/3610.60 c STR number of inconclusive calls 0
3600.06/3610.60 c STR number of successful attempts 0
3600.06/3610.60 c STR number of unsuccessful attempts 0
3600.06/3610.60 c STR number of inconclusive attempts 0
3600.06/3610.60 c STR average degree increase per successful call inf
3600.06/3610.60 c STR average degree increase per successful attempt inf
3600.06/3610.60 c STR total number of conflicts for successful attempts 0
3600.06/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.60 c STR average number of conflicts per successful attempt inf
3600.06/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.60 c AVG.sumWPerc 98.79
3600.06/3610.60 c bigint constraints 3
3600.06/3610.60 s UNKNOWN
3600.06/3610.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62458 MiB free)
memory of node 1: 64507 MiB (63661 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541956-1753206207/watcher-4541956-1753206207 -o /tmp/evaluation-result-4541956-1753206207/solver-4541956-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167335 --watchdog 3760 run-dec.sh HOME/instance-4541956-1753206207.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=168146, runsolver pid=168143
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.12 4.11 4.13 5/269 168148
/proc/meminfo: memFree=129143008/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=62156 memory=16616 CPUtime=0.08 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 2615 0 0 0 8 0 0 0 20 0 1 0 236298595 63647744 4154 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 15539 4154 2336 1147 0 2966 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66348 KiB
Current children cumulated memory: 19560 KiB
[startup+0.205402 s]*
/proc/loadavg: 4.12 4.11 4.13 5/269 168148
/proc/meminfo: memFree=129142756/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=62820 memory=17512 CPUtime=0.18 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 2836 0 0 0 18 0 0 0 20 0 1 0 236298595 64327680 4378 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 15705 4378 2336 1147 0 3132 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67012 KiB
Current children cumulated memory: 20456 KiB
[startup+0.304885 s]*
/proc/loadavg: 4.12 4.11 4.13 5/269 168148
/proc/meminfo: memFree=129140740/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=63352 memory=18408 CPUtime=0.28 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 3035 0 0 0 28 0 0 0 20 0 1 0 236298595 64872448 4602 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 15838 4602 2336 1147 0 3265 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67544 KiB
Current children cumulated memory: 21352 KiB
[startup+0.700134 s]
/proc/loadavg: 4.12 4.11 4.13 5/269 168148
/proc/meminfo: memFree=129136708/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=65468 memory=21352 CPUtime=0.68 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 3791 0 0 0 67 1 0 0 20 0 1 0 236298595 67039232 5338 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 16367 5338 2336 1147 0 3794 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69660 KiB
Current children cumulated memory: 24296 KiB
[startup+1.50013 s]
/proc/loadavg: 4.12 4.11 4.13 5/269 168148
/proc/meminfo: memFree=129136880/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=70504 memory=28400 CPUtime=1.47 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 5039 0 0 0 146 1 0 0 20 0 1 0 236298595 72196096 7100 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 17626 7100 2336 1147 0 5053 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 74696 KiB
Current children cumulated memory: 31344 KiB
[startup+3.10535 s]
/proc/loadavg: 4.11 4.11 4.13 5/269 168148
/proc/meminfo: memFree=129114084/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=81552 memory=38256 CPUtime=3.08 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 7484 0 0 0 306 2 0 0 20 0 1 0 236298595 83509248 9564 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 20388 9564 2336 1147 0 7815 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85744 KiB
Current children cumulated memory: 41200 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.11 4.13 5/269 168148
/proc/meminfo: memFree=129072756/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=108604 memory=61576 CPUtime=6.26 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 12824 0 0 0 622 4 0 0 20 0 1 0 236298595 111210496 15394 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 27151 15394 2336 1147 0 14578 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 112796 KiB
Current children cumulated memory: 64520 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.13 5/269 168148
/proc/meminfo: memFree=128994640/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=129544 memory=82056 CPUtime=12.64 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 16384 0 0 0 1257 7 0 0 20 0 1 0 236298595 132653056 20514 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 32386 20514 2368 1147 0 19813 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 133736 KiB
Current children cumulated memory: 85000 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.12 5/269 168149
/proc/meminfo: memFree=128918176/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=169996 memory=107564 CPUtime=25.41 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 22205 0 0 0 2530 11 0 0 20 0 1 0 236298595 174075904 26891 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 42499 26891 2400 1147 0 29926 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 174188 KiB
Current children cumulated memory: 110508 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.11 4.13 5/269 168149
/proc/meminfo: memFree=128806440/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=175360 memory=121516 CPUtime=50.95 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 24693 0 0 0 5077 18 0 0 20 0 1 0 236298595 179568640 30379 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 43840 30379 2400 1147 0 31267 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 179552 KiB
Current children cumulated memory: 124460 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/269 168151
/proc/meminfo: memFree=128559436/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=225060 memory=149956 CPUtime=102 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 30762 0 0 0 10171 29 0 0 20 0 1 0 236298595 230461440 37489 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 56265 37489 2400 1147 0 43692 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 229252 KiB
Current children cumulated memory: 152900 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/269 168154
/proc/meminfo: memFree=128465616/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=226888 memory=157612 CPUtime=161.84 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 31672 0 0 0 16145 39 0 0 20 0 1 0 236298595 232333312 39403 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 56722 39403 2400 1147 0 44149 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 231080 KiB
Current children cumulated memory: 160556 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/269 168156
/proc/meminfo: memFree=128312196/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=233856 memory=166692 CPUtime=221.67 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 33441 0 0 0 22119 48 0 0 20 0 1 0 236298595 239468544 41673 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 58464 41673 2400 1147 0 45891 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/168148/statm: 129824 105801 2400 1147 0 117251 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 523488 KiB
Current children cumulated memory: 426148 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 168311
/proc/meminfo: memFree=126508900/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=519980 memory=423460 CPUtime=3093.4 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 69988 0 0 0 309096 244 0 0 20 0 1 0 236298595 532459520 105865 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 129995 105865 2400 1147 0 117422 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 524172 KiB
Current children cumulated memory: 426404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 168313
/proc/meminfo: memFree=126484344/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=529452 memory=429348 CPUtime=3153.2 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 71450 0 0 0 315072 248 0 0 20 0 1 0 236298595 542158848 107337 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 132363 107337 2400 1147 0 119790 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 533644 KiB
Current children cumulated memory: 432292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 168315
/proc/meminfo: memFree=126444016/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=533888 memory=434428 CPUtime=3213.01 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 72197 0 0 0 321048 253 0 0 20 0 1 0 236298595 546701312 108607 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 133472 108607 2400 1147 0 120899 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 538080 KiB
Current children cumulated memory: 437372 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 168318
/proc/meminfo: memFree=126440064/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=533888 memory=434428 CPUtime=3272.81 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 72197 0 0 0 327024 257 0 0 20 0 1 0 236298595 546701312 108607 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 133472 108607 2400 1147 0 120899 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 538080 KiB
Current children cumulated memory: 437372 KiB
[startup+3342.3 s]
/proc/loadavg: 4.33 4.16 4.11 5/268 168321
/proc/meminfo: memFree=126372396/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=534316 memory=434684 CPUtime=3332.61 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 72271 0 0 0 333002 259 0 0 20 0 1 0 236298595 547139584 108671 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 133579 108671 2400 1147 0 121006 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 538508 KiB
Current children cumulated memory: 437628 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/268 168323
/proc/meminfo: memFree=126332512/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=534912 memory=435324 CPUtime=3392.41 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 72417 0 0 0 338980 261 0 0 20 0 1 0 236298595 547749888 108831 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 133728 108831 2400 1147 0 121155 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 539104 KiB
Current children cumulated memory: 438268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 168325
/proc/meminfo: memFree=126322596/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=534912 memory=435324 CPUtime=3452.23 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 72420 0 0 0 344960 263 0 0 20 0 1 0 236298595 547749888 108831 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 133728 108831 2400 1147 0 121155 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 539104 KiB
Current children cumulated memory: 438268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/268 168327
/proc/meminfo: memFree=126276380/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=539180 memory=437756 CPUtime=3512.03 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 73055 0 0 0 350938 265 0 0 20 0 1 0 236298595 552120320 109439 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 134795 109439 2400 1147 0 122222 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 543372 KiB
Current children cumulated memory: 440700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/268 168329
/proc/meminfo: memFree=126238688/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=542764 memory=444184 CPUtime=3571.85 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 73615 0 0 0 356915 270 0 0 20 0 1 0 236298595 555790336 111046 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 135691 111046 2400 1147 0 123118 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 546956 KiB
Current children cumulated memory: 447128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.08 4.11 4.09 2/253 168361
/proc/meminfo: memFree=128708956/131249996 swapFree=33010672/33010684
[pid=168146] ppid=168143 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/168146/stat : 168146 (run-dec.sh) S 168143 168146 167318 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236298595 4292608 736 18446744073709551615 94119679127552 94119680022085 140721284625712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94119680261136 94119680308880 94119680823296 140721284634987 140721284635110 140721284635110 140721284640714 0
/proc/168146/statm: 1048 736 672 219 0 110 0
[pid=168148] ppid=168146 vsize=542764 memory=444184 CPUtime=3600.06 cores=0,2
/proc/168148/stat : 168148 (roundingsat) R 168146 168146 167318 0 -1 4194304 73615 0 0 0 359735 271 0 0 20 0 1 0 236298595 555790336 111046 18446744073709551615 4227072 8923433 140726913141280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28188672 140726913149365 140726913149478 140726913149478 140726913155050 0
/proc/168148/statm: 135691 111046 2400 1147 0 123118 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 546956 KiB
Current children cumulated memory: 447128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 168146 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000839 s, system=0.000837 s
[startup+3610.61 s]
# the end of solver process 168148 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3597.36 s, system=2.71804 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.61
CPU time (s): 3600.07
CPU user time (s): 3597.36
CPU system time (s): 2.71804
CPU usage (%): 99.7082
Max. virtual memory (cumulated for all children) (KiB): 546956
Max. memory (cumulated for all children) (KiB): 447128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.36
system time used= 2.71804
maximum resident set size= 444440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73840
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= 185
involuntary context switches= 9145
# summary of solver processes directly reported to runsolver:
# pid: 168146,168148
# total CPU time (s): 3600.07
# total CPU user time (s): 3597.36
# total CPU system time (s): 2.71804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08349 second user time and 16.3801 second system time
The end
Begin job on nodeC024 at 2025-07-22 19:43:27
IDJOB=4541956
IDBENCH=163695
IDSOLVER=3349
FILE ID=nodeC024/4541956-1753206207
RUNJOBID= nodeC024-1753198973-167335
SLURM_JOB_ID= 9687757
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-24diag_spec_greater.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541956-1753206207/watcher-4541956-1753206207 -o /tmp/evaluation-result-4541956-1753206207/solver-4541956-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167335 --watchdog 3760 run-dec.sh HOME/instance-4541956-1753206207.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 873561b121a1050aedee7e68f97b01fd
RANDOM SEED=2091113130
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3599.678
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3599.682
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3504.247
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3599.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.674
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.573
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129147352 kB
MemAvailable: 129686300 kB
Buffers: 2128 kB
Cached: 1301580 kB
SwapCached: 8 kB
Active: 1241364 kB
Inactive: 174352 kB
Active(anon): 136668 kB
Inactive(anon): 1588 kB
Active(file): 1104696 kB
Inactive(file): 172764 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30044 kB
Writeback: 0 kB
AnonPages: 115196 kB
Mapped: 121684 kB
Shmem: 26248 kB
KReclaimable: 201056 kB
Slab: 296460 kB
SReclaimable: 201056 kB
SUnreclaim: 95404 kB
KernelStack: 4336 kB
PageTables: 3468 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 476100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC024 at 2025-07-22 20:43:38