Trace number 4312319

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)98 252.063 247.989

General information on the benchmark

NameSumColoring/
SumColoring-1-fullins-4_c18.xml
MD5SUMce812152122c21d5982c9c6047fc1378
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark252.06
Satisfiable
(Un)Satisfiability was proved
Number of variables93
Number of constraints593
Number of domains1
Minimum domain size93
Maximum domain size93
Distribution of domain sizes[{"size":93,"count":93}]
Minimum variable degree7
Maximum variable degree33
Distribution of variable degrees[{"degree":7,"count":4},{"degree":8,"count":6},{"degree":9,"count":11},{"degree":10,"count":8},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":7},{"degree":14,"count":10},{"degree":15,"count":4},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":3},{"degree":23,"count":3},{"degree":24,"count":3},{"degree":33,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":593}]
Number of extensional constraints0
Number of intensional constraints593
Distribution of constraint types[{"type":"intension","count":593}]
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.56	c version: 2018-08-17
0.67/0.56	c seed: 1526399418
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
2.03/1.21	c Parsing done, starting search...
2.28/1.30	o 4352
2.28/1.32	o 4340
2.28/1.32	o 4330
2.28/1.32	o 4293
2.28/1.32	o 4292
2.28/1.33	o 4291
2.28/1.33	o 4286
2.28/1.33	o 4276
2.28/1.33	o 4273
2.28/1.33	o 4271
2.28/1.33	o 4231
2.28/1.33	o 4230
2.28/1.33	o 4226
2.28/1.33	o 4225
2.28/1.33	o 4222
2.28/1.33	o 4220
2.28/1.33	o 4218
2.28/1.33	o 4217
2.28/1.33	o 4213
2.28/1.33	o 4212
2.28/1.33	o 4210
2.28/1.33	o 4209
2.28/1.33	o 4207
2.28/1.33	o 4206
2.28/1.34	o 4197
2.28/1.34	o 4181
2.28/1.34	o 4177
2.28/1.34	o 4175
2.28/1.34	o 4174
2.28/1.34	o 4156
2.28/1.34	o 4155
2.28/1.34	o 4151
2.28/1.34	o 4148
2.28/1.34	o 4140
2.28/1.34	o 4139
2.28/1.34	o 4137
2.28/1.34	o 4112
2.28/1.34	o 4111
2.28/1.34	o 4097
2.28/1.34	o 4096
2.28/1.34	o 4095
2.28/1.34	o 4094
2.28/1.34	o 4093
2.28/1.35	o 4091
2.28/1.35	o 4090
2.28/1.35	o 4089
2.28/1.35	o 4088
2.28/1.35	o 4086
2.28/1.35	o 4066
2.28/1.35	o 4064
2.28/1.35	o 4045
2.28/1.35	o 4016
2.28/1.35	o 4004
2.28/1.35	o 4002
2.28/1.35	o 4000
2.28/1.35	o 3999
2.28/1.35	o 3998
2.28/1.35	o 3997
2.28/1.36	o 3953
2.28/1.36	o 3914
2.28/1.36	o 3912
2.28/1.36	o 3911
2.28/1.36	o 3910
2.28/1.36	o 3909
2.28/1.36	o 3908
2.28/1.36	o 3907
2.28/1.37	o 3906
2.28/1.37	o 3905
2.28/1.37	o 3904
2.28/1.37	o 3903
2.28/1.37	o 3901
2.28/1.37	o 3900
2.28/1.37	o 3899
2.28/1.37	o 3898
2.28/1.37	o 3897
2.28/1.37	o 3895
2.28/1.37	o 3894
2.28/1.37	o 3890
2.28/1.37	o 3888
2.28/1.37	o 3887
2.28/1.37	o 3882
2.28/1.37	o 3881
2.28/1.37	o 3880
2.28/1.37	o 3876
2.28/1.37	o 3874
2.28/1.37	o 3873
2.28/1.37	o 3871
2.28/1.37	o 3865
2.28/1.37	o 3863
2.28/1.37	o 3862
2.28/1.37	o 3861
2.28/1.38	o 3860
2.28/1.38	o 3859
2.28/1.38	o 3857
2.28/1.38	o 3853
2.28/1.38	o 3852
2.28/1.38	o 3851
2.28/1.38	o 3850
2.28/1.38	o 3849
2.28/1.38	o 3846
2.28/1.38	o 3845
2.28/1.38	o 3844
2.28/1.38	o 3843
2.28/1.38	o 3842
2.28/1.39	o 3841
2.28/1.39	o 3839
2.28/1.39	o 3837
2.28/1.39	o 3835
2.28/1.39	o 3803
2.28/1.39	o 3801
2.28/1.39	o 3799
2.28/1.39	o 3797
2.28/1.39	o 3795
2.28/1.39	o 3794
2.28/1.39	o 3792
2.28/1.39	o 3789
2.28/1.39	o 3787
2.28/1.39	o 3786
2.28/1.39	o 3785
2.28/1.39	o 3784
2.28/1.39	o 3783
2.28/1.39	o 3782
2.28/1.39	o 3780
2.28/1.39	o 3779
2.28/1.39	o 3778
2.63/1.40	o 3774
2.63/1.40	o 3766
2.63/1.40	o 3765
2.63/1.40	o 3762
2.63/1.40	o 3761
2.63/1.40	o 3760
2.63/1.40	o 3759
2.63/1.40	o 3758
2.63/1.40	o 3757
2.63/1.40	o 3756
2.63/1.40	o 3755
2.63/1.40	o 3754
2.63/1.40	o 3753
2.63/1.40	o 3744
2.63/1.40	o 3742
2.63/1.40	o 3741
2.63/1.40	o 3740
2.63/1.40	o 3739
2.63/1.40	o 3722
2.63/1.40	o 3720
2.63/1.40	o 3718
2.63/1.40	o 3710
2.63/1.40	o 3707
2.63/1.40	o 3706
2.63/1.40	o 3705
2.63/1.40	o 3704
2.63/1.40	o 3703
2.63/1.40	o 3701
2.63/1.41	o 3699
2.63/1.41	o 3685
2.63/1.41	o 3677
2.63/1.41	o 3673
2.63/1.41	o 3669
2.63/1.41	o 3659
2.63/1.41	o 3654
2.63/1.41	o 3650
2.63/1.41	o 3648
2.63/1.41	o 3646
2.63/1.41	o 3642
2.63/1.42	o 3641
2.63/1.42	o 3640
2.63/1.42	o 3639
2.63/1.42	o 3638
2.63/1.42	o 3611
2.63/1.42	o 3578
2.63/1.42	o 3570
2.63/1.42	o 3562
2.63/1.42	o 3561
2.63/1.42	o 3559
2.63/1.42	o 3553
2.63/1.42	o 3552
2.63/1.42	o 3550
2.63/1.42	o 3549
2.63/1.43	o 3540
2.63/1.43	o 3538
2.63/1.43	o 3537
2.63/1.43	o 3536
2.63/1.45	o 3535
2.63/1.45	o 3534
2.63/1.45	o 3533
2.63/1.45	o 3532
2.63/1.46	o 3531
2.63/1.49	o 3530
2.94/1.51	o 3529
2.94/1.51	o 3528
2.94/1.51	o 3527
2.94/1.51	o 3526
2.94/1.51	o 3525
2.94/1.51	o 3524
2.94/1.51	o 3522
2.94/1.51	o 3518
2.94/1.51	o 3516
2.94/1.51	o 3515
2.94/1.51	o 3514
2.94/1.51	o 3503
2.94/1.51	o 3502
2.94/1.51	o 3501
2.94/1.51	o 3500
2.94/1.51	o 3499
2.94/1.51	o 3498
2.94/1.51	o 3497
2.94/1.52	o 3496
2.94/1.52	o 3495
2.94/1.52	o 3494
2.94/1.52	o 3493
2.94/1.52	o 3492
2.94/1.52	o 3491
2.94/1.52	o 3490
2.94/1.52	o 3489
2.94/1.52	o 3488
2.94/1.52	o 3487
2.94/1.52	o 3486
2.94/1.52	o 3485
2.94/1.52	o 3484
2.94/1.53	o 3483
2.94/1.53	o 3482
2.94/1.53	o 3481
2.94/1.53	o 3480
2.94/1.53	o 3479
2.94/1.54	o 3478
2.94/1.54	o 3476
2.94/1.54	o 3471
2.94/1.54	o 3469
2.94/1.54	o 3468
2.94/1.54	o 3467
2.94/1.54	o 3466
2.94/1.54	o 3465
2.94/1.54	o 3464
2.94/1.55	o 3446
2.94/1.55	o 3445
2.94/1.55	o 3434
2.94/1.55	o 3423
2.94/1.55	o 3422
2.94/1.55	o 3421
2.94/1.55	o 3420
2.94/1.55	o 3419
2.94/1.55	o 3418
2.94/1.55	o 3417
2.94/1.55	o 3416
2.94/1.55	o 3415
2.94/1.55	o 3414
2.94/1.56	o 3413
2.94/1.59	o 3412
3.24/1.60	o 3411
3.24/1.63	o 3399
3.24/1.63	o 3397
3.24/1.63	o 3395
3.24/1.63	o 3394
3.24/1.63	o 3392
3.24/1.63	o 3391
3.24/1.63	o 3389
3.24/1.63	o 3380
3.24/1.63	o 3378
3.24/1.63	o 3376
3.24/1.63	o 3375
3.24/1.64	o 3374
3.24/1.64	o 3373
3.24/1.64	o 3372
3.24/1.64	o 3371
3.24/1.64	o 3370
3.24/1.65	o 3369
3.24/1.66	o 3368
3.24/1.67	o 3367
3.24/1.67	o 3366
3.24/1.67	o 3365
3.54/1.78	o 3363
3.54/1.78	o 3362
3.54/1.78	o 3358
3.54/1.78	o 3357
3.54/1.78	o 3356
3.54/1.78	o 3355
3.54/1.78	o 3354
3.54/1.78	o 3352
3.54/1.78	o 3351
3.54/1.78	o 3343
3.54/1.79	o 3342
3.54/1.79	o 3341
3.66/1.83	o 3340
3.76/2.00	o 3339
3.89/2.01	o 3338
3.99/2.13	o 3337
4.08/2.21	o 3336
4.08/2.21	o 3335
4.08/2.21	o 3334
4.08/2.21	o 3333
4.08/2.21	o 3328
4.08/2.21	o 3327
4.08/2.21	o 3325
4.08/2.21	o 3324
4.08/2.21	o 3323
4.08/2.21	o 3322
4.08/2.21	o 3321
4.08/2.21	o 3320
4.08/2.21	o 3319
4.08/2.21	o 3318
4.08/2.21	o 3310
4.08/2.21	o 3309
4.08/2.21	o 3308
4.08/2.21	o 3307
4.08/2.21	o 3306
4.08/2.21	o 3305
4.08/2.21	o 3291
4.08/2.21	o 3290
4.08/2.21	o 3289
4.08/2.21	o 3286
4.08/2.21	o 3285
4.08/2.21	o 3284
4.08/2.21	o 3282
4.08/2.21	o 3281
4.08/2.21	o 3280
4.08/2.21	o 3275
4.08/2.21	o 3274
4.08/2.21	o 3273
4.08/2.22	o 3272
4.08/2.22	o 3271
4.08/2.22	o 3270
4.08/2.22	o 3269
4.08/2.23	o 3267
4.08/2.23	o 3265
4.08/2.23	o 3261
4.08/2.23	o 3260
4.08/2.23	o 3259
4.08/2.23	o 3258
4.08/2.23	o 3257
4.08/2.23	o 3256
4.08/2.23	o 3255
4.08/2.24	o 3253
4.08/2.25	o 3251
4.33/2.30	o 3249
4.33/2.30	o 3248
4.33/2.30	o 3247
4.33/2.30	o 3246
4.33/2.30	o 3243
4.33/2.30	o 3242
4.33/2.30	o 3240
4.33/2.30	o 3187
4.33/2.30	o 3186
4.33/2.30	o 3185
4.33/2.30	o 3184
4.33/2.30	o 3183
4.33/2.30	o 3181
4.33/2.30	o 3150
4.33/2.31	o 3118
4.33/2.31	o 3114
4.33/2.31	o 3113
4.33/2.31	o 3111
4.33/2.31	o 3110
4.33/2.31	o 3054
4.33/2.31	o 3053
4.33/2.31	o 3052
4.33/2.31	o 3050
4.33/2.31	o 3049
4.33/2.31	o 3048
4.33/2.31	o 3032
4.33/2.31	o 3031
4.33/2.31	o 3027
4.33/2.31	o 2970
4.33/2.31	o 2963
4.33/2.31	o 2962
4.33/2.31	o 2961
4.33/2.31	o 2955
4.33/2.31	o 2953
4.33/2.31	o 2944
4.33/2.31	o 2943
4.33/2.31	o 2942
4.33/2.31	o 2941
4.33/2.31	o 2940
4.33/2.31	o 2938
4.33/2.32	o 2929
4.33/2.32	o 2923
4.33/2.32	o 2911
4.33/2.32	o 2906
4.33/2.32	o 2903
4.33/2.32	o 2898
4.33/2.32	o 2894
4.33/2.32	o 2892
4.33/2.32	o 2890
4.33/2.32	o 2889
4.33/2.32	o 2888
4.33/2.32	o 2884
4.33/2.32	o 2881
4.33/2.32	o 2878
4.33/2.32	o 2855
4.33/2.32	o 2854
4.33/2.32	o 2851
4.33/2.32	o 2841
4.33/2.32	o 2837
4.33/2.32	o 2830
4.33/2.32	o 2828
4.33/2.32	o 2823
4.33/2.32	o 2804
4.33/2.32	o 2797
4.33/2.32	o 2792
4.33/2.32	o 2786
4.33/2.32	o 2783
4.33/2.32	o 2782
4.33/2.32	o 2781
4.33/2.32	o 2780
4.33/2.32	o 2779
4.33/2.32	o 2778
4.33/2.32	o 2777
4.33/2.32	o 2776
4.33/2.32	o 2775
4.33/2.32	o 2774
4.33/2.32	o 2772
4.33/2.32	o 2771
4.33/2.32	o 2770
4.33/2.32	o 2769
4.33/2.32	o 2768
4.33/2.33	o 2767
4.33/2.33	o 2766
4.33/2.33	o 2765
4.33/2.33	o 2763
4.33/2.33	o 2761
4.33/2.33	o 2759
4.33/2.33	o 2757
4.33/2.33	o 2755
4.33/2.33	o 2753
4.33/2.33	o 2750
4.33/2.33	o 2748
4.33/2.33	o 2746
4.33/2.33	o 2744
4.33/2.33	o 2742
4.33/2.33	o 2741
4.33/2.33	o 2739
4.33/2.33	o 2738
4.33/2.33	o 2736
4.33/2.33	o 2735
4.33/2.33	o 2733
4.33/2.33	o 2732
4.33/2.33	o 2730
4.33/2.33	o 2728
4.33/2.33	o 2727
4.33/2.33	o 2725
4.33/2.33	o 2724
4.33/2.33	o 2722
4.33/2.33	o 2720
4.33/2.33	o 2718
4.33/2.33	o 2716
4.33/2.33	o 2704
4.33/2.33	o 2701
4.33/2.33	o 2698
4.33/2.33	o 2695
4.33/2.33	o 2692
4.33/2.33	o 2691
4.33/2.33	o 2664
4.33/2.33	o 2655
4.33/2.34	o 2634
4.33/2.34	o 2632
4.33/2.34	o 2630
4.33/2.34	o 2628
4.33/2.34	o 2621
4.33/2.34	o 2619
4.33/2.34	o 2614
4.33/2.34	o 2609
4.33/2.34	o 2600
4.33/2.34	o 2596
4.33/2.34	o 2589
4.33/2.34	o 2586
4.33/2.34	o 2584
4.33/2.34	o 2514
4.33/2.35	o 2500
4.33/2.35	o 2498
4.33/2.35	o 2494
4.33/2.35	o 2473
4.33/2.35	o 2470
4.33/2.35	o 2442
4.33/2.35	o 2441
4.33/2.35	o 2428
4.33/2.35	o 2427
4.33/2.36	o 2426
4.33/2.36	o 2425
4.33/2.36	o 2423
4.33/2.36	o 2422
4.33/2.36	o 2421
4.33/2.36	o 2420
4.33/2.36	o 2418
4.33/2.37	o 2417
4.33/2.37	o 2416
4.33/2.37	o 2415
4.33/2.37	o 2414
4.33/2.37	o 2413
4.33/2.37	o 2412
4.33/2.37	o 2411
4.33/2.38	o 2410
4.33/2.38	o 2409
4.33/2.39	o 2408
4.33/2.39	o 2403
4.33/2.39	o 2398
4.33/2.39	o 2397
4.33/2.39	o 2396
4.33/2.39	o 2395
4.33/2.39	o 2393
4.33/2.39	o 2385
4.33/2.39	o 2384
4.63/2.40	o 2383
4.63/2.40	o 2382
4.63/2.41	o 2336
4.63/2.41	o 2321
4.63/2.41	o 2317
4.63/2.41	o 2316
4.63/2.41	o 2315
4.63/2.41	o 2312
4.63/2.41	o 2309
4.63/2.41	o 2307
4.63/2.41	o 2306
4.63/2.41	o 2305
4.63/2.41	o 2304
4.63/2.41	o 2303
4.63/2.41	o 2302
4.63/2.41	o 2301
4.63/2.41	o 2300
4.63/2.41	o 2299
4.63/2.41	o 2298
4.63/2.41	o 2297
4.63/2.42	o 2291
4.63/2.42	o 2283
4.63/2.42	o 2282
4.63/2.42	o 2281
4.63/2.42	o 2279
4.63/2.42	o 2278
4.63/2.42	o 2277
4.63/2.45	o 2237
4.63/2.45	o 2236
4.63/2.45	o 2213
4.63/2.45	o 2212
4.63/2.45	o 2207
4.63/2.45	o 2206
4.63/2.45	o 2205
4.63/2.45	o 2204
4.63/2.45	o 2203
4.63/2.45	o 2201
4.63/2.45	o 2200
4.63/2.46	o 2199
4.63/2.48	o 2198
4.90/2.50	o 2196
4.90/2.50	o 2195
4.90/2.50	o 2162
4.90/2.50	o 2160
4.90/2.50	o 2153
4.90/2.50	o 2151
4.90/2.50	o 2149
4.90/2.50	o 2147
4.90/2.50	o 2143
4.90/2.51	o 2141
4.90/2.51	o 2134
4.90/2.51	o 2133
4.90/2.51	o 2132
4.90/2.51	o 2131
4.90/2.53	o 2130
4.90/2.58	o 2124
4.90/2.58	o 2119
4.90/2.58	o 2118
4.90/2.58	o 2116
4.90/2.58	o 2104
4.90/2.58	o 2102
4.90/2.58	o 2098
4.90/2.58	o 2078
4.90/2.58	o 2059
4.90/2.58	o 2058
4.90/2.58	o 2057
5.02/2.67	o 2054
5.02/2.67	o 2047
5.02/2.67	o 2046
5.02/2.67	o 2042
5.02/2.67	o 2041
5.02/2.67	o 2040
5.02/2.67	o 2039
5.02/2.69	o 2038
5.02/2.69	o 2037
5.02/2.69	o 2036
5.02/2.70	o 2035
5.14/2.70	o 2034
5.14/2.70	o 2033
5.14/2.70	o 2032
5.14/2.71	o 2031
5.14/2.71	o 2030
5.14/2.72	o 2029
5.14/2.73	o 2027
5.14/2.73	o 2026
5.14/2.73	o 2025
5.14/2.73	o 2024
5.14/2.73	o 2023
5.14/2.73	o 2019
5.14/2.73	o 2017
5.14/2.73	o 2016
5.14/2.73	o 2015
5.14/2.73	o 2014
5.14/2.73	o 2013
5.14/2.73	o 2012
5.14/2.73	o 2011
5.14/2.73	o 2010
5.14/2.73	o 2009
5.14/2.74	o 2008
5.14/2.78	o 2006
5.14/2.78	o 2005
5.14/2.78	o 2004
5.14/2.78	o 1997
5.14/2.78	o 1994
5.14/2.79	o 1993
5.14/2.79	o 1992
5.14/2.79	o 1991
5.14/2.79	o 1990
5.14/2.79	o 1989
5.14/2.79	o 1988
5.14/2.79	o 1987
5.14/2.80	o 1986
5.24/2.80	o 1985
5.24/2.80	o 1984
5.24/2.80	o 1983
5.24/2.81	o 1982
5.24/2.81	o 1981
5.24/2.82	o 1980
5.24/2.82	o 1979
5.24/2.83	o 1978
5.24/2.87	o 1976
5.24/2.87	o 1971
5.24/2.87	o 1967
5.24/2.87	o 1964
5.24/2.87	o 1958
5.24/2.87	o 1953
5.24/2.87	o 1928
5.24/2.87	o 1914
5.24/2.87	o 1913
5.24/2.87	o 1908
5.24/2.87	o 1907
5.24/2.87	o 1903
5.24/2.87	o 1902
5.24/2.87	o 1901
5.24/2.88	o 1900
5.24/2.88	o 1899
5.24/2.88	o 1895
5.24/2.88	o 1894
5.24/2.88	o 1893
5.24/2.89	o 1891
5.24/2.89	o 1890
5.34/2.99	o 1884
5.34/2.99	o 1883
5.34/2.99	o 1882
5.34/2.99	o 1881
5.34/2.99	o 1880
5.45/3.01	o 1879
5.45/3.01	o 1877
5.45/3.07	o 1875
5.55/3.16	o 1874
5.55/3.19	o 1873
5.95/3.59	o 1861
5.95/3.59	o 1860
5.95/3.59	o 1827
5.95/3.59	o 1817
5.95/3.60	o 1814
6.05/3.60	o 1813
6.05/3.60	o 1811
6.05/3.60	o 1810
6.05/3.60	o 1809
6.05/3.61	o 1807
6.05/3.61	o 1806
6.47/3.93	o 1804
6.47/3.94	o 1803
6.47/3.97	o 1802
7.51/4.93	o 1801
7.51/4.98	o 1800
7.61/5.10	o 1799
8.11/5.57	o 1798
8.11/5.57	o 1797
8.11/5.57	o 1796
8.11/5.57	o 1795
8.11/5.57	o 1794
8.11/5.57	o 1793
8.11/5.57	o 1792
8.11/5.57	o 1791
8.11/5.57	o 1783
8.11/5.57	o 1782
8.11/5.57	o 1780
8.11/5.57	o 1779
8.11/5.57	o 1776
8.11/5.57	o 1773
8.11/5.57	o 1772
8.11/5.57	o 1771
8.11/5.57	o 1770
8.11/5.57	o 1769
8.11/5.57	o 1768
8.21/5.63	o 1767
8.21/5.63	o 1766
8.21/5.63	o 1765
8.21/5.63	o 1764
8.21/5.63	o 1762
8.21/5.63	o 1761
8.21/5.63	o 1760
8.21/5.63	o 1759
8.21/5.63	o 1758
8.21/5.63	o 1757
8.21/5.64	o 1756
8.21/5.64	o 1755
8.21/5.64	o 1754
8.21/5.64	o 1753
8.21/5.64	o 1752
8.21/5.66	o 1751
8.21/5.67	o 1750
8.21/5.67	o 1749
8.21/5.68	o 1748
8.21/5.68	o 1747
8.21/5.69	o 1746
8.21/5.69	o 1745
8.41/5.83	o 1744
8.41/5.83	o 1743
8.41/5.83	o 1742
8.51/5.93	o 1741
8.72/6.14	o 1740
8.72/6.14	o 1739
8.81/6.20	o 1738
8.81/6.20	o 1737
8.81/6.20	o 1736
8.81/6.20	o 1735
8.81/6.20	o 1734
8.81/6.20	o 1733
8.81/6.20	o 1732
8.81/6.20	o 1731
8.81/6.21	o 1730
8.81/6.21	o 1729
8.81/6.21	o 1728
8.81/6.21	o 1727
8.81/6.21	o 1726
8.81/6.21	o 1725
8.81/6.21	o 1724
8.81/6.21	o 1723
8.81/6.21	o 1722
8.81/6.21	o 1721
8.81/6.21	o 1720
8.81/6.21	o 1719
8.81/6.21	o 1718
8.81/6.21	o 1717
8.81/6.21	o 1716
8.81/6.21	o 1715
8.81/6.21	o 1714
8.81/6.21	o 1713
8.81/6.22	o 1712
8.81/6.22	o 1711
8.81/6.22	o 1710
8.81/6.22	o 1709
8.81/6.23	o 1708
8.81/6.23	o 1707
8.81/6.23	o 1706
8.81/6.23	o 1705
8.81/6.23	o 1704
8.81/6.23	o 1703
8.81/6.23	o 1702
8.81/6.24	o 1701
8.81/6.24	o 1700
8.81/6.25	o 1699
8.81/6.27	o 1698
8.81/6.27	o 1697
9.33/6.71	o 1696
9.74/7.15	o 1695
10.03/7.42	o 1694
10.03/7.44	o 1693
10.03/7.45	o 1692
10.03/7.48	o 1690
10.13/7.51	o 1689
10.13/7.51	o 1688
10.13/7.51	o 1685
10.13/7.51	o 1684
10.13/7.51	o 1682
10.13/7.52	o 1681
10.13/7.52	o 1680
10.45/7.85	o 1679
10.65/8.10	o 1678
10.75/8.16	o 1677
10.75/8.17	o 1676
10.75/8.17	o 1675
11.45/8.80	o 1673
11.45/8.80	o 1672
11.45/8.80	o 1671
11.45/8.81	o 1670
11.45/8.81	o 1669
11.45/8.81	o 1668
11.45/8.81	o 1667
11.45/8.81	o 1666
11.45/8.81	o 1665
11.45/8.81	o 1664
11.45/8.81	o 1661
11.45/8.81	o 1660
11.45/8.81	o 1659
11.45/8.81	o 1658
11.45/8.81	o 1657
11.45/8.81	o 1656
11.45/8.81	o 1655
11.45/8.81	o 1654
11.45/8.81	o 1653
11.45/8.81	o 1652
11.45/8.81	o 1651
11.45/8.81	o 1650
11.45/8.81	o 1649
11.45/8.82	o 1646
11.45/8.82	o 1645
11.45/8.82	o 1642
11.45/8.82	o 1641
11.45/8.82	o 1640
11.45/8.82	o 1638
11.45/8.82	o 1637
11.45/8.82	o 1636
11.45/8.82	o 1635
11.45/8.82	o 1634
11.45/8.83	o 1633
11.45/8.83	o 1632
12.15/9.55	o 1631
12.86/10.20	o 1629
12.86/10.20	o 1628
12.86/10.20	o 1627
12.86/10.20	o 1626
12.86/10.20	o 1623
12.86/10.20	o 1622
12.86/10.20	o 1620
12.86/10.20	o 1619
12.86/10.20	o 1618
12.86/10.20	o 1616
12.86/10.20	o 1615
12.86/10.20	o 1614
12.86/10.20	o 1613
12.86/10.20	o 1612
12.86/10.20	o 1610
12.86/10.20	o 1609
12.86/10.25	o 1607
12.86/10.27	o 1606
12.96/10.39	o 1605
13.16/10.56	o 1604
13.16/10.57	o 1603
14.06/11.49	o 1602
14.16/11.59	o 1601
14.26/11.61	o 1600
14.26/11.61	o 1599
14.26/11.65	o 1598
14.36/11.76	o 1597
14.36/11.76	o 1596
14.36/11.76	o 1595
14.36/11.76	o 1593
14.36/11.76	o 1592
14.36/11.76	o 1586
14.36/11.76	o 1585
14.36/11.76	o 1584
14.36/11.77	o 1583
14.36/11.77	o 1582
14.36/11.77	o 1581
14.36/11.78	o 1580
14.46/11.81	o 1579
14.46/11.81	o 1578
14.46/11.82	o 1577
14.46/11.82	o 1576
14.46/11.83	o 1575
14.46/11.83	o 1574
14.46/11.83	o 1573
14.46/11.83	o 1572
14.46/11.83	o 1571
14.46/11.86	o 1570
14.56/11.92	o 1569
14.56/11.92	o 1568
14.56/11.92	o 1567
14.56/11.93	o 1566
14.56/11.95	o 1565
14.56/11.96	o 1564
14.67/12.06	o 1563
14.77/12.12	o 1562
14.77/12.13	o 1561
14.77/12.18	o 1560
14.86/12.23	o 1559
14.86/12.28	o 1558
14.96/12.32	o 1557
14.96/12.32	o 1556
14.96/12.32	o 1555
15.17/12.57	o 1554
15.27/12.68	o 1553
15.27/12.68	o 1551
15.27/12.68	o 1543
15.27/12.68	o 1541
15.27/12.68	o 1533
15.27/12.68	o 1532
15.27/12.68	o 1531
15.27/12.68	o 1530
15.27/12.68	o 1529
15.27/12.68	o 1527
15.27/12.68	o 1526
15.27/12.69	o 1524
15.27/12.69	o 1523
15.27/12.69	o 1522
15.27/12.69	o 1521
15.37/12.70	o 1520
15.37/12.70	o 1519
15.47/12.83	o 1518
15.57/12.94	o 1517
16.17/13.58	o 1516
16.37/13.76	o 1515
16.37/13.77	o 1514
16.57/14.01	o 1513
16.57/14.01	o 1511
16.57/14.01	o 1509
16.57/14.01	o 1501
16.57/14.01	o 1500
16.57/14.01	o 1481
16.57/14.01	o 1480
16.57/14.01	o 1479
16.57/14.01	o 1478
16.57/14.01	o 1476
16.68/14.01	o 1475
16.68/14.01	o 1473
16.68/14.01	o 1468
16.68/14.01	o 1463
16.68/14.01	o 1462
16.68/14.01	o 1460
16.68/14.01	o 1459
16.68/14.01	o 1458
16.68/14.01	o 1457
16.68/14.01	o 1456
16.68/14.01	o 1454
16.68/14.01	o 1452
16.68/14.01	o 1449
16.68/14.02	o 1447
16.68/14.03	o 1435
16.68/14.03	o 1428
16.68/14.03	o 1424
16.68/14.04	o 1423
16.68/14.05	o 1415
16.68/14.05	o 1405
16.68/14.05	o 1391
16.68/14.05	o 1388
16.68/14.05	o 1387
16.68/14.05	o 1385
16.68/14.05	o 1384
16.68/14.05	o 1381
16.68/14.05	o 1378
16.68/14.06	o 1377
16.68/14.08	o 1376
16.68/14.10	o 1375
16.78/14.12	o 1374
16.78/14.18	o 1373
16.87/14.25	o 1372
16.87/14.25	o 1371
16.87/14.29	o 1370
16.87/14.29	o 1368
16.87/14.29	o 1367
16.87/14.29	o 1366
16.87/14.29	o 1365
16.87/14.29	o 1363
16.87/14.29	o 1362
16.87/14.29	o 1359
16.87/14.29	o 1354
16.87/14.29	o 1351
16.87/14.29	o 1333
16.87/14.29	o 1331
16.87/14.29	o 1329
16.87/14.30	o 1328
16.97/14.30	o 1327
16.97/14.30	o 1326
16.97/14.30	o 1325
16.97/14.30	o 1324
16.97/14.30	o 1323
16.97/14.30	o 1322
16.97/14.31	o 1321
16.97/14.33	o 1320
16.97/14.34	o 1319
16.97/14.35	o 1318
16.97/14.35	o 1317
16.97/14.36	o 1316
16.97/14.36	o 1315
17.07/14.41	o 1310
17.07/14.41	o 1307
17.07/14.41	o 1284
17.07/14.41	o 1283
17.07/14.41	o 1282
17.07/14.43	o 1281
17.07/14.43	o 1280
17.07/14.43	o 1279
17.07/14.43	o 1278
17.07/14.44	o 1277
17.07/14.46	o 1275
18.18/15.58	o 1270
18.18/15.58	o 1269
18.18/15.58	o 1265
18.18/15.58	o 1263
18.18/15.58	o 1262
18.18/15.58	o 1261
18.18/15.58	o 1260
18.18/15.58	o 1259
18.18/15.58	o 1258
18.18/15.58	o 1257
18.18/15.58	o 1256
18.18/15.58	o 1253
18.18/15.58	o 1252
18.18/15.58	o 1251
18.18/15.58	o 1250
18.18/15.59	o 1249
18.18/15.59	o 1248
18.18/15.59	o 1246
18.18/15.60	o 1245
18.28/15.60	o 1237
18.28/15.60	o 1234
18.28/15.60	o 1233
18.28/15.60	o 1232
18.28/15.62	o 1230
18.28/15.62	o 1229
18.28/15.64	o 1227
18.39/15.77	o 1226
18.39/15.77	o 1225
18.49/15.86	o 1224
18.49/15.88	o 1223
18.59/15.90	o 1222
18.59/15.99	o 1215
18.59/15.99	o 1214
18.59/15.99	o 1213
18.59/15.99	o 1212
18.59/16.00	o 1211
18.59/16.00	o 1210
18.70/16.01	o 1209
18.70/16.02	o 1208
18.70/16.02	o 1207
18.70/16.03	o 1206
18.70/16.03	o 1205
18.70/16.04	o 1204
18.70/16.08	o 1203
18.80/16.11	o 1202
18.90/16.22	o 1201
18.90/16.22	o 1200
18.90/16.23	o 1199
18.90/16.23	o 1198
18.90/16.27	o 1197
19.00/16.33	o 1196
19.00/16.33	o 1195
19.00/16.33	o 1194
19.00/16.33	o 1193
19.10/16.47	o 1180
19.10/16.47	o 1179
19.10/16.47	o 1173
19.10/16.47	o 1171
19.10/16.47	o 1170
19.10/16.47	o 1169
19.10/16.47	o 1151
19.10/16.47	o 1150
19.10/16.47	o 1149
19.10/16.47	o 1148
19.10/16.47	o 1147
19.10/16.47	o 1137
19.10/16.47	o 1136
19.10/16.47	o 1135
19.10/16.47	o 1134
19.10/16.47	o 1133
19.10/16.47	o 1131
19.10/16.47	o 1130
19.10/16.47	o 1129
19.10/16.47	o 1128
19.10/16.48	o 1127
19.10/16.48	o 1126
19.10/16.48	o 1125
19.10/16.48	o 1124
19.10/16.48	o 1123
19.10/16.48	o 1122
19.10/16.48	o 1121
19.10/16.48	o 1120
19.10/16.48	o 1119
19.10/16.49	o 1118
19.20/16.50	o 1117
19.20/16.53	o 1115
19.71/17.03	o 1114
19.71/17.05	o 1113
19.71/17.05	o 1112
19.71/17.05	o 1111
19.71/17.06	o 1110
19.71/17.06	o 1109
21.21/18.57	o 1108
21.21/18.57	o 1107
21.31/18.65	o 1106
21.41/18.73	o 1105
21.41/18.73	o 1104
21.51/18.80	o 1103
21.51/18.81	o 1102
21.61/18.93	o 1095
21.61/18.93	o 1094
21.61/18.93	o 1093
21.61/18.93	o 1073
21.61/18.93	o 1072
21.61/18.93	o 1071
21.61/18.93	o 1070
21.61/18.93	o 1069
21.61/18.93	o 1068
21.61/18.95	o 1067
21.61/18.95	o 1066
21.61/18.98	o 1065
21.61/18.98	o 1064
21.61/19.00	o 1063
21.61/19.00	o 1062
21.61/19.00	o 1061
21.72/19.02	o 1060
21.72/19.02	o 1059
21.72/19.04	o 1058
21.72/19.04	o 1057
21.72/19.04	o 1056
21.72/19.05	o 1055
22.01/19.39	o 1054
22.01/19.39	o 1053
22.82/20.13	o 1052
22.82/20.13	o 1051
22.82/20.13	o 1048
22.82/20.13	o 1047
22.82/20.13	o 1046
22.82/20.13	o 1045
22.82/20.13	o 1044
22.82/20.13	o 1043
22.82/20.13	o 1036
22.82/20.13	o 1035
22.82/20.13	o 1034
22.82/20.13	o 1033
22.82/20.13	o 1032
22.82/20.13	o 1031
22.82/20.13	o 1030
22.82/20.13	o 1029
22.82/20.13	o 1028
22.82/20.13	o 1027
22.82/20.13	o 1026
22.82/20.13	o 1025
22.82/20.13	o 1024
22.82/20.13	o 1023
22.82/20.13	o 1022
22.82/20.13	o 1021
22.82/20.13	o 1020
22.82/20.14	o 1019
22.82/20.15	o 1017
22.82/20.16	o 1016
22.82/20.16	o 1015
22.82/20.17	o 1014
22.82/20.17	o 1013
22.82/20.19	o 1012
22.82/20.19	o 1011
22.92/20.20	o 1010
22.92/20.21	o 1009
22.92/20.21	o 1008
22.92/20.25	o 1007
23.52/20.82	o 1006
23.52/20.82	o 1005
23.52/20.82	o 1004
23.52/20.82	o 1003
23.52/20.82	o 1002
23.52/20.83	o 1001
23.52/20.83	o 1000
23.52/20.83	o 999
23.52/20.83	o 998
23.52/20.83	o 997
23.52/20.85	o 996
23.52/20.85	o 995
23.52/20.86	o 993
23.52/20.86	o 992
23.62/20.90	o 991
23.62/20.90	o 990
23.62/20.90	o 989
24.62/21.96	o 987
24.62/21.96	o 986
24.62/21.96	o 984
24.62/21.96	o 983
24.62/21.96	o 982
24.62/21.96	o 980
24.62/21.96	o 977
24.62/21.96	o 972
24.62/21.96	o 971
24.62/21.96	o 969
24.62/21.96	o 968
24.62/21.96	o 967
24.62/21.96	o 966
24.62/21.96	o 965
24.62/21.97	o 964
24.62/21.98	o 963
24.62/21.98	o 962
24.62/21.98	o 961
24.73/22.01	o 960
24.73/22.01	o 959
24.73/22.01	o 958
24.73/22.01	o 957
24.73/22.01	o 956
24.73/22.02	o 955
24.73/22.03	o 954
24.73/22.03	o 953
24.73/22.03	o 952
24.93/22.24	o 951
24.93/22.24	o 950
24.93/22.25	o 949
25.13/22.41	o 942
25.13/22.41	o 941
25.13/22.41	o 925
25.13/22.41	o 924
25.13/22.41	o 922
25.13/22.41	o 921
25.13/22.41	o 920
25.13/22.41	o 916
25.13/22.42	o 915
25.13/22.42	o 914
25.13/22.42	o 911
25.13/22.42	o 910
25.13/22.42	o 903
25.13/22.42	o 902
25.13/22.42	o 889
25.13/22.42	o 888
25.13/22.42	o 887
25.13/22.42	o 886
25.13/22.42	o 885
25.13/22.42	o 884
25.13/22.42	o 883
25.13/22.42	o 882
25.13/22.43	o 878
25.13/22.43	o 877
25.13/22.43	o 876
25.13/22.50	o 875
25.23/22.58	o 874
25.23/22.58	o 873
25.23/22.58	o 872
25.23/22.58	o 871
25.23/22.58	o 868
25.23/22.58	o 867
26.44/23.76	o 866
26.95/24.24	o 865
27.35/24.67	o 864
27.35/24.67	o 863
27.35/24.67	o 856
27.35/24.67	o 854
27.35/24.67	o 850
27.35/24.67	o 848
27.35/24.67	o 847
27.35/24.67	o 846
27.35/24.67	o 844
27.35/24.67	o 843
27.35/24.67	o 842
27.35/24.67	o 841
27.35/24.67	o 840
27.35/24.67	o 839
27.35/24.67	o 838
27.35/24.67	o 828
27.35/24.67	o 826
27.35/24.67	o 808
27.35/24.67	o 806
27.35/24.67	o 792
27.35/24.68	o 791
27.35/24.68	o 790
27.35/24.68	o 787
27.35/24.68	o 786
27.45/24.72	o 785
27.45/24.73	o 784
27.45/24.73	o 783
27.45/24.73	o 782
27.65/24.93	o 781
30.88/28.19	o 778
30.88/28.19	o 776
30.88/28.19	o 775
30.88/28.19	o 774
30.88/28.19	o 773
30.88/28.19	o 772
30.97/28.20	o 745
30.97/28.20	o 743
30.97/28.20	o 741
30.97/28.20	o 740
30.97/28.21	o 739
30.97/28.22	o 738
30.97/28.24	o 737
31.07/28.32	o 736
31.07/28.32	o 735
31.07/28.36	o 734
31.68/28.90	o 732
31.68/28.90	o 731
31.68/28.90	o 729
31.68/28.90	o 728
31.68/28.90	o 726
31.68/28.91	o 725
31.68/28.91	o 724
32.68/30.00	o 708
32.68/30.00	o 706
32.68/30.00	o 704
32.68/30.00	o 693
32.68/30.00	o 686
32.68/30.00	o 677
32.68/30.00	o 674
32.68/30.00	o 672
32.68/30.00	o 670
32.68/30.00	o 669
32.68/30.00	o 665
32.68/30.00	o 663
32.68/30.00	o 661
32.68/30.00	o 648
32.68/30.00	o 642
32.68/30.00	o 641
32.68/30.00	o 638
32.68/30.00	o 637
32.68/30.00	o 613
32.68/30.00	o 612
32.68/30.00	o 597
32.68/30.00	o 596
32.68/30.00	o 595
32.68/30.00	o 594
32.68/30.00	o 590
32.68/30.00	o 589
32.68/30.00	o 588
32.68/30.00	o 587
32.68/30.00	o 586
32.68/30.00	o 585
32.68/30.00	o 584
32.68/30.01	o 577
32.79/30.01	o 576
32.79/30.01	o 575
32.79/30.01	o 558
32.79/30.01	o 557
32.79/30.01	o 556
32.79/30.01	o 555
32.79/30.01	o 552
32.79/30.01	o 551
32.79/30.01	o 549
32.79/30.01	o 547
32.79/30.02	o 546
32.79/30.02	o 516
32.79/30.02	o 515
32.79/30.02	o 489
32.79/30.02	o 488
32.79/30.02	o 485
32.79/30.02	o 484
32.79/30.03	o 483
32.79/30.03	o 482
32.79/30.03	o 481
32.79/30.03	o 480
32.79/30.04	o 478
32.79/30.04	o 477
32.79/30.04	o 475
32.79/30.04	o 474
32.79/30.04	o 473
32.79/30.05	o 472
34.09/31.30	o 468
34.09/31.30	o 459
34.09/31.30	o 456
34.09/31.30	o 455
34.09/31.30	o 454
34.09/31.30	o 453
34.09/31.30	o 450
34.09/31.30	o 449
34.09/31.31	o 448
34.09/31.31	o 447
34.09/31.31	o 446
34.09/31.31	o 445
34.09/31.31	o 444
34.09/31.32	o 443
34.09/31.32	o 442
37.43/34.65	o 441
37.43/34.65	o 440
38.13/35.32	o 439
38.13/35.32	o 438
38.13/35.32	o 437
38.13/35.32	o 436
38.13/35.33	o 435
38.13/35.33	o 434
38.13/35.33	o 433
38.13/35.33	o 432
38.13/35.33	o 431
38.13/35.33	o 430
38.13/35.33	o 420
38.13/35.34	o 417
38.13/35.34	o 416
38.13/35.34	o 415
38.13/35.34	o 414
38.13/35.34	o 413
38.13/35.34	o 411
38.13/35.34	o 410
38.13/35.34	o 408
38.13/35.34	o 407
38.13/35.34	o 406
38.13/35.34	o 404
38.13/35.34	o 403
38.13/35.35	o 402
38.13/35.35	o 401
38.13/35.35	o 400
38.13/35.35	o 399
38.13/35.36	o 398
38.13/35.36	o 397
38.13/35.36	o 396
38.13/35.36	o 395
38.13/35.36	o 394
38.24/35.44	o 393
38.24/35.45	o 392
38.34/35.51	o 391
38.34/35.51	o 390
38.34/35.51	o 389
39.65/36.89	o 386
39.65/36.89	o 385
39.65/36.89	o 333
39.65/36.89	o 332
39.65/36.89	o 331
39.65/36.90	o 329
39.75/37.00	o 328
39.75/37.00	o 326
39.96/37.13	o 325
39.96/37.19	o 324
40.05/37.20	o 323
40.05/37.20	o 322
40.05/37.20	o 321
40.15/37.37	o 320
40.15/37.38	o 319
41.46/38.60	o 318
41.46/38.60	o 317
41.46/38.61	o 316
41.46/38.63	o 314
41.46/38.63	o 313
41.46/38.64	o 312
42.28/39.48	o 311
42.69/39.88	o 308
42.69/39.88	o 296
42.69/39.88	o 294
42.69/39.88	o 293
42.69/39.88	o 291
42.69/39.88	o 286
42.69/39.88	o 285
42.69/39.88	o 282
42.69/39.88	o 280
42.69/39.88	o 278
42.69/39.88	o 277
42.69/39.88	o 276
42.69/39.88	o 273
42.69/39.88	o 271
42.69/39.88	o 269
42.69/39.88	o 268
42.79/39.90	o 266
42.79/39.90	o 260
42.79/39.90	o 210
42.79/39.91	o 208
42.79/39.91	o 196
42.79/39.91	o 195
42.79/39.91	o 190
42.79/39.91	o 187
42.79/39.91	o 186
42.79/39.91	o 185
42.79/39.91	o 183
42.79/39.91	o 182
42.79/39.91	o 180
42.79/39.92	o 179
42.79/39.92	o 178
47.04/44.17	o 166
47.04/44.17	o 163
47.04/44.17	o 162
47.04/44.17	o 160
47.04/44.17	o 159
47.04/44.17	o 157
47.04/44.17	o 154
47.04/44.17	o 153
47.04/44.17	o 152
47.04/44.17	o 149
47.04/44.17	o 148
47.04/44.17	o 147
47.04/44.17	o 146
47.04/44.17	o 145
47.04/44.17	o 144
47.04/44.17	o 142
47.04/44.17	o 141
47.04/44.18	o 140
47.04/44.18	o 139
47.04/44.19	o 138
47.04/44.19	o 137
47.04/44.19	o 136
47.13/44.22	o 135
47.13/44.22	o 134
47.13/44.23	o 133
47.13/44.23	o 132
47.13/44.23	o 131
47.13/44.23	o 130
47.13/44.24	o 129
49.76/46.87	o 128
49.76/46.87	o 127
55.02/52.03	o 126
55.02/52.07	o 125
55.12/52.17	o 124
55.82/52.87	o 123
56.03/53.03	o 122
56.03/53.03	o 120
56.03/53.06	o 119
56.33/53.32	o 118
56.33/53.33	o 117
57.54/54.56	o 116
61.89/58.86	o 115
62.10/59.01	o 114
62.21/59.16	o 113
62.21/59.16	o 112
62.30/59.20	o 111
62.50/59.40	o 110
62.50/59.43	o 109
62.50/59.44	o 108
83.99/80.73	o 107
84.09/80.82	o 106
88.64/85.33	o 105
88.75/85.41	o 104
102.18/98.71	o 103
102.89/99.45	o 102
102.89/99.46	o 101
102.89/99.48	o 100
102.89/99.48	o 99
102.99/99.53	o 98
251.99/247.35	s SATISFIABLE
251.99/247.35	v <instantiation>
251.99/247.35	v 	<list>
251.99/247.35	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]
251.99/247.35	v 	</list>
251.99/247.35	v 	<values>
251.99/247.35	v 		3 2 0 0 2 2 3 2 0 1 1 1 5 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 3 3 2 3 4 2 2 3 2 5 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 4 0 0 2 0 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 3 6 4 
251.99/247.35	v 	</values>
251.99/247.35	v </instantiation>

Verifier Data 

OK	98

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312319-1534569366/watcher-4312319-1534569366 -o /tmp/evaluation-result-4312319-1534569366/solver-4312319-1534569366 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534568625-12652 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1526399418 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312319-1534569366.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13260, runsolver pid=13257
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 1.18 1.31 1.31 3/215 13275
/proc/meminfo: memFree=20208568/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14082736 memory=31048 CPUtime=0.12 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 6674 0 0 0 11 1 0 0 20 0 15 0 274499831 14420721664 7762 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3520684 7762 3159 1 0 3482761 0
[pid=13260/tid=13262] ppid=13257 vsize=14082736 memory=-8701690554791924099 CPUtime=0.09 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 4723 0 0 0 8 1 0 0 20 0 15 0 274499832 14420721664 7762 33554432000 4194304 4196468 140720669243568 140596006491728 140595986367868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 7762 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 7762 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 7762 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 7762 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499834 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499834 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594913691168 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499835 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594911586640 140596002305947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) S 13257 13260 9172 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594910534000 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594909481200 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0.01 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) S 13257 13260 9172 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 274499837 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594908428400 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13275] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13275/stat : 13275 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 7762 33554432000 4194304 4196468 140720669243568 140594906324144 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31048 KiB

[startup+0.211512 s]*
/proc/loadavg: 1.18 1.31 1.31 5/215 13275
/proc/meminfo: memFree=20193092/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14082736 memory=46856 CPUtime=0.29 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 10349 0 0 0 27 2 0 0 20 0 15 0 274499831 14420721664 11714 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3520684 11714 3371 1 0 3482761 0
[pid=13260/tid=13262] ppid=13257 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 8069 0 0 0 18 1 0 0 20 0 15 0 274499832 14420721664 11714 33554432000 4194304 4196468 140720669243568 140596006510656 140595983871855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 11714 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14082736 memory=4051467837047617184 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 11714 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 11714 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 11714 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274499834 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499834 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594913691168 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499835 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594911586640 140596002305947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) R 13257 13260 9172 0 -1 4202560 431 0 0 0 1 0 0 0 20 0 15 0 274499837 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594910515016 140595980226336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) R 13257 13260 9172 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 15 0 274499837 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594909481296 140596002297557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0.05 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) R 13257 13260 9172 0 -1 4202560 312 0 0 0 5 0 0 0 20 0 15 0 274499837 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594908423440 140595986367838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13275] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13275/stat : 13275 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 11714 33554432000 4194304 4196468 140720669243568 140594906324144 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46856 KiB

[startup+0.31049 s]*
/proc/loadavg: 1.18 1.31 1.31 3/215 13275
/proc/meminfo: memFree=20189432/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14082736 memory=50508 CPUtime=0.43 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 10781 0 0 0 41 2 0 0 20 0 15 0 274499831 14420721664 12627 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3520684 12627 3383 1 0 3482761 0
[pid=13260/tid=13262] ppid=13257 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 8437 0 0 0 27 2 0 0 20 0 15 0 274499832 14420721664 12627 33554432000 4194304 4196468 140720669243568 140596006469672 140595987452937 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 12627 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14082736 memory=3474444134790772384 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 12627 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 12627 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14420721664 12627 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274499834 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499834 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594913691168 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499835 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594911586640 140596002305947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) S 13257 13260 9172 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 274499837 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594910534000 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) S 13257 13260 9172 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 15 0 274499837 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594909481200 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0.08 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) S 13257 13260 9172 0 -1 1077944384 336 0 0 0 8 0 0 0 20 0 15 0 274499837 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594908428400 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13275] ppid=13257 vsize=14082736 memory=140007564162688 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13275/stat : 13275 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499837 14420721664 12627 33554432000 4194304 4196468 140720669243568 140594906324144 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50508 KiB

[startup+0.700716 s]
/proc/loadavg: 1.18 1.31 1.31 4/215 13275
/proc/meminfo: memFree=20165124/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14084804 memory=89120 CPUtime=0.98 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 17639 0 0 0 94 4 0 0 20 0 15 0 274499831 14422839296 22280 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3521201 22280 3506 1 0 3483273 0
[pid=13260/tid=13262] ppid=13257 vsize=14084804 memory=1752 CPUtime=0.66 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 14892 0 0 0 63 3 0 0 20 0 15 0 274499832 14422839296 22280 33554432000 4194304 4196468 140720669243568 140596006502400 140595986367838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14084804 memory=5540 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14422839296 22280 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14084804 memory=4400 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14422839296 22280 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14084804 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14422839296 22280 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14084804 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14422839296 22280 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274499834 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14084804 memory=868 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274499834 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594913691168 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14084804 memory=6616 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499835 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14084804 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594911586640 140596002305947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) S 13257 13260 9172 0 -1 1077944384 595 0 0 0 7 0 0 0 20 0 15 0 274499837 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594910534000 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14084804 memory=5787213831426565969 CPUtime=0.07 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) S 13257 13260 9172 0 -1 1077944384 336 0 0 0 7 0 0 0 20 0 15 0 274499837 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594909481200 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) S 13257 13260 9172 0 -1 1077944384 435 0 0 0 15 0 0 0 20 0 15 0 274499837 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594908428400 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13275] ppid=13257 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13275/stat : 13275 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499837 14422839296 22280 33554432000 4194304 4196468 140720669243568 140594906324144 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89120 KiB

[startup+1.50164 s]
/proc/loadavg: 1.25 1.32 1.31 4/215 13275
/proc/meminfo: memFree=20131560/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14090948 memory=152660 CPUtime=2.94 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 24491 0 0 0 286 8 0 0 20 0 15 0 274499831 14429130752 38165 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3522737 38165 3540 1 0 3484809 0
[pid=13260/tid=13262] ppid=13257 vsize=14090948 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 17701 0 0 0 141 5 0 0 20 0 15 0 274499832 14429130752 38165 33554432000 4194304 4196468 140720669243568 140596006516592 140595983693668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14090948 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14429130752 38165 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14090948 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274499833 14429130752 38165 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14090948 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14429130752 38165 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14090948 memory=-7096649868621430206 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274499833 14429130752 38165 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274499834 14429130752 38165 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0

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

[pid=13260] ppid=13257 vsize=14090948 memory=167440 CPUtime=105.81 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 51281 0 0 0 10558 23 0 0 20 0 15 0 274499831 14429130752 41860 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3522737 41860 3574 1 0 3484809 0
[pid=13260/tid=13262] ppid=13257 vsize=14090948 memory=171452 CPUtime=101.71 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 22661 0 0 0 10164 7 0 0 20 0 15 0 274499832 14429130752 41860 33554432000 4194304 4196468 140720669243568 140596006525520 140595644710173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14090948 memory=163436 CPUtime=0.29 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 1907 0 0 0 27 2 0 0 20 0 15 0 274499833 14429130752 41860 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14090948 memory=167440 CPUtime=0.29 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 2228 0 0 0 27 2 0 0 20 0 15 0 274499833 14429130752 41860 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14090948 memory=167440 CPUtime=0.29 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 2390 0 0 0 27 2 0 0 20 0 15 0 274499833 14429130752 41860 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14090948 memory=163440 CPUtime=0.29 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 1318 0 0 0 27 2 0 0 20 0 15 0 274499833 14429130752 41860 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14090948 memory=2257 CPUtime=0.19 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 1398 0 0 0 18 1 0 0 20 0 15 0 274499834 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14090948 memory=167440 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 274499834 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594913691232 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14090948 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274499835 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14090948 memory=167440 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594911586640 140596002305947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14090948 memory=165488 CPUtime=0.92 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) S 13257 13260 9172 0 -1 1077944384 4329 0 0 0 91 1 0 0 20 0 15 0 274499837 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594910534000 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14090948 memory=3816 CPUtime=0.99 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) S 13257 13260 9172 0 -1 1077944384 3496 0 0 0 98 1 0 0 20 0 15 0 274499837 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594909481200 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14090948 memory=3812 CPUtime=0.71 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) S 13257 13260 9172 0 -1 1077944384 9516 0 0 0 70 1 0 0 20 0 15 0 274499837 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594908428400 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14090948 memory=6860 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13275] ppid=13257 vsize=14090948 memory=163436 CPUtime=0.04 cores=1,3,5,7
/proc/13260/task/13275/stat : 13275 (java) S 13257 13260 9172 0 -1 1077944384 623 0 0 0 2 2 0 0 20 0 15 0 274499837 14429130752 41860 33554432000 4194304 4196468 140720669243568 140594906324144 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 105.81 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 167440 KiB

[startup+162.301 s]
/proc/loadavg: 1.60 1.45 1.36 3/215 13277
/proc/meminfo: memFree=18460300/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14090948 memory=177776 CPUtime=166.3 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 54604 0 0 0 16600 30 0 0 20 0 15 0 274499831 14429130752 44444 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3522737 44444 3574 1 0 3484809 0
[pid=13260/tid=13262] ppid=13257 vsize=14090948 memory=177776 CPUtime=161.39 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 23347 0 0 0 16131 8 0 0 20 0 15 0 274499832 14429130752 44444 33554432000 4194304 4196468 140720669243568 140596006525504 140595644711481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14090948 memory=159836 CPUtime=0.45 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 2243 0 0 0 42 3 0 0 20 0 15 0 274499833 14429130752 44444 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14090948 memory=175728 CPUtime=0.46 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 2569 0 0 0 43 3 0 0 20 0 15 0 274499833 14429130752 44444 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14090948 memory=175728 CPUtime=0.46 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 3215 0 0 0 43 3 0 0 20 0 15 0 274499833 14429130752 44444 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14090948 memory=175728 CPUtime=0.46 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 1861 0 0 0 42 4 0 0 20 0 15 0 274499833 14429130752 44444 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14090948 memory=175728 CPUtime=0.31 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 1649 0 0 0 29 2 0 0 20 0 15 0 274499834 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14090948 memory=175728 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 274499834 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594913691232 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14090948 memory=177776 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274499835 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14090948 memory=177776 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594911586640 140596002305947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14090948 memory=1572 CPUtime=0.92 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) S 13257 13260 9172 0 -1 1077944384 4332 0 0 0 91 1 0 0 20 0 15 0 274499837 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594910534000 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14090948 memory=175728 CPUtime=0.99 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) S 13257 13260 9172 0 -1 1077944384 3498 0 0 0 98 1 0 0 20 0 15 0 274499837 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594909481200 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14090948 memory=3812 CPUtime=0.71 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) S 13257 13260 9172 0 -1 1077944384 9831 0 0 0 70 1 0 0 20 0 15 0 274499837 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594908428400 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14090948 memory=177776 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13275] ppid=13257 vsize=14090948 memory=2580 CPUtime=0.06 cores=1,3,5,7
/proc/13260/task/13275/stat : 13275 (java) S 13257 13260 9172 0 -1 1077944384 644 0 0 0 2 4 0 0 20 0 15 0 274499837 14429130752 44444 33554432000 4194304 4196468 140720669243568 140594906324144 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 166.3 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 177776 KiB

[startup+222.301 s]
/proc/loadavg: 1.78 1.53 1.40 3/215 13278
/proc/meminfo: memFree=18456176/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14090948 memory=181872 CPUtime=226.77 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 56619 0 0 0 22642 35 0 0 20 0 15 0 274499831 14429130752 45468 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3522737 45468 3574 1 0 3484809 0
[pid=13260/tid=13262] ppid=13257 vsize=14090948 memory=181872 CPUtime=221.1 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) R 13257 13260 9172 0 -1 4202560 23810 0 0 0 22101 9 0 0 20 0 15 0 274499832 14429130752 45468 33554432000 4194304 4196468 140720669243568 140596006525504 140595645159005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14090948 memory=179824 CPUtime=0.61 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 2510 0 0 0 57 4 0 0 20 0 15 0 274499833 14429130752 45468 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14090948 memory=181872 CPUtime=0.61 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 2831 0 0 0 57 4 0 0 20 0 15 0 274499833 14429130752 45468 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14090948 memory=181872 CPUtime=0.62 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 3911 0 0 0 58 4 0 0 20 0 15 0 274499833 14429130752 45468 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14090948 memory=1276 CPUtime=0.62 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 2144 0 0 0 57 5 0 0 20 0 15 0 274499833 14429130752 45468 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13267] ppid=13257 vsize=14090948 memory=181872 CPUtime=0.43 cores=1,3,5,7
/proc/13260/task/13267/stat : 13267 (java) S 13257 13260 9172 0 -1 1077944384 1681 0 0 0 40 3 0 0 20 0 15 0 274499834 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594914745200 140596002298498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14090948 memory=181872 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 274499834 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594913691232 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14090948 memory=179824 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 274499835 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14090948 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594911586640 140596002305947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14090948 memory=181872 CPUtime=0.92 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) S 13257 13260 9172 0 -1 1077944384 4334 0 0 0 91 1 0 0 20 0 15 0 274499837 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594910534000 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14090948 memory=181872 CPUtime=0.99 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) S 13257 13260 9172 0 -1 1077944384 3500 0 0 0 98 1 0 0 20 0 15 0 274499837 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594909481200 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14090948 memory=1276 CPUtime=0.71 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) S 13257 13260 9172 0 -1 1077944384 9833 0 0 0 70 1 0 0 20 0 15 0 274499837 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594908428400 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14090948 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274499837 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13275] ppid=13257 vsize=14090948 memory=181872 CPUtime=0.09 cores=1,3,5,7
/proc/13260/task/13275/stat : 13275 (java) S 13257 13260 9172 0 -1 1077944384 650 0 0 0 4 5 0 0 20 0 15 0 274499837 14429130752 45468 33554432000 4194304 4196468 140720669243568 140594906324144 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 226.77 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 181872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+247.401 s]
/proc/loadavg: 1.87 1.57 1.41 4/216 13364
/proc/meminfo: memFree=19521164/32770624 swapFree=67108372/67108860
[pid=13260] ppid=13257 vsize=14157512 memory=186024 CPUtime=252.05 cores=1,3,5,7
/proc/13260/stat : 13260 (java) S 13257 13260 9172 0 -1 1077944320 59213 0 0 0 25168 37 0 0 20 0 13 0 274499831 14497292288 46506 33554432000 4194304 4196468 140720669243568 140720669226112 140596002287351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
/proc/13260/statm: 3539378 46506 3576 1 0 3501450 0
[pid=13260/tid=13262] ppid=13257 vsize=14157512 memory=1068 CPUtime=246.02 cores=1,3,5,7
/proc/13260/task/13262/stat : 13262 (java) D 13257 13260 9172 0 -1 4202560 24799 0 0 0 24593 9 0 0 20 0 13 0 274499832 14497292288 46506 33554432000 4194304 4196468 140720669243568 140596006530360 140595994972983 0 0 0 16800975 18446744072100383877 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13263] ppid=13257 vsize=14157512 memory=14884 CPUtime=0.68 cores=1,3,5,7
/proc/13260/task/13263/stat : 13263 (java) S 13257 13260 9172 0 -1 1077944384 2839 0 0 0 64 4 0 0 20 0 13 0 274499833 14497292288 46506 33554432000 4194304 4196468 140720669243568 140595958839952 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13264] ppid=13257 vsize=14157512 memory=3824 CPUtime=0.68 cores=1,3,5,7
/proc/13260/task/13264/stat : 13264 (java) S 13257 13260 9172 0 -1 1077944384 3056 0 0 0 64 4 0 0 20 0 13 0 274499833 14497292288 46506 33554432000 4194304 4196468 140720669243568 140595957787152 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13265] ppid=13257 vsize=14157512 memory=13756 CPUtime=0.68 cores=1,3,5,7
/proc/13260/task/13265/stat : 13265 (java) S 13257 13260 9172 0 -1 1077944384 4043 0 0 0 64 4 0 0 20 0 13 0 274499833 14497292288 46506 33554432000 4194304 4196468 140720669243568 140595595504016 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13266] ppid=13257 vsize=14157512 memory=185968 CPUtime=0.69 cores=1,3,5,7
/proc/13260/task/13266/stat : 13266 (java) S 13257 13260 9172 0 -1 1077944384 2285 0 0 0 64 5 0 0 20 0 13 0 274499833 14497292288 46506 33554432000 4194304 4196468 140720669243568 140595594451216 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13268] ppid=13257 vsize=14157512 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13268/stat : 13268 (java) S 13257 13260 9172 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 13 0 274499834 14497292288 46506 33554432000 4194304 4196468 140720669243568 140594913691232 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13269] ppid=13257 vsize=14157512 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13269/stat : 13269 (java) S 13257 13260 9172 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 13 0 274499835 14497292288 46506 33554432000 4194304 4196468 140720669243568 140594912638320 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13270] ppid=13257 vsize=14157512 memory=3988 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13270/stat : 13270 (java) S 13257 13260 9172 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 13 0 274499837 14497292288 46506 33554432000 4194304 4196468 140720669243568 140594911586288 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13271] ppid=13257 vsize=14157512 memory=1924 CPUtime=0.92 cores=1,3,5,7
/proc/13260/task/13271/stat : 13271 (java) S 13257 13260 9172 0 -1 1077944384 4334 0 0 0 91 1 0 0 20 0 13 0 274499837 14497292288 46506 33554432000 4194304 4196468 140720669243568 140594910534000 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13272] ppid=13257 vsize=14157512 memory=7532 CPUtime=0.99 cores=1,3,5,7
/proc/13260/task/13272/stat : 13272 (java) S 13257 13260 9172 0 -1 1077944384 3501 0 0 0 98 1 0 0 20 0 13 0 274499837 14497292288 46506 33554432000 4194304 4196468 140720669243568 140594909481200 140596002298498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13273] ppid=13257 vsize=14157512 memory=808 CPUtime=0.72 cores=1,3,5,7
/proc/13260/task/13273/stat : 13273 (java) S 13257 13260 9172 0 -1 1077944384 10335 0 0 0 71 1 0 0 20 0 13 0 274499837 14497292288 46506 33554432000 4194304 4196468 140720669243568 140594908427968 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
[pid=13260/tid=13274] ppid=13257 vsize=14157512 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/13260/task/13274/stat : 13274 (java) S 13257 13260 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 274499837 14497292288 46506 33554432000 4194304 4196468 140720669243568 140594907375840 140596002297557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140720669250638 140720669250830 140720669250830 140720669253583 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14157512 KiB
Current children cumulated memory: 186024 KiB

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

[startup+247.989 s]
# the end of solver process 13260 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.686 s, system=0.377061 s

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

Child status: 0
Real time (s): 247.989
CPU time (s): 252.063
CPU user time (s): 251.686
CPU system time (s): 0.377061
CPU usage (%): 101.643
Max. virtual memory (cumulated for all children) (KiB): 14157512
Max. memory (cumulated for all children) (KiB): 241784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.686
system time used= 0.377061
maximum resident set size= 242812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20250
involuntary context switches= 307


# summary of solver processes directly reported to runsolver:
#   pid: 13260
#   total CPU time (s): 252.063
#   total CPU user time (s): 251.686
#   total CPU system time (s): 0.377061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48489 second user time and 2.51329 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-18 07:16:07
IDJOB=4312319
IDBENCH=141217
IDSOLVER=2800
FILE ID=node137/4312319-1534569366
RUNJOBID= node137-1534568625-12652
PBS_JOBID= 21038634
Free space on /tmp= 43528 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/SumColoring/SumColoring-1-fullins-4_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-4312319-1534569366/watcher-4312319-1534569366 -o /tmp/evaluation-result-4312319-1534569366/solver-4312319-1534569366 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534568625-12652 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1526399418 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312319-1534569366.xml

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

MD5SUM BENCH= ce812152122c21d5982c9c6047fc1378
RANDOM SEED=1526399418

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20226472 kB
MemAvailable:   31072920 kB
Buffers:          216872 kB
Cached:         10883276 kB
SwapCached:            8 kB
Active:          8176732 kB
Inactive:        3792640 kB
Active(anon):     838724 kB
Inactive(anon):    99076 kB
Active(file):    7338008 kB
Inactive(file):  3693564 kB
Unevictable:        7196 kB
Mlocked:            7196 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             35808 kB
Writeback:           108 kB
AnonPages:        938140 kB
Mapped:            33556 kB
Shmem:             66008 kB
Slab:             272868 kB
SReclaimable:     243336 kB
SUnreclaim:        29532 kB
KernelStack:        3792 kB
PageTables:         7000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2446660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 43280 MiB
End job on node137 at 2018-08-18 07:20:15