0.99/0.74 c Concrete v3.9.2.1532736233296 running
15.06/5.99 c 05:07:07.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15670. 'extension(x[1][1]=[0‥3], 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.06/6.00 c 05:07:07.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15697. 'extension(x[1][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.06/6.00 c 05:07:07.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(3, x[3][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.06/6.00 c 05:07:07.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15727. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.06/6.00 c 05:07:07.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15755. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.06/6.00 c 05:07:07.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1382717704, 4 edges, 3 vertices, 3 tuples
15.06/6.00 c 05:07:07.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15812. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1202479419, 4 edges, 3 vertices, 3 tuples
15.38/6.01 c 05:07:07.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15813. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(3, 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15843. 'extension(3, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 279544722, 4 edges, 3 vertices, 3 tuples
15.38/6.01 c 05:07:07.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[5][4]=[0‥3], 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.643 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15907. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15937. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15967. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
15.38/6.01 c 05:07:07.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[9][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(3, x[12][4]=[0‥3]) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(3, 3) :: init: true :: relation: MDD 473061882, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.649 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16054. 'extension(3, x[12][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16057. 'extension(3, 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16085. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16114. 'extension(3, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 937860163, 4 edges, 3 vertices, 3 tuples
15.38/6.02 c 05:07:07.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16115. 'extension(x[12][14]=[0‥3], 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.02 c 05:07:07.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16116. 'extension(3, x[14][14]=[0‥3]) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16145. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16175. 'extension(x[14][7]=[0‥3], 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16205. 'extension(x[14][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16238. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16268. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16298. 'extension(3, 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16325. 'extension(x[15][18]=[0‥3], 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.38/6.03 c 05:07:07.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16358. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16385. 'extension(3, x[18][7]=[0‥3]) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16388. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16415. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. 'extension(3, x[18][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16448. 'extension(3, 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16478. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16505. 'extension(x[16][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16538. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
15.38/6.04 c 05:07:07.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16595. 'extension(x[17][16]=[0‥3], 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16625. 'extension(3, x[19][18]=[0‥3]) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16628. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16658. 'extension(3, 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 365201320, 4 edges, 3 vertices, 3 tuples
15.38/6.05 c 05:07:07.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16689. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16716. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1585776625, 4 edges, 3 vertices, 3 tuples
15.38/6.05 c 05:07:07.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16720. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16747. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 521985523, 4 edges, 3 vertices, 3 tuples
15.38/6.05 c 05:07:07.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16751. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16778. 'extension(3, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1434769862, 4 edges, 3 vertices, 3 tuples
15.38/6.05 c 05:07:07.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16779. 'extension(3, x[20][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16782. 'extension(3, 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16809. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2080444788, 4 edges, 3 vertices, 3 tuples
15.38/6.05 c 05:07:07.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16810. 'extension(3, x[21][3]=[0‥3]) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
15.38/6.05 c 05:07:07.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16813. 'extension(3, 3) :: init: true :: relation: MDD 1913257909, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16840. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 218688965, 4 edges, 3 vertices, 3 tuples
15.38/6.06 c 05:07:07.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16844. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1974918491, 4 edges, 3 vertices, 3 tuples
15.38/6.06 c 05:07:07.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16875. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16905. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16935. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16962. 'extension(3, x[23][8]=[0‥3]) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16965. 'extension(3, 3) :: init: true :: relation: MDD 1387556178, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16995. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17022. 'extension(x[22][2]=[0‥3], 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17052. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.06 c 05:07:07.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17082. 'extension(x[22][10]=[0‥3], 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17112. 'extension(x[22][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17113. 'extension(3, x[24][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17142. 'extension(3, x[24][16]=[0‥3]) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17145. 'extension(3, 3) :: init: true :: relation: MDD 1705634364, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17205. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17235. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17265. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17292. 'extension(3, x[26][7]=[0‥3]) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.07 c 05:07:07.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17295. 'extension(3, 3) :: init: true :: relation: MDD 2050715938, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17325. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 1084698317, 4 edges, 3 vertices, 3 tuples
15.38/6.08 c 05:07:07.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17356. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17383. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1609509548, 4 edges, 3 vertices, 3 tuples
15.38/6.08 c 05:07:07.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17387. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17414. 'extension(3, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 411408557, 4 edges, 3 vertices, 3 tuples
15.38/6.08 c 05:07:07.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17415. 'extension(x[25][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17416. 'extension(3, x[27][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17445. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 1368251707, 4 edges, 3 vertices, 3 tuples
15.38/6.08 c 05:07:07.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(x[25][14]=[0‥3], 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17476. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 380556447, 4 edges, 3 vertices, 3 tuples
15.38/6.08 c 05:07:07.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17477. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17507. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 1990282381, 4 edges, 3 vertices, 3 tuples
15.38/6.08 c 05:07:07.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. 'extension(3, x[28][2]=[0‥3]) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17511. 'extension(3, 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.38/6.08 c 05:07:07.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17538. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1980959273, 4 edges, 3 vertices, 3 tuples
15.38/6.08 c 05:07:07.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17542. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17569. 'extension(3, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 858846125, 4 edges, 3 vertices, 3 tuples
15.38/6.09 c 05:07:07.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17570. 'extension(x[26][13]=[0‥3], 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17600. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 1846435308, 4 edges, 3 vertices, 3 tuples
15.38/6.09 c 05:07:07.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17604. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17631. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1816633311, 4 edges, 3 vertices, 3 tuples
15.38/6.09 c 05:07:07.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17632. 'extension(3, x[28][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17635. 'extension(3, 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17662. 'extension(3, x[29][10]=[0‥3]) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17665. 'extension(3, 3) :: init: true :: relation: MDD 298862004, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17695. 'extension(3, 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17725. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[27][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17753. 'extension(3, x[29][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.38/6.09 c 05:07:07.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17782. 'extension(3, x[30][13]=[0‥3]) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17785. 'extension(3, 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17842. 'extension(3, x[31][14]=[0‥3]) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17845. 'extension(3, 3) :: init: true :: relation: MDD 552266488, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17872. 'extension(x[30][15]=[0‥3], 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17902. 'extension(x[31][0]=[0‥3], 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[31][6]=[0‥3], 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17962. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17965. 'extension(3, 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.38/6.10 c 05:07:07.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 554510956, 4 edges, 3 vertices, 3 tuples
15.38/6.10 c 05:07:07.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17996. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.38/6.11 c 05:07:07.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(3, wk[2][4]=[0‥1]) :: init: true :: relation: MDD 1860802916, 4 edges, 3 vertices, 3 tuples
15.38/6.11 c 05:07:07.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[32][2]=[0‥3], 3) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.72/6.11 c 05:07:07.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18025. 'extension(3, x[34][2]=[0‥3]) :: init: true :: relation: MDD 222250245, 5 edges, 4 vertices, 3 tuples
15.72/6.11 c 05:07:07.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 185209393, 4 edges, 3 vertices, 3 tuples
15.72/6.11 c 05:07:07.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
15.72/6.11 c 05:07:07.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18085. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1082579195, 4 edges, 3 vertices, 3 tuples
15.72/6.11 c 05:07:07.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18089. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.72/6.11 c 05:07:07.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18116. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 1184166964, 4 edges, 3 vertices, 3 tuples
15.72/6.11 c 05:07:07.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18120. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. 'extension(3, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 1338332733, 4 edges, 3 vertices, 3 tuples
15.72/6.12 c 05:07:07.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18148. 'extension(x[33][9]=[0‥3], 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(3, x[36][0]=[0‥3]) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18181. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18208. 'extension(3, x[36][6]=[0‥3]) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18211. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18241. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18268. 'extension(x[34][17]=[0‥3], 3) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18269. 'extension(3, x[36][17]=[0‥3]) :: init: true :: relation: MDD 766621271, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18301. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18328. 'extension(x[35][18]=[0‥3], 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
15.72/6.12 c 05:07:07.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18391. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[36][11]=[0‥3], 3) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18419. 'extension(3, x[38][11]=[0‥3]) :: init: true :: relation: MDD 225507106, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18451. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18481. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18511. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18538. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18541. 'extension(3, 3) :: init: true :: relation: MDD 227549952, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18598. 'extension(3, x[40][9]=[0‥3]) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18601. 'extension(3, 3) :: init: true :: relation: MDD 693434027, 5 edges, 4 vertices, 3 tuples
15.72/6.13 c 05:07:07.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1459040434, 4 edges, 3 vertices, 3 tuples
15.72/6.13 c 05:07:07.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18632. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18659. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 2033254313, 4 edges, 3 vertices, 3 tuples
15.72/6.14 c 05:07:07.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18663. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18690. 'extension(3, wk[13][5]=[0‥1]) :: init: true :: relation: MDD 223566397, 4 edges, 3 vertices, 3 tuples
15.72/6.14 c 05:07:07.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18691. 'extension(x[40][13]=[0‥3], 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18721. 'extension(3, x[43][5]=[0‥3]) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18724. 'extension(3, 3) :: init: true :: relation: MDD 2111669429, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18751. 'extension(3, x[43][13]=[0‥3]) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18754. 'extension(3, 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18781. 'extension(x[43][15]=[0‥3], 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18782. 'extension(3, x[45][15]=[0‥3]) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18811. 'extension(x[45][12]=[0‥3], 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
15.72/6.14 c 05:07:07.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1090160486, 4 edges, 3 vertices, 3 tuples
15.72/6.14 c 05:07:07.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18845. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18872. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1715413882, 4 edges, 3 vertices, 3 tuples
15.72/6.15 c 05:07:07.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18876. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18903. 'extension(3, wk[19][6]=[0‥1]) :: init: true :: relation: MDD 1290795133, 4 edges, 3 vertices, 3 tuples
15.72/6.15 c 05:07:07.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18904. 'extension(x[47][19]=[0‥3], 3) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(3, x[49][19]=[0‥3]) :: init: true :: relation: MDD 1483050851, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18934. 'extension(x[48][1]=[0‥3], 3) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(3, x[50][1]=[0‥3]) :: init: true :: relation: MDD 1706741895, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18967. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(x[48][15]=[0‥3], 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
15.72/6.15 c 05:07:07.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19057. 'extension(3, 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19084. 'extension(3, x[52][12]=[0‥3]) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(3, 3) :: init: true :: relation: MDD 2127123542, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19113. 'extension(3, x[52][15]=[0‥3]) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19116. 'extension(3, 3) :: init: true :: relation: MDD 1879000767, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19142. 'extension(x[51][0]=[0‥3], 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19170. 'extension(3, x[54][0]=[0‥3]) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(3, 3) :: init: true :: relation: MDD 583351682, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19197. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 998157332, 4 edges, 3 vertices, 3 tuples
15.72/6.16 c 05:07:07.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19198. 'extension(x[53][6]=[0‥3], 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 2004687135, 4 edges, 3 vertices, 3 tuples
15.72/6.16 c 05:07:07.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19224. 'extension(3, 3) :: init: true :: relation: MDD 1487884406, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(3, 3) :: init: true :: relation: MDD 244668763, 4 edges, 3 vertices, 3 tuples
15.72/6.16 c 05:07:07.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1250558105, 4 edges, 3 vertices, 3 tuples
15.72/6.16 c 05:07:07.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19246. 'extension(x[54][13]=[0‥3], 3) :: init: true :: relation: MDD 1985235978, 5 edges, 4 vertices, 3 tuples
15.72/6.16 c 05:07:07.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19247. 'extension(3, x[54][13]=[0‥3]) :: init: true :: relation: MDD 728370857, 4 edges, 3 vertices, 3 tuples
15.72/6.17 c 05:07:07.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. 'extension(x[1][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.17 c 05:07:07.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19314. 'extension(x[1][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.17 c 05:07:07.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19316. 'extension(x[3][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.17 c 05:07:07.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19334. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.17 c 05:07:07.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19336. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.17 c 05:07:07.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19338. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19348. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19350. 'extension(x[5][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19360. 'extension(x[9][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19366. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19376. 'extension(x[12][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19390. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19392. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19406. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19408. 'extension(x[12][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(x[14][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19424. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19430. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19436. 'extension(x[14][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.18 c 05:07:07.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19454. 'extension(x[15][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19460. 'extension(x[18][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19470. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19476. 'extension(x[18][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. 'extension(x[16][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19500. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19506. 'extension(x[19][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19520. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19522. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19524. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19530. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19532. 'extension(x[20][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19542. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19544. 'extension(x[21][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19554. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19556. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19558. 'extension(x[23][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19568. 'extension(x[22][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19574. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19580. 'extension(x[22][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19586. 'extension(x[22][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19588. 'extension(x[24][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19602. 'extension(x[24][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19624. 'extension(x[26][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19634. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19636. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19638. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19640. 'extension(x[25][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19642. 'extension(x[27][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19656. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19658. 'extension(x[25][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.72/6.19 c 05:07:07.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19664. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19666. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19672. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19674. 'extension(x[28][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19684. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19686. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(x[26][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19694. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19700. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19702. 'extension(x[28][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19716. 'extension(x[29][10]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19730. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. 'extension(x[29][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19746. 'extension(x[30][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. 'extension(x[31][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19766. 'extension(x[30][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19772. 'extension(x[31][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. 'extension(x[31][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19784. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19798. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19804. 'extension(wk[2][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19806. 'extension(x[32][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19808. 'extension(x[34][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19830. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19832. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(x[33][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19840. 'extension(x[36][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.20 c 05:07:07.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19850. 'extension(x[36][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19864. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. 'extension(x[36][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19880. 'extension(x[35][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19886. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19892. 'extension(x[36][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19894. 'extension(x[38][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19916. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19926. 'extension(x[40][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19936. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19938. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19940. 'extension(wk[13][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19942. 'extension(x[40][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19948. 'extension(x[43][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19958. 'extension(x[43][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19972. 'extension(x[43][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19974. 'extension(x[45][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.21 c 05:07:07.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19988. 'extension(x[45][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19994. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20000. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20002. 'extension(wk[19][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20004. 'extension(x[47][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20006. 'extension(x[49][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(x[48][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. 'extension(x[50][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20036. 'extension(x[48][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20046. 'extension(x[52][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20056. 'extension(x[52][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20066. 'extension(x[51][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20072. 'extension(x[54][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20086. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20088. 'extension(x[53][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20094. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20100. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.03/6.22 c 05:07:07.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20104. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
2520.06/2461.20 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.06/2461.20 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.06/2461.20 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.06/2461.20 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.06/2461.20 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.06/2461.20 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.06/2461.20 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.06/2461.20 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.06/2461.20 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.06/2461.20 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.06/2461.20 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.06/2461.20 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.06/2461.20 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.06/2461.20 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.06/2461.20 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.06/2461.20 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.06/2461.20 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.06/2461.20 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.06/2461.20 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.06/2461.20 at scala.Option.map(Option.scala:146)
2520.06/2461.20 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.06/2461.20 at concrete.MAC.mac(MAC.scala:203)
2520.06/2461.20 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.06/2461.20 at scala.util.Try$.apply(Try.scala:209)
2520.06/2461.20 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.06/2461.20 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.06/2461.20 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.06/2461.20 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.06/2461.20 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.06/2461.20 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.06/2461.20 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.06/2461.20 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.06/2461.20 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.06/2461.20 at concrete.MAC.oneRun(MAC.scala:253)
2520.06/2461.20 at concrete.MAC.nextSolution(MAC.scala:272)
2520.06/2461.21 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.06/2461.21 at concrete.ProblemState.map(ProblemState.scala:221)
2520.06/2461.21 at concrete.ProblemState.map(ProblemState.scala:204)
2520.06/2461.21 at concrete.MAC.nextSolution(MAC.scala:334)
2520.06/2461.21 at concrete.Solver.hasNext(Solver.scala:166)
2520.06/2461.21 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.06/2461.21 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.06/2461.21 at concrete.Solver.foreach(Solver.scala:68)
2520.06/2461.21 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.06/2461.21 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.06/2461.21 at scala.util.Success.map(Try.scala:209)
2520.06/2461.21 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2461.21 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.06/2461.21 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.06/2461.21 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2461.21 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.06/2461.21 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.06/2461.21 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.06/2461.21 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.06/2461.21 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.06/2461.21 at scala.collection.immutable.List.foreach(List.scala:389)
2520.06/2461.21 at scala.App.main(App.scala:76)
2520.06/2461.21 at scala.App.main$(App.scala:74)
2520.06/2461.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.06/2461.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2461.22 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (1801 MiB free)
memory of node 1: 16384 MiB (2669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304166-1534043221/watcher-4304166-1534043221 -o /tmp/evaluation-result-4304166-1534043221/solver-4304166-1534043221 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13581 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=95866682 -superng HOME/instance-4304166-1534043221.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14036, runsolver pid=14033
[startup+0.100094 s]*
/proc/loadavg: 1.83 1.51 1.42 5/206 14093
/proc/meminfo: memFree=4570312/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=10005480 memory=18860 CPUtime=0.08 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 4365 12911 0 0 1 0 5 2 20 0 6 0 221885278 10245611520 4715 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2501370 4715 1934 1 0 2489808 0
[pid=14036/tid=14089] ppid=14033 vsize=10005480 memory=4279135703913235855 CPUtime=0.08 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 2168 12911 0 0 1 0 5 2 20 0 6 0 221885287 10245611520 4715 33554432000 4194304 4196468 140727975701504 140111622955600 140111651140765 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 6 0 221885287 10245611520 4715 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=10005480 memory=139753286043264 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 6 0 221885287 10245611520 4715 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 6 0 221885287 10245611520 4715 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 2 12911 0 0 0 0 5 2 20 0 6 0 221885287 10245611520 4715 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB
[startup+0.209819 s]*
/proc/loadavg: 1.83 1.51 1.42 5/215 14102
/proc/meminfo: memFree=4547572/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=10983736 memory=44928 CPUtime=0.25 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 7956 12911 0 0 17 1 5 2 20 0 15 0 221885278 11247345664 11232 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2745934 11232 2953 1 0 2708357 0
[pid=14036/tid=14089] ppid=14033 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 4692 12911 0 0 11 0 5 2 20 0 15 0 221885287 11247345664 11430 33554432000 4194304 4196468 140727975701504 140111622943648 140111643798557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=10983736 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11247345664 11430 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=10985364 memory=3616870223023212192 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11249012736 11430 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11249012736 11430 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 2 12911 0 0 0 0 5 2 20 0 15 0 221885287 11249012736 11496 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=10985364 memory=139753286043264 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 2 12911 0 0 0 0 5 2 20 0 15 0 221885289 11249012736 11496 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 13 12911 0 0 0 0 5 2 20 0 15 0 221885289 11249012736 11496 33554432000 4194304 4196468 140727975701504 140110490232352 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885289 11249012736 11496 33554432000 4194304 4196468 140727975701504 140110288905584 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11249012736 11496 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 366 12911 0 0 1 0 5 2 20 0 15 0 221885292 11249012736 11562 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) S 14033 14036 11630 0 -1 1077944384 248 12911 0 0 0 0 5 2 20 0 15 0 221885292 11249012736 11562 33554432000 4194304 4196468 140727975701504 140110618249456 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=10985364 memory=139753286043264 CPUtime=0.1 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) S 14033 14036 11630 0 -1 1077944384 610 12911 0 0 3 0 5 2 20 0 15 0 221885292 11249012736 11562 33554432000 4194304 4196468 140727975701504 140110617196656 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11249012736 11562 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=10985364 memory=139753286043264 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885292 11249012736 11562 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 44928 KiB
[startup+0.310181 s]*
/proc/loadavg: 1.83 1.51 1.42 6/215 14102
/proc/meminfo: memFree=4535192/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=10983192 memory=55368 CPUtime=0.38 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 10426 12911 0 0 29 2 5 2 20 0 15 0 221885278 11246788608 13842 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2745798 13842 3072 1 0 2708109 0
[pid=14036/tid=14089] ppid=14033 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 6964 12911 0 0 20 1 5 2 20 0 15 0 221885287 11246788608 13842 33554432000 4194304 4196468 140727975701504 140111622930848 140111635199326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 13842 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 13842 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 13842 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 2 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 13842 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 2 12911 0 0 0 0 5 2 20 0 15 0 221885289 11246788608 13842 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 13 12911 0 0 0 0 5 2 20 0 15 0 221885289 11246788608 13842 33554432000 4194304 4196468 140727975701504 140110490232352 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885289 11246788608 13842 33554432000 4194304 4196468 140727975701504 140110288905584 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11246788608 13842 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 367 12911 0 0 2 0 5 2 20 0 15 0 221885292 11246788608 13842 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) S 14033 14036 11630 0 -1 1077944384 248 12911 0 0 1 0 5 2 20 0 15 0 221885292 11246788608 13842 33554432000 4194304 4196468 140727975701504 140110618249456 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=10983192 memory=139753286043264 CPUtime=0.11 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) R 14033 14036 11630 0 -1 4202560 627 12911 0 0 4 0 5 2 20 0 15 0 221885292 11246788608 13842 33554432000 4194304 4196468 140727975701504 140110617196656 140111635199326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11246788608 13842 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=10983192 memory=139753286043264 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885292 11246788608 13842 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55368 KiB
[startup+0.700739 s]
/proc/loadavg: 1.83 1.51 1.42 5/215 14102
/proc/meminfo: memFree=4524648/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=10983192 memory=88700 CPUtime=0.99 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 16771 12911 0 0 88 4 5 2 20 0 15 0 221885278 11246788608 22175 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2745798 22175 3247 1 0 2708109 0
[pid=14036/tid=14089] ppid=14033 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 12206 12911 0 0 57 2 5 2 20 0 15 0 221885287 11246788608 22175 33554432000 4194304 4196468 140727975701504 140111622939664 140111631394567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 22175 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 22175 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 22175 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 2 12911 0 0 0 0 5 2 20 0 15 0 221885287 11246788608 22175 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 5 12911 0 0 0 0 5 2 20 0 15 0 221885289 11246788608 22175 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=10983192 memory=139753135682256 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 13 12911 0 0 0 0 5 2 20 0 15 0 221885289 11246788608 22175 33554432000 4194304 4196468 140727975701504 140110490232352 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=10983192 memory=139753940845155 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885289 11246788608 22175 33554432000 4194304 4196468 140727975701504 140110288905584 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=10983192 memory=10824 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11246788608 22175 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=10983192 memory=7234564758908855872 CPUtime=0.14 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 737 12911 0 0 7 0 5 2 20 0 15 0 221885292 11246788608 22175 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=10983192 memory=8099279071866868843 CPUtime=0.16 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) S 14033 14036 11630 0 -1 1077944384 881 12911 0 0 9 0 5 2 20 0 15 0 221885292 11246788608 22175 33554432000 4194304 4196468 140727975701504 140110618249456 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=10983192 memory=6154282490091891024 CPUtime=0.2 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) S 14033 14036 11630 0 -1 1077944384 720 12911 0 0 13 0 5 2 20 0 15 0 221885292 11246788608 22175 33554432000 4194304 4196468 140727975701504 140110617196656 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=10983192 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11246788608 22175 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885292 11246788608 22175 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88700 KiB
[startup+1.50865 s]
/proc/loadavg: 2.00 1.55 1.44 6/215 14102
/proc/meminfo: memFree=4449708/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=10993996 memory=174720 CPUtime=3.21 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 26206 12911 0 0 307 7 5 2 20 0 15 0 221885278 11257851904 43614 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2748499 43680 3449 1 0 2710157 0
[pid=14036/tid=14089] ppid=14033 vsize=10993996 memory=12813 CPUtime=1.46 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 16011 12911 0 0 134 5 5 2 20 0 15 0 221885287 11257851904 43680 33554432000 4194304 4196468 140727975701504 140111622943216 140111635199326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11257851904 43680 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11257851904 43680 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=10993996 memory=21 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885287 11257851904 43680 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=10993996 memory=88700 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 2 12911 0 0 0 0 5 2 20 0 15 0 221885287 11257851904 43680 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 13 12911 0 0 0 0 5 2 20 0 15 0 221885289 11257851904 43680 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=10993996 memory=279506271306224 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 13 12911 0 0 0 0 5 2 20 0 15 0 221885289 11257851904 43680 33554432000 4194304 4196468 140727975701504 140110490232352 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=10993996 memory=279506271357024 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885289 11257851904 43680 33554432000 4194304 4196468 140727975701504 140110288905584 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11257851904 43680 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=10993996 memory=4638778398332698720 CPUtime=0.65 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 3153 12911 0 0 58 0 5 2 20 0 15 0 221885292 11257851904 43680 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=10993996 memory=279506271640448 CPUtime=0.71 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) R 14033 14036 11630 0 -1 4202560 2854 12911 0 0 64 0 5 2 20 0 15 0 221885292 11257851904 43680 33554432000 4194304 4196468 140727975701504 140110618236000 140111630364687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=10993996 memory=-7531822216213012384 CPUtime=0.56 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) S 14033 14036 11630 0 -1 1077944384 1957 12911 0 0 49 0 5 2 20 0 15 0 221885292 11257851904 43680 33554432000 4194304 4196468 140727975701504 140110617196656 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=10993996 memory=-7531822216213012384 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11257851904 43680 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=10993996 memory=-7233780906022716832 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 1 12911 0 0 0 0 5 2 20 0 15 0 221885292 11257851904 43680 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 122762 12911 0 0 230186 51 5 2 20 0 15 0 221885287 11348049920 334558 33554432000 4194304 4196468 140727975701504 140111622952864 140111203055182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=11082080 memory=1343276 CPUtime=9.82 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 26994 12911 0 0 922 53 5 2 20 0 15 0 221885287 11348049920 334558 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=11082080 memory=1343276 CPUtime=9.78 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 30765 12911 0 0 919 52 5 2 20 0 15 0 221885287 11348049920 334558 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=11082080 memory=1343276 CPUtime=9.78 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 27759 12911 0 0 917 54 5 2 20 0 15 0 221885287 11348049920 334558 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=11082080 memory=1343276 CPUtime=9.82 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 39788 12911 0 0 923 52 5 2 20 0 15 0 221885287 11348049920 334558 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=11082080 memory=1342772 CPUtime=6.99 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 24442 12911 0 0 653 39 5 2 20 0 15 0 221885289 11348049920 334558 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=11082080 memory=1343276 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 14 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 334558 33554432000 4194304 4196468 140727975701504 140110490232416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=11082080 memory=1341268 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 334558 33554432000 4194304 4196468 140727975701504 140110288905600 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=11082080 memory=1338232 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 334558 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=11082080 memory=1338232 CPUtime=12.47 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 120633 12911 0 0 1229 11 5 2 20 0 15 0 221885292 11348049920 334558 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=11082080 memory=7 CPUtime=12.59 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) S 14033 14036 11630 0 -1 1077944384 111189 12911 0 0 1241 11 5 2 20 0 15 0 221885292 11348049920 334558 33554432000 4194304 4196468 140727975701504 140110618249456 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=11082080 memory=4128 CPUtime=5.06 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) S 14033 14036 11630 0 -1 1077944384 113888 12911 0 0 487 12 5 2 20 0 15 0 221885292 11348049920 334558 33554432000 4194304 4196468 140727975701504 140110617196656 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=11082080 memory=1338188 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 334558 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=11082080 memory=1338232 CPUtime=1.4 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 2670 12911 0 0 61 72 5 2 20 0 15 0 221885292 11348049920 334558 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 2379.62 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1338232 KiB
[startup+2382.3 s]
/proc/loadavg: 1.19 1.24 1.33 3/215 14176
/proc/meminfo: memFree=2430080/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=11082080 memory=1347516 CPUtime=2440.27 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 625420 12911 0 0 243661 359 5 2 20 0 15 0 221885278 11348049920 336879 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2770520 336879 3533 1 0 2732173 0
[pid=14036/tid=14089] ppid=14033 vsize=11082080 memory=1347516 CPUtime=2361.92 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 123712 12911 0 0 236134 51 5 2 20 0 15 0 221885287 11348049920 336879 33554432000 4194304 4196468 140727975701504 140111622953072 140111204551848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=11082080 memory=13567093857585738 CPUtime=10.05 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 27111 12911 0 0 945 53 5 2 20 0 15 0 221885287 11348049920 336879 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=11082080 memory=1347516 CPUtime=10.03 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 30976 12911 0 0 943 53 5 2 20 0 15 0 221885287 11348049920 336879 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=11082080 memory=1347516 CPUtime=10.02 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 28297 12911 0 0 940 55 5 2 20 0 15 0 221885287 11348049920 336879 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=11082080 memory=1347516 CPUtime=10.06 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 39882 12911 0 0 945 54 5 2 20 0 15 0 221885287 11348049920 336879 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=11082080 memory=1347516 CPUtime=7.16 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 24810 12911 0 0 670 39 5 2 20 0 15 0 221885289 11348049920 336879 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=11082080 memory=1347476 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 14 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 336879 33554432000 4194304 4196468 140727975701504 140110490232416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=11082080 memory=1347516 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 336879 33554432000 4194304 4196468 140727975701504 140110288905600 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=11082080 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 336879 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=11082080 memory=1347516 CPUtime=12.47 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 120635 12911 0 0 1229 11 5 2 20 0 15 0 221885292 11348049920 336879 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=11082080 memory=60312 CPUtime=12.59 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) S 14033 14036 11630 0 -1 1077944384 111193 12911 0 0 1241 11 5 2 20 0 15 0 221885292 11348049920 336879 33554432000 4194304 4196468 140727975701504 140110618249456 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=11082080 memory=1347496 CPUtime=5.06 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) S 14033 14036 11630 0 -1 1077944384 113892 12911 0 0 487 12 5 2 20 0 15 0 221885292 11348049920 336879 33554432000 4194304 4196468 140727975701504 140110617196656 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=11082080 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 336879 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=11082080 memory=1347516 CPUtime=1.43 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 2693 12911 0 0 63 73 5 2 20 0 15 0 221885292 11348049920 336879 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 2440.27 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1347516 KiB
[startup+2442.3 s]
/proc/loadavg: 1.07 1.20 1.31 3/215 14177
/proc/meminfo: memFree=2429948/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=11082080 memory=1347552 CPUtime=2500.95 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 627733 12911 0 0 249724 364 5 2 20 0 15 0 221885278 11348049920 336888 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2770520 336888 3533 1 0 2732173 0
[pid=14036/tid=14089] ppid=14033 vsize=11082080 memory=1347552 CPUtime=2421.42 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 124670 12911 0 0 242083 52 5 2 20 0 15 0 221885287 11348049920 336888 33554432000 4194304 4196468 140727975701504 140111622953008 140111203328668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=11082080 memory=1347540 CPUtime=10.3 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 27579 12911 0 0 969 54 5 2 20 0 15 0 221885287 11348049920 336888 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=11082080 memory=1347540 CPUtime=10.28 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 31209 12911 0 0 967 54 5 2 20 0 15 0 221885287 11348049920 336888 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=11082080 memory=1347552 CPUtime=10.26 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 28352 12911 0 0 964 55 5 2 20 0 15 0 221885287 11348049920 336888 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=11082080 memory=1347552 CPUtime=10.3 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 40087 12911 0 0 968 55 5 2 20 0 15 0 221885287 11348049920 336888 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=11082080 memory=1347540 CPUtime=7.34 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 25182 12911 0 0 687 40 5 2 20 0 15 0 221885289 11348049920 336888 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=11082080 memory=1347552 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 14 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 336888 33554432000 4194304 4196468 140727975701504 140110490232416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=11082080 memory=1347552 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 336888 33554432000 4194304 4196468 140727975701504 140110288905600 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=11082080 memory=1347552 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 336888 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=11082080 memory=1347552 CPUtime=12.47 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 120637 12911 0 0 1229 11 5 2 20 0 15 0 221885292 11348049920 336888 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=11082080 memory=1347552 CPUtime=12.59 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) S 14033 14036 11630 0 -1 1077944384 111196 12911 0 0 1241 11 5 2 20 0 15 0 221885292 11348049920 336888 33554432000 4194304 4196468 140727975701504 140110618249456 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=11082080 memory=1347552 CPUtime=5.06 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) S 14033 14036 11630 0 -1 1077944384 113895 12911 0 0 487 12 5 2 20 0 15 0 221885292 11348049920 336888 33554432000 4194304 4196468 140727975701504 140110617196656 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=11082080 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 336888 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=11082080 memory=4128 CPUtime=1.47 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 2707 12911 0 0 65 75 5 2 20 0 15 0 221885292 11348049920 336888 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 2500.95 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1347552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.2 s]
/proc/loadavg: 1.48 1.29 1.34 3/215 14305
/proc/meminfo: memFree=2936696/32770624 swapFree=67108860/67108860
[pid=14036] ppid=14033 vsize=11082080 memory=1347576 CPUtime=2520.06 cores=1,3,5,7
/proc/14036/stat : 14036 (java) S 14033 14036 11630 0 -1 1077944320 627971 12911 0 0 251633 366 5 2 20 0 15 0 221885278 11348049920 336894 33554432000 4194304 4196468 140727975701504 140727975684048 140111651118839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
/proc/14036/statm: 2770520 336894 3533 1 0 2732173 0
[pid=14036/tid=14089] ppid=14033 vsize=11082080 memory=6791534058613427641 CPUtime=2440.15 cores=1,3,5,7
/proc/14036/task/14089/stat : 14089 (java) R 14033 14036 11630 0 -1 4202560 124806 12911 0 0 243955 53 5 2 20 0 15 0 221885287 11348049920 336894 33554432000 4194304 4196468 140727975701504 140111622952976 140111189105172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14090] ppid=14033 vsize=11082080 memory=4128 CPUtime=10.38 cores=1,3,5,7
/proc/14036/task/14090/stat : 14090 (java) S 14033 14036 11630 0 -1 1077944384 27590 12911 0 0 976 55 5 2 20 0 15 0 221885287 11348049920 336894 33554432000 4194304 4196468 140727975701504 140111655361168 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14091] ppid=14033 vsize=11082080 memory=1347576 CPUtime=10.36 cores=1,3,5,7
/proc/14036/task/14091/stat : 14091 (java) S 14033 14036 11630 0 -1 1077944384 31227 12911 0 0 975 54 5 2 20 0 15 0 221885287 11348049920 336894 33554432000 4194304 4196468 140727975701504 140111510080016 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14092] ppid=14033 vsize=11082080 memory=1788 CPUtime=10.34 cores=1,3,5,7
/proc/14036/task/14092/stat : 14092 (java) S 14033 14036 11630 0 -1 1077944384 28399 12911 0 0 971 56 5 2 20 0 15 0 221885287 11348049920 336894 33554432000 4194304 4196468 140727975701504 140111509027216 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14093] ppid=14033 vsize=11082080 memory=1347576 CPUtime=10.37 cores=1,3,5,7
/proc/14036/task/14093/stat : 14093 (java) S 14033 14036 11630 0 -1 1077944384 40104 12911 0 0 975 55 5 2 20 0 15 0 221885287 11348049920 336894 33554432000 4194304 4196468 140727975701504 140111507974416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14094] ppid=14033 vsize=11082080 memory=1347576 CPUtime=7.4 cores=1,3,5,7
/proc/14036/task/14094/stat : 14094 (java) S 14033 14036 11630 0 -1 1077944384 25189 12911 0 0 693 40 5 2 20 0 15 0 221885289 11348049920 336894 33554432000 4194304 4196468 140727975701504 140110620355440 140111651129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14095] ppid=14033 vsize=11082080 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14095/stat : 14095 (java) S 14033 14036 11630 0 -1 1077944384 14 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 336894 33554432000 4194304 4196468 140727975701504 140110490232416 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14096] ppid=14033 vsize=11082080 memory=2416 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14096/stat : 14096 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885289 11348049920 336894 33554432000 4194304 4196468 140727975701504 140110288905600 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14097] ppid=14033 vsize=11082080 memory=4465 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14097/stat : 14097 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 336894 33554432000 4194304 4196468 140727975701504 140109981505872 140111651137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14098] ppid=14033 vsize=11082080 memory=4420 CPUtime=12.47 cores=1,3,5,7
/proc/14036/task/14098/stat : 14098 (java) S 14033 14036 11630 0 -1 1077944384 120637 12911 0 0 1229 11 5 2 20 0 15 0 221885292 11348049920 336894 33554432000 4194304 4196468 140727975701504 140110619302256 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14099] ppid=14033 vsize=11082080 memory=0 CPUtime=12.59 cores=1,3,5,7
/proc/14036/task/14099/stat : 14099 (java) S 14033 14036 11630 0 -1 1077944384 111196 12911 0 0 1241 11 5 2 20 0 15 0 221885292 11348049920 336894 33554432000 4194304 4196468 140727975701504 140110618249456 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14100] ppid=14033 vsize=11082080 memory=4420 CPUtime=5.06 cores=1,3,5,7
/proc/14036/task/14100/stat : 14100 (java) S 14033 14036 11630 0 -1 1077944384 113895 12911 0 0 487 12 5 2 20 0 15 0 221885292 11348049920 336894 33554432000 4194304 4196468 140727975701504 140110617196656 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14101] ppid=14033 vsize=11082080 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/14036/task/14101/stat : 14101 (java) S 14033 14036 11630 0 -1 1077944384 3 12911 0 0 0 0 5 2 20 0 15 0 221885292 11348049920 336894 33554432000 4194304 4196468 140727975701504 140109550708960 140111651129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
[pid=14036/tid=14102] ppid=14033 vsize=11082080 memory=8836 CPUtime=1.48 cores=1,3,5,7
/proc/14036/task/14102/stat : 14102 (java) S 14033 14036 11630 0 -1 1077944384 2709 12911 0 0 65 76 5 2 20 0 15 0 221885292 11348049920 336894 33554432000 4194304 4196468 140727975701504 140110616145072 140111651129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27238400 140727975705189 140727975707996 140727975707996 140727975710671 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1347576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.24 s]
# the end of solver process 14036 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.42 s, system=3.71041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2461.24
CPU time (s): 2520.13
CPU user time (s): 2516.42
CPU system time (s): 3.71041
CPU usage (%): 102.393
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1729876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.71042
maximum resident set size= 1742312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208812
involuntary context switches= 6862
# summary of solver processes directly reported to runsolver:
# pid: 14036
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.42
# total CPU system time (s): 3.71041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5427 second user time and 21.1736 second system time
The end