Trace number 4311741

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
OscaR - Conflict Ordering with restarts 2018-08-17SAT (TO)3702 2520.1 2499.22

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-9_c18.xml
MD5SUMfde90c264558af66570e1c8b29991738
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2523
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints6961
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree104
Maximum variable degree121
Distribution of variable degrees[{"degree":104,"count":2},{"degree":105,"count":1},{"degree":106,"count":1},{"degree":107,"count":3},{"degree":108,"count":8},{"degree":109,"count":10},{"degree":110,"count":9},{"degree":111,"count":16},{"degree":112,"count":13},{"degree":113,"count":18},{"degree":114,"count":11},{"degree":115,"count":8},{"degree":116,"count":12},{"degree":117,"count":7},{"degree":118,"count":4},{"degree":119,"count":1},{"degree":121,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":6961}]
Number of extensional constraints0
Number of intensional constraints6961
Distribution of constraint types[{"type":"intension","count":6961}]
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.67/0.74	c version: 2018-08-17
0.67/0.74	c seed: 357303088
0.67/0.74	c timeout: 2520
0.67/0.74	c memlimit: 11000
0.67/0.74	c nbcore: 1
0.67/0.76	c Parsing instance...
3.79/2.00	c Parsing done, starting search...
4.47/2.11	o 7614
4.47/2.16	o 7610
4.47/2.16	o 7598
4.47/2.16	o 7584
4.47/2.16	o 7580
4.47/2.16	o 7563
4.47/2.16	o 7562
4.47/2.17	o 7552
4.47/2.17	o 7550
4.47/2.17	o 7545
4.47/2.17	o 7544
4.47/2.17	o 7533
4.47/2.17	o 7528
4.47/2.17	o 7527
4.47/2.17	o 7526
4.47/2.17	o 7445
4.47/2.17	o 7440
4.47/2.18	o 7439
4.47/2.18	o 7438
4.47/2.18	o 7436
4.47/2.18	o 7431
4.47/2.18	o 7430
4.47/2.18	o 7429
4.47/2.18	o 7428
4.47/2.18	o 7411
4.47/2.19	o 7406
4.47/2.19	o 7383
4.47/2.19	o 7382
4.47/2.19	o 7378
4.47/2.19	o 7340
4.47/2.19	o 7335
4.76/2.20	o 7333
4.76/2.20	o 7328
4.76/2.20	o 7319
4.76/2.20	o 7314
4.76/2.21	o 7302
4.76/2.21	o 7301
4.76/2.21	o 7298
4.76/2.21	o 7288
4.76/2.21	o 7287
4.76/2.21	o 7284
4.76/2.22	o 7271
4.76/2.23	o 7257
4.76/2.24	o 7255
4.76/2.24	o 7254
4.76/2.24	o 7247
4.76/2.24	o 7241
4.76/2.25	o 7232
4.76/2.25	o 7222
4.76/2.25	o 7203
4.76/2.29	o 7185
4.76/2.29	o 7178
4.76/2.29	o 7129
4.76/2.29	o 7124
4.76/2.29	o 7111
5.07/2.31	o 7104
5.42/2.52	o 7102
5.42/2.53	o 7101
5.60/2.61	o 7096
5.60/2.69	o 7095
5.93/2.84	o 7090
6.26/3.13	o 7076
6.26/3.13	o 7057
6.26/3.14	o 7043
6.26/3.14	o 7019
6.26/3.14	o 7005
6.26/3.14	o 6978
6.26/3.14	o 6977
6.26/3.14	o 6959
6.26/3.14	o 6952
6.26/3.15	o 6911
6.26/3.15	o 6899
6.26/3.15	o 6869
6.26/3.15	o 6855
6.26/3.16	o 6852
6.26/3.16	o 6848
6.26/3.16	o 6838
6.26/3.18	o 6837
6.26/3.18	o 6836
6.26/3.18	o 6827
6.26/3.18	o 6824
6.26/3.18	o 6819
6.41/3.27	o 6783
6.41/3.27	o 6782
6.41/3.27	o 6775
6.41/3.27	o 6773
6.41/3.28	o 6768
6.41/3.28	o 6766
6.41/3.29	o 6763
6.41/3.29	o 6759
6.41/3.29	o 6750
6.66/3.44	o 6746
6.66/3.45	o 6744
6.66/3.45	o 6741
6.66/3.45	o 6739
6.66/3.48	o 6738
6.76/3.52	o 6733
7.16/3.98	o 6732
8.70/5.49	o 6731
8.70/5.49	o 6725
8.70/5.49	o 6711
8.70/5.49	o 6710
8.70/5.49	o 6704
8.70/5.49	o 6703
8.80/5.52	o 6702
8.80/5.54	o 6695
8.80/5.54	o 6693
8.91/5.63	o 6690
8.91/5.63	o 6682
8.91/5.64	o 6680
8.91/5.64	o 6677
8.91/5.67	o 6676
9.02/5.75	o 6672
9.02/5.75	o 6670
9.02/5.75	o 6668
9.02/5.75	o 6666
9.13/5.82	o 6665
9.46/6.15	o 6664
9.46/6.16	o 6662
9.46/6.17	o 6661
9.46/6.17	o 6655
9.46/6.18	o 6653
9.57/6.25	o 6651
9.57/6.25	o 6646
9.57/6.25	o 6643
9.57/6.25	o 6638
9.95/6.52	o 6637
10.95/7.50	o 6634
10.95/7.51	o 6631
11.07/7.61	o 6626
11.93/8.44	o 6623
11.93/8.44	o 6620
11.93/8.47	o 6618
12.61/9.02	o 6613
12.61/9.06	o 6612
13.10/9.51	o 6609
13.10/9.51	o 6593
13.10/9.51	o 6582
13.10/9.51	o 6577
13.10/9.51	o 6573
13.10/9.51	o 6566
13.10/9.52	o 6561
13.10/9.52	o 6554
13.10/9.52	o 6549
13.10/9.52	o 6547
13.10/9.52	o 6540
13.10/9.52	o 6536
13.10/9.53	o 6535
13.10/9.54	o 6530
13.10/9.54	o 6529
13.10/9.55	o 6525
13.10/9.58	o 6519
13.10/9.59	o 6513
13.20/9.65	o 6508
13.29/9.70	o 6505
13.29/9.70	o 6504
13.29/9.76	o 6502
13.39/9.81	o 6499
13.39/9.81	o 6495
13.39/9.82	o 6493
13.76/10.13	o 6490
13.76/10.13	o 6476
13.76/10.13	o 6472
13.76/10.13	o 6454
13.76/10.13	o 6446
13.76/10.14	o 6445
13.76/10.17	o 6443
13.76/10.17	o 6442
13.76/10.18	o 6438
14.15/10.57	o 6435
14.15/10.58	o 6434
14.15/10.58	o 6433
14.76/11.16	o 6419
14.76/11.16	o 6400
14.76/11.16	o 6399
14.76/11.16	o 6392
14.76/11.16	o 6391
14.76/11.18	o 6383
14.76/11.18	o 6380
14.76/11.19	o 6379
14.85/11.20	o 6375
15.15/11.53	o 6374
15.15/11.53	o 6366
15.15/11.54	o 6355
15.15/11.54	o 6347
15.15/11.54	o 6323
15.15/11.54	o 6315
15.15/11.55	o 6305
15.15/11.55	o 6297
15.15/11.55	o 6277
15.15/11.55	o 6269
15.15/11.58	o 6265
15.55/11.91	o 6256
15.55/11.91	o 6255
15.55/11.91	o 6253
15.55/11.91	o 6214
15.55/11.91	o 6203
15.55/11.92	o 6196
15.55/11.93	o 6193
15.55/11.93	o 6192
15.55/11.93	o 6182
15.55/11.93	o 6180
15.55/11.93	o 6178
15.55/11.93	o 6174
15.76/12.14	o 6173
15.76/12.16	o 6169
17.16/13.53	o 6168
17.36/13.75	o 6167
18.51/14.87	o 6164
18.61/14.96	o 6161
18.61/14.96	o 6160
18.61/14.96	o 6138
18.61/14.96	o 6130
18.61/14.96	o 6125
18.61/14.96	o 6100
18.61/14.97	o 6097
18.61/14.97	o 6096
18.61/14.98	o 6082
18.61/14.98	o 6074
18.72/15.02	o 6072
18.72/15.02	o 6059
18.91/15.23	o 6042
18.91/15.23	o 6031
18.91/15.24	o 6030
18.91/15.24	o 6028
18.91/15.24	o 6021
18.91/15.24	o 6019
19.01/15.30	o 6018
19.01/15.30	o 6017
19.11/15.42	o 6015
19.11/15.42	o 6013
19.41/15.71	o 6012
19.41/15.71	o 6010
19.61/15.95	o 6009
19.72/16.09	o 6003
19.91/16.27	o 5999
19.91/16.27	o 5996
19.91/16.27	o 5985
19.91/16.27	o 5982
19.91/16.28	o 5973
20.01/16.30	o 5967
20.01/16.31	o 5962
20.01/16.35	o 5959
20.01/16.39	o 5956
20.01/16.39	o 5953
20.51/16.88	o 5948
20.51/16.88	o 5946
20.92/17.21	o 5941
20.92/17.22	o 5940
20.92/17.22	o 5938
21.13/17.48	o 5937
22.48/18.76	o 5936
22.48/18.76	o 5930
22.48/18.79	o 5926
22.58/18.81	o 5924
22.68/19.00	o 5921
22.68/19.00	o 5915
22.79/19.04	o 5914
22.79/19.04	o 5911
22.79/19.05	o 5901
22.79/19.05	o 5895
22.79/19.05	o 5893
22.79/19.05	o 5884
22.79/19.06	o 5881
22.79/19.10	o 5880
22.89/19.11	o 5877
23.39/19.62	o 5873
23.39/19.64	o 5868
23.51/19.76	o 5864
23.82/20.11	o 5862
24.02/20.21	o 5860
24.02/20.21	o 5853
24.02/20.21	o 5852
24.02/20.21	o 5851
24.02/20.21	o 5849
24.12/20.36	o 5845
24.12/20.39	o 5843
25.24/21.45	o 5841
25.24/21.48	o 5831
25.24/21.48	o 5830
25.24/21.49	o 5823
25.24/21.49	o 5821
26.06/22.26	o 5815
27.87/24.02	o 5814
27.87/24.02	o 5812
27.87/24.02	o 5805
27.87/24.02	o 5801
28.26/24.41	o 5796
28.26/24.41	o 5794
28.26/24.41	o 5792
28.26/24.41	o 5786
28.26/24.49	o 5785
28.26/24.49	o 5782
28.36/24.50	o 5777
28.46/24.69	o 5773
28.46/24.69	o 5769
29.16/25.32	o 5767
29.16/25.32	o 5763
29.16/25.33	o 5762
29.46/25.68	o 5761
29.57/25.71	o 5759
29.57/25.71	o 5756
29.76/25.80	o 5745
29.76/25.80	o 5744
29.76/25.80	o 5743
29.86/25.95	o 5741
30.36/26.47	o 5739
30.36/26.47	o 5737
30.36/26.47	o 5735
30.36/26.47	o 5728
30.86/26.96	o 5722
30.86/26.99	o 5720
30.97/27.02	o 5710
30.97/27.02	o 5702
30.97/27.02	o 5695
30.97/27.03	o 5694
30.97/27.03	o 5686
31.07/27.17	o 5656
31.07/27.17	o 5654
31.07/27.17	o 5641
31.07/27.17	o 5639
31.07/27.17	o 5637
31.16/27.20	o 5630
31.16/27.21	o 5626
31.16/27.21	o 5616
31.16/27.21	o 5614
31.16/27.21	o 5613
31.16/27.25	o 5607
31.16/27.25	o 5602
31.16/27.28	o 5600
32.16/28.26	o 5598
32.16/28.26	o 5595
32.16/28.26	o 5582
32.16/28.26	o 5574
32.27/28.30	o 5573
32.27/28.30	o 5538
32.27/28.30	o 5515
32.27/28.30	o 5482
32.27/28.35	o 5479
32.27/28.35	o 5475
32.27/28.35	o 5474
33.51/29.55	o 5467
33.51/29.56	o 5458
33.51/29.56	o 5454
33.51/29.56	o 5445
33.51/29.56	o 5444
33.51/29.56	o 5426
33.51/29.56	o 5416
33.51/29.56	o 5406
33.51/29.56	o 5402
33.51/29.57	o 5398
33.51/29.57	o 5394
33.51/29.58	o 5389
33.51/29.58	o 5388
33.51/29.58	o 5384
33.51/29.59	o 5380
33.51/29.59	o 5375
33.51/29.59	o 5374
33.51/29.59	o 5366
33.61/29.60	o 5340
33.61/29.60	o 5339
33.61/29.60	o 5338
33.61/29.61	o 5336
33.61/29.61	o 5330
33.61/29.61	o 5329
33.61/29.61	o 5328
33.61/29.61	o 5323
33.61/29.61	o 5318
33.61/29.62	o 5316
33.61/29.62	o 5315
33.61/29.62	o 5299
33.61/29.62	o 5289
33.61/29.63	o 5250
33.61/29.63	o 5241
33.61/29.63	o 5238
33.61/29.64	o 5236
33.61/29.65	o 5231
33.61/29.65	o 5228
33.61/29.66	o 5203
33.61/29.66	o 5198
33.61/29.67	o 5191
33.61/29.67	o 5186
33.61/29.67	o 5185
33.61/29.67	o 5173
33.61/29.67	o 5172
33.61/29.67	o 5168
33.61/29.67	o 5163
33.61/29.68	o 5158
61.48/57.35	o 5154
61.48/57.35	o 5150
61.48/57.36	o 5142
61.48/57.36	o 5141
61.48/57.38	o 5140
61.48/57.38	o 5137
61.48/57.38	o 5129
61.48/57.38	o 5128
61.78/57.61	o 5122
61.78/57.61	o 5121
61.98/57.88	o 5120
61.98/57.88	o 5115
61.98/57.88	o 5114
62.08/57.98	o 5110
62.08/57.98	o 5109
63.09/58.94	o 5108
63.09/58.94	o 5100
63.09/58.94	o 5096
63.39/59.22	o 5095
67.60/63.43	o 5088
67.60/63.44	o 5087
67.70/63.55	o 5086
67.90/63.73	o 5083
69.60/65.48	o 5079
69.70/65.52	o 5077
69.70/65.54	o 5075
69.70/65.54	o 5074
69.70/65.55	o 5073
69.70/65.55	o 5066
70.42/66.24	o 5065
70.42/66.24	o 5062
70.42/66.24	o 5061
70.42/66.24	o 5056
70.42/66.25	o 5055
70.42/66.25	o 5054
70.42/66.26	o 5051
70.42/66.26	o 5050
70.42/66.27	o 5048
70.42/66.27	o 5047
70.42/66.28	o 5046
70.42/66.28	o 5045
70.42/66.28	o 5044
70.42/66.28	o 5043
75.44/71.27	o 5042
75.44/71.27	o 5041
75.44/71.27	o 5040
76.05/71.81	o 5039
76.05/71.84	o 5038
76.05/71.84	o 5035
76.05/71.84	o 5018
76.05/71.85	o 5008
76.05/71.85	o 5007
76.05/71.89	o 5006
76.05/71.89	o 5005
76.05/71.89	o 5004
76.15/71.91	o 5000
76.15/71.91	o 4999
76.15/71.98	o 4996
76.15/71.99	o 4988
76.15/71.99	o 4987
76.95/72.78	o 4980
76.95/72.78	o 4979
76.95/72.78	o 4976
76.95/72.78	o 4975
76.95/72.78	o 4974
76.95/72.78	o 4973
76.95/72.79	o 4966
76.95/72.79	o 4961
76.95/72.79	o 4960
76.95/72.79	o 4959
77.65/73.41	o 4958
78.15/73.95	o 4957
78.15/73.97	o 4956
78.15/73.97	o 4955
78.15/73.98	o 4954
78.15/73.98	o 4930
78.15/73.98	o 4922
78.15/73.98	o 4921
78.26/74.01	o 4914
78.26/74.03	o 4913
78.26/74.06	o 4911
78.26/74.06	o 4910
78.26/74.06	o 4908
78.26/74.06	o 4907
78.36/74.13	o 4890
78.36/74.13	o 4883
78.36/74.13	o 4874
78.36/74.14	o 4873
78.36/74.14	o 4870
78.36/74.15	o 4869
78.36/74.16	o 4862
78.36/74.16	o 4854
78.36/74.17	o 4853
78.45/74.20	o 4839
78.45/74.20	o 4838
78.45/74.21	o 4837
78.45/74.21	o 4836
78.45/74.22	o 4834
78.45/74.23	o 4833
78.45/74.25	o 4832
78.55/74.30	o 4829
78.55/74.30	o 4817
78.65/74.46	o 4810
80.76/76.58	o 4806
80.76/76.58	o 4798
80.76/76.58	o 4795
80.76/76.58	o 4793
80.76/76.58	o 4789
80.76/76.58	o 4786
80.76/76.58	o 4775
80.76/76.58	o 4762
80.76/76.58	o 4759
80.76/76.58	o 4758
80.76/76.58	o 4756
81.27/77.08	o 4755
81.76/77.52	o 4753
85.59/81.30	o 4743
85.59/81.37	o 4741
86.30/82.06	o 4740
86.30/82.07	o 4735
86.30/82.07	o 4733
86.30/82.08	o 4722
86.40/82.11	o 4720
86.49/82.29	o 4709
86.70/82.42	o 4701
86.80/82.52	o 4688
86.80/82.57	o 4686
87.00/82.79	o 4682
87.10/82.80	o 4663
87.10/82.86	o 4661
88.11/83.86	o 4660
88.71/84.47	o 4657
88.81/84.51	o 4645
88.91/84.62	o 4644
89.01/84.77	o 4630
89.11/84.83	o 4622
89.11/84.84	o 4614
89.11/84.86	o 4607
89.21/84.92	o 4605
89.21/85.00	o 4603
89.32/85.01	o 4596
89.32/85.05	o 4595
89.32/85.05	o 4590
89.32/85.06	o 4583
89.32/85.07	o 4581
89.61/85.32	o 4580
89.61/85.35	o 4578
89.61/85.36	o 4576
89.61/85.36	o 4575
90.21/85.94	o 4555
90.21/85.94	o 4549
90.21/85.94	o 4543
90.21/85.94	o 4539
90.21/85.94	o 4534
90.21/85.94	o 4532
90.21/85.96	o 4527
90.32/86.06	o 4525
90.42/86.17	o 4514
90.42/86.17	o 4509
90.51/86.22	o 4505
90.51/86.23	o 4496
90.51/86.24	o 4488
90.51/86.24	o 4483
90.71/86.46	o 4479
90.71/86.46	o 4474
90.71/86.46	o 4472
90.71/86.46	o 4467
90.83/86.51	o 4459
90.83/86.51	o 4456
90.83/86.51	o 4454
91.22/86.94	o 4453
91.22/86.97	o 4451
91.33/87.08	o 4447
91.33/87.09	o 4434
91.33/87.10	o 4429
91.33/87.10	o 4428
91.33/87.10	o 4427
92.43/88.13	o 4418
92.43/88.13	o 4415
92.43/88.13	o 4410
92.43/88.15	o 4402
92.43/88.15	o 4397
92.43/88.16	o 4391
92.43/88.17	o 4390
92.43/88.17	o 4386
92.43/88.17	o 4376
92.53/88.23	o 4375
92.53/88.24	o 4370
92.53/88.28	o 4368
92.63/88.38	o 4363
92.63/88.38	o 4361
92.83/88.58	o 4351
93.03/88.74	o 4344
93.03/88.74	o 4342
93.23/88.97	o 4337
93.23/88.97	o 4335
93.45/89.15	o 4319
93.45/89.15	o 4316
93.45/89.15	o 4314
93.94/89.60	o 4310
94.24/89.99	o 4276
94.24/90.00	o 4260
94.24/90.00	o 4247
94.35/90.01	o 4234
161.76/157.19	o 4233
162.45/157.85	o 4231
163.15/158.55	o 4225
166.67/162.01	o 4222
166.86/162.29	o 4219
167.56/162.92	o 4216
178.45/173.76	o 4212
178.45/173.76	o 4202
178.45/173.76	o 4196
178.45/173.78	o 4195
178.45/173.78	o 4189
178.55/173.87	o 4188
178.55/173.89	o 4186
178.55/173.89	o 4183
178.55/173.89	o 4172
178.65/173.96	o 4165
178.65/173.96	o 4164
178.65/173.98	o 4162
178.65/173.99	o 4158
178.76/174.09	o 4157
178.95/174.23	o 4154
179.36/174.67	o 4153
179.36/174.67	o 4149
179.36/174.67	o 4148
183.19/178.44	o 4141
185.00/180.23	o 4139
185.00/180.23	o 4133
185.20/180.46	o 4128
186.11/181.35	o 4124
186.11/181.35	o 4123
186.11/181.37	o 4120
186.11/181.37	o 4119
187.22/182.46	o 4116
187.22/182.47	o 4115
189.15/184.34	o 4114
189.15/184.34	o 4113
189.15/184.34	o 4112
189.15/184.34	o 4110
189.15/184.34	o 4108
189.15/184.34	o 4099
189.15/184.34	o 4098
189.35/184.58	o 4097
189.35/184.58	o 4095
189.55/184.78	o 4092
189.55/184.78	o 4089
189.55/184.78	o 4088
189.55/184.78	o 4083
194.81/189.93	o 4081
194.81/189.93	o 4078
194.81/189.93	o 4076
194.81/189.93	o 4075
222.20/217.06	o 4072
222.20/217.06	o 4071
222.20/217.06	o 4067
222.20/217.07	o 4066
222.20/217.07	o 4062
222.20/217.07	o 4061
227.71/222.59	o 4059
227.71/222.59	o 4042
227.81/222.61	o 4041
228.83/223.67	o 4035
228.83/223.67	o 4034
229.25/224.04	o 4032
229.25/224.08	o 4022
229.25/224.08	o 4020
229.25/224.10	o 4006
229.25/224.10	o 4004
229.35/224.11	o 4003
229.35/224.15	o 4002
229.35/224.15	o 4001
229.35/224.15	o 4000
229.35/224.18	o 3997
229.35/224.18	o 3996
229.35/224.18	o 3995
229.35/224.19	o 3994
295.57/289.90	o 3993
299.18/293.51	o 3992
299.18/293.52	o 3989
318.05/312.22	o 3984
318.05/312.25	o 3974
318.05/312.25	o 3967
318.05/312.26	o 3964
318.05/312.26	o 3961
318.05/312.26	o 3957
318.05/312.28	o 3955
318.05/312.29	o 3953
318.75/312.90	o 3945
318.75/312.92	o 3943
318.75/312.92	o 3941
318.75/312.92	o 3940
487.78/481.03	o 3938
487.78/481.03	o 3922
487.78/481.03	o 3920
488.37/481.66	o 3917
488.37/481.66	o 3913
539.06/532.14	o 3909
539.06/532.14	o 3899
539.06/532.14	o 3894
539.06/532.14	o 3891
539.06/532.14	o 3881
539.06/532.14	o 3869
539.06/532.14	o 3859
539.06/532.14	o 3856
539.06/532.14	o 3855
539.15/532.20	o 3850
539.15/532.21	o 3844
539.76/532.83	o 3843
545.92/538.92	o 3842
557.77/550.62	o 3840
558.28/551.14	o 3835
558.28/551.14	o 3833
558.28/551.14	o 3829
558.28/551.14	o 3822
558.28/551.19	o 3821
558.37/551.24	o 3818
560.19/553.04	o 3817
560.19/553.06	o 3816
560.19/553.06	o 3811
560.29/553.14	o 3808
560.29/553.14	o 3804
561.00/553.86	o 3802
563.12/555.96	o 3801
563.34/556.12	o 3800
563.43/556.21	o 3793
563.43/556.21	o 3789
563.43/556.21	o 3783
572.94/565.60	o 3779
572.94/565.61	o 3773
572.94/565.61	o 3767
572.94/565.61	o 3764
572.94/565.61	o 3760
572.94/565.64	o 3756
572.94/565.64	o 3754
572.94/565.64	o 3739
577.89/570.50	o 3737
581.78/574.36	o 3735
586.57/579.02	o 3728
586.57/579.04	o 3720
586.57/579.04	o 3712
586.57/579.06	o 3702
2520.07/2499.21	s SATISFIABLE
2520.07/2499.21	v <instantiation>
2520.07/2499.21	v 	<list>
2520.07/2499.21	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]
2520.07/2499.21	v 	</list>
2520.07/2499.21	v 	<values>
2520.07/2499.21	v 		47 6 45 69 10 76 44 5 23 9 52 34 53 84 17 1 9 101 85 8 0 7 113 0 2 8 14 24 32 30 29 29 57 27 39 58 36 15 47 51 42 13 11 20 28 4 2 28 31 7 41 26 38 30 14 37 19 15 19 60 18 17 13 39 26 64 52 4 24 10 35 3 1 12 30 22 3 49 8 36 27 18 25 48 21 63 7 45 73 11 2 33 5 6 21 0 59 10 22 83 12 18 25 46 118 1 16 40 13 31 46 24 34 14 16 20 17 37 3 82 32 73 9 38 11 
2520.07/2499.21	v 	</values>
2520.07/2499.21	v </instantiation>

Verifier Data 

OK	3702

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311741-1534548552/watcher-4311741-1534548552 -o /tmp/evaluation-result-4311741-1534548552/solver-4311741-1534548552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534541042-1855 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 357303088 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311741-1534548552.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=2684, runsolver pid=2681


[startup+0.100134 s]*
/proc/loadavg: 1.52 1.42 1.40 2/218 2698
/proc/meminfo: memFree=23563504/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14014316 memory=21972 CPUtime=0.05 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 4880 0 0 0 4 1 0 0 20 0 14 0 272418408 14350659584 5493 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3503579 5493 2609 1 0 3466120 0
[pid=2684/tid=2686] ppid=2681 vsize=14014316 memory=-8824338895091889344 CPUtime=0.04 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) D 2681 2684 1824 0 -1 1077944384 3006 0 0 0 4 0 0 0 20 0 14 0 272418408 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526289827648 140526285614141 0 4 0 16800975 18446744072101772836 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14014316 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14014316 memory=140008588441216 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14014316 memory=140008588441216 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 272418411 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 272418411 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525758830112 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 272418411 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525757777264 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14014316 memory=140008588441216 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) S 2681 2684 1824 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525753567344 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 14014316 KiB
Current children cumulated memory: 21972 KiB

[startup+0.210294 s]*
/proc/loadavg: 1.52 1.42 1.40 2/218 2698
/proc/meminfo: memFree=23563504/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14014316 memory=21972 CPUtime=0.05 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 4880 0 0 0 4 1 0 0 20 0 14 0 272418408 14350659584 5493 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3503579 5493 2609 1 0 3466120 0
[pid=2684/tid=2686] ppid=2681 vsize=14014316 memory=7022364594140610616 CPUtime=0.04 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) D 2681 2684 1824 0 -1 1077944384 3006 0 0 0 4 0 0 0 20 0 14 0 272418408 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526289827648 140526285614141 0 4 0 16800975 18446744072101772836 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14014316 memory=345 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14014316 memory=3472750905088145056 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418409 14350659584 5493 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14014316 memory=140008588441216 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 272418411 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 272418411 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525758830112 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 272418411 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525757777264 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14014316 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14014316 memory=140008588441216 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) S 2681 2684 1824 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525753567344 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14014316 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 272418414 14350659584 5493 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 14014316 KiB
Current children cumulated memory: 21972 KiB

[startup+0.309391 s]*
/proc/loadavg: 1.52 1.42 1.40 3/219 2699
/proc/meminfo: memFree=23549168/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14082736 memory=39292 CPUtime=0.16 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 8913 0 0 0 15 1 0 0 20 0 15 0 272418408 14420721664 9823 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3520684 9823 3287 1 0 3482761 0
[pid=2684/tid=2686] ppid=2681 vsize=14082736 memory=7022364594140610616 CPUtime=0.12 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) R 2681 2684 1824 0 -1 4202560 6816 0 0 0 11 1 0 0 20 0 15 0 272418408 14420721664 9823 33554432000 4194304 4196468 140721350826896 140526289818368 140526269670750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 9823 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14082736 memory=3472750905088145056 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 9823 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14082736 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 9823 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14082736 memory=3472328296160571439 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 9823 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14082736 memory=7022499178175360238 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272418411 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272418411 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525758830112 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272418411 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525757777264 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 272418414 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 272418414 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14082736 memory=140008588441216 CPUtime=0.02 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) R 2681 2684 1824 0 -1 4202560 278 0 0 0 2 0 0 0 20 0 15 0 272418414 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525753567344 140526285611610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2699] ppid=2681 vsize=14082736 memory=140008588441216 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2699/stat : 2699 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418432 14420721664 9823 33554432000 4194304 4196468 140721350826896 140525751463088 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 39292 KiB

[startup+0.700776 s]
/proc/loadavg: 1.52 1.42 1.40 3/219 2699
/proc/meminfo: memFree=23538112/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14082736 memory=75160 CPUtime=0.67 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 15982 0 0 0 64 3 0 0 20 0 15 0 272418408 14420721664 18790 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3520684 18790 3426 1 0 3482761 0
[pid=2684/tid=2686] ppid=2681 vsize=14082736 memory=752 CPUtime=0.5 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) R 2681 2684 1824 0 -1 4202560 13632 0 0 0 47 3 0 0 20 0 15 0 272418408 14420721664 18790 33554432000 4194304 4196468 140721350826896 140526289823008 140526269670750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14082736 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 18790 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14082736 memory=11584 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 18790 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14082736 memory=4960 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 18790 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14082736 memory=3840 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14420721664 18790 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14082736 memory=1280 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272418411 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14082736 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272418411 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525758830112 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14082736 memory=876 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272418411 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525757777264 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14082736 memory=1912 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14082736 memory=1120 CPUtime=0.03 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 349 0 0 0 3 0 0 0 20 0 15 0 272418414 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14082736 memory=6444 CPUtime=0.02 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 272418414 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14082736 memory=14892 CPUtime=0.1 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) S 2681 2684 1824 0 -1 1077944384 343 0 0 0 10 0 0 0 20 0 15 0 272418414 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525753567344 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14082736 memory=6370464175774395489 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2699] ppid=2681 vsize=14082736 memory=7512114543601282149 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2699/stat : 2699 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418432 14420721664 18790 33554432000 4194304 4196468 140721350826896 140525751463088 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 75160 KiB

[startup+1.50107 s]
/proc/loadavg: 1.48 1.41 1.40 4/219 2699
/proc/meminfo: memFree=23492660/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14086852 memory=174048 CPUtime=2.81 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 23330 0 0 0 274 7 0 0 20 0 15 0 272418408 14424936448 43512 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3521713 43512 3542 1 0 3483785 0
[pid=2684/tid=2686] ppid=2681 vsize=14086852 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) R 2681 2684 1824 0 -1 4202560 17324 0 0 0 124 5 0 0 20 0 15 0 272418408 14424936448 43512 33554432000 4194304 4196468 140721350826896 140526289823992 140525915881240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14086852 memory=3708 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418409 14424936448 43512 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14086852 memory=6596 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14424936448 43512 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14086852 memory=1100 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14424936448 43512 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14086852 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418409 14424936448 43512 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14086852 memory=1780 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 272418411 14424936448 43512 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14086852 memory=752 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272418411 14424936448 43512 33554432000 4194304 4196468 140721350826896 140525758830112 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14086852 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272418411 14424936448 43512 33554432000 4194304 4196468 140721350826896 140525757777264 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0

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

/proc/2684/task/2686/stat : 2686 (java) R 2681 2684 1824 0 -1 4202560 43252 0 0 0 231383 15 0 0 20 0 15 0 272418408 14429130752 98516 33554432000 4194304 4196468 140721350826896 140526289828480 140525919569965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14090948 memory=394064 CPUtime=5.26 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 10833 0 0 0 504 22 0 0 20 0 15 0 272418409 14429130752 98516 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14090948 memory=394064 CPUtime=5.26 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 11288 0 0 0 507 19 0 0 20 0 15 0 272418409 14429130752 98516 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14090948 memory=394064 CPUtime=5.26 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 10179 0 0 0 505 21 0 0 20 0 15 0 272418409 14429130752 98516 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14090948 memory=394064 CPUtime=5.27 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 12545 0 0 0 506 21 0 0 20 0 15 0 272418409 14429130752 98516 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14090948 memory=394064 CPUtime=1.65 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 7966 0 0 0 150 15 0 0 20 0 15 0 272418411 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14090948 memory=394064 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525758830176 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14090948 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525757777280 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14090948 memory=394064 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14090948 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 10290 0 0 0 158 1 0 0 20 0 15 0 272418414 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14090948 memory=394064 CPUtime=1.5 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 5663 0 0 0 149 1 0 0 20 0 15 0 272418414 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14090948 memory=3840 CPUtime=0.89 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) S 2681 2684 1824 0 -1 1077944384 14996 0 0 0 87 2 0 0 20 0 15 0 272418414 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525753567344 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14090948 memory=394064 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2699] ppid=2681 vsize=14090948 memory=394064 CPUtime=1.07 cores=0,2,4,6
/proc/2684/task/2699/stat : 2699 (java) S 2681 2684 1824 0 -1 1077944384 1036 0 0 0 53 54 0 0 20 0 15 0 272418432 14429130752 98516 33554432000 4194304 4196468 140721350826896 140525751463088 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 2341.83 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 394064 KiB

[startup+2382.3 s]
/proc/loadavg: 1.54 1.44 1.46 4/219 2879
/proc/meminfo: memFree=23189820/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14090948 memory=398160 CPUtime=2402.33 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 130895 0 0 0 240077 156 0 0 20 0 15 0 272418408 14429130752 99540 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3522737 99540 3583 1 0 3484809 0
[pid=2684/tid=2686] ppid=2681 vsize=14090948 memory=398160 CPUtime=2373.7 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) R 2681 2684 1824 0 -1 4202560 43639 0 0 0 237355 15 0 0 20 0 15 0 272418408 14429130752 99540 33554432000 4194304 4196468 140721350826896 140526289828480 140525919978038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14090948 memory=398160 CPUtime=5.43 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 10881 0 0 0 521 22 0 0 20 0 15 0 272418409 14429130752 99540 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14090948 memory=398160 CPUtime=5.44 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 11396 0 0 0 524 20 0 0 20 0 15 0 272418409 14429130752 99540 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14090948 memory=398160 CPUtime=5.44 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 10368 0 0 0 523 21 0 0 20 0 15 0 272418409 14429130752 99540 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14090948 memory=396112 CPUtime=5.45 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 13039 0 0 0 524 21 0 0 20 0 15 0 272418409 14429130752 99540 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14090948 memory=5859271442911351909 CPUtime=1.69 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 8142 0 0 0 154 15 0 0 20 0 15 0 272418411 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14090948 memory=398160 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525758830176 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14090948 memory=752 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525757777280 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14090948 memory=398160 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14090948 memory=3708 CPUtime=1.59 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 10292 0 0 0 158 1 0 0 20 0 15 0 272418414 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14090948 memory=398160 CPUtime=1.5 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 5665 0 0 0 149 1 0 0 20 0 15 0 272418414 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14090948 memory=3708 CPUtime=0.89 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) S 2681 2684 1824 0 -1 1077944384 14998 0 0 0 87 2 0 0 20 0 15 0 272418414 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525753567344 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14090948 memory=398160 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2699] ppid=2681 vsize=14090948 memory=398160 CPUtime=1.09 cores=0,2,4,6
/proc/2684/task/2699/stat : 2699 (java) S 2681 2684 1824 0 -1 1077944384 1051 0 0 0 54 55 0 0 20 0 15 0 272418432 14429130752 99540 33554432000 4194304 4196468 140721350826896 140525751463088 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 2402.33 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 398160 KiB

[startup+2442.3 s]
/proc/loadavg: 1.45 1.43 1.46 3/219 2880
/proc/meminfo: memFree=23182000/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14090948 memory=402256 CPUtime=2462.8 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 132327 0 0 0 246121 159 0 0 20 0 15 0 272418408 14429130752 100564 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3522737 100564 3583 1 0 3484809 0
[pid=2684/tid=2686] ppid=2681 vsize=14090948 memory=402256 CPUtime=2433.45 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) R 2681 2684 1824 0 -1 4202560 44093 0 0 0 243330 15 0 0 20 0 15 0 272418408 14429130752 100564 33554432000 4194304 4196468 140721350826896 140526289828368 140525919482836 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14090948 memory=402256 CPUtime=5.6 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 11003 0 0 0 537 23 0 0 20 0 15 0 272418409 14429130752 100564 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14090948 memory=402256 CPUtime=5.59 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 11589 0 0 0 539 20 0 0 20 0 15 0 272418409 14429130752 100564 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14090948 memory=402256 CPUtime=5.6 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 10454 0 0 0 538 22 0 0 20 0 15 0 272418409 14429130752 100564 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14090948 memory=245415 CPUtime=5.6 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 13416 0 0 0 539 21 0 0 20 0 15 0 272418409 14429130752 100564 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14090948 memory=402256 CPUtime=1.75 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 8318 0 0 0 159 16 0 0 20 0 15 0 272418411 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14090948 memory=402256 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525758830176 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14090948 memory=402256 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525757777280 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14090948 memory=402256 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14090948 memory=396112 CPUtime=1.59 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 10294 0 0 0 158 1 0 0 20 0 15 0 272418414 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14090948 memory=402256 CPUtime=1.5 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 5667 0 0 0 149 1 0 0 20 0 15 0 272418414 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14090948 memory=402256 CPUtime=0.89 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) S 2681 2684 1824 0 -1 1077944384 15000 0 0 0 87 2 0 0 20 0 15 0 272418414 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525753567344 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14090948 memory=402256 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2699] ppid=2681 vsize=14090948 memory=402256 CPUtime=1.13 cores=0,2,4,6
/proc/2684/task/2699/stat : 2699 (java) S 2681 2684 1824 0 -1 1077944384 1069 0 0 0 56 57 0 0 20 0 15 0 272418432 14429130752 100564 33554432000 4194304 4196468 140721350826896 140525751463088 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 2462.8 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 402256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499.2 s]
/proc/loadavg: 1.28 1.38 1.44 3/220 2889
/proc/meminfo: memFree=23172868/32770624 swapFree=67108852/67108860
[pid=2684] ppid=2681 vsize=14090948 memory=403792 CPUtime=2520.07 cores=0,2,4,6
/proc/2684/stat : 2684 (java) S 2681 2684 1824 0 -1 1077944320 133949 0 0 0 251845 162 0 0 20 0 15 0 272418408 14429130752 100948 33554432000 4194304 4196468 140721350826896 140721350809440 140526285590263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
/proc/2684/statm: 3522737 100948 3583 1 0 3484809 0
[pid=2684/tid=2686] ppid=2681 vsize=14090948 memory=403792 CPUtime=2490.16 cores=0,2,4,6
/proc/2684/task/2686/stat : 2686 (java) R 2681 2684 1824 0 -1 4202560 44486 0 0 0 249000 16 0 0 20 0 15 0 272418408 14429130752 100948 33554432000 4194304 4196468 140721350826896 140526289828368 140525919570176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2687] ppid=2681 vsize=14090948 memory=403792 CPUtime=5.72 cores=0,2,4,6
/proc/2684/task/2687/stat : 2687 (java) S 2681 2684 1824 0 -1 1077944384 11197 0 0 0 549 23 0 0 20 0 15 0 272418409 14429130752 100948 33554432000 4194304 4196468 140721350826896 140526238210704 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2688] ppid=2681 vsize=14090948 memory=403792 CPUtime=5.71 cores=0,2,4,6
/proc/2684/task/2688/stat : 2688 (java) S 2681 2684 1824 0 -1 1077944384 11846 0 0 0 551 20 0 0 20 0 15 0 272418409 14429130752 100948 33554432000 4194304 4196468 140721350826896 140526237157904 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2689] ppid=2681 vsize=14090948 memory=403792 CPUtime=5.73 cores=0,2,4,6
/proc/2684/task/2689/stat : 2689 (java) S 2681 2684 1824 0 -1 1077944384 10617 0 0 0 551 22 0 0 20 0 15 0 272418409 14429130752 100948 33554432000 4194304 4196468 140721350826896 140526236105104 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2690] ppid=2681 vsize=14090948 memory=6652 CPUtime=5.73 cores=0,2,4,6
/proc/2684/task/2690/stat : 2690 (java) S 2681 2684 1824 0 -1 1077944384 13835 0 0 0 551 22 0 0 20 0 15 0 272418409 14429130752 100948 33554432000 4194304 4196468 140721350826896 140526235052304 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2691] ppid=2681 vsize=14090948 memory=1100 CPUtime=1.79 cores=0,2,4,6
/proc/2684/task/2691/stat : 2691 (java) S 2681 2684 1824 0 -1 1077944384 8494 0 0 0 163 16 0 0 20 0 15 0 272418411 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525759884144 140526285601410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2692] ppid=2681 vsize=14090948 memory=1780 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2692/stat : 2692 (java) S 2681 2684 1824 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525758830176 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2693] ppid=2681 vsize=14090948 memory=403792 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2693/stat : 2693 (java) S 2681 2684 1824 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272418411 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525757777280 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2694] ppid=2681 vsize=14090948 memory=403792 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2694/stat : 2694 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525756725584 140526285608859 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2695] ppid=2681 vsize=14090948 memory=3840 CPUtime=1.59 cores=0,2,4,6
/proc/2684/task/2695/stat : 2695 (java) S 2681 2684 1824 0 -1 1077944384 10296 0 0 0 158 1 0 0 20 0 15 0 272418414 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525755672944 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2696] ppid=2681 vsize=14090948 memory=403792 CPUtime=1.5 cores=0,2,4,6
/proc/2684/task/2696/stat : 2696 (java) S 2681 2684 1824 0 -1 1077944384 5669 0 0 0 149 1 0 0 20 0 15 0 272418414 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525754620144 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2697] ppid=2681 vsize=14090948 memory=403792 CPUtime=0.89 cores=0,2,4,6
/proc/2684/task/2697/stat : 2697 (java) S 2681 2684 1824 0 -1 1077944384 15002 0 0 0 87 2 0 0 20 0 15 0 272418414 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525753567344 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2698] ppid=2681 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2684/task/2698/stat : 2698 (java) S 2681 2684 1824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418414 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525752514784 140526285600469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
[pid=2684/tid=2699] ppid=2681 vsize=14090948 memory=1780 CPUtime=1.15 cores=0,2,4,6
/proc/2684/task/2699/stat : 2699 (java) S 2681 2684 1824 0 -1 1077944384 1083 0 0 0 57 58 0 0 20 0 15 0 272418432 14429130752 100948 33554432000 4194304 4196468 140721350826896 140525751463088 140526285601410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22593536 140721350829129 140721350829321 140721350829321 140721350832079 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 403792 KiB

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

[startup+2499.22 s]
# the end of solver process 2684 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.47 s, system=1.62726 s

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

Child status: 143
Real time (s): 2499.22
CPU time (s): 2520.1
CPU user time (s): 2518.47
CPU system time (s): 1.62726
CPU usage (%): 100.836
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 445588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.47
system time used= 1.62726
maximum resident set size= 453836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100968
involuntary context switches= 6896


# summary of solver processes directly reported to runsolver:
#   pid: 2684
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.47
#   total CPU system time (s): 1.62726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5739 second user time and 23.516 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-18 01:29:12
IDJOB=4311741
IDBENCH=141224
IDSOLVER=2799
FILE ID=node133/4311741-1534548552
RUNJOBID= node133-1534541042-1855
PBS_JOBID= 21038638
Free space on /tmp= 50388 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-9_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311741-1534548552/watcher-4311741-1534548552 -o /tmp/evaluation-result-4311741-1534548552/solver-4311741-1534548552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534541042-1855 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 357303088 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311741-1534548552.xml

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

MD5SUM BENCH= fde90c264558af66570e1c8b29991738
RANDOM SEED=357303088

node133.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.24
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.24
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.24
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.24
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:        23576000 kB
MemAvailable:   31648928 kB
Buffers:          198504 kB
Cached:          8155784 kB
SwapCached:            4 kB
Active:          4982136 kB
Inactive:        3676200 kB
Active(anon):     284192 kB
Inactive(anon):    88488 kB
Active(file):    4697944 kB
Inactive(file):  3587712 kB
Unevictable:        7068 kB
Mlocked:            7068 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             36208 kB
Writeback:             0 kB
AnonPages:        323076 kB
Mapped:            33120 kB
Shmem:             66200 kB
Slab:             234708 kB
SReclaimable:     206212 kB
SUnreclaim:        28496 kB
KernelStack:        3856 kB
PageTables:         6204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1473064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 50352 MiB
End job on node133 at 2018-08-18 02:10:52