Trace number 4311740

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)3042 2520.06 2500.03

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-5_c18.xml
MD5SUM08115146c0ac9b7e4849c5cb62d96e41
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1014
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints3891
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree52
Maximum variable degree76
Distribution of variable degrees[{"degree":52,"count":2},{"degree":54,"count":3},{"degree":55,"count":3},{"degree":56,"count":4},{"degree":57,"count":7},{"degree":58,"count":6},{"degree":59,"count":7},{"degree":60,"count":6},{"degree":61,"count":12},{"degree":62,"count":11},{"degree":63,"count":6},{"degree":64,"count":7},{"degree":65,"count":11},{"degree":66,"count":6},{"degree":67,"count":4},{"degree":68,"count":8},{"degree":69,"count":6},{"degree":70,"count":5},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":2},{"degree":74,"count":3},{"degree":75,"count":1},{"degree":76,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3891}]
Number of extensional constraints0
Number of intensional constraints3891
Distribution of constraint types[{"type":"intension","count":3891}]
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.66/0.57	c version: 2018-08-17
0.66/0.57	c seed: 2119236025
0.66/0.57	c timeout: 2520
0.66/0.57	c memlimit: 11000
0.66/0.57	c nbcore: 1
0.66/0.59	c Parsing instance...
3.54/1.66	c Parsing done, starting search...
3.86/1.74	o 8540
3.86/1.76	o 8534
3.86/1.76	o 8508
3.86/1.76	o 8507
3.86/1.76	o 8504
3.86/1.77	o 8503
3.86/1.77	o 8500
3.86/1.77	o 8476
3.86/1.77	o 8475
3.86/1.77	o 8471
3.86/1.77	o 8468
3.86/1.77	o 8465
3.86/1.77	o 8464
3.86/1.77	o 8453
3.86/1.77	o 8442
3.86/1.77	o 8441
3.86/1.77	o 8437
3.86/1.77	o 8435
3.86/1.77	o 8430
3.86/1.77	o 8427
3.86/1.77	o 8397
3.86/1.77	o 8396
3.86/1.77	o 8394
3.86/1.78	o 8393
3.86/1.78	o 8391
3.86/1.78	o 8382
3.86/1.78	o 8378
3.86/1.78	o 8352
3.86/1.78	o 8351
3.86/1.78	o 8349
3.86/1.78	o 8348
3.86/1.78	o 8345
3.86/1.78	o 8315
3.86/1.78	o 8311
3.86/1.78	o 8310
3.86/1.78	o 8307
3.86/1.78	o 8296
3.86/1.78	o 8295
3.86/1.78	o 8292
3.86/1.79	o 8288
3.86/1.79	o 8284
3.86/1.79	o 8275
3.86/1.79	o 8274
3.86/1.79	o 8271
3.86/1.79	o 8268
3.86/1.79	o 8266
3.86/1.79	o 8227
3.86/1.79	o 8223
3.86/1.79	o 8211
3.86/1.79	o 8210
3.86/1.80	o 8209
3.86/1.80	o 8207
3.86/1.80	o 8206
4.18/1.80	o 8202
4.18/1.81	o 8201
4.18/1.81	o 8199
4.18/1.81	o 8178
4.18/1.81	o 8145
4.18/1.81	o 8137
4.18/1.81	o 8136
4.18/1.81	o 8135
4.18/1.81	o 8128
4.18/1.81	o 8125
4.18/1.81	o 8116
4.18/1.81	o 8109
4.18/1.81	o 8106
4.18/1.81	o 8105
4.18/1.82	o 8095
4.18/1.82	o 8080
4.18/1.82	o 8068
4.18/1.82	o 8065
4.18/1.82	o 8064
4.18/1.82	o 8063
4.18/1.82	o 8062
4.18/1.82	o 8059
4.18/1.82	o 8057
4.18/1.82	o 8055
4.18/1.82	o 8053
4.18/1.83	o 8052
4.18/1.83	o 8050
4.18/1.83	o 8049
4.18/1.84	o 8048
4.18/1.86	o 8047
4.18/1.90	o 8045
4.50/1.90	o 8044
4.50/1.91	o 8036
4.50/1.91	o 8035
4.50/1.91	o 8034
4.50/1.91	o 8033
4.50/1.91	o 8032
4.50/1.91	o 8026
4.50/1.91	o 8024
4.50/1.91	o 8023
4.50/1.91	o 8020
4.50/1.92	o 8019
4.50/1.94	o 7991
4.50/1.94	o 7989
4.50/1.94	o 7987
4.50/1.94	o 7985
4.50/1.94	o 7983
4.50/1.94	o 7981
4.50/1.94	o 7980
4.50/1.95	o 7979
4.50/1.95	o 7978
4.50/1.99	o 7977
4.50/1.99	o 7976
4.83/2.03	o 7975
4.83/2.07	o 7954
4.83/2.07	o 7952
4.83/2.08	o 7950
4.83/2.08	o 7948
4.83/2.08	o 7918
4.83/2.08	o 7916
4.83/2.08	o 7914
4.83/2.08	o 7912
4.83/2.08	o 7906
4.83/2.08	o 7904
4.83/2.08	o 7901
4.83/2.08	o 7900
4.83/2.08	o 7898
4.83/2.08	o 7895
4.83/2.09	o 7893
5.13/2.12	o 7892
5.13/2.12	o 7891
5.13/2.16	o 7889
5.13/2.17	o 7888
5.13/2.18	o 7886
5.29/2.24	o 7885
5.29/2.25	o 7884
5.64/2.54	o 7883
5.64/2.54	o 7881
5.64/2.54	o 7879
5.64/2.54	o 7877
5.64/2.54	o 7875
5.64/2.54	o 7873
5.64/2.55	o 7871
5.64/2.55	o 7870
5.64/2.55	o 7869
5.64/2.55	o 7867
5.64/2.55	o 7866
5.64/2.55	o 7863
5.64/2.55	o 7862
5.64/2.55	o 7861
5.64/2.58	o 7860
5.92/2.75	o 7834
5.92/2.75	o 7833
5.92/2.75	o 7830
5.92/2.75	o 7822
5.92/2.75	o 7819
5.92/2.75	o 7818
5.92/2.75	o 7815
5.92/2.75	o 7814
5.92/2.75	o 7809
5.92/2.75	o 7808
5.92/2.75	o 7805
5.92/2.75	o 7804
5.92/2.75	o 7801
5.92/2.75	o 7800
5.92/2.75	o 7797
5.92/2.75	o 7793
5.92/2.75	o 7792
5.92/2.75	o 7790
5.92/2.75	o 7789
5.92/2.75	o 7786
5.92/2.75	o 7785
5.92/2.76	o 7780
5.92/2.76	o 7779
5.92/2.76	o 7777
5.92/2.76	o 7776
5.92/2.76	o 7775
5.92/2.76	o 7774
5.92/2.76	o 7771
5.92/2.76	o 7770
5.92/2.76	o 7769
5.92/2.76	o 7765
5.92/2.76	o 7760
5.92/2.76	o 7755
5.92/2.76	o 7722
5.92/2.76	o 7708
5.92/2.76	o 7705
5.92/2.76	o 7700
5.92/2.76	o 7654
5.92/2.76	o 7653
5.92/2.78	o 7652
5.92/2.78	o 7647
5.92/2.79	o 7643
5.92/2.79	o 7642
5.92/2.79	o 7640
5.92/2.79	o 7639
5.92/2.79	o 7638
5.92/2.79	o 7637
5.92/2.79	o 7632
5.92/2.79	o 7631
5.92/2.79	o 7626
5.92/2.79	o 7625
5.92/2.79	o 7624
5.92/2.79	o 7622
5.92/2.79	o 7621
5.92/2.79	o 7618
5.92/2.79	o 7614
5.92/2.79	o 7613
5.92/2.79	o 7612
5.92/2.79	o 7601
5.92/2.79	o 7600
5.92/2.79	o 7588
5.92/2.80	o 7567
5.92/2.80	o 7557
5.92/2.80	o 7531
5.92/2.80	o 7526
6.10/2.80	o 7524
6.10/2.80	o 7523
6.10/2.80	o 7522
6.10/2.80	o 7507
6.10/2.80	o 7491
6.10/2.80	o 7481
6.10/2.80	o 7470
6.10/2.80	o 7466
6.10/2.81	o 7463
6.10/2.81	o 7460
6.10/2.81	o 7449
6.10/2.81	o 7446
6.10/2.81	o 7438
6.10/2.81	o 7436
6.10/2.81	o 7435
6.10/2.81	o 7434
6.10/2.81	o 7431
6.10/2.81	o 7430
6.10/2.81	o 7429
6.10/2.81	o 7428
6.20/3.00	o 7427
6.20/3.00	o 7426
6.20/3.00	o 7424
6.20/3.00	o 7419
6.20/3.00	o 7409
6.20/3.00	o 7407
6.20/3.00	o 7406
6.20/3.00	o 7403
6.20/3.00	o 7400
6.20/3.00	o 7399
6.20/3.00	o 7398
6.20/3.00	o 7397
6.20/3.00	o 7396
6.20/3.00	o 7393
6.20/3.00	o 7382
6.20/3.00	o 7378
6.20/3.00	o 7375
6.20/3.00	o 7372
6.20/3.00	o 7371
6.20/3.00	o 7369
6.20/3.00	o 7367
6.20/3.00	o 7366
6.20/3.00	o 7356
6.20/3.00	o 7355
6.20/3.00	o 7354
6.20/3.00	o 7353
6.20/3.00	o 7352
6.20/3.00	o 7351
6.20/3.00	o 7350
6.20/3.00	o 7349
6.20/3.00	o 7347
6.20/3.00	o 7344
6.20/3.00	o 7343
6.20/3.00	o 7342
6.20/3.00	o 7341
6.20/3.00	o 7340
6.20/3.00	o 7338
6.20/3.00	o 7337
6.20/3.00	o 7336
6.20/3.00	o 7333
6.20/3.00	o 7332
6.20/3.00	o 7331
6.20/3.00	o 7327
6.20/3.00	o 7326
6.20/3.00	o 7323
6.20/3.00	o 7321
6.20/3.00	o 7320
6.20/3.00	o 7319
6.20/3.00	o 7318
6.20/3.00	o 7313
6.20/3.00	o 7308
6.20/3.00	o 7305
6.20/3.00	o 7300
6.20/3.00	o 7281
6.20/3.00	o 7277
6.20/3.00	o 7274
6.20/3.00	o 7269
6.20/3.00	o 7268
6.20/3.00	o 7267
6.20/3.00	o 7266
6.20/3.00	o 7264
6.20/3.00	o 7263
6.20/3.00	o 7262
6.20/3.00	o 7261
6.34/3.08	o 7260
6.46/3.12	o 7259
6.46/3.12	o 7258
6.55/3.20	o 7257
6.55/3.22	o 7254
6.55/3.25	o 7253
6.65/3.35	o 7252
6.95/3.51	o 7251
7.35/3.96	o 7250
7.46/4.05	o 7249
7.46/4.05	o 7248
7.46/4.05	o 7245
7.46/4.05	o 7239
7.46/4.05	o 7238
7.46/4.05	o 7236
7.46/4.05	o 7235
7.46/4.05	o 7234
7.46/4.06	o 7233
7.46/4.06	o 7231
7.46/4.06	o 7229
7.46/4.06	o 7228
7.46/4.06	o 7224
7.46/4.06	o 7223
7.46/4.06	o 7219
7.46/4.06	o 7216
7.46/4.06	o 7215
7.46/4.06	o 7213
7.46/4.06	o 7198
7.46/4.06	o 7196
7.46/4.06	o 7194
7.46/4.06	o 7189
7.46/4.06	o 7183
7.46/4.06	o 7179
7.46/4.06	o 7178
7.46/4.07	o 7158
7.46/4.07	o 7157
7.46/4.07	o 7154
7.46/4.07	o 7153
7.46/4.07	o 7152
7.46/4.07	o 7151
7.46/4.07	o 7150
7.46/4.07	o 7149
7.46/4.07	o 7148
7.46/4.08	o 7147
7.46/4.08	o 7146
7.46/4.08	o 7143
7.46/4.09	o 7141
7.75/4.30	o 7140
7.75/4.33	o 7139
7.75/4.33	o 7136
7.75/4.33	o 7135
7.75/4.33	o 7131
7.75/4.33	o 7128
7.75/4.33	o 7126
7.75/4.33	o 7122
7.75/4.33	o 7119
7.75/4.33	o 7118
7.75/4.34	o 7116
7.75/4.34	o 7115
7.75/4.34	o 7114
7.75/4.34	o 7112
7.75/4.34	o 7109
7.75/4.34	o 7106
7.75/4.34	o 7104
7.75/4.34	o 7101
7.75/4.34	o 7100
7.75/4.34	o 7099
7.75/4.34	o 7095
7.75/4.34	o 7091
7.75/4.34	o 7071
7.75/4.34	o 7067
7.75/4.34	o 7066
7.75/4.34	o 7063
7.75/4.34	o 7062
7.75/4.34	o 7058
7.75/4.34	o 7055
7.75/4.34	o 7054
7.75/4.35	o 7053
7.75/4.35	o 7052
7.75/4.35	o 7050
7.75/4.35	o 7048
7.75/4.36	o 7047
7.75/4.36	o 7044
7.75/4.36	o 7042
7.75/4.39	o 7041
7.85/4.44	o 7039
8.25/4.88	o 7038
8.25/4.88	o 7035
8.25/4.88	o 7034
8.25/4.88	o 7030
8.25/4.88	o 7027
8.25/4.88	o 7026
8.25/4.88	o 7015
8.25/4.88	o 7011
8.25/4.88	o 7008
8.25/4.88	o 7005
8.25/4.88	o 7004
8.25/4.88	o 7003
8.25/4.88	o 7002
8.25/4.88	o 6998
8.25/4.88	o 6996
8.36/4.90	o 6993
8.53/5.01	o 6992
8.53/5.01	o 6991
8.53/5.01	o 6990
8.53/5.05	o 6989
8.53/5.08	o 6988
8.53/5.10	o 6987
8.53/5.10	o 6985
8.53/5.10	o 6984
8.63/5.11	o 6983
8.63/5.11	o 6981
8.63/5.11	o 6980
8.63/5.16	o 6979
9.02/5.55	o 6977
9.02/5.55	o 6976
9.02/5.55	o 6973
9.02/5.56	o 6971
9.02/5.56	o 6969
9.02/5.57	o 6968
9.12/5.60	o 6967
9.12/5.62	o 6965
9.32/5.85	o 6917
9.32/5.85	o 6912
9.32/5.85	o 6911
9.32/5.85	o 6910
9.32/5.85	o 6909
9.32/5.85	o 6906
9.32/5.85	o 6903
9.32/5.87	o 6902
9.32/5.87	o 6901
9.42/5.91	o 6900
9.42/5.94	o 6899
9.42/5.95	o 6898
9.53/6.06	o 6897
9.53/6.06	o 6895
9.53/6.07	o 6892
9.72/6.28	o 6891
9.82/6.30	o 6890
9.82/6.36	o 6889
9.92/6.41	o 6887
9.92/6.41	o 6885
10.12/6.65	o 6884
10.12/6.65	o 6883
10.12/6.65	o 6882
10.12/6.67	o 6881
10.12/6.67	o 6880
10.12/6.67	o 6879
10.22/6.73	o 6877
10.22/6.73	o 6876
10.22/6.73	o 6874
10.22/6.73	o 6873
10.22/6.73	o 6871
10.22/6.73	o 6868
10.22/6.73	o 6860
10.22/6.73	o 6851
10.22/6.73	o 6850
10.22/6.73	o 6847
10.22/6.73	o 6845
10.22/6.73	o 6836
10.22/6.73	o 6835
10.22/6.73	o 6833
10.22/6.73	o 6832
10.22/6.73	o 6828
10.22/6.73	o 6827
10.22/6.73	o 6826
10.22/6.73	o 6822
10.22/6.74	o 6820
10.22/6.74	o 6818
10.22/6.74	o 6815
10.22/6.74	o 6814
10.22/6.74	o 6811
10.22/6.75	o 6809
10.22/6.75	o 6806
10.22/6.77	o 6805
10.22/6.77	o 6804
10.38/6.83	o 6802
10.48/6.93	o 6798
10.59/7.08	o 6796
10.59/7.08	o 6770
10.59/7.08	o 6767
10.59/7.08	o 6755
10.59/7.08	o 6750
10.59/7.08	o 6746
10.59/7.08	o 6744
10.59/7.08	o 6740
10.59/7.08	o 6737
10.59/7.08	o 6729
10.59/7.08	o 6727
10.59/7.08	o 6724
10.59/7.08	o 6722
10.71/7.15	o 6720
10.84/7.24	o 6718
10.84/7.25	o 6717
10.84/7.25	o 6715
10.84/7.25	o 6714
10.84/7.25	o 6712
10.96/7.36	o 6711
11.06/7.41	o 6710
11.06/7.41	o 6708
11.06/7.41	o 6707
11.55/7.95	o 6705
11.55/7.95	o 6704
11.55/7.95	o 6703
11.55/7.95	o 6679
11.55/7.95	o 6678
11.55/7.95	o 6677
11.55/7.95	o 6676
11.55/7.96	o 6663
11.55/7.96	o 6662
11.55/7.96	o 6661
11.55/7.96	o 6660
11.55/7.96	o 6655
11.55/7.96	o 6654
11.55/7.96	o 6653
11.55/7.96	o 6648
11.55/7.96	o 6647
11.55/7.96	o 6642
11.55/7.96	o 6641
11.55/7.99	o 6639
12.89/9.25	o 6638
12.89/9.26	o 6637
12.89/9.26	o 6634
12.89/9.26	o 6628
12.89/9.26	o 6621
12.89/9.26	o 6617
12.89/9.26	o 6616
12.89/9.27	o 6614
12.89/9.27	o 6611
12.89/9.27	o 6610
12.89/9.27	o 6606
12.89/9.28	o 6605
12.89/9.28	o 6604
12.89/9.28	o 6603
12.99/9.33	o 6601
12.99/9.33	o 6598
12.99/9.35	o 6597
12.99/9.36	o 6595
12.99/9.36	o 6592
14.12/10.44	o 6590
14.22/10.55	o 6588
14.22/10.55	o 6587
14.22/10.56	o 6583
14.22/10.56	o 6579
14.22/10.56	o 6538
14.22/10.56	o 6529
14.22/10.56	o 6512
14.22/10.57	o 6509
14.22/10.57	o 6428
14.22/10.57	o 6422
14.22/10.57	o 6410
14.22/10.57	o 6405
14.22/10.57	o 6402
14.22/10.57	o 6401
15.86/12.18	o 6399
15.86/12.18	o 6397
15.86/12.18	o 6393
15.86/12.18	o 6389
15.86/12.18	o 6386
15.86/12.18	o 6382
15.86/12.19	o 6349
15.86/12.19	o 6321
15.86/12.19	o 6316
15.86/12.19	o 6314
15.86/12.19	o 6309
16.15/12.43	o 6305
16.15/12.43	o 6302
16.87/13.16	o 6301
17.25/13.54	o 6298
17.25/13.54	o 6291
18.18/14.42	o 6288
18.18/14.42	o 6287
18.18/14.42	o 6268
18.18/14.42	o 6267
18.18/14.42	o 6244
18.18/14.42	o 6243
18.18/14.42	o 6242
18.18/14.42	o 6241
18.18/14.42	o 6239
18.18/14.42	o 6233
18.18/14.42	o 6221
18.18/14.42	o 6220
18.18/14.42	o 6212
18.18/14.42	o 6211
18.18/14.42	o 6208
18.18/14.42	o 6202
18.18/14.46	o 6140
18.18/14.46	o 6122
18.18/14.46	o 6116
18.18/14.46	o 6107
18.18/14.46	o 6105
18.18/14.46	o 6103
18.18/14.46	o 6093
18.18/14.46	o 6069
18.18/14.46	o 6054
18.18/14.46	o 6048
18.18/14.46	o 6044
18.18/14.46	o 6042
18.18/14.46	o 6038
18.18/14.46	o 6033
18.18/14.46	o 6031
18.18/14.46	o 6021
18.18/14.46	o 6018
18.18/14.46	o 6012
18.18/14.47	o 5993
18.18/14.47	o 5984
18.18/14.47	o 5982
18.18/14.47	o 5979
18.18/14.47	o 5937
18.18/14.47	o 5936
18.18/14.47	o 5934
18.18/14.47	o 5933
18.18/14.47	o 5930
18.18/14.47	o 5928
18.18/14.47	o 5923
18.18/14.47	o 5920
18.18/14.49	o 5917
18.18/14.49	o 5913
18.29/14.50	o 5911
18.29/14.50	o 5905
18.29/14.50	o 5902
18.29/14.51	o 5900
18.29/14.51	o 5890
18.29/14.51	o 5888
18.29/14.51	o 5878
18.29/14.51	o 5867
18.29/14.51	o 5865
18.29/14.51	o 5858
18.29/14.51	o 5855
18.29/14.51	o 5846
18.29/14.51	o 5842
18.29/14.51	o 5840
18.29/14.51	o 5835
18.29/14.52	o 5834
18.29/14.52	o 5831
18.29/14.52	o 5824
18.29/14.52	o 5821
18.29/14.52	o 5820
18.29/14.52	o 5817
18.29/14.52	o 5816
18.29/14.52	o 5815
18.29/14.52	o 5813
18.29/14.56	o 5811
18.29/14.56	o 5806
18.29/14.56	o 5801
18.29/14.56	o 5791
18.29/14.56	o 5788
18.29/14.56	o 5780
18.29/14.56	o 5779
18.29/14.56	o 5777
18.29/14.56	o 5770
18.29/14.56	o 5769
18.29/14.56	o 5767
18.29/14.56	o 5762
18.29/14.57	o 5761
18.29/14.57	o 5756
18.29/14.57	o 5744
18.29/14.57	o 5739
18.29/14.57	o 5738
18.29/14.57	o 5736
18.29/14.57	o 5735
18.29/14.57	o 5730
18.29/14.58	o 5728
18.39/14.60	o 5717
18.39/14.60	o 5715
18.39/14.60	o 5713
18.39/14.60	o 5708
18.39/14.60	o 5706
18.39/14.60	o 5703
18.39/14.60	o 5702
18.39/14.60	o 5698
18.39/14.61	o 5694
18.39/14.70	o 5693
18.39/14.70	o 5692
18.39/14.70	o 5691
18.69/14.96	o 5689
18.69/14.96	o 5655
18.69/14.96	o 5642
18.69/14.96	o 5635
18.69/14.96	o 5631
18.69/14.96	o 5626
18.69/14.96	o 5625
18.69/14.96	o 5624
18.69/14.96	o 5619
18.69/14.96	o 5618
18.69/14.96	o 5615
18.69/14.96	o 5611
18.69/14.99	o 5609
18.69/14.99	o 5605
18.80/15.04	o 5603
18.80/15.08	o 5602
18.90/15.14	o 5601
19.09/15.34	o 5600
19.09/15.34	o 5598
19.09/15.34	o 5597
19.39/15.66	o 5594
19.39/15.66	o 5592
19.39/15.68	o 5591
19.59/15.85	o 5589
19.59/15.85	o 5588
19.99/16.22	o 5587
19.99/16.22	o 5586
19.99/16.24	o 5582
19.99/16.24	o 5581
20.82/17.08	o 5577
20.82/17.08	o 5575
20.82/17.08	o 5574
20.82/17.08	o 5573
20.92/17.16	o 5571
20.92/17.17	o 5569
20.92/17.17	o 5567
20.92/17.17	o 5565
21.11/17.33	o 5562
21.11/17.33	o 5561
21.11/17.33	o 5560
21.71/17.91	o 5559
21.71/17.91	o 5549
21.71/17.91	o 5547
21.71/17.92	o 5546
21.71/17.92	o 5530
21.71/17.92	o 5528
21.71/17.92	o 5524
21.71/17.92	o 5522
21.71/17.92	o 5516
21.71/17.92	o 5514
21.71/17.92	o 5513
21.71/17.92	o 5511
21.71/17.93	o 5503
21.71/17.93	o 5501
21.71/17.93	o 5500
21.71/17.94	o 5493
21.71/17.94	o 5491
21.71/17.95	o 5487
21.71/17.95	o 5485
21.71/17.97	o 5483
21.71/17.97	o 5482
21.71/17.97	o 5480
21.71/17.97	o 5478
21.71/17.99	o 5476
21.71/17.99	o 5474
21.71/17.99	o 5472
21.71/17.99	o 5470
21.82/18.02	o 5469
22.11/18.36	o 5467
22.11/18.38	o 5404
22.11/18.38	o 5390
22.11/18.38	o 5384
22.11/18.38	o 5382
22.11/18.39	o 5376
22.21/18.42	o 5375
22.72/18.95	o 5374
22.72/18.95	o 5373
22.72/18.95	o 5372
22.72/18.95	o 5369
22.72/18.95	o 5368
22.93/19.19	o 5367
22.93/19.19	o 5363
22.93/19.19	o 5362
23.12/19.35	o 5359
23.12/19.35	o 5355
23.42/19.66	o 5354
23.42/19.66	o 5344
23.42/19.66	o 5337
23.42/19.66	o 5329
23.42/19.66	o 5328
23.42/19.66	o 5324
23.42/19.66	o 5314
23.42/19.66	o 5313
23.42/19.69	o 5293
23.42/19.69	o 5287
23.42/19.69	o 5285
23.42/19.69	o 5281
23.42/19.69	o 5270
23.42/19.69	o 5269
23.52/19.71	o 5264
23.52/19.71	o 5263
23.52/19.71	o 5262
23.52/19.71	o 5260
23.52/19.74	o 5258
23.52/19.75	o 5257
23.52/19.77	o 5256
23.52/19.77	o 5255
23.52/19.77	o 5250
23.52/19.77	o 5249
23.63/19.81	o 5171
23.63/19.81	o 5162
23.63/19.82	o 5159
23.63/19.82	o 5158
23.63/19.82	o 5153
23.63/19.82	o 5151
23.63/19.82	o 5150
23.63/19.83	o 5147
23.63/19.83	o 5146
23.63/19.84	o 5143
23.63/19.88	o 5140
23.63/19.90	o 5135
23.73/19.93	o 5134
23.73/20.00	o 5129
23.83/20.05	o 5128
23.83/20.05	o 5127
23.83/20.05	o 5125
23.83/20.05	o 5117
23.83/20.05	o 5112
23.83/20.05	o 5111
23.83/20.05	o 5108
23.83/20.05	o 5107
23.83/20.05	o 5106
23.83/20.05	o 5105
23.83/20.06	o 5104
23.83/20.06	o 5103
23.83/20.06	o 5102
23.83/20.06	o 5101
23.83/20.06	o 5095
23.83/20.06	o 5094
23.83/20.09	o 5093
23.93/20.11	o 5092
23.93/20.12	o 5087
23.93/20.12	o 5086
23.93/20.16	o 5076
23.93/20.16	o 5073
23.93/20.16	o 5068
23.93/20.16	o 5064
23.93/20.17	o 5047
23.93/20.17	o 5030
23.93/20.18	o 5024
23.93/20.19	o 5022
23.93/20.19	o 5019
23.93/20.19	o 5014
24.03/20.21	o 5009
24.03/20.27	o 5008
24.03/20.27	o 5002
24.13/20.33	o 5001
24.13/20.33	o 4999
24.13/20.33	o 4994
24.13/20.34	o 4988
24.13/20.37	o 4983
24.23/20.44	o 4970
24.23/20.44	o 4948
24.23/20.44	o 4946
24.23/20.44	o 4942
24.23/20.44	o 4937
24.23/20.45	o 4930
24.23/20.46	o 4925
24.33/20.51	o 4923
24.33/20.52	o 4917
24.63/20.84	o 4914
24.63/20.84	o 4913
24.63/20.84	o 4912
24.63/20.84	o 4909
24.63/20.84	o 4891
24.63/20.84	o 4888
24.63/20.84	o 4886
24.63/20.84	o 4883
24.63/20.84	o 4878
24.63/20.84	o 4875
24.63/20.84	o 4871
24.63/20.84	o 4868
24.63/20.84	o 4865
24.63/20.84	o 4862
24.63/20.85	o 4859
24.63/20.85	o 4858
24.63/20.85	o 4856
24.63/20.85	o 4855
24.63/20.85	o 4853
24.63/20.85	o 4851
24.63/20.85	o 4847
24.63/20.85	o 4845
24.63/20.85	o 4841
24.63/20.85	o 4840
24.63/20.85	o 4839
24.63/20.85	o 4835
24.63/20.85	o 4834
24.63/20.85	o 4833
24.63/20.87	o 4831
24.63/20.87	o 4830
24.63/20.87	o 4829
24.63/20.87	o 4828
24.63/20.87	o 4827
24.63/20.89	o 4825
24.63/20.89	o 4824
24.72/20.90	o 4821
24.72/20.90	o 4819
24.72/20.90	o 4817
26.03/22.26	o 4814
26.03/22.26	o 4812
26.03/22.26	o 4809
26.03/22.26	o 4806
26.03/22.26	o 4803
26.03/22.26	o 4802
26.03/22.26	o 4801
26.03/22.26	o 4800
26.03/22.26	o 4798
26.03/22.26	o 4797
26.03/22.27	o 4792
26.03/22.27	o 4791
26.03/22.27	o 4790
26.03/22.27	o 4789
26.03/22.27	o 4788
26.03/22.27	o 4787
26.03/22.27	o 4784
26.03/22.27	o 4783
26.03/22.27	o 4780
26.03/22.27	o 4779
26.03/22.27	o 4774
26.03/22.27	o 4773
26.03/22.27	o 4758
26.03/22.27	o 4757
26.03/22.27	o 4754
26.03/22.27	o 4753
26.03/22.27	o 4752
26.03/22.27	o 4751
26.03/22.27	o 4750
26.03/22.27	o 4749
26.03/22.27	o 4748
26.03/22.27	o 4745
26.03/22.27	o 4744
26.03/22.28	o 4743
26.03/22.28	o 4741
26.03/22.28	o 4739
26.03/22.29	o 4674
26.03/22.29	o 4672
26.03/22.29	o 4667
26.03/22.29	o 4664
27.74/23.97	o 4648
27.74/23.97	o 4637
27.74/23.97	o 4634
27.74/23.97	o 4628
27.74/23.97	o 4617
27.74/23.97	o 4612
27.74/23.97	o 4608
27.74/23.98	o 4607
27.74/23.98	o 4606
27.74/23.98	o 4602
27.74/23.98	o 4601
27.74/23.98	o 4600
27.74/23.98	o 4599
27.74/23.99	o 4598
27.74/23.99	o 4597
27.85/24.02	o 4565
27.85/24.02	o 4562
27.85/24.02	o 4557
27.85/24.02	o 4549
27.85/24.02	o 4542
27.85/24.02	o 4538
27.85/24.02	o 4533
27.85/24.02	o 4532
27.85/24.02	o 4531
27.85/24.02	o 4526
27.85/24.02	o 4525
27.85/24.02	o 4523
27.85/24.02	o 4522
27.85/24.03	o 4520
27.85/24.03	o 4519
27.85/24.04	o 4518
27.85/24.04	o 4517
27.85/24.04	o 4515
27.85/24.04	o 4514
27.85/24.04	o 4512
27.85/24.04	o 4511
27.85/24.05	o 4510
27.85/24.05	o 4509
27.85/24.06	o 4508
27.85/24.06	o 4507
27.85/24.06	o 4506
27.85/24.06	o 4505
27.85/24.06	o 4504
27.85/24.08	o 4496
27.85/24.08	o 4486
27.85/24.08	o 4484
27.85/24.08	o 4483
27.85/24.08	o 4476
27.85/24.08	o 4470
27.85/24.08	o 4469
27.85/24.08	o 4465
27.85/24.09	o 4464
27.85/24.09	o 4463
27.85/24.09	o 4458
27.85/24.09	o 4457
27.85/24.09	o 4455
27.85/24.09	o 4454
27.85/24.09	o 4453
27.85/24.09	o 4452
27.85/24.10	o 4451
27.85/24.10	o 4449
27.85/24.10	o 4448
27.85/24.10	o 4447
34.26/30.44	o 4443
34.26/30.44	o 4442
34.26/30.44	o 4440
34.26/30.44	o 4439
34.26/30.44	o 4425
34.26/30.45	o 4423
34.36/30.54	o 4420
34.36/30.54	o 4419
35.27/31.45	o 4415
35.27/31.45	o 4414
35.27/31.45	o 4408
35.27/31.45	o 4407
35.27/31.45	o 4406
35.27/31.45	o 4392
35.27/31.47	o 4384
35.27/31.47	o 4381
35.27/31.48	o 4378
35.27/31.48	o 4377
35.27/31.48	o 4374
35.27/31.48	o 4373
35.27/31.48	o 4362
35.27/31.49	o 4355
35.98/32.11	o 4353
36.08/32.20	o 4352
36.08/32.22	o 4351
36.47/32.69	o 4346
36.57/32.70	o 4345
37.17/33.38	o 4343
37.17/33.38	o 4342
37.37/33.50	o 4340
37.37/33.50	o 4311
37.37/33.50	o 4304
37.37/33.50	o 4303
37.37/33.50	o 4301
37.37/33.51	o 4294
37.37/33.56	o 4292
37.37/33.56	o 4289
37.37/33.56	o 4288
37.37/33.56	o 4287
37.37/33.57	o 4286
37.37/33.57	o 4285
37.37/33.57	o 4283
37.37/33.57	o 4282
37.57/33.74	o 4280
37.68/33.87	o 4278
37.68/33.87	o 4272
37.68/33.87	o 4271
37.68/33.87	o 4270
37.78/33.90	o 4269
37.78/33.90	o 4268
37.78/33.91	o 4267
37.78/33.91	o 4266
37.78/33.92	o 4264
38.08/34.22	o 4263
38.08/34.23	o 4262
38.08/34.23	o 4259
38.08/34.24	o 4256
38.08/34.25	o 4253
38.08/34.25	o 4252
38.18/34.35	o 4251
38.18/34.37	o 4249
38.18/34.37	o 4248
38.38/34.57	o 4245
38.38/34.57	o 4244
38.38/34.57	o 4242
38.48/34.63	o 4241
38.48/34.63	o 4239
38.48/34.64	o 4237
38.48/34.64	o 4236
38.48/34.64	o 4232
38.48/34.64	o 4231
38.48/34.69	o 4229
46.81/42.96	o 4217
46.81/42.96	o 4213
48.93/45.03	o 4212
48.93/45.03	o 4211
48.93/45.03	o 4208
48.93/45.07	o 4207
48.93/45.09	o 4206
48.93/45.09	o 4203
52.23/48.36	o 4200
52.23/48.36	o 4197
52.23/48.36	o 4189
52.23/48.36	o 4184
52.23/48.39	o 4181
52.23/48.39	o 4178
52.23/48.39	o 4175
52.23/48.39	o 4172
52.23/48.39	o 4169
52.23/48.39	o 4167
52.23/48.39	o 4164
52.33/48.40	o 4156
52.43/48.50	o 4153
52.43/48.51	o 4152
52.43/48.51	o 4147
52.43/48.51	o 4144
53.44/49.55	o 4143
53.44/49.55	o 4140
53.44/49.58	o 4136
53.84/49.96	o 4133
53.84/49.96	o 4130
53.84/49.96	o 4129
53.84/49.97	o 4127
53.84/49.97	o 4124
53.84/49.97	o 4121
56.24/52.33	o 4118
56.85/52.95	o 4117
57.06/53.19	o 4116
60.60/56.64	o 4113
60.60/56.64	o 4112
60.60/56.64	o 4110
64.13/60.13	o 4104
64.13/60.13	o 4102
64.13/60.13	o 4085
64.13/60.13	o 4084
64.13/60.13	o 4075
64.13/60.13	o 4051
64.13/60.13	o 4037
64.13/60.13	o 4036
64.13/60.14	o 4023
64.13/60.14	o 4022
64.13/60.18	o 4021
64.13/60.19	o 4018
64.52/60.59	o 4017
64.92/60.94	o 4012
65.32/61.33	o 4011
65.32/61.38	o 4008
66.33/62.32	o 4003
66.33/62.37	o 3999
66.93/62.91	o 3996
66.93/62.91	o 3991
66.93/62.91	o 3988
66.93/62.94	o 3975
66.93/62.95	o 3969
66.93/62.95	o 3966
66.93/62.95	o 3957
66.93/62.95	o 3920
66.93/62.96	o 3913
66.93/62.96	o 3903
66.93/62.96	o 3893
66.93/62.96	o 3890
66.93/62.98	o 3889
66.93/62.98	o 3886
67.04/63.06	o 3883
67.33/63.34	o 3881
67.33/63.35	o 3880
67.33/63.35	o 3874
67.33/63.36	o 3871
67.53/63.53	o 3870
67.63/63.69	o 3867
68.64/64.62	o 3859
68.64/64.64	o 3856
68.64/64.64	o 3854
68.64/64.64	o 3853
68.64/64.64	o 3852
68.64/64.67	o 3851
68.64/64.67	o 3849
68.64/64.68	o 3848
68.64/64.68	o 3846
68.64/64.68	o 3845
68.64/64.68	o 3843
68.64/64.68	o 3840
68.64/64.68	o 3838
68.64/64.69	o 3835
68.74/64.70	o 3832
68.74/64.71	o 3829
68.74/64.71	o 3827
68.74/64.72	o 3821
68.74/64.72	o 3817
68.74/64.72	o 3816
68.74/64.73	o 3812
68.74/64.73	o 3809
68.74/64.73	o 3808
68.84/64.81	o 3807
68.84/64.81	o 3804
68.84/64.84	o 3802
68.84/64.85	o 3801
68.94/64.92	o 3800
68.94/64.93	o 3796
68.94/64.93	o 3795
69.34/65.34	o 3789
69.34/65.34	o 3783
69.34/65.34	o 3762
69.34/65.34	o 3756
69.34/65.34	o 3755
69.34/65.34	o 3751
69.34/65.34	o 3749
69.34/65.34	o 3745
69.34/65.34	o 3743
69.34/65.34	o 3741
69.34/65.34	o 3735
69.34/65.35	o 3734
69.34/65.35	o 3733
69.34/65.35	o 3731
69.34/65.36	o 3725
69.34/65.37	o 3722
69.34/65.38	o 3721
69.34/65.39	o 3719
69.44/65.46	o 3718
69.44/65.46	o 3717
69.44/65.48	o 3712
69.44/65.48	o 3711
69.44/65.48	o 3709
69.55/65.52	o 3708
69.55/65.55	o 3707
69.55/65.55	o 3704
69.55/65.55	o 3703
69.55/65.56	o 3700
69.65/65.65	o 3694
69.65/65.65	o 3693
69.65/65.65	o 3692
69.65/65.65	o 3691
69.65/65.65	o 3690
69.85/65.83	o 3689
69.85/65.83	o 3683
69.85/65.83	o 3681
69.85/65.83	o 3678
69.85/65.83	o 3677
69.85/65.83	o 3675
69.85/65.83	o 3674
69.85/65.83	o 3673
69.85/65.83	o 3672
69.85/65.83	o 3671
69.85/65.83	o 3648
69.85/65.83	o 3641
69.85/65.84	o 3637
69.85/65.84	o 3631
69.85/65.85	o 3628
69.85/65.85	o 3625
70.06/66.08	o 3621
70.16/66.18	o 3617
70.25/66.22	o 3614
70.25/66.23	o 3613
70.25/66.23	o 3602
70.25/66.25	o 3601
70.25/66.25	o 3598
70.46/66.45	o 3595
70.46/66.45	o 3556
70.46/66.46	o 3552
70.46/66.46	o 3551
70.46/66.46	o 3549
70.46/66.46	o 3529
70.56/66.50	o 3526
70.56/66.50	o 3520
70.56/66.50	o 3517
70.56/66.52	o 3512
70.56/66.52	o 3510
70.56/66.56	o 3505
70.96/66.95	o 3504
70.96/67.00	o 3502
71.07/67.02	o 3499
71.07/67.03	o 3498
71.07/67.07	o 3497
71.07/67.10	o 3495
71.76/67.78	o 3491
71.76/67.78	o 3490
71.76/67.78	o 3488
71.76/67.78	o 3463
71.76/67.78	o 3462
71.76/67.79	o 3460
71.76/67.79	o 3459
71.76/67.79	o 3456
71.76/67.79	o 3449
71.86/67.80	o 3448
71.86/67.81	o 3439
71.86/67.85	o 3438
71.86/67.85	o 3437
72.26/68.25	o 3435
72.26/68.25	o 3434
72.26/68.25	o 3430
72.26/68.27	o 3414
72.26/68.28	o 3410
72.26/68.28	o 3402
72.26/68.28	o 3398
72.26/68.29	o 3397
72.26/68.29	o 3393
72.26/68.30	o 3391
72.36/68.30	o 3389
72.36/68.30	o 3385
72.36/68.39	o 3381
72.36/68.39	o 3380
72.36/68.39	o 3378
72.46/68.40	o 3375
72.46/68.41	o 3367
72.46/68.41	o 3355
72.46/68.41	o 3352
72.56/68.53	o 3349
72.66/68.66	o 3335
72.66/68.66	o 3330
72.66/68.66	o 3329
72.66/68.66	o 3326
72.66/68.67	o 3317
72.66/68.67	o 3316
72.66/68.67	o 3311
72.66/68.67	o 3308
72.66/68.69	o 3306
72.66/68.69	o 3303
72.76/68.71	o 3302
72.76/68.71	o 3297
72.76/68.71	o 3296
72.86/68.82	o 3295
72.86/68.82	o 3294
72.86/68.82	o 3291
72.86/68.85	o 3287
72.86/68.89	o 3284
72.86/68.90	o 3282
72.86/68.90	o 3281
72.86/68.90	o 3280
72.96/68.90	o 3278
72.96/68.90	o 3277
72.96/68.90	o 3276
73.07/69.03	o 3269
73.07/69.03	o 3237
73.07/69.03	o 3236
73.07/69.03	o 3233
73.07/69.03	o 3219
73.07/69.06	o 3217
73.07/69.07	o 3214
73.07/69.08	o 3213
73.36/69.30	o 3212
73.36/69.30	o 3210
73.36/69.30	o 3209
73.36/69.30	o 3205
73.36/69.30	o 3204
73.36/69.37	o 3203
73.36/69.37	o 3201
73.57/69.54	o 3197
73.57/69.54	o 3191
73.57/69.54	o 3182
73.57/69.54	o 3163
73.57/69.55	o 3162
73.57/69.55	o 3159
73.57/69.57	o 3152
73.57/69.57	o 3148
73.57/69.59	o 3145
73.57/69.59	o 3144
73.67/69.65	o 3143
73.77/69.73	o 3142
73.77/69.74	o 3140
73.77/69.74	o 3139
73.87/69.81	o 3138
73.97/69.90	o 3135
74.27/70.30	o 3129
74.37/70.31	o 3126
74.37/70.31	o 3111
74.37/70.34	o 3110
74.37/70.39	o 3108
74.47/70.41	o 3105
74.47/70.41	o 3101
74.47/70.41	o 3100
74.47/70.43	o 3098
74.47/70.43	o 3094
74.57/70.51	o 3093
74.57/70.51	o 3092
74.77/70.73	o 3091
74.77/70.75	o 3090
74.77/70.75	o 3086
74.77/70.75	o 3084
74.77/70.75	o 3083
74.77/70.77	o 3082
74.87/70.83	o 3064
74.87/70.84	o 3061
74.87/70.84	o 3056
74.87/70.84	o 3055
74.87/70.88	o 3050
74.87/70.88	o 3049
74.98/70.98	o 3048
74.98/70.98	o 3047
74.98/71.00	o 3046
74.98/71.00	o 3045
74.98/71.00	o 3044
74.98/71.00	o 3042
2520.03/2500.01	s SATISFIABLE
2520.03/2500.01	v <instantiation>
2520.03/2500.01	v 	<list>
2520.03/2500.01	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124]
2520.03/2500.01	v 	</list>
2520.03/2500.01	v 	<values>
2520.03/2500.01	v 		5 115 117 7 3 0 98 14 2 28 86 21 0 2 12 18 112 10 122 7 11 13 3 17 16 51 0 39 22 6 0 0 9 123 1 1 7 10 6 14 18 15 5 78 15 14 71 5 48 6 13 4 8 119 109 53 14 67 7 2 4 4 3 6 54 4 20 13 11 21 12 52 9 3 3 8 11 16 4 96 9 68 10 8 5 11 9 15 3 6 1 2 19 16 12 55 0 105 121 4 12 14 116 15 4 113 7 10 1 2 7 16 8 8 17 2 18 3 1 1 3 10 9 0 13 
2520.03/2500.01	v 	</values>
2520.03/2500.01	v </instantiation>

Verifier Data 

OK	3042

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311740-1534548552/watcher-4311740-1534548552 -o /tmp/evaluation-result-4311740-1534548552/solver-4311740-1534548552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534541043-22858 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2119236025 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311740-1534548552.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23663, runsolver pid=23660

[startup+0.100069 s]*
/proc/loadavg: 1.47 1.41 1.41 4/215 23678
/proc/meminfo: memFree=23554712/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14082736 memory=31820 CPUtime=0.11 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 6344 0 0 0 10 1 0 0 20 0 15 0 272418402 14420721664 7955 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3520684 7955 3149 1 0 3482761 0
[pid=23663/tid=23665] ppid=23660 vsize=14082736 memory=-8701690554792448891 CPUtime=0.09 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 4383 0 0 0 8 1 0 0 20 0 15 0 272418402 14420721664 7955 33554432000 4194304 4196468 140735224055264 140359092282112 140359088098710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 7955 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 7955 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 7955 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 7955 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418404 14420721664 7955 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272418405 14420721664 7955 33554432000 4194304 4196468 140735224055264 140358560753056 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272418405 14420721664 7984 33554432000 4194304 4196468 140735224055264 140358559700464 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14420721664 7984 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) R 23660 23663 22827 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 272418407 14420721664 7984 33554432000 4194304 4196468 140735224055264 140358557595632 140359088097922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14420721664 7984 33554432000 4194304 4196468 140735224055264 140358556543088 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0.01 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) R 23660 23663 22827 0 -1 4202560 293 0 0 0 1 0 0 0 20 0 15 0 272418408 14420721664 7984 33554432000 4194304 4196468 140735224055264 140358555490544 140359069327088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14420721664 7984 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418408 14420721664 7984 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31820 KiB

[startup+0.210414 s]*
/proc/loadavg: 1.47 1.41 1.41 4/215 23678
/proc/meminfo: memFree=23539208/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14082736 memory=47488 CPUtime=0.28 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 9957 0 0 0 26 2 0 0 20 0 15 0 272418402 14420721664 11872 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3520684 11872 3323 1 0 3482761 0
[pid=23663/tid=23665] ppid=23660 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 7746 0 0 0 18 2 0 0 20 0 15 0 272418402 14420721664 11872 33554432000 4194304 4196468 140735224055264 140359092310256 140359080323902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 11872 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14082736 memory=139960665524706 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 11872 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 11872 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272418404 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272418405 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358560753056 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272418405 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358559700464 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) R 23660 23663 22827 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 15 0 272418407 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358557595728 140359088096981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) R 23660 23663 22827 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 15 0 272418407 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358556533472 140359067344403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0.05 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) R 23660 23663 22827 0 -1 4202560 316 0 0 0 5 0 0 0 20 0 15 0 272418408 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358555490544 140359067051955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418408 14420721664 11872 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47488 KiB

[startup+0.31048 s]*
/proc/loadavg: 1.47 1.41 1.41 3/215 23678
/proc/meminfo: memFree=23535920/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14082736 memory=50620 CPUtime=0.44 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 10353 0 0 0 41 3 0 0 20 0 15 0 272418402 14420721664 12655 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3520684 12655 3366 1 0 3482761 0
[pid=23663/tid=23665] ppid=23660 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 8034 0 0 0 27 2 0 0 20 0 15 0 272418402 14420721664 12655 33554432000 4194304 4196468 140735224055264 140359092294608 140359088108701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 12655 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14082736 memory=139960665527549 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 12655 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 12655 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272418404 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272418405 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358560753056 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272418405 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358559700464 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) S 23660 23663 22827 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 272418407 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358557595632 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14082736 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) S 23660 23663 22827 0 -1 1077944384 159 0 0 0 3 0 0 0 20 0 15 0 272418407 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358556543088 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0.08 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) R 23660 23663 22827 0 -1 4202560 327 0 0 0 8 0 0 0 20 0 15 0 272418408 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358555490544 140359088108122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14082736 memory=139960664102528 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418408 14420721664 12720 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50620 KiB

[startup+0.700702 s]
/proc/loadavg: 1.47 1.41 1.41 3/215 23678
/proc/meminfo: memFree=23517316/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14084804 memory=88752 CPUtime=0.98 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 17062 0 0 0 93 5 0 0 20 0 15 0 272418402 14422839296 22188 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3521201 22188 3499 1 0 3483273 0
[pid=23663/tid=23665] ppid=23660 vsize=14084804 memory=1752 CPUtime=0.67 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 14369 0 0 0 63 4 0 0 20 0 15 0 272418402 14422839296 22188 33554432000 4194304 4196468 140735224055264 140359092306320 140359088108701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14422839296 22188 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14084804 memory=1820 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14422839296 22188 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14084804 memory=4296 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14422839296 22188 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14084804 memory=3480 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14084804 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272418404 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14084804 memory=10212 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272418405 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358560753056 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272418405 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358559700464 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14084804 memory=6404 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14084804 memory=6297835844906604903 CPUtime=0.06 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) S 23660 23663 22827 0 -1 1077944384 625 0 0 0 6 0 0 0 20 0 15 0 272418407 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358557595632 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14084804 memory=8099279071866868840 CPUtime=0.08 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) S 23660 23663 22827 0 -1 1077944384 305 0 0 0 8 0 0 0 20 0 15 0 272418407 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358556543088 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14084804 memory=4641330296368681040 CPUtime=0.14 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) S 23660 23663 22827 0 -1 1077944384 380 0 0 0 14 0 0 0 20 0 15 0 272418408 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358555490544 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418408 14422839296 22188 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88752 KiB

[startup+1.50083 s]
/proc/loadavg: 1.52 1.41 1.42 6/215 23678
/proc/meminfo: memFree=23472356/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14088900 memory=184244 CPUtime=3.27 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 25894 0 0 0 320 7 0 0 20 0 15 0 272418402 14427033600 46061 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3522225 46061 3547 1 0 3484297 0
[pid=23663/tid=23665] ppid=23660 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 19004 0 0 0 141 6 0 0 20 0 15 0 272418402 14427033600 46061 33554432000 4194304 4196468 140735224055264 140359092317136 140359072167262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14427033600 46061 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14088900 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14427033600 46061 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272418403 14427033600 46061 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272418403 14427033600 46061 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 272418404 14427033600 46061 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0

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

/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 38865 0 0 0 231192 23 0 0 20 0 15 0 272418402 14429130752 80833 33554432000 4194304 4196468 140735224055264 140359092324944 140358684179234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14090948 memory=323332 CPUtime=5.33 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 6390 0 0 0 512 21 0 0 20 0 15 0 272418403 14429130752 80833 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14090948 memory=323332 CPUtime=5.34 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 6418 0 0 0 514 20 0 0 20 0 15 0 272418403 14429130752 80833 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14090948 memory=321284 CPUtime=5.34 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 6513 0 0 0 512 22 0 0 20 0 15 0 272418403 14429130752 80833 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14090948 memory=323332 CPUtime=5.33 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 5699 0 0 0 513 20 0 0 20 0 15 0 272418403 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14090948 memory=323332 CPUtime=2.67 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 6583 0 0 0 247 20 0 0 20 0 15 0 272418404 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14090948 memory=323332 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358560753120 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14090948 memory=323332 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358559700480 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14090948 memory=323332 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14090948 memory=323332 CPUtime=1.39 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) S 23660 23663 22827 0 -1 1077944384 5676 0 0 0 138 1 0 0 20 0 15 0 272418407 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358557595632 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14090948 memory=323332 CPUtime=1.51 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) S 23660 23663 22827 0 -1 1077944384 6475 0 0 0 149 2 0 0 20 0 15 0 272418407 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358556543088 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14090948 memory=323332 CPUtime=0.85 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) S 23660 23663 22827 0 -1 1077944384 10479 0 0 0 84 1 0 0 20 0 15 0 272418408 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358555490544 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14090948 memory=323332 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14090948 memory=6544 CPUtime=1.12 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 744 0 0 0 58 54 0 0 20 0 15 0 272418408 14429130752 80833 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 2341.12 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 323332 KiB

[startup+2382.3 s]
/proc/loadavg: 1.65 1.51 1.43 3/215 23853
/proc/meminfo: memFree=23636408/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14090948 memory=327428 CPUtime=2401.53 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 96600 0 0 0 239990 163 0 0 20 0 15 0 272418402 14429130752 81857 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3522737 81857 3582 1 0 3484809 0
[pid=23663/tid=23665] ppid=23660 vsize=14090948 memory=325380 CPUtime=2371.85 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 39292 0 0 0 237162 23 0 0 20 0 15 0 272418402 14429130752 81857 33554432000 4194304 4196468 140735224055264 140359092324944 140358684178896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14090948 memory=325380 CPUtime=5.48 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 6605 0 0 0 526 22 0 0 20 0 15 0 272418403 14429130752 81857 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14090948 memory=325380 CPUtime=5.5 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 6573 0 0 0 529 21 0 0 20 0 15 0 272418403 14429130752 81857 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14090948 memory=325380 CPUtime=5.48 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 6542 0 0 0 526 22 0 0 20 0 15 0 272418403 14429130752 81857 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14090948 memory=0 CPUtime=5.48 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 6020 0 0 0 527 21 0 0 20 0 15 0 272418403 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14090948 memory=327428 CPUtime=2.75 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 6762 0 0 0 254 21 0 0 20 0 15 0 272418404 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14090948 memory=327428 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358560753120 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14090948 memory=325380 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358559700480 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14090948 memory=327428 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14090948 memory=327428 CPUtime=1.39 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) S 23660 23663 22827 0 -1 1077944384 5678 0 0 0 138 1 0 0 20 0 15 0 272418407 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358557595632 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14090948 memory=327428 CPUtime=1.51 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) S 23660 23663 22827 0 -1 1077944384 6477 0 0 0 149 2 0 0 20 0 15 0 272418407 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358556543088 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14090948 memory=3816 CPUtime=0.85 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) S 23660 23663 22827 0 -1 1077944384 10481 0 0 0 84 1 0 0 20 0 15 0 272418408 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358555490544 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14090948 memory=325380 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14090948 memory=932 CPUtime=1.15 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 752 0 0 0 59 56 0 0 20 0 15 0 272418408 14429130752 81857 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 2401.53 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 327428 KiB

[startup+2442.3 s]
/proc/loadavg: 1.24 1.42 1.40 3/215 23854
/proc/meminfo: memFree=23632964/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14090948 memory=330496 CPUtime=2461.94 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 98021 0 0 0 246028 166 0 0 20 0 15 0 272418402 14429130752 82624 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3522737 82624 3582 1 0 3484809 0
[pid=23663/tid=23665] ppid=23660 vsize=14090948 memory=330496 CPUtime=2431.57 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 39822 0 0 0 243134 23 0 0 20 0 15 0 272418402 14429130752 82624 33554432000 4194304 4196468 140735224055264 140359092324912 140358684401606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14090948 memory=325380 CPUtime=5.63 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 6828 0 0 0 541 22 0 0 20 0 15 0 272418403 14429130752 82624 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14090948 memory=329476 CPUtime=5.64 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 6654 0 0 0 543 21 0 0 20 0 15 0 272418403 14429130752 82624 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14090948 memory=330496 CPUtime=5.64 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 6636 0 0 0 541 23 0 0 20 0 15 0 272418403 14429130752 82624 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14090948 memory=330496 CPUtime=5.63 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 6319 0 0 0 542 21 0 0 20 0 15 0 272418403 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14090948 memory=330496 CPUtime=2.82 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 6942 0 0 0 261 21 0 0 20 0 15 0 272418404 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14090948 memory=330496 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358560753120 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14090948 memory=330496 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358559700480 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14090948 memory=330496 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14090948 memory=330496 CPUtime=1.39 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) S 23660 23663 22827 0 -1 1077944384 5680 0 0 0 138 1 0 0 20 0 15 0 272418407 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358557595632 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14090948 memory=327428 CPUtime=1.51 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) S 23660 23663 22827 0 -1 1077944384 6479 0 0 0 149 2 0 0 20 0 15 0 272418407 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358556543088 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14090948 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) S 23660 23663 22827 0 -1 1077944384 10483 0 0 0 84 1 0 0 20 0 15 0 272418408 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358555490544 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14090948 memory=330496 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14090948 memory=330496 CPUtime=1.18 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 760 0 0 0 61 57 0 0 20 0 15 0 272418408 14429130752 82624 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 2461.94 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 330496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2500 s]*
/proc/loadavg: 1.53 1.45 1.41 3/216 23863
/proc/meminfo: memFree=23626756/32770624 swapFree=67108500/67108860
[pid=23663] ppid=23660 vsize=14090948 memory=334592 CPUtime=2520.03 cores=0,2,4,6
/proc/23663/stat : 23663 (java) S 23660 23663 22827 0 -1 1077944320 99420 0 0 0 251834 169 0 0 20 0 15 0 272418402 14429130752 83648 33554432000 4194304 4196468 140735224055264 140735224037808 140359088086775 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
/proc/23663/statm: 3522737 83648 3582 1 0 3484809 0
[pid=23663/tid=23665] ppid=23660 vsize=14090948 memory=1398720917958146503 CPUtime=2489.03 cores=0,2,4,6
/proc/23663/task/23665/stat : 23665 (java) R 23660 23663 22827 0 -1 4202560 40249 0 0 0 248879 24 0 0 20 0 15 0 272418402 14429130752 83648 33554432000 4194304 4196468 140735224055264 140359092324944 140358684179456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23666] ppid=23660 vsize=14090948 memory=4872558044660077418 CPUtime=5.76 cores=0,2,4,6
/proc/23663/task/23666/stat : 23666 (java) S 23660 23663 22827 0 -1 1077944384 7103 0 0 0 554 22 0 0 20 0 15 0 272418403 14429130752 83648 33554432000 4194304 4196468 140735224055264 140359003154704 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23667] ppid=23660 vsize=14090948 memory=916 CPUtime=5.78 cores=0,2,4,6
/proc/23663/task/23667/stat : 23667 (java) S 23660 23663 22827 0 -1 1077944384 6905 0 0 0 556 22 0 0 20 0 15 0 272418403 14429130752 83648 33554432000 4194304 4196468 140735224055264 140359002102160 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23668] ppid=23660 vsize=14090948 memory=3852 CPUtime=5.77 cores=0,2,4,6
/proc/23663/task/23668/stat : 23668 (java) S 23660 23663 22827 0 -1 1077944384 6814 0 0 0 554 23 0 0 20 0 15 0 272418403 14429130752 83648 33554432000 4194304 4196468 140735224055264 140359001049616 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23669] ppid=23660 vsize=14090948 memory=2588 CPUtime=5.77 cores=0,2,4,6
/proc/23663/task/23669/stat : 23669 (java) S 23660 23663 22827 0 -1 1077944384 6394 0 0 0 555 22 0 0 20 0 15 0 272418403 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358999997072 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23670] ppid=23660 vsize=14090948 memory=2880 CPUtime=2.88 cores=0,2,4,6
/proc/23663/task/23670/stat : 23670 (java) S 23660 23663 22827 0 -1 1077944384 7121 0 0 0 267 21 0 0 20 0 15 0 272418404 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358561806832 140359088097922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23671] ppid=23660 vsize=14090948 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23671/stat : 23671 (java) S 23660 23663 22827 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358560753120 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23672] ppid=23660 vsize=14090948 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23672/stat : 23672 (java) S 23660 23663 22827 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 272418405 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358559700480 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23673] ppid=23660 vsize=14090948 memory=332544 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23673/stat : 23673 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418407 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358558649040 140359088105371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23674] ppid=23660 vsize=14090948 memory=1408 CPUtime=1.39 cores=0,2,4,6
/proc/23663/task/23674/stat : 23674 (java) S 23660 23663 22827 0 -1 1077944384 5682 0 0 0 138 1 0 0 20 0 15 0 272418407 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358557595632 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23675] ppid=23660 vsize=14090948 memory=3220 CPUtime=1.51 cores=0,2,4,6
/proc/23663/task/23675/stat : 23675 (java) S 23660 23663 22827 0 -1 1077944384 6481 0 0 0 149 2 0 0 20 0 15 0 272418407 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358556543088 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23676] ppid=23660 vsize=14090948 memory=277780 CPUtime=0.85 cores=0,2,4,6
/proc/23663/task/23676/stat : 23676 (java) S 23660 23663 22827 0 -1 1077944384 10485 0 0 0 84 1 0 0 20 0 15 0 272418408 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358555490544 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23677] ppid=23660 vsize=14090948 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/23663/task/23677/stat : 23677 (java) S 23660 23663 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272418408 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358554438240 140359088096981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
[pid=23663/tid=23678] ppid=23660 vsize=14090948 memory=332544 CPUtime=1.2 cores=0,2,4,6
/proc/23663/task/23678/stat : 23678 (java) S 23660 23663 22827 0 -1 1077944384 768 0 0 0 62 58 0 0 20 0 15 0 272418408 14429130752 83648 33554432000 4194304 4196468 140735224055264 140358553385776 140359088097922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9719808 140735224058952 140735224059145 140735224059145 140735224061903 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 334592 KiB

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

[startup+2500.03 s]
# the end of solver process 23663 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.35 s, system=1.7051 s

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

Child status: 143
Real time (s): 2500.03
CPU time (s): 2520.06
CPU user time (s): 2518.35
CPU system time (s): 1.7051
CPU usage (%): 100.801
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 396064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.35
system time used= 1.7051
maximum resident set size= 403744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131431
involuntary context switches= 7788


# summary of solver processes directly reported to runsolver:
#   pid: 23663
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2518.35
#   total CPU system time (s): 1.7051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6535 second user time and 24.2637 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-18 01:29:12
IDJOB=4311740
IDBENCH=141223
IDSOLVER=2799
FILE ID=node104/4311740-1534548552
RUNJOBID= node104-1534541043-22858
PBS_JOBID= 21038643
Free space on /tmp= 47320 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-5_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-4311740-1534548552/watcher-4311740-1534548552 -o /tmp/evaluation-result-4311740-1534548552/solver-4311740-1534548552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534541043-22858 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2119236025 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311740-1534548552.xml

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

MD5SUM BENCH= 08115146c0ac9b7e4849c5cb62d96e41
RANDOM SEED=2119236025

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23574336 kB
MemAvailable:   31247368 kB
Buffers:          210552 kB
Cached:          7711712 kB
SwapCached:            4 kB
Active:          4732600 kB
Inactive:        3882452 kB
Active(anon):     668752 kB
Inactive(anon):    92888 kB
Active(file):    4063848 kB
Inactive(file):  3789564 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108500 kB
Dirty:             35980 kB
Writeback:             0 kB
AnonPages:        700548 kB
Mapped:            32056 kB
Shmem:             66020 kB
Slab:             276516 kB
SReclaimable:     248080 kB
SUnreclaim:        28436 kB
KernelStack:        3552 kB
PageTables:         7956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1338548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    624640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47284 MiB
End job on node104 at 2018-08-18 02:10:53