Trace number 4308003

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)886 2520.08 2500.02

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-1_c18.xml
MD5SUMe8035d4b0abecbc1a78dd1ff35d13fe4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark229
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints736
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree6
Maximum variable degree24
Distribution of variable degrees[{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":12},{"degree":11,"count":16},{"degree":12,"count":12},{"degree":13,"count":16},{"degree":14,"count":15},{"degree":15,"count":7},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":24,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":736}]
Number of extensional constraints0
Number of intensional constraints736
Distribution of constraint types[{"type":"intension","count":736}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 75871472
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
2.09/1.25	c Parsing done, starting search...
2.34/1.36	o 8168
2.34/1.37	o 8118
2.34/1.37	o 8110
2.34/1.37	o 8107
2.34/1.37	o 8106
2.34/1.38	o 8098
2.34/1.38	o 8097
2.34/1.38	o 8096
2.34/1.38	o 8092
2.34/1.38	o 8083
2.34/1.38	o 8064
2.34/1.38	o 8061
2.34/1.38	o 8059
2.34/1.38	o 8056
2.34/1.38	o 8049
2.34/1.39	o 8047
2.34/1.39	o 8045
2.34/1.39	o 8044
2.34/1.39	o 8037
2.34/1.39	o 8036
2.34/1.39	o 8032
2.34/1.39	o 8031
2.34/1.39	o 8029
2.34/1.39	o 8025
2.34/1.39	o 8024
2.34/1.39	o 8018
2.34/1.39	o 8017
2.34/1.39	o 8004
2.34/1.39	o 8003
2.34/1.39	o 8002
2.34/1.39	o 7999
2.34/1.39	o 7997
2.34/1.39	o 7940
2.34/1.39	o 7938
2.34/1.39	o 7928
2.34/1.39	o 7926
2.34/1.39	o 7924
2.34/1.39	o 7849
2.34/1.40	o 7848
2.34/1.40	o 7846
2.63/1.40	o 7844
2.63/1.40	o 7842
2.63/1.40	o 7841
2.63/1.40	o 7808
2.63/1.40	o 7788
2.63/1.40	o 7776
2.63/1.40	o 7773
2.63/1.40	o 7772
2.63/1.40	o 7771
2.63/1.40	o 7770
2.63/1.41	o 7769
2.63/1.41	o 7738
2.63/1.41	o 7733
2.63/1.41	o 7729
2.63/1.41	o 7724
2.63/1.41	o 7723
2.63/1.41	o 7721
2.63/1.41	o 7720
2.63/1.41	o 7718
2.63/1.41	o 7717
2.63/1.41	o 7709
2.63/1.41	o 7704
2.63/1.41	o 7703
2.63/1.42	o 7701
2.63/1.42	o 7697
2.63/1.42	o 7696
2.63/1.42	o 7669
2.63/1.42	o 7665
2.63/1.42	o 7664
2.63/1.42	o 7623
2.63/1.42	o 7622
2.63/1.42	o 7621
2.63/1.42	o 7619
2.63/1.42	o 7618
2.63/1.42	o 7616
2.63/1.42	o 7614
2.63/1.42	o 7612
2.63/1.42	o 7611
2.63/1.42	o 7572
2.63/1.43	o 7569
2.63/1.43	o 7568
2.63/1.43	o 7567
2.63/1.43	o 7566
2.63/1.43	o 7550
2.63/1.43	o 7523
2.63/1.43	o 7518
2.63/1.43	o 7515
2.63/1.43	o 7512
2.63/1.43	o 7511
2.63/1.43	o 7510
2.63/1.43	o 7481
2.63/1.43	o 7480
2.63/1.43	o 7479
2.63/1.43	o 7478
2.63/1.43	o 7477
2.63/1.44	o 7476
2.63/1.44	o 7475
2.63/1.44	o 7470
2.63/1.44	o 7467
2.63/1.44	o 7466
2.63/1.44	o 7442
2.63/1.44	o 7441
2.63/1.44	o 7438
2.63/1.44	o 7437
2.63/1.44	o 7436
2.63/1.44	o 7435
2.63/1.44	o 7420
2.63/1.44	o 7411
2.63/1.44	o 7402
2.63/1.44	o 7400
2.63/1.44	o 7398
2.63/1.44	o 7396
2.63/1.44	o 7395
2.63/1.44	o 7393
2.63/1.44	o 7391
2.63/1.44	o 7389
2.63/1.44	o 7384
2.63/1.45	o 7376
2.63/1.45	o 7371
2.63/1.45	o 7370
2.63/1.45	o 7368
2.63/1.45	o 7367
2.63/1.45	o 7364
2.63/1.45	o 7363
2.63/1.45	o 7362
2.63/1.45	o 7361
2.63/1.45	o 7360
2.63/1.46	o 7350
2.63/1.46	o 7349
2.63/1.46	o 7332
2.63/1.46	o 7319
2.63/1.46	o 7315
2.63/1.46	o 7313
2.63/1.46	o 7305
2.63/1.46	o 7304
2.63/1.46	o 7300
2.63/1.46	o 7299
2.63/1.46	o 7286
2.63/1.46	o 7283
2.63/1.46	o 7280
2.63/1.46	o 7272
2.63/1.46	o 7271
2.63/1.46	o 7270
2.63/1.46	o 7269
2.63/1.46	o 7268
2.63/1.46	o 7267
2.63/1.46	o 7266
2.63/1.46	o 7265
2.63/1.46	o 7264
2.63/1.46	o 7235
2.63/1.46	o 7232
2.63/1.46	o 7231
2.63/1.46	o 7227
2.63/1.46	o 7219
2.63/1.46	o 7213
2.63/1.46	o 7212
2.63/1.46	o 7211
2.63/1.46	o 7210
2.63/1.46	o 7209
2.63/1.47	o 7197
2.63/1.47	o 7196
2.63/1.47	o 7181
2.63/1.47	o 7179
2.63/1.47	o 7176
2.63/1.47	o 7175
2.63/1.47	o 7168
2.63/1.47	o 7167
2.63/1.47	o 7166
2.63/1.47	o 7165
2.63/1.47	o 7164
2.63/1.47	o 7163
2.63/1.47	o 7162
2.63/1.47	o 7161
2.63/1.47	o 7160
2.63/1.47	o 7159
2.63/1.47	o 7158
2.63/1.47	o 7157
2.63/1.47	o 7156
2.63/1.48	o 7154
2.63/1.48	o 7153
2.63/1.48	o 7148
2.63/1.48	o 7147
2.63/1.48	o 7109
2.63/1.48	o 7108
2.63/1.48	o 7096
2.63/1.48	o 7095
2.63/1.48	o 7079
2.63/1.48	o 7078
2.63/1.48	o 7076
2.63/1.48	o 7075
2.63/1.48	o 7074
2.63/1.48	o 7072
2.63/1.48	o 7071
2.63/1.48	o 7069
2.63/1.48	o 7068
2.63/1.48	o 7067
2.63/1.48	o 7066
2.63/1.48	o 7065
2.63/1.49	o 7064
2.63/1.49	o 7063
2.63/1.49	o 7060
2.63/1.49	o 7059
2.63/1.49	o 7057
2.63/1.49	o 7056
2.63/1.49	o 7055
2.63/1.49	o 7054
2.63/1.49	o 7053
2.63/1.49	o 7052
2.63/1.49	o 7051
2.63/1.49	o 7050
2.63/1.49	o 7049
2.63/1.49	o 7048
2.63/1.49	o 7047
2.63/1.49	o 7046
2.63/1.50	o 7045
2.63/1.51	o 7041
3.00/1.51	o 7040
3.00/1.51	o 7039
3.00/1.51	o 7038
3.00/1.51	o 7037
3.00/1.51	o 7034
3.00/1.51	o 7033
3.00/1.51	o 7032
3.00/1.51	o 7031
3.00/1.51	o 7030
3.00/1.51	o 7029
3.00/1.51	o 7026
3.00/1.51	o 7025
3.00/1.51	o 7024
3.00/1.51	o 7023
3.00/1.51	o 7022
3.00/1.51	o 7021
3.00/1.51	o 7020
3.00/1.52	o 7019
3.00/1.52	o 7013
3.00/1.52	o 7011
3.00/1.52	o 7010
3.00/1.52	o 7007
3.00/1.52	o 7006
3.00/1.52	o 7005
3.00/1.53	o 7004
3.00/1.53	o 7003
3.00/1.53	o 6952
3.00/1.53	o 6951
3.00/1.53	o 6924
3.00/1.53	o 6923
3.00/1.53	o 6910
3.00/1.53	o 6909
3.00/1.53	o 6906
3.00/1.53	o 6905
3.00/1.53	o 6904
3.00/1.53	o 6903
3.00/1.53	o 6902
3.00/1.53	o 6901
3.00/1.53	o 6900
3.00/1.53	o 6899
3.00/1.54	o 6895
3.00/1.54	o 6894
3.00/1.54	o 6892
3.00/1.54	o 6891
3.00/1.54	o 6888
3.00/1.54	o 6887
3.00/1.54	o 6886
3.00/1.54	o 6884
3.00/1.54	o 6880
3.00/1.54	o 6872
3.00/1.54	o 6847
3.00/1.54	o 6843
3.00/1.54	o 6834
3.00/1.54	o 6831
3.00/1.54	o 6830
3.00/1.54	o 6827
3.00/1.54	o 6825
3.00/1.54	o 6822
3.00/1.55	o 6821
3.00/1.55	o 6820
3.00/1.55	o 6819
3.00/1.55	o 6818
3.00/1.55	o 6817
3.00/1.56	o 6815
3.00/1.56	o 6813
3.00/1.56	o 6812
3.00/1.57	o 6806
3.00/1.57	o 6805
3.00/1.57	o 6800
3.00/1.57	o 6799
3.00/1.57	o 6798
3.00/1.57	o 6792
3.00/1.57	o 6791
3.00/1.57	o 6790
3.00/1.57	o 6789
3.00/1.57	o 6786
3.00/1.57	o 6785
3.00/1.57	o 6784
3.00/1.58	o 6783
3.00/1.58	o 6782
3.00/1.58	o 6781
3.00/1.58	o 6780
3.00/1.59	o 6777
3.00/1.59	o 6775
3.00/1.59	o 6774
3.00/1.59	o 6773
3.00/1.59	o 6772
3.00/1.59	o 6771
3.00/1.59	o 6770
3.00/1.59	o 6769
3.00/1.59	o 6768
3.00/1.59	o 6753
3.00/1.59	o 6752
3.00/1.59	o 6751
3.00/1.59	o 6750
3.00/1.59	o 6746
3.00/1.59	o 6735
3.00/1.60	o 6734
3.00/1.60	o 6728
3.00/1.60	o 6727
3.00/1.60	o 6726
3.00/1.60	o 6725
3.29/1.60	o 6724
3.29/1.60	o 6722
3.29/1.60	o 6720
3.29/1.60	o 6719
3.29/1.60	o 6718
3.29/1.60	o 6716
3.29/1.60	o 6714
3.29/1.60	o 6680
3.29/1.60	o 6679
3.29/1.60	o 6678
3.29/1.60	o 6676
3.29/1.60	o 6675
3.29/1.60	o 6674
3.29/1.62	o 6673
3.29/1.64	o 6672
3.29/1.64	o 6671
3.29/1.64	o 6669
3.29/1.64	o 6664
3.29/1.64	o 6662
3.29/1.64	o 6661
3.29/1.64	o 6659
3.29/1.64	o 6655
3.29/1.64	o 6653
3.29/1.64	o 6652
3.29/1.64	o 6651
3.29/1.64	o 6650
3.29/1.64	o 6649
3.29/1.64	o 6648
3.29/1.65	o 6647
3.29/1.69	o 6646
3.29/1.69	o 6645
3.59/1.71	o 6644
3.59/1.72	o 6643
3.59/1.72	o 6640
3.59/1.72	o 6635
3.59/1.72	o 6632
3.59/1.72	o 6631
3.59/1.72	o 6630
3.59/1.72	o 6629
3.59/1.72	o 6626
3.59/1.72	o 6623
3.59/1.72	o 6622
3.59/1.72	o 6621
3.59/1.72	o 6620
3.59/1.72	o 6619
3.59/1.72	o 6618
3.59/1.72	o 6617
3.59/1.72	o 6616
3.59/1.72	o 6615
3.59/1.79	o 6614
3.59/1.79	o 6613
3.88/1.80	o 6612
3.88/1.80	o 6611
3.88/1.80	o 6610
3.88/1.80	o 6609
3.88/1.80	o 6608
3.88/1.80	o 6607
3.88/1.80	o 6606
3.88/1.80	o 6605
3.88/1.80	o 6603
3.88/1.81	o 6602
3.88/1.81	o 6601
3.88/1.82	o 6600
3.88/1.82	o 6599
3.88/1.86	o 6598
3.88/1.86	o 6597
3.88/1.86	o 6595
3.88/1.86	o 6594
3.88/1.86	o 6593
3.88/1.86	o 6590
3.88/1.86	o 6588
3.88/1.86	o 6586
3.88/1.86	o 6585
3.88/1.86	o 6584
3.88/1.86	o 6567
3.88/1.86	o 6566
3.88/1.87	o 6565
3.88/1.87	o 6564
3.88/1.87	o 6533
3.88/1.87	o 6532
3.88/1.87	o 6531
3.88/1.87	o 6498
3.88/1.87	o 6497
3.88/1.87	o 6496
3.88/1.87	o 6495
3.88/1.87	o 6492
3.88/1.87	o 6491
3.88/1.87	o 6489
3.88/1.87	o 6488
3.88/1.87	o 6487
3.88/1.87	o 6486
3.88/1.87	o 6485
3.88/1.88	o 6484
3.88/1.89	o 6483
4.10/1.95	o 6482
4.10/1.95	o 6481
4.10/1.95	o 6480
4.24/2.05	o 6479
4.24/2.05	o 6478
4.24/2.05	o 6469
4.24/2.05	o 6468
4.24/2.05	o 6466
4.24/2.05	o 6464
4.24/2.05	o 6463
4.24/2.06	o 6462
4.24/2.06	o 6461
4.24/2.06	o 6460
4.24/2.06	o 6459
4.24/2.06	o 6458
4.24/2.06	o 6429
4.24/2.06	o 6428
4.24/2.06	o 6426
4.24/2.06	o 6425
4.24/2.06	o 6421
4.24/2.06	o 6420
4.24/2.06	o 6417
4.24/2.06	o 6416
4.24/2.06	o 6411
4.24/2.06	o 6410
4.24/2.06	o 6409
4.24/2.06	o 6408
4.24/2.06	o 6407
4.24/2.06	o 6406
4.24/2.07	o 6405
4.24/2.08	o 6404
4.24/2.08	o 6403
4.39/2.12	o 6402
4.39/2.15	o 6398
4.39/2.15	o 6396
4.39/2.15	o 6390
4.39/2.15	o 6389
4.39/2.15	o 6388
4.39/2.15	o 6382
4.39/2.15	o 6381
4.39/2.15	o 6380
4.39/2.15	o 6379
4.39/2.15	o 6378
4.39/2.15	o 6377
4.39/2.15	o 6376
4.39/2.15	o 6375
4.39/2.15	o 6374
4.39/2.15	o 6373
4.39/2.15	o 6372
4.39/2.15	o 6371
4.39/2.15	o 6321
4.39/2.15	o 6320
4.39/2.15	o 6319
4.39/2.15	o 6318
4.39/2.15	o 6317
4.39/2.15	o 6316
4.39/2.15	o 6315
4.39/2.15	o 6314
4.39/2.15	o 6310
4.39/2.15	o 6309
4.39/2.15	o 6308
4.39/2.15	o 6307
4.39/2.16	o 6306
4.53/2.24	o 6305
4.53/2.26	o 6304
4.69/2.31	o 6303
4.69/2.36	o 6300
4.69/2.36	o 6296
4.69/2.36	o 6287
4.69/2.36	o 6286
4.69/2.36	o 6284
4.69/2.36	o 6276
4.69/2.37	o 6269
4.69/2.37	o 6268
4.69/2.37	o 6267
4.69/2.37	o 6266
4.69/2.37	o 6265
4.69/2.37	o 6264
4.69/2.37	o 6250
4.69/2.37	o 6249
4.69/2.37	o 6248
4.69/2.37	o 6247
4.69/2.37	o 6246
4.69/2.37	o 6245
4.69/2.37	o 6244
4.69/2.37	o 6243
4.69/2.37	o 6242
4.69/2.37	o 6241
4.69/2.37	o 6219
4.69/2.37	o 6218
4.69/2.37	o 6217
4.69/2.37	o 6216
4.69/2.37	o 6215
4.69/2.37	o 6214
4.69/2.37	o 6213
4.69/2.37	o 6211
4.69/2.37	o 6210
4.69/2.37	o 6209
4.69/2.37	o 6208
4.69/2.37	o 6207
4.69/2.37	o 6206
4.69/2.37	o 6205
4.69/2.37	o 6204
4.69/2.38	o 6203
4.80/2.42	o 6202
4.90/2.53	o 6173
5.02/2.91	o 6170
5.02/2.91	o 6168
5.02/2.91	o 6164
5.02/2.91	o 6159
5.02/2.91	o 6158
5.02/2.91	o 6157
5.02/2.91	o 6144
5.02/2.91	o 6131
5.02/2.91	o 6130
5.02/2.91	o 6128
5.02/2.91	o 6127
5.02/2.91	o 6116
5.02/2.91	o 6115
5.02/2.91	o 6112
5.02/2.91	o 6111
5.02/2.91	o 6110
5.02/2.91	o 6109
5.02/2.91	o 6106
5.02/2.91	o 6105
5.02/2.91	o 6104
5.02/2.91	o 6103
5.02/2.91	o 6102
5.02/2.91	o 6101
5.02/2.93	o 6100
5.02/2.95	o 6099
5.24/3.14	o 6098
5.24/3.14	o 6097
5.24/3.14	o 6096
5.24/3.14	o 6095
5.24/3.14	o 6094
5.24/3.14	o 6093
5.24/3.14	o 6092
5.24/3.14	o 6091
5.24/3.14	o 6090
5.24/3.14	o 6087
5.24/3.14	o 6086
5.24/3.14	o 6085
5.24/3.14	o 6084
5.24/3.14	o 6083
5.24/3.14	o 6082
5.24/3.15	o 6081
5.24/3.15	o 6080
5.24/3.15	o 6079
5.24/3.15	o 6078
5.24/3.15	o 6077
5.24/3.15	o 6076
5.24/3.15	o 6074
5.24/3.15	o 6073
5.24/3.15	o 6072
5.24/3.15	o 6071
5.24/3.15	o 6070
5.24/3.15	o 6069
5.24/3.15	o 6068
5.24/3.15	o 6067
5.24/3.15	o 6066
5.24/3.15	o 6065
5.24/3.15	o 6061
5.24/3.15	o 6060
5.24/3.15	o 6059
5.24/3.15	o 6058
5.24/3.15	o 6051
5.24/3.15	o 6050
5.24/3.15	o 6046
5.24/3.15	o 6045
5.24/3.15	o 6039
5.24/3.15	o 6038
5.24/3.15	o 6037
5.24/3.15	o 6036
5.24/3.15	o 6035
5.24/3.15	o 6034
5.24/3.15	o 6033
5.24/3.16	o 6032
5.24/3.16	o 6031
5.24/3.16	o 6030
5.33/3.20	o 6029
5.33/3.29	o 6028
5.44/3.35	o 6027
5.44/3.35	o 6026
5.64/3.52	o 6025
5.64/3.52	o 6024
5.64/3.56	o 6023
5.64/3.56	o 6022
5.64/3.57	o 6021
5.64/3.57	o 6020
5.76/3.69	o 6019
5.98/3.81	o 6018
5.98/3.84	o 6017
6.08/3.90	o 6016
6.08/3.90	o 6014
6.08/3.90	o 5991
6.08/3.90	o 5990
6.08/3.90	o 5982
6.08/3.90	o 5981
6.08/3.90	o 5980
6.08/3.90	o 5979
6.08/3.90	o 5976
6.08/3.90	o 5975
6.08/3.90	o 5974
6.08/3.91	o 5973
6.08/3.91	o 5972
6.08/3.91	o 5971
6.30/4.16	o 5970
6.30/4.16	o 5953
6.30/4.16	o 5936
6.30/4.16	o 5935
6.30/4.16	o 5929
6.30/4.16	o 5922
6.30/4.16	o 5921
6.30/4.16	o 5920
6.30/4.16	o 5917
6.30/4.16	o 5915
6.30/4.16	o 5913
6.30/4.16	o 5912
6.30/4.16	o 5911
6.30/4.16	o 5910
6.30/4.16	o 5909
6.39/4.21	o 5908
6.39/4.22	o 5907
6.67/4.43	o 5906
6.67/4.44	o 5905
6.67/4.44	o 5904
6.67/4.47	o 5903
7.73/5.42	o 5902
7.83/5.56	o 5901
8.24/5.93	o 5899
8.24/5.93	o 5896
8.24/5.93	o 5854
8.24/5.93	o 5816
8.24/5.93	o 5815
8.24/5.93	o 5809
8.24/5.93	o 5803
8.24/5.93	o 5798
8.24/5.93	o 5797
8.24/5.93	o 5796
8.24/5.93	o 5795
8.24/5.96	o 5794
8.35/6.02	o 5793
8.35/6.06	o 5792
8.35/6.06	o 5791
8.35/6.08	o 5790
8.35/6.11	o 5789
9.25/6.94	o 5788
9.66/7.30	o 5787
9.86/7.59	o 5786
9.86/7.59	o 5784
9.86/7.59	o 5783
9.86/7.59	o 5781
9.86/7.59	o 5780
9.86/7.60	o 5779
9.96/7.60	o 5775
9.96/7.60	o 5771
9.96/7.60	o 5757
9.96/7.60	o 5752
9.96/7.60	o 5750
9.96/7.60	o 5749
9.96/7.60	o 5748
9.96/7.60	o 5747
9.96/7.60	o 5698
9.96/7.60	o 5697
9.96/7.60	o 5696
9.96/7.60	o 5695
9.96/7.60	o 5694
9.96/7.61	o 5693
9.96/7.66	o 5692
9.96/7.66	o 5691
9.96/7.66	o 5690
9.96/7.66	o 5689
11.86/9.58	o 5687
11.86/9.58	o 5686
11.86/9.58	o 5685
11.86/9.58	o 5683
11.86/9.58	o 5682
11.86/9.58	o 5681
11.86/9.58	o 5680
11.86/9.58	o 5678
11.86/9.58	o 5677
11.86/9.58	o 5676
11.86/9.58	o 5675
11.86/9.58	o 5674
11.86/9.58	o 5673
11.86/9.58	o 5672
11.86/9.58	o 5671
11.86/9.58	o 5670
11.97/9.60	o 5669
11.97/9.62	o 5668
12.07/9.70	o 5667
12.87/10.52	o 5666
12.87/10.52	o 5663
12.87/10.52	o 5662
12.87/10.52	o 5653
12.87/10.52	o 5652
12.87/10.52	o 5648
12.87/10.52	o 5647
12.87/10.52	o 5646
12.87/10.52	o 5644
12.87/10.52	o 5643
12.87/10.52	o 5642
12.87/10.52	o 5641
12.87/10.52	o 5640
12.87/10.52	o 5633
12.87/10.52	o 5630
12.87/10.53	o 5624
12.87/10.53	o 5623
12.87/10.53	o 5622
12.87/10.53	o 5621
12.87/10.53	o 5620
12.87/10.54	o 5618
12.87/10.54	o 5589
12.87/10.54	o 5588
12.87/10.54	o 5582
12.87/10.54	o 5581
12.87/10.54	o 5566
12.87/10.54	o 5565
12.87/10.54	o 5563
12.87/10.54	o 5562
12.87/10.54	o 5559
12.87/10.54	o 5558
12.87/10.55	o 5557
12.87/10.55	o 5556
12.87/10.55	o 5555
12.87/10.59	o 5554
12.87/10.59	o 5553
12.99/10.60	o 5552
12.99/10.60	o 5551
13.29/11.00	o 5550
13.40/11.02	o 5548
13.40/11.02	o 5547
13.40/11.02	o 5546
13.40/11.02	o 5545
13.40/11.02	o 5543
13.40/11.02	o 5542
13.40/11.02	o 5498
13.40/11.02	o 5497
13.40/11.02	o 5482
13.40/11.02	o 5481
13.40/11.02	o 5462
13.40/11.02	o 5455
13.40/11.02	o 5451
13.40/11.02	o 5450
13.40/11.02	o 5449
13.40/11.02	o 5448
13.40/11.02	o 5447
13.40/11.02	o 5446
13.40/11.05	o 5445
13.40/11.10	o 5444
13.50/11.12	o 5443
13.50/11.12	o 5442
15.21/12.87	o 5439
15.21/12.87	o 5436
15.21/12.87	o 5434
15.21/12.87	o 5432
15.21/12.87	o 5431
15.21/12.87	o 5428
15.21/12.87	o 5423
15.21/12.87	o 5419
15.21/12.87	o 5417
15.21/12.88	o 5416
15.21/12.88	o 5412
15.21/12.88	o 5401
15.21/12.88	o 5399
15.21/12.88	o 5398
15.21/12.89	o 5397
15.32/12.93	o 5396
15.32/12.93	o 5395
15.32/12.97	o 5394
15.32/12.97	o 5393
15.32/12.97	o 5392
15.62/13.24	o 5391
16.12/13.72	o 5390
16.82/14.44	o 5389
18.13/15.76	o 5388
18.13/15.76	o 5387
18.13/15.76	o 5386
18.23/15.86	o 5385
18.93/16.58	o 5384
19.73/17.31	o 5383
19.73/17.31	o 5382
19.73/17.31	o 5381
19.73/17.31	o 5380
19.73/17.32	o 5379
19.73/17.32	o 5375
19.73/17.32	o 5371
19.73/17.32	o 5366
19.73/17.32	o 5364
19.73/17.32	o 5362
19.73/17.32	o 5361
19.73/17.32	o 5360
19.73/17.32	o 5359
19.73/17.32	o 5354
19.73/17.32	o 5353
19.73/17.32	o 5352
19.73/17.32	o 5351
19.73/17.32	o 5350
19.73/17.32	o 5345
19.73/17.32	o 5344
19.73/17.32	o 5343
19.73/17.32	o 5342
19.73/17.32	o 5341
19.73/17.32	o 5340
19.73/17.32	o 5339
19.73/17.32	o 5337
19.73/17.32	o 5330
19.73/17.32	o 5329
19.73/17.32	o 5328
19.73/17.32	o 5327
19.73/17.32	o 5326
19.73/17.32	o 5325
19.73/17.32	o 5324
19.73/17.32	o 5323
19.73/17.32	o 5322
19.73/17.33	o 5321
19.84/17.45	o 5320
19.84/17.45	o 5319
20.24/17.81	o 5318
20.24/17.81	o 5317
20.24/17.81	o 5316
20.24/17.81	o 5315
20.24/17.81	o 5314
20.24/17.81	o 5313
20.24/17.82	o 5311
20.24/17.82	o 5307
20.24/17.82	o 5306
20.24/17.82	o 5303
20.24/17.82	o 5300
20.24/17.82	o 5299
20.24/17.82	o 5298
20.24/17.82	o 5242
20.24/17.82	o 5219
20.24/17.82	o 5218
20.24/17.82	o 5217
20.24/17.82	o 5216
20.24/17.82	o 5215
20.24/17.84	o 5214
20.24/17.85	o 5213
20.24/17.85	o 5212
20.34/17.91	o 5211
20.34/17.97	o 5210
20.84/18.45	o 5209
20.84/18.45	o 5208
21.75/19.33	o 5207
21.75/19.33	o 5206
21.75/19.33	o 5205
21.75/19.33	o 5203
21.75/19.33	o 5202
21.75/19.33	o 5201
21.75/19.33	o 5200
21.75/19.33	o 5199
21.75/19.33	o 5198
21.75/19.33	o 5197
21.75/19.33	o 5196
21.75/19.33	o 5195
21.75/19.33	o 5194
21.75/19.34	o 5193
21.75/19.34	o 5188
21.75/19.34	o 5183
21.75/19.34	o 5182
21.75/19.34	o 5178
21.75/19.34	o 5177
21.75/19.34	o 5176
21.75/19.34	o 5175
21.75/19.34	o 5174
21.75/19.34	o 5173
21.75/19.34	o 5172
21.75/19.34	o 5171
21.75/19.34	o 5170
21.75/19.34	o 5169
21.85/19.42	o 5168
21.85/19.43	o 5167
21.85/19.46	o 5166
21.94/19.55	o 5165
21.94/19.56	o 5164
22.46/20.04	o 5163
22.46/20.04	o 5162
22.46/20.04	o 5161
22.46/20.04	o 5160
22.46/20.04	o 5159
22.46/20.04	o 5158
22.46/20.05	o 5157
22.46/20.05	o 5156
22.46/20.05	o 5155
22.46/20.05	o 5154
22.46/20.05	o 5153
22.46/20.05	o 5152
22.46/20.05	o 5151
22.46/20.05	o 5150
22.46/20.05	o 5149
22.46/20.05	o 5148
22.46/20.05	o 5147
22.46/20.05	o 5146
22.56/20.18	o 5145
22.56/20.18	o 5144
22.56/20.18	o 5142
22.56/20.18	o 5141
22.56/20.18	o 5140
22.56/20.18	o 5139
22.56/20.18	o 5138
22.56/20.18	o 5137
22.56/20.19	o 5136
22.56/20.19	o 5135
22.56/20.19	o 5133
22.56/20.19	o 5132
22.56/20.19	o 5130
22.56/20.19	o 5129
22.56/20.19	o 5128
22.56/20.19	o 5127
22.56/20.19	o 5126
22.56/20.19	o 5125
22.56/20.19	o 5124
22.65/20.20	o 5123
22.65/20.26	o 5122
22.65/20.29	o 5121
22.75/20.30	o 5120
22.85/20.41	o 5119
22.85/20.41	o 5118
22.95/20.59	o 5117
23.05/20.69	o 5116
23.05/20.70	o 5115
23.15/20.72	o 5114
23.76/21.34	o 5113
23.76/21.34	o 5112
23.76/21.34	o 5111
23.76/21.34	o 5110
23.76/21.35	o 5109
23.76/21.35	o 5108
23.76/21.35	o 5107
23.76/21.35	o 5106
23.76/21.35	o 5104
23.76/21.35	o 5103
23.76/21.35	o 5102
23.76/21.35	o 5101
23.76/21.35	o 5100
23.76/21.35	o 5099
23.76/21.35	o 5098
23.76/21.35	o 5097
23.76/21.35	o 5096
23.76/21.35	o 5095
23.76/21.35	o 5093
23.76/21.35	o 5092
23.76/21.35	o 5091
23.76/21.35	o 5090
23.76/21.35	o 5089
23.76/21.35	o 5088
25.07/22.69	o 5084
25.07/22.69	o 5083
25.07/22.69	o 5063
25.07/22.69	o 5062
25.07/22.69	o 5061
25.07/22.69	o 5060
25.07/22.69	o 5059
25.07/22.70	o 5038
25.07/22.70	o 5037
25.07/22.70	o 5036
25.07/22.70	o 5035
25.07/22.70	o 5034
25.07/22.70	o 5033
25.07/22.70	o 5032
25.17/22.70	o 5031
25.17/22.74	o 5030
25.17/22.74	o 5028
25.17/22.74	o 5025
25.17/22.74	o 5020
25.17/22.74	o 5019
25.17/22.77	o 5018
25.17/22.77	o 5017
25.27/22.80	o 5016
25.27/22.85	o 5015
25.27/22.87	o 5014
25.27/22.88	o 5013
25.37/22.93	o 5012
25.37/22.94	o 5011
26.37/23.99	o 5010
27.98/25.60	o 5009
28.08/25.62	o 5008
28.08/25.62	o 5007
28.08/25.62	o 5006
28.08/25.62	o 5005
28.08/25.62	o 5004
28.08/25.62	o 5003
28.08/25.62	o 5002
28.08/25.62	o 5001
28.08/25.62	o 5000
28.08/25.62	o 4984
28.08/25.62	o 4971
28.08/25.62	o 4961
28.08/25.62	o 4956
28.08/25.62	o 4955
28.08/25.62	o 4953
28.08/25.62	o 4952
28.08/25.63	o 4951
28.08/25.63	o 4941
28.08/25.63	o 4940
28.08/25.63	o 4939
28.08/25.63	o 4936
28.08/25.63	o 4935
28.08/25.63	o 4934
28.08/25.63	o 4933
28.08/25.63	o 4926
28.08/25.63	o 4925
28.08/25.63	o 4900
28.08/25.63	o 4899
28.08/25.63	o 4898
28.08/25.63	o 4897
28.08/25.63	o 4896
28.08/25.63	o 4895
28.08/25.64	o 4894
28.08/25.64	o 4893
28.08/25.65	o 4892
28.08/25.65	o 4891
28.08/25.65	o 4890
28.08/25.67	o 4889
28.08/25.67	o 4888
28.08/25.68	o 4887
28.08/25.68	o 4886
28.39/25.96	o 4881
28.39/25.96	o 4879
28.39/25.96	o 4878
28.39/25.96	o 4877
28.39/25.96	o 4876
28.39/25.96	o 4872
28.39/25.96	o 4871
28.39/25.96	o 4870
28.39/25.96	o 4868
28.39/25.96	o 4867
28.39/25.96	o 4866
28.39/25.96	o 4865
28.39/25.96	o 4864
28.39/25.96	o 4863
28.39/25.96	o 4862
28.39/25.96	o 4861
28.39/25.96	o 4860
28.39/25.96	o 4859
28.39/25.96	o 4857
28.39/25.96	o 4856
28.39/25.96	o 4805
28.39/25.96	o 4804
28.39/25.96	o 4801
28.39/25.96	o 4799
28.39/25.96	o 4796
28.39/25.97	o 4795
28.39/25.97	o 4794
28.39/25.97	o 4793
28.50/26.02	o 4792
28.80/26.33	o 4791
28.80/26.34	o 4790
28.80/26.34	o 4789
29.00/26.55	o 4788
29.00/26.55	o 4787
29.00/26.55	o 4786
29.00/26.55	o 4785
29.00/26.56	o 4784
29.00/26.58	o 4783
29.00/26.58	o 4782
29.00/26.58	o 4781
29.00/26.58	o 4780
29.00/26.58	o 4779
29.00/26.58	o 4778
29.00/26.58	o 4775
29.00/26.58	o 4774
29.00/26.58	o 4773
29.00/26.58	o 4772
29.00/26.58	o 4771
29.00/26.58	o 4770
29.00/26.58	o 4769
29.00/26.58	o 4768
29.00/26.58	o 4765
29.00/26.58	o 4764
29.00/26.58	o 4763
29.00/26.58	o 4762
29.00/26.58	o 4761
29.00/26.58	o 4760
29.00/26.58	o 4759
29.00/26.58	o 4758
29.00/26.58	o 4757
29.00/26.58	o 4727
29.00/26.58	o 4724
29.00/26.58	o 4723
29.00/26.58	o 4709
29.00/26.58	o 4707
29.00/26.59	o 4706
29.00/26.59	o 4705
29.00/26.59	o 4704
29.00/26.59	o 4703
29.00/26.60	o 4702
29.31/26.88	o 4701
30.31/27.85	o 4699
30.31/27.85	o 4692
30.31/27.85	o 4691
30.31/27.85	o 4686
30.31/27.85	o 4685
30.31/27.85	o 4684
30.31/27.85	o 4683
30.31/27.85	o 4635
30.31/27.85	o 4634
30.31/27.85	o 4629
30.31/27.85	o 4628
30.31/27.85	o 4627
30.31/27.85	o 4626
30.31/27.85	o 4621
30.31/27.85	o 4620
30.31/27.85	o 4619
30.31/27.85	o 4611
30.31/27.85	o 4610
30.31/27.85	o 4606
30.31/27.85	o 4605
30.31/27.85	o 4602
30.31/27.85	o 4601
30.31/27.85	o 4600
30.31/27.85	o 4599
30.31/27.85	o 4598
30.31/27.85	o 4597
30.31/27.86	o 4596
30.31/27.86	o 4595
30.31/27.86	o 4594
30.31/27.86	o 4593
30.31/27.87	o 4592
30.31/27.87	o 4591
30.31/27.89	o 4590
30.31/27.90	o 4585
30.31/27.90	o 4582
30.31/27.90	o 4581
30.31/27.90	o 4580
30.41/27.90	o 4573
30.41/27.90	o 4572
30.41/27.90	o 4570
30.41/27.90	o 4568
30.41/27.90	o 4567
30.41/27.91	o 4566
30.41/27.95	o 4565
30.41/27.95	o 4564
30.53/28.03	o 4563
30.53/28.03	o 4562
31.02/28.50	o 4561
31.02/28.54	o 4560
31.42/28.91	o 4553
31.42/28.91	o 4548
31.42/28.91	o 4539
31.42/28.91	o 4538
31.42/28.91	o 4537
31.42/28.91	o 4536
31.42/28.91	o 4535
31.42/28.91	o 4534
31.42/28.92	o 4533
31.42/28.92	o 4530
31.42/28.92	o 4529
31.42/28.92	o 4528
31.42/28.92	o 4527
31.42/28.92	o 4493
31.42/28.92	o 4492
31.42/28.92	o 4491
31.42/28.92	o 4490
31.42/28.92	o 4483
31.42/28.92	o 4482
31.42/28.92	o 4477
31.42/28.92	o 4476
31.42/28.92	o 4467
31.42/28.92	o 4466
31.42/28.92	o 4465
31.42/28.92	o 4464
31.42/28.92	o 4463
31.42/28.92	o 4462
31.42/28.92	o 4461
31.42/28.92	o 4460
31.42/28.92	o 4459
31.42/28.92	o 4457
31.42/28.92	o 4456
31.42/28.92	o 4455
31.42/28.92	o 4454
31.42/28.93	o 4453
31.42/28.93	o 4452
31.42/28.94	o 4451
31.42/28.94	o 4449
31.42/28.97	o 4448
31.63/29.15	o 4447
31.63/29.15	o 4445
31.63/29.15	o 4444
31.63/29.15	o 4443
31.63/29.15	o 4426
31.63/29.15	o 4425
31.63/29.15	o 4424
31.63/29.15	o 4421
31.63/29.15	o 4420
31.63/29.15	o 4419
31.63/29.15	o 4418
31.63/29.15	o 4417
31.63/29.15	o 4415
31.63/29.15	o 4414
31.63/29.15	o 4413
31.63/29.17	o 4412
31.72/29.21	o 4411
31.82/29.38	o 4410
31.92/29.42	o 4409
32.02/29.53	o 4408
32.12/29.68	o 4407
32.12/29.68	o 4406
32.12/29.68	o 4405
32.12/29.68	o 4404
32.12/29.68	o 4402
32.12/29.68	o 4401
32.12/29.68	o 4400
32.12/29.68	o 4399
32.12/29.68	o 4394
32.12/29.68	o 4390
32.12/29.69	o 4387
32.12/29.69	o 4384
32.12/29.69	o 4381
32.12/29.69	o 4369
32.12/29.69	o 4368
32.12/29.69	o 4366
32.12/29.69	o 4365
32.12/29.69	o 4364
32.12/29.69	o 4363
32.23/29.70	o 4362
32.23/29.71	o 4361
32.23/29.71	o 4360
32.23/29.71	o 4359
32.23/29.74	o 4358
32.33/29.83	o 4357
32.33/29.83	o 4356
32.33/29.88	o 4355
32.54/30.06	o 4354
32.54/30.06	o 4353
32.54/30.08	o 4352
32.93/30.45	o 4351
32.93/30.45	o 4350
32.93/30.45	o 4349
32.93/30.45	o 4347
32.93/30.45	o 4346
32.93/30.45	o 4345
32.93/30.46	o 4344
32.93/30.46	o 4343
32.93/30.46	o 4342
33.03/30.58	o 4341
33.03/30.58	o 4340
33.03/30.58	o 4339
33.03/30.58	o 4338
33.03/30.58	o 4337
33.03/30.58	o 4336
33.03/30.58	o 4335
33.03/30.59	o 4334
33.03/30.59	o 4333
33.33/30.80	o 4332
33.33/30.81	o 4331
33.43/30.95	o 4330
33.94/31.43	o 4329
33.94/31.43	o 4327
33.94/31.43	o 4325
33.94/31.44	o 4323
33.94/31.46	o 4322
33.94/31.46	o 4321
33.94/31.46	o 4319
34.24/31.71	o 4318
34.24/31.72	o 4317
34.24/31.72	o 4316
34.24/31.75	o 4315
34.24/31.77	o 4314
34.34/31.84	o 4313
34.34/31.84	o 4312
34.34/31.86	o 4311
34.44/31.95	o 4310
35.75/33.25	o 4302
35.75/33.25	o 4301
35.75/33.25	o 4299
35.75/33.25	o 4291
35.75/33.25	o 4289
35.75/33.25	o 4286
35.75/33.25	o 4283
35.75/33.25	o 4278
35.75/33.25	o 4276
35.75/33.25	o 4273
35.75/33.25	o 4270
35.75/33.25	o 4266
35.75/33.25	o 4265
35.75/33.25	o 4262
35.75/33.25	o 4261
35.75/33.25	o 4260
35.75/33.25	o 4258
35.75/33.25	o 4256
35.75/33.25	o 4255
35.75/33.25	o 4253
35.75/33.25	o 4250
35.75/33.25	o 4245
35.75/33.25	o 4243
35.75/33.25	o 4237
35.75/33.25	o 4235
35.75/33.25	o 4227
35.75/33.25	o 4226
35.75/33.25	o 4224
35.75/33.25	o 4222
35.75/33.25	o 4221
35.75/33.25	o 4220
35.75/33.25	o 4218
35.75/33.25	o 4217
35.75/33.26	o 4216
35.75/33.26	o 4215
35.75/33.26	o 4214
35.75/33.26	o 4213
35.75/33.26	o 4212
35.75/33.27	o 4211
35.75/33.27	o 4210
35.75/33.28	o 4209
35.75/33.29	o 4208
35.75/33.29	o 4207
35.85/33.36	o 4206
35.85/33.36	o 4205
35.85/33.36	o 4204
35.95/33.46	o 4203
35.95/33.46	o 4202
36.46/34.00	o 4201
36.56/34.02	o 4200
36.56/34.02	o 4199
36.77/34.26	o 4198
36.87/34.35	o 4188
36.87/34.35	o 4186
36.87/34.35	o 4184
36.87/34.35	o 4182
36.87/34.35	o 4179
36.87/34.35	o 4176
36.87/34.35	o 4174
36.87/34.35	o 4172
36.87/34.35	o 4169
36.87/34.35	o 4167
36.87/34.35	o 4161
36.87/34.35	o 4159
36.87/34.35	o 4157
36.87/34.37	o 4156
36.87/34.38	o 4124
36.87/34.39	o 4123
36.87/34.39	o 4116
36.87/34.39	o 4115
36.87/34.39	o 4114
36.87/34.39	o 4068
36.87/34.39	o 4066
36.87/34.39	o 4056
36.87/34.39	o 4054
36.87/34.39	o 4052
36.87/34.39	o 4050
36.87/34.39	o 4049
37.27/34.77	o 4048
37.47/34.99	o 4047
37.58/35.04	o 4046
38.07/35.58	o 4045
38.17/35.65	o 4030
38.17/35.65	o 4029
38.17/35.65	o 4028
38.17/35.65	o 4027
38.17/35.65	o 4023
38.17/35.65	o 4022
38.17/35.65	o 4013
38.17/35.65	o 4005
38.17/35.65	o 4004
38.17/35.65	o 4003
38.17/35.66	o 4001
38.17/35.67	o 3990
38.17/35.67	o 3989
38.17/35.67	o 3981
38.17/35.67	o 3965
38.17/35.67	o 3964
38.17/35.67	o 3963
38.17/35.67	o 3961
38.17/35.67	o 3959
38.17/35.67	o 3958
38.17/35.67	o 3957
38.17/35.67	o 3956
38.17/35.67	o 3955
38.17/35.67	o 3954
38.17/35.67	o 3950
38.17/35.67	o 3949
38.17/35.68	o 3948
38.17/35.68	o 3945
38.17/35.68	o 3944
38.17/35.68	o 3943
38.17/35.68	o 3942
38.17/35.68	o 3941
38.59/36.04	o 3940
38.59/36.05	o 3939
38.59/36.05	o 3938
39.48/36.95	o 3937
39.48/36.95	o 3936
39.48/36.95	o 3935
39.48/36.95	o 3934
39.48/36.95	o 3930
39.48/36.95	o 3929
39.48/36.95	o 3928
39.48/36.95	o 3927
39.48/36.95	o 3926
39.48/36.95	o 3922
39.48/36.95	o 3921
39.48/36.95	o 3920
39.48/36.95	o 3919
39.48/36.95	o 3918
39.48/36.95	o 3917
39.48/36.95	o 3916
39.48/36.95	o 3915
39.48/36.95	o 3914
39.48/36.95	o 3913
39.48/36.95	o 3912
39.48/36.95	o 3911
39.48/36.97	o 3910
39.48/36.97	o 3909
39.48/36.98	o 3908
39.79/37.28	o 3906
39.79/37.28	o 3905
39.79/37.28	o 3901
39.79/37.28	o 3900
39.79/37.28	o 3899
39.79/37.28	o 3898
39.79/37.28	o 3878
39.79/37.28	o 3877
39.79/37.28	o 3872
39.79/37.28	o 3871
39.79/37.28	o 3870
39.79/37.28	o 3869
39.79/37.28	o 3868
39.79/37.28	o 3867
39.79/37.28	o 3866
39.79/37.28	o 3865
39.79/37.28	o 3853
39.79/37.28	o 3851
39.79/37.28	o 3850
39.79/37.29	o 3849
39.79/37.29	o 3847
39.79/37.29	o 3846
39.79/37.29	o 3832
39.79/37.29	o 3831
39.79/37.29	o 3825
39.79/37.29	o 3824
39.79/37.29	o 3823
39.79/37.29	o 3822
39.79/37.29	o 3821
39.79/37.29	o 3820
39.79/37.29	o 3819
39.89/37.30	o 3818
39.89/37.30	o 3817
39.89/37.30	o 3816
39.89/37.30	o 3815
39.89/37.33	o 3814
39.89/37.33	o 3813
39.89/37.33	o 3812
39.99/37.41	o 3810
40.70/38.12	o 3809
42.20/39.61	o 3808
42.50/39.91	o 3800
42.50/39.91	o 3776
42.50/39.91	o 3772
42.50/39.91	o 3770
42.50/39.91	o 3767
42.50/39.91	o 3765
42.50/39.91	o 3764
42.50/39.91	o 3763
42.50/39.91	o 3762
42.50/39.91	o 3761
42.50/39.91	o 3760
42.50/39.91	o 3759
42.50/39.91	o 3758
42.50/39.91	o 3756
42.50/39.91	o 3754
42.50/39.91	o 3709
42.50/39.91	o 3707
42.50/39.93	o 3706
42.50/39.93	o 3705
42.50/39.94	o 3704
42.50/39.94	o 3703
42.50/39.97	o 3702
42.50/39.97	o 3701
42.50/39.97	o 3700
42.50/39.97	o 3699
42.50/39.97	o 3698
42.50/39.97	o 3697
42.50/39.97	o 3696
42.50/40.01	o 3695
42.61/40.07	o 3694
42.61/40.07	o 3693
43.01/40.42	o 3692
43.01/40.48	o 3691
43.11/40.51	o 3690
43.31/40.78	o 3689
43.31/40.78	o 3688
45.33/42.76	o 3687
45.33/42.76	o 3684
45.33/42.76	o 3683
45.33/42.76	o 3682
45.33/42.76	o 3674
45.33/42.76	o 3658
45.33/42.76	o 3655
45.33/42.76	o 3650
45.33/42.76	o 3649
45.33/42.76	o 3648
45.33/42.76	o 3647
45.33/42.76	o 3644
45.33/42.77	o 3643
45.33/42.77	o 3639
45.33/42.77	o 3638
45.33/42.77	o 3636
45.33/42.77	o 3634
45.33/42.77	o 3630
45.33/42.77	o 3622
45.33/42.77	o 3618
45.33/42.77	o 3614
45.33/42.77	o 3610
45.33/42.77	o 3609
45.43/42.80	o 3608
45.43/42.80	o 3606
45.43/42.84	o 3605
45.43/42.84	o 3604
45.43/42.89	o 3603
46.14/43.50	o 3602
46.14/43.56	o 3601
46.24/43.61	o 3600
46.94/44.38	o 3598
46.94/44.38	o 3596
46.94/44.38	o 3595
46.94/44.38	o 3594
46.94/44.38	o 3592
46.94/44.38	o 3591
46.94/44.39	o 3590
46.94/44.39	o 3588
46.94/44.39	o 3587
46.94/44.39	o 3584
46.94/44.39	o 3583
46.94/44.39	o 3582
46.94/44.39	o 3581
46.94/44.39	o 3580
47.04/44.41	o 3579
47.04/44.41	o 3578
47.15/44.50	o 3577
47.95/45.38	o 3576
47.95/45.38	o 3575
47.95/45.38	o 3574
47.95/45.38	o 3573
47.95/45.38	o 3572
47.95/45.38	o 3571
47.95/45.38	o 3570
47.95/45.38	o 3569
47.95/45.38	o 3568
47.95/45.38	o 3567
47.95/45.38	o 3566
47.95/45.38	o 3561
47.95/45.38	o 3560
47.95/45.38	o 3559
47.95/45.38	o 3558
47.95/45.38	o 3557
47.95/45.38	o 3555
47.95/45.38	o 3554
47.95/45.38	o 3552
47.95/45.38	o 3551
47.95/45.38	o 3546
47.95/45.38	o 3545
47.95/45.39	o 3539
47.95/45.39	o 3538
47.95/45.39	o 3537
47.95/45.39	o 3536
47.95/45.39	o 3535
47.95/45.39	o 3534
47.95/45.39	o 3533
47.95/45.39	o 3532
47.95/45.39	o 3531
47.95/45.39	o 3530
47.95/45.39	o 3529
47.95/45.39	o 3528
48.05/45.40	o 3527
48.05/45.40	o 3526
48.05/45.40	o 3525
48.05/45.41	o 3524
48.05/45.42	o 3523
48.05/45.43	o 3522
48.05/45.43	o 3521
48.05/45.45	o 3520
48.05/45.45	o 3519
48.05/45.46	o 3518
48.05/45.48	o 3517
48.05/45.48	o 3516
48.05/45.48	o 3515
48.15/45.51	o 3514
48.15/45.53	o 3513
48.15/45.53	o 3512
48.15/45.53	o 3511
48.15/45.56	o 3510
48.15/45.56	o 3509
48.15/45.58	o 3507
48.15/45.58	o 3505
48.15/45.58	o 3504
48.15/45.58	o 3503
48.15/45.58	o 3502
48.15/45.58	o 3501
48.15/45.58	o 3499
48.15/45.58	o 3498
48.15/45.58	o 3497
48.15/45.58	o 3496
48.15/45.58	o 3494
48.15/45.59	o 3492
48.15/45.59	o 3491
48.15/45.59	o 3490
48.25/45.61	o 3489
48.25/45.64	o 3488
48.25/45.67	o 3487
48.86/46.27	o 3485
48.86/46.27	o 3484
48.86/46.27	o 3482
48.86/46.27	o 3481
48.86/46.27	o 3480
48.86/46.27	o 3478
48.86/46.27	o 3477
48.86/46.27	o 3476
48.86/46.27	o 3475
48.86/46.27	o 3474
48.86/46.27	o 3472
48.86/46.27	o 3471
48.86/46.27	o 3470
48.86/46.27	o 3469
48.86/46.27	o 3468
48.86/46.27	o 3467
48.86/46.27	o 3466
48.86/46.27	o 3465
48.86/46.27	o 3464
48.86/46.28	o 3463
48.86/46.28	o 3462
48.86/46.29	o 3461
48.96/46.31	o 3460
48.96/46.31	o 3459
48.96/46.31	o 3458
48.96/46.35	o 3457
48.96/46.35	o 3456
49.06/46.41	o 3455
49.47/46.83	o 3424
49.47/46.83	o 3423
49.47/46.83	o 3419
49.47/46.83	o 3418
49.47/46.83	o 3417
49.47/46.84	o 3415
49.47/46.84	o 3413
49.57/46.96	o 3412
49.68/47.06	o 3411
49.87/47.29	o 3410
49.87/47.29	o 3409
50.57/47.93	o 3406
50.57/47.93	o 3405
50.57/47.93	o 3404
50.57/47.93	o 3403
50.57/47.93	o 3402
50.57/47.93	o 3401
50.57/47.94	o 3400
50.57/47.96	o 3399
50.57/47.96	o 3398
50.68/48.03	o 3397
50.87/48.20	o 3396
50.87/48.20	o 3393
50.87/48.20	o 3391
50.87/48.21	o 3389
50.87/48.21	o 3388
50.87/48.21	o 3387
50.87/48.21	o 3386
50.87/48.21	o 3384
51.17/48.59	o 3383
51.17/48.59	o 3382
52.08/49.43	o 3375
52.08/49.43	o 3372
52.08/49.43	o 3366
52.08/49.43	o 3365
52.08/49.43	o 3335
52.08/49.43	o 3334
52.08/49.43	o 3325
52.08/49.43	o 3324
52.08/49.43	o 3322
52.08/49.43	o 3321
52.08/49.43	o 3320
52.08/49.43	o 3319
52.08/49.43	o 3318
52.08/49.43	o 3313
52.08/49.43	o 3311
52.08/49.43	o 3310
52.08/49.43	o 3294
52.08/49.43	o 3292
52.08/49.43	o 3291
52.08/49.44	o 3290
52.08/49.44	o 3289
52.08/49.44	o 3288
52.08/49.44	o 3287
52.08/49.44	o 3286
52.08/49.44	o 3285
52.08/49.44	o 3284
52.08/49.47	o 3283
52.08/49.47	o 3282
52.08/49.47	o 3281
52.08/49.48	o 3280
52.18/49.50	o 3278
52.18/49.50	o 3277
52.18/49.50	o 3276
52.18/49.50	o 3275
52.18/49.51	o 3274
52.18/49.52	o 3273
52.28/49.63	o 3272
52.28/49.63	o 3271
53.90/51.24	o 3270
53.90/51.24	o 3269
53.90/51.24	o 3268
53.90/51.24	o 3267
53.90/51.24	o 3266
53.90/51.24	o 3265
53.90/51.24	o 3263
53.90/51.24	o 3262
53.90/51.24	o 3261
53.90/51.24	o 3260
53.90/51.24	o 3259
53.90/51.24	o 3256
53.90/51.24	o 3255
53.90/51.24	o 3253
53.90/51.24	o 3247
53.90/51.24	o 3240
53.90/51.25	o 3239
53.90/51.25	o 3238
53.90/51.25	o 3214
53.90/51.25	o 3213
53.90/51.25	o 3212
53.90/51.25	o 3205
53.90/51.25	o 3204
53.90/51.25	o 3203
53.90/51.25	o 3199
53.90/51.25	o 3198
53.90/51.25	o 3197
53.90/51.25	o 3196
53.90/51.25	o 3194
53.90/51.25	o 3193
53.90/51.25	o 3192
53.90/51.25	o 3191
53.90/51.25	o 3190
53.90/51.26	o 3189
53.90/51.26	o 3188
53.90/51.26	o 3187
54.00/51.33	o 3186
54.00/51.37	o 3185
54.00/51.39	o 3184
54.51/51.83	o 3183
54.51/51.83	o 3182
54.51/51.83	o 3181
54.51/51.88	o 3180
54.72/52.05	o 3179
54.72/52.06	o 3178
54.82/52.12	o 3177
54.91/52.26	o 3176
55.01/52.30	o 3175
55.01/52.30	o 3174
55.11/52.43	o 3173
55.51/52.87	o 3172
55.61/52.96	o 3171
55.72/53.01	o 3170
55.82/53.14	o 3169
56.02/53.39	o 3168
56.12/53.40	o 3167
56.12/53.41	o 3166
56.12/53.46	o 3165
56.22/53.52	o 3164
56.22/53.52	o 3163
56.22/53.52	o 3162
56.83/54.11	o 3161
56.83/54.11	o 3160
56.83/54.11	o 3159
56.83/54.11	o 3158
56.83/54.11	o 3157
56.83/54.11	o 3156
56.83/54.11	o 3154
56.83/54.11	o 3153
56.83/54.11	o 3152
56.83/54.11	o 3151
56.83/54.11	o 3150
56.83/54.12	o 3149
56.83/54.12	o 3148
56.83/54.12	o 3147
56.83/54.12	o 3146
56.83/54.12	o 3145
56.83/54.12	o 3144
56.83/54.12	o 3143
56.83/54.13	o 3142
56.92/54.24	o 3141
57.23/54.54	o 3140
58.13/55.43	o 3138
58.23/55.57	o 3137
58.23/55.58	o 3136
59.24/56.59	o 3135
59.34/56.60	o 3134
60.66/57.90	o 3133
60.66/57.90	o 3132
60.66/57.90	o 3131
60.66/57.90	o 3129
60.66/57.90	o 3127
60.66/57.90	o 3126
60.66/57.90	o 3124
60.66/57.90	o 3121
60.66/57.90	o 3119
60.66/57.90	o 3118
60.66/57.90	o 3116
60.66/57.90	o 3115
60.66/57.90	o 3114
60.66/57.90	o 3113
60.66/57.90	o 3112
60.66/57.90	o 3111
60.66/57.90	o 3110
60.66/57.90	o 3109
60.66/57.90	o 3108
60.66/57.90	o 3107
60.66/57.90	o 3106
60.66/57.90	o 3105
60.66/57.92	o 3104
61.37/58.61	o 3103
61.47/58.72	o 3060
61.47/58.72	o 3059
61.47/58.72	o 3057
61.47/58.72	o 3054
61.47/58.72	o 3053
61.47/58.72	o 3052
61.47/58.72	o 3051
61.47/58.72	o 3043
61.47/58.72	o 3040
61.47/58.72	o 3038
61.47/58.72	o 3034
61.47/58.72	o 3028
61.47/58.73	o 3026
61.67/58.98	o 3025
61.67/59.01	o 3023
61.78/59.02	o 3022
61.78/59.02	o 3021
63.90/61.13	o 3017
63.90/61.14	o 3015
63.90/61.14	o 3011
63.90/61.14	o 3009
63.90/61.14	o 3007
63.90/61.14	o 2978
63.90/61.14	o 2969
63.90/61.14	o 2968
63.90/61.14	o 2967
63.90/61.15	o 2966
63.90/61.15	o 2965
63.90/61.16	o 2964
63.99/61.23	o 2963
63.99/61.25	o 2962
63.99/61.29	o 2961
64.09/61.32	o 2960
64.09/61.32	o 2959
64.29/61.51	o 2958
64.29/61.52	o 2957
64.29/61.54	o 2956
64.39/61.69	o 2954
64.39/61.69	o 2952
64.39/61.69	o 2950
64.39/61.69	o 2930
64.39/61.69	o 2929
64.39/61.69	o 2928
64.39/61.69	o 2927
64.39/61.69	o 2920
64.39/61.69	o 2919
64.39/61.69	o 2918
64.39/61.69	o 2917
64.39/61.69	o 2902
64.39/61.69	o 2901
64.39/61.70	o 2900
64.39/61.70	o 2899
64.49/61.70	o 2898
64.49/61.75	o 2897
64.49/61.75	o 2896
64.59/61.82	o 2895
64.69/61.91	o 2894
64.69/61.91	o 2893
64.80/62.01	o 2892
64.80/62.01	o 2891
64.80/62.01	o 2890
64.99/62.27	o 2889
65.19/62.43	o 2888
67.81/65.05	o 2887
67.81/65.05	o 2882
67.81/65.05	o 2880
67.81/65.05	o 2875
67.81/65.05	o 2873
67.81/65.05	o 2872
67.81/65.05	o 2848
67.81/65.05	o 2818
67.81/65.05	o 2809
67.81/65.05	o 2808
67.81/65.05	o 2807
67.81/65.05	o 2805
67.81/65.05	o 2791
67.81/65.05	o 2790
67.81/65.05	o 2789
67.81/65.06	o 2784
67.81/65.06	o 2783
67.81/65.06	o 2782
67.81/65.06	o 2781
67.81/65.06	o 2780
67.81/65.06	o 2779
67.81/65.06	o 2778
67.81/65.06	o 2777
67.81/65.06	o 2776
67.81/65.06	o 2775
67.81/65.06	o 2774
68.61/65.82	o 2773
68.61/65.82	o 2772
68.61/65.86	o 2771
68.71/65.92	o 2763
68.71/65.92	o 2762
68.71/65.92	o 2735
68.71/65.92	o 2734
68.71/65.92	o 2726
68.71/65.92	o 2725
68.71/65.92	o 2724
68.71/65.92	o 2723
68.71/65.92	o 2722
68.71/65.92	o 2721
68.71/65.92	o 2715
68.71/65.92	o 2714
68.71/65.92	o 2713
68.71/65.92	o 2712
68.71/65.92	o 2706
68.71/65.92	o 2702
68.71/65.92	o 2701
68.71/65.92	o 2696
68.71/65.92	o 2695
68.71/65.92	o 2694
68.71/65.92	o 2693
68.71/65.93	o 2692
68.71/65.93	o 2691
68.71/65.93	o 2690
68.71/65.93	o 2688
68.71/65.93	o 2687
68.71/65.93	o 2686
68.71/65.93	o 2685
68.71/65.93	o 2684
68.71/65.96	o 2683
68.71/65.96	o 2682
68.71/65.96	o 2681
68.71/65.96	o 2680
68.71/65.97	o 2678
68.82/66.02	o 2677
68.82/66.02	o 2676
68.82/66.02	o 2675
68.82/66.02	o 2674
68.82/66.02	o 2673
68.82/66.03	o 2672
68.82/66.03	o 2671
68.82/66.03	o 2670
68.82/66.03	o 2669
69.62/66.88	o 2668
69.72/66.94	o 2667
69.93/67.17	o 2666
69.93/67.19	o 2665
70.02/67.20	o 2664
70.02/67.20	o 2663
70.02/67.28	o 2649
70.02/67.28	o 2648
70.02/67.28	o 2647
70.02/67.28	o 2635
70.02/67.29	o 2634
70.02/67.29	o 2633
70.02/67.29	o 2624
70.02/67.29	o 2623
70.02/67.29	o 2622
70.02/67.29	o 2621
70.02/67.29	o 2620
70.02/67.29	o 2619
70.02/67.29	o 2618
70.02/67.29	o 2617
70.02/67.29	o 2616
70.02/67.29	o 2615
70.02/67.29	o 2614
70.02/67.29	o 2612
70.02/67.29	o 2611
70.12/67.30	o 2610
70.12/67.30	o 2609
70.12/67.34	o 2608
70.12/67.34	o 2607
70.12/67.34	o 2606
72.13/69.32	o 2603
72.13/69.32	o 2602
72.13/69.32	o 2595
72.13/69.32	o 2594
72.13/69.32	o 2593
72.13/69.32	o 2592
72.13/69.32	o 2591
72.13/69.32	o 2590
72.13/69.32	o 2589
72.13/69.32	o 2588
72.13/69.32	o 2584
72.13/69.32	o 2583
72.13/69.32	o 2582
72.13/69.32	o 2581
72.13/69.32	o 2580
72.95/70.12	o 2579
73.15/70.37	o 2578
73.15/70.39	o 2577
73.65/70.89	o 2576
73.75/70.90	o 2575
75.16/72.33	o 2574
75.16/72.33	o 2573
75.16/72.33	o 2572
75.16/72.33	o 2570
75.16/72.33	o 2568
75.16/72.33	o 2550
75.16/72.33	o 2548
75.16/72.33	o 2513
75.16/72.33	o 2511
75.16/72.33	o 2510
75.16/72.33	o 2505
75.16/72.33	o 2503
75.16/72.33	o 2502
75.16/72.35	o 2501
75.26/72.40	o 2500
75.26/72.41	o 2499
75.26/72.42	o 2498
75.46/72.66	o 2497
75.46/72.67	o 2496
75.56/72.71	o 2495
75.87/73.08	o 2494
75.87/73.08	o 2493
76.36/73.54	o 2492
78.17/75.31	o 2490
78.17/75.31	o 2489
78.17/75.31	o 2488
78.17/75.31	o 2486
78.17/75.31	o 2484
78.17/75.31	o 2482
78.17/75.35	o 2481
78.17/75.36	o 2480
78.17/75.36	o 2479
78.17/75.36	o 2478
78.17/75.36	o 2477
78.17/75.37	o 2474
78.27/75.40	o 2473
78.99/76.19	o 2472
80.90/78.09	o 2471
80.90/78.09	o 2470
81.30/78.47	o 2461
81.30/78.47	o 2459
81.30/78.47	o 2454
81.30/78.47	o 2451
81.30/78.47	o 2442
81.30/78.47	o 2433
81.30/78.47	o 2432
81.30/78.47	o 2421
81.30/78.47	o 2403
81.30/78.47	o 2402
81.30/78.48	o 2400
81.30/78.48	o 2399
81.30/78.48	o 2398
81.30/78.48	o 2397
81.30/78.49	o 2396
81.30/78.49	o 2395
81.30/78.49	o 2394
81.30/78.49	o 2393
81.30/78.49	o 2392
81.30/78.49	o 2391
81.40/78.51	o 2390
81.40/78.51	o 2389
81.40/78.51	o 2388
81.40/78.51	o 2386
81.40/78.51	o 2384
81.40/78.57	o 2383
81.40/78.57	o 2382
81.70/78.88	o 2381
81.80/78.91	o 2380
81.80/78.93	o 2379
82.10/79.20	o 2378
82.50/79.64	o 2363
82.50/79.64	o 2362
82.50/79.64	o 2359
82.50/79.64	o 2358
82.50/79.64	o 2357
82.50/79.64	o 2355
82.50/79.64	o 2354
82.50/79.64	o 2353
82.50/79.64	o 2350
82.50/79.64	o 2349
82.50/79.64	o 2348
82.50/79.64	o 2347
82.50/79.64	o 2346
82.50/79.65	o 2345
82.50/79.65	o 2343
82.50/79.65	o 2342
82.50/79.65	o 2341
82.50/79.65	o 2338
82.50/79.65	o 2337
82.50/79.65	o 2336
82.50/79.65	o 2335
82.50/79.65	o 2334
82.50/79.65	o 2333
82.50/79.66	o 2332
82.50/79.66	o 2331
82.50/79.66	o 2330
82.61/79.70	o 2329
82.61/79.70	o 2328
82.61/79.70	o 2327
82.61/79.70	o 2326
82.81/79.96	o 2325
82.81/79.96	o 2324
82.81/79.96	o 2323
82.92/80.03	o 2322
82.92/80.03	o 2321
82.92/80.03	o 2320
84.11/81.24	o 2319
84.11/81.25	o 2318
84.11/81.26	o 2317
84.11/81.26	o 2316
84.22/81.36	o 2315
84.62/81.76	o 2313
84.62/81.76	o 2312
84.62/81.76	o 2306
84.62/81.76	o 2303
84.62/81.76	o 2302
84.62/81.79	o 2301
84.93/82.09	o 2300
84.93/82.09	o 2299
84.93/82.09	o 2298
85.03/82.14	o 2297
85.23/82.34	o 2296
85.23/82.34	o 2294
85.23/82.35	o 2291
85.23/82.35	o 2290
85.33/82.44	o 2289
85.33/82.48	o 2288
85.64/82.70	o 2287
85.64/82.70	o 2286
85.64/82.70	o 2285
85.64/82.71	o 2284
85.64/82.72	o 2283
85.64/82.74	o 2282
85.64/82.77	o 2281
86.34/83.42	o 2280
86.44/83.51	o 2279
86.44/83.51	o 2278
91.88/88.94	o 2276
91.88/88.94	o 2274
91.88/88.94	o 2273
91.88/88.94	o 2267
91.88/88.94	o 2266
91.88/88.94	o 2265
91.88/88.94	o 2264
91.88/88.94	o 2263
91.88/88.94	o 2262
91.88/88.94	o 2261
91.88/88.94	o 2260
91.88/88.94	o 2258
91.88/88.94	o 2257
91.88/88.94	o 2251
91.88/88.94	o 2249
91.88/88.94	o 2248
91.88/88.94	o 2247
91.88/88.94	o 2246
91.88/88.94	o 2245
91.88/88.94	o 2244
91.88/88.94	o 2240
91.88/88.94	o 2238
91.88/88.94	o 2237
91.88/88.94	o 2217
91.88/88.94	o 2216
91.88/88.95	o 2215
91.88/88.95	o 2214
91.88/88.95	o 2213
91.88/88.95	o 2212
91.88/88.95	o 2211
91.88/88.95	o 2210
91.88/88.95	o 2209
91.88/88.95	o 2208
91.88/88.96	o 2207
91.88/88.98	o 2206
91.88/88.98	o 2205
91.88/88.99	o 2204
91.88/88.99	o 2203
92.18/89.29	o 2202
92.38/89.48	o 2201
96.02/93.10	o 2200
97.32/94.30	o 2199
97.32/94.30	o 2196
97.32/94.30	o 2194
97.32/94.30	o 2191
97.32/94.30	o 2188
97.32/94.30	o 2185
97.32/94.30	o 2183
97.32/94.30	o 2145
97.32/94.30	o 2141
97.32/94.30	o 2140
97.32/94.30	o 2138
97.32/94.30	o 2137
97.32/94.30	o 2133
97.32/94.30	o 2132
97.32/94.30	o 2131
97.32/94.30	o 2130
97.32/94.30	o 2129
97.32/94.30	o 2127
97.32/94.30	o 2126
97.32/94.30	o 2117
97.32/94.30	o 2116
97.32/94.30	o 2114
97.32/94.30	o 2111
97.32/94.30	o 2110
97.32/94.30	o 2109
97.32/94.30	o 2101
97.32/94.31	o 2100
97.32/94.31	o 2099
97.32/94.31	o 2096
97.32/94.31	o 2095
97.32/94.31	o 2094
97.32/94.31	o 2093
97.32/94.37	o 2092
97.32/94.37	o 2091
97.32/94.38	o 2090
97.62/94.70	o 2089
97.62/94.70	o 2088
97.72/94.70	o 2087
97.72/94.70	o 2085
97.72/94.71	o 2084
97.72/94.74	o 2083
97.72/94.76	o 2082
98.42/95.40	o 2081
98.42/95.40	o 2079
98.42/95.40	o 2078
98.42/95.40	o 2075
98.42/95.40	o 2074
98.42/95.40	o 2073
98.42/95.40	o 2070
98.42/95.40	o 2069
98.42/95.40	o 2064
98.42/95.40	o 2063
98.42/95.40	o 2057
98.42/95.40	o 2056
98.42/95.40	o 2055
98.42/95.40	o 2054
98.42/95.40	o 2052
98.42/95.40	o 2051
98.42/95.41	o 2049
98.42/95.41	o 2048
98.42/95.44	o 2047
98.42/95.44	o 2046
98.42/95.48	o 2045
98.73/95.72	o 2044
98.73/95.73	o 2043
98.83/95.80	o 2042
98.83/95.80	o 2041
98.83/95.87	o 2040
99.43/96.40	o 2039
99.53/96.56	o 2037
99.53/96.56	o 2036
99.53/96.56	o 2034
99.53/96.56	o 2033
99.53/96.56	o 2032
99.53/96.56	o 2031
99.53/96.56	o 2030
99.53/96.56	o 2029
99.53/96.56	o 2028
99.53/96.56	o 2027
99.53/96.56	o 2020
99.53/96.56	o 2016
99.53/96.56	o 2014
99.53/96.57	o 2009
99.53/96.59	o 2008
99.63/96.60	o 2007
99.63/96.60	o 2006
99.63/96.64	o 2005
99.63/96.64	o 2004
100.74/97.78	o 2002
100.74/97.78	o 2001
100.84/97.83	o 2000
100.84/97.83	o 1999
100.84/97.84	o 1998
100.84/97.84	o 1995
100.84/97.84	o 1994
100.84/97.84	o 1993
100.84/97.84	o 1992
100.84/97.84	o 1991
100.84/97.84	o 1974
100.84/97.84	o 1971
100.84/97.84	o 1970
100.84/97.84	o 1966
100.84/97.84	o 1964
100.84/97.85	o 1963
100.84/97.85	o 1961
100.84/97.85	o 1960
100.84/97.85	o 1959
100.84/97.86	o 1957
100.84/97.86	o 1956
100.84/97.86	o 1954
100.94/97.90	o 1953
100.94/97.90	o 1952
102.16/99.13	o 1951
102.16/99.13	o 1950
102.16/99.13	o 1949
102.16/99.13	o 1948
102.16/99.13	o 1947
102.16/99.13	o 1946
102.16/99.14	o 1945
102.16/99.14	o 1944
102.16/99.14	o 1943
102.16/99.14	o 1942
102.46/99.45	o 1941
102.46/99.45	o 1940
102.46/99.49	o 1939
102.56/99.54	o 1938
102.56/99.54	o 1937
103.17/100.16	o 1936
103.36/100.37	o 1935
103.36/100.38	o 1934
103.36/100.38	o 1933
104.66/101.66	o 1932
105.98/102.98	o 1931
105.98/102.98	o 1930
106.58/103.54	o 1929
110.71/107.66	o 1928
110.71/107.66	o 1926
110.71/107.66	o 1925
110.71/107.66	o 1924
110.71/107.66	o 1923
110.71/107.66	o 1922
110.71/107.66	o 1921
110.71/107.66	o 1888
110.71/107.66	o 1887
110.71/107.66	o 1867
110.71/107.66	o 1866
110.71/107.66	o 1864
110.71/107.66	o 1863
110.71/107.66	o 1862
110.71/107.66	o 1861
110.71/107.66	o 1860
110.71/107.66	o 1859
110.71/107.66	o 1857
110.71/107.66	o 1856
110.71/107.66	o 1855
110.71/107.66	o 1854
110.71/107.66	o 1853
110.71/107.66	o 1852
110.71/107.67	o 1851
110.71/107.68	o 1850
110.71/107.68	o 1849
110.71/107.68	o 1848
110.71/107.68	o 1847
110.71/107.68	o 1846
110.81/107.74	o 1845
111.22/108.14	o 1844
114.23/111.17	o 1843
117.26/114.14	o 1842
117.26/114.14	o 1841
117.26/114.14	o 1840
117.26/114.14	o 1839
117.26/114.14	o 1838
117.26/114.14	o 1837
117.26/114.14	o 1834
117.35/114.25	o 1833
117.45/114.35	o 1832
117.45/114.35	o 1831
117.45/114.35	o 1830
119.26/116.14	o 1827
119.26/116.14	o 1824
119.26/116.14	o 1817
119.26/116.14	o 1812
119.26/116.14	o 1809
119.26/116.14	o 1791
119.26/116.14	o 1790
119.26/116.14	o 1789
119.26/116.14	o 1786
119.26/116.14	o 1783
119.26/116.14	o 1782
119.26/116.14	o 1780
119.26/116.14	o 1779
119.26/116.14	o 1777
119.26/116.14	o 1776
119.26/116.14	o 1775
119.26/116.14	o 1774
119.26/116.14	o 1770
119.26/116.15	o 1769
119.26/116.15	o 1768
119.26/116.15	o 1767
119.26/116.16	o 1766
119.26/116.16	o 1765
119.26/116.18	o 1764
119.26/116.20	o 1763
119.26/116.20	o 1762
119.36/116.20	o 1761
119.36/116.26	o 1760
119.36/116.26	o 1758
119.36/116.29	o 1757
119.46/116.39	o 1756
119.46/116.39	o 1755
119.46/116.39	o 1754
119.46/116.39	o 1753
119.56/116.43	o 1752
119.56/116.43	o 1751
119.56/116.43	o 1750
119.66/116.51	o 1749
120.27/117.13	o 1748
120.27/117.13	o 1743
120.27/117.13	o 1742
120.27/117.13	o 1713
120.27/117.13	o 1712
120.27/117.13	o 1711
120.27/117.13	o 1710
120.27/117.13	o 1709
120.27/117.13	o 1707
120.27/117.13	o 1706
120.27/117.13	o 1705
120.27/117.13	o 1704
120.46/117.38	o 1703
120.46/117.39	o 1702
120.66/117.53	o 1701
120.66/117.54	o 1700
120.76/117.61	o 1699
120.87/117.71	o 1698
120.87/117.72	o 1697
120.87/117.79	o 1696
120.97/117.84	o 1695
120.97/117.84	o 1694
120.97/117.86	o 1693
120.97/117.86	o 1692
121.07/117.93	o 1691
121.18/118.01	o 1690
121.18/118.01	o 1689
121.18/118.08	o 1688
121.18/118.08	o 1687
121.18/118.08	o 1686
121.18/118.08	o 1685
121.18/118.08	o 1684
121.18/118.08	o 1683
121.37/118.23	o 1682
121.37/118.23	o 1681
121.57/118.43	o 1678
121.57/118.43	o 1675
121.57/118.43	o 1674
121.57/118.43	o 1672
121.57/118.43	o 1666
121.57/118.44	o 1663
121.57/118.44	o 1659
121.57/118.44	o 1657
121.57/118.44	o 1652
121.57/118.44	o 1651
121.57/118.45	o 1650
121.57/118.45	o 1649
121.57/118.45	o 1647
121.57/118.45	o 1646
121.67/118.56	o 1645
121.77/118.62	o 1644
124.20/121.08	o 1643
124.20/121.09	o 1642
124.20/121.09	o 1641
124.20/121.10	o 1640
124.20/121.10	o 1639
137.68/134.48	o 1638
137.68/134.48	o 1636
137.68/134.48	o 1632
137.68/134.48	o 1631
137.68/134.48	o 1626
137.68/134.48	o 1625
137.68/134.48	o 1622
137.68/134.48	o 1621
137.78/134.50	o 1620
137.78/134.51	o 1619
137.78/134.51	o 1617
137.78/134.51	o 1616
137.98/134.73	o 1614
138.79/135.54	o 1613
138.79/135.55	o 1612
138.89/135.64	o 1611
138.89/135.64	o 1610
141.60/138.38	o 1607
141.60/138.38	o 1606
141.60/138.38	o 1591
141.60/138.38	o 1590
141.60/138.38	o 1589
141.60/138.38	o 1588
141.60/138.38	o 1539
141.60/138.38	o 1538
141.60/138.38	o 1532
141.60/138.38	o 1531
141.60/138.38	o 1530
141.60/138.38	o 1529
141.60/138.39	o 1528
141.60/138.39	o 1527
141.60/138.39	o 1526
141.60/138.39	o 1525
141.60/138.39	o 1524
142.50/139.27	o 1523
142.60/139.37	o 1522
142.60/139.37	o 1521
142.71/139.44	o 1520
142.71/139.44	o 1519
142.71/139.44	o 1518
142.71/139.45	o 1517
142.71/139.45	o 1516
142.71/139.45	o 1515
142.81/139.58	o 1514
143.11/139.81	o 1513
143.11/139.81	o 1512
143.32/140.09	o 1511
199.67/196.07	o 1509
199.67/196.07	o 1507
199.67/196.07	o 1505
199.67/196.07	o 1503
199.67/196.07	o 1483
199.67/196.07	o 1482
199.67/196.07	o 1479
199.67/196.07	o 1478
199.67/196.07	o 1475
199.67/196.07	o 1474
199.86/196.21	o 1473
201.37/197.74	o 1472
201.37/197.76	o 1471
202.79/199.19	o 1470
202.88/199.24	o 1469
202.88/199.24	o 1468
204.59/201.00	o 1467
204.70/201.07	o 1466
205.49/201.83	o 1465
205.49/201.84	o 1464
205.49/201.84	o 1463
205.59/201.92	o 1462
217.87/214.11	o 1461
217.87/214.12	o 1460
217.87/214.12	o 1459
217.87/214.12	o 1458
217.87/214.17	o 1457
220.30/216.59	o 1444
220.30/216.59	o 1434
220.30/216.59	o 1423
220.30/216.59	o 1422
220.30/216.59	o 1402
220.30/216.59	o 1401
220.30/216.59	o 1395
220.30/216.59	o 1394
220.30/216.59	o 1389
220.30/216.59	o 1388
220.30/216.59	o 1387
220.30/216.59	o 1386
220.30/216.59	o 1385
220.30/216.59	o 1384
220.30/216.59	o 1383
220.30/216.59	o 1382
220.30/216.59	o 1381
220.30/216.59	o 1380
220.30/216.59	o 1379
220.30/216.59	o 1378
220.30/216.59	o 1377
220.30/216.59	o 1376
220.30/216.59	o 1375
220.30/216.59	o 1374
220.30/216.59	o 1373
220.30/216.59	o 1372
220.30/216.60	o 1371
220.39/216.60	o 1370
220.39/216.60	o 1369
254.68/250.78	o 1368
255.28/251.31	o 1367
255.28/251.31	o 1365
255.28/251.32	o 1364
255.28/251.32	o 1363
255.28/251.32	o 1362
256.39/252.44	o 1361
256.39/252.44	o 1360
256.59/252.62	o 1359
264.84/260.84	o 1358
264.84/260.84	o 1357
264.84/260.84	o 1355
264.84/260.84	o 1354
264.84/260.84	o 1352
264.84/260.84	o 1351
264.84/260.84	o 1348
264.84/260.84	o 1347
264.84/260.84	o 1345
264.84/260.84	o 1344
264.84/260.84	o 1343
264.84/260.84	o 1342
264.84/260.84	o 1340
264.84/260.84	o 1339
264.84/260.84	o 1338
264.84/260.84	o 1337
264.84/260.84	o 1336
264.84/260.84	o 1335
264.84/260.84	o 1334
264.84/260.84	o 1333
264.84/260.84	o 1332
264.84/260.85	o 1331
264.84/260.85	o 1326
264.84/260.85	o 1322
264.84/260.85	o 1321
264.84/260.85	o 1320
264.84/260.85	o 1319
264.84/260.85	o 1318
264.84/260.85	o 1317
264.84/260.85	o 1316
264.84/260.85	o 1315
264.84/260.85	o 1314
264.84/260.85	o 1313
264.84/260.86	o 1312
264.84/260.86	o 1311
264.84/260.86	o 1310
264.84/260.87	o 1309
264.84/260.87	o 1308
264.84/260.87	o 1307
264.84/260.87	o 1306
264.84/260.87	o 1305
264.84/260.87	o 1304
264.84/260.88	o 1303
264.84/260.88	o 1302
264.84/260.88	o 1301
265.15/261.15	o 1300
265.15/261.15	o 1299
265.15/261.15	o 1298
265.15/261.15	o 1297
265.15/261.15	o 1296
265.15/261.15	o 1295
265.15/261.15	o 1294
265.15/261.15	o 1293
265.15/261.15	o 1282
265.15/261.15	o 1281
265.15/261.15	o 1280
265.15/261.15	o 1279
265.15/261.15	o 1278
265.15/261.16	o 1277
265.15/261.16	o 1276
265.15/261.16	o 1275
265.15/261.16	o 1271
265.15/261.16	o 1270
265.15/261.16	o 1269
265.15/261.16	o 1268
265.15/261.16	o 1266
265.15/261.16	o 1264
265.15/261.16	o 1263
265.15/261.17	o 1262
265.15/261.17	o 1260
265.15/261.17	o 1259
265.15/261.17	o 1254
265.15/261.17	o 1253
265.15/261.17	o 1252
265.24/261.25	o 1250
265.84/261.87	o 1249
265.95/261.90	o 1248
268.07/264.04	o 1247
269.98/265.90	o 1246
269.98/265.90	o 1245
269.98/265.90	o 1244
270.28/266.29	o 1243
270.38/266.33	o 1242
270.38/266.34	o 1241
271.29/267.27	o 1240
271.29/267.29	o 1239
313.95/309.67	o 1237
313.95/309.67	o 1234
313.95/309.67	o 1231
313.95/309.67	o 1223
313.95/309.67	o 1222
313.95/309.67	o 1221
313.95/309.67	o 1220
313.95/309.68	o 1219
313.95/309.68	o 1218
313.95/309.68	o 1217
313.95/309.68	o 1216
313.95/309.68	o 1215
313.95/309.68	o 1214
313.95/309.68	o 1213
313.95/309.68	o 1212
313.95/309.68	o 1211
313.95/309.68	o 1210
313.95/309.68	o 1209
313.95/309.68	o 1208
313.95/309.68	o 1207
313.95/309.68	o 1206
313.95/309.68	o 1205
313.95/309.68	o 1204
313.95/309.68	o 1203
313.95/309.68	o 1202
313.95/309.69	o 1201
313.95/309.69	o 1200
313.95/309.69	o 1199
315.26/310.98	o 1198
315.26/310.99	o 1197
316.67/312.35	o 1196
317.78/313.40	o 1195
317.78/313.41	o 1194
317.98/313.65	o 1193
318.49/314.18	o 1192
330.86/326.45	o 1191
330.86/326.45	o 1189
330.86/326.45	o 1188
330.86/326.45	o 1186
330.86/326.45	o 1185
330.86/326.45	o 1184
330.86/326.45	o 1183
330.86/326.45	o 1182
330.86/326.45	o 1181
330.86/326.45	o 1180
330.86/326.45	o 1179
330.86/326.45	o 1178
330.86/326.45	o 1177
330.86/326.45	o 1175
330.86/326.45	o 1174
330.86/326.45	o 1166
330.86/326.45	o 1165
330.86/326.45	o 1161
330.86/326.45	o 1160
330.86/326.45	o 1159
330.86/326.45	o 1158
330.86/326.46	o 1157
330.86/326.46	o 1156
330.86/326.46	o 1155
331.47/327.07	o 1153
331.47/327.09	o 1152
331.47/327.09	o 1151
331.47/327.10	o 1150
331.47/327.10	o 1149
331.57/327.11	o 1148
333.49/329.03	o 1147
333.49/329.03	o 1146
333.49/329.03	o 1144
333.49/329.03	o 1141
333.49/329.03	o 1139
333.49/329.03	o 1137
333.49/329.03	o 1136
333.49/329.03	o 1063
333.49/329.03	o 1060
333.49/329.03	o 1058
333.49/329.03	o 1057
333.49/329.03	o 1056
333.49/329.03	o 1055
333.49/329.03	o 1053
333.49/329.03	o 1052
333.49/329.03	o 1051
333.49/329.03	o 1050
333.49/329.03	o 1049
333.49/329.03	o 1048
333.49/329.03	o 1047
333.49/329.04	o 1046
333.49/329.05	o 1045
333.49/329.05	o 1044
333.49/329.05	o 1043
333.49/329.05	o 1042
333.49/329.05	o 1041
333.49/329.09	o 1040
333.59/329.13	o 1039
333.59/329.14	o 1037
333.59/329.15	o 1035
333.79/329.39	o 1034
333.79/329.39	o 1033
335.69/331.24	o 1032
335.69/331.24	o 1026
335.69/331.24	o 1024
335.69/331.24	o 1022
335.69/331.24	o 1021
335.69/331.24	o 1020
335.69/331.25	o 1019
335.69/331.25	o 1018
335.69/331.25	o 1016
335.69/331.25	o 1011
335.69/331.25	o 1010
335.69/331.25	o 1009
335.69/331.25	o 1008
335.69/331.25	o 1007
335.69/331.25	o 1006
335.69/331.25	o 1005
335.69/331.25	o 1003
335.69/331.25	o 1002
335.69/331.26	o 1001
335.69/331.27	o 1000
335.69/331.27	o 999
335.79/331.33	o 998
335.79/331.35	o 997
335.79/331.36	o 996
336.40/331.96	o 995
336.40/331.99	o 994
336.51/332.01	o 993
336.51/332.02	o 992
336.51/332.02	o 991
336.51/332.04	o 990
336.90/332.47	o 988
336.90/332.47	o 987
356.73/352.18	o 986
356.73/352.18	o 985
356.73/352.18	o 983
356.73/352.18	o 980
356.73/352.18	o 979
356.73/352.18	o 964
356.73/352.18	o 953
356.73/352.18	o 952
356.73/352.18	o 945
356.73/352.18	o 944
356.73/352.19	o 942
356.73/352.19	o 941
356.73/352.19	o 940
356.73/352.19	o 938
356.82/352.29	o 937
357.13/352.51	o 936
357.13/352.53	o 935
357.74/353.13	o 933
357.74/353.16	o 932
358.03/353.41	o 931
358.03/353.45	o 930
358.64/354.07	o 929
359.54/354.99	o 928
361.35/356.74	o 927
364.68/360.09	o 926
364.68/360.09	o 925
364.68/360.09	o 924
364.68/360.09	o 923
364.78/360.16	o 922
365.09/360.44	o 920
365.09/360.44	o 919
365.09/360.44	o 918
365.09/360.45	o 917
365.80/361.18	o 916
365.80/361.18	o 915
366.60/361.97	o 914
366.60/361.97	o 913
366.71/362.10	o 912
368.11/363.40	o 911
368.11/363.41	o 910
2002.54/1986.96	o 909
2002.54/1986.96	o 908
2002.54/1986.97	o 897
2002.54/1986.97	o 894
2002.95/1987.37	o 893
2008.39/1992.73	o 892
2013.02/1997.33	o 891
2020.28/2004.53	o 890
2020.28/2004.53	o 889
2020.28/2004.53	o 888
2063.88/2047.85	o 887
2085.84/2069.60	o 886
2520.05/2500.01	s SATISFIABLE
2520.05/2500.01	v <instantiation>
2520.05/2500.01	v 	<list>
2520.05/2500.01	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124]
2520.05/2500.01	v 	</list>
2520.05/2500.01	v 	<values>
2520.05/2500.01	v 		0 3 104 50 4 114 2 1 94 3 0 2 2 1 0 4 2 1 3 6 4 3 4 2 0 2 17 0 1 1 1 2 1 0 5 2 0 0 0 2 0 8 0 2 0 1 3 1 5 31 9 12 4 0 1 3 4 4 2 1 9 9 4 10 7 2 2 1 3 5 1 1 0 6 3 6 5 2 2 3 1 5 1 0 0 0 0 1 4 0 0 1 4 4 2 107 7 0 0 5 9 1 5 3 5 2 3 3 1 45 3 1 30 2 0 4 1 2 0 1 3 1 2 0 2 
2520.05/2500.01	v 	</values>
2520.05/2500.01	v </instantiation>

Verifier Data 

OK	886

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308003-1534283097/watcher-4308003-1534283097 -o /tmp/evaluation-result-4308003-1534283097/solver-4308003-1534283097 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534270585-30510 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 75871472 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308003-1534283097.xml 

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

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


[startup+0.108295 s]*
/proc/loadavg: 1.56 1.59 1.52 3/216 31805
/proc/meminfo: memFree=23791332/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14082736 memory=33876 CPUtime=0.12 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 7381 0 0 0 11 1 0 0 20 0 15 0 245872918 14420721664 8469 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3520684 8469 3152 1 0 3482761 0
[pid=31790/tid=31792] ppid=31787 vsize=14082736 memory=-8557575366716198523 CPUtime=0.1 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 5407 0 0 0 9 1 0 0 20 0 15 0 245872918 14420721664 8469 33554432000 4194304 4196468 140733538880576 140352071966464 140352067773597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 8469 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 8469 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 8469 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 8469 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872920 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872921 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351541060896 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872921 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351540008560 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0.01 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) S 31787 31790 28983 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 245872924 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351535798640 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 8469 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33876 KiB

[startup+0.214034 s]*
/proc/loadavg: 1.56 1.59 1.52 5/216 31805
/proc/meminfo: memFree=23775828/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14082736 memory=47036 CPUtime=0.31 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 10399 0 0 0 29 2 0 0 20 0 15 0 245872918 14420721664 11759 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3520684 11759 3349 1 0 3482761 0
[pid=31790/tid=31792] ppid=31787 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 8093 0 0 0 19 1 0 0 20 0 15 0 245872918 14420721664 11759 33554432000 4194304 4196468 140733538880576 140352071977568 140352051832158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 11759 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14082736 memory=140134773123283 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 11759 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 11759 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 11759 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245872920 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872921 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351541060896 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872921 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351540008560 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 245872924 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 15 0 245872924 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0.06 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) R 31787 31790 28983 0 -1 4202560 309 0 0 0 6 0 0 0 20 0 15 0 245872924 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351535798736 140352046196472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 11759 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47036 KiB

[startup+0.310622 s]*
/proc/loadavg: 1.56 1.59 1.52 3/216 31805
/proc/meminfo: memFree=23772540/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14082736 memory=50472 CPUtime=0.44 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 10785 0 0 0 41 3 0 0 20 0 15 0 245872918 14420721664 12618 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3520684 12618 3352 1 0 3482761 0
[pid=31790/tid=31792] ppid=31787 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 8448 0 0 0 28 2 0 0 20 0 15 0 245872918 14420721664 12618 33554432000 4194304 4196468 140733538880576 140352071959504 140352050938462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 12618 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14082736 memory=140134773123256 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 12618 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 12618 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872919 14420721664 12618 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245872920 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872921 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351541060896 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872921 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351540008560 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 245872924 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 15 0 245872924 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0.08 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) S 31787 31790 28983 0 -1 1077944384 328 0 0 0 8 0 0 0 20 0 15 0 245872924 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351535798640 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14082736 memory=140134773094016 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872924 14420721664 12618 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50472 KiB

[startup+0.70073 s]
/proc/loadavg: 1.56 1.59 1.52 4/216 31805
/proc/meminfo: memFree=23748888/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14084804 memory=89128 CPUtime=0.98 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 17645 0 0 0 93 5 0 0 20 0 15 0 245872918 14422839296 22282 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3521201 22282 3505 1 0 3483273 0
[pid=31790/tid=31792] ppid=31787 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 14899 0 0 0 63 4 0 0 20 0 15 0 245872918 14422839296 22282 33554432000 4194304 4196468 140733538880576 140352071974272 140352051832158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14084804 memory=844 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14422839296 22282 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14084804 memory=10072 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14422839296 22282 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14084804 memory=5012 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14422839296 22282 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872919 14422839296 22282 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14084804 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245872920 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14084804 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872921 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351541060896 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14084804 memory=1356 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872921 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351540008560 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14084804 memory=6369896832034956376 CPUtime=0.07 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 598 0 0 0 7 0 0 0 20 0 15 0 245872924 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14084804 memory=6076878065162868073 CPUtime=0.06 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 342 0 0 0 6 0 0 0 20 0 15 0 245872924 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) S 31787 31790 28983 0 -1 1077944384 425 0 0 0 15 0 0 0 20 0 15 0 245872924 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351535798640 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872924 14422839296 22282 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89128 KiB

[startup+1.51025 s]
/proc/loadavg: 1.56 1.59 1.52 4/216 31805
/proc/meminfo: memFree=23715352/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14090948 memory=159168 CPUtime=3 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 29841 0 0 0 291 9 0 0 20 0 15 0 245872918 14429130752 39792 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3522737 39792 3545 1 0 3484809 0
[pid=31790/tid=31792] ppid=31787 vsize=14090948 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 20647 0 0 0 141 6 0 0 20 0 15 0 245872918 14429130752 39792 33554432000 4194304 4196468 140733538880576 140352071980912 140351703181020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14090948 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14429130752 39792 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14090948 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14429130752 39792 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14090948 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872919 14429130752 39792 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14090948 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872919 14429130752 39792 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 245872920 14429130752 39792 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0

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

/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 43718 0 0 0 230782 21 0 0 20 0 15 0 245872918 14429130752 89124 33554432000 4194304 4196468 140733538880576 140352071989888 140351703932555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14090948 memory=356496 CPUtime=6.03 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 7309 0 0 0 570 33 0 0 20 0 15 0 245872919 14429130752 89124 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14090948 memory=356496 CPUtime=6 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 7454 0 0 0 565 35 0 0 20 0 15 0 245872919 14429130752 89124 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14090948 memory=356496 CPUtime=5.97 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 6752 0 0 0 564 33 0 0 20 0 15 0 245872919 14429130752 89124 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14090948 memory=356496 CPUtime=6 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 6947 0 0 0 567 33 0 0 20 0 15 0 245872919 14429130752 89124 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14090948 memory=356496 CPUtime=4.95 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 7177 0 0 0 462 33 0 0 20 0 15 0 245872920 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14090948 memory=3760 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351541060960 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14090948 memory=66676 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351540008576 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14090948 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 3627 0 0 0 100 1 0 0 20 0 15 0 245872924 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14090948 memory=356496 CPUtime=0.93 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 3134 0 0 0 91 2 0 0 20 0 15 0 245872924 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14090948 memory=3760 CPUtime=0.76 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) S 31787 31790 28983 0 -1 1077944384 13714 0 0 0 75 1 0 0 20 0 15 0 245872924 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351535798640 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14090948 memory=356496 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14090948 memory=2592 CPUtime=1.03 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1141 0 0 0 48 55 0 0 20 0 15 0 245872924 14429130752 89124 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 2340.79 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 356496 KiB

[startup+2382.3 s]
/proc/loadavg: 1.47 1.49 1.43 3/216 31917
/proc/meminfo: memFree=23338868/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14090948 memory=360592 CPUtime=2401.33 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 103857 0 0 0 239927 206 0 0 20 0 15 0 245872918 14429130752 90148 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3522737 90148 3578 1 0 3484809 0
[pid=31790/tid=31792] ppid=31787 vsize=14090948 memory=360592 CPUtime=2367.7 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 44287 0 0 0 236749 21 0 0 20 0 15 0 245872918 14429130752 90148 33554432000 4194304 4196468 140733538880576 140352071989888 140351704090209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14090948 memory=360592 CPUtime=6.2 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 7437 0 0 0 587 33 0 0 20 0 15 0 245872919 14429130752 90148 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14090948 memory=360592 CPUtime=6.18 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 7627 0 0 0 582 36 0 0 20 0 15 0 245872919 14429130752 90148 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14090948 memory=360592 CPUtime=6.15 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 6863 0 0 0 581 34 0 0 20 0 15 0 245872919 14429130752 90148 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14090948 memory=360592 CPUtime=6.19 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 7238 0 0 0 585 34 0 0 20 0 15 0 245872919 14429130752 90148 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14090948 memory=360592 CPUtime=5.07 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 7348 0 0 0 473 34 0 0 20 0 15 0 245872920 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14090948 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351541060960 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14090948 memory=3760 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351540008576 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14090948 memory=3760 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14090948 memory=360592 CPUtime=1.01 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 3629 0 0 0 100 1 0 0 20 0 15 0 245872924 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14090948 memory=3760 CPUtime=0.93 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 3136 0 0 0 91 2 0 0 20 0 15 0 245872924 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14090948 memory=3760 CPUtime=0.76 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) S 31787 31790 28983 0 -1 1077944384 13716 0 0 0 75 1 0 0 20 0 15 0 245872924 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351535798640 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14090948 memory=66676 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14090948 memory=66676 CPUtime=1.05 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1155 0 0 0 49 56 0 0 20 0 15 0 245872924 14429130752 90148 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 2401.33 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 360592 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.49 1.44 3/215 31919
/proc/meminfo: memFree=23341964/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14090948 memory=364688 CPUtime=2461.85 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 105438 0 0 0 245975 210 0 0 20 0 15 0 245872918 14429130752 91172 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3522737 91172 3578 1 0 3484809 0
[pid=31790/tid=31792] ppid=31787 vsize=14090948 memory=364688 CPUtime=2427.36 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 44738 0 0 0 242714 22 0 0 20 0 15 0 245872918 14429130752 91172 33554432000 4194304 4196468 140733538880576 140352071989840 140351704090799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14090948 memory=362640 CPUtime=6.39 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 7652 0 0 0 605 34 0 0 20 0 15 0 245872919 14429130752 91172 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14090948 memory=362640 CPUtime=6.36 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 7943 0 0 0 599 37 0 0 20 0 15 0 245872919 14429130752 91172 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14090948 memory=362640 CPUtime=6.32 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 6912 0 0 0 598 34 0 0 20 0 15 0 245872919 14429130752 91172 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14090948 memory=362640 CPUtime=6.38 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 7597 0 0 0 603 35 0 0 20 0 15 0 245872919 14429130752 91172 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14090948 memory=280269301248672 CPUtime=5.18 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 7518 0 0 0 484 34 0 0 20 0 15 0 245872920 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14090948 memory=364688 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351541060960 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14090948 memory=362640 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351540008576 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14090948 memory=362640 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14090948 memory=93 CPUtime=1.01 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 3631 0 0 0 100 1 0 0 20 0 15 0 245872924 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14090948 memory=76 CPUtime=0.93 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 3138 0 0 0 91 2 0 0 20 0 15 0 245872924 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14090948 memory=364688 CPUtime=0.76 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) S 31787 31790 28983 0 -1 1077944384 13719 0 0 0 75 1 0 0 20 0 15 0 245872924 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351535798640 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14090948 memory=364688 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14090948 memory=364688 CPUtime=1.07 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1169 0 0 0 50 57 0 0 20 0 15 0 245872924 14429130752 91172 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 2461.85 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 364688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2500 s]*
/proc/loadavg: 1.56 1.52 1.45 3/215 31996
/proc/meminfo: memFree=23495304/32770624 swapFree=67108196/67108860
[pid=31790] ppid=31787 vsize=14090948 memory=366736 CPUtime=2520.05 cores=1,3,5,7
/proc/31790/stat : 31790 (java) S 31787 31790 28983 0 -1 1077944320 107074 0 0 0 251791 214 0 0 20 0 15 0 245872918 14429130752 91684 33554432000 4194304 4196468 140733538880576 140733538863120 140352067751671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
/proc/31790/statm: 3522737 91684 3578 1 0 3484809 0
[pid=31790/tid=31792] ppid=31787 vsize=14090948 memory=6791534058613427641 CPUtime=2484.76 cores=1,3,5,7
/proc/31790/task/31792/stat : 31792 (java) R 31787 31790 28983 0 -1 4202560 45285 0 0 0 248454 22 0 0 20 0 15 0 245872918 14429130752 91684 33554432000 4194304 4196468 140733538880576 140352071989888 140351704090239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31793] ppid=31787 vsize=14090948 memory=504 CPUtime=6.56 cores=1,3,5,7
/proc/31790/task/31793/stat : 31793 (java) S 31787 31790 28983 0 -1 1077944384 7916 0 0 0 621 35 0 0 20 0 15 0 245872919 14429130752 91684 33554432000 4194304 4196468 140733538880576 140352020371856 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31794] ppid=31787 vsize=14090948 memory=1704 CPUtime=6.53 cores=1,3,5,7
/proc/31790/task/31794/stat : 31794 (java) S 31787 31790 28983 0 -1 1077944384 8209 0 0 0 615 38 0 0 20 0 15 0 245872919 14429130752 91684 33554432000 4194304 4196468 140733538880576 140352019319056 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31795] ppid=31787 vsize=14090948 memory=1176 CPUtime=6.49 cores=1,3,5,7
/proc/31790/task/31795/stat : 31795 (java) S 31787 31790 28983 0 -1 1077944384 6997 0 0 0 615 34 0 0 20 0 15 0 245872919 14429130752 91684 33554432000 4194304 4196468 140733538880576 140352018266768 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31796] ppid=31787 vsize=14090948 memory=932 CPUtime=6.55 cores=1,3,5,7
/proc/31790/task/31796/stat : 31796 (java) S 31787 31790 28983 0 -1 1077944384 7881 0 0 0 619 36 0 0 20 0 15 0 245872919 14429130752 91684 33554432000 4194304 4196468 140733538880576 140352017213968 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31797] ppid=31787 vsize=14090948 memory=2056 CPUtime=5.3 cores=1,3,5,7
/proc/31790/task/31797/stat : 31797 (java) S 31787 31790 28983 0 -1 1077944384 7688 0 0 0 495 35 0 0 20 0 15 0 245872920 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351542114928 140352067762818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31798] ppid=31787 vsize=14090948 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31798/stat : 31798 (java) S 31787 31790 28983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351541060960 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31799] ppid=31787 vsize=14090948 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31799/stat : 31799 (java) S 31787 31790 28983 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 245872921 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351540008576 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31800] ppid=31787 vsize=14090948 memory=2216 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31800/stat : 31800 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872923 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351538956880 140352067770267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31801] ppid=31787 vsize=14090948 memory=3984 CPUtime=1.01 cores=1,3,5,7
/proc/31790/task/31801/stat : 31801 (java) S 31787 31790 28983 0 -1 1077944384 3633 0 0 0 100 1 0 0 20 0 15 0 245872924 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351537903728 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31802] ppid=31787 vsize=14090948 memory=2036 CPUtime=0.93 cores=1,3,5,7
/proc/31790/task/31802/stat : 31802 (java) S 31787 31790 28983 0 -1 1077944384 3140 0 0 0 91 2 0 0 20 0 15 0 245872924 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351536850928 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31803] ppid=31787 vsize=14090948 memory=8148 CPUtime=0.76 cores=1,3,5,7
/proc/31790/task/31803/stat : 31803 (java) S 31787 31790 28983 0 -1 1077944384 13721 0 0 0 75 1 0 0 20 0 15 0 245872924 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351535798640 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31804] ppid=31787 vsize=14090948 memory=816 CPUtime=0 cores=1,3,5,7
/proc/31790/task/31804/stat : 31804 (java) S 31787 31790 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872924 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351534746080 140352067761877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
[pid=31790/tid=31805] ppid=31787 vsize=14090948 memory=1796 CPUtime=1.08 cores=1,3,5,7
/proc/31790/task/31805/stat : 31805 (java) S 31787 31790 28983 0 -1 1077944384 1183 0 0 0 51 57 0 0 20 0 15 0 245872924 14429130752 91684 33554432000 4194304 4196468 140733538880576 140351533693872 140352067762818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 21610496 140733538886730 140733538886921 140733538886921 140733538889679 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 366736 KiB

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

[startup+2500.02 s]
# the end of solver process 31790 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.93 s, system=2.15343 s

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

Child status: 143
Real time (s): 2500.02
CPU time (s): 2520.08
CPU user time (s): 2517.93
CPU system time (s): 2.15343
CPU usage (%): 100.802
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 366736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.15343
maximum resident set size= 367288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186643
involuntary context switches= 4860


# summary of solver processes directly reported to runsolver:
#   pid: 31790
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.93
#   total CPU system time (s): 2.15343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6983 second user time and 21.8222 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-14 23:44:57
IDJOB=4308003
IDBENCH=141215
IDSOLVER=2791
FILE ID=node151/4308003-1534283097
RUNJOBID= node151-1534270585-30510
PBS_JOBID= 21038114
Free space on /tmp= 43868 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-1_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-4308003-1534283097/watcher-4308003-1534283097 -o /tmp/evaluation-result-4308003-1534283097/solver-4308003-1534283097 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534270585-30510 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 75871472 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308003-1534283097.xml

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

MD5SUM BENCH= e8035d4b0abecbc1a78dd1ff35d13fe4
RANDOM SEED=75871472

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23811056 kB
MemAvailable:   31706124 kB
Buffers:          161916 kB
Cached:          7955920 kB
SwapCached:           12 kB
Active:          4384996 kB
Inactive:        3986464 kB
Active(anon):     203216 kB
Inactive(anon):   102596 kB
Active(file):    4181780 kB
Inactive(file):  3883868 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:             36008 kB
Writeback:             0 kB
AnonPages:        136008 kB
Mapped:            69628 kB
Shmem:             49524 kB
Slab:             286096 kB
SReclaimable:     257880 kB
SUnreclaim:        28216 kB
KernelStack:        3808 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1241288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43832 MiB
End job on node151 at 2018-08-15 00:26:37