Trace number 4304373

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)659 2520.05 2461.13

General information on the benchmark

NameSumColoring/
SumColoring-1-fullins-5_c18.xml
MD5SUMee128878a96f2bf381e98278be1f86f4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark227
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables282
Number of constraints3247
Number of domains1
Minimum domain size282
Maximum domain size282
Distribution of domain sizes[{"size":282,"count":282}]
Minimum variable degree9
Maximum variable degree96
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":6},{"degree":11,"count":11},{"degree":12,"count":8},{"degree":13,"count":13},{"degree":14,"count":13},{"degree":15,"count":13},{"degree":16,"count":16},{"degree":17,"count":15},{"degree":18,"count":15},{"degree":19,"count":11},{"degree":20,"count":11},{"degree":21,"count":12},{"degree":22,"count":12},{"degree":23,"count":9},{"degree":24,"count":9},{"degree":25,"count":10},{"degree":26,"count":10},{"degree":27,"count":10},{"degree":28,"count":10},{"degree":29,"count":4},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":3},{"degree":34,"count":3},{"degree":35,"count":6},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":38,"count":3},{"degree":39,"count":3},{"degree":40,"count":3},{"degree":45,"count":3},{"degree":46,"count":3},{"degree":47,"count":3},{"degree":48,"count":3},{"degree":65,"count":3},{"degree":66,"count":3},{"degree":96,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3247}]
Number of extensional constraints0
Number of intensional constraints3247
Distribution of constraint types[{"type":"intension","count":3247}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.98/0.75	c Concrete v3.9.2.1532736233296 running
12.31/5.22	o 4471
12.57/5.35	o 4190
12.57/5.37	o 4189
12.57/5.38	o 4188
12.57/5.39	o 4187
12.57/5.40	o 4186
12.84/5.41	o 4185
12.84/5.42	o 3910
12.84/5.48	o 3909
12.84/5.49	o 3908
12.84/5.50	o 3907
13.22/5.51	o 3906
13.22/5.52	o 3905
13.22/5.53	o 3904
13.22/5.54	o 3635
13.22/5.58	o 3634
13.22/5.59	o 3633
13.22/5.60	o 3632
13.22/5.60	o 3631
13.52/5.61	o 3630
13.52/5.62	o 3629
13.52/5.63	o 3628
13.52/5.63	o 3627
13.52/5.64	o 3626
13.52/5.65	o 3360
13.52/5.69	o 3359
13.52/5.69	o 3358
13.80/5.70	o 3357
13.80/5.70	o 3356
13.80/5.71	o 3355
13.80/5.71	o 3354
13.80/5.72	o 3353
13.80/5.73	o 3352
13.80/5.73	o 3351
13.80/5.74	o 3350
13.80/5.74	o 3084
13.80/5.76	o 3083
13.80/5.79	o 3082
14.13/5.80	o 3081
14.13/5.82	o 3080
14.13/5.84	o 3079
14.13/5.85	o 3078
14.13/5.86	o 3077
14.13/5.87	o 3076
14.13/5.88	o 3075
14.13/5.89	o 3074
14.43/5.90	o 3073
14.43/5.91	o 3072
14.43/5.91	o 3071
14.43/5.92	o 3070
14.43/5.92	o 3069
14.43/5.93	o 3068
14.43/5.93	o 3067
14.43/5.94	o 3066
14.43/5.94	o 2803
14.43/5.99	o 2802
14.43/5.99	o 2801
14.73/6.00	o 2800
14.73/6.00	o 2799
14.73/6.00	o 2798
14.73/6.01	o 2797
14.73/6.01	o 2796
14.73/6.01	o 2795
14.73/6.02	o 2571
14.73/6.04	o 2570
14.73/6.04	o 2569
14.73/6.04	o 2568
14.73/6.05	o 2567
15.04/6.11	o 2566
15.04/6.11	o 2565
15.04/6.13	o 2564
15.04/6.14	o 2563
15.04/6.14	o 2562
15.04/6.14	o 2561
15.27/6.25	o 2560
15.27/6.25	o 2559
15.27/6.25	o 2558
15.27/6.26	o 2557
15.27/6.26	o 2556
15.27/6.26	o 2555
15.27/6.27	o 2554
15.27/6.27	o 2553
15.27/6.28	o 2552
15.27/6.28	o 2551
15.27/6.28	o 2550
15.27/6.29	o 2549
15.27/6.29	o 2277
15.27/6.29	o 2276
15.47/6.30	o 2275
15.47/6.30	o 2274
15.47/6.31	o 2273
15.47/6.31	o 2272
15.47/6.31	o 2271
15.47/6.31	o 2270
15.47/6.31	o 2269
15.47/6.32	o 2268
15.47/6.36	o 2267
15.47/6.37	o 2266
15.47/6.37	o 2265
15.47/6.38	o 2264
15.47/6.39	o 2263
15.47/6.39	o 2020
15.47/6.39	o 2019
15.47/6.40	o 2018
15.69/6.40	o 2017
15.90/6.51	o 2016
15.90/6.52	o 2015
15.90/6.52	o 2014
15.90/6.52	o 2013
15.90/6.53	o 2012
15.90/6.53	o 2007
15.90/6.54	o 2006
15.90/6.54	o 2005
15.90/6.54	o 2004
15.90/6.54	o 2002
15.90/6.55	o 2001
15.90/6.55	o 2000
15.90/6.55	o 1999
16.13/6.64	o 1998
16.13/6.64	o 1997
16.13/6.64	o 1996
16.13/6.64	o 1995
16.13/6.65	o 1994
16.13/6.65	o 1993
16.13/6.65	o 1992
16.13/6.65	o 1991
16.13/6.67	o 1990
16.13/6.68	o 1989
16.13/6.69	o 1988
16.13/6.69	o 1987
16.27/6.70	o 1986
16.27/6.70	o 1985
16.27/6.71	o 1984
16.27/6.71	o 1983
16.27/6.72	o 1982
16.27/6.72	o 1981
16.27/6.72	o 1980
16.27/6.73	o 1968
16.27/6.74	o 1967
16.27/6.75	o 1966
16.27/6.75	o 1965
16.27/6.75	o 1964
16.27/6.75	o 1963
16.39/6.82	o 1958
16.39/6.85	o 1957
16.39/6.86	o 1956
16.39/6.86	o 1955
16.39/6.86	o 1954
16.39/6.86	o 1953
16.39/6.87	o 1952
16.39/6.87	o 1951
16.39/6.87	o 1950
16.39/6.87	o 1949
16.39/6.87	o 1708
16.39/6.88	o 1707
16.39/6.88	o 1705
16.39/6.88	o 1704
16.39/6.89	o 1703
16.39/6.89	o 1702
16.50/6.90	o 1701
16.91/7.28	o 1700
16.91/7.28	o 1699
16.91/7.28	o 1698
16.91/7.28	o 1697
16.91/7.29	o 1696
16.91/7.29	o 1695
16.91/7.29	o 1694
16.91/7.29	o 1693
17.17/7.30	o 1692
17.17/7.30	o 1691
17.17/7.30	o 1690
17.17/7.30	o 1689
17.17/7.30	o 1501
17.17/7.31	o 1500
17.17/7.31	o 1499
17.17/7.32	o 1498
17.17/7.32	o 1497
17.17/7.33	o 1496
17.17/7.33	o 1495
17.17/7.33	o 1494
17.17/7.33	o 1493
17.17/7.34	o 1492
17.17/7.34	o 1491
17.17/7.35	o 1490
17.17/7.35	o 1489
17.17/7.36	o 1488
17.17/7.36	o 1487
17.17/7.37	o 1486
17.17/7.37	o 1485
17.17/7.38	o 1484
17.17/7.38	o 1483
17.17/7.38	o 1482
17.17/7.39	o 1481
17.41/7.40	o 1479
17.41/7.43	o 1478
17.41/7.43	o 1477
17.41/7.43	o 1476
17.41/7.46	o 1475
17.41/7.47	o 1474
17.41/7.47	o 1473
17.41/7.47	o 1472
17.41/7.48	o 1471
17.41/7.48	o 1470
17.41/7.49	o 1469
17.41/7.49	o 1468
17.41/7.50	o 1467
17.41/7.50	o 1434
17.41/7.51	o 1433
17.41/7.51	o 1432
17.41/7.52	o 1431
17.41/7.52	o 1430
17.65/7.52	o 1429
17.65/7.52	o 1428
17.65/7.52	o 1427
17.65/7.53	o 1426
17.65/7.53	o 1425
17.65/7.53	o 1424
17.65/7.53	o 1423
17.65/7.54	o 1422
17.65/7.54	o 1421
17.65/7.55	o 1420
17.65/7.55	o 1419
17.65/7.55	o 1418
17.65/7.58	o 1417
17.65/7.59	o 1416
17.65/7.60	o 1415
17.65/7.60	o 1414
17.65/7.61	o 1413
17.80/7.61	o 1412
17.80/7.61	o 1411
17.80/7.61	o 1410
17.80/7.62	o 1409
17.80/7.62	o 1408
17.80/7.62	o 1393
17.80/7.63	o 1392
17.80/7.63	o 1391
18.05/7.83	o 1390
18.97/8.66	o 1389
18.97/8.66	o 1388
18.97/8.66	o 1387
18.97/8.66	o 1386
18.97/8.67	o 1385
18.97/8.67	o 1384
18.97/8.67	o 1383
18.97/8.67	o 1382
18.97/8.67	o 1381
18.97/8.68	o 1380
18.97/8.68	o 1124
18.97/8.69	o 1123
18.97/8.69	o 1122
18.97/8.69	o 1120
18.97/8.69	o 1119
18.97/8.69	o 1118
18.97/8.70	o 1117
19.10/8.70	o 1116
21.87/11.32	o 1115
21.87/11.33	o 1114
21.87/11.33	o 1113
21.87/11.34	o 1112
21.87/11.34	o 1111
21.87/11.35	o 1110
21.87/11.35	o 1109
21.87/11.35	o 1108
21.87/11.36	o 1107
22.18/11.67	o 1106
22.18/11.67	o 1105
22.18/11.67	o 1104
22.29/11.74	o 1103
22.29/11.74	o 1102
28.01/17.34	o 1101
28.01/17.35	o 1100
28.01/17.35	o 1008
28.01/17.35	o 1007
28.01/17.35	o 1005
28.01/17.36	o 1003
28.01/17.36	o 1002
28.01/17.36	o 1001
28.01/17.39	o 999
28.13/17.42	o 998
28.13/17.44	o 997
28.13/17.45	o 996
28.13/17.45	o 995
28.13/17.45	o 994
28.13/17.45	o 993
28.13/17.45	o 992
28.87/18.15	o 991
28.87/18.15	o 990
28.87/18.16	o 989
28.87/18.17	o 988
28.87/18.17	o 987
28.87/18.18	o 986
28.87/18.18	o 985
28.97/18.20	o 984
28.97/18.21	o 983
29.07/18.30	o 982
29.07/18.30	o 981
29.07/18.30	o 980
29.07/18.34	o 978
29.17/18.43	o 977
29.17/18.43	o 974
29.28/18.55	o 973
29.28/18.55	o 971
29.28/18.55	o 970
29.59/18.84	o 969
30.00/19.24	o 968
30.00/19.24	o 967
30.00/19.24	o 966
30.00/19.24	o 965
36.03/24.49	o 964
36.03/24.49	o 963
36.03/24.49	o 962
36.03/24.50	o 905
36.03/24.50	o 904
36.03/24.50	o 903
36.03/24.50	o 902
36.14/24.52	o 901
36.14/24.52	o 900
36.14/24.52	o 899
36.14/24.52	o 898
36.14/24.59	o 897
36.14/24.59	o 896
36.14/24.60	o 895
36.14/24.60	o 894
36.26/24.61	o 893
36.26/24.61	o 892
36.26/24.64	o 891
36.26/24.64	o 890
36.26/24.64	o 889
36.26/24.67	o 888
36.26/24.67	o 887
36.26/24.67	o 886
36.36/24.71	o 885
36.36/24.71	o 884
36.36/24.71	o 883
36.36/24.75	o 882
36.36/24.75	o 880
36.36/24.78	o 879
36.36/24.78	o 877
36.48/24.82	o 876
36.48/24.82	o 875
36.48/24.82	o 874
36.48/24.86	o 873
36.48/24.86	o 872
36.48/24.87	o 871
36.68/24.91	o 870
36.68/24.91	o 869
36.68/24.91	o 868
36.68/24.92	o 867
36.68/24.92	o 866
36.68/24.92	o 865
36.68/24.92	o 864
36.68/24.92	o 863
36.90/25.08	o 862
36.90/25.09	o 861
36.90/25.09	o 860
37.03/25.16	o 859
37.03/25.16	o 858
37.74/25.88	o 857
153.73/140.50	o 856
153.84/140.51	o 855
153.84/140.51	o 854
153.84/140.51	o 853
154.05/140.74	o 852
154.79/141.48	o 851
154.79/141.48	o 850
154.79/141.48	o 849
154.79/141.48	o 848
155.00/141.68	o 847
155.00/141.68	o 846
155.00/141.69	o 845
155.10/141.72	o 844
155.42/142.02	o 843
155.42/142.02	o 842
155.42/142.02	o 841
155.42/142.02	o 840
155.94/142.59	o 839
155.94/142.59	o 838
155.94/142.59	o 837
155.94/142.59	o 836
157.19/143.77	o 835
157.19/143.77	o 834
157.19/143.77	o 833
157.19/143.77	o 831
157.19/143.78	o 830
157.19/143.78	o 829
157.19/143.78	o 828
157.19/143.78	o 827
157.19/143.78	o 826
157.19/143.78	o 825
157.19/143.79	o 823
157.19/143.79	o 822
157.19/143.79	o 820
157.19/143.79	o 819
157.30/143.80	o 816
157.30/143.83	o 815
157.30/143.84	o 814
157.30/143.84	o 813
157.30/143.85	o 810
157.40/143.90	o 809
157.40/143.91	o 808
157.40/143.91	o 807
157.40/143.95	o 806
228.57/213.67	o 805
228.57/213.69	o 804
233.72/218.63	o 803
233.72/218.63	o 802
233.72/218.63	o 800
233.72/218.63	o 799
233.72/218.65	o 798
233.72/218.65	o 796
233.72/218.68	o 795
233.72/218.68	o 794
233.72/218.69	o 793
233.82/218.76	o 792
234.10/218.90	o 791
234.10/218.90	o 790
234.10/218.90	o 789
235.65/220.42	o 785
236.92/221.69	o 784
238.06/222.76	o 783
239.11/223.75	o 782
239.11/223.75	o 781
240.46/225.07	o 780
242.21/226.74	o 779
242.21/226.74	o 778
242.21/226.75	o 777
242.21/226.75	o 776
242.21/226.77	o 775
242.32/226.81	o 772
242.32/226.85	o 770
242.32/226.85	o 769
243.73/228.14	o 767
243.83/228.27	o 766
243.83/228.28	o 765
243.83/228.28	o 760
254.74/238.64	o 759
261.54/245.27	o 758
261.54/245.27	o 757
261.54/245.27	o 756
714.36/688.86	o 755
714.36/688.87	o 753
714.36/688.87	o 751
714.36/688.87	o 749
714.36/688.87	o 748
714.49/688.91	o 747
714.49/688.91	o 746
714.49/688.91	o 743
714.49/688.95	o 742
714.49/688.95	o 741
714.49/688.99	o 740
714.49/688.99	o 738
714.59/689.02	o 737
714.59/689.02	o 736
714.59/689.02	o 734
714.59/689.07	o 733
714.59/689.07	o 731
714.69/689.11	o 726
714.69/689.15	o 725
714.69/689.15	o 723
714.80/689.20	o 721
714.90/689.33	o 720
715.12/689.51	o 719
715.12/689.58	o 718
715.12/689.59	o 717
715.23/689.63	o 716
715.23/689.63	o 715
715.32/689.75	o 714
715.32/689.75	o 711
715.95/690.30	o 709
718.24/692.55	o 708
718.24/692.55	o 707
721.64/695.87	o 700
723.51/697.64	o 699
723.51/697.64	o 697
727.53/701.53	o 696
1070.26/1037.14	o 695
1070.26/1037.14	o 694
1070.26/1037.14	o 693
1070.46/1037.34	o 692
1070.79/1037.62	o 691
1071.81/1038.63	o 687
1073.06/1039.82	o 686
1073.06/1039.82	o 685
1073.06/1039.82	o 683
1076.78/1043.46	o 682
1081.53/1048.09	o 679
1081.53/1048.09	o 678
1141.47/1106.35	o 677
1141.47/1106.35	o 676
1141.47/1106.35	o 675
1141.59/1106.48	o 674
1141.59/1106.48	o 673
1141.59/1106.49	o 672
1147.16/1111.82	o 671
1147.16/1111.83	o 670
1147.16/1111.83	o 669
1147.16/1111.87	o 668
1705.73/1660.84	o 667
1705.73/1660.85	o 666
1714.98/1669.96	o 664
1838.70/1791.59	o 663
1838.70/1791.59	o 662
1838.80/1791.65	o 661
2041.65/1991.09	o 660
2041.65/1991.09	o 659
2520.01/2461.10	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.01/2461.10		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.01/2461.10		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.01/2461.10		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.01/2461.10		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.01/2461.10		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.01/2461.10		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.01/2461.10		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.01/2461.10		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2461.10		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2461.10		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2461.10		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2461.10		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2461.10		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2461.10		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2461.10		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.01/2461.10		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.01/2461.10		at scala.Option.map(Option.scala:146)
2520.01/2461.10		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.01/2461.10		at concrete.MAC.mac(MAC.scala:203)
2520.01/2461.10		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2461.10		at scala.util.Try$.apply(Try.scala:209)
2520.01/2461.10		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2461.10		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2461.10		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2461.10		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2461.10		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2461.10		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2461.10		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2461.10		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2461.10		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2461.10		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2461.10		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2461.10		at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2461.10		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2461.10		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2461.10		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2461.10		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2461.10		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2461.10		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2461.10		at scala.util.Success.map(Try.scala:209)
2520.01/2461.10		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2461.10		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2461.10		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2461.10		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2461.10		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2461.10		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2461.10		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2461.10		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2461.10		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2461.10		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2461.10		at scala.App.main(App.scala:76)
2520.01/2461.10		at scala.App.main$(App.scala:74)
2520.01/2461.10		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2461.10		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2461.11	v <instantiation cost="659">
2520.01/2461.11	v       <list>
2520.01/2461.11	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] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] c[250] c[251] c[252] c[253] c[254] c[255] c[256] c[257] c[258] c[259] c[260] c[261] c[262] c[263] c[264] c[265] c[266] c[267] c[268] c[269] c[270] c[271] c[272] c[273] c[274] c[275] c[276] c[277] c[278] c[279] c[280] c[281]
2520.01/2461.11	v       </list>
2520.01/2461.11	v       <values>
2520.01/2461.11	v         2 5 0 0 2 2 5 2 0 4 4 6 1 4 4 4 4 4 0 2 0 0 0 2 0 2 0 4 2 6 3 3 3 0 3 3 3 3 0 3 3 0 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 1 0 1 2 2 0 0 2 2 2 2 0 2 2 2 1 2 2 2 2 2 0 2 0 0 0 2 0 2 0 2 2 2 3 4 6 2 1 1 0 2 1 1 2 1 1 1 1 1 1 1 1 1 1 2 5 2 2 2 2 2 2 2 3 5 3 3 1 3 1 3 1 1 3 1 1 1 1 1 1 1 1 1 1 3 1 1 1 3 1 1 3 1 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 5 5 2 0 0 0 2 0 0 2 0 4 0 0 0 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 3 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 0 281 0 4 0 1 4 5
2520.01/2461.11	v       </values>
2520.01/2461.11	v     </instantiation>
2520.01/2461.11	s SATISFIABLE

Verifier Data 

OK	659

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304373-1534064744/watcher-4304373-1534064744 -o /tmp/evaluation-result-4304373-1534064744/solver-4304373-1534064744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=923310563 HOME/instance-4304373-1534064744.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=10041, runsolver pid=10038

[startup+0.10006 s]*
/proc/loadavg: 1.42 1.45 1.45 3/206 10098
/proc/meminfo: memFree=14998688/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=10005480 memory=16948 CPUtime=0.08 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 4371 12908 0 0 1 0 4 3 20 0 6 0 224037563 10245611520 4237 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2501370 4237 1934 1 0 2489808 0
[pid=10041/tid=10094] ppid=10038 vsize=10005480 memory=4279135704047322765 CPUtime=0.08 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 2199 12908 0 0 1 0 4 3 20 0 6 0 224037572 10245611520 4749 33554432000 4194304 4196468 140728247949248 140678982054480 140678995900245 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 6 0 224037573 10245611520 4749 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=10005480 memory=140449293731456 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 6 0 224037573 10245611520 4749 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 6 0 224037573 10245611520 4749 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 6 0 224037573 10245611520 4749 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16948 KiB

[startup+0.209917 s]*
/proc/loadavg: 1.42 1.45 1.45 3/215 10107
/proc/meminfo: memFree=14972968/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=10982744 memory=43536 CPUtime=0.25 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 7071 12908 0 0 16 2 4 3 20 0 15 0 224037563 11246329856 10884 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2745686 10884 2948 1 0 2708109 0
[pid=10041/tid=10094] ppid=10038 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 3628 12908 0 0 10 1 4 3 20 0 15 0 224037572 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678982039528 140678990493551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246329856 10884 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=10982744 memory=140449293731456 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=10982744 memory=140449293731456 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678503352560 140679010228866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 13 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246329856 10884 33554432000 4194304 4196468 140728247949248 140677775090848 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246329856 10884 33554432000 4194304 4196468 140728247949248 140677627241200 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246329856 10884 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) S 10038 10041 9560 0 -1 1077944384 435 12908 0 0 1 0 4 3 20 0 15 0 224037578 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678502300400 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 184 12908 0 0 1 0 4 3 20 0 15 0 224037578 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=10982744 memory=140449293731456 CPUtime=0.1 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 607 12908 0 0 3 0 4 3 20 0 15 0 224037578 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246329856 10884 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=10982744 memory=140449293731456 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246329856 10884 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43536 KiB

[startup+0.310094 s]*
/proc/loadavg: 1.42 1.45 1.45 3/215 10107
/proc/meminfo: memFree=14960260/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=10983192 memory=55192 CPUtime=0.37 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 9843 12908 0 0 28 2 4 3 20 0 15 0 224037563 11246788608 13798 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2745798 13798 3067 1 0 2708109 0
[pid=10041/tid=10094] ppid=10038 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 6417 12908 0 0 19 1 4 3 20 0 15 0 224037572 11246788608 13798 33554432000 4194304 4196468 140728247949248 140678982029728 140678990493749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=10983192 memory=5792845602946568273 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 13798 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=10983192 memory=2072 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 13798 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 13798 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 13862 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246788608 13862 33554432000 4194304 4196468 140728247949248 140678503352560 140679010228866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 13 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246788608 13862 33554432000 4194304 4196468 140728247949248 140677775090848 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246788608 13862 33554432000 4194304 4196468 140728247949248 140677627241200 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246788608 13862 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) S 10038 10041 9560 0 -1 1077944384 435 12908 0 0 1 0 4 3 20 0 15 0 224037578 11246788608 13862 33554432000 4194304 4196468 140728247949248 140678502300400 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 185 12908 0 0 1 0 4 3 20 0 15 0 224037578 11246788608 13862 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 618 12908 0 0 5 0 4 3 20 0 15 0 224037578 11246788608 13862 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246788608 13862 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246788608 13862 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55192 KiB

[startup+0.700698 s]
/proc/loadavg: 1.42 1.45 1.45 3/215 10107
/proc/meminfo: memFree=14948600/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=10983192 memory=90324 CPUtime=0.98 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 16702 12908 0 0 87 4 4 3 20 0 15 0 224037563 11246788608 22581 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2745798 22581 3238 1 0 2708109 0
[pid=10041/tid=10094] ppid=10038 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 12121 12908 0 0 56 3 4 3 20 0 15 0 224037572 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678982040720 140678990493547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 2 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 22581 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=10983192 memory=3816 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037573 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 5 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678503352560 140679010228866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 13 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246788608 22581 33554432000 4194304 4196468 140728247949248 140677775090848 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037575 11246788608 22581 33554432000 4194304 4196468 140728247949248 140677627241200 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246788608 22581 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=10983192 memory=13252 CPUtime=0.16 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) S 10038 10041 9560 0 -1 1077944384 1108 12908 0 0 9 0 4 3 20 0 15 0 224037578 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678502300400 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 554 12908 0 0 7 0 4 3 20 0 15 0 224037578 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 699 12908 0 0 13 0 4 3 20 0 15 0 224037578 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246788608 22581 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037578 11246788608 22581 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90324 KiB

[startup+1.50432 s]
/proc/loadavg: 1.42 1.45 1.45 3/215 10107
/proc/meminfo: memFree=14905664/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=10996044 memory=174204 CPUtime=2.94 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 24665 12908 0 0 278 9 4 3 20 0 15 0 224037563 11259949056 43551 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2749011 43551 3455 1 0 2710669 0
[pid=10041/tid=10094] ppid=10038 vsize=10996044 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) S 10038 10041 9560 0 -1 1077944384 16893 12908 0 0 132 6 4 3 20 0 15 0 224037572 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678982032240 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 144 12908 0 0 0 0 4 3 20 0 15 0 224037573 11259949056 43551 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) R 10038 10041 9560 0 -1 4202560 58 12908 0 0 0 0 4 3 20 0 15 0 224037573 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678904065288 140679002845927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=10996044 memory=3539892194917298225 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 5 12908 0 0 0 0 4 3 20 0 15 0 224037573 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678548658976 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 45 12908 0 0 0 0 4 3 20 0 15 0 224037573 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=10996044 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 23 12908 0 0 0 0 4 3 20 0 15 0 224037575 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678503351040 140679010227925 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=10996044 memory=280898377427200 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 13 12908 0 0 0 0 4 3 20 0 15 0 224037575 11259949056 43551 33554432000 4194304 4196468 140728247949248 140677775090848 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037575 11259949056 43551 33554432000 4194304 4196468 140728247949248 140677627241200 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=10996044 memory=4552 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11259949056 43551 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=10996044 memory=3732 CPUtime=0.64 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) R 10038 10041 9560 0 -1 4202560 2521 12908 0 0 57 0 4 3 20 0 15 0 224037578 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678502279920 140678991761919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=10996044 memory=1228 CPUtime=0.5 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 1232 12908 0 0 43 0 4 3 20 0 15 0 224037578 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=10996044 memory=10624 CPUtime=0.5 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 1534 12908 0 0 43 0 4 3 20 0 15 0 224037578 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=10996044 memory=1624 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11259949056 43551 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=10996044 memory=6676 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1 12908 0 0 0 0 4 3 20 0 15 0 224037578 11259949056 43551 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10996044 KiB

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

/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 109994 12908 0 0 229653 68 4 3 20 0 15 0 224037572 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678982052944 140678597352640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=11080032 memory=6791534058613427641 CPUtime=13.07 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 24365 12908 0 0 1246 54 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=11080032 memory=748 CPUtime=13.02 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 22380 12908 0 0 1242 53 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=11080032 memory=1820 CPUtime=13.04 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 24100 12908 0 0 1244 53 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=11080032 memory=4552 CPUtime=12.98 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 21247 12908 0 0 1241 50 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=11080032 memory=3732 CPUtime=9.82 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 23082 12908 0 0 921 54 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678503352560 140679010228866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=11080032 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 16 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677775090976 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=11080032 memory=1650084 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 7 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677627241216 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=11080032 memory=6676 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=11080032 memory=876 CPUtime=7.11 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) S 10038 10041 9560 0 -1 1077944384 71704 12908 0 0 695 9 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678502300400 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=11080032 memory=1296 CPUtime=7.5 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 78140 12908 0 0 735 8 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=11080032 memory=1068 CPUtime=3.98 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 84968 12908 0 0 378 13 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=11080032 memory=15084 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=11080032 memory=34544 CPUtime=1.52 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1578 12908 0 0 67 78 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 2378.8 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1650084 KiB

[startup+2382.3 s]
/proc/loadavg: 1.68 1.51 1.46 3/215 10308
/proc/meminfo: memFree=12061564/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=11080032 memory=1650084 CPUtime=2439.82 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 466625 12908 0 0 243583 392 4 3 20 0 15 0 224037563 11345952768 412521 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2770008 412521 3533 1 0 2731661 0
[pid=10041/tid=10094] ppid=10038 vsize=11080032 memory=748 CPUtime=2356.59 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 111055 12908 0 0 235584 68 4 3 20 0 15 0 224037572 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678982053552 140678588615126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=11080032 memory=1820 CPUtime=13.43 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 24895 12908 0 0 1281 55 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=11080032 memory=6791534058613427641 CPUtime=13.37 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 22631 12908 0 0 1276 54 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=11080032 memory=3356 CPUtime=13.39 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 24260 12908 0 0 1279 53 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=11080032 memory=492 CPUtime=13.35 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 21656 12908 0 0 1277 51 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=11080032 memory=1616 CPUtime=10.07 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 23480 12908 0 0 944 56 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678503352560 140679010228866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=11080032 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 16 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677775090976 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=11080032 memory=1168 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 7 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677627241216 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=11080032 memory=15084 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=11080032 memory=34544 CPUtime=7.11 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) S 10038 10041 9560 0 -1 1077944384 71708 12908 0 0 695 9 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678502300400 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=11080032 memory=13776 CPUtime=7.5 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 78144 12908 0 0 735 8 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=11080032 memory=3356 CPUtime=3.98 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 84972 12908 0 0 378 13 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=11080032 memory=492 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=11080032 memory=1616 CPUtime=1.55 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1606 12908 0 0 69 79 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 2439.82 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1650084 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.44 1.44 3/215 10309
/proc/meminfo: memFree=12061480/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=11080032 memory=1650084 CPUtime=2500.86 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 469530 12908 0 0 249680 399 4 3 20 0 15 0 224037563 11345952768 412521 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2770008 412521 3533 1 0 2731661 0
[pid=10041/tid=10094] ppid=10038 vsize=11080032 memory=932 CPUtime=2415.91 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 112198 12908 0 0 241515 69 4 3 20 0 15 0 224037572 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678982052912 140678588615580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=11080032 memory=1168 CPUtime=13.79 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 25136 12908 0 0 1316 56 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=11080032 memory=2344 CPUtime=13.73 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 22770 12908 0 0 1311 55 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=11080032 memory=1752 CPUtime=13.75 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 24420 12908 0 0 1314 54 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=11080032 memory=7532 CPUtime=13.71 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 22441 12908 0 0 1312 52 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=11080032 memory=808 CPUtime=10.31 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 23886 12908 0 0 967 57 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678503352560 140679010228866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=11080032 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 16 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677775090976 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=11080032 memory=916 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 7 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677627241216 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=11080032 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=11080032 memory=1650084 CPUtime=7.11 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) S 10038 10041 9560 0 -1 1077944384 71712 12908 0 0 695 9 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678502300400 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=11080032 memory=3816 CPUtime=7.5 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 78148 12908 0 0 735 8 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=11080032 memory=60840 CPUtime=3.98 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 84976 12908 0 0 378 13 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=11080032 memory=1116 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=11080032 memory=2144 CPUtime=1.59 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1625 12908 0 0 71 81 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 2500.86 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1650084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2461.1 s]
/proc/loadavg: 1.34 1.43 1.44 3/215 10309
/proc/meminfo: memFree=12061680/32770624 swapFree=67108504/67108860
[pid=10041] ppid=10038 vsize=11080032 memory=1650084 CPUtime=2520.01 cores=0,2,4,6
/proc/10041/stat : 10041 (java) S 10038 10041 9560 0 -1 1077944320 469779 12908 0 0 251593 401 4 3 20 0 15 0 224037563 11345952768 412521 33554432000 4194304 4196468 140728247949248 140728247931792 140679010217719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
/proc/10041/statm: 2770008 412521 3533 1 0 2731661 0
[pid=10041/tid=10094] ppid=10038 vsize=11080032 memory=3992 CPUtime=2434.5 cores=0,2,4,6
/proc/10041/task/10094/stat : 10094 (java) R 10038 10041 9560 0 -1 4202560 112385 12908 0 0 243374 69 4 3 20 0 15 0 224037572 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678982052672 140678580630639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10095] ppid=10038 vsize=11080032 memory=1928 CPUtime=13.9 cores=0,2,4,6
/proc/10041/task/10095/stat : 10095 (java) S 10038 10041 9560 0 -1 1077944384 25142 12908 0 0 1327 56 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140679014460432 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10096] ppid=10038 vsize=11080032 memory=7532 CPUtime=13.85 cores=0,2,4,6
/proc/10041/task/10096/stat : 10096 (java) S 10038 10041 9560 0 -1 1077944384 22777 12908 0 0 1322 56 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678904065168 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10097] ppid=10038 vsize=11080032 memory=808 CPUtime=13.86 cores=0,2,4,6
/proc/10041/task/10097/stat : 10097 (java) S 10038 10041 9560 0 -1 1077944384 24424 12908 0 0 1325 54 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678548658960 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10098] ppid=10038 vsize=11080032 memory=1796 CPUtime=13.82 cores=0,2,4,6
/proc/10041/task/10098/stat : 10098 (java) S 10038 10041 9560 0 -1 1077944384 22483 12908 0 0 1323 52 4 3 20 0 15 0 224037573 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678547606416 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10099] ppid=10038 vsize=11080032 memory=916 CPUtime=10.39 cores=0,2,4,6
/proc/10041/task/10099/stat : 10099 (java) S 10038 10041 9560 0 -1 1077944384 23889 12908 0 0 974 58 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678503352560 140679010228866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10100] ppid=10038 vsize=11080032 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10100/stat : 10100 (java) S 10038 10041 9560 0 -1 1077944384 16 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677775090976 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10101] ppid=10038 vsize=11080032 memory=2600 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10101/stat : 10101 (java) S 10038 10041 9560 0 -1 1077944384 7 12908 0 0 0 0 4 3 20 0 15 0 224037575 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677627241216 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10102] ppid=10038 vsize=11080032 memory=2608 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10102/stat : 10102 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140677319841744 140679010236315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10103] ppid=10038 vsize=11080032 memory=4108 CPUtime=7.11 cores=0,2,4,6
/proc/10041/task/10103/stat : 10103 (java) S 10038 10041 9560 0 -1 1077944384 71712 12908 0 0 695 9 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678502300400 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10104] ppid=10038 vsize=11080032 memory=1408 CPUtime=7.5 cores=0,2,4,6
/proc/10041/task/10104/stat : 10104 (java) S 10038 10041 9560 0 -1 1077944384 78148 12908 0 0 735 8 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678501247856 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10105] ppid=10038 vsize=11080032 memory=3292 CPUtime=3.98 cores=0,2,4,6
/proc/10041/task/10105/stat : 10105 (java) S 10038 10041 9560 0 -1 1077944384 84976 12908 0 0 378 13 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678432549360 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10106] ppid=10038 vsize=11080032 memory=1650084 CPUtime=0.07 cores=0,2,4,6
/proc/10041/task/10106/stat : 10106 (java) S 10038 10041 9560 0 -1 1077944384 3 12908 0 0 0 0 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140676889045856 140679010227925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
[pid=10041/tid=10107] ppid=10038 vsize=11080032 memory=1408 CPUtime=1.61 cores=0,2,4,6
/proc/10041/task/10107/stat : 10107 (java) S 10038 10041 9560 0 -1 1077944384 1625 12908 0 0 72 82 4 3 20 0 15 0 224037578 11345952768 412521 33554432000 4194304 4196468 140728247949248 140678431496752 140679010228866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140728247954029 140728247956828 140728247956828 140728247959503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1650084 KiB

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

[startup+2461.13 s]
# the end of solver process 10041 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.99 s, system=4.06223 s

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

Child status: 143
Real time (s): 2461.13
CPU time (s): 2520.05
CPU user time (s): 2515.99
CPU system time (s): 4.06223
CPU usage (%): 102.394
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 2082756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.99
system time used= 4.06223
maximum resident set size= 2083760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 266805
involuntary context switches= 7845


# summary of solver processes directly reported to runsolver:
#   pid: 10041
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2515.99
#   total CPU system time (s): 4.06223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2322 second user time and 25.9048 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-12 11:05:44
IDJOB=4304373
IDBENCH=141222
IDSOLVER=2780
FILE ID=node104/4304373-1534064744
RUNJOBID= node104-1534062308-9591
PBS_JOBID= 21036981
Free space on /tmp= 37232 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/SumColoring/SumColoring-1-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304373-1534064744/watcher-4304373-1534064744 -o /tmp/evaluation-result-4304373-1534064744/solver-4304373-1534064744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=923310563 HOME/instance-4304373-1534064744.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ee128878a96f2bf381e98278be1f86f4
RANDOM SEED=923310563

node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15002924 kB
MemAvailable:   30589356 kB
Buffers:          172964 kB
Cached:         15447524 kB
SwapCached:            8 kB
Active:          9042844 kB
Inactive:        7944740 kB
Active(anon):    1318816 kB
Inactive(anon):   101008 kB
Active(file):    7724028 kB
Inactive(file):  7843732 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             26252 kB
Writeback:             0 kB
AnonPages:       1407444 kB
Mapped:            65076 kB
Shmem:             49636 kB
Slab:             475412 kB
SReclaimable:     447132 kB
SUnreclaim:        28280 kB
KernelStack:        3840 kB
PageTables:         8324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2517632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1310720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 37208 MiB
End job on node104 at 2018-08-12 11:46:45