2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT (TO)	435	2520.1	2491.55

0.99/1.00	c Concrete v3.8.1528841891564 running
11.37/5.12	o 3152
11.66/5.23	o 2963
11.66/5.25	o 2962
11.66/5.26	o 2961
11.66/5.27	o 2960
11.66/5.27	o 2776
11.66/5.28	o 2775
11.66/5.29	o 2774
12.00/5.30	o 2773
12.00/5.31	o 2590
12.35/5.43	o 2587
12.35/5.43	o 2586
12.35/5.43	o 2585
12.35/5.44	o 2396
12.35/5.45	o 2395
12.35/5.45	o 2392
12.35/5.46	o 2391
12.35/5.46	o 2390
12.35/5.47	o 2206
12.70/5.54	o 2205
12.70/5.54	o 2204
12.70/5.54	o 2203
12.70/5.55	o 2202
12.70/5.55	o 2201
12.70/5.56	o 2199
12.70/5.57	o 2198
12.70/5.57	o 2197
12.70/5.58	o 2196
12.70/5.58	o 2195
12.70/5.59	o 2194
12.70/5.59	o 2193
12.70/5.60	o 2192
13.03/5.60	o 2191
13.03/5.60	o 2190
13.03/5.61	o 2012
13.03/5.68	o 2011
13.03/5.68	o 2010
13.03/5.69	o 2009
13.34/5.70	o 2008
13.34/5.71	o 2007
13.34/5.71	o 2006
13.34/5.72	o 2005
13.34/5.72	o 2004
13.34/5.73	o 2003
13.34/5.74	o 2002
13.34/5.75	o 1821
13.98/5.90	o 1820
13.98/5.91	o 1819
13.98/5.92	o 1818
13.98/5.93	o 1817
13.98/5.94	o 1816
13.98/5.94	o 1815
13.98/5.95	o 1814
13.98/5.96	o 1813
13.98/5.96	o 1812
13.98/5.96	o 1804
13.98/5.97	o 1803
13.98/5.97	o 1802
13.98/5.99	o 1801
13.98/6.00	o 1800
13.98/6.00	o 1799
13.98/6.00	o 1798
15.26/6.41	o 1797
15.26/6.42	o 1796
15.26/6.43	o 1795
15.26/6.44	o 1794
15.26/6.44	o 1793
15.26/6.44	o 1792
15.26/6.49	o 1791
16.36/7.02	o 1790
16.36/7.03	o 1788
16.36/7.03	o 1787
16.36/7.04	o 1786
16.36/7.05	o 1785
16.48/7.16	o 1784
16.48/7.17	o 1783
16.48/7.17	o 1782
16.48/7.18	o 1781
16.63/7.28	o 1780
16.83/7.30	o 1779
16.83/7.31	o 1778
16.83/7.31	o 1777
16.83/7.32	o 1776
16.83/7.33	o 1775
16.83/7.34	o 1774
16.83/7.35	o 1773
16.83/7.35	o 1772
16.83/7.36	o 1771
16.83/7.36	o 1765
16.83/7.37	o 1764
16.83/7.38	o 1763
16.83/7.38	o 1762
16.83/7.39	o 1761
16.83/7.40	o 1760
17.04/7.42	o 1759
17.04/7.43	o 1758
17.04/7.43	o 1757
17.04/7.44	o 1756
17.04/7.44	o 1755
17.04/7.45	o 1573
17.45/7.60	o 1572
17.45/7.64	o 1571
17.45/7.65	o 1570
17.45/7.65	o 1569
17.91/7.99	o 1568
17.91/8.00	o 1567
17.91/8.00	o 1566
18.12/8.01	o 1565
19.78/9.44	o 1564
19.78/9.44	o 1563
19.78/9.45	o 1562
19.78/9.45	o 1561
19.78/9.46	o 1449
19.78/9.46	o 1448
19.78/9.47	o 1447
19.78/9.47	o 1446
19.78/9.47	o 1445
20.25/9.74	o 1444
20.25/9.79	o 1443
20.25/9.79	o 1442
20.61/10.05	o 1441
20.61/10.05	o 1440
20.61/10.05	o 1439
20.61/10.05	o 1438
29.88/18.82	o 1437
29.99/18.90	o 1436
29.99/18.95	o 1435
29.99/18.98	o 1434
29.99/19.00	o 1433
29.99/19.01	o 1432
30.15/19.02	o 1342
30.15/19.02	o 1341
30.15/19.03	o 1340
30.15/19.03	o 1339
30.15/19.03	o 1338
30.15/19.04	o 1337
30.15/19.04	o 1336
30.15/19.04	o 1335
30.15/19.05	o 1334
30.15/19.05	o 1333
30.15/19.06	o 1332
30.15/19.06	o 1331
30.15/19.08	o 1330
30.15/19.08	o 1329
30.15/19.09	o 1328
30.15/19.09	o 1327
30.33/19.11	o 1326
30.33/19.11	o 1325
30.33/19.15	o 1324
30.33/19.15	o 1323
30.33/19.15	o 1322
30.33/19.16	o 1321
30.48/19.29	o 1320
30.48/19.29	o 1319
30.48/19.29	o 1318
30.48/19.29	o 1317
30.68/19.42	o 1316
30.68/19.42	o 1315
30.89/19.64	o 1314
30.89/19.64	o 1313
30.89/19.65	o 1312
30.89/19.65	o 1311
31.54/20.29	o 1310
31.64/20.34	o 1309
31.64/20.35	o 1308
34.12/22.79	o 1307
34.12/22.79	o 1306
34.22/22.80	o 1305
34.22/22.80	o 1290
34.22/22.81	o 1289
34.22/22.81	o 1287
34.22/22.81	o 1286
34.22/22.81	o 1284
34.22/22.82	o 1283
34.22/22.82	o 1282
34.22/22.82	o 1279
34.22/22.83	o 1278
34.22/22.83	o 1277
34.22/22.83	o 1276
34.22/22.83	o 1275
34.22/22.84	o 1274
34.22/22.84	o 1273
34.22/22.84	o 1271
34.22/22.84	o 1270
34.22/22.85	o 1269
34.22/22.85	o 1268
34.22/22.85	o 1267
34.22/22.86	o 1266
34.22/22.86	o 1265
34.22/22.86	o 1264
34.22/22.86	o 1263
34.22/22.87	o 1262
34.22/22.87	o 1261
34.22/22.87	o 1260
34.22/22.87	o 1258
34.22/22.88	o 1256
34.22/22.88	o 1255
34.39/22.91	o 1254
34.39/22.91	o 1253
34.39/22.91	o 1252
34.39/22.92	o 1251
34.39/22.92	o 1250
34.39/22.92	o 1249
34.39/22.92	o 1248
34.39/22.92	o 1247
34.39/22.93	o 1246
34.39/22.93	o 1245
34.39/22.94	o 1244
34.39/22.94	o 1243
34.39/22.94	o 1242
34.39/22.95	o 1241
34.39/22.95	o 1239
34.39/22.96	o 1238
34.39/22.96	o 1237
34.39/22.97	o 1236
34.39/22.97	o 1235
34.39/22.97	o 1234
34.39/22.98	o 1233
34.39/22.98	o 1232
34.39/22.99	o 1231
34.39/22.99	o 1230
34.39/23.00	o 1229
34.39/23.00	o 1228
34.39/23.00	o 1227
34.53/23.01	o 1226
34.53/23.02	o 1225
34.53/23.02	o 1224
34.53/23.02	o 1223
34.53/23.03	o 1222
34.53/23.03	o 1221
34.53/23.03	o 1220
34.53/23.04	o 1219
34.53/23.04	o 1035
34.53/23.05	o 1034
34.53/23.05	o 1033
34.53/23.06	o 1032
34.53/23.06	o 1031
34.53/23.06	o 1030
34.53/23.06	o 1029
34.53/23.08	o 1028
34.53/23.09	o 1027
34.53/23.09	o 1026
34.67/23.13	o 1025
34.67/23.13	o 1024
35.27/23.71	o 1023
35.27/23.72	o 1022
35.27/23.72	o 1020
35.27/23.72	o 1019
35.27/23.72	o 1018
35.27/23.73	o 1017
35.27/23.73	o 1016
35.27/23.74	o 1014
35.27/23.74	o 1013
35.27/23.77	o 1012
35.27/23.78	o 1011
35.27/23.78	o 1010
35.27/23.78	o 1009
35.27/23.78	o 1008
35.38/23.82	o 1007
35.38/23.83	o 1006
35.59/24.04	o 1005
35.59/24.05	o 1004
35.59/24.05	o 1001
35.88/24.34	o 1000
35.88/24.35	o 999
35.88/24.35	o 998
36.38/24.87	o 997
36.38/24.87	o 996
36.38/24.87	o 995
36.38/24.88	o 994
37.41/25.77	o 993
37.41/25.78	o 992
37.41/25.79	o 991
37.51/25.81	o 990
37.51/25.81	o 989
37.51/25.82	o 988
37.51/25.83	o 987
37.51/25.83	o 983
37.51/25.83	o 982
37.51/25.84	o 980
37.61/25.95	o 979
37.61/25.97	o 978
41.70/29.91	o 977
41.70/29.98	o 976
41.70/29.98	o 975
41.70/29.98	o 974
41.91/30.19	o 973
42.10/30.30	o 972
48.91/37.04	o 971
48.91/37.09	o 970
48.91/37.09	o 969
49.11/37.22	o 967
49.52/37.63	o 966
49.72/37.88	o 965
49.72/37.88	o 964
49.72/37.88	o 963
51.55/39.64	o 962
51.85/39.98	o 961
52.65/40.72	o 960
52.65/40.72	o 959
52.85/40.93	o 957
53.35/41.44	o 956
53.35/41.45	o 955
53.35/41.45	o 954
53.35/41.46	o 952
53.35/41.46	o 951
53.94/41.94	o 949
53.94/41.94	o 948
54.34/42.39	o 946
54.34/42.39	o 945
54.34/42.39	o 944
54.85/42.83	o 926
54.85/42.84	o 925
54.85/42.84	o 924
54.85/42.85	o 923
54.85/42.85	o 922
54.85/42.85	o 921
54.85/42.87	o 920
54.85/42.87	o 918
54.85/42.89	o 917
54.85/42.89	o 916
54.96/42.92	o 915
54.96/42.97	o 914
54.96/42.97	o 913
54.96/42.97	o 912
55.46/43.40	o 911
55.46/43.41	o 909
55.98/43.97	o 908
56.29/44.28	o 907
57.49/45.43	o 906
57.49/45.44	o 904
57.49/45.44	o 903
58.00/45.91	o 898
61.35/49.18	o 897
61.54/49.32	o 896
61.54/49.32	o 895
61.64/49.44	o 894
61.74/49.54	o 893
61.84/49.65	o 892
61.94/49.71	o 891
61.94/49.74	o 890
61.94/49.77	o 833
61.94/49.78	o 832
61.94/49.78	o 831
61.94/49.78	o 830
62.04/49.82	o 829
62.04/49.82	o 828
62.04/49.85	o 827
62.04/49.86	o 826
62.04/49.86	o 825
62.04/49.89	o 824
62.15/49.92	o 823
62.15/49.92	o 822
62.15/49.93	o 821
62.15/49.96	o 820
62.15/49.97	o 819
62.15/49.97	o 818
62.15/49.97	o 817
62.15/49.98	o 816
62.15/49.98	o 815
62.28/50.09	o 814
62.47/50.22	o 812
66.87/54.42	o 811
71.93/59.17	o 810
71.93/59.18	o 809
71.93/59.18	o 808
71.93/59.18	o 807
71.93/59.19	o 806
71.93/59.19	o 805
71.93/59.19	o 804
72.02/59.20	o 803
72.80/59.98	o 802
72.80/59.99	o 801
72.80/59.99	o 800
72.80/59.99	o 799
75.21/62.34	o 798
75.21/62.36	o 797
75.21/62.36	o 795
75.21/62.37	o 794
75.21/62.38	o 791
109.80/96.41	o 790
109.80/96.41	o 789
110.10/96.72	o 788
110.10/96.72	o 787
110.20/96.85	o 786
110.20/96.86	o 785
110.20/96.86	o 782
110.51/97.15	o 781
110.51/97.15	o 780
111.00/97.63	o 779
111.00/97.64	o 778
111.51/98.17	o 777
111.51/98.17	o 776
112.00/98.62	o 775
112.00/98.63	o 774
113.30/99.81	o 772
114.51/101.10	o 771
114.61/101.11	o 770
114.61/101.11	o 769
115.20/101.72	o 768
115.20/101.72	o 767
115.20/101.73	o 766
115.20/101.73	o 765
115.71/102.26	o 764
115.71/102.26	o 763
116.31/102.85	o 762
116.31/102.85	o 761
117.52/104.01	o 759
132.81/119.14	o 758
133.40/119.74	o 756
133.40/119.74	o 755
142.12/128.37	o 754
142.12/128.38	o 753
142.12/128.38	o 751
142.12/128.39	o 749
142.12/128.39	o 748
142.22/128.41	o 747
142.22/128.42	o 745
146.46/132.65	o 744
147.84/133.94	o 743
150.06/136.12	o 742
150.06/136.16	o 741
150.06/136.17	o 740
150.15/136.20	o 739
150.15/136.25	o 738
150.25/136.31	o 737
150.25/136.31	o 736
185.04/170.73	o 735
185.04/170.74	o 734
199.12/184.71	o 732
199.12/184.72	o 729
244.19/229.48	o 728
244.19/229.49	o 727
244.29/229.50	o 726
244.29/229.53	o 725
244.29/229.54	o 724
244.29/229.55	o 723
244.29/229.56	o 722
244.29/229.57	o 721
244.29/229.58	o 719
244.45/229.60	o 718
244.45/229.60	o 717
244.45/229.62	o 716
244.45/229.62	o 715
244.82/229.96	o 714
244.82/229.97	o 713
245.03/230.16	o 711
245.33/230.47	o 710
245.33/230.47	o 709
246.05/231.17	o 708
246.05/231.17	o 707
252.41/237.41	o 706
252.41/237.41	o 705
256.26/241.22	o 704
256.26/241.22	o 703
258.37/243.39	o 700
272.56/257.45	o 699
272.56/257.45	o 698
272.56/257.45	o 697
304.97/289.69	o 696
305.07/289.74	o 695
305.07/289.76	o 694
305.07/289.78	o 693
305.07/289.79	o 683
305.17/289.84	o 682
305.17/289.85	o 681
305.17/289.85	o 680
305.67/290.38	o 679
306.17/290.80	o 678
306.48/291.12	o 677
306.67/291.37	o 676
316.03/300.68	o 675
316.03/300.69	o 674
316.13/300.70	o 673
316.13/300.70	o 492
404.70/388.87	o 491
404.70/388.87	o 488
404.70/388.89	o 487
404.70/388.89	o 485
407.96/392.07	o 484
408.15/392.26	o 483
408.15/392.29	o 482
408.26/392.32	o 481
409.47/393.52	o 480
409.47/393.52	o 479
409.98/394.05	o 478
409.98/394.06	o 477
410.37/394.49	o 476
411.09/395.16	o 474
413.60/397.62	o 473
413.60/397.63	o 472
417.62/401.66	o 471
418.22/402.28	o 470
418.22/402.28	o 469
435.78/419.67	o 468
435.88/419.71	o 466
436.08/419.95	o 465
436.38/420.24	o 464
436.38/420.24	o 463
446.06/429.84	o 462
465.84/449.44	o 461
477.03/460.49	o 460
477.03/460.50	o 459
477.13/460.50	o 458
477.13/460.54	o 456
477.13/460.54	o 455
477.13/460.55	o 454
477.13/460.58	o 453
477.13/460.58	o 452
477.23/460.60	o 451
504.41/487.68	o 450
548.57/531.56	o 449
548.57/531.58	o 448
629.14/611.48	o 447
629.14/611.48	o 444
629.14/611.49	o 443
629.14/611.49	o 442
629.24/611.55	o 439
630.26/612.55	o 437
708.30/690.01	o 436
708.30/690.01	o 435
2520.04/2491.51	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.04/2491.51		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.04/2491.51		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.04/2491.51		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.04/2491.51		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.04/2491.51		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.04/2491.51		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.04/2491.51		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.04/2491.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2491.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.04/2491.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2491.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2491.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.04/2491.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2491.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2491.51		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.04/2491.51		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.04/2491.51		at scala.Option.map(Option.scala:146)
2520.04/2491.51		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.04/2491.51		at concrete.MAC.mac(MAC.scala:203)
2520.04/2491.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.04/2491.51		at scala.util.Try$.apply(Try.scala:209)
2520.04/2491.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2491.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2491.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2491.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2491.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.04/2491.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2491.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2491.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2491.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2491.51		at concrete.MAC.oneRun(MAC.scala:253)
2520.04/2491.51		at concrete.MAC.nextSolution(MAC.scala:272)
2520.04/2491.51		at concrete.MAC.nextSolution(MAC.scala:355)
2520.04/2491.51		at concrete.Solver.hasNext(Solver.scala:166)
2520.04/2491.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.04/2491.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.04/2491.51		at concrete.Solver.foreach(Solver.scala:68)
2520.04/2491.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.04/2491.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2491.51		at scala.util.Success.map(Try.scala:209)
2520.04/2491.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2491.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.04/2491.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.04/2491.52		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2491.52		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.04/2491.52		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2491.52		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2491.52		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2491.52		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2491.52		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2491.52		at scala.App.main(App.scala:76)
2520.04/2491.52		at scala.App.main$(App.scala:74)
2520.04/2491.52		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.04/2491.52		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2491.52	v <instantiation cost="435">
2520.04/2491.52	v       <list>
2520.04/2491.52	v         c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190]
2520.04/2491.52	v       </list>
2520.04/2491.52	v       <values>
2520.04/2491.52	v         3 1 3 4 1 3 1 3 5 1 4 3 1 3 4 1 3 1 3 5 1 4 6 3 1 3 5 1 3 1 3 5 1 6 0 1 0 5 0 0 1 0 5 0 0 6 4 2 1 2 2 1 2 1 2 2 1 2 2 1 2 2 1 2 1 2 2 1 2 2 2 1 2 2 1 2 1 2 2 1 2 0 0 0 0 0 0 0 0 0 0 0 2 2 3 3 1 2 4 1 3 1 3 5 1 4 0 0 0 0 0 0 0 0 0 0 0 190 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 1 2 2 2 2 1 2 2 1 2 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 6
2520.04/2491.52	v       </values>
2520.04/2491.52	v     </instantiation>
2520.04/2491.52	s SATISFIABLE

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 (7216 MiB free)
  memory of node 1: 16384 MiB (2233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293649-1532321088/watcher-4293649-1532321088 -o /tmp/evaluation-result-4293649-1532321088/solver-4293649-1532321088 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9831 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1221308965 -superng HOME/instance-4293649-1532321088.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=14506, runsolver pid=14503

[startup+0.10009 s]*
/proc/loadavg: 1.64 1.60 1.59 3/207 14563
/proc/meminfo: memFree=9668720/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=9972712 memory=18860 CPUtime=0.08 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 4388 13161 0 0 1 0 5 2 20 0 6 0 49671646 10212057088 4715 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2493178 4715 1934 1 0 2481616 0
[pid=14506/tid=14559] ppid=14503 vsize=9972712 memory=4279135703913235855 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 2210 13161 0 0 0 0 5 2 20 0 6 0 49671655 10212057088 4780 33554432000 4194304 4196468 140730174261216 140691779899984 140691793186160 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 6 0 49671656 10212057088 4780 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=9972712 memory=140328550196864 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 6 0 49671656 10212057088 4780 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 6 0 49671656 10212057088 4780 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 6 0 49671656 10212057088 4780 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210313 s]*
/proc/loadavg: 1.64 1.60 1.59 3/216 14572
/proc/meminfo: memFree=9648188/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=10821524 memory=44920 CPUtime=0.25 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 8439 13161 0 0 17 1 5 2 20 0 15 0 49671646 11081240576 11230 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2705381 11230 2969 1 0 2667804 0
[pid=14506/tid=14559] ppid=14503 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 5234 13161 0 0 10 1 5 2 20 0 15 0 49671655 11078590464 10753 33554432000 4194304 4196468 140730174261216 140691779888032 140691800742941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10818936 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11078590464 10753 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10818936 memory=140328550211350 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11078590464 10753 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11078590464 10753 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11078590464 10818 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10818936 memory=140328550196864 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671657 11078590464 10818 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 13 13161 0 0 0 0 5 2 20 0 15 0 49671658 11078590464 10818 33554432000 4194304 4196468 140730174261216 140691250340640 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671658 11078590464 10884 33554432000 4194304 4196468 140730174261216 140690646361200 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11078590464 10884 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) S 14503 14506 9800 0 -1 1077944384 487 13161 0 0 1 0 5 2 20 0 15 0 49671661 11078590464 10884 33554432000 4194304 4196468 140730174261216 140691333634672 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) S 14503 14506 9800 0 -1 1077944384 92 13161 0 0 1 0 5 2 20 0 15 0 49671661 11078590464 10884 33554432000 4194304 4196468 140730174261216 140691332581872 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10818936 memory=140328550196864 CPUtime=0.1 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) S 14503 14506 9800 0 -1 1077944384 556 13161 0 0 3 0 5 2 20 0 15 0 49671661 11078590464 10950 33554432000 4194304 4196468 140730174261216 140691331529584 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11078590464 10950 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10818936 memory=140328550196864 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671661 11078590464 10950 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44920 KiB

[startup+0.310227 s]*
/proc/loadavg: 1.64 1.60 1.59 3/216 14572
/proc/meminfo: memFree=9636548/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=10819352 memory=53472 CPUtime=0.37 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 10444 13161 0 0 28 2 5 2 20 0 15 0 49671646 11079016448 13368 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2704838 13368 3088 1 0 2667149 0
[pid=14506/tid=14559] ppid=14503 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 7081 13161 0 0 19 1 5 2 20 0 15 0 49671655 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691779875232 140691808075158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671657 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 13 13161 0 0 0 0 5 2 20 0 15 0 49671658 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691250340640 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671658 11079016448 13368 33554432000 4194304 4196468 140730174261216 140690646361200 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11079016448 13368 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) S 14503 14506 9800 0 -1 1077944384 487 13161 0 0 1 0 5 2 20 0 15 0 49671661 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691333634672 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) S 14503 14506 9800 0 -1 1077944384 93 13161 0 0 1 0 5 2 20 0 15 0 49671661 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691332581872 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10819352 memory=140328550196864 CPUtime=0.12 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) R 14503 14506 9800 0 -1 4202560 567 13161 0 0 5 0 5 2 20 0 15 0 49671661 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691331529584 140691808075158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11079016448 13368 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10819352 memory=140328550196864 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671661 11079016448 13368 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53472 KiB

[startup+0.700748 s]
/proc/loadavg: 1.64 1.60 1.59 3/216 14572
/proc/meminfo: memFree=9626872/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=10819352 memory=86796 CPUtime=0.98 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 16760 13161 0 0 87 4 5 2 20 0 15 0 49671646 11079016448 21699 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2704838 21699 3241 1 0 2667149 0
[pid=14506/tid=14559] ppid=14503 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 12242 13161 0 0 56 3 5 2 20 0 15 0 49671655 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691779884048 140691789626752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 5 13161 0 0 0 0 5 2 20 0 15 0 49671657 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 13 13161 0 0 0 0 5 2 20 0 15 0 49671658 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691250340640 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10819352 memory=140328392864528 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671658 11079016448 21699 33554432000 4194304 4196468 140730174261216 140690646361200 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10819352 memory=140329466462801 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11079016448 21699 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10819352 memory=14004 CPUtime=0.17 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) S 14503 14506 9800 0 -1 1077944384 1157 13161 0 0 10 0 5 2 20 0 15 0 49671661 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691333634672 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10819352 memory=4639098309541127269 CPUtime=0.14 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) S 14503 14506 9800 0 -1 1077944384 475 13161 0 0 7 0 5 2 20 0 15 0 49671661 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691332581872 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10819352 memory=7813023418146120529 CPUtime=0.2 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) S 14503 14506 9800 0 -1 1077944384 662 13161 0 0 13 0 5 2 20 0 15 0 49671661 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691331529584 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11079016448 21699 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671661 11079016448 21699 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86796 KiB

[startup+1.50132 s]
/proc/loadavg: 1.64 1.60 1.59 3/216 14572
/proc/meminfo: memFree=9591320/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=10828108 memory=130608 CPUtime=2.2 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 22042 13161 0 0 207 6 5 2 20 0 15 0 49671646 11087982592 32652 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2707027 32652 3446 1 0 2668685 0
[pid=14506/tid=14559] ppid=14503 vsize=10828108 memory=12848 CPUtime=1.18 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 14995 13161 0 0 107 4 5 2 20 0 15 0 49671655 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691779890720 140691401478408 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10828108 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10828108 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10828108 memory=3204 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671656 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10828108 memory=86796 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 2 13161 0 0 0 0 5 2 20 0 15 0 49671656 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 12 13161 0 0 0 0 5 2 20 0 15 0 49671657 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 13 13161 0 0 0 0 5 2 20 0 15 0 49671658 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691250340640 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 1 13161 0 0 0 0 5 2 20 0 15 0 49671658 11087982592 32652 33554432000 4194304 4196468 140730174261216 140690646361200 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10828108 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11087982592 32652 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10828108 memory=6935649255759568960 CPUtime=0.37 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) R 14503 14506 9800 0 -1 4202560 1675 13161 0 0 30 0 5 2 20 0 15 0 49671661 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691333620640 140691789583275 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10828108 memory=280656786004864 CPUtime=0.36 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) R 14503 14506 9800 0 -1 4202560 1738 13161 0 0 29 0 5 2 20 0 15 0 49671661 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691332582000 140691808084570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10828108 memory=6944656592452938395 CPUtime=0.46 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) R 14503 14506 9800 0 -1 4202560 1402 13161 0 0 39 0 5 2 20 0 15 0 49671661 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691331529584 140691800300350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10828108 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11087982592 32652 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10828108 memory=4206468019014099040 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11087982592 32652 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 10828108 KiB

################
# More data... #
################

/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 95231 13161 0 0 237228 35 5 2 20 0 15 0 49671655 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691779898496 140691404713964 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.08 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 18109 13161 0 0 464 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.1 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 18104 13161 0 0 466 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.1 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 13710 13161 0 0 466 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.11 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 15439 13161 0 0 467 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10916192 memory=757332 CPUtime=2.46 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 15619 13161 0 0 221 18 5 2 20 0 15 0 49671657 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10916192 memory=7884232197461534824 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 17 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691250340768 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 9 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690646361216 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.43 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) S 14503 14506 9800 0 -1 1077944384 60682 13161 0 0 531 5 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691333634672 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.74 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) S 14503 14506 9800 0 -1 1077944384 60332 13161 0 0 561 6 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691332581872 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10916192 memory=6791534058613427641 CPUtime=2.76 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) S 14503 14506 9800 0 -1 1077944384 63161 13161 0 0 262 7 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691331529584 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10916192 memory=1788 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10916192 memory=644 CPUtime=1.33 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 1288 13161 0 0 64 62 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 2410.27 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 757332 KiB

[startup+2442.3 s]
/proc/loadavg: 1.66 1.47 1.50 3/215 14820
/proc/meminfo: memFree=14332740/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=10916192 memory=757332 CPUtime=2470.59 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 366078 13161 0 0 246794 258 5 2 20 0 15 0 49671646 11178180608 189333 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2729048 189333 3532 1 0 2690701 0
[pid=14506/tid=14559] ppid=14503 vsize=10916192 memory=757332 CPUtime=2432.5 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 95739 13161 0 0 243208 35 5 2 20 0 15 0 49671655 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691779897200 140691420599762 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.18 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 18179 13161 0 0 474 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.2 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 18146 13161 0 0 476 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.2 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 13914 13161 0 0 476 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.21 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 15775 13161 0 0 477 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10916192 memory=757332 CPUtime=2.51 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 15830 13161 0 0 226 18 5 2 20 0 15 0 49671657 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 17 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691250340768 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10916192 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 9 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690646361216 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.43 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) S 14503 14506 9800 0 -1 1077944384 60894 13161 0 0 531 5 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691333634672 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10916192 memory=4140 CPUtime=5.74 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) S 14503 14506 9800 0 -1 1077944384 60615 13161 0 0 561 6 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691332581872 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10916192 memory=16428 CPUtime=2.77 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) S 14503 14506 9800 0 -1 1077944384 63457 13161 0 0 263 7 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691331529584 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10916192 memory=16428 CPUtime=1.36 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 1305 13161 0 0 65 64 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 2470.59 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 757332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2491.5 s]
/proc/loadavg: 1.51 1.46 1.50 3/215 14821
/proc/meminfo: memFree=14332424/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=10916192 memory=757332 CPUtime=2520.04 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 367689 13161 0 0 251737 260 5 2 20 0 15 0 49671646 11178180608 189333 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2729048 189333 3532 1 0 2690701 0
[pid=14506/tid=14559] ppid=14503 vsize=10916192 memory=757332 CPUtime=2481.54 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 96141 13161 0 0 248111 36 5 2 20 0 15 0 49671655 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691779897504 140691404713779 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.26 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 18522 13161 0 0 482 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.28 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 18217 13161 0 0 484 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.28 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 14013 13161 0 0 484 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.3 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 15934 13161 0 0 485 38 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10916192 memory=757332 CPUtime=2.56 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 16037 13161 0 0 231 18 5 2 20 0 15 0 49671657 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 17 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691250340768 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 9 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690646361216 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10916192 memory=16428 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10916192 memory=1296 CPUtime=5.44 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) S 14503 14506 9800 0 -1 1077944384 61097 13161 0 0 532 5 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691333634672 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.74 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) S 14503 14506 9800 0 -1 1077944384 60617 13161 0 0 561 6 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691332581872 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10916192 memory=757332 CPUtime=2.77 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) S 14503 14506 9800 0 -1 1077944384 63562 13161 0 0 263 7 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691331529584 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10916192 memory=15872 CPUtime=1.38 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 1325 13161 0 0 66 65 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 757332 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2491.55 s]
# the end of solver process 14506 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.46 s, system=2.64032 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2491.5 s]
/proc/loadavg: 1.51 1.46 1.50 3/215 14821
/proc/meminfo: memFree=14332424/32770624 swapFree=67108860/67108860
[pid=14506] ppid=14503 vsize=10916192 memory=757332 CPUtime=2520.04 cores=0,2,4,6
/proc/14506/stat : 14506 (java) S 14503 14506 9800 0 -1 1077944320 367689 13161 0 0 251737 260 5 2 20 0 15 0 49671646 11178180608 189333 33554432000 4194304 4196468 140730174261216 140730174243760 140691808063223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
/proc/14506/statm: 2729048 189333 3532 1 0 2690701 0
[pid=14506/tid=14559] ppid=14503 vsize=10916192 memory=757332 CPUtime=2481.54 cores=0,2,4,6
/proc/14506/task/14559/stat : 14559 (java) R 14503 14506 9800 0 -1 4202560 96141 13161 0 0 248111 36 5 2 20 0 15 0 49671655 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691779897504 140691404713779 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14560] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.26 cores=0,2,4,6
/proc/14506/task/14560/stat : 14560 (java) S 14503 14506 9800 0 -1 1077944384 18522 13161 0 0 482 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691812305808 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14561] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.28 cores=0,2,4,6
/proc/14506/task/14561/stat : 14561 (java) S 14503 14506 9800 0 -1 1077944384 18217 13161 0 0 484 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691727125264 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14562] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.28 cores=0,2,4,6
/proc/14506/task/14562/stat : 14562 (java) S 14503 14506 9800 0 -1 1077944384 14013 13161 0 0 484 37 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691726072976 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14563] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.3 cores=0,2,4,6
/proc/14506/task/14563/stat : 14563 (java) S 14503 14506 9800 0 -1 1077944384 15934 13161 0 0 485 38 5 2 20 0 15 0 49671656 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691725020176 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14564] ppid=14503 vsize=10916192 memory=757332 CPUtime=2.56 cores=0,2,4,6
/proc/14506/task/14564/stat : 14564 (java) S 14503 14506 9800 0 -1 1077944384 16037 13161 0 0 231 18 5 2 20 0 15 0 49671657 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691334686832 140691808074370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14565] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14565/stat : 14565 (java) S 14503 14506 9800 0 -1 1077944384 17 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691250340768 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14566] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14566/stat : 14566 (java) S 14503 14506 9800 0 -1 1077944384 9 13161 0 0 0 0 5 2 20 0 15 0 49671658 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690646361216 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14567] ppid=14503 vsize=10916192 memory=16428 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14567/stat : 14567 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690338961488 140691808081819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14568] ppid=14503 vsize=10916192 memory=1296 CPUtime=5.44 cores=0,2,4,6
/proc/14506/task/14568/stat : 14568 (java) S 14503 14506 9800 0 -1 1077944384 61097 13161 0 0 532 5 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691333634672 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14569] ppid=14503 vsize=10916192 memory=757332 CPUtime=5.74 cores=0,2,4,6
/proc/14506/task/14569/stat : 14569 (java) S 14503 14506 9800 0 -1 1077944384 60617 13161 0 0 561 6 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691332581872 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14570] ppid=14503 vsize=10916192 memory=757332 CPUtime=2.77 cores=0,2,4,6
/proc/14506/task/14570/stat : 14570 (java) S 14503 14506 9800 0 -1 1077944384 63562 13161 0 0 263 7 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691331529584 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14571] ppid=14503 vsize=10916192 memory=757332 CPUtime=0.07 cores=0,2,4,6
/proc/14506/task/14571/stat : 14571 (java) S 14503 14506 9800 0 -1 1077944384 3 13161 0 0 0 0 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140690305403872 140691808073429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
[pid=14506/tid=14572] ppid=14503 vsize=10916192 memory=15872 CPUtime=1.38 cores=0,2,4,6
/proc/14506/task/14572/stat : 14572 (java) S 14503 14506 9800 0 -1 1077944384 1325 13161 0 0 66 65 5 2 20 0 15 0 49671661 11178180608 189333 33554432000 4194304 4196468 140730174261216 140691330476464 140691808074370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 39190528 140730174265515 140730174268764 140730174268764 140730174271439 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 757332 KiB

Child status: 143
Real time (s): 2491.55
CPU time (s): 2520.1
CPU user time (s): 2517.46
CPU system time (s): 2.64032
CPU usage (%): 101.146
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1921428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.45
system time used= 2.64032
maximum resident set size= 1950168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109706
involuntary context switches= 5727


# summary of solver processes directly reported to runsolver:
#   pid: 14506
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.46
#   total CPU system time (s): 2.64032

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0027 second user time and 21.3368 second system time

The end

Name	SumColoring/ SumColoring-myciel7_c18.xml
MD5SUM	e6a47a1c7f616b6a479cb76d144f475c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	214
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	191
Number of constraints	2360
Number of domains	1
Minimum domain size	191
Maximum domain size	191
Distribution of domain sizes	[{"size":191,"count":191}]
Minimum variable degree	8
Maximum variable degree	96
Distribution of variable degrees	[{"degree":8,"count":5},{"degree":9,"count":5},{"degree":10,"count":6},{"degree":11,"count":5},{"degree":12,"count":10},{"degree":13,"count":10},{"degree":14,"count":6},{"degree":15,"count":12},{"degree":16,"count":6},{"degree":17,"count":6},{"degree":18,"count":5},{"degree":19,"count":10},{"degree":20,"count":5},{"degree":21,"count":10},{"degree":22,"count":5},{"degree":23,"count":6},{"degree":24,"count":1},{"degree":25,"count":7},{"degree":26,"count":8},{"degree":27,"count":7},{"degree":29,"count":6},{"degree":33,"count":5},{"degree":34,"count":5},{"degree":35,"count":5},{"degree":37,"count":5},{"degree":41,"count":5},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":45,"count":1},{"degree":46,"count":1},{"degree":47,"count":1},{"degree":48,"count":1},{"degree":49,"count":9},{"degree":65,"count":5},{"degree":81,"count":1},{"degree":89,"count":1},{"degree":93,"count":1},{"degree":95,"count":1},{"degree":96,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2360}]
Number of extensional constraints	0
Number of intensional constraints	2360
Distribution of constraint types	[{"type":"intension","count":2360}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4293649

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data