Trace number 4312322

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)2566 252.056 246.326

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 benchmark1060
Best CPU time to get the best result obtained on this benchmark252.052
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.68/0.55	c version: 2018-08-17
0.68/0.56	c seed: 964810715
0.68/0.56	c timeout: 252
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 1
0.68/0.58	c Parsing instance...
3.67/1.64	c Parsing done, starting search...
3.96/1.72	o 8540
3.96/1.74	o 8534
3.96/1.75	o 8508
3.96/1.75	o 8507
3.96/1.75	o 8504
3.96/1.75	o 8503
3.96/1.75	o 8500
3.96/1.75	o 8476
3.96/1.75	o 8475
3.96/1.75	o 8471
3.96/1.75	o 8468
3.96/1.75	o 8465
3.96/1.75	o 8464
3.96/1.75	o 8453
3.96/1.75	o 8442
3.96/1.75	o 8441
3.96/1.75	o 8437
3.96/1.75	o 8435
3.96/1.75	o 8430
3.96/1.75	o 8427
3.96/1.75	o 8397
3.96/1.76	o 8396
3.96/1.76	o 8394
3.96/1.76	o 8393
3.96/1.76	o 8391
3.96/1.76	o 8382
3.96/1.76	o 8378
3.96/1.76	o 8352
3.96/1.76	o 8351
3.96/1.76	o 8349
3.96/1.76	o 8348
3.96/1.76	o 8345
3.96/1.76	o 8315
3.96/1.76	o 8311
3.96/1.76	o 8310
3.96/1.77	o 8307
3.96/1.77	o 8296
3.96/1.77	o 8295
3.96/1.77	o 8292
3.96/1.77	o 8288
3.96/1.77	o 8284
3.96/1.77	o 8275
3.96/1.77	o 8274
3.96/1.77	o 8271
3.96/1.77	o 8268
3.96/1.77	o 8266
3.96/1.77	o 8227
3.96/1.77	o 8223
3.96/1.78	o 8211
3.96/1.78	o 8210
3.96/1.78	o 8209
3.96/1.78	o 8207
3.96/1.78	o 8206
3.96/1.79	o 8202
3.96/1.79	o 8201
3.96/1.79	o 8199
3.96/1.79	o 8178
3.96/1.79	o 8145
3.96/1.79	o 8137
3.96/1.79	o 8136
3.96/1.79	o 8135
3.96/1.79	o 8128
3.96/1.79	o 8125
3.96/1.79	o 8116
3.96/1.79	o 8109
3.96/1.79	o 8106
3.96/1.79	o 8105
4.30/1.80	o 8095
4.30/1.80	o 8080
4.30/1.80	o 8068
4.30/1.80	o 8065
4.30/1.80	o 8064
4.30/1.81	o 8063
4.30/1.81	o 8062
4.30/1.81	o 8059
4.30/1.81	o 8057
4.30/1.81	o 8055
4.30/1.81	o 8053
4.30/1.81	o 8052
4.30/1.81	o 8050
4.30/1.81	o 8049
4.30/1.83	o 8048
4.30/1.84	o 8047
4.30/1.87	o 8045
4.30/1.87	o 8044
4.30/1.87	o 8036
4.30/1.87	o 8035
4.30/1.87	o 8034
4.30/1.87	o 8033
4.30/1.87	o 8032
4.30/1.87	o 8026
4.30/1.88	o 8024
4.30/1.88	o 8023
4.30/1.88	o 8020
4.30/1.90	o 8019
4.62/1.91	o 7991
4.62/1.91	o 7989
4.62/1.91	o 7987
4.62/1.91	o 7985
4.62/1.91	o 7983
4.62/1.91	o 7981
4.62/1.92	o 7980
4.62/1.93	o 7979
4.62/1.93	o 7978
4.62/1.96	o 7977
4.62/1.96	o 7976
4.95/2.01	o 7975
4.95/2.05	o 7954
4.95/2.05	o 7952
4.95/2.05	o 7950
4.95/2.05	o 7948
4.95/2.05	o 7918
4.95/2.05	o 7916
4.95/2.05	o 7914
4.95/2.05	o 7912
4.95/2.05	o 7906
4.95/2.05	o 7904
4.95/2.05	o 7901
4.95/2.06	o 7900
4.95/2.06	o 7898
4.95/2.06	o 7895
4.95/2.06	o 7893
4.95/2.10	o 7892
4.95/2.10	o 7891
5.25/2.14	o 7889
5.25/2.15	o 7888
5.25/2.17	o 7886
5.42/2.23	o 7885
5.42/2.24	o 7884
5.74/2.54	o 7883
6.45/3.02	o 7881
6.45/3.02	o 7879
6.45/3.02	o 7877
6.45/3.02	o 7875
6.45/3.02	o 7873
6.45/3.02	o 7871
6.45/3.02	o 7870
6.45/3.02	o 7869
6.45/3.02	o 7867
6.45/3.02	o 7866
6.45/3.02	o 7863
6.45/3.02	o 7862
6.45/3.02	o 7861
6.45/3.02	o 7860
6.45/3.02	o 7859
6.45/3.02	o 7849
6.45/3.02	o 7848
6.45/3.02	o 7847
6.45/3.02	o 7845
6.45/3.02	o 7843
6.45/3.02	o 7841
6.45/3.02	o 7840
6.45/3.02	o 7838
6.45/3.02	o 7810
6.45/3.02	o 7806
6.45/3.02	o 7805
6.45/3.02	o 7803
6.45/3.02	o 7786
6.45/3.02	o 7784
6.45/3.02	o 7782
6.45/3.02	o 7781
6.45/3.02	o 7779
6.45/3.02	o 7719
6.45/3.02	o 7717
6.45/3.02	o 7716
6.45/3.02	o 7712
6.45/3.02	o 7700
6.45/3.02	o 7699
6.45/3.02	o 7698
6.45/3.02	o 7693
6.45/3.02	o 7692
6.45/3.02	o 7688
6.45/3.02	o 7687
6.45/3.02	o 7684
6.45/3.02	o 7675
6.45/3.02	o 7665
6.45/3.02	o 7664
6.45/3.02	o 7663
6.45/3.02	o 7661
6.45/3.02	o 7658
6.45/3.02	o 7656
6.45/3.02	o 7647
6.45/3.02	o 7644
6.45/3.02	o 7642
6.45/3.02	o 7628
6.45/3.02	o 7625
6.45/3.02	o 7605
6.45/3.02	o 7600
6.45/3.02	o 7599
6.45/3.02	o 7537
6.45/3.02	o 7520
6.45/3.02	o 7510
6.45/3.02	o 7492
6.45/3.02	o 7461
6.45/3.02	o 7449
6.45/3.02	o 7448
6.45/3.02	o 7447
6.45/3.02	o 7446
6.45/3.02	o 7439
6.45/3.02	o 7438
6.45/3.02	o 7437
6.45/3.02	o 7428
6.45/3.02	o 7427
6.45/3.02	o 7426
6.45/3.02	o 7424
6.45/3.02	o 7423
6.45/3.02	o 7404
6.45/3.02	o 7370
6.45/3.02	o 7365
6.45/3.02	o 7362
6.45/3.02	o 7350
6.45/3.02	o 7347
6.45/3.02	o 7346
6.45/3.02	o 7345
6.45/3.02	o 7334
6.45/3.02	o 7331
6.45/3.02	o 7330
6.45/3.02	o 7329
6.45/3.02	o 7328
6.45/3.02	o 7327
6.45/3.02	o 7326
6.45/3.02	o 7324
6.45/3.02	o 7278
6.45/3.02	o 7229
6.45/3.02	o 7225
6.45/3.02	o 7219
6.45/3.02	o 7217
6.45/3.02	o 7214
6.45/3.02	o 7212
6.45/3.02	o 7211
6.45/3.02	o 7208
6.45/3.02	o 7206
6.45/3.02	o 7205
6.45/3.02	o 7195
6.45/3.02	o 7194
6.45/3.02	o 7191
6.45/3.02	o 7190
6.45/3.02	o 7189
6.45/3.02	o 7174
6.45/3.02	o 7173
6.45/3.02	o 7172
6.45/3.02	o 7166
6.45/3.02	o 7165
6.45/3.02	o 7159
6.45/3.02	o 7158
6.45/3.02	o 7157
6.45/3.02	o 7155
6.45/3.02	o 7154
6.45/3.02	o 7153
6.45/3.02	o 7152
6.45/3.02	o 7149
6.45/3.02	o 7143
6.45/3.02	o 7142
6.45/3.02	o 7138
6.45/3.02	o 7136
6.45/3.02	o 7130
6.45/3.02	o 7129
6.45/3.02	o 7128
6.45/3.02	o 7125
6.45/3.02	o 7124
6.45/3.02	o 7123
6.45/3.02	o 7120
6.45/3.02	o 7119
6.45/3.02	o 7118
6.45/3.04	o 7116
6.56/3.11	o 7115
6.56/3.12	o 7113
6.56/3.12	o 7112
6.68/3.25	o 7111
6.79/3.32	o 7100
6.79/3.32	o 7092
6.79/3.32	o 7081
6.79/3.33	o 7027
6.79/3.33	o 7026
6.79/3.33	o 7023
6.79/3.34	o 7021
6.79/3.34	o 7020
6.79/3.34	o 7018
6.79/3.36	o 7017
6.79/3.39	o 7016
6.89/3.45	o 7015
6.89/3.45	o 7012
7.09/3.63	o 7011
7.09/3.63	o 7008
7.09/3.63	o 7007
7.09/3.63	o 7004
7.09/3.63	o 7003
7.09/3.64	o 7002
7.52/4.03	o 6997
7.52/4.03	o 6995
7.52/4.03	o 6990
7.52/4.03	o 6988
7.52/4.03	o 6986
7.52/4.03	o 6984
7.52/4.03	o 6983
7.52/4.03	o 6982
7.52/4.03	o 6980
7.52/4.03	o 6979
7.52/4.03	o 6978
7.52/4.04	o 6975
7.52/4.04	o 6974
7.52/4.04	o 6971
7.52/4.04	o 6970
7.52/4.04	o 6965
7.52/4.04	o 6964
7.52/4.04	o 6963
7.52/4.04	o 6959
7.52/4.04	o 6958
7.52/4.04	o 6955
7.52/4.04	o 6954
7.52/4.04	o 6943
7.52/4.04	o 6935
7.52/4.05	o 6930
7.52/4.05	o 6928
7.52/4.05	o 6926
7.52/4.05	o 6925
7.52/4.05	o 6924
7.52/4.05	o 6923
7.52/4.05	o 6922
7.52/4.05	o 6921
7.52/4.05	o 6920
8.65/5.06	o 6919
8.65/5.06	o 6918
8.65/5.06	o 6909
8.65/5.06	o 6908
8.74/5.12	o 6907
8.74/5.12	o 6906
8.74/5.14	o 6904
8.74/5.18	o 6903
8.74/5.19	o 6901
8.94/5.31	o 6899
9.05/5.45	o 6897
9.76/6.13	o 6891
10.47/6.85	o 6842
10.47/6.85	o 6840
10.47/6.85	o 6820
10.47/6.85	o 6794
10.47/6.85	o 6788
10.47/6.87	o 6786
10.47/6.88	o 6783
10.47/6.88	o 6781
10.47/6.89	o 6780
10.57/6.95	o 6778
10.57/6.98	o 6777
10.68/7.06	o 6776
10.78/7.11	o 6775
11.40/7.72	o 6774
11.40/7.72	o 6771
11.40/7.72	o 6768
11.40/7.72	o 6767
11.40/7.72	o 6765
11.40/7.72	o 6763
11.40/7.73	o 6758
11.40/7.73	o 6750
11.40/7.73	o 6749
11.40/7.73	o 6747
11.40/7.73	o 6737
11.40/7.73	o 6735
11.40/7.73	o 6729
11.40/7.73	o 6727
11.40/7.75	o 6721
11.40/7.78	o 6720
11.40/7.78	o 6719
11.51/7.89	o 6718
11.65/7.91	o 6715
11.65/7.91	o 6712
11.65/7.93	o 6711
11.65/7.93	o 6710
11.65/7.94	o 6709
11.65/7.94	o 6706
11.65/7.94	o 6705
11.65/7.94	o 6704
12.86/9.05	o 6703
12.86/9.05	o 6700
12.86/9.05	o 6698
12.86/9.05	o 6697
12.86/9.05	o 6696
12.86/9.05	o 6695
12.86/9.05	o 6660
12.86/9.05	o 6659
12.86/9.06	o 6658
12.86/9.06	o 6657
12.86/9.06	o 6656
12.86/9.06	o 6655
12.97/9.11	o 6652
12.97/9.12	o 6651
12.97/9.20	o 6650
13.06/9.20	o 6649
13.06/9.20	o 6648
13.06/9.20	o 6647
13.06/9.22	o 6646
13.06/9.23	o 6645
13.06/9.23	o 6643
13.06/9.23	o 6642
13.06/9.24	o 6640
13.06/9.24	o 6638
13.06/9.24	o 6632
13.06/9.24	o 6628
13.06/9.24	o 6624
13.06/9.24	o 6623
13.06/9.24	o 6620
13.06/9.24	o 6619
13.06/9.24	o 6610
13.06/9.24	o 6609
13.06/9.24	o 6606
13.76/9.94	o 6588
13.76/9.94	o 6559
13.76/9.94	o 6548
13.76/9.95	o 6545
13.76/9.95	o 6533
13.76/9.96	o 6530
13.76/9.97	o 6528
13.87/10.08	o 6527
13.87/10.08	o 6526
13.87/10.10	o 6524
13.97/10.18	o 6523
13.97/10.19	o 6522
13.97/10.19	o 6518
14.06/10.29	o 6517
14.56/10.78	o 6516
14.56/10.79	o 6513
15.47/11.67	o 6511
16.99/13.12	o 6510
16.99/13.12	o 6507
16.99/13.12	o 6505
16.99/13.12	o 6503
16.99/13.12	o 6502
16.99/13.12	o 6501
16.99/13.12	o 6500
16.99/13.12	o 6497
16.99/13.12	o 6494
16.99/13.12	o 6493
16.99/13.12	o 6484
16.99/13.12	o 6473
16.99/13.12	o 6464
16.99/13.12	o 6457
16.99/13.12	o 6452
16.99/13.12	o 6450
16.99/13.12	o 6449
16.99/13.12	o 6448
16.99/13.14	o 6445
16.99/13.14	o 6443
16.99/13.14	o 6438
16.99/13.14	o 6426
16.99/13.14	o 6421
16.99/13.14	o 6416
16.99/13.14	o 6411
17.18/13.30	o 6410
17.18/13.30	o 6408
17.18/13.34	o 6369
17.18/13.35	o 6368
17.18/13.35	o 6366
17.18/13.35	o 6363
17.18/13.35	o 6362
17.18/13.35	o 6355
17.18/13.35	o 6353
17.18/13.35	o 6351
17.18/13.35	o 6350
17.18/13.35	o 6346
17.18/13.35	o 6337
17.18/13.35	o 6335
17.18/13.35	o 6329
17.18/13.35	o 6328
17.18/13.35	o 6324
17.28/13.43	o 6323
17.28/13.50	o 6322
17.38/13.51	o 6320
17.38/13.51	o 6318
17.78/13.99	o 6317
17.78/13.99	o 6316
17.78/13.99	o 6315
17.89/14.10	o 6314
17.99/14.11	o 6313
20.90/17.10	o 6311
21.20/17.39	o 6309
21.30/17.43	o 6305
21.30/17.43	o 6298
21.30/17.43	o 6297
21.30/17.43	o 6282
21.30/17.43	o 6281
21.30/17.43	o 6274
21.30/17.43	o 6273
21.30/17.43	o 6211
21.30/17.43	o 6210
21.30/17.43	o 6198
21.30/17.43	o 6197
21.30/17.43	o 6196
21.30/17.43	o 6195
21.30/17.43	o 6175
21.30/17.43	o 6171
21.30/17.43	o 6169
21.30/17.43	o 6168
21.30/17.44	o 6166
21.30/17.44	o 6163
21.30/17.44	o 6162
21.30/17.44	o 6159
21.30/17.44	o 6156
21.30/17.44	o 6155
21.30/17.44	o 6153
21.30/17.44	o 6152
21.30/17.44	o 6150
21.30/17.44	o 6146
21.30/17.44	o 6145
21.30/17.44	o 6139
21.30/17.44	o 6138
21.30/17.44	o 6136
21.30/17.44	o 6135
21.30/17.45	o 6097
21.30/17.45	o 6094
21.30/17.45	o 6079
21.30/17.45	o 6075
21.30/17.45	o 6073
21.30/17.45	o 6072
21.30/17.45	o 6058
21.30/17.45	o 6055
21.30/17.45	o 6053
21.30/17.45	o 6051
21.30/17.45	o 6050
21.30/17.45	o 6048
21.30/17.45	o 6040
21.30/17.45	o 6037
21.30/17.46	o 6036
21.30/17.46	o 6034
21.30/17.46	o 6031
21.30/17.46	o 6028
21.30/17.46	o 6025
21.30/17.46	o 6022
21.60/17.70	o 6021
21.80/18.00	o 6019
21.80/18.00	o 6018
21.80/18.00	o 6017
21.80/18.00	o 6016
21.80/18.00	o 6013
21.80/18.00	o 6012
21.80/18.00	o 6009
21.80/18.00	o 6008
21.80/18.00	o 6005
21.80/18.00	o 6003
21.91/18.01	o 6001
21.91/18.03	o 5999
21.91/18.04	o 5997
21.91/18.04	o 5995
21.91/18.06	o 5994
21.91/18.07	o 5993
22.01/18.19	o 5992
22.01/18.19	o 5991
22.01/18.19	o 5989
22.11/18.21	o 5987
22.11/18.21	o 5986
22.21/18.30	o 5985
22.21/18.35	o 5984
22.21/18.35	o 5981
22.31/18.49	o 5978
22.41/18.58	o 5977
22.41/18.58	o 5975
22.41/18.58	o 5974
22.61/18.73	o 5972
22.61/18.73	o 5966
22.61/18.73	o 5959
22.61/18.73	o 5956
22.61/18.73	o 5954
22.61/18.73	o 5952
22.61/18.73	o 5950
22.61/18.73	o 5942
22.61/18.73	o 5878
22.61/18.73	o 5876
22.61/18.73	o 5869
22.61/18.73	o 5859
22.61/18.73	o 5858
22.61/18.73	o 5857
22.61/18.73	o 5854
22.61/18.73	o 5852
22.61/18.74	o 5851
22.61/18.74	o 5849
22.61/18.74	o 5848
22.81/18.92	o 5847
22.81/18.97	o 5844
22.81/18.97	o 5843
22.81/18.97	o 5838
22.81/18.97	o 5837
22.81/18.97	o 5833
22.81/18.97	o 5832
22.92/19.01	o 5831
22.92/19.01	o 5830
22.92/19.03	o 5829
22.92/19.03	o 5828
22.92/19.03	o 5827
22.92/19.03	o 5826
22.92/19.04	o 5825
22.92/19.04	o 5824
23.22/19.30	o 5823
23.22/19.30	o 5818
23.22/19.30	o 5815
23.22/19.30	o 5814
23.22/19.31	o 5809
23.22/19.31	o 5808
23.22/19.34	o 5807
23.36/19.42	o 5805
23.36/19.42	o 5804
23.36/19.46	o 5803
23.36/19.46	o 5802
23.46/19.59	o 5801
23.56/19.69	o 5798
23.56/19.69	o 5797
23.56/19.69	o 5796
23.56/19.69	o 5795
23.56/19.69	o 5793
23.56/19.69	o 5792
23.66/19.72	o 5791
23.97/20.03	o 5790
23.97/20.03	o 5788
23.97/20.04	o 5787
23.97/20.04	o 5785
23.97/20.04	o 5783
23.97/20.04	o 5782
23.97/20.04	o 5780
23.97/20.04	o 5779
23.97/20.04	o 5777
23.97/20.04	o 5776
23.97/20.04	o 5774
23.97/20.04	o 5769
23.97/20.04	o 5753
23.97/20.05	o 5751
30.63/26.60	o 5750
30.63/26.60	o 5744
30.63/26.60	o 5742
30.63/26.60	o 5735
30.63/26.60	o 5713
30.63/26.60	o 5708
30.63/26.60	o 5705
30.63/26.60	o 5696
30.63/26.60	o 5694
30.63/26.60	o 5693
30.63/26.60	o 5692
30.63/26.61	o 5690
30.63/26.61	o 5685
30.63/26.61	o 5682
30.63/26.61	o 5678
30.63/26.61	o 5676
30.63/26.62	o 5675
30.73/26.71	o 5674
30.73/26.75	o 5672
30.73/26.76	o 5670
30.73/26.76	o 5667
30.73/26.76	o 5666
30.73/26.79	o 5663
30.73/26.79	o 5659
30.73/26.79	o 5658
30.95/26.95	o 5657
31.45/27.48	o 5656
33.36/29.38	o 5655
33.36/29.38	o 5654
33.36/29.38	o 5653
33.36/29.39	o 5651
33.36/29.39	o 5648
33.36/29.39	o 5647
33.36/29.39	o 5646
33.36/29.39	o 5644
33.36/29.39	o 5643
33.46/29.45	o 5642
33.46/29.45	o 5641
33.46/29.46	o 5640
33.46/29.46	o 5639
33.56/29.54	o 5637
33.56/29.54	o 5636
34.66/30.69	o 5635
34.66/30.69	o 5633
34.66/30.69	o 5630
34.66/30.69	o 5628
36.38/32.31	o 5626
36.38/32.31	o 5621
36.38/32.31	o 5619
36.38/32.31	o 5614
36.38/32.31	o 5612
36.38/32.31	o 5610
36.38/32.31	o 5609
36.38/32.31	o 5585
36.38/32.32	o 5583
36.38/32.32	o 5582
36.38/32.32	o 5580
36.38/32.32	o 5575
36.38/32.32	o 5573
36.38/32.32	o 5571
36.38/32.32	o 5569
36.38/32.32	o 5567
36.38/32.32	o 5565
36.38/32.35	o 5564
36.38/32.36	o 5562
36.38/32.36	o 5560
36.38/32.36	o 5559
36.48/32.44	o 5556
36.48/32.44	o 5555
36.48/32.44	o 5553
36.48/32.44	o 5552
36.48/32.44	o 5550
36.48/32.44	o 5549
36.48/32.44	o 5546
36.58/32.51	o 5544
36.78/32.78	o 5542
36.78/32.78	o 5541
36.78/32.78	o 5539
36.88/32.81	o 5538
36.88/32.90	o 5537
36.98/32.90	o 5536
36.98/32.95	o 5535
36.98/32.95	o 5533
36.98/32.95	o 5532
36.98/32.95	o 5530
37.19/33.14	o 5528
37.19/33.14	o 5526
37.28/33.23	o 5524
37.28/33.23	o 5522
37.28/33.23	o 5521
37.38/33.33	o 5520
39.10/35.07	o 5519
39.10/35.07	o 5517
39.10/35.07	o 5513
39.10/35.09	o 5512
39.20/35.16	o 5510
39.20/35.16	o 5508
39.20/35.16	o 5506
39.20/35.16	o 5504
39.20/35.16	o 5502
39.29/35.26	o 5498
39.29/35.29	o 5496
39.29/35.29	o 5494
40.00/35.96	o 5493
40.00/35.96	o 5492
40.00/35.96	o 5491
40.11/36.04	o 5490
40.60/36.54	o 5489
40.60/36.54	o 5486
41.40/37.37	o 5483
41.40/37.37	o 5482
41.40/37.37	o 5481
41.40/37.37	o 5479
41.40/37.37	o 5478
41.40/37.38	o 5477
41.40/37.39	o 5474
41.50/37.49	o 5472
41.50/37.49	o 5470
41.61/37.50	o 5468
41.61/37.50	o 5466
41.61/37.50	o 5465
41.61/37.50	o 5464
41.61/37.50	o 5463
41.61/37.50	o 5460
41.61/37.50	o 5459
41.61/37.51	o 5458
41.91/37.84	o 5457
41.91/37.84	o 5455
42.41/38.32	o 5454
42.53/38.41	o 5453
42.53/38.41	o 5452
43.95/39.81	o 5449
43.95/39.81	o 5448
43.95/39.82	o 5446
43.95/39.82	o 5443
43.95/39.82	o 5442
44.16/40.07	o 5441
44.16/40.07	o 5437
44.46/40.38	o 5436
45.06/40.92	o 5432
45.06/40.92	o 5430
45.06/40.92	o 5428
45.06/40.92	o 5413
45.06/40.92	o 5411
45.06/40.92	o 5409
45.06/40.92	o 5407
45.06/40.92	o 5406
45.06/40.92	o 5404
45.06/40.92	o 5402
45.06/40.92	o 5400
45.06/40.92	o 5398
45.06/40.92	o 5396
45.06/40.93	o 5395
45.37/41.21	o 5394
45.37/41.21	o 5393
45.37/41.21	o 5392
45.37/41.21	o 5390
45.37/41.21	o 5389
45.37/41.24	o 5388
45.57/41.48	o 5380
45.57/41.49	o 5371
45.57/41.49	o 5370
45.57/41.50	o 5369
45.67/41.50	o 5366
45.67/41.50	o 5365
47.68/43.59	o 5363
47.68/43.59	o 5362
47.68/43.59	o 5361
47.68/43.59	o 5319
47.68/43.59	o 5318
47.68/43.59	o 5317
47.68/43.59	o 5310
47.68/43.59	o 5309
47.68/43.59	o 5300
47.68/43.59	o 5299
47.68/43.59	o 5296
47.68/43.59	o 5295
47.68/43.60	o 5293
47.68/43.60	o 5292
47.78/43.62	o 5290
47.78/43.62	o 5286
47.78/43.62	o 5285
47.78/43.67	o 5284
47.88/43.70	o 5282
47.88/43.71	o 5272
48.19/44.08	o 5271
48.19/44.08	o 5269
48.19/44.08	o 5265
48.19/44.08	o 5263
54.35/50.16	o 5262
57.05/52.88	o 5261
57.05/52.88	o 5260
57.05/52.88	o 5258
57.75/53.58	o 5257
58.06/53.83	o 5252
59.57/55.32	o 5242
59.57/55.32	o 5232
59.57/55.32	o 5231
59.57/55.32	o 5224
59.57/55.32	o 5221
59.57/55.32	o 5220
59.67/55.43	o 5218
59.67/55.43	o 5217
59.67/55.45	o 5216
59.77/55.50	o 5212
59.97/55.76	o 5209
60.38/56.17	o 5208
60.38/56.17	o 5206
60.38/56.20	o 5204
60.47/56.20	o 5200
60.47/56.20	o 5199
60.47/56.20	o 5197
60.47/56.20	o 5196
60.47/56.20	o 5195
60.47/56.25	o 5194
60.97/56.76	o 5192
61.68/57.46	o 5191
61.68/57.46	o 5190
61.68/57.46	o 5182
61.68/57.47	o 5178
61.68/57.47	o 5168
61.68/57.47	o 5167
61.68/57.47	o 5166
61.68/57.47	o 5156
61.68/57.47	o 5155
61.68/57.47	o 5151
61.68/57.47	o 5143
61.68/57.47	o 5140
61.68/57.47	o 5139
61.68/57.48	o 5122
61.68/57.48	o 5117
61.68/57.48	o 5098
61.68/57.48	o 5097
61.68/57.48	o 5095
61.68/57.48	o 5084
61.68/57.48	o 5083
61.68/57.49	o 5080
61.68/57.49	o 5077
61.68/57.49	o 5069
61.68/57.49	o 5061
61.68/57.49	o 5057
61.68/57.49	o 5053
61.68/57.49	o 5050
61.68/57.49	o 5049
61.68/57.49	o 5048
61.78/57.50	o 5047
61.78/57.58	o 5045
61.78/57.58	o 5044
61.78/57.58	o 5043
62.08/57.84	o 5039
62.08/57.84	o 5036
62.08/57.84	o 5034
62.08/57.84	o 5030
62.08/57.85	o 5025
62.08/57.85	o 5023
62.08/57.88	o 5022
62.08/57.88	o 5021
62.18/57.92	o 5017
62.18/57.92	o 5016
62.18/58.00	o 5012
62.18/58.00	o 5011
62.18/58.00	o 5010
62.29/58.10	o 5009
62.39/58.11	o 5007
62.39/58.12	o 5006
62.39/58.12	o 5003
62.39/58.12	o 5001
62.39/58.13	o 5000
62.39/58.13	o 4997
62.39/58.13	o 4996
62.78/58.55	o 4993
62.78/58.55	o 4992
62.78/58.55	o 4986
62.78/58.55	o 4982
62.78/58.55	o 4972
62.78/58.55	o 4957
62.78/58.55	o 4949
62.78/58.57	o 4947
62.78/58.57	o 4939
62.78/58.58	o 4938
62.78/58.58	o 4933
62.78/58.58	o 4932
62.78/58.59	o 4931
62.89/58.60	o 4927
62.89/58.61	o 4925
62.89/58.61	o 4922
62.89/58.61	o 4920
62.99/58.76	o 4893
62.99/58.76	o 4883
62.99/58.77	o 4877
62.99/58.77	o 4867
62.99/58.77	o 4863
62.99/58.77	o 4862
62.99/58.77	o 4861
62.99/58.77	o 4860
62.99/58.77	o 4859
62.99/58.77	o 4854
63.09/58.83	o 4853
63.09/58.83	o 4850
63.09/58.84	o 4849
63.09/58.84	o 4848
63.09/58.84	o 4844
63.09/58.84	o 4843
63.09/58.85	o 4842
63.09/58.86	o 4840
63.09/58.86	o 4839
63.09/58.86	o 4838
63.09/58.86	o 4835
63.09/58.86	o 4834
63.09/58.86	o 4832
63.09/58.86	o 4829
63.09/58.86	o 4828
63.09/58.86	o 4827
64.91/60.61	o 4826
64.91/60.61	o 4824
64.91/60.65	o 4823
64.91/60.65	o 4822
64.91/60.66	o 4820
64.91/60.66	o 4819
64.91/60.66	o 4818
64.91/60.66	o 4817
64.91/60.67	o 4809
64.91/60.67	o 4808
64.91/60.67	o 4805
64.91/60.67	o 4804
64.91/60.67	o 4803
64.91/60.67	o 4802
64.91/60.67	o 4796
64.91/60.67	o 4794
64.91/60.67	o 4793
64.91/60.67	o 4792
64.91/60.67	o 4791
64.91/60.67	o 4785
64.91/60.67	o 4781
64.91/60.67	o 4779
65.11/60.86	o 4778
65.21/60.94	o 4773
65.21/60.94	o 4769
65.21/60.98	o 4768
65.21/60.98	o 4764
65.32/61.03	o 4762
65.51/61.21	o 4761
65.51/61.21	o 4760
65.61/61.37	o 4758
65.61/61.37	o 4756
65.61/61.37	o 4752
65.61/61.37	o 4751
65.61/61.37	o 4748
65.61/61.37	o 4746
65.61/61.37	o 4744
65.61/61.37	o 4737
65.61/61.38	o 4735
65.61/61.39	o 4734
65.71/61.41	o 4733
65.71/61.42	o 4732
65.71/61.42	o 4731
65.71/61.42	o 4730
65.71/61.42	o 4728
65.71/61.42	o 4725
65.71/61.43	o 4723
65.71/61.43	o 4721
65.71/61.45	o 4717
65.71/61.45	o 4709
65.71/61.45	o 4702
65.71/61.45	o 4698
65.71/61.45	o 4691
65.71/61.46	o 4687
65.71/61.46	o 4686
65.71/61.46	o 4683
65.71/61.46	o 4680
65.71/61.46	o 4679
65.71/61.48	o 4675
65.71/61.49	o 4674
65.82/61.54	o 4673
65.82/61.55	o 4671
65.92/61.64	o 4665
65.92/61.64	o 4664
66.02/61.80	o 4659
66.02/61.80	o 4655
66.02/61.80	o 4640
66.02/61.80	o 4639
66.02/61.80	o 4637
66.12/61.80	o 4629
66.12/61.80	o 4627
66.12/61.80	o 4625
66.12/61.80	o 4623
66.12/61.80	o 4619
66.12/61.80	o 4611
66.12/61.80	o 4610
66.12/61.80	o 4609
66.12/61.80	o 4606
66.12/61.80	o 4605
66.12/61.80	o 4604
66.12/61.80	o 4602
66.12/61.80	o 4600
66.12/61.80	o 4599
66.12/61.80	o 4598
66.12/61.80	o 4596
66.12/61.81	o 4595
66.12/61.81	o 4592
66.12/61.81	o 4591
66.12/61.81	o 4590
66.12/61.81	o 4589
66.12/61.81	o 4588
66.12/61.81	o 4587
66.12/61.81	o 4586
66.12/61.82	o 4584
66.12/61.82	o 4582
66.12/61.82	o 4580
66.12/61.83	o 4579
66.12/61.83	o 4578
66.12/61.84	o 4577
66.12/61.84	o 4575
66.12/61.84	o 4570
66.12/61.84	o 4568
66.12/61.84	o 4567
66.12/61.84	o 4565
66.12/61.85	o 4563
72.08/67.76	o 4559
72.08/67.76	o 4558
72.18/67.87	o 4557
72.18/67.87	o 4556
72.18/67.87	o 4554
72.18/67.89	o 4553
74.71/70.32	o 4552
74.71/70.32	o 4550
74.71/70.32	o 4542
74.71/70.32	o 4540
74.71/70.32	o 4535
74.71/70.32	o 4533
74.71/70.32	o 4531
74.71/70.32	o 4529
74.71/70.32	o 4524
74.71/70.32	o 4518
74.71/70.32	o 4510
74.71/70.32	o 4508
74.71/70.32	o 4506
74.71/70.32	o 4504
74.71/70.33	o 4501
74.71/70.33	o 4494
74.71/70.33	o 4492
74.71/70.34	o 4491
74.81/70.41	o 4490
74.81/70.43	o 4489
74.81/70.46	o 4485
74.81/70.46	o 4483
74.81/70.46	o 4482
74.81/70.46	o 4480
74.81/70.46	o 4475
74.81/70.46	o 4473
74.81/70.46	o 4455
74.81/70.46	o 4453
75.21/70.86	o 4452
75.21/70.86	o 4449
75.21/70.86	o 4445
75.21/70.86	o 4444
75.21/70.86	o 4441
75.21/70.88	o 4439
75.21/70.88	o 4438
75.21/70.89	o 4437
75.31/70.94	o 4435
75.31/70.94	o 4434
75.31/70.95	o 4433
75.42/71.02	o 4431
76.43/72.03	o 4429
76.43/72.03	o 4427
76.43/72.03	o 4423
76.43/72.03	o 4421
77.03/72.62	o 4420
77.03/72.62	o 4418
77.03/72.63	o 4416
77.44/73.06	o 4415
77.44/73.06	o 4414
77.44/73.06	o 4412
77.44/73.06	o 4411
77.44/73.06	o 4410
77.44/73.06	o 4403
77.44/73.06	o 4401
77.44/73.06	o 4399
77.44/73.06	o 4397
77.44/73.06	o 4395
77.73/73.37	o 4390
77.73/73.37	o 4356
77.73/73.37	o 4354
77.73/73.37	o 4353
77.73/73.37	o 4351
77.73/73.37	o 4347
77.73/73.37	o 4345
77.73/73.37	o 4344
77.73/73.37	o 4343
77.73/73.37	o 4341
77.73/73.37	o 4340
77.73/73.37	o 4339
77.93/73.53	o 4334
78.74/74.38	o 4325
79.04/74.62	o 4323
79.04/74.62	o 4319
79.04/74.62	o 4311
79.04/74.62	o 4310
79.04/74.62	o 4308
79.04/74.62	o 4303
79.04/74.62	o 4294
79.04/74.62	o 4287
79.04/74.62	o 4285
79.04/74.65	o 4284
79.04/74.66	o 4282
79.14/74.71	o 4280
79.14/74.71	o 4279
79.14/74.71	o 4277
79.14/74.78	o 4275
79.14/74.79	o 4273
79.14/74.79	o 4272
79.14/74.79	o 4270
79.24/74.80	o 4269
79.24/74.80	o 4267
79.24/74.82	o 4265
79.24/74.82	o 4263
79.24/74.83	o 4257
79.24/74.83	o 4255
79.24/74.83	o 4253
79.74/75.39	o 4251
79.74/75.39	o 4249
80.05/75.67	o 4248
80.05/75.67	o 4246
80.15/75.71	o 4245
80.15/75.71	o 4244
80.15/75.71	o 4240
80.15/75.71	o 4236
80.15/75.71	o 4232
80.15/75.71	o 4230
80.15/75.71	o 4225
80.15/75.71	o 4224
80.15/75.71	o 4223
80.15/75.72	o 4221
80.15/75.72	o 4220
80.35/75.94	o 4218
80.35/75.94	o 4217
80.35/75.94	o 4216
80.35/75.94	o 4215
80.35/75.95	o 4214
80.35/75.95	o 4213
80.35/75.95	o 4212
81.47/77.01	o 4205
81.47/77.01	o 4204
81.47/77.01	o 4200
81.47/77.01	o 4199
81.47/77.01	o 4192
81.47/77.01	o 4191
81.47/77.01	o 4182
81.47/77.01	o 4171
81.47/77.01	o 4169
81.47/77.02	o 4167
81.57/77.14	o 4163
81.57/77.16	o 4161
81.98/77.57	o 4159
81.98/77.57	o 4156
81.98/77.57	o 4154
82.38/77.90	o 4153
83.18/78.76	o 4148
83.18/78.76	o 4143
83.18/78.76	o 4131
83.18/78.76	o 4126
83.18/78.76	o 4124
83.18/78.76	o 4122
83.18/78.76	o 4118
83.18/78.76	o 4117
83.18/78.76	o 4113
83.18/78.76	o 4110
83.18/78.77	o 4109
83.18/78.77	o 4105
83.18/78.77	o 4102
83.18/78.79	o 4089
83.18/78.79	o 4087
83.28/78.81	o 4085
83.28/78.88	o 4082
83.49/79.02	o 4078
83.49/79.06	o 4077
83.49/79.06	o 4075
83.49/79.06	o 4074
83.89/79.40	o 4073
83.89/79.40	o 4072
84.09/79.64	o 4071
84.20/79.71	o 4069
84.30/79.80	o 4067
84.30/79.80	o 4062
85.51/81.08	o 4061
86.72/82.22	o 4059
86.82/82.33	o 4058
86.92/82.44	o 4056
91.58/87.07	o 4052
91.58/87.07	o 4050
91.58/87.08	o 4049
91.58/87.08	o 4047
91.68/87.12	o 4045
91.77/87.23	o 4044
91.87/87.30	o 4042
92.48/87.92	o 4038
92.48/87.95	o 4037
92.48/87.95	o 4034
92.48/87.96	o 4031
92.88/88.39	o 4029
96.21/91.65	o 4028
96.21/91.65	o 4027
96.21/91.65	o 4025
96.21/91.65	o 4023
96.21/91.66	o 4021
96.81/92.26	o 4017
96.81/92.26	o 4014
96.81/92.27	o 4011
96.81/92.27	o 4010
96.81/92.27	o 4006
97.12/92.58	o 4005
97.12/92.58	o 4003
98.53/93.94	o 3991
98.74/94.11	o 3990
98.74/94.11	o 3989
98.74/94.16	o 3988
98.74/94.16	o 3985
98.74/94.16	o 3984
99.65/95.10	o 3982
102.78/98.16	o 3981
102.78/98.17	o 3980
102.78/98.17	o 3979
102.87/98.22	o 3976
102.87/98.22	o 3975
102.87/98.22	o 3974
103.38/98.76	o 3973
104.08/99.43	o 3968
104.08/99.43	o 3966
104.08/99.48	o 3965
104.08/99.49	o 3963
104.08/99.49	o 3959
104.08/99.49	o 3957
104.18/99.56	o 3956
104.18/99.57	o 3954
104.18/99.57	o 3952
104.18/99.59	o 3951
104.18/99.59	o 3950
104.18/99.59	o 3948
104.18/99.59	o 3947
104.28/99.63	o 3946
104.28/99.63	o 3945
104.48/99.86	o 3944
104.48/99.86	o 3941
104.48/99.86	o 3939
104.70/100.09	o 3938
104.70/100.09	o 3937
104.70/100.09	o 3936
104.99/100.33	o 3935
104.99/100.34	o 3934
104.99/100.34	o 3932
104.99/100.34	o 3927
105.19/100.51	o 3926
105.19/100.51	o 3922
105.19/100.51	o 3918
105.19/100.52	o 3915
105.19/100.52	o 3913
105.19/100.58	o 3912
105.19/100.58	o 3910
106.30/101.65	o 3909
106.30/101.65	o 3908
118.59/113.85	o 3907
118.59/113.85	o 3899
118.59/113.85	o 3884
118.59/113.85	o 3883
118.59/113.85	o 3872
118.59/113.89	o 3867
118.80/114.09	o 3863
118.90/114.11	o 3862
118.90/114.12	o 3861
118.90/114.17	o 3855
118.90/114.17	o 3854
118.90/114.18	o 3853
119.70/114.90	o 3845
119.70/114.90	o 3836
119.81/115.05	o 3829
121.11/116.38	o 3826
121.11/116.38	o 3825
124.44/119.63	o 3822
124.44/119.63	o 3819
124.44/119.63	o 3815
124.44/119.63	o 3812
124.44/119.64	o 3805
124.44/119.64	o 3803
124.44/119.64	o 3802
124.44/119.64	o 3801
124.44/119.64	o 3800
124.44/119.64	o 3799
124.44/119.64	o 3793
124.44/119.64	o 3791
124.44/119.64	o 3781
124.44/119.64	o 3780
124.44/119.64	o 3777
124.44/119.64	o 3776
124.44/119.64	o 3768
124.44/119.67	o 3760
124.44/119.67	o 3759
124.44/119.67	o 3752
124.44/119.67	o 3742
124.54/119.71	o 3741
124.64/119.84	o 3739
124.64/119.86	o 3734
124.74/119.93	o 3730
124.74/119.94	o 3726
124.74/119.94	o 3720
124.74/119.95	o 3719
125.25/120.44	o 3706
125.25/120.45	o 3699
125.25/120.47	o 3693
125.35/120.51	o 3692
125.35/120.52	o 3688
126.26/121.40	o 3687
126.26/121.40	o 3683
126.26/121.40	o 3681
126.26/121.41	o 3679
126.26/121.41	o 3677
126.26/121.50	o 3676
126.87/122.10	o 3672
128.28/123.42	o 3652
128.28/123.44	o 3629
128.28/123.44	o 3625
128.28/123.44	o 3623
128.28/123.44	o 3600
128.28/123.47	o 3592
128.28/123.48	o 3579
128.38/123.59	o 3578
130.51/125.61	o 3574
130.51/125.68	o 3571
130.51/125.68	o 3569
130.61/125.77	o 3568
130.61/125.78	o 3564
130.71/125.84	o 3562
133.44/128.50	o 3558
133.44/128.50	o 3557
133.44/128.50	o 3556
136.37/131.48	o 3555
136.37/131.50	o 3554
141.51/136.54	o 3553
146.75/141.75	o 3552
146.86/141.80	o 3551
152.10/147.03	o 3542
152.10/147.03	o 3538
152.10/147.03	o 3537
152.10/147.03	o 3533
152.10/147.03	o 3531
152.10/147.03	o 3530
152.10/147.03	o 3527
152.10/147.03	o 3523
152.10/147.03	o 3520
152.10/147.03	o 3519
152.10/147.03	o 3517
152.10/147.03	o 3516
152.10/147.03	o 3513
152.10/147.03	o 3502
152.10/147.03	o 3499
152.10/147.04	o 3495
152.10/147.04	o 3492
152.20/147.11	o 3490
152.40/147.31	o 3488
152.90/147.80	o 3486
153.00/147.97	o 3485
153.11/148.07	o 3484
153.11/148.07	o 3481
153.81/148.74	o 3480
153.81/148.74	o 3478
153.81/148.78	o 3477
153.81/148.79	o 3474
153.81/148.79	o 3472
153.91/148.80	o 3470
153.91/148.81	o 3468
153.91/148.82	o 3466
153.91/148.85	o 3462
153.91/148.85	o 3461
153.91/148.85	o 3460
153.91/148.85	o 3456
153.91/148.85	o 3453
153.91/148.85	o 3447
155.13/150.04	o 3445
155.13/150.05	o 3443
155.13/150.05	o 3439
155.13/150.06	o 3433
155.13/150.06	o 3429
155.13/150.08	o 3423
155.13/150.08	o 3421
155.13/150.08	o 3417
155.13/150.09	o 3416
155.23/150.11	o 3409
155.23/150.12	o 3403
155.23/150.12	o 3395
155.23/150.12	o 3387
155.23/150.12	o 3378
155.23/150.13	o 3369
155.23/150.13	o 3367
155.23/150.13	o 3362
155.23/150.13	o 3361
155.23/150.13	o 3359
155.23/150.13	o 3358
155.23/150.15	o 3357
155.23/150.15	o 3354
155.23/150.15	o 3352
155.23/150.15	o 3351
155.23/150.17	o 3328
179.49/174.20	o 3322
179.49/174.21	o 3318
179.49/174.21	o 3317
179.49/174.22	o 3312
179.49/174.22	o 3311
179.49/174.28	o 3268
179.49/174.28	o 3259
179.49/174.28	o 3251
179.49/174.28	o 3206
179.49/174.29	o 3204
179.49/174.29	o 3203
179.49/174.29	o 3199
179.49/174.29	o 3198
179.80/174.56	o 3195
179.80/174.57	o 3194
179.90/174.68	o 3185
179.90/174.68	o 3180
179.90/174.68	o 3144
179.90/174.68	o 3139
179.90/174.69	o 3136
179.90/174.69	o 3131
179.90/174.69	o 3129
179.90/174.69	o 3127
180.00/174.70	o 3125
180.00/174.70	o 3120
180.00/174.70	o 3118
180.00/174.70	o 3116
180.00/174.71	o 3112
180.00/174.71	o 3110
180.00/174.71	o 3108
180.00/174.71	o 3106
180.00/174.75	o 3105
180.00/174.75	o 3103
180.00/174.75	o 3102
180.00/174.79	o 3101
180.00/174.80	o 3100
180.10/174.89	o 3099
180.10/174.89	o 3097
180.10/174.89	o 3086
180.10/174.89	o 3074
180.10/174.89	o 3072
180.10/174.89	o 3063
180.10/174.89	o 3061
180.20/174.90	o 3057
180.20/174.90	o 3055
180.20/174.90	o 3045
180.20/174.90	o 3043
180.20/174.90	o 3034
180.20/174.90	o 3032
180.20/174.90	o 3014
180.20/174.91	o 3012
180.20/174.91	o 3011
180.20/174.91	o 3009
180.20/174.91	o 3007
180.20/174.95	o 3002
180.20/174.95	o 2999
180.20/174.95	o 2997
180.20/174.95	o 2985
180.20/174.95	o 2983
180.20/174.96	o 2977
180.20/174.96	o 2975
180.20/174.96	o 2971
180.20/174.96	o 2969
180.20/174.96	o 2968
180.20/174.97	o 2962
180.20/174.97	o 2960
180.20/174.97	o 2958
180.32/175.02	o 2956
180.32/175.02	o 2954
180.32/175.02	o 2952
180.32/175.02	o 2951
180.32/175.07	o 2950
180.61/175.33	o 2926
180.61/175.33	o 2921
180.61/175.33	o 2919
180.61/175.33	o 2917
180.61/175.33	o 2915
180.61/175.33	o 2911
180.61/175.33	o 2909
180.61/175.33	o 2906
180.61/175.33	o 2904
180.61/175.33	o 2898
180.61/175.33	o 2896
180.61/175.34	o 2895
180.61/175.34	o 2894
180.61/175.34	o 2893
180.61/175.34	o 2889
180.61/175.35	o 2886
180.61/175.36	o 2885
180.61/175.36	o 2883
180.61/175.36	o 2873
180.61/175.36	o 2871
180.61/175.36	o 2868
180.61/175.39	o 2864
180.61/175.39	o 2853
180.81/175.52	o 2852
181.02/175.73	o 2849
181.02/175.73	o 2848
181.12/175.80	o 2846
181.12/175.80	o 2845
181.22/175.94	o 2844
181.52/176.23	o 2838
181.52/176.23	o 2837
181.62/176.38	o 2835
181.62/176.38	o 2834
182.02/176.77	o 2832
182.02/176.78	o 2831
182.22/176.94	o 2828
184.43/179.19	o 2826
184.43/179.19	o 2825
184.43/179.19	o 2824
184.43/179.19	o 2823
184.43/179.20	o 2822
184.52/179.20	o 2821
184.52/179.20	o 2815
184.52/179.20	o 2805
184.52/179.21	o 2795
184.52/179.21	o 2791
184.52/179.22	o 2789
184.52/179.22	o 2773
184.52/179.27	o 2772
184.52/179.27	o 2769
184.52/179.27	o 2768
184.52/179.27	o 2765
184.52/179.27	o 2764
184.52/179.28	o 2763
184.52/179.28	o 2759
184.52/179.28	o 2757
184.52/179.28	o 2756
184.52/179.29	o 2755
184.52/179.29	o 2754
184.52/179.29	o 2753
184.52/179.29	o 2752
184.62/179.30	o 2749
184.62/179.31	o 2748
184.62/179.37	o 2746
184.62/179.37	o 2745
184.82/179.59	o 2743
184.82/179.59	o 2742
184.92/179.61	o 2741
184.92/179.62	o 2740
184.92/179.63	o 2739
184.92/179.63	o 2737
185.13/179.83	o 2736
185.13/179.84	o 2735
185.23/179.95	o 2734
188.96/183.66	o 2733
188.96/183.67	o 2732
188.96/183.67	o 2731
188.96/183.67	o 2730
188.96/183.67	o 2729
188.96/183.67	o 2726
188.96/183.67	o 2725
188.96/183.68	o 2721
189.07/183.70	o 2720
189.07/183.70	o 2718
189.07/183.70	o 2714
189.07/183.78	o 2713
189.07/183.78	o 2710
189.07/183.78	o 2709
189.47/184.14	o 2700
189.47/184.14	o 2698
189.47/184.15	o 2697
189.47/184.15	o 2686
189.47/184.17	o 2680
189.47/184.17	o 2677
189.47/184.18	o 2676
189.47/184.18	o 2675
189.57/184.24	o 2670
189.57/184.26	o 2669
189.57/184.28	o 2668
189.57/184.29	o 2663
189.57/184.29	o 2662
189.67/184.33	o 2661
189.67/184.33	o 2659
189.67/184.33	o 2652
189.67/184.37	o 2651
189.77/184.45	o 2649
189.87/184.52	o 2645
189.87/184.52	o 2642
189.87/184.52	o 2641
189.87/184.52	o 2640
190.67/185.36	o 2639
190.67/185.36	o 2638
190.67/185.37	o 2635
190.67/185.37	o 2634
190.77/185.41	o 2613
190.77/185.41	o 2612
190.77/185.42	o 2584
190.77/185.42	o 2583
190.77/185.43	o 2574
190.77/185.43	o 2573
190.77/185.43	o 2572
190.77/185.43	o 2571
190.77/185.44	o 2569
190.77/185.44	o 2568
190.77/185.47	o 2567
190.77/185.47	o 2566
252.03/246.30	s SATISFIABLE
252.03/246.30	v <instantiation>
252.03/246.30	v 	<list>
252.03/246.30	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]
252.03/246.30	v 	</list>
252.03/246.30	v 	<values>
252.03/246.30	v 		5 22 27 13 4 19 3 5 5 7 7 19 1 8 8 16 10 10 12 0 4 3 4 6 11 21 1 8 14 6 13 1 9 4 14 11 26 10 5 6 53 7 55 1 11 108 71 14 16 60 122 15 8 12 9 9 18 67 75 93 6 8 2 16 7 78 12 12 4 3 2 0 19 0 3 11 1 20 5 96 6 15 2 18 38 1 112 0 4 1 90 17 22 25 85 0 0 11 13 7 83 76 6 27 49 113 8 29 3 45 12 20 16 35 5 2 2 2 15 11 4 9 13 4 3 
252.03/246.30	v 	</values>
252.03/246.30	v </instantiation>

Verifier Data 

OK	2566

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312322-1534569396/watcher-4312322-1534569396 -o /tmp/evaluation-result-4312322-1534569396/solver-4312322-1534569396 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534568900-8839 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 964810715 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312322-1534569396.xml 

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

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


[startup+0.100226 s]*
/proc/loadavg: 1.43 1.43 1.34 4/215 9222
/proc/meminfo: memFree=22593020/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14082736 memory=30472 CPUtime=0.12 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 6535 0 0 0 10 2 0 0 20 0 15 0 274502819 14420721664 7618 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3520684 7618 3153 1 0 3482761 0
[pid=9207/tid=9209] ppid=9204 vsize=14082736 memory=-8824344396928218304 CPUtime=0.09 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 4578 0 0 0 8 1 0 0 20 0 15 0 274502819 14420721664 7618 33554432000 4194304 4196468 140724444652432 139806871875944 139806851753310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 7618 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 7618 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 7618 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 7618 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805779506592 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) S 9204 9207 5555 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805775296624 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0.01 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) S 9204 9207 5555 0 -1 1077944384 301 0 0 0 1 0 0 0 20 0 15 0 274502825 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805774244080 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 7618 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30472 KiB

[startup+0.210273 s]*
/proc/loadavg: 1.43 1.43 1.34 5/215 9222
/proc/meminfo: memFree=22577392/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14082736 memory=47384 CPUtime=0.32 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 10401 0 0 0 29 3 0 0 20 0 15 0 274502819 14420721664 11846 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3520684 11846 3429 1 0 3482761 0
[pid=9207/tid=9209] ppid=9204 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 1077944384 8072 0 0 0 18 2 0 0 20 0 15 0 274502819 14420721664 11846 33554432000 4194304 4196468 140724444652432 139806871899776 139806867683029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14082736 memory=342 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 11846 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14082736 memory=139685762558840 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 11846 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 11846 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 11846 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805779506592 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) R 9204 9207 5555 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 274502825 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) R 9204 9207 5555 0 -1 4202560 135 0 0 0 2 0 0 0 20 0 15 0 274502825 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805775288128 139806852799180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0.06 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) R 9204 9207 5555 0 -1 4202560 352 0 0 0 6 0 0 0 20 0 15 0 274502825 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805774239760 139806867694170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 11846 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47384 KiB

[startup+0.314449 s]*
/proc/loadavg: 1.43 1.43 1.34 3/215 9222
/proc/meminfo: memFree=22573236/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14082736 memory=50880 CPUtime=0.44 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 10780 0 0 0 41 3 0 0 20 0 15 0 274502819 14420721664 12720 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3520684 12720 3432 1 0 3482761 0
[pid=9207/tid=9209] ppid=9204 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 8420 0 0 0 28 2 0 0 20 0 15 0 274502819 14420721664 12720 33554432000 4194304 4196468 140724444652432 139806871866080 139806849237796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14082736 memory=290763875203416087 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 12720 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14082736 memory=15394521496274584 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 12720 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 12720 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274502820 14420721664 12720 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805779506592 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274502822 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) S 9204 9207 5555 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 274502825 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) S 9204 9207 5555 0 -1 1077944384 141 0 0 0 3 0 0 0 20 0 15 0 274502825 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805775296624 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0.08 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) S 9204 9207 5555 0 -1 1077944384 370 0 0 0 8 0 0 0 20 0 15 0 274502825 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805774244080 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14082736 memory=139685762549376 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502825 14420721664 12720 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50880 KiB

[startup+0.700802 s]
/proc/loadavg: 1.43 1.43 1.34 3/215 9222
/proc/meminfo: memFree=22549220/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14084804 memory=89284 CPUtime=0.99 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 17642 0 0 0 93 6 0 0 20 0 15 0 274502819 14422839296 22321 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3521201 22321 3505 1 0 3483273 0
[pid=9207/tid=9209] ppid=9204 vsize=14084804 memory=4188 CPUtime=0.67 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 14879 0 0 0 63 4 0 0 20 0 15 0 274502819 14422839296 22321 33554432000 4194304 4196468 140724444652432 139806871896928 139806853913008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14084804 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14422839296 22321 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14084804 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14422839296 22321 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14084804 memory=520 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14422839296 22321 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14084804 memory=960 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274502820 14422839296 22321 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274502822 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14084804 memory=2348 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274502822 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805779506592 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14084804 memory=932 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274502822 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14084804 memory=6153431502485414242 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14084804 memory=8100100389755967824 CPUtime=0.06 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) S 9204 9207 5555 0 -1 1077944384 638 0 0 0 6 0 0 0 20 0 15 0 274502825 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14084804 memory=6154282490091891024 CPUtime=0.08 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) S 9204 9207 5555 0 -1 1077944384 282 0 0 0 8 0 0 0 20 0 15 0 274502825 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805775296624 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) S 9204 9207 5555 0 -1 1077944384 463 0 0 0 15 0 0 0 20 0 15 0 274502825 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805774244080 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14084804 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502825 14422839296 22321 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89284 KiB

[startup+1.50097 s]
/proc/loadavg: 1.47 1.44 1.34 5/215 9222
/proc/meminfo: memFree=22504796/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14088900 memory=190340 CPUtime=3.38 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 23740 0 0 0 329 9 0 0 20 0 15 0 274502819 14427033600 47585 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3522225 47585 3550 1 0 3484297 0
[pid=9207/tid=9209] ppid=9204 vsize=14088900 memory=169276 CPUtime=1.47 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 17561 0 0 0 141 6 0 0 20 0 15 0 274502819 14427033600 47585 33554432000 4194304 4196468 140724444652432 139806871906992 139806509730148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14088900 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14427033600 47585 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14427033600 47585 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274502820 14427033600 47585 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274502820 14427033600 47585 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 274502822 14427033600 47585 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0

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

/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 23250 0 0 0 16148 8 0 0 20 0 15 0 274502819 14429130752 52975 33554432000 4194304 4196468 140724444652432 139806871911088 139806512538131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14090948 memory=212224 CPUtime=0.47 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 2515 0 0 0 44 3 0 0 20 0 15 0 274502820 14429130752 52975 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14090948 memory=206436 CPUtime=0.46 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 3617 0 0 0 43 3 0 0 20 0 15 0 274502820 14429130752 52975 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14090948 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 2012 0 0 0 43 3 0 0 20 0 15 0 274502820 14429130752 52975 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14090948 memory=212224 CPUtime=0.46 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 2817 0 0 0 43 3 0 0 20 0 15 0 274502820 14429130752 52975 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14090948 memory=212224 CPUtime=0.15 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 1796 0 0 0 13 2 0 0 20 0 15 0 274502822 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14090948 memory=207968 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805779506656 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14090948 memory=6864 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14090948 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14090948 memory=212224 CPUtime=1.52 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) S 9204 9207 5555 0 -1 1077944384 6983 0 0 0 151 1 0 0 20 0 15 0 274502825 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14090948 memory=1396 CPUtime=1.46 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) S 9204 9207 5555 0 -1 1077944384 6692 0 0 0 144 2 0 0 20 0 15 0 274502825 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805775296624 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14090948 memory=212224 CPUtime=0.85 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) S 9204 9207 5555 0 -1 1077944384 10886 0 0 0 84 1 0 0 20 0 15 0 274502825 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805774244080 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14090948 memory=212224 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14090948 memory=211900 CPUtime=0.04 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 655 0 0 0 2 2 0 0 20 0 15 0 274502825 14429130752 52975 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 167.52 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 211900 KiB

[startup+222.301 s]
/proc/loadavg: 1.18 1.36 1.33 3/216 9311
/proc/meminfo: memFree=22421180/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14090948 memory=221292 CPUtime=227.91 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 65575 0 0 0 22756 35 0 0 20 0 15 0 274502819 14429130752 55323 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3522737 55323 3584 1 0 3484809 0
[pid=9207/tid=9209] ppid=9204 vsize=14090948 memory=221804 CPUtime=221.36 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 23678 0 0 0 22127 9 0 0 20 0 15 0 274502819 14429130752 55323 33554432000 4194304 4196468 140724444652432 139806871911088 139806511905088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14090948 memory=221292 CPUtime=0.59 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 2710 0 0 0 55 4 0 0 20 0 15 0 274502820 14429130752 55323 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14090948 memory=221292 CPUtime=0.59 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 3806 0 0 0 55 4 0 0 20 0 15 0 274502820 14429130752 55323 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14090948 memory=221292 CPUtime=0.59 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 2235 0 0 0 55 4 0 0 20 0 15 0 274502820 14429130752 55323 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14090948 memory=221804 CPUtime=0.59 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 3402 0 0 0 55 4 0 0 20 0 15 0 274502820 14429130752 55323 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14090948 memory=221292 CPUtime=0.21 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 1824 0 0 0 19 2 0 0 20 0 15 0 274502822 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14090948 memory=219756 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805779506656 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14090948 memory=219756 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14090948 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14090948 memory=6868 CPUtime=1.52 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) S 9204 9207 5555 0 -1 1077944384 7505 0 0 0 151 1 0 0 20 0 15 0 274502825 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14090948 memory=5356 CPUtime=1.47 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) S 9204 9207 5555 0 -1 1077944384 6934 0 0 0 145 2 0 0 20 0 15 0 274502825 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805775296624 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14090948 memory=872 CPUtime=0.85 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) S 9204 9207 5555 0 -1 1077944384 11395 0 0 0 84 1 0 0 20 0 15 0 274502825 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805774244080 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14090948 memory=221292 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14090948 memory=812 CPUtime=0.06 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 663 0 0 0 2 4 0 0 20 0 15 0 274502825 14429130752 55323 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 227.91 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 221292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.301 s]
/proc/loadavg: 1.31 1.38 1.34 3/216 9311
/proc/meminfo: memFree=22415296/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14090948 memory=225388 CPUtime=252.03 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 66718 0 0 0 25167 36 0 0 20 0 15 0 274502819 14429130752 56347 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3522737 56347 3584 1 0 3484809 0
[pid=9207/tid=9209] ppid=9204 vsize=14090948 memory=223340 CPUtime=245.29 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 23954 0 0 0 24520 9 0 0 20 0 15 0 274502819 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806871911008 139806512537733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14090948 memory=223340 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 2867 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14090948 memory=225388 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 3952 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14090948 memory=223340 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 2286 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14090948 memory=916 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 3665 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14090948 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 2055 0 0 0 21 2 0 0 20 0 15 0 274502822 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805779506656 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14090948 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14090948 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14090948 memory=2344 CPUtime=1.52 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) S 9204 9207 5555 0 -1 1077944384 7506 0 0 0 151 1 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14090948 memory=225388 CPUtime=1.47 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) S 9204 9207 5555 0 -1 1077944384 6934 0 0 0 145 2 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805775296624 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14090948 memory=225388 CPUtime=0.85 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) S 9204 9207 5555 0 -1 1077944384 11396 0 0 0 84 1 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805774244080 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14090948 memory=223340 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14090948 memory=1220 CPUtime=0.07 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 680 0 0 0 3 4 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 225388 KiB

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

[startup+246.326 s]
# the end of solver process 9207 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.684 s, system=0.371528 s

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

[startup+246.301 s]
/proc/loadavg: 1.31 1.38 1.34 3/216 9311
/proc/meminfo: memFree=22415296/32770624 swapFree=67108836/67108860
[pid=9207] ppid=9204 vsize=14090948 memory=225388 CPUtime=252.03 cores=1,3,5,7
/proc/9207/stat : 9207 (java) S 9204 9207 5555 0 -1 1077944320 66718 0 0 0 25167 36 0 0 20 0 15 0 274502819 14429130752 56347 33554432000 4194304 4196468 140724444652432 140724444634976 139806867672823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
/proc/9207/statm: 3522737 56347 3584 1 0 3484809 0
[pid=9207/tid=9209] ppid=9204 vsize=14090948 memory=223340 CPUtime=245.29 cores=1,3,5,7
/proc/9207/task/9209/stat : 9209 (java) R 9204 9207 5555 0 -1 4202560 23954 0 0 0 24520 9 0 0 20 0 15 0 274502819 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806871911008 139806512537733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9210] ppid=9204 vsize=14090948 memory=223340 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9210/stat : 9210 (java) S 9204 9207 5555 0 -1 1077944384 2867 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806824225040 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9211] ppid=9204 vsize=14090948 memory=225388 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9211/stat : 9211 (java) S 9204 9207 5555 0 -1 1077944384 3952 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806462372240 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9212] ppid=9204 vsize=14090948 memory=223340 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9212/stat : 9212 (java) S 9204 9207 5555 0 -1 1077944384 2286 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806461319696 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9213] ppid=9204 vsize=14090948 memory=916 CPUtime=0.63 cores=1,3,5,7
/proc/9207/task/9213/stat : 9213 (java) S 9204 9207 5555 0 -1 1077944384 3665 0 0 0 59 4 0 0 20 0 15 0 274502820 14429130752 56347 33554432000 4194304 4196468 140724444652432 139806460267152 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9214] ppid=9204 vsize=14090948 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/9207/task/9214/stat : 9214 (java) S 9204 9207 5555 0 -1 1077944384 2055 0 0 0 21 2 0 0 20 0 15 0 274502822 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805780560368 139806867683970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9215] ppid=9204 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9215/stat : 9215 (java) S 9204 9207 5555 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805779506656 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9216] ppid=9204 vsize=14090948 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9216/stat : 9216 (java) S 9204 9207 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274502822 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805778454000 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9217] ppid=9204 vsize=14090948 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9217/stat : 9217 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805777402576 139806867691419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9218] ppid=9204 vsize=14090948 memory=2344 CPUtime=1.52 cores=1,3,5,7
/proc/9207/task/9218/stat : 9218 (java) S 9204 9207 5555 0 -1 1077944384 7506 0 0 0 151 1 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805776349168 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9219] ppid=9204 vsize=14090948 memory=225388 CPUtime=1.47 cores=1,3,5,7
/proc/9207/task/9219/stat : 9219 (java) S 9204 9207 5555 0 -1 1077944384 6934 0 0 0 145 2 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805775296624 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9220] ppid=9204 vsize=14090948 memory=225388 CPUtime=0.85 cores=1,3,5,7
/proc/9207/task/9220/stat : 9220 (java) S 9204 9207 5555 0 -1 1077944384 11396 0 0 0 84 1 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805774244080 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9221] ppid=9204 vsize=14090948 memory=223340 CPUtime=0 cores=1,3,5,7
/proc/9207/task/9221/stat : 9221 (java) S 9204 9207 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805773191776 139806867683029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
[pid=9207/tid=9222] ppid=9204 vsize=14090948 memory=1220 CPUtime=0.07 cores=1,3,5,7
/proc/9207/task/9222/stat : 9222 (java) S 9204 9207 5555 0 -1 1077944384 680 0 0 0 3 4 0 0 20 0 15 0 274502825 14429130752 56347 33554432000 4194304 4196468 140724444652432 139805772139312 139806867683970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15749120 140724444660815 140724444661006 140724444661006 140724444663759 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 225388 KiB

Child status: 143
Real time (s): 246.326
CPU time (s): 252.056
CPU user time (s): 251.684
CPU system time (s): 0.371528
CPU usage (%): 102.326
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 279632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.684
system time used= 0.371528
maximum resident set size= 280148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13579
involuntary context switches= 326


# summary of solver processes directly reported to runsolver:
#   pid: 9207
#   total CPU time (s): 252.056
#   total CPU user time (s): 251.684
#   total CPU system time (s): 0.371528

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27901 second user time and 2.49186 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-18 07:16:36
IDJOB=4312322
IDBENCH=141223
IDSOLVER=2800
FILE ID=node139/4312322-1534569396
RUNJOBID= node139-1534568900-8839
PBS_JOBID= 21038632
Free space on /tmp= 44196 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-4312322-1534569396/watcher-4312322-1534569396 -o /tmp/evaluation-result-4312322-1534569396/solver-4312322-1534569396 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534568900-8839 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 964810715 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312322-1534569396.xml

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

MD5SUM BENCH= 08115146c0ac9b7e4849c5cb62d96e41
RANDOM SEED=964810715

node139.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.80
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.80
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.80
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.80
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:        22611256 kB
MemAvailable:   31719340 kB
Buffers:          248192 kB
Cached:          9065440 kB
SwapCached:           16 kB
Active:          5274448 kB
Inactive:        4264004 kB
Active(anon):     202824 kB
Inactive(anon):    90468 kB
Active(file):    5071624 kB
Inactive(file):  4173536 kB
Unevictable:        7156 kB
Mlocked:            7156 kB
SwapTotal:      67108860 kB
SwapFree:       67108836 kB
Dirty:             35872 kB
Writeback:             0 kB
AnonPages:        257656 kB
Mapped:            36356 kB
Shmem:             66164 kB
Slab:             320236 kB
SReclaimable:     291384 kB
SUnreclaim:        28852 kB
KernelStack:        3792 kB
PageTables:         5808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1227880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 44160 MiB
End job on node139 at 2018-08-18 07:20:43