Trace number 4307856

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-14SAT (TO)2274 2520.11 2499.22

General information on the benchmark

NameTravellingSalesman/
TravellingSalesman-150-50-00_c18.xml
MD5SUM784274e168c99e425b71be44c62c6ab3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark537
Best CPU time to get the best result obtained on this benchmark2520
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size66
Maximum domain size150
Distribution of domain sizes[{"size":66,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
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.64/0.58	c version: 2018-08-14
0.64/0.58	c seed: 1954597157
0.64/0.58	c timeout: 2520
0.64/0.58	c memlimit: 11000
0.64/0.58	c nbcore: 4
0.64/0.60	c Parsing instance...
6.33/3.38	c Parsing done, starting search...
7.69/3.86	o 4046
8.15/4.12	o 4036
8.15/4.12	o 4035
8.15/4.13	o 4021
8.15/4.13	o 4020
8.15/4.14	o 4003
8.15/4.14	o 4002
8.15/4.16	o 4000
8.15/4.16	o 3998
8.15/4.16	o 3997
8.15/4.19	o 3981
8.15/4.19	o 3975
8.15/4.19	o 3970
8.15/4.20	o 3960
8.15/4.20	o 3958
8.15/4.20	o 3955
8.47/4.23	o 3951
8.47/4.26	o 3945
8.47/4.26	o 3943
9.65/4.60	o 3941
9.65/4.61	o 3940
9.65/4.61	o 3939
9.65/4.61	o 3933
9.65/4.62	o 3927
9.96/4.73	o 3921
9.96/4.74	o 3920
9.96/4.75	o 3917
9.96/4.75	o 3914
10.62/5.15	o 3911
10.62/5.15	o 3903
10.75/5.24	o 3901
10.75/5.24	o 3898
10.75/5.27	o 3896
10.94/5.43	o 3891
11.05/5.51	o 3886
11.15/5.60	o 3877
11.15/5.60	o 3874
11.15/5.63	o 3872
11.15/5.63	o 3869
11.97/6.41	o 3868
11.97/6.41	o 3867
11.97/6.41	o 3866
11.97/6.41	o 3865
11.97/6.41	o 3864
11.97/6.41	o 3863
11.97/6.42	o 3861
11.97/6.42	o 3860
11.97/6.42	o 3858
11.97/6.42	o 3856
11.97/6.44	o 3850
11.97/6.44	o 3846
11.97/6.46	o 3845
11.97/6.49	o 3844
12.07/6.53	o 3841
12.07/6.54	o 3838
12.68/7.12	o 3837
12.68/7.12	o 3832
12.68/7.12	o 3829
12.68/7.17	o 3827
12.68/7.17	o 3824
12.95/7.32	o 3820
13.42/7.71	o 3812
13.42/7.71	o 3800
13.42/7.71	o 3799
13.42/7.71	o 3796
13.42/7.71	o 3795
13.42/7.71	o 3793
13.42/7.71	o 3792
13.42/7.72	o 3788
13.42/7.72	o 3782
13.42/7.73	o 3772
13.42/7.73	o 3770
13.42/7.75	o 3763
13.42/7.75	o 3759
13.42/7.78	o 3757
13.42/7.80	o 3754
13.52/7.87	o 3746
13.52/7.87	o 3744
13.52/7.87	o 3741
13.52/7.87	o 3737
13.52/7.87	o 3735
13.62/7.96	o 3734
13.62/7.98	o 3732
13.62/7.99	o 3727
13.72/8.02	o 3723
13.72/8.06	o 3719
13.72/8.06	o 3718
13.72/8.07	o 3715
13.72/8.07	o 3713
14.72/9.02	o 3697
14.72/9.02	o 3669
14.72/9.02	o 3666
14.72/9.02	o 3657
14.72/9.02	o 3654
14.72/9.02	o 3644
14.72/9.02	o 3643
14.72/9.04	o 3641
14.72/9.04	o 3640
14.72/9.06	o 3626
14.72/9.06	o 3625
14.72/9.08	o 3615
14.72/9.08	o 3614
14.72/9.09	o 3595
14.72/9.09	o 3594
14.72/9.10	o 3593
14.72/9.10	o 3592
14.84/9.11	o 3588
14.84/9.11	o 3579
14.84/9.11	o 3578
14.84/9.16	o 3575
14.84/9.16	o 3549
14.84/9.16	o 3548
14.84/9.16	o 3545
14.84/9.16	o 3537
14.94/9.27	o 3535
15.04/9.31	o 3534
15.74/10.07	o 3533
17.34/11.66	o 3530
17.44/11.71	o 3529
17.44/11.71	o 3520
17.44/11.78	o 3519
17.44/11.79	o 3514
17.74/12.09	o 3512
17.74/12.10	o 3511
17.74/12.10	o 3510
17.85/12.16	o 3504
17.85/12.16	o 3503
18.24/12.59	o 3500
18.34/12.62	o 3498
18.34/12.68	o 3495
20.37/14.65	o 3493
20.37/14.66	o 3485
20.37/14.66	o 3483
20.37/14.66	o 3481
20.37/14.69	o 3478
20.47/14.70	o 3475
20.47/14.70	o 3473
20.47/14.72	o 3468
20.47/14.72	o 3467
20.47/14.74	o 3464
20.47/14.74	o 3462
20.47/14.75	o 3461
20.67/14.99	o 3457
20.77/15.10	o 3456
20.89/15.11	o 3453
20.89/15.11	o 3450
20.98/15.23	o 3448
21.27/15.52	o 3443
21.27/15.55	o 3442
21.37/15.69	o 3440
21.37/15.69	o 3437
21.37/15.69	o 3435
21.47/15.73	o 3433
21.67/16.00	o 3432
21.67/16.00	o 3429
22.07/16.35	o 3422
22.07/16.35	o 3419
22.07/16.35	o 3407
22.07/16.35	o 3405
22.07/16.35	o 3396
22.07/16.35	o 3394
22.07/16.35	o 3393
22.07/16.36	o 3391
22.17/16.43	o 3384
22.17/16.47	o 3382
22.27/16.55	o 3375
22.27/16.55	o 3374
22.57/16.84	o 3372
23.37/17.66	o 3367
23.37/17.66	o 3365
23.37/17.66	o 3349
23.37/17.66	o 3348
23.61/17.89	o 3342
23.61/17.89	o 3340
23.61/17.90	o 3337
23.96/17.90	o 3335
23.96/17.91	o 3334
26.28/20.27	o 3329
26.28/20.27	o 3302
26.28/20.27	o 3299
26.28/20.27	o 3298
26.28/20.27	o 3297
26.28/20.28	o 3296
26.28/20.28	o 3292
26.28/20.28	o 3289
26.28/20.28	o 3287
26.39/20.30	o 3286
26.39/20.32	o 3285
26.39/20.32	o 3282
26.39/20.32	o 3279
26.61/20.50	o 3276
26.61/20.50	o 3273
26.61/20.57	o 3272
26.61/20.57	o 3270
26.81/20.72	o 3269
26.81/20.72	o 3266
27.32/21.27	o 3265
27.65/21.53	o 3263
27.65/21.53	o 3257
27.65/21.53	o 3254
28.05/21.97	o 3233
28.05/21.97	o 3228
28.15/22.01	o 3223
28.15/22.01	o 3222
28.15/22.01	o 3221
28.15/22.02	o 3219
28.15/22.02	o 3218
28.15/22.02	o 3217
28.15/22.05	o 3213
28.15/22.05	o 3211
28.15/22.08	o 3209
28.15/22.10	o 3208
28.15/22.10	o 3206
28.15/22.10	o 3205
28.15/22.10	o 3204
29.36/23.27	o 3199
29.36/23.27	o 3193
29.36/23.27	o 3185
29.36/23.27	o 3154
29.36/23.28	o 3152
29.36/23.28	o 3151
29.36/23.28	o 3150
29.36/23.28	o 3138
29.36/23.28	o 3135
29.36/23.28	o 3134
29.36/23.29	o 3133
29.36/23.29	o 3127
29.36/23.29	o 3120
29.36/23.29	o 3117
29.45/23.33	o 3112
29.45/23.36	o 3106
29.45/23.36	o 3105
29.45/23.37	o 3103
29.45/23.38	o 3102
29.75/23.69	o 3101
29.75/23.69	o 3097
29.75/23.69	o 3095
29.85/23.70	o 3092
29.85/23.70	o 3085
30.06/23.95	o 3084
30.16/24.07	o 3081
30.16/24.08	o 3078
30.27/24.18	o 3076
30.37/24.28	o 3067
30.37/24.29	o 3059
30.46/24.30	o 3058
34.76/28.61	o 3056
37.76/31.66	o 3053
37.86/31.74	o 3051
37.86/31.75	o 3045
37.86/31.75	o 3044
37.96/31.80	o 3036
37.96/31.80	o 3032
37.96/31.84	o 3031
38.37/32.26	o 3030
38.37/32.29	o 3029
38.97/32.80	o 3022
38.97/32.80	o 3008
38.97/32.81	o 3007
38.97/32.81	o 3005
38.97/32.82	o 2994
38.97/32.83	o 2989
38.97/32.84	o 2987
38.97/32.86	o 2985
38.97/32.86	o 2976
39.67/33.50	o 2974
39.67/33.51	o 2973
39.67/33.51	o 2971
39.78/33.69	o 2963
40.38/34.25	o 2962
40.38/34.27	o 2961
40.38/34.27	o 2960
41.03/34.61	o 2951
41.03/34.61	o 2949
41.03/34.61	o 2946
41.03/34.62	o 2944
41.03/34.62	o 2942
41.03/34.62	o 2940
41.03/34.66	o 2935
41.03/34.66	o 2934
41.03/34.68	o 2923
41.83/35.46	o 2911
42.13/35.70	o 2907
42.13/35.71	o 2902
42.13/35.74	o 2900
42.73/36.35	o 2892
42.73/36.35	o 2891
42.73/36.36	o 2890
43.13/36.73	o 2889
43.13/36.73	o 2887
56.23/49.86	o 2882
56.23/49.86	o 2878
56.23/49.88	o 2877
56.23/49.88	o 2873
56.43/50.02	o 2872
435.16/426.23	o 2861
435.16/426.23	o 2858
435.25/426.31	o 2857
435.25/426.32	o 2855
435.25/426.34	o 2852
435.25/426.35	o 2847
435.25/426.35	o 2846
435.35/426.41	o 2844
435.75/426.81	o 2843
435.75/426.81	o 2841
435.75/426.83	o 2835
435.75/426.84	o 2834
435.95/427.04	o 2833
438.55/429.62	o 2831
438.55/429.64	o 2824
438.55/429.66	o 2822
440.85/431.93	o 2821
442.15/433.27	o 2820
442.65/433.73	o 2815
444.95/436.07	o 2807
444.95/436.08	o 2806
446.15/437.12	o 2805
446.15/437.12	o 2799
446.44/437.41	o 2798
455.85/446.85	o 2797
455.95/446.91	o 2796
455.95/446.91	o 2795
457.65/448.69	o 2792
472.55/463.55	o 2789
472.55/463.57	o 2788
472.65/463.66	o 2787
472.65/463.66	o 2786
474.16/465.14	o 2785
474.16/465.14	o 2784
474.55/465.58	o 2783
474.65/465.65	o 2781
474.65/465.65	o 2780
511.40/502.33	o 2778
513.60/504.53	o 2777
513.60/504.53	o 2775
513.60/504.53	o 2774
544.02/534.93	o 2773
544.02/534.97	o 2772
544.02/534.97	o 2771
547.02/537.96	o 2770
547.02/537.96	o 2768
547.12/538.09	o 2763
547.12/538.09	o 2762
547.12/538.09	o 2761
547.12/538.09	o 2760
547.62/538.57	o 2758
547.72/538.64	o 2757
547.92/538.85	o 2756
548.33/539.22	o 2736
548.33/539.24	o 2735
548.33/539.24	o 2734
548.33/539.24	o 2731
548.33/539.24	o 2724
548.33/539.24	o 2723
548.33/539.25	o 2722
548.33/539.27	o 2721
548.33/539.27	o 2716
548.33/539.27	o 2715
548.42/539.32	o 2710
548.42/539.35	o 2708
548.72/539.68	o 2707
548.82/539.77	o 2671
548.82/539.77	o 2670
548.82/539.80	o 2664
548.92/539.80	o 2657
549.12/540.05	o 2655
549.12/540.05	o 2650
549.12/540.06	o 2649
549.12/540.09	o 2645
549.12/540.09	o 2644
549.12/540.09	o 2640
549.12/540.10	o 2639
550.12/541.10	o 2634
550.23/541.12	o 2632
550.52/541.43	o 2625
550.52/541.43	o 2624
550.52/541.43	o 2618
1044.64/1034.88	o 2617
1044.64/1034.88	o 2614
1044.84/1035.02	o 2609
1044.84/1035.02	o 2606
1045.54/1035.76	o 2605
1181.23/1171.05	o 2604
1181.23/1171.05	o 2592
1181.23/1171.06	o 2588
1181.23/1171.09	o 2586
1181.44/1171.22	o 2585
1181.44/1171.23	o 2581
1181.44/1171.23	o 2578
1181.44/1171.23	o 2576
1181.74/1171.52	o 2573
1183.85/1173.68	o 2567
1183.85/1173.68	o 2566
1183.85/1173.68	o 2560
1183.85/1173.69	o 2557
1184.05/1173.83	o 2556
1184.05/1173.83	o 2555
1184.05/1173.85	o 2554
1184.05/1173.87	o 2552
1184.05/1173.87	o 2551
1184.57/1174.34	o 2548
1184.57/1174.35	o 2547
1184.57/1174.35	o 2541
1184.77/1174.55	o 2540
1188.60/1178.38	o 2532
1188.70/1178.41	o 2530
1188.70/1178.41	o 2528
1188.70/1178.44	o 2523
1189.10/1178.84	o 2521
1189.10/1178.84	o 2519
1189.10/1178.89	o 2518
1189.20/1178.91	o 2513
1189.20/1178.93	o 2510
1189.20/1178.93	o 2508
1189.20/1178.94	o 2507
1189.20/1178.94	o 2505
1190.12/1179.83	o 2498
1190.12/1179.83	o 2496
1190.12/1179.86	o 2493
1190.12/1179.86	o 2491
1190.22/1179.90	o 2490
1190.22/1179.90	o 2488
1190.62/1180.36	o 2487
1190.62/1180.36	o 2485
1190.62/1180.36	o 2477
1193.16/1182.81	o 2472
1193.16/1182.82	o 2461
1193.26/1182.94	o 2449
1193.26/1182.97	o 2447
1193.26/1182.98	o 2444
1193.47/1183.11	o 2439
1193.47/1183.12	o 2436
1193.47/1183.12	o 2433
1569.76/1556.05	o 2432
1569.76/1556.05	o 2429
1570.88/1557.11	o 2427
1570.88/1557.12	o 2426
1570.88/1557.19	o 2421
1570.98/1557.25	o 2420
1599.68/1585.74	o 2419
1599.68/1585.74	o 2418
1684.19/1669.74	o 2408
1684.19/1669.74	o 2400
1684.19/1669.74	o 2395
1684.19/1669.74	o 2393
1684.19/1669.75	o 2387
1684.19/1669.75	o 2385
1684.29/1669.82	o 2384
1684.29/1669.82	o 2383
1684.41/1669.92	o 2379
1684.41/1669.92	o 2377
1684.41/1669.93	o 2369
1684.41/1669.98	o 2367
1684.41/1669.99	o 2363
1684.62/1670.19	o 2362
1684.72/1670.21	o 2357
1685.94/1671.48	o 2354
1694.73/1680.01	o 2353
1694.73/1680.02	o 2345
1694.73/1680.02	o 2344
1694.73/1680.02	o 2343
1694.73/1680.02	o 2340
1694.73/1680.02	o 2334
1694.73/1680.04	o 2333
1694.73/1680.06	o 2331
1694.73/1680.10	o 2330
1694.73/1680.10	o 2329
1694.73/1680.10	o 2327
1694.73/1680.10	o 2320
1694.84/1680.18	o 2319
1694.84/1680.18	o 2318
1694.96/1680.22	o 2311
1694.96/1680.24	o 2308
1695.35/1680.63	o 2302
1695.35/1680.63	o 2301
1695.77/1681.03	o 2300
1695.77/1681.03	o 2297
1695.77/1681.03	o 2296
1695.77/1681.03	o 2295
1697.81/1683.04	o 2294
1698.53/1683.74	o 2290
1698.53/1683.74	o 2288
1698.53/1683.75	o 2287
1698.53/1683.79	o 2286
1698.63/1683.86	o 2285
1698.63/1683.86	o 2284
1698.85/1684.06	o 2283
1698.85/1684.09	o 2282
1698.96/1684.14	o 2281
1698.96/1684.18	o 2280
1699.06/1684.22	o 2275
1699.06/1684.22	o 2274
2520.08/2499.21	s SATISFIABLE
2520.08/2499.21	v <instantiation>
2520.08/2499.21	v 	<list>
2520.08/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] 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] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149]
2520.08/2499.21	v 	</list>
2520.08/2499.21	v 	<values>
2520.08/2499.21	v 		66 57 37 92 85 23 45 11 2 3 17 36 10 91 50 26 112 90 136 127 128 137 74 138 148 110 94 109 62 71 100 96 14 56 51 60 58 93 146 123 119 133 7 22 19 75 98 30 34 113 86 27 32 16 1 12 9 97 46 54 142 143 108 105 79 42 55 139 147 140 129 41 5 15 0 35 24 18 21 59 64 48 61 63 145 149 107 69 39 144 40 13 8 73 80 76 47 44 78 87 68 99 131 134 120 6 4 52 29 28 70 49 126 111 102 116 132 67 84 122 124 141 117 65 121 115 89 77 82 103 38 31 20 81 72 53 114 95 25 88 104 135 83 101 33 43 106 130 118 125 6 8 20 10 32 10 29 6 5 12 28 14 30 14 9 35 7 21 6 1 10 20 21 4 13 22 12 19 16 9 15 28 24 5 6 4 12 22 8 7 14 41 13 4 18 9 27 6 48 14 31 2 22 17 4 16 32 18 4 28 13 12 2 10 14 11 42 5 3 4 41 14 4 8 12 9 2 23 16 4 7 6 19 26 4 15 11 16 35 43 9 5 22 11 2 16 2 12 10 7 17 12 17 9 40 9 35 9 1 16 31 25 5 6 13 9 23 12 11 7 6 16 29 17 6 9 38 14 5 21 2 16 27 21 6 25 10 29 23 8 13 16 18 22 7 20 28 6 13 21 
2520.08/2499.21	v 	</values>
2520.08/2499.21	v </instantiation>

Verifier Data 

OK	2274

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307856-1534347772/watcher-4307856-1534347772 -o /tmp/evaluation-result-4307856-1534347772/solver-4307856-1534347772 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534345266-31023 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1954597157 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307856-1534347772.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
solver pid=31273, runsolver pid=31270
Current StackSize limit: 8192 KiB


[startup+0.100127 s]*
/proc/loadavg: 1.06 1.25 1.33 3/208 31304
/proc/meminfo: memFree=18607248/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14082736 memory=28584 CPUtime=0.08 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 6083 0 0 0 7 1 0 0 20 0 15 0 252340520 14420721664 7146 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3520684 7146 3115 1 0 3482761 0
[pid=31273/tid=31275] ppid=31270 vsize=14082736 memory=5450919713671312938 CPUtime=0.06 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 4191 0 0 0 6 0 0 0 20 0 15 0 252340523 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610660833680 140610656631581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252340525 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252340526 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610197664928 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252340526 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610196611824 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) S 31270 31273 29875 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) S 31270 31273 29875 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610192402928 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340529 14420721664 7211 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 28584 KiB

[startup+0.210413 s]*
/proc/loadavg: 1.06 1.25 1.33 6/216 31312
/proc/meminfo: memFree=18569000/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14082736 memory=44304 CPUtime=0.24 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 10175 0 0 0 22 2 0 0 20 0 15 0 252340520 14420721664 11076 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3520684 11076 3331 1 0 3482761 0
[pid=31273/tid=31275] ppid=31270 vsize=14082736 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 8015 0 0 0 16 1 0 0 20 0 15 0 252340523 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610660833696 140610642676110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14082736 memory=3545097634745902752 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252340525 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252340526 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610197664928 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252340526 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610196611824 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) R 31270 31273 29875 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 252340528 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0.03 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) R 31270 31273 29875 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 15 0 252340528 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610192402928 140610635553644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340529 14420721664 11588 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 44304 KiB

[startup+0.315093 s]*
/proc/loadavg: 1.06 1.25 1.33 3/216 31312
/proc/meminfo: memFree=18555540/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14082736 memory=50232 CPUtime=0.41 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 10734 0 0 0 39 2 0 0 20 0 15 0 252340520 14420721664 12558 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3520684 12558 3374 1 0 3482761 0
[pid=31273/tid=31275] ppid=31270 vsize=14082736 memory=93310187 CPUtime=0.27 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 8390 0 0 0 26 1 0 0 20 0 15 0 252340523 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610660815824 140610639794800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14082736 memory=139968219551695 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14082736 memory=279936439101072 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14082736 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252340524 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14082736 memory=279936557979968 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252340525 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14082736 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252340526 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610197664928 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14082736 memory=2110318826690372 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252340526 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610196611824 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14082736 memory=2110318826690404 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) S 31270 31273 29875 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 252340528 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 15 0 252340528 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0.08 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) S 31270 31273 29875 0 -1 1077944384 334 0 0 0 8 0 0 0 20 0 15 0 252340528 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610192402928 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14082736 memory=139968338421376 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340529 14420721664 12558 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50232 KiB

[startup+0.700721 s]
/proc/loadavg: 1.06 1.25 1.33 5/216 31312
/proc/meminfo: memFree=18535128/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14084804 memory=88784 CPUtime=0.95 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 17555 0 0 0 91 4 0 0 20 0 15 0 252340520 14422839296 22196 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3521201 22196 3498 1 0 3483273 0
[pid=31273/tid=31275] ppid=31270 vsize=14084804 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 14830 0 0 0 62 3 0 0 20 0 15 0 252340523 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610660823040 140610640688478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14084804 memory=3184237888295550144 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340524 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252340524 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252340525 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252340526 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610197664928 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14084804 memory=274314796502415 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252340526 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610196611824 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14084804 memory=1326916 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14084804 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) S 31270 31273 29875 0 -1 1077944384 571 0 0 0 5 0 0 0 20 0 15 0 252340528 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 350 0 0 0 8 0 0 0 20 0 15 0 252340528 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14084804 memory=7809523229951467574 CPUtime=0.14 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) S 31270 31273 29875 0 -1 1077944384 422 0 0 0 14 0 0 0 20 0 15 0 252340528 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610192402928 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14084804 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252340529 14422839296 22196 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88784 KiB

[startup+1.50067 s]
/proc/loadavg: 1.06 1.25 1.33 8/216 31312
/proc/meminfo: memFree=18423284/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14088900 memory=233180 CPUtime=3.09 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 25650 0 0 0 300 9 0 0 20 0 15 0 252340520 14427033600 58295 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3522225 58295 3565 1 0 3484297 0
[pid=31273/tid=31275] ppid=31270 vsize=14088900 memory=279936439711264 CPUtime=1.42 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 18719 0 0 0 137 5 0 0 20 0 15 0 252340523 14427033600 58295 33554432000 4194304 4196468 140734589078336 140610660842888 140610656619926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14088900 memory=274268021650517 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 252340524 14427033600 58295 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14088900 memory=33 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 252340524 14427033600 58295 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 252340524 14427033600 58295 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 252340524 14427033600 58295 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 252340525 14427033600 58295 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0

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

/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 74792 0 0 0 237439 30 0 0 20 0 15 0 252340523 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610660845840 140610273727068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14090948 memory=10803 CPUtime=5.39 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 13375 0 0 0 472 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14090948 memory=21849 CPUtime=5.42 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 14661 0 0 0 475 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14090948 memory=10797 CPUtime=5.44 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 16981 0 0 0 479 65 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14090948 memory=25315 CPUtime=5.43 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 15056 0 0 0 477 66 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14090948 memory=279936440559632 CPUtime=1.05 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 9319 0 0 0 94 11 0 0 20 0 15 0 252340525 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14090948 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610197664992 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14090948 memory=7517460231678486098 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610196611840 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14090948 memory=7301858263636797776 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14090948 memory=288230574492221466 CPUtime=1.78 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) S 31270 31273 29875 0 -1 1077944384 5409 0 0 0 177 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14090948 memory=288230596050944315 CPUtime=1.91 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 5829 0 0 0 190 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14090948 memory=14133342345898336 CPUtime=0.72 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) S 31270 31273 29875 0 -1 1077944384 7421 0 0 0 72 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610192402928 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14090948 memory=3136 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14090948 memory=247936 CPUtime=0.74 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1162 0 0 0 33 41 0 0 20 0 15 0 252340529 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 2402.67 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 591284 KiB

[startup+2442.3 s]
/proc/loadavg: 1.10 1.28 1.34 3/216 31406
/proc/meminfo: memFree=17810168/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14090948 memory=591284 CPUtime=2462.93 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 167012 0 0 0 245956 337 0 0 20 0 15 0 252340520 14429130752 147821 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3522737 147821 3605 1 0 3484809 0
[pid=31273/tid=31275] ppid=31270 vsize=14090948 memory=496 CPUtime=2434.52 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 75224 0 0 0 243422 30 0 0 20 0 15 0 252340523 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610660846096 140610273685562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14090948 memory=1616 CPUtime=5.47 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 13632 0 0 0 480 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14090948 memory=1168 CPUtime=5.52 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 14917 0 0 0 484 68 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14090948 memory=928 CPUtime=5.53 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 17207 0 0 0 488 65 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14090948 memory=2420 CPUtime=5.53 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 15262 0 0 0 486 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14090948 memory=1572 CPUtime=1.09 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 9490 0 0 0 97 12 0 0 20 0 15 0 252340525 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610197664992 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14090948 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610196611840 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14090948 memory=14133342345898336 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14090948 memory=1752 CPUtime=1.78 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) S 31270 31273 29875 0 -1 1077944384 5411 0 0 0 177 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14090948 memory=6791534058613427641 CPUtime=1.91 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 5831 0 0 0 190 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14090948 memory=4744 CPUtime=0.72 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) S 31270 31273 29875 0 -1 1077944384 7423 0 0 0 72 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610192402928 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14090948 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14090948 memory=8564 CPUtime=0.77 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1180 0 0 0 34 43 0 0 20 0 15 0 252340529 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 2462.93 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 591284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499.21 s]
/proc/loadavg: 1.09 1.25 1.33 3/216 31407
/proc/meminfo: memFree=17807752/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14090948 memory=591284 CPUtime=2520.08 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 167521 0 0 0 251669 339 0 0 20 0 15 0 252340520 14429130752 147821 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3522737 147821 3605 1 0 3484809 0
[pid=31273/tid=31275] ppid=31270 vsize=14090948 memory=591284 CPUtime=2491.27 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 75576 0 0 0 249097 30 0 0 20 0 15 0 252340523 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610660846016 140610273685385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.56 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 13677 0 0 0 489 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.61 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 14936 0 0 0 493 68 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.61 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 17228 0 0 0 496 65 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.61 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 15326 0 0 0 494 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14090948 memory=591284 CPUtime=1.12 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 9494 0 0 0 100 12 0 0 20 0 15 0 252340525 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14090948 memory=591284 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610197664992 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14090948 memory=591284 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610196611840 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14090948 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14090948 memory=591284 CPUtime=1.78 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) S 31270 31273 29875 0 -1 1077944384 5411 0 0 0 177 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14090948 memory=591284 CPUtime=1.91 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 5831 0 0 0 190 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14090948 memory=591284 CPUtime=0.73 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) S 31270 31273 29875 0 -1 1077944384 7423 0 0 0 73 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610192402928 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14090948 memory=591284 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14090948 memory=591284 CPUtime=0.79 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1184 0 0 0 35 44 0 0 20 0 15 0 252340529 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 591284 KiB

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

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

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

[startup+2499.21 s]
/proc/loadavg: 1.09 1.25 1.33 3/216 31407
/proc/meminfo: memFree=17807752/32770624 swapFree=67108792/67108860
[pid=31273] ppid=31270 vsize=14090948 memory=591284 CPUtime=2520.08 cores=0,2,4,6
/proc/31273/stat : 31273 (java) S 31270 31273 29875 0 -1 1077944320 167521 0 0 0 251669 339 0 0 20 0 15 0 252340520 14429130752 147821 33554432000 4194304 4196468 140734589078336 140734589060880 140610656607991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 2 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
/proc/31273/statm: 3522737 147821 3605 1 0 3484809 0
[pid=31273/tid=31275] ppid=31270 vsize=14090948 memory=591284 CPUtime=2491.27 cores=0,2,4,6
/proc/31273/task/31275/stat : 31275 (java) R 31270 31273 29875 0 -1 4202560 75576 0 0 0 249097 30 0 0 20 0 15 0 252340523 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610660846016 140610273685385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31276] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.56 cores=0,2,4,6
/proc/31273/task/31276/stat : 31276 (java) S 31270 31273 29875 0 -1 1077944384 13677 0 0 0 489 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610586696720 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31277] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.61 cores=0,2,4,6
/proc/31273/task/31277/stat : 31277 (java) S 31270 31273 29875 0 -1 1077944384 14936 0 0 0 493 68 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610251701392 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31278] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.61 cores=0,2,4,6
/proc/31273/task/31278/stat : 31278 (java) S 31270 31273 29875 0 -1 1077944384 17228 0 0 0 496 65 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610250648336 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31279] ppid=31270 vsize=14090948 memory=591284 CPUtime=5.61 cores=0,2,4,6
/proc/31273/task/31279/stat : 31279 (java) S 31270 31273 29875 0 -1 1077944384 15326 0 0 0 494 67 0 0 20 0 15 0 252340524 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610249595792 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31280] ppid=31270 vsize=14090948 memory=591284 CPUtime=1.12 cores=0,2,4,6
/proc/31273/task/31280/stat : 31280 (java) S 31270 31273 29875 0 -1 1077944384 9494 0 0 0 100 12 0 0 20 0 15 0 252340525 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610198718704 140610656619138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31283] ppid=31270 vsize=14090948 memory=591284 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31283/stat : 31283 (java) S 31270 31273 29875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610197664992 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31286] ppid=31270 vsize=14090948 memory=591284 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31286/stat : 31286 (java) S 31270 31273 29875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 252340526 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610196611840 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31294] ppid=31270 vsize=14090948 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31294/stat : 31294 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610195560400 140610656626587 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31295] ppid=31270 vsize=14090948 memory=591284 CPUtime=1.78 cores=0,2,4,6
/proc/31273/task/31295/stat : 31295 (java) S 31270 31273 29875 0 -1 1077944384 5411 0 0 0 177 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610194508528 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31296] ppid=31270 vsize=14090948 memory=591284 CPUtime=1.91 cores=0,2,4,6
/proc/31273/task/31296/stat : 31296 (java) S 31270 31273 29875 0 -1 1077944384 5831 0 0 0 190 1 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610193455984 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31297] ppid=31270 vsize=14090948 memory=591284 CPUtime=0.73 cores=0,2,4,6
/proc/31273/task/31297/stat : 31297 (java) S 31270 31273 29875 0 -1 1077944384 7423 0 0 0 73 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610192402928 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31298] ppid=31270 vsize=14090948 memory=591284 CPUtime=0 cores=0,2,4,6
/proc/31273/task/31298/stat : 31298 (java) S 31270 31273 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252340528 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610191350624 140610656618197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
[pid=31273/tid=31300] ppid=31270 vsize=14090948 memory=591284 CPUtime=0.79 cores=0,2,4,6
/proc/31273/task/31300/stat : 31300 (java) S 31270 31273 29875 0 -1 1077944384 1184 0 0 0 35 44 0 0 20 0 15 0 252340529 14429130752 147821 33554432000 4194304 4196468 140734589078336 140610190297648 140610656619138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14225408 140734589084744 140734589084937 140734589084937 140734589087695 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 591284 KiB

Child status: 143
Real time (s): 2499.22
CPU time (s): 2520.11
CPU user time (s): 2516.71
CPU system time (s): 3.40196
CPU usage (%): 100.836
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 2907916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.71
system time used= 3.40196
maximum resident set size= 2919812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82470
involuntary context switches= 4859


# summary of solver processes directly reported to runsolver:
#   pid: 31273
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.71
#   total CPU system time (s): 3.40196

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7005 second user time and 20.5424 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-15 17:42:52
IDJOB=4307856
IDBENCH=141629
IDSOLVER=2791
FILE ID=node150/4307856-1534347772
RUNJOBID= node150-1534345266-31023
PBS_JOBID= 21038171
Free space on /tmp= 42972 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/TravellingSalesman/TravellingSalesman-150-50-00_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307856-1534347772/watcher-4307856-1534347772 -o /tmp/evaluation-result-4307856-1534347772/solver-4307856-1534347772 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534345266-31023 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1954597157 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307856-1534347772.xml

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

MD5SUM BENCH= 784274e168c99e425b71be44c62c6ab3
RANDOM SEED=1954597157

node150.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.76
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.76
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.76
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.76
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:        18628968 kB
MemAvailable:   31898904 kB
Buffers:          255584 kB
Cached:         13199480 kB
SwapCached:           32 kB
Active:          6342284 kB
Inactive:        7165628 kB
Active(anon):       3876 kB
Inactive(anon):   109496 kB
Active(file):    6338408 kB
Inactive(file):  7056132 kB
Unevictable:        7740 kB
Mlocked:            7740 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             71852 kB
Writeback:             0 kB
AnonPages:         68220 kB
Mapped:            56424 kB
Shmem:             57924 kB
Slab:             331624 kB
SReclaimable:     303856 kB
SUnreclaim:        27768 kB
KernelStack:        3520 kB
PageTables:         4888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 42936 MiB
End job on node150 at 2018-08-15 18:24:32