Trace number 4290460

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-07-02SAT (TO)1708 2400.03 2381.03

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-5_c18.xml
MD5SUM08115146c0ac9b7e4849c5cb62d96e41
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1014
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints3891
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree52
Maximum variable degree76
Distribution of variable degrees[{"degree":52,"count":2},{"degree":54,"count":3},{"degree":55,"count":3},{"degree":56,"count":4},{"degree":57,"count":7},{"degree":58,"count":6},{"degree":59,"count":7},{"degree":60,"count":6},{"degree":61,"count":12},{"degree":62,"count":11},{"degree":63,"count":6},{"degree":64,"count":7},{"degree":65,"count":11},{"degree":66,"count":6},{"degree":67,"count":4},{"degree":68,"count":8},{"degree":69,"count":6},{"degree":70,"count":5},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":2},{"degree":74,"count":3},{"degree":75,"count":1},{"degree":76,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3891}]
Number of extensional constraints0
Number of intensional constraints3891
Distribution of constraint types[{"type":"intension","count":3891}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.68/0.55	c version: 2018-07-02
0.68/0.55	c seed: 1857704422
0.68/0.56	c timeout: 2400
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
3.66/1.69	c Parsing done, starting search...
3.97/1.76	o 8540
3.97/1.79	o 8534
3.97/1.79	o 8508
3.97/1.79	o 8507
3.97/1.79	o 8504
3.97/1.79	o 8503
3.97/1.79	o 8500
3.97/1.79	o 8476
3.97/1.79	o 8475
3.97/1.79	o 8471
3.97/1.79	o 8468
3.97/1.79	o 8465
3.97/1.79	o 8464
3.97/1.80	o 8453
3.97/1.80	o 8442
4.29/1.80	o 8441
4.29/1.80	o 8437
4.29/1.80	o 8435
4.29/1.80	o 8430
4.29/1.80	o 8427
4.29/1.80	o 8397
4.29/1.80	o 8396
4.29/1.80	o 8394
4.29/1.80	o 8393
4.29/1.81	o 8391
4.29/1.81	o 8382
4.29/1.81	o 8378
4.29/1.81	o 8352
4.29/1.81	o 8351
4.29/1.81	o 8349
4.29/1.81	o 8348
4.29/1.81	o 8345
4.29/1.81	o 8315
4.29/1.81	o 8311
4.29/1.81	o 8310
4.29/1.81	o 8307
4.29/1.81	o 8296
4.29/1.81	o 8295
4.29/1.81	o 8292
4.29/1.81	o 8288
4.29/1.81	o 8284
4.29/1.81	o 8275
4.29/1.81	o 8274
4.29/1.81	o 8271
4.29/1.81	o 8268
4.29/1.81	o 8266
4.29/1.82	o 8227
4.29/1.82	o 8223
4.29/1.82	o 8211
4.29/1.82	o 8210
4.29/1.82	o 8209
4.29/1.82	o 8207
4.29/1.82	o 8206
4.29/1.83	o 8202
4.29/1.83	o 8201
4.29/1.83	o 8199
4.29/1.83	o 8178
4.29/1.83	o 8145
4.29/1.83	o 8137
4.29/1.83	o 8136
4.29/1.83	o 8135
4.29/1.83	o 8128
4.29/1.83	o 8125
4.29/1.83	o 8116
4.29/1.83	o 8109
4.29/1.83	o 8106
4.29/1.83	o 8105
4.29/1.84	o 8095
4.29/1.84	o 8080
4.29/1.84	o 8068
4.29/1.84	o 8065
4.29/1.84	o 8064
4.29/1.84	o 8063
4.29/1.84	o 8062
4.29/1.84	o 8059
4.29/1.85	o 8057
4.29/1.85	o 8055
4.29/1.85	o 8053
4.29/1.85	o 8052
4.29/1.85	o 8050
4.29/1.85	o 8049
4.29/1.86	o 8048
4.29/1.87	o 8047
4.29/1.90	o 8045
4.61/1.90	o 8044
4.61/1.90	o 8036
4.61/1.90	o 8035
4.61/1.90	o 8034
4.61/1.90	o 8033
4.61/1.90	o 8032
4.61/1.90	o 8026
4.61/1.90	o 8024
4.61/1.90	o 8023
4.61/1.91	o 8020
4.61/1.92	o 8019
4.61/1.94	o 7991
4.61/1.94	o 7989
4.61/1.94	o 7987
4.61/1.94	o 7985
4.61/1.94	o 7983
4.61/1.94	o 7981
4.61/1.94	o 7980
4.61/1.95	o 7979
4.61/1.96	o 7978
4.61/1.99	o 7977
4.61/1.99	o 7976
4.94/2.03	o 7975
4.94/2.07	o 7954
4.94/2.07	o 7952
4.94/2.07	o 7950
4.94/2.08	o 7948
4.94/2.08	o 7918
4.94/2.08	o 7916
4.94/2.08	o 7914
4.94/2.08	o 7912
4.94/2.08	o 7906
4.94/2.08	o 7904
4.94/2.08	o 7901
4.94/2.08	o 7900
4.94/2.08	o 7898
4.94/2.08	o 7895
4.94/2.09	o 7893
5.24/2.12	o 7892
5.24/2.12	o 7891
5.24/2.16	o 7889
5.24/2.17	o 7888
5.24/2.18	o 7886
5.38/2.23	o 7885
5.38/2.24	o 7884
5.72/2.52	o 7883
5.72/2.52	o 7881
5.72/2.52	o 7879
5.72/2.52	o 7877
5.72/2.52	o 7875
5.72/2.53	o 7873
5.72/2.53	o 7871
5.72/2.53	o 7870
5.72/2.53	o 7869
5.72/2.53	o 7867
5.72/2.53	o 7866
5.72/2.53	o 7863
5.72/2.53	o 7862
5.72/2.53	o 7861
5.72/2.56	o 7860
5.99/2.77	o 7859
5.99/2.77	o 7858
5.99/2.77	o 7856
5.99/2.78	o 7854
5.99/2.78	o 7852
5.99/2.78	o 7833
5.99/2.78	o 7831
5.99/2.78	o 7829
5.99/2.78	o 7828
5.99/2.78	o 7827
5.99/2.78	o 7825
5.99/2.78	o 7824
5.99/2.78	o 7821
5.99/2.78	o 7820
5.99/2.78	o 7819
5.99/2.78	o 7817
5.99/2.78	o 7750
5.99/2.78	o 7746
5.99/2.78	o 7745
5.99/2.78	o 7743
5.99/2.78	o 7734
5.99/2.78	o 7726
5.99/2.78	o 7636
5.99/2.78	o 7635
5.99/2.78	o 7574
5.99/2.78	o 7557
5.99/2.78	o 7553
5.99/2.78	o 7536
5.99/2.79	o 7531
5.99/2.79	o 7508
5.99/2.79	o 7507
5.99/2.79	o 7506
5.99/2.79	o 7503
5.99/2.79	o 7496
5.99/2.79	o 7493
5.99/2.79	o 7486
5.99/2.79	o 7482
5.99/2.79	o 7481
5.99/2.80	o 7478
5.99/2.80	o 7474
5.99/2.80	o 7468
5.99/2.80	o 7467
5.99/2.80	o 7465
5.99/2.80	o 7454
5.99/2.80	o 7449
5.99/2.80	o 7448
5.99/2.80	o 7447
5.99/2.80	o 7408
5.99/2.80	o 7401
5.99/2.80	o 7398
5.99/2.80	o 7395
6.18/2.80	o 7394
6.18/2.80	o 7393
6.18/2.80	o 7391
6.18/2.81	o 7382
6.18/2.81	o 7374
6.18/2.81	o 7366
6.18/2.81	o 7363
6.18/2.81	o 7362
6.18/2.81	o 7361
6.18/2.81	o 7360
6.18/2.83	o 7353
6.18/2.83	o 7349
6.18/2.83	o 7347
6.18/2.83	o 7346
6.18/2.83	o 7345
6.18/2.83	o 7343
6.18/2.84	o 7338
6.18/2.84	o 7334
6.18/2.84	o 7331
6.18/2.84	o 7329
6.18/2.85	o 7328
6.18/2.88	o 7327
6.18/2.88	o 7324
6.18/2.88	o 7322
6.18/2.88	o 7263
6.18/2.88	o 7261
6.18/2.88	o 7259
6.18/2.88	o 7257
6.18/2.88	o 7255
6.18/2.88	o 7246
6.18/2.88	o 7244
6.18/2.88	o 7240
6.18/2.88	o 7238
6.18/2.88	o 7236
6.18/2.88	o 7235
6.18/2.89	o 7233
6.18/2.89	o 7231
6.18/2.89	o 7229
6.18/2.89	o 7227
6.18/2.89	o 7226
6.18/2.89	o 7225
6.18/2.89	o 7223
6.18/2.89	o 7222
6.18/2.89	o 7220
6.18/2.89	o 7219
6.18/2.89	o 7218
6.18/2.89	o 7217
6.18/2.90	o 7216
6.18/2.90	o 7215
6.18/2.90	o 7214
6.30/2.90	o 7213
6.30/2.91	o 7212
6.30/2.93	o 7211
6.30/2.93	o 7210
6.30/2.97	o 7208
6.30/2.97	o 7189
6.30/2.97	o 7185
6.30/2.97	o 7182
6.30/2.97	o 7177
6.30/2.97	o 7174
6.30/2.97	o 7171
6.30/2.97	o 7165
6.30/2.97	o 7163
6.30/2.97	o 7154
6.30/2.97	o 7152
6.30/2.97	o 7151
6.30/2.97	o 7148
6.30/2.97	o 7143
6.30/2.97	o 7142
6.30/2.97	o 7141
6.30/2.97	o 7138
6.30/2.97	o 7137
6.30/2.99	o 7136
6.30/3.00	o 7135
6.45/3.02	o 7134
6.45/3.02	o 7133
6.45/3.06	o 7132
6.45/3.06	o 7130
6.45/3.06	o 7129
6.45/3.06	o 7128
6.65/3.27	o 7127
6.65/3.29	o 7126
6.78/3.38	o 7125
6.78/3.38	o 7124
6.91/3.49	o 7120
6.91/3.49	o 7118
6.91/3.49	o 7113
6.91/3.49	o 7110
6.91/3.49	o 7105
6.91/3.49	o 7094
6.91/3.49	o 7093
6.91/3.50	o 7089
6.91/3.50	o 7088
7.01/3.50	o 7087
7.01/3.50	o 7086
7.01/3.50	o 7085
7.01/3.50	o 7084
7.01/3.50	o 7082
7.01/3.50	o 7081
7.01/3.50	o 7079
7.01/3.51	o 7077
7.01/3.51	o 7076
7.01/3.56	o 7075
7.01/3.56	o 7074
7.01/3.57	o 7072
7.65/4.07	o 7056
7.65/4.07	o 7053
7.65/4.07	o 7048
7.65/4.07	o 7013
7.65/4.07	o 7011
7.65/4.07	o 7009
7.65/4.08	o 7008
7.65/4.08	o 7006
7.65/4.08	o 7005
7.65/4.08	o 7001
7.65/4.08	o 7000
7.65/4.08	o 6998
7.65/4.08	o 6996
7.65/4.08	o 6995
7.65/4.08	o 6989
7.65/4.08	o 6924
7.65/4.08	o 6912
7.65/4.08	o 6906
7.65/4.08	o 6902
7.65/4.08	o 6871
7.65/4.08	o 6869
7.65/4.08	o 6867
7.65/4.08	o 6844
7.65/4.08	o 6840
7.65/4.08	o 6826
7.65/4.08	o 6821
7.65/4.08	o 6817
7.65/4.08	o 6810
7.65/4.09	o 6808
7.65/4.09	o 6804
7.65/4.09	o 6798
7.65/4.09	o 6796
7.65/4.09	o 6794
7.65/4.09	o 6793
7.65/4.09	o 6791
7.65/4.09	o 6790
7.65/4.09	o 6784
7.65/4.11	o 6781
7.75/4.11	o 6780
7.75/4.11	o 6778
7.75/4.11	o 6775
7.75/4.11	o 6774
7.75/4.11	o 6773
7.75/4.13	o 6732
7.75/4.13	o 6731
7.75/4.13	o 6716
7.75/4.13	o 6714
7.75/4.13	o 6713
7.75/4.13	o 6712
7.75/4.13	o 6711
7.75/4.14	o 6710
7.75/4.15	o 6709
7.75/4.15	o 6706
7.75/4.16	o 6702
7.75/4.16	o 6701
7.75/4.16	o 6700
7.85/4.20	o 6699
7.85/4.21	o 6697
7.85/4.21	o 6696
7.85/4.22	o 6695
7.85/4.26	o 6645
7.85/4.26	o 6638
7.85/4.26	o 6629
7.85/4.26	o 6621
7.85/4.27	o 6616
7.85/4.27	o 6615
7.95/4.30	o 6614
7.95/4.30	o 6612
7.95/4.31	o 6610
7.95/4.31	o 6607
7.95/4.31	o 6605
7.95/4.38	o 6603
7.95/4.38	o 6589
7.95/4.38	o 6588
7.95/4.38	o 6584
7.95/4.38	o 6581
7.95/4.38	o 6579
7.95/4.39	o 6575
8.05/4.40	o 6572
8.05/4.43	o 6568
8.05/4.43	o 6567
8.05/4.45	o 6565
8.05/4.45	o 6564
8.15/4.53	o 6563
8.44/4.99	o 6562
8.44/4.99	o 6561
8.44/4.99	o 6560
8.44/4.99	o 6558
8.67/5.18	o 6557
8.86/5.38	o 6552
8.86/5.38	o 6546
8.86/5.38	o 6545
8.86/5.38	o 6538
8.86/5.38	o 6533
8.86/5.38	o 6531
8.86/5.38	o 6528
8.86/5.38	o 6525
8.86/5.38	o 6505
8.86/5.38	o 6495
8.86/5.38	o 6489
8.86/5.38	o 6484
8.86/5.38	o 6481
8.86/5.38	o 6478
8.86/5.38	o 6475
8.86/5.38	o 6473
8.86/5.38	o 6470
8.86/5.38	o 6438
8.86/5.38	o 6427
8.86/5.38	o 6424
8.86/5.38	o 6413
8.86/5.38	o 6410
8.86/5.38	o 6386
8.86/5.38	o 6383
8.86/5.38	o 6373
8.86/5.38	o 6370
8.86/5.39	o 6363
8.86/5.39	o 6360
8.86/5.39	o 6357
8.86/5.39	o 6353
8.86/5.39	o 6352
8.86/5.39	o 6349
8.96/5.41	o 6348
8.96/5.42	o 6347
8.96/5.46	o 6344
8.96/5.46	o 6342
8.96/5.46	o 6338
8.96/5.46	o 6337
8.96/5.46	o 6333
8.96/5.46	o 6331
8.96/5.47	o 6329
8.96/5.48	o 6328
8.96/5.48	o 6326
8.96/5.48	o 6325
8.96/5.49	o 6324
8.96/5.49	o 6322
9.06/5.50	o 6320
10.17/6.68	o 6314
10.17/6.68	o 6310
10.17/6.68	o 6305
10.17/6.68	o 6302
10.17/6.68	o 6272
10.17/6.68	o 6258
10.17/6.68	o 6254
10.17/6.68	o 6249
10.17/6.68	o 6232
10.17/6.68	o 6228
10.17/6.68	o 6223
10.17/6.68	o 6220
10.17/6.68	o 6214
10.17/6.68	o 6212
10.17/6.68	o 6211
10.17/6.68	o 6210
10.17/6.68	o 6208
10.17/6.68	o 6205
10.17/6.68	o 6203
10.17/6.68	o 6202
10.17/6.68	o 6186
10.17/6.68	o 6166
10.17/6.68	o 6151
10.17/6.68	o 6149
10.17/6.68	o 6144
10.17/6.68	o 6143
10.17/6.68	o 6142
10.17/6.68	o 6140
10.17/6.70	o 6138
10.17/6.70	o 6130
10.27/6.70	o 6125
10.27/6.70	o 6116
10.27/6.70	o 6081
10.27/6.70	o 6077
10.27/6.70	o 6071
10.27/6.70	o 6067
10.27/6.71	o 6066
10.27/6.73	o 6065
10.27/6.73	o 6064
10.27/6.73	o 6061
10.27/6.73	o 6060
10.27/6.74	o 6059
10.37/6.89	o 6057
10.37/6.89	o 6054
10.37/6.89	o 6053
10.52/6.90	o 6052
10.52/6.90	o 6051
10.52/6.91	o 6049
10.52/6.91	o 6048
10.52/6.91	o 6047
10.52/6.91	o 6046
10.52/6.91	o 6045
10.52/6.91	o 6044
10.52/6.91	o 6043
10.52/6.91	o 6042
11.43/7.70	o 6041
11.43/7.70	o 6040
11.93/8.28	o 6037
11.93/8.28	o 6030
11.93/8.28	o 6020
11.93/8.28	o 6013
11.93/8.29	o 6006
11.93/8.29	o 5999
11.93/8.29	o 5993
11.93/8.30	o 5988
12.03/8.30	o 5987
12.03/8.30	o 5985
12.03/8.30	o 5974
12.03/8.30	o 5973
12.03/8.30	o 5971
12.03/8.31	o 5969
12.03/8.31	o 5964
12.03/8.31	o 5963
12.03/8.31	o 5961
12.03/8.32	o 5954
12.14/8.46	o 5952
12.14/8.48	o 5951
12.14/8.49	o 5949
12.45/8.76	o 5885
12.45/8.76	o 5878
12.45/8.76	o 5875
12.45/8.76	o 5871
12.45/8.76	o 5870
12.45/8.76	o 5869
12.45/8.76	o 5867
12.45/8.76	o 5866
12.45/8.76	o 5865
12.45/8.76	o 5864
12.45/8.76	o 5859
12.45/8.76	o 5857
12.45/8.76	o 5854
12.45/8.76	o 5852
12.45/8.77	o 5851
12.45/8.77	o 5850
12.45/8.77	o 5847
12.45/8.77	o 5844
12.45/8.77	o 5842
12.88/9.19	o 5841
12.97/9.21	o 5840
12.97/9.23	o 5836
12.97/9.23	o 5835
12.97/9.23	o 5833
12.97/9.29	o 5827
12.97/9.29	o 5822
12.97/9.29	o 5819
12.97/9.29	o 5811
12.97/9.29	o 5808
12.97/9.29	o 5780
12.97/9.29	o 5772
12.97/9.29	o 5769
13.07/9.31	o 5766
13.07/9.32	o 5764
13.07/9.34	o 5759
13.07/9.34	o 5758
13.07/9.34	o 5756
13.07/9.39	o 5755
13.07/9.39	o 5754
13.47/9.75	o 5753
13.47/9.75	o 5752
13.47/9.75	o 5751
13.91/10.18	o 5750
14.10/10.32	o 5747
14.10/10.39	o 5745
14.30/10.58	o 5744
14.30/10.58	o 5741
14.30/10.58	o 5739
14.91/11.12	o 5718
14.91/11.12	o 5715
14.91/11.12	o 5710
14.91/11.12	o 5704
14.91/11.12	o 5701
14.91/11.12	o 5699
14.91/11.12	o 5698
14.91/11.12	o 5691
14.91/11.12	o 5688
14.91/11.12	o 5686
14.91/11.13	o 5685
14.91/11.13	o 5684
14.91/11.13	o 5682
14.91/11.13	o 5681
14.91/11.13	o 5679
14.91/11.13	o 5677
14.91/11.14	o 5676
14.91/11.14	o 5673
15.00/11.24	o 5671
15.10/11.36	o 5669
15.10/11.38	o 5667
15.10/11.39	o 5665
15.30/11.53	o 5662
15.30/11.53	o 5659
15.30/11.55	o 5657
15.50/11.72	o 5655
15.60/11.83	o 5653
15.60/11.83	o 5650
15.60/11.84	o 5647
16.14/12.34	o 5645
16.14/12.35	o 5644
16.84/13.07	o 5637
16.84/13.07	o 5633
16.84/13.07	o 5619
16.84/13.07	o 5617
16.84/13.07	o 5615
16.84/13.07	o 5611
16.84/13.07	o 5608
16.95/13.11	o 5607
16.95/13.12	o 5605
16.95/13.12	o 5602
16.95/13.12	o 5599
16.95/13.12	o 5596
16.95/13.15	o 5595
17.74/13.94	o 5593
17.74/13.94	o 5592
17.74/13.94	o 5591
17.74/13.95	o 5589
17.74/13.99	o 5586
17.74/13.99	o 5584
17.95/14.13	o 5583
18.24/14.48	o 5578
18.24/14.48	o 5576
18.24/14.48	o 5574
18.24/14.48	o 5573
18.24/14.49	o 5566
18.24/14.49	o 5553
18.24/14.49	o 5551
18.24/14.49	o 5547
18.24/14.49	o 5543
18.24/14.49	o 5542
18.24/14.49	o 5541
18.24/14.49	o 5539
18.24/14.49	o 5538
18.24/14.49	o 5537
18.24/14.49	o 5536
18.35/14.50	o 5534
18.35/14.50	o 5533
18.75/14.96	o 5525
18.75/14.96	o 5521
19.05/15.28	o 5518
19.35/15.52	o 5516
19.35/15.58	o 5515
19.35/15.58	o 5514
19.55/15.78	o 5512
19.55/15.78	o 5509
19.55/15.78	o 5504
19.55/15.78	o 5484
19.55/15.78	o 5478
19.55/15.78	o 5475
19.55/15.78	o 5472
19.55/15.78	o 5471
19.55/15.79	o 5469
19.86/16.06	o 5465
19.86/16.06	o 5461
20.26/16.42	o 5458
20.26/16.43	o 5454
20.97/17.19	o 5452
20.97/17.19	o 5451
20.97/17.19	o 5450
20.97/17.19	o 5449
20.97/17.19	o 5448
21.26/17.46	o 5447
21.46/17.62	o 5446
21.76/17.99	o 5445
21.76/17.99	o 5444
21.97/18.13	o 5441
21.97/18.13	o 5439
21.97/18.13	o 5438
22.16/18.38	o 5435
22.16/18.38	o 5434
22.16/18.39	o 5428
22.16/18.39	o 5425
22.16/18.39	o 5421
22.86/19.09	o 5384
22.86/19.09	o 5370
22.86/19.09	o 5367
22.86/19.09	o 5359
22.86/19.10	o 5358
22.97/19.18	o 5355
23.06/19.22	o 5353
23.06/19.22	o 5350
23.16/19.33	o 5348
23.46/19.62	o 5347
23.46/19.62	o 5346
23.46/19.62	o 5345
23.46/19.62	o 5341
23.46/19.62	o 5337
23.46/19.68	o 5336
23.46/19.68	o 5333
23.46/19.68	o 5331
23.46/19.68	o 5328
23.46/19.68	o 5327
23.46/19.68	o 5322
23.66/19.86	o 5319
23.87/20.10	o 5318
24.16/20.33	o 5317
24.16/20.33	o 5316
24.16/20.33	o 5314
24.16/20.37	o 5313
24.16/20.37	o 5312
24.16/20.37	o 5310
24.76/20.99	o 5309
24.76/20.99	o 5308
24.76/20.99	o 5305
25.37/21.51	o 5299
25.37/21.51	o 5297
25.67/21.86	o 5296
25.67/21.86	o 5295
25.67/21.86	o 5293
25.67/21.86	o 5289
25.67/21.86	o 5282
25.67/21.86	o 5278
25.67/21.87	o 5274
25.77/21.95	o 5273
25.87/22.04	o 5272
25.87/22.07	o 5270
26.07/22.25	o 5268
26.17/22.32	o 5264
26.17/22.35	o 5263
26.17/22.35	o 5260
26.47/22.61	o 5259
27.07/23.26	o 5258
27.07/23.26	o 5254
27.07/23.27	o 5252
27.07/23.29	o 5249
27.07/23.29	o 5247
27.07/23.29	o 5243
28.88/25.07	o 5242
29.38/25.58	o 5240
38.21/34.38	o 5239
38.21/34.38	o 5237
38.21/34.38	o 5235
39.82/35.98	o 5234
39.82/35.98	o 5233
39.82/35.98	o 5228
39.82/35.98	o 5224
39.82/35.98	o 5219
39.82/35.98	o 5213
39.82/35.99	o 5203
39.82/35.99	o 5201
39.92/36.01	o 5198
39.92/36.04	o 5196
40.03/36.18	o 5195
40.12/36.25	o 5192
40.12/36.25	o 5190
43.64/39.77	o 5184
43.64/39.77	o 5181
44.05/40.12	o 5175
44.24/40.32	o 5172
44.64/40.76	o 5169
44.64/40.76	o 5168
44.64/40.76	o 5163
44.74/40.88	o 5162
44.84/40.90	o 5161
44.84/40.93	o 5160
44.84/40.94	o 5156
44.84/40.94	o 5154
44.84/40.94	o 5143
44.84/40.94	o 5106
44.84/40.94	o 5098
44.84/40.94	o 5085
44.84/40.94	o 5082
44.84/40.94	o 5080
44.84/40.94	o 5078
44.84/40.99	o 5077
44.95/41.02	o 5073
44.95/41.07	o 5067
45.05/41.15	o 5066
45.05/41.16	o 5064
45.14/41.26	o 5062
45.14/41.27	o 5061
45.44/41.54	o 5060
45.44/41.57	o 5059
45.44/41.57	o 5055
45.44/41.57	o 5053
45.44/41.59	o 5052
45.44/41.60	o 5039
45.44/41.60	o 5038
45.57/41.60	o 5033
45.57/41.60	o 5031
45.57/41.60	o 5029
45.57/41.60	o 5027
45.57/41.60	o 5025
45.57/41.60	o 5024
45.57/41.60	o 5023
45.57/41.60	o 5020
45.57/41.60	o 5018
45.57/41.60	o 5016
45.57/41.61	o 5015
45.57/41.61	o 5013
45.57/41.61	o 5010
45.57/41.61	o 5008
45.57/41.63	o 5007
45.57/41.63	o 5005
45.57/41.63	o 5004
45.57/41.63	o 5002
45.57/41.65	o 5001
45.57/41.65	o 4999
45.57/41.65	o 4997
45.57/41.65	o 4995
45.57/41.65	o 4993
45.66/41.70	o 4990
45.66/41.70	o 4986
45.66/41.70	o 4983
45.66/41.70	o 4981
45.66/41.70	o 4978
45.66/41.71	o 4976
45.66/41.71	o 4974
45.66/41.71	o 4972
45.66/41.71	o 4971
45.66/41.71	o 4969
45.66/41.71	o 4963
45.66/41.72	o 4962
45.66/41.72	o 4960
45.76/41.82	o 4957
45.76/41.82	o 4956
45.76/41.82	o 4954
45.76/41.82	o 4953
45.76/41.82	o 4939
45.76/41.82	o 4931
45.76/41.82	o 4930
45.76/41.82	o 4925
45.76/41.82	o 4916
45.76/41.83	o 4915
45.76/41.84	o 4914
45.76/41.84	o 4912
45.76/41.84	o 4911
45.76/41.88	o 4910
45.76/41.88	o 4908
45.76/41.89	o 4907
45.76/41.89	o 4905
45.86/41.91	o 4897
45.86/41.91	o 4896
45.86/41.91	o 4894
45.86/41.91	o 4888
45.86/41.93	o 4885
45.86/41.93	o 4884
45.86/41.98	o 4873
45.86/41.98	o 4863
45.86/41.99	o 4862
45.86/41.99	o 4853
45.86/41.99	o 4852
45.97/42.02	o 4769
45.97/42.02	o 4766
45.97/42.02	o 4761
45.97/42.03	o 4758
45.97/42.05	o 4756
45.97/42.05	o 4750
45.97/42.06	o 4747
53.00/49.04	o 4745
53.00/49.09	o 4744
53.70/49.76	o 4743
53.70/49.76	o 4737
55.20/51.28	o 4734
55.30/51.33	o 4731
55.40/51.45	o 4727
55.40/51.46	o 4726
55.40/51.46	o 4725
55.40/51.47	o 4722
55.50/51.56	o 4721
55.50/51.58	o 4720
55.50/51.59	o 4717
55.70/51.77	o 4716
55.70/51.79	o 4713
55.70/51.79	o 4712
55.90/51.95	o 4708
55.90/51.97	o 4705
56.31/52.31	o 4703
56.31/52.35	o 4702
56.41/52.44	o 4700
56.51/52.56	o 4698
56.51/52.56	o 4694
56.51/52.56	o 4692
56.51/52.56	o 4687
56.51/52.56	o 4684
56.51/52.56	o 4682
56.51/52.57	o 4679
56.51/52.57	o 4678
56.51/52.57	o 4674
56.51/52.57	o 4673
56.51/52.57	o 4671
56.51/52.58	o 4670
56.51/52.59	o 4667
56.91/52.94	o 4664
57.12/53.19	o 4662
57.12/53.19	o 4661
57.12/53.19	o 4658
57.12/53.19	o 4653
57.12/53.19	o 4652
57.12/53.19	o 4648
57.12/53.19	o 4647
57.12/53.20	o 4646
57.12/53.20	o 4643
57.12/53.20	o 4642
57.21/53.21	o 4641
57.21/53.22	o 4637
57.21/53.22	o 4619
57.31/53.33	o 4616
57.31/53.35	o 4613
57.31/53.35	o 4607
63.85/59.80	o 4604
64.85/60.81	o 4599
64.85/60.87	o 4598
66.56/62.55	o 4597
66.56/62.56	o 4596
67.56/63.55	o 4592
67.76/63.71	o 4591
67.86/63.88	o 4588
67.86/63.88	o 4585
67.86/63.88	o 4584
67.97/63.91	o 4581
68.47/64.43	o 4579
68.47/64.43	o 4574
68.57/64.50	o 4573
68.57/64.50	o 4571
68.57/64.50	o 4569
68.57/64.50	o 4568
68.57/64.50	o 4564
68.57/64.51	o 4563
68.57/64.51	o 4561
68.57/64.51	o 4559
68.57/64.51	o 4557
68.57/64.51	o 4555
68.57/64.51	o 4537
68.67/64.61	o 4535
68.67/64.61	o 4534
68.97/64.90	o 4530
70.59/66.56	o 4527
70.59/66.56	o 4526
70.59/66.57	o 4525
70.59/66.58	o 4521
70.59/66.58	o 4520
70.69/66.66	o 4517
70.69/66.67	o 4513
70.69/66.67	o 4511
70.88/66.82	o 4510
71.09/67.10	o 4504
71.09/67.11	o 4500
71.19/67.11	o 4497
71.59/67.54	o 4493
71.59/67.54	o 4487
71.59/67.55	o 4486
71.59/67.55	o 4480
71.59/67.55	o 4478
71.59/67.55	o 4477
71.59/67.55	o 4472
71.59/67.55	o 4469
71.59/67.55	o 4463
71.59/67.55	o 4457
71.59/67.55	o 4454
71.59/67.56	o 4451
71.59/67.56	o 4447
71.59/67.56	o 4442
71.69/67.60	o 4440
71.69/67.60	o 4437
71.79/67.73	o 4435
71.79/67.73	o 4434
71.79/67.73	o 4433
71.79/67.73	o 4431
71.99/67.96	o 4427
71.99/67.97	o 4426
72.10/68.10	o 4409
72.10/68.10	o 4364
72.10/68.10	o 4363
72.39/68.37	o 4362
72.39/68.39	o 4361
72.49/68.41	o 4358
72.49/68.41	o 4355
72.49/68.44	o 4351
72.59/68.56	o 4350
72.59/68.56	o 4347
72.59/68.57	o 4327
73.00/68.97	o 4323
73.00/68.97	o 4317
73.00/68.98	o 4315
73.00/68.98	o 4314
73.10/69.09	o 4310
73.10/69.10	o 4308
73.10/69.10	o 4305
73.21/69.19	o 4263
73.21/69.19	o 4252
73.21/69.19	o 4242
73.21/69.19	o 4223
73.21/69.19	o 4217
73.30/69.21	o 4216
73.30/69.25	o 4213
73.30/69.25	o 4210
73.30/69.25	o 4204
73.40/69.36	o 4201
73.50/69.49	o 4176
73.50/69.49	o 4169
73.50/69.49	o 4164
73.50/69.49	o 4158
73.60/69.50	o 4153
73.60/69.50	o 4152
73.60/69.54	o 4148
73.60/69.54	o 4147
73.81/69.79	o 4143
73.81/69.79	o 4142
73.81/69.79	o 4141
74.11/70.05	o 4137
74.11/70.05	o 4136
74.11/70.05	o 4128
74.11/70.05	o 4127
74.11/70.06	o 4126
74.11/70.06	o 4125
74.11/70.06	o 4124
74.11/70.06	o 4123
74.22/70.14	o 4122
74.22/70.14	o 4121
74.22/70.15	o 4120
74.41/70.36	o 4110
74.41/70.36	o 4109
74.41/70.36	o 4106
74.41/70.36	o 4093
74.41/70.37	o 4092
74.41/70.37	o 4083
74.41/70.37	o 4082
74.41/70.38	o 4078
74.41/70.38	o 4077
74.61/70.59	o 4074
74.61/70.59	o 4073
74.61/70.59	o 4072
74.71/70.64	o 4068
74.71/70.64	o 4067
74.71/70.65	o 4065
74.71/70.65	o 4064
74.81/70.77	o 4062
74.81/70.77	o 4061
75.12/71.01	o 4058
75.12/71.03	o 4057
75.12/71.03	o 4054
75.12/71.03	o 4053
75.22/71.19	o 4015
75.22/71.19	o 3991
75.22/71.19	o 3986
75.31/71.20	o 3976
75.31/71.20	o 3971
75.31/71.21	o 3964
75.31/71.21	o 3956
75.31/71.23	o 3954
75.31/71.23	o 3953
75.31/71.24	o 3949
75.42/71.34	o 3944
75.42/71.36	o 3938
75.42/71.36	o 3936
75.42/71.36	o 3935
75.52/71.43	o 3930
75.52/71.44	o 3922
75.52/71.44	o 3920
75.52/71.45	o 3907
75.52/71.45	o 3905
75.52/71.46	o 3899
75.52/71.46	o 3897
75.52/71.49	o 3896
75.52/71.49	o 3895
75.52/71.49	o 3893
75.52/71.50	o 3891
75.62/71.51	o 3889
75.62/71.51	o 3887
75.62/71.51	o 3885
75.62/71.52	o 3878
75.62/71.52	o 3876
75.72/71.66	o 3875
75.82/71.70	o 3873
75.92/71.80	o 3872
75.92/71.80	o 3870
75.92/71.82	o 3866
75.92/71.82	o 3864
75.92/71.89	o 3838
75.92/71.89	o 3825
75.92/71.89	o 3810
75.92/71.89	o 3808
75.92/71.89	o 3796
75.92/71.90	o 3793
76.02/71.93	o 3792
76.02/71.93	o 3786
76.02/71.94	o 3783
76.02/71.96	o 3774
76.23/72.12	o 3768
76.23/72.19	o 3766
76.23/72.19	o 3765
76.73/72.60	o 3759
76.73/72.60	o 3726
76.73/72.60	o 3722
76.73/72.60	o 3701
76.73/72.60	o 3699
76.73/72.61	o 3695
76.73/72.61	o 3693
76.73/72.61	o 3688
76.73/72.62	o 3686
76.73/72.62	o 3681
76.73/72.62	o 3674
76.73/72.68	o 3671
76.73/72.68	o 3670
76.73/72.68	o 3663
76.83/72.74	o 3662
76.83/72.76	o 3661
77.13/73.05	o 3634
77.13/73.05	o 3629
77.13/73.05	o 3624
77.13/73.05	o 3619
77.13/73.06	o 3605
77.13/73.06	o 3601
77.13/73.06	o 3595
77.13/73.07	o 3590
77.13/73.08	o 3589
77.13/73.08	o 3587
77.13/73.08	o 3583
77.13/73.11	o 3577
77.24/73.11	o 3576
77.24/73.16	o 3575
77.24/73.17	o 3574
77.24/73.19	o 3571
77.24/73.19	o 3570
77.24/73.19	o 3567
77.83/73.70	o 3566
77.83/73.76	o 3564
77.83/73.76	o 3563
77.83/73.76	o 3560
78.73/74.61	o 3558
78.73/74.61	o 3556
78.73/74.61	o 3555
78.73/74.61	o 3551
78.73/74.68	o 3550
78.73/74.68	o 3547
78.73/74.68	o 3543
78.73/74.69	o 3535
78.73/74.69	o 3534
78.83/74.76	o 3533
78.83/74.76	o 3531
78.83/74.76	o 3530
78.83/74.76	o 3529
78.83/74.76	o 3527
78.83/74.78	o 3526
79.04/74.96	o 3524
79.04/74.98	o 3521
79.04/74.99	o 3520
79.15/75.10	o 3517
79.15/75.10	o 3513
79.25/75.12	o 3510
79.25/75.12	o 3502
79.25/75.13	o 3501
79.25/75.13	o 3499
79.34/75.21	o 3498
79.34/75.24	o 3491
79.34/75.26	o 3490
79.54/75.42	o 3489
79.54/75.49	o 3486
79.54/75.49	o 3466
79.54/75.49	o 3464
79.54/75.49	o 3455
79.54/75.49	o 3453
79.54/75.49	o 3448
79.54/75.50	o 3446
79.54/75.50	o 3444
79.54/75.50	o 3439
79.64/75.50	o 3437
79.64/75.50	o 3434
79.64/75.50	o 3433
79.64/75.50	o 3431
79.64/75.50	o 3427
79.64/75.50	o 3425
79.64/75.50	o 3423
79.64/75.59	o 3421
79.64/75.60	o 3419
79.74/75.61	o 3416
79.74/75.61	o 3414
79.84/75.76	o 3410
79.94/75.85	o 3407
79.94/75.85	o 3405
79.94/75.85	o 3392
79.94/75.85	o 3387
79.94/75.85	o 3385
79.94/75.85	o 3378
79.94/75.85	o 3362
79.94/75.86	o 3359
79.94/75.86	o 3356
79.94/75.86	o 3354
79.94/75.87	o 3352
80.04/75.97	o 3349
80.04/75.99	o 3346
80.04/75.99	o 3345
80.26/76.14	o 3340
80.26/76.14	o 3339
80.26/76.16	o 3336
80.26/76.16	o 3335
80.26/76.16	o 3331
80.26/76.16	o 3330
80.26/76.17	o 3329
80.26/76.17	o 3328
80.26/76.17	o 3326
80.26/76.17	o 3324
80.45/76.32	o 3323
80.45/76.32	o 3322
80.45/76.32	o 3318
80.45/76.32	o 3317
333.85/328.41	o 3315
352.63/347.11	o 3314
362.67/357.14	o 3313
370.50/364.99	o 3312
370.50/364.99	o 3311
370.50/364.99	o 3309
370.50/364.99	o 3308
370.50/364.99	o 3301
370.50/364.99	o 3300
370.50/364.99	o 3299
370.50/364.99	o 3298
370.50/364.99	o 3290
370.50/364.99	o 3287
370.50/364.99	o 3286
370.50/365.00	o 3281
370.50/365.00	o 3280
370.50/365.00	o 3279
370.50/365.00	o 3277
370.50/365.00	o 3276
370.61/365.01	o 3275
370.61/365.01	o 3274
370.61/365.01	o 3273
370.61/365.01	o 3272
370.61/365.01	o 3270
370.61/365.01	o 3267
370.61/365.03	o 3264
370.61/365.03	o 3262
370.61/365.06	o 3260
370.61/365.07	o 3256
370.61/365.07	o 3249
370.71/365.12	o 3246
370.71/365.12	o 3245
370.71/365.15	o 3244
370.71/365.15	o 3243
370.80/365.29	o 3242
370.80/365.29	o 3241
372.41/366.82	o 3240
372.41/366.82	o 3238
372.41/366.82	o 3236
372.41/366.85	o 3235
372.41/366.86	o 3231
372.41/366.88	o 3230
372.41/366.88	o 3229
372.41/366.88	o 3227
372.41/366.89	o 3225
372.62/367.01	o 3223
372.62/367.01	o 3220
372.62/367.04	o 3215
372.73/367.16	o 3214
372.73/367.16	o 3212
372.73/367.17	o 3210
372.73/367.17	o 3207
373.23/367.64	o 3206
373.23/367.64	o 3203
373.23/367.64	o 3202
373.23/367.64	o 3195
373.23/367.64	o 3194
373.23/367.64	o 3192
373.23/367.64	o 3191
373.23/367.64	o 3189
373.23/367.64	o 3188
373.23/367.64	o 3173
373.23/367.65	o 3172
373.23/367.65	o 3164
373.23/367.65	o 3163
373.23/367.65	o 3160
373.23/367.66	o 3159
373.23/367.66	o 3156
373.23/367.66	o 3155
373.23/367.69	o 3153
373.23/367.70	o 3151
373.23/367.70	o 3147
373.33/367.71	o 3143
373.33/367.72	o 3139
373.33/367.72	o 3137
373.33/367.72	o 3134
373.33/367.73	o 3133
373.33/367.73	o 3131
373.33/367.73	o 3128
373.33/367.73	o 3126
373.33/367.77	o 3124
373.33/367.77	o 3122
373.33/367.77	o 3121
373.33/367.77	o 3119
373.33/367.77	o 3117
373.33/367.79	o 3111
373.43/367.84	o 3108
373.53/367.92	o 3102
373.53/367.93	o 3084
373.53/367.93	o 3071
373.53/367.94	o 3069
373.53/367.94	o 3056
373.53/367.94	o 3055
373.53/367.94	o 3053
373.53/367.95	o 3052
373.53/367.96	o 3051
373.53/367.97	o 3050
373.53/367.97	o 3049
373.53/367.99	o 3043
373.53/367.99	o 3040
373.74/368.13	o 3034
373.74/368.17	o 3032
373.74/368.17	o 3028
397.83/392.09	o 3027
397.94/392.12	o 3026
397.94/392.17	o 3024
399.04/393.20	o 3023
399.04/393.24	o 3022
399.54/393.77	o 3021
399.74/393.92	o 3020
402.98/397.14	o 3016
402.98/397.14	o 3015
402.98/397.14	o 3006
402.98/397.14	o 3005
402.98/397.15	o 3004
402.98/397.15	o 3003
402.98/397.15	o 2997
402.98/397.15	o 2996
402.98/397.15	o 2995
402.98/397.16	o 2994
403.28/397.41	o 2993
403.28/397.43	o 2992
404.08/398.24	o 2988
404.08/398.24	o 2987
404.08/398.25	o 2985
404.29/398.43	o 2984
404.29/398.43	o 2982
404.29/398.44	o 2981
404.29/398.44	o 2980
404.29/398.47	o 2977
404.29/398.47	o 2976
405.09/399.26	o 2975
405.09/399.26	o 2973
407.62/401.76	o 2969
407.62/401.76	o 2965
407.62/401.76	o 2963
407.72/401.82	o 2961
408.42/402.58	o 2957
792.50/784.53	o 2955
792.50/784.59	o 2954
792.61/784.62	o 2952
792.61/784.63	o 2951
792.61/784.67	o 2950
792.61/784.67	o 2944
792.61/784.67	o 2940
792.61/784.67	o 2934
796.74/788.70	o 2928
796.74/788.70	o 2925
796.74/788.74	o 2923
796.74/788.74	o 2922
797.15/789.12	o 2920
797.15/789.13	o 2916
797.15/789.17	o 2915
797.15/789.17	o 2908
798.55/790.56	o 2906
798.55/790.56	o 2905
818.34/810.24	o 2904
821.47/813.34	o 2903
821.47/813.34	o 2899
823.38/815.25	o 2897
823.38/815.25	o 2896
863.18/854.85	o 2891
863.18/854.85	o 2890
863.18/854.85	o 2889
867.20/858.86	o 2888
878.96/870.52	o 2886
878.96/870.52	o 2885
878.96/870.57	o 2884
879.16/870.70	o 2883
881.27/872.82	o 2881
881.27/872.82	o 2880
881.27/872.82	o 2879
881.27/872.84	o 2878
881.27/872.84	o 2877
881.27/872.84	o 2876
900.50/891.99	o 2875
900.61/892.02	o 2872
900.61/892.02	o 2871
900.61/892.02	o 2870
900.61/892.02	o 2869
900.61/892.02	o 2863
900.61/892.02	o 2862
900.61/892.03	o 2861
900.61/892.03	o 2860
900.61/892.07	o 2859
903.02/894.40	o 2853
903.02/894.40	o 2852
908.36/899.71	o 2851
908.36/899.71	o 2850
908.36/899.72	o 2847
908.36/899.72	o 2844
908.36/899.72	o 2841
908.36/899.72	o 2840
908.36/899.72	o 2838
908.36/899.72	o 2837
908.36/899.72	o 2833
908.36/899.72	o 2830
908.36/899.72	o 2829
908.36/899.73	o 2827
908.36/899.73	o 2826
908.36/899.74	o 2823
908.36/899.74	o 2822
908.36/899.75	o 2814
908.36/899.75	o 2811
908.36/899.75	o 2808
908.36/899.75	o 2805
908.36/899.75	o 2804
908.46/899.81	o 2803
909.67/901.08	o 2797
909.67/901.09	o 2796
909.67/901.09	o 2791
909.77/901.16	o 2790
909.77/901.16	o 2787
909.77/901.16	o 2786
911.17/902.55	o 2785
911.27/902.66	o 2782
911.27/902.66	o 2781
911.47/902.87	o 2780
911.47/902.87	o 2779
914.72/906.10	o 2777
915.52/906.82	o 2776
915.52/906.83	o 2775
915.52/906.83	o 2774
915.92/907.29	o 2773
919.05/910.31	o 2770
919.05/910.31	o 2757
919.05/910.31	o 2752
919.05/910.32	o 2751
919.05/910.32	o 2749
919.05/910.32	o 2748
919.05/910.32	o 2742
919.05/910.32	o 2741
919.05/910.32	o 2734
919.05/910.32	o 2728
919.05/910.38	o 2726
919.05/910.38	o 2723
919.05/910.40	o 2717
919.15/910.43	o 2716
919.15/910.48	o 2711
919.15/910.50	o 2705
919.15/910.50	o 2703
919.25/910.51	o 2699
930.46/921.69	o 2698
930.46/921.69	o 2697
930.46/921.69	o 2696
931.46/922.69	o 2695
931.46/922.69	o 2694
931.67/922.81	o 2691
931.67/922.81	o 2685
931.67/922.81	o 2681
931.67/922.81	o 2679
931.67/922.81	o 2674
931.67/922.81	o 2672
931.67/922.81	o 2667
931.67/922.81	o 2658
931.67/922.81	o 2656
931.67/922.81	o 2650
931.67/922.81	o 2647
931.67/922.81	o 2642
931.67/922.81	o 2640
931.67/922.81	o 2638
933.08/924.26	o 2637
933.58/924.72	o 2631
933.58/924.72	o 2629
933.79/924.96	o 2627
936.52/927.61	o 2626
936.52/927.62	o 2624
936.52/927.63	o 2623
936.82/927.97	o 2621
936.82/927.97	o 2619
936.93/928.06	o 2618
936.93/928.08	o 2617
938.13/929.25	o 2616
938.13/929.25	o 2614
938.43/929.51	o 2612
938.43/929.51	o 2610
947.41/938.43	o 2606
947.51/938.52	o 2605
947.51/938.52	o 2604
947.51/938.52	o 2603
948.82/939.82	o 2596
948.82/939.82	o 2595
951.03/942.04	o 2594
951.03/942.04	o 2591
951.33/942.32	o 2587
951.33/942.33	o 2583
951.33/942.33	o 2581
951.33/942.33	o 2580
955.07/946.09	o 2578
955.18/946.12	o 2577
955.18/946.12	o 2570
955.18/946.12	o 2567
955.27/946.20	o 2565
955.27/946.20	o 2563
955.27/946.20	o 2562
955.27/946.23	o 2560
955.27/946.25	o 2558
955.27/946.27	o 2554
955.27/946.28	o 2552
956.48/947.44	o 2550
959.71/950.65	o 2542
959.71/950.65	o 2541
959.71/950.65	o 2538
959.71/950.65	o 2537
959.71/950.65	o 2534
959.71/950.65	o 2531
959.81/950.70	o 2528
959.81/950.71	o 2526
959.81/950.71	o 2521
959.81/950.71	o 2518
959.81/950.79	o 2517
959.81/950.79	o 2514
959.91/950.85	o 2512
959.91/950.85	o 2510
1091.29/1081.36	o 2505
1091.39/1081.46	o 2504
1091.49/1081.53	o 2503
1091.80/1081.86	o 2501
1091.80/1081.86	o 2500
1133.73/1123.56	o 2499
1133.73/1123.57	o 2497
1133.93/1123.77	o 2494
1134.03/1123.85	o 2493
1135.35/1125.11	o 2492
1135.35/1125.11	o 2491
1135.54/1125.38	o 2490
1135.54/1125.38	o 2489
1135.54/1125.38	o 2488
1135.54/1125.39	o 2480
1135.54/1125.39	o 2479
1136.85/1126.63	o 2478
1136.85/1126.63	o 2477
1137.26/1127.03	o 2472
1137.26/1127.03	o 2471
1137.55/1127.31	o 2468
1137.55/1127.31	o 2467
1143.32/1133.09	o 2459
1143.43/1133.13	o 2456
1143.62/1133.33	o 2451
1143.82/1133.50	o 2449
1144.73/1134.41	o 2448
1145.23/1134.92	o 2445
1145.23/1134.92	o 2442
1145.23/1134.92	o 2441
1145.23/1134.92	o 2440
1145.23/1134.92	o 2439
1147.56/1137.29	o 2436
1147.66/1137.32	o 2435
1147.66/1137.34	o 2434
1147.66/1137.34	o 2431
1147.66/1137.37	o 2430
1147.66/1137.39	o 2427
1147.76/1137.40	o 2426
1291.38/1280.21	o 2423
1291.38/1280.21	o 2421
1291.38/1280.22	o 2420
1291.38/1280.22	o 2418
1305.95/1294.76	o 2415
1305.95/1294.76	o 2413
1318.52/1307.23	o 2409
1318.52/1307.25	o 2408
1318.63/1307.31	o 2401
1318.83/1307.50	o 2399
1318.83/1307.56	o 2394
1319.33/1308.04	o 2393
1319.52/1308.22	o 2390
1319.52/1308.23	o 2386
1319.63/1308.30	o 2380
1319.63/1308.31	o 2377
1319.73/1308.48	o 2376
1320.53/1309.22	o 2375
1320.84/1309.52	o 2374
1320.84/1309.52	o 2372
1320.84/1309.55	o 2368
1320.84/1309.55	o 2366
1323.67/1312.36	o 2357
1323.67/1312.36	o 2350
1323.67/1312.36	o 2349
1323.67/1312.36	o 2347
1323.87/1312.58	o 2341
1323.97/1312.63	o 2340
1323.97/1312.66	o 2339
1325.19/1313.81	o 2336
1325.19/1313.81	o 2326
1325.19/1313.81	o 2322
1325.19/1313.81	o 2317
1325.19/1313.81	o 2315
1325.19/1313.81	o 2314
1326.91/1315.54	o 2313
1328.12/1316.74	o 2311
1328.12/1316.75	o 2306
1328.12/1316.78	o 2298
1328.12/1316.78	o 2297
1328.12/1316.78	o 2287
1328.12/1316.78	o 2286
1328.53/1317.17	o 2285
1328.63/1317.27	o 2281
1328.63/1317.27	o 2277
1328.63/1317.27	o 2276
1328.83/1317.45	o 2275
1328.83/1317.45	o 2274
1328.83/1317.45	o 2273
1328.83/1317.45	o 2272
1329.03/1317.65	o 2270
1329.03/1317.65	o 2269
1329.23/1317.84	o 2267
1329.23/1317.84	o 2264
1329.23/1317.84	o 2259
1329.23/1317.84	o 2258
1329.84/1318.42	o 2255
1329.84/1318.45	o 2251
1329.94/1318.55	o 2249
1330.04/1318.60	o 2248
1330.04/1318.60	o 2241
1330.25/1318.85	o 2239
1330.45/1319.01	o 2228
1330.45/1319.01	o 2224
1330.45/1319.01	o 2222
1330.45/1319.01	o 2217
1330.45/1319.01	o 2213
1330.55/1319.12	o 2212
1331.26/1319.89	o 2205
1331.46/1320.05	o 2194
1331.87/1320.46	o 2193
1367.93/1356.29	o 2191
1367.93/1356.29	o 2190
1372.05/1360.38	o 2188
1372.05/1360.38	o 2187
1372.25/1360.51	o 2180
1372.25/1360.51	o 2179
1375.98/1364.27	o 2173
1375.98/1364.27	o 2172
1378.40/1366.67	o 2170
1383.25/1371.42	o 2166
1383.85/1372.07	o 2157
1383.85/1372.08	o 2153
1383.96/1372.15	o 2140
1383.96/1372.15	o 2137
1384.05/1372.22	o 2133
1384.05/1372.27	o 2131
1384.55/1372.73	o 2126
1384.65/1372.85	o 2125
1384.65/1372.86	o 2121
1384.65/1372.86	o 2118
1384.65/1372.86	o 2115
1384.65/1372.86	o 2114
1384.65/1372.86	o 2110
1384.65/1372.90	o 2107
1384.75/1372.90	o 2105
1386.28/1374.49	o 2100
1386.28/1374.49	o 2099
1386.28/1374.50	o 2095
1386.69/1374.81	o 2090
1386.69/1374.82	o 2085
1386.79/1374.90	o 2084
1387.29/1375.47	o 2082
1387.29/1375.48	o 2080
1387.49/1375.64	o 2078
1387.70/1375.84	o 2077
1387.70/1375.84	o 2072
1387.70/1375.85	o 2069
1387.70/1375.85	o 2057
1387.70/1375.85	o 2032
1387.70/1375.86	o 2027
1387.70/1375.86	o 2022
1387.70/1375.87	o 2014
1387.80/1375.90	o 2009
1390.33/1378.46	o 2007
1390.33/1378.46	o 2006
1390.33/1378.46	o 2001
1390.33/1378.47	o 1994
1390.33/1378.47	o 1993
1391.75/1379.88	o 1991
1391.85/1379.90	o 1989
1392.66/1380.78	o 1985
1392.66/1380.78	o 1984
1392.76/1380.82	o 1983
1392.76/1380.82	o 1982
1392.76/1380.82	o 1980
1392.76/1380.82	o 1979
1392.86/1381.00	o 1973
1392.86/1381.00	o 1971
1393.37/1381.42	o 1968
1393.37/1381.42	o 1967
1393.37/1381.42	o 1956
1393.37/1381.42	o 1951
1393.37/1381.42	o 1950
1393.37/1381.42	o 1948
1393.37/1381.42	o 1946
1393.37/1381.42	o 1942
1393.37/1381.42	o 1938
1393.37/1381.42	o 1937
1393.37/1381.43	o 1936
1393.37/1381.43	o 1935
1393.37/1381.43	o 1933
1393.37/1381.44	o 1930
1393.37/1381.44	o 1927
1393.37/1381.45	o 1926
1393.37/1381.45	o 1925
1393.37/1381.48	o 1924
1971.90/1955.94	o 1923
1972.71/1956.80	o 1922
1972.81/1956.82	o 1921
1973.21/1957.24	o 1920
1973.21/1957.24	o 1919
1984.20/1968.12	o 1914
1984.20/1968.12	o 1913
1984.20/1968.13	o 1911
1984.20/1968.13	o 1910
1988.92/1972.83	o 1909
1989.02/1972.98	o 1908
2014.99/1998.74	o 1907
2024.35/2008.05	o 1906
2024.95/2008.68	o 1905
2024.95/2008.68	o 1903
2024.95/2008.68	o 1902
2025.25/2008.91	o 1900
2025.25/2008.91	o 1899
2025.25/2008.91	o 1898
2025.25/2008.91	o 1897
2025.75/2009.40	o 1896
2025.75/2009.40	o 1895
2027.77/2011.40	o 1892
2027.77/2011.40	o 1888
2027.77/2011.40	o 1887
2027.77/2011.40	o 1884
2027.77/2011.40	o 1882
2027.77/2011.40	o 1871
2027.77/2011.40	o 1870
2027.77/2011.40	o 1868
2027.77/2011.40	o 1859
2031.61/2015.28	o 1858
2031.61/2015.28	o 1853
2032.22/2015.81	o 1850
2032.22/2015.81	o 1847
2032.22/2015.81	o 1845
2034.25/2017.88	o 1843
2034.25/2017.88	o 1842
2034.25/2017.88	o 1840
2034.25/2017.88	o 1838
2034.25/2017.88	o 1833
2034.25/2017.88	o 1832
2034.25/2017.88	o 1827
2034.25/2017.89	o 1825
2034.25/2017.89	o 1823
2034.25/2017.89	o 1806
2034.25/2017.89	o 1804
2034.35/2017.90	o 1802
2034.35/2017.94	o 1801
2034.35/2017.94	o 1795
2034.35/2017.94	o 1790
2034.35/2017.94	o 1789
2034.35/2017.95	o 1786
2034.35/2017.96	o 1781
2034.35/2017.99	o 1775
2034.35/2018.00	o 1763
2034.56/2018.12	o 1761
2034.85/2018.40	o 1756
2035.96/2019.54	o 1754
2035.96/2019.56	o 1753
2035.96/2019.56	o 1751
2035.96/2019.56	o 1747
2036.78/2020.30	o 1746
2036.78/2020.30	o 1744
2036.78/2020.30	o 1743
2036.78/2020.30	o 1741
2036.78/2020.30	o 1738
2036.78/2020.30	o 1735
2036.78/2020.30	o 1733
2036.78/2020.30	o 1725
2036.78/2020.31	o 1720
2036.78/2020.35	o 1718
2036.78/2020.35	o 1713
2037.38/2020.99	o 1712
2037.38/2020.99	o 1711
2037.38/2020.99	o 1708
2400.00/2381.01	s SATISFIABLE
2400.00/2381.01	v <instantiation>
2400.00/2381.01	v 	<list>
2400.00/2381.01	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124]
2400.00/2381.01	v 	</list>
2400.00/2381.01	v 	<values>
2400.00/2381.01	v 		30 6 7 3 2 21 11 8 7 9 10 82 15 20 11 12 6 43 5 9 17 3 4 18 16 3 0 14 2 17 14 1 21 4 14 10 0 15 28 14 8 17 17 38 101 5 8 56 1 0 1 13 2 9 62 44 18 15 22 1 13 0 9 10 8 16 5 7 4 7 8 12 15 4 3 19 5 10 4 23 4 19 2 29 18 1 16 1 3 15 11 12 13 10 6 5 12 33 6 19 83 11 7 13 0 9 3 12 16 2 0 0 9 12 20 31 2 10 6 1 4 37 22 4 7 
2400.00/2381.01	v 	</values>
2400.00/2381.01	v </instantiation>

Verifier Data

OK	1708

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290460-1532237045/watcher-4290460-1532237045 -o /tmp/evaluation-result-4290460-1532237045/solver-4290460-1532237045 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31762 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1857704422 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290460-1532237045.xml 

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

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

solver pid=596, runsolver pid=589

[startup+0.100092 s]*
/proc/loadavg: 1.57 1.41 1.54 3/215 625
/proc/meminfo: memFree=20582428/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14082740 memory=31604 CPUtime=0.12 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 6341 0 0 0 11 1 0 0 20 0 15 0 41267648 14420725760 7901 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3520685 7901 3135 1 0 3482761 0
[pid=596/tid=598] ppid=589 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 4432 0 0 0 9 0 0 0 20 0 15 0 41267649 14420725760 7901 33554432000 4194304 4196468 140725814167136 140652804172064 140652792204094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14082740 memory=4294967627 CPUtime=0 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14082740 memory=4121557274659292832 CPUtime=0 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652340979232 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) S 589 596 31730 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652336769264 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0.01 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) S 589 596 31730 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 41267654 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652335716464 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 7966 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31604 KiB

[startup+0.21112 s]*
/proc/loadavg: 1.57 1.41 1.54 7/215 625
/proc/meminfo: memFree=20567204/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14082740 memory=47684 CPUtime=0.3 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 10014 0 0 0 29 1 0 0 20 0 15 0 41267648 14420725760 11921 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3520685 11921 3377 1 0 3482761 0
[pid=596/tid=598] ppid=589 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 7742 0 0 0 19 1 0 0 20 0 15 0 41267649 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652804195232 140652799978902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14082740 memory=4294967627 CPUtime=0 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14082740 memory=4121557274659292832 CPUtime=0 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652340979232 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) R 589 596 31730 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 41267654 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) R 589 596 31730 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 15 0 41267654 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652336769264 140652777945272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0.06 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) R 589 596 31730 0 -1 4202560 283 0 0 0 6 0 0 0 20 0 15 0 41267654 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652335711040 140652792204094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 11921 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47684 KiB

[startup+0.310569 s]*
/proc/loadavg: 1.57 1.41 1.54 3/215 625
/proc/meminfo: memFree=20564164/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14082740 memory=50804 CPUtime=0.44 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 10366 0 0 0 42 2 0 0 20 0 15 0 41267648 14420725760 12701 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3520685 12701 3380 1 0 3482761 0
[pid=596/tid=598] ppid=589 vsize=14082740 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 8074 0 0 0 28 1 0 0 20 0 15 0 41267649 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652804178480 140652780242848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14082740 memory=4048936730667943584 CPUtime=0 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14082740 memory=139946744625263 CPUtime=0 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41267649 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14082740 memory=67 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652340979232 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14082740 memory=18772 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41267651 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14082740 memory=21076 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) S 589 596 31730 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 15 0 41267654 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14082740 memory=35 CPUtime=0.02 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) S 589 596 31730 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 15 0 41267654 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652336769264 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14082740 memory=139946870081152 CPUtime=0.08 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) S 589 596 31730 0 -1 1077944384 291 0 0 0 8 0 0 0 20 0 15 0 41267654 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652335716464 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14082740 memory=142571095099612 CPUtime=0 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267654 14420725760 12753 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50804 KiB

[startup+0.700715 s]
/proc/loadavg: 1.57 1.41 1.54 3/215 625
/proc/meminfo: memFree=20542556/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14084808 memory=90952 CPUtime=0.99 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 17089 0 0 0 95 4 0 0 20 0 15 0 41267648 14422843392 22738 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3521202 22738 3503 1 0 3483273 0
[pid=596/tid=598] ppid=589 vsize=14084808 memory=14260 CPUtime=0.67 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 14407 0 0 0 64 3 0 0 20 0 15 0 41267649 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652804190224 140652799988893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14084808 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14084808 memory=5793152306545448292 CPUtime=0 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14084808 memory=279893489434992 CPUtime=0 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41267649 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41267651 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41267651 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652340979232 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41267651 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) S 589 596 31730 0 -1 1077944384 684 0 0 0 7 0 0 0 20 0 15 0 41267654 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) S 589 596 31730 0 -1 1077944384 262 0 0 0 7 0 0 0 20 0 15 0 41267654 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652336769264 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) S 589 596 31730 0 -1 1077944384 355 0 0 0 15 0 0 0 20 0 15 0 41267654 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652335716464 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14084808 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267654 14422843392 22738 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90952 KiB

[startup+1.50073 s]
/proc/loadavg: 1.57 1.41 1.54 5/215 625
/proc/meminfo: memFree=20491864/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14088904 memory=192716 CPUtime=3.44 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 26903 0 0 0 338 6 0 0 20 0 15 0 41267648 14427037696 48179 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3522226 48179 3549 1 0 3484297 0
[pid=596/tid=598] ppid=589 vsize=14088904 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 19843 0 0 0 142 5 0 0 20 0 15 0 41267649 14427037696 48179 33554432000 4194304 4196468 140725814167136 140652804201984 140652784047454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14088904 memory=173176 CPUtime=0 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14427037696 48179 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14088904 memory=14260 CPUtime=0 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14427037696 48179 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14088904 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41267649 14427037696 48179 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14088904 memory=279893489239456 CPUtime=0 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41267649 14427037696 48179 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14088904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 41267651 14427037696 48179 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0

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

/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 38303 0 0 0 219254 15 0 0 20 0 15 0 41267649 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652804205040 140652419812515 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14090952 memory=15872 CPUtime=5.05 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 8787 0 0 0 480 25 0 0 20 0 15 0 41267649 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14090952 memory=391784 CPUtime=5.04 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 7895 0 0 0 483 21 0 0 20 0 15 0 41267649 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14090952 memory=279893489705888 CPUtime=5.06 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 7607 0 0 0 482 24 0 0 20 0 15 0 41267649 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14090952 memory=393832 CPUtime=5.06 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 8097 0 0 0 485 21 0 0 20 0 15 0 41267649 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14090952 memory=395880 CPUtime=2.49 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 5386 0 0 0 231 18 0 0 20 0 15 0 41267651 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14090952 memory=393832 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652340979296 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14090952 memory=395880 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14090952 memory=395880 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14090952 memory=393832 CPUtime=1.43 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) S 589 596 31730 0 -1 1077944384 4945 0 0 0 142 1 0 0 20 0 15 0 41267654 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14090952 memory=395880 CPUtime=1.55 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) S 589 596 31730 0 -1 1077944384 4574 0 0 0 154 1 0 0 20 0 15 0 41267654 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652336769264 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14090952 memory=4140 CPUtime=0.89 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) S 589 596 31730 0 -1 1077944384 12737 0 0 0 87 2 0 0 20 0 15 0 41267654 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652335716464 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14090952 memory=395880 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14090952 memory=5408 CPUtime=0.78 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 923 0 0 0 38 40 0 0 20 0 15 0 41267654 14429134848 98970 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 74 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 2220.13 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 395880 KiB

[startup+2262.3 s]
/proc/loadavg: 1.32 1.36 1.43 3/217 726
/proc/meminfo: memFree=20985092/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14090952 memory=399984 CPUtime=2280.54 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 101948 0 0 0 227906 148 0 0 20 0 15 0 41267648 14429134848 99996 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3522738 99996 3584 1 0 3484809 0
[pid=596/tid=598] ppid=589 vsize=14090952 memory=399984 CPUtime=2252.41 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 38602 0 0 0 225226 15 0 0 20 0 15 0 41267649 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652804204960 140652419812841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14090952 memory=397936 CPUtime=5.2 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 8933 0 0 0 494 26 0 0 20 0 15 0 41267649 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14090952 memory=397936 CPUtime=5.19 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 8101 0 0 0 497 22 0 0 20 0 15 0 41267649 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14090952 memory=397936 CPUtime=5.21 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 7736 0 0 0 496 25 0 0 20 0 15 0 41267649 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14090952 memory=397936 CPUtime=5.2 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 8274 0 0 0 499 21 0 0 20 0 15 0 41267649 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14090952 memory=399984 CPUtime=2.57 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 5549 0 0 0 238 19 0 0 20 0 15 0 41267651 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14090952 memory=397936 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652340979296 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14090952 memory=397936 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14090952 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14090952 memory=4140 CPUtime=1.43 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) S 589 596 31730 0 -1 1077944384 4947 0 0 0 142 1 0 0 20 0 15 0 41267654 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14090952 memory=397936 CPUtime=1.55 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) S 589 596 31730 0 -1 1077944384 4576 0 0 0 154 1 0 0 20 0 15 0 41267654 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652336769264 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14090952 memory=397936 CPUtime=0.89 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) S 589 596 31730 0 -1 1077944384 12875 0 0 0 87 2 0 0 20 0 15 0 41267654 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652335716464 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14090952 memory=397936 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14090952 memory=1408 CPUtime=0.81 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 941 0 0 0 40 41 0 0 20 0 15 0 41267654 14429134848 99996 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 74 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 2280.54 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 399984 KiB

[startup+2322.3 s]
/proc/loadavg: 1.24 1.34 1.41 2/197 773
/proc/meminfo: memFree=21379780/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14090952 memory=402032 CPUtime=2340.92 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 103383 0 0 0 233942 150 0 0 20 0 15 0 41267648 14429134848 100508 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3522738 100508 3584 1 0 3484809 0
[pid=596/tid=598] ppid=589 vsize=14090952 memory=402032 CPUtime=2312.15 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 39088 0 0 0 231200 15 0 0 20 0 15 0 41267649 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652804205072 140652419812699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14090952 memory=402032 CPUtime=5.34 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 9056 0 0 0 508 26 0 0 20 0 15 0 41267649 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14090952 memory=279893490700800 CPUtime=5.33 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 8309 0 0 0 510 23 0 0 20 0 15 0 41267649 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14090952 memory=402032 CPUtime=5.35 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 7851 0 0 0 510 25 0 0 20 0 15 0 41267649 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14090952 memory=402032 CPUtime=5.34 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 8584 0 0 0 513 21 0 0 20 0 15 0 41267649 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14090952 memory=402032 CPUtime=2.63 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 5721 0 0 0 244 19 0 0 20 0 15 0 41267651 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14090952 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652340979296 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14090952 memory=456596 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14090952 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14090952 memory=402032 CPUtime=1.43 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) S 589 596 31730 0 -1 1077944384 4949 0 0 0 142 1 0 0 20 0 15 0 41267654 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14090952 memory=402032 CPUtime=1.55 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) S 589 596 31730 0 -1 1077944384 4578 0 0 0 154 1 0 0 20 0 15 0 41267654 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652336769264 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14090952 memory=402032 CPUtime=0.89 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) S 589 596 31730 0 -1 1077944384 12877 0 0 0 87 2 0 0 20 0 15 0 41267654 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652335716464 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14090952 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14090952 memory=402032 CPUtime=0.82 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 956 0 0 0 41 41 0 0 20 0 15 0 41267654 14429134848 100508 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 74 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 2340.92 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 402032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2381 s]*
/proc/loadavg: 1.59 1.43 1.44 3/217 804
/proc/meminfo: memFree=21226908/32770624 swapFree=67108860/67108860
[pid=596] ppid=589 vsize=14090952 memory=404080 CPUtime=2400 cores=1,3,5,7
/proc/596/stat : 596 (java) S 589 596 31730 0 -1 1077944320 104105 0 0 0 239847 153 0 0 20 0 15 0 41267648 14429134848 101020 33554432000 4194304 4196468 140725814167136 140725814149680 140652799966967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
/proc/596/statm: 3522738 101020 3584 1 0 3484809 0
[pid=596/tid=598] ppid=589 vsize=14090952 memory=6935054825532540783 CPUtime=2370.59 cores=1,3,5,7
/proc/596/task/598/stat : 598 (java) R 589 596 31730 0 -1 4202560 39376 0 0 0 237044 15 0 0 20 0 15 0 41267649 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652804205040 140652420358254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=600] ppid=589 vsize=14090952 memory=4126316290023845779 CPUtime=5.47 cores=1,3,5,7
/proc/596/task/600/stat : 600 (java) S 589 596 31730 0 -1 1077944384 9210 0 0 0 521 26 0 0 20 0 15 0 41267649 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652396067472 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=602] ppid=589 vsize=14090952 memory=1792 CPUtime=5.46 cores=1,3,5,7
/proc/596/task/602/stat : 602 (java) S 589 596 31730 0 -1 1077944384 8450 0 0 0 523 23 0 0 20 0 15 0 41267649 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652395014672 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=603] ppid=589 vsize=14090952 memory=1240 CPUtime=5.48 cores=1,3,5,7
/proc/596/task/603/stat : 603 (java) S 589 596 31730 0 -1 1077944384 7956 0 0 0 523 25 0 0 20 0 15 0 41267649 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652393961872 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=604] ppid=589 vsize=14090952 memory=960 CPUtime=5.49 cores=1,3,5,7
/proc/596/task/604/stat : 604 (java) S 589 596 31730 0 -1 1077944384 8599 0 0 0 527 22 0 0 20 0 15 0 41267649 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652392909072 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=611] ppid=589 vsize=14090952 memory=6428 CPUtime=2.7 cores=1,3,5,7
/proc/596/task/611/stat : 611 (java) S 589 596 31730 0 -1 1077944384 5735 0 0 0 251 19 0 0 20 0 15 0 41267651 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652342033264 140652799978114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=612] ppid=589 vsize=14090952 memory=404080 CPUtime=0 cores=1,3,5,7
/proc/596/task/612/stat : 612 (java) S 589 596 31730 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652340979296 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=614] ppid=589 vsize=14090952 memory=404080 CPUtime=0 cores=1,3,5,7
/proc/596/task/614/stat : 614 (java) S 589 596 31730 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 41267651 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652339926384 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=615] ppid=589 vsize=14090952 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/596/task/615/stat : 615 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652338874704 140652799985563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=616] ppid=589 vsize=14090952 memory=1944 CPUtime=1.43 cores=1,3,5,7
/proc/596/task/616/stat : 616 (java) S 589 596 31730 0 -1 1077944384 4949 0 0 0 142 1 0 0 20 0 15 0 41267654 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652337822064 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=617] ppid=589 vsize=14090952 memory=1004 CPUtime=1.55 cores=1,3,5,7
/proc/596/task/617/stat : 617 (java) S 589 596 31730 0 -1 1077944384 4578 0 0 0 154 1 0 0 20 0 15 0 41267654 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652336769264 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=618] ppid=589 vsize=14090952 memory=8372 CPUtime=0.89 cores=1,3,5,7
/proc/596/task/618/stat : 618 (java) S 589 596 31730 0 -1 1077944384 12878 0 0 0 87 2 0 0 20 0 15 0 41267654 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652335716464 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=624] ppid=589 vsize=14090952 memory=404080 CPUtime=0 cores=1,3,5,7
/proc/596/task/624/stat : 624 (java) S 589 596 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41267654 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652334663904 140652799977173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
[pid=596/tid=625] ppid=589 vsize=14090952 memory=12972 CPUtime=0.84 cores=1,3,5,7
/proc/596/task/625/stat : 625 (java) S 589 596 31730 0 -1 1077944384 960 0 0 0 42 42 0 0 20 0 15 0 41267654 14429134848 101020 33554432000 4194304 4196468 140725814167136 140652333612208 140652799978114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 74 0 0 6293624 6294260 26521600 140725814170696 140725814170889 140725814170889 140725814173647 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 404080 KiB

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

[startup+2381.03 s]
# the end of solver process 596 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.49 s, system=1.53682 s

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

Child status: 143
Real time (s): 2381.03
CPU time (s): 2400.03
CPU user time (s): 2398.49
CPU system time (s): 1.53682
CPU usage (%): 100.798
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 404080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.49
system time used= 1.53681
maximum resident set size= 408460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123970
involuntary context switches= 4254


# summary of solver processes directly reported to runsolver:
#   pid: 596
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2398.49
#   total CPU system time (s): 1.53682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4397 second user time and 22.1567 second system time

The end

Launcher Data

Begin job on node137 at 2018-07-22 07:24:05
IDJOB=4290460
IDBENCH=141223
IDSOLVER=2743
FILE ID=node137/4290460-1532237045
RUNJOBID= node137-1532225156-31762
PBS_JOBID= 21018945
Free space on /tmp= 56856 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
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 NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290460-1532237045/watcher-4290460-1532237045 -o /tmp/evaluation-result-4290460-1532237045/solver-4290460-1532237045 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31762 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1857704422 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290460-1532237045.xml

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

MD5SUM BENCH= 08115146c0ac9b7e4849c5cb62d96e41
RANDOM SEED=1857704422

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20601872 kB
MemAvailable:   30764632 kB
Buffers:          227200 kB
Cached:         10134804 kB
SwapCached:            0 kB
Active:          2910132 kB
Inactive:        8680804 kB
Active(anon):    1231464 kB
Inactive(anon):    16944 kB
Active(file):    1678668 kB
Inactive(file):  8663860 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35952 kB
Writeback:             0 kB
AnonPages:       1188412 kB
Mapped:            48976 kB
Shmem:             17036 kB
Slab:             275848 kB
SReclaimable:     248692 kB
SUnreclaim:        27156 kB
KernelStack:        3792 kB
PageTables:         7500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2170200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1046528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56824 MiB
End job on node137 at 2018-07-22 08:03:46