0.98/0.74 c Concrete v3.9.2.1532736233296 running
16.14/6.14 c 05:13:27.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15670. 'extension(x[1][1]=[0‥3], 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.14/6.14 c 05:13:27.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15697. 'extension(x[1][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.14/6.14 c 05:13:27.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(3, x[3][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.14/6.15 c 05:13:27.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15727. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.14/6.15 c 05:13:27.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15755. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.14/6.15 c 05:13:27.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 205023576, 4 edges, 3 vertices, 3 tuples
16.14/6.15 c 05:13:27.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.14/6.15 c 05:13:27.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15812. 'extension(3, wk[1][0]=[0‥1]) :: init: true :: relation: MDD 1154895182, 4 edges, 3 vertices, 3 tuples
16.14/6.15 c 05:13:27.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15813. 'extension(3, x[7][1]=[0‥3]) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.14/6.15 c 05:13:27.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(3, 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15843. 'extension(3, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 678787773, 4 edges, 3 vertices, 3 tuples
16.14/6.16 c 05:13:27.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[5][4]=[0‥3], 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15907. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15937. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15967. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[9][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(3, x[12][4]=[0‥3]) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(3, 3) :: init: true :: relation: MDD 2144962543, 5 edges, 4 vertices, 3 tuples
16.14/6.16 c 05:13:27.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16054. 'extension(3, x[12][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.14/6.17 c 05:13:27.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16057. 'extension(3, 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.14/6.17 c 05:13:27.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(x[10][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.14/6.17 c 05:13:27.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16085. 'extension(3, x[12][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.14/6.17 c 05:13:27.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16114. 'extension(3, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1043773344, 4 edges, 3 vertices, 3 tuples
16.14/6.18 c 05:13:27.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16115. 'extension(x[12][14]=[0‥3], 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16116. 'extension(3, x[14][14]=[0‥3]) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16145. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16175. 'extension(x[14][7]=[0‥3], 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16205. 'extension(x[14][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16238. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16268. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16298. 'extension(3, 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16325. 'extension(x[15][18]=[0‥3], 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16358. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16385. 'extension(3, x[18][7]=[0‥3]) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.14/6.18 c 05:13:27.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16388. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16415. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.654 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. 'extension(3, x[18][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16448. 'extension(3, 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16478. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.657 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16505. 'extension(x[16][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16538. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
16.14/6.19 c 05:13:27.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16595. 'extension(x[17][16]=[0‥3], 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16625. 'extension(3, x[19][18]=[0‥3]) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16628. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16658. 'extension(3, 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1069131391, 4 edges, 3 vertices, 3 tuples
16.44/6.20 c 05:13:27.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16689. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16716. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 2117103751, 4 edges, 3 vertices, 3 tuples
16.44/6.20 c 05:13:27.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16720. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16747. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1620989914, 4 edges, 3 vertices, 3 tuples
16.44/6.20 c 05:13:27.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16751. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16778. 'extension(3, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1747644505, 4 edges, 3 vertices, 3 tuples
16.44/6.20 c 05:13:27.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16779. 'extension(3, x[20][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16782. 'extension(3, 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16809. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1432535753, 4 edges, 3 vertices, 3 tuples
16.44/6.20 c 05:13:27.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16810. 'extension(3, x[21][3]=[0‥3]) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16813. 'extension(3, 3) :: init: true :: relation: MDD 1724736027, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16840. 'extension(3, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 445350376, 4 edges, 3 vertices, 3 tuples
16.44/6.20 c 05:13:27.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16844. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
16.44/6.20 c 05:13:27.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1298350375, 4 edges, 3 vertices, 3 tuples
16.44/6.21 c 05:13:27.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16875. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16905. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16935. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16962. 'extension(3, x[23][8]=[0‥3]) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16965. 'extension(3, 3) :: init: true :: relation: MDD 1301763240, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16995. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17022. 'extension(x[22][2]=[0‥3], 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17052. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17082. 'extension(x[22][10]=[0‥3], 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17112. 'extension(x[22][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.44/6.21 c 05:13:27.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17113. 'extension(3, x[24][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17142. 'extension(3, x[24][16]=[0‥3]) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17145. 'extension(3, 3) :: init: true :: relation: MDD 1761011037, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17205. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17235. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17265. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17292. 'extension(3, x[26][7]=[0‥3]) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17295. 'extension(3, 3) :: init: true :: relation: MDD 224878495, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17325. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 639482242, 4 edges, 3 vertices, 3 tuples
16.44/6.22 c 05:13:27.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17356. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17383. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1198952052, 4 edges, 3 vertices, 3 tuples
16.44/6.22 c 05:13:27.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17387. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
16.44/6.22 c 05:13:27.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17414. 'extension(3, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1494158416, 4 edges, 3 vertices, 3 tuples
16.44/6.23 c 05:13:27.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17415. 'extension(x[25][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.44/6.23 c 05:13:27.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17416. 'extension(3, x[27][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.44/6.23 c 05:13:27.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17445. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 878511419, 4 edges, 3 vertices, 3 tuples
16.44/6.23 c 05:13:27.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(x[25][14]=[0‥3], 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.44/6.23 c 05:13:27.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17476. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1898730595, 4 edges, 3 vertices, 3 tuples
16.44/6.23 c 05:13:27.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17477. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.44/6.23 c 05:13:27.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17507. 'extension(3, wk[2][3]=[0‥1]) :: init: true :: relation: MDD 586479858, 4 edges, 3 vertices, 3 tuples
16.44/6.23 c 05:13:27.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. 'extension(3, x[28][2]=[0‥3]) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.23 c 05:13:27.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17511. 'extension(3, 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.23 c 05:13:27.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17538. 'extension(3, wk[10][3]=[0‥1]) :: init: true :: relation: MDD 1532644077, 4 edges, 3 vertices, 3 tuples
16.44/6.23 c 05:13:27.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17542. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
16.44/6.23 c 05:13:27.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17569. 'extension(3, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 41810270, 4 edges, 3 vertices, 3 tuples
16.44/6.24 c 05:13:27.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17570. 'extension(x[26][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17600. 'extension(3, wk[14][3]=[0‥1]) :: init: true :: relation: MDD 1049312121, 4 edges, 3 vertices, 3 tuples
16.44/6.24 c 05:13:27.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17604. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17631. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 789885174, 4 edges, 3 vertices, 3 tuples
16.44/6.24 c 05:13:27.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17632. 'extension(3, x[28][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17635. 'extension(3, 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17662. 'extension(3, x[29][10]=[0‥3]) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17665. 'extension(3, 3) :: init: true :: relation: MDD 108012266, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17695. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17725. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[27][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17753. 'extension(3, x[29][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17782. 'extension(3, x[30][13]=[0‥3]) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17785. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17842. 'extension(3, x[31][14]=[0‥3]) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.44/6.24 c 05:13:27.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17845. 'extension(3, 3) :: init: true :: relation: MDD 495650048, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17872. 'extension(x[30][15]=[0\xe2\x80\xa53], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17902. 'extension(x[31][0]=[0‥3], 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[31][6]=[0‥3], 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17962. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17965. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1038002783, 4 edges, 3 vertices, 3 tuples
16.44/6.25 c 05:13:27.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17996. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(3, wk[2][4]=[0‥1]) :: init: true :: relation: MDD 1084698317, 4 edges, 3 vertices, 3 tuples
16.44/6.25 c 05:13:27.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[32][2]=[0‥3], 3) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18025. 'extension(3, x[34][2]=[0‥3]) :: init: true :: relation: MDD 994712181, 5 edges, 4 vertices, 3 tuples
16.44/6.25 c 05:13:27.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 1565397985, 4 edges, 3 vertices, 3 tuples
16.44/6.26 c 05:13:27.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18085. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 2137034273, 4 edges, 3 vertices, 3 tuples
16.44/6.26 c 05:13:27.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18089. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18116. 'extension(3, wk[6][4]=[0‥1]) :: init: true :: relation: MDD 964094970, 4 edges, 3 vertices, 3 tuples
16.44/6.26 c 05:13:27.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18120. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. 'extension(3, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 1826195973, 4 edges, 3 vertices, 3 tuples
16.44/6.26 c 05:13:27.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18148. 'extension(x[33][9]=[0‥3], 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(3, x[36][0]=[0‥3]) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18181. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18208. 'extension(3, x[36][6]=[0‥3]) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18211. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18241. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18268. 'extension(x[34][17]=[0‥3], 3) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18269. 'extension(3, x[36][17]=[0‥3]) :: init: true :: relation: MDD 984235065, 5 edges, 4 vertices, 3 tuples
16.44/6.26 c 05:13:27.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18301. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18328. 'extension(x[35][18]=[0‥3], 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18391. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[36][11]=[0‥3], 3) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18419. 'extension(3, x[38][11]=[0‥3]) :: init: true :: relation: MDD 372261610, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18451. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18481. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18511. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18538. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18541. 'extension(3, 3) :: init: true :: relation: MDD 1183912264, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
16.44/6.27 c 05:13:27.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18598. 'extension(3, x[40][9]=[0‥3]) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18601. 'extension(3, 3) :: init: true :: relation: MDD 636575568, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1476915117, 4 edges, 3 vertices, 3 tuples
16.44/6.28 c 05:13:27.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18632. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18659. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 2095602418, 4 edges, 3 vertices, 3 tuples
16.44/6.28 c 05:13:27.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18663. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18690. 'extension(3, wk[13][5]=[0‥1]) :: init: true :: relation: MDD 1747237139, 4 edges, 3 vertices, 3 tuples
16.44/6.28 c 05:13:27.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18691. 'extension(x[40][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18721. 'extension(3, x[43][5]=[0‥3]) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18724. 'extension(3, 3) :: init: true :: relation: MDD 803685654, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18751. 'extension(3, x[43][13]=[0‥3]) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18754. 'extension(3, 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18781. 'extension(x[43][15]=[0‥3], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18782. 'extension(3, x[45][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.28 c 05:13:27.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18811. 'extension(x[45][12]=[0‥3], 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
16.44/6.29 c 05:13:27.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1975171943, 4 edges, 3 vertices, 3 tuples
16.44/6.29 c 05:13:27.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18845. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
16.44/6.29 c 05:13:27.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18872. 'extension(3, wk[12][6]=[0‥1]) :: init: true :: relation: MDD 1775046789, 4 edges, 3 vertices, 3 tuples
16.44/6.29 c 05:13:27.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18876. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
16.44/6.29 c 05:13:27.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18903. 'extension(3, wk[19][6]=[0‥1]) :: init: true :: relation: MDD 1093703004, 4 edges, 3 vertices, 3 tuples
16.44/6.30 c 05:13:27.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18904. 'extension(x[47][19]=[0‥3], 3) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(3, x[49][19]=[0‥3]) :: init: true :: relation: MDD 1137013089, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18934. 'extension(x[48][1]=[0‥3], 3) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(3, x[50][1]=[0‥3]) :: init: true :: relation: MDD 1404150776, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18967. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(x[48][15]=[0‥3], 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19057. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19084. 'extension(3, x[52][12]=[0‥3]) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(3, 3) :: init: true :: relation: MDD 423870962, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19113. 'extension(3, x[52][15]=[0‥3]) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.44/6.30 c 05:13:27.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19116. 'extension(3, 3) :: init: true :: relation: MDD 1695301724, 5 edges, 4 vertices, 3 tuples
16.79/6.30 c 05:13:27.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19142. 'extension(x[51][0]=[0‥3], 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.79/6.30 c 05:13:27.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19170. 'extension(3, x[54][0]=[0‥3]) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.79/6.30 c 05:13:27.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(3, 3) :: init: true :: relation: MDD 746436902, 5 edges, 4 vertices, 3 tuples
16.79/6.30 c 05:13:27.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19197. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 1625097607, 4 edges, 3 vertices, 3 tuples
16.79/6.30 c 05:13:27.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19198. 'extension(x[53][6]=[0‥3], 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
16.79/6.30 c 05:13:27.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(3, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 572137576, 4 edges, 3 vertices, 3 tuples
16.79/6.31 c 05:13:27.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19224. 'extension(3, 3) :: init: true :: relation: MDD 1745331030, 5 edges, 4 vertices, 3 tuples
16.79/6.31 c 05:13:27.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(3, 3) :: init: true :: relation: MDD 1625321341, 4 edges, 3 vertices, 3 tuples
16.79/6.31 c 05:13:27.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 1244560331, 4 edges, 3 vertices, 3 tuples
16.79/6.31 c 05:13:27.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19246. 'extension(x[54][13]=[0‥3], 3) :: init: true :: relation: MDD 2038585029, 5 edges, 4 vertices, 3 tuples
16.79/6.31 c 05:13:27.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19247. 'extension(3, x[54][13]=[0‥3]) :: init: true :: relation: MDD 409007038, 4 edges, 3 vertices, 3 tuples
16.79/6.31 c 05:13:27.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. 'extension(x[1][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19314. 'extension(x[1][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19316. 'extension(x[3][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19334. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19336. 'extension(wk[1][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19338. 'extension(x[7][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19348. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19350. 'extension(x[5][4]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19360. 'extension(x[9][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19366. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19376. 'extension(x[12][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19390. 'extension(x[10][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19392. 'extension(x[12][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19406. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19408. 'extension(x[12][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(x[14][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19424. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19430. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19436. 'extension(x[14][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19454. 'extension(x[15][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19460. 'extension(x[18][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19470. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19476. 'extension(x[18][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. 'extension(x[16][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19500. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.32 c 05:13:27.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19506. 'extension(x[19][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.33 c 05:13:27.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19520. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19522. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19524. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19530. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19532. 'extension(x[20][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19542. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19544. 'extension(x[21][3]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19554. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19556. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19558. 'extension(x[23][8]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19568. 'extension(x[22][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19574. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19580. 'extension(x[22][10]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19586. 'extension(x[22][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19588. 'extension(x[24][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19602. 'extension(x[24][16]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19624. 'extension(x[26][7]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19634. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19636. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19638. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19640. 'extension(x[25][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19642. 'extension(x[27][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19656. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19658. 'extension(x[25][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19664. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19666. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19672. 'extension(wk[2][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19674. 'extension(x[28][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19684. 'extension(wk[10][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19686. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(x[26][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19694. 'extension(wk[14][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19700. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19702. 'extension(x[28][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19716. 'extension(x[29][10]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19730. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. 'extension(x[29][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19746. 'extension(x[30][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. 'extension(x[31][14]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19766. 'extension(x[30][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19772. 'extension(x[31][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.34 c 05:13:27.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. 'extension(x[31][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19784. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19798. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19804. 'extension(wk[2][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19806. 'extension(x[32][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19808. 'extension(x[34][2]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19830. 'extension(wk[6][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19832. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(x[33][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19840. 'extension(x[36][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19850. 'extension(x[36][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19864. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. 'extension(x[36][17]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19880. 'extension(x[35][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19886. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19892. 'extension(x[36][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19894. 'extension(x[38][11]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19916. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19926. 'extension(x[40][9]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19936. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19938. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19940. 'extension(wk[13][5]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19942. 'extension(x[40][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.35 c 05:13:27.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19948. 'extension(x[43][5]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19958. 'extension(x[43][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19972. 'extension(x[43][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19974. 'extension(x[45][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19988. 'extension(x[45][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19994. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20000. 'extension(wk[12][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20002. 'extension(wk[19][6]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20004. 'extension(x[47][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20006. 'extension(x[49][19]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(x[48][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. 'extension(x[50][1]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20036. 'extension(x[48][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20046. 'extension(x[52][12]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20056. 'extension(x[52][15]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20066. 'extension(x[51][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20072. 'extension(x[54][0]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20086. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20088. 'extension(x[53][6]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20094. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20100. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
16.79/6.36 c 05:13:27.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20104. 'extension(x[54][13]=[0‥3]) :: init: true :: relation: Empty MDD
2520.09/2456.11 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.09/2456.11 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.09/2456.11 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.09/2456.11 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.09/2456.11 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.09/2456.11 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.09/2456.11 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.09/2456.11 at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.09/2456.11 at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.09/2456.11 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.09/2456.11 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2456.11 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.09/2456.11 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.09/2456.11 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2456.11 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.09/2456.11 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.09/2456.11 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2456.11 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.09/2456.11 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.09/2456.11 at scala.Option.map(Option.scala:146)
2520.09/2456.11 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.09/2456.11 at concrete.MAC.mac(MAC.scala:203)
2520.09/2456.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.09/2456.11 at scala.util.Try$.apply(Try.scala:209)
2520.09/2456.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2456.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2456.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2456.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2456.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.09/2456.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2456.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2456.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2456.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2456.11 at concrete.MAC.oneRun(MAC.scala:253)
2520.09/2456.11 at concrete.MAC.nextSolution(MAC.scala:272)
2520.09/2456.11 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.09/2456.11 at concrete.ProblemState.map(ProblemState.scala:221)
2520.09/2456.11 at concrete.ProblemState.map(ProblemState.scala:204)
2520.09/2456.11 at concrete.MAC.nextSolution(MAC.scala:334)
2520.09/2456.11 at concrete.Solver.hasNext(Solver.scala:166)
2520.09/2456.11 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.09/2456.11 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.09/2456.11 at concrete.Solver.foreach(Solver.scala:68)
2520.09/2456.11 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.09/2456.11 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2456.11 at scala.util.Success.map(Try.scala:209)
2520.09/2456.11 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.09/2456.11 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.09/2456.11 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.09/2456.11 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.09/2456.11 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.09/2456.11 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2456.11 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2456.11 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2456.11 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2456.11 at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2456.11 at scala.App.main(App.scala:76)
2520.09/2456.11 at scala.App.main$(App.scala:74)
2520.09/2456.11 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.09/2456.11 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2456.12 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 (3183 MiB free)
memory of node 1: 16384 MiB (3125 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304165-1534043601/watcher-4304165-1534043601 -o /tmp/evaluation-result-4304165-1534043601/solver-4304165-1534043601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17408 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1651745534 HOME/instance-4304165-1534043601.xml
running on 4 cores: 0,2,4,6
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=17862, runsolver pid=17859
[startup+0.110479 s]*
/proc/loadavg: 1.34 1.31 1.32 7/208 17920
/proc/meminfo: memFree=6428392/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=10453864 memory=23872 CPUtime=0.09 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 4606 12978 0 0 2 0 5 2 20 0 9 0 221923242 10704756736 5968 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2613466 5968 2101 1 0 2576007 0
[pid=17862/tid=17915] ppid=17859 vsize=10453864 memory=4351193297984783754 CPUtime=0.09 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 2403 12978 0 0 2 0 5 2 20 0 9 0 221923251 10704756736 5968 33554432000 4194304 4196468 140733001375968 139738835595120 139738846217408 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=10453864 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 9 0 221923252 10704756736 5968 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=10453864 memory=140474198685312 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 9 0 221923252 10704756736 5968 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=10453864 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 9 0 221923252 10704756736 5968 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=10453864 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 9 0 221923252 10704756736 5968 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=10453864 memory=140474198685312 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 9 0 221923253 10704756736 5968 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=10453864 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 13 12978 0 0 0 0 5 2 20 0 9 0 221923254 10704756736 5968 33554432000 4194304 4196468 140733001375968 139737700492576 139738863769301 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=10453864 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 9 0 221923254 10704756736 5968 33554432000 4194304 4196468 140733001375968 139737499166384 139738863769301 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 23872 KiB
[startup+0.210215 s]*
/proc/loadavg: 1.34 1.31 1.32 5/216 17928
/proc/meminfo: memFree=6395196/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=10982744 memory=44824 CPUtime=0.25 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 8564 12978 0 0 17 1 5 2 20 0 15 0 221923242 11246329856 11206 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2745694 11206 2945 1 0 2708117 0
[pid=17862/tid=17915] ppid=17859 vsize=10982776 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 5308 12978 0 0 10 1 5 2 20 0 15 0 221923251 11246362624 11403 33554432000 4194304 4196468 140733001375968 139738835583904 139738856438813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=10982776 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246362624 11403 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=10982776 memory=4050058742660232864 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246362624 11403 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246362624 11403 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246362624 11469 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=10982776 memory=140474198685312 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 221923253 11246362624 11469 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 13 12978 0 0 0 0 5 2 20 0 15 0 221923254 11246362624 11535 33554432000 4194304 4196468 140733001375968 139737700492576 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923254 11246362624 11535 33554432000 4194304 4196468 140733001375968 139737499166320 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246362624 11535 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) S 17859 17862 15321 0 -1 1077944384 365 12978 0 0 1 0 5 2 20 0 15 0 221923257 11246362624 11601 33554432000 4194304 4196468 140733001375968 139737830500464 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) S 17859 17862 15321 0 -1 1077944384 250 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246362624 11601 33554432000 4194304 4196468 140733001375968 139737829447664 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=10982776 memory=140474198685312 CPUtime=0.1 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) S 17859 17862 15321 0 -1 1077944384 630 12978 0 0 3 0 5 2 20 0 15 0 221923257 11246362624 11601 33554432000 4194304 4196468 140733001375968 139737828395376 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17927] ppid=17859 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17927/stat : 17927 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246362624 11667 33554432000 4194304 4196468 140733001375968 139736760969696 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17928] ppid=17859 vsize=10982776 memory=140474198685312 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17928/stat : 17928 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246362624 11667 33554432000 4194304 4196468 140733001375968 139737827343280 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44824 KiB
[startup+0.310466 s]*
/proc/loadavg: 1.34 1.31 1.32 5/216 17928
/proc/meminfo: memFree=6368496/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=10983192 memory=55284 CPUtime=0.38 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 10435 12978 0 0 29 2 5 2 20 0 15 0 221923242 11246788608 13821 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2745798 13821 3064 1 0 2708109 0
[pid=17862/tid=17915] ppid=17859 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 6954 12978 0 0 20 2 5 2 20 0 15 0 221923251 11246788608 13821 33554432000 4194304 4196468 140733001375968 139738835571104 139738847839582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 13821 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=10983192 memory=140474198692305 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 13821 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 13821 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 13821 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 221923253 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 13 12978 0 0 0 0 5 2 20 0 15 0 221923254 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737700492576 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923254 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737499166320 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) S 17859 17862 15321 0 -1 1077944384 366 12978 0 0 1 0 5 2 20 0 15 0 221923257 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737830500464 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) S 17859 17862 15321 0 -1 1077944384 250 12978 0 0 1 0 5 2 20 0 15 0 221923257 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737829447664 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=10983192 memory=140474198685312 CPUtime=0.12 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) R 17859 17862 15321 0 -1 4202560 647 12978 0 0 5 0 5 2 20 0 15 0 221923257 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737828395376 139738842441052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17927] ppid=17859 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17927/stat : 17927 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246788608 13821 33554432000 4194304 4196468 140733001375968 139736760969696 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17928] ppid=17859 vsize=10983192 memory=140474198685312 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17928/stat : 17928 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246788608 13821 33554432000 4194304 4196468 140733001375968 139737827343280 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55284 KiB
[startup+0.700764 s]
/proc/loadavg: 1.34 1.31 1.32 3/216 17928
/proc/meminfo: memFree=6312184/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=10983192 memory=88908 CPUtime=0.98 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 16746 12978 0 0 87 4 5 2 20 0 15 0 221923242 11246788608 22227 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2745798 22227 3250 1 0 2708109 0
[pid=17862/tid=17915] ppid=17859 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 12190 12978 0 0 55 3 5 2 20 0 15 0 221923251 11246788608 22227 33554432000 4194304 4196468 140733001375968 139738835579920 139738844034816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 22227 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=10983192 memory=2442427106817 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 22227 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=10983192 memory=546657966 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 22227 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=10983192 memory=4639366808851880611 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 221923252 11246788608 22227 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=10983192 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 5 12978 0 0 0 0 5 2 20 0 15 0 221923253 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=10983192 memory=33320 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 13 12978 0 0 0 0 5 2 20 0 15 0 221923254 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737700492576 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=10983192 memory=14644 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923254 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737499166320 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=10983192 memory=1720 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=10983192 memory=508 CPUtime=0.16 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) S 17859 17862 15321 0 -1 1077944384 925 12978 0 0 9 0 5 2 20 0 15 0 221923257 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737830500464 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=10983192 memory=928 CPUtime=0.14 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) S 17859 17862 15321 0 -1 1077944384 665 12978 0 0 7 0 5 2 20 0 15 0 221923257 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737829447664 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=10983192 memory=1172 CPUtime=0.2 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) S 17859 17862 15321 0 -1 1077944384 744 12978 0 0 13 0 5 2 20 0 15 0 221923257 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737828395376 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17927] ppid=17859 vsize=10983192 memory=2404 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17927/stat : 17927 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246788608 22227 33554432000 4194304 4196468 140733001375968 139736760969696 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17928] ppid=17859 vsize=10983192 memory=6153431502485415780 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17928/stat : 17928 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923257 11246788608 22227 33554432000 4194304 4196468 140733001375968 139737827343280 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88908 KiB
[startup+1.50089 s]
/proc/loadavg: 1.34 1.31 1.32 4/216 17928
/proc/meminfo: memFree=6258288/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=10993996 memory=173900 CPUtime=3.17 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 25769 12978 0 0 301 9 5 2 20 0 15 0 221923242 11257851904 43475 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2748499 43475 3448 1 0 2710157 0
[pid=17862/tid=17915] ppid=17859 vsize=10993996 memory=7518026630507423084 CPUtime=1.45 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 15799 12978 0 0 132 6 5 2 20 0 15 0 221923251 11257851904 43475 33554432000 4194304 4196468 140733001375968 139738835591840 139738863781021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=10993996 memory=7518026630507423084 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11257851904 43475 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=10993996 memory=7158024554868141930 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11257851904 43475 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=10993996 memory=-3704326594973231466 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923252 11257851904 43475 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=10993996 memory=7100839861465685612 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 2 12978 0 0 0 0 5 2 20 0 15 0 221923252 11257851904 43475 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=10993996 memory=3054156605268465310 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 13 12978 0 0 0 0 5 2 20 0 15 0 221923253 11257851904 43475 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=10993996 memory=7822038051842261661 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 13 12978 0 0 0 0 5 2 20 0 15 0 221923254 11257851904 43475 33554432000 4194304 4196468 140733001375968 139737700492576 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=10993996 memory=8514726395714825349 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 1 12978 0 0 0 0 5 2 20 0 15 0 221923254 11257851904 43475 33554432000 4194304 4196468 140733001375968 139737499166320 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=10993996 memory=4713745541279610410 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11257851904 43475 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=10993996 memory=-8707038579349950309 CPUtime=0.69 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) R 17859 17862 15321 0 -1 4202560 3042 12978 0 0 61 1 5 2 20 0 15 0 221923257 11257851904 43475 33554432000 4194304 4196468 140733001375968 139737830492112 139738847257669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=10993996 memory=-6520471753822164382 CPUtime=0.64 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) R 17859 17862 15321 0 -1 4202560 2698 12978 0 0 57 0 5 2 20 0 15 0 221923257 11257851904 43475 33554432000 4194304 4196468 140733001375968 139737829433544 139738843015492 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=10993996 memory=9047017150487036575 CPUtime=0.56 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) S 17859 17862 15321 0 -1 1077944384 2000 12978 0 0 49 0 5 2 20 0 15 0 221923257 11257851904 43475 33554432000 4194304 4196468 140733001375968 139737828395376 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
################
# More data... #
################
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 97830 12978 0 0 235730 61 5 2 20 0 15 0 221923251 11280941056 364943 33554432000 4194304 4196468 140733001375968 139738835594048 139738414154592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=11016544 memory=1459772 CPUtime=11.92 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 28744 12978 0 0 1131 54 5 2 20 0 15 0 221923252 11280941056 364943 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=11016544 memory=1459772 CPUtime=11.9 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 23432 12978 0 0 1130 53 5 2 20 0 15 0 221923252 11280941056 364943 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=11016544 memory=1459772 CPUtime=11.88 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 30118 12978 0 0 1129 52 5 2 20 0 15 0 221923252 11280941056 364943 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=11016544 memory=1459772 CPUtime=11.9 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 23517 12978 0 0 1127 56 5 2 20 0 15 0 221923252 11280941056 364943 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=11016544 memory=1459772 CPUtime=10.54 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 22350 12978 0 0 1001 46 5 2 20 0 15 0 221923253 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=11016544 memory=1459772 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 15 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737700492640 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=11016544 memory=1459772 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 6 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737499166336 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=11016544 memory=1459772 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=11016544 memory=7 CPUtime=11.75 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) S 17859 17862 15321 0 -1 1077944384 67501 12978 0 0 1159 9 5 2 20 0 15 0 221923257 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737830500464 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=11016544 memory=1457692 CPUtime=11.66 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) S 17859 17862 15321 0 -1 1077944384 69450 12978 0 0 1151 8 5 2 20 0 15 0 221923257 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737829447664 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=11016544 memory=1459772 CPUtime=4.82 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) S 17859 17862 15321 0 -1 1077944384 73250 12978 0 0 464 11 5 2 20 0 15 0 221923257 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737828395376 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17927] ppid=17859 vsize=11016544 memory=1459772 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17927/stat : 17927 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 364943 33554432000 4194304 4196468 140733001375968 139736760969696 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17928] ppid=17859 vsize=11016544 memory=1457692 CPUtime=1.27 cores=0,2,4,6
/proc/17862/task/17928/stat : 17928 (java) S 17859 17862 15321 0 -1 1077944384 1260 12978 0 0 62 58 5 2 20 0 15 0 221923257 11280941056 364943 33554432000 4194304 4196468 140733001375968 139737827343280 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 2445.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1459772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.48 1.43 3/215 18001
/proc/meminfo: memFree=3652348/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=11016544 memory=1460492 CPUtime=2506.04 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 442171 12978 0 0 250226 371 5 2 20 0 15 0 221923242 11280941056 365123 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2754136 365123 3531 1 0 2715789 0
[pid=17862/tid=17915] ppid=17859 vsize=11016544 memory=1460492 CPUtime=2417.29 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 98873 12978 0 0 241661 61 5 2 20 0 15 0 221923251 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738835593664 139738412027020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=11016544 memory=1460492 CPUtime=12.25 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 28776 12978 0 0 1162 56 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=11016544 memory=1459772 CPUtime=12.23 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 24159 12978 0 0 1162 54 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=11016544 memory=1459780 CPUtime=12.21 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 30194 12978 0 0 1161 53 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=11016544 memory=1459772 CPUtime=12.23 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 23689 12978 0 0 1159 57 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=11016544 memory=1460492 CPUtime=10.83 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 22763 12978 0 0 1028 48 5 2 20 0 15 0 221923253 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 15 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737700492640 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 6 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737499166336 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=11016544 memory=2148 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=11016544 memory=1160 CPUtime=11.75 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) S 17859 17862 15321 0 -1 1077944384 67506 12978 0 0 1159 9 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737830500464 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=11016544 memory=1460492 CPUtime=11.66 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) S 17859 17862 15321 0 -1 1077944384 69454 12978 0 0 1151 8 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737829447664 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=11016544 memory=1460492 CPUtime=4.82 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) S 17859 17862 15321 0 -1 1077944384 73255 12978 0 0 464 11 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737828395376 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17927] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17927/stat : 17927 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139736760969696 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17928] ppid=17859 vsize=11016544 memory=6791534058613427641 CPUtime=1.3 cores=0,2,4,6
/proc/17862/task/17928/stat : 17928 (java) S 17859 17862 15321 0 -1 1077944384 1284 12978 0 0 64 59 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737827343280 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 2506.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1460492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.11 s]
/proc/loadavg: 1.36 1.46 1.42 3/215 18129
/proc/meminfo: memFree=4940852/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=11016544 memory=1460492 CPUtime=2520.09 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 443918 12978 0 0 251629 373 5 2 20 0 15 0 221923242 11280941056 365123 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2754136 365123 3531 1 0 2715789 0
[pid=17862/tid=17915] ppid=17859 vsize=11016544 memory=1460492 CPUtime=2430.95 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 99431 12978 0 0 243026 62 5 2 20 0 15 0 221923251 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738835593312 139738414596993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=11016544 memory=1460492 CPUtime=12.32 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 28787 12978 0 0 1169 56 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=11016544 memory=1460492 CPUtime=12.3 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 24274 12978 0 0 1169 54 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=11016544 memory=1460492 CPUtime=12.28 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 30848 12978 0 0 1168 53 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=11016544 memory=1459772 CPUtime=12.31 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 23769 12978 0 0 1166 58 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=11016544 memory=1459780 CPUtime=10.9 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 23073 12978 0 0 1035 48 5 2 20 0 15 0 221923253 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=11016544 memory=1459772 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 15 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737700492640 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 6 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737499166336 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=11016544 memory=1460492 CPUtime=11.75 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) S 17859 17862 15321 0 -1 1077944384 67507 12978 0 0 1159 9 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737830500464 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=11016544 memory=1460492 CPUtime=11.66 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) S 17859 17862 15321 0 -1 1077944384 69454 12978 0 0 1151 8 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737829447664 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=11016544 memory=3684 CPUtime=4.82 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) S 17859 17862 15321 0 -1 1077944384 73256 12978 0 0 464 11 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737828395376 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17927] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17927/stat : 17927 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139736760969696 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17928] ppid=17859 vsize=11016544 memory=3684 CPUtime=1.31 cores=0,2,4,6
/proc/17862/task/17928/stat : 17928 (java) S 17859 17862 15321 0 -1 1077944384 1301 12978 0 0 64 60 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737827343280 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1460492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.15 s]
# the end of solver process 17862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.36 s, system=3.77727 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.11 s]
/proc/loadavg: 1.36 1.46 1.42 3/215 18129
/proc/meminfo: memFree=4940852/32770624 swapFree=67108404/67108860
[pid=17862] ppid=17859 vsize=11016544 memory=1460492 CPUtime=2520.09 cores=0,2,4,6
/proc/17862/stat : 17862 (java) S 17859 17862 15321 0 -1 1077944320 443918 12978 0 0 251629 373 5 2 20 0 15 0 221923242 11280941056 365123 33554432000 4194304 4196468 140733001375968 140733001358512 139738863759095 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
/proc/17862/statm: 2754136 365123 3531 1 0 2715789 0
[pid=17862/tid=17915] ppid=17859 vsize=11016544 memory=1460492 CPUtime=2430.95 cores=0,2,4,6
/proc/17862/task/17915/stat : 17915 (java) R 17859 17862 15321 0 -1 4202560 99431 12978 0 0 243026 62 5 2 20 0 15 0 221923251 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738835593312 139738414596993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17916] ppid=17859 vsize=11016544 memory=1460492 CPUtime=12.32 cores=0,2,4,6
/proc/17862/task/17916/stat : 17916 (java) S 17859 17862 15321 0 -1 1077944384 28787 12978 0 0 1169 56 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738868001168 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17917] ppid=17859 vsize=11016544 memory=1460492 CPUtime=12.3 cores=0,2,4,6
/proc/17862/task/17917/stat : 17917 (java) S 17859 17862 15321 0 -1 1077944384 24274 12978 0 0 1169 54 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738722720016 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17918] ppid=17859 vsize=11016544 memory=1460492 CPUtime=12.28 cores=0,2,4,6
/proc/17862/task/17918/stat : 17918 (java) S 17859 17862 15321 0 -1 1077944384 30848 12978 0 0 1168 53 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738721667728 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17919] ppid=17859 vsize=11016544 memory=1459772 CPUtime=12.31 cores=0,2,4,6
/proc/17862/task/17919/stat : 17919 (java) S 17859 17862 15321 0 -1 1077944384 23769 12978 0 0 1166 58 5 2 20 0 15 0 221923252 11280941056 365123 33554432000 4194304 4196468 140733001375968 139738720614928 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17920] ppid=17859 vsize=11016544 memory=1459780 CPUtime=10.9 cores=0,2,4,6
/proc/17862/task/17920/stat : 17920 (java) S 17859 17862 15321 0 -1 1077944384 23073 12978 0 0 1035 48 5 2 20 0 15 0 221923253 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737831553648 139738863770242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17921] ppid=17859 vsize=11016544 memory=1459772 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17921/stat : 17921 (java) S 17859 17862 15321 0 -1 1077944384 15 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737700492640 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17922] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17922/stat : 17922 (java) S 17859 17862 15321 0 -1 1077944384 6 12978 0 0 0 0 5 2 20 0 15 0 221923254 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737499166336 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17923] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17923/stat : 17923 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737191766608 139738863777691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17924] ppid=17859 vsize=11016544 memory=1460492 CPUtime=11.75 cores=0,2,4,6
/proc/17862/task/17924/stat : 17924 (java) S 17859 17862 15321 0 -1 1077944384 67507 12978 0 0 1159 9 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737830500464 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17925] ppid=17859 vsize=11016544 memory=1460492 CPUtime=11.66 cores=0,2,4,6
/proc/17862/task/17925/stat : 17925 (java) S 17859 17862 15321 0 -1 1077944384 69454 12978 0 0 1151 8 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737829447664 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17926] ppid=17859 vsize=11016544 memory=3684 CPUtime=4.82 cores=0,2,4,6
/proc/17862/task/17926/stat : 17926 (java) S 17859 17862 15321 0 -1 1077944384 73256 12978 0 0 464 11 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737828395376 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17927] ppid=17859 vsize=11016544 memory=1460492 CPUtime=0.07 cores=0,2,4,6
/proc/17862/task/17927/stat : 17927 (java) S 17859 17862 15321 0 -1 1077944384 3 12978 0 0 0 0 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139736760969696 139738863769301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
[pid=17862/tid=17928] ppid=17859 vsize=11016544 memory=3684 CPUtime=1.31 cores=0,2,4,6
/proc/17862/task/17928/stat : 17928 (java) S 17859 17862 15321 0 -1 1077944384 1301 12978 0 0 64 60 5 2 20 0 15 0 221923257 11280941056 365123 33554432000 4194304 4196468 140733001375968 139737827343280 139738863770242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23760896 140733001378412 140733001381212 140733001381212 140733001383887 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1460492 KiB
Child status: 143
Real time (s): 2456.15
CPU time (s): 2520.14
CPU user time (s): 2516.36
CPU system time (s): 3.77727
CPU usage (%): 102.606
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 1599336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.36
system time used= 3.77726
maximum resident set size= 1599336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 268049
involuntary context switches= 7024
# summary of solver processes directly reported to runsolver:
# pid: 17862
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.36
# total CPU system time (s): 3.77727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8724 second user time and 23.254 second system time
The end