Trace number 4290459

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)779 2400.05 2378.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-07-02
0.67/0.56	c seed: 957342747
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
2.13/1.29	c Parsing done, starting search...
2.61/1.40	o 8168
2.61/1.42	o 8118
2.61/1.42	o 8110
2.61/1.42	o 8107
2.61/1.42	o 8106
2.61/1.42	o 8098
2.61/1.42	o 8097
2.61/1.42	o 8096
2.61/1.42	o 8092
2.61/1.42	o 8083
2.61/1.42	o 8064
2.61/1.42	o 8061
2.61/1.42	o 8059
2.61/1.42	o 8056
2.61/1.42	o 8049
2.61/1.42	o 8047
2.61/1.42	o 8045
2.61/1.42	o 8044
2.61/1.42	o 8037
2.61/1.42	o 8036
2.61/1.42	o 8032
2.61/1.42	o 8031
2.61/1.42	o 8029
2.61/1.42	o 8025
2.61/1.43	o 8024
2.61/1.43	o 8018
2.61/1.43	o 8017
2.61/1.43	o 8004
2.61/1.43	o 8003
2.61/1.43	o 8002
2.61/1.43	o 7999
2.61/1.43	o 7997
2.61/1.43	o 7940
2.61/1.43	o 7938
2.61/1.43	o 7928
2.61/1.43	o 7926
2.61/1.43	o 7924
2.61/1.43	o 7849
2.61/1.43	o 7848
2.61/1.43	o 7846
2.61/1.43	o 7844
2.61/1.44	o 7842
2.61/1.44	o 7841
2.61/1.44	o 7808
2.61/1.44	o 7788
2.61/1.44	o 7776
2.61/1.44	o 7773
2.61/1.44	o 7772
2.61/1.44	o 7771
2.61/1.44	o 7770
2.61/1.44	o 7769
2.61/1.44	o 7738
2.61/1.44	o 7733
2.61/1.44	o 7729
2.61/1.44	o 7724
2.61/1.44	o 7723
2.61/1.44	o 7721
2.61/1.44	o 7720
2.61/1.44	o 7718
2.61/1.44	o 7717
2.61/1.44	o 7709
2.61/1.44	o 7704
2.61/1.45	o 7703
2.61/1.45	o 7701
2.61/1.45	o 7697
2.61/1.45	o 7696
2.61/1.45	o 7669
2.61/1.45	o 7665
2.61/1.45	o 7664
2.61/1.45	o 7623
2.61/1.45	o 7622
2.61/1.45	o 7621
2.61/1.45	o 7619
2.61/1.45	o 7618
2.61/1.45	o 7616
2.61/1.45	o 7614
2.61/1.46	o 7612
2.61/1.46	o 7611
2.61/1.46	o 7572
2.61/1.46	o 7569
2.61/1.46	o 7568
2.61/1.46	o 7567
2.61/1.46	o 7566
2.61/1.46	o 7550
2.61/1.46	o 7523
2.61/1.46	o 7518
2.61/1.46	o 7515
2.61/1.46	o 7512
2.61/1.46	o 7511
2.61/1.46	o 7510
2.61/1.46	o 7481
2.61/1.46	o 7480
2.61/1.46	o 7479
2.61/1.46	o 7478
2.61/1.46	o 7477
2.61/1.47	o 7476
2.61/1.47	o 7475
2.61/1.47	o 7470
2.61/1.47	o 7467
2.61/1.47	o 7466
2.61/1.47	o 7442
2.61/1.47	o 7441
2.61/1.47	o 7438
2.61/1.47	o 7437
2.61/1.47	o 7436
2.61/1.47	o 7435
2.61/1.47	o 7420
2.61/1.47	o 7411
2.61/1.47	o 7402
2.61/1.47	o 7400
2.61/1.47	o 7398
2.61/1.47	o 7396
2.61/1.47	o 7395
2.61/1.47	o 7393
2.61/1.49	o 7391
2.61/1.49	o 7389
2.61/1.49	o 7384
2.61/1.49	o 7376
2.61/1.49	o 7371
2.61/1.49	o 7370
2.61/1.49	o 7368
2.61/1.49	o 7367
2.61/1.49	o 7364
2.61/1.49	o 7363
2.61/1.49	o 7362
2.61/1.49	o 7361
2.61/1.49	o 7360
2.61/1.49	o 7350
2.61/1.49	o 7349
2.61/1.49	o 7332
2.61/1.49	o 7319
2.61/1.49	o 7315
2.61/1.49	o 7313
2.61/1.49	o 7305
2.61/1.49	o 7304
2.61/1.49	o 7300
2.61/1.49	o 7299
2.61/1.49	o 7286
2.61/1.49	o 7283
2.61/1.49	o 7280
2.61/1.49	o 7272
2.61/1.49	o 7271
2.61/1.49	o 7270
2.61/1.49	o 7269
2.61/1.49	o 7268
2.61/1.49	o 7267
2.61/1.49	o 7266
2.61/1.49	o 7265
2.61/1.49	o 7264
2.61/1.49	o 7235
2.61/1.49	o 7232
2.61/1.49	o 7231
2.61/1.49	o 7227
2.61/1.49	o 7219
2.61/1.49	o 7213
2.61/1.49	o 7212
2.61/1.49	o 7211
2.61/1.49	o 7210
2.61/1.50	o 7209
2.61/1.50	o 7197
2.61/1.50	o 7196
2.61/1.50	o 7181
2.97/1.50	o 7179
2.97/1.50	o 7176
2.97/1.50	o 7175
2.97/1.50	o 7168
2.97/1.50	o 7167
2.97/1.50	o 7166
2.97/1.50	o 7165
2.97/1.50	o 7164
2.97/1.50	o 7163
2.97/1.51	o 7162
2.97/1.51	o 7161
2.97/1.51	o 7160
2.97/1.51	o 7159
2.97/1.51	o 7158
2.97/1.51	o 7157
2.97/1.51	o 7156
2.97/1.51	o 7154
2.97/1.51	o 7153
2.97/1.51	o 7148
2.97/1.51	o 7147
2.97/1.51	o 7109
2.97/1.51	o 7108
2.97/1.51	o 7096
2.97/1.51	o 7095
2.97/1.51	o 7079
2.97/1.51	o 7078
2.97/1.51	o 7076
2.97/1.51	o 7075
2.97/1.51	o 7074
2.97/1.51	o 7072
2.97/1.51	o 7071
2.97/1.51	o 7069
2.97/1.51	o 7068
2.97/1.51	o 7067
2.97/1.51	o 7066
2.97/1.51	o 7065
2.97/1.52	o 7064
2.97/1.52	o 7063
2.97/1.52	o 7060
2.97/1.52	o 7059
2.97/1.52	o 7057
2.97/1.52	o 7056
2.97/1.52	o 7055
2.97/1.52	o 7054
2.97/1.52	o 7053
2.97/1.52	o 7052
2.97/1.52	o 7051
2.97/1.52	o 7050
2.97/1.52	o 7049
2.97/1.52	o 7048
2.97/1.52	o 7047
2.97/1.52	o 7046
2.97/1.53	o 7045
2.97/1.54	o 7041
2.97/1.54	o 7040
2.97/1.54	o 7039
2.97/1.54	o 7038
2.97/1.54	o 7037
2.97/1.54	o 7034
2.97/1.54	o 7033
2.97/1.54	o 7032
2.97/1.54	o 7031
2.97/1.54	o 7030
2.97/1.54	o 7029
2.97/1.54	o 7026
2.97/1.54	o 7025
2.97/1.54	o 7024
2.97/1.54	o 7023
2.97/1.54	o 7022
2.97/1.54	o 7021
2.97/1.54	o 7020
2.97/1.55	o 7019
2.97/1.55	o 7013
2.97/1.55	o 7011
2.97/1.55	o 7010
2.97/1.55	o 7007
2.97/1.55	o 7006
2.97/1.55	o 7005
2.97/1.55	o 7004
2.97/1.55	o 7003
2.97/1.55	o 6952
2.97/1.55	o 6951
2.97/1.56	o 6924
2.97/1.56	o 6923
2.97/1.56	o 6910
2.97/1.56	o 6909
2.97/1.56	o 6906
2.97/1.56	o 6905
2.97/1.56	o 6904
2.97/1.56	o 6903
2.97/1.56	o 6902
2.97/1.56	o 6901
2.97/1.56	o 6900
2.97/1.56	o 6899
2.97/1.57	o 6895
2.97/1.57	o 6894
2.97/1.57	o 6892
2.97/1.57	o 6891
2.97/1.57	o 6888
2.97/1.57	o 6887
2.97/1.57	o 6886
2.97/1.57	o 6884
2.97/1.57	o 6880
2.97/1.57	o 6872
2.97/1.58	o 6847
2.97/1.58	o 6843
2.97/1.58	o 6834
2.97/1.58	o 6831
2.97/1.58	o 6830
2.97/1.58	o 6827
2.97/1.58	o 6825
2.97/1.58	o 6822
2.97/1.58	o 6821
2.97/1.58	o 6820
2.97/1.58	o 6819
2.97/1.58	o 6818
2.97/1.58	o 6817
2.97/1.59	o 6815
2.97/1.60	o 6813
2.97/1.60	o 6812
2.97/1.60	o 6806
2.97/1.60	o 6805
3.30/1.60	o 6800
3.30/1.60	o 6799
3.30/1.60	o 6798
3.30/1.60	o 6792
3.30/1.60	o 6791
3.30/1.60	o 6790
3.30/1.60	o 6789
3.30/1.60	o 6786
3.30/1.60	o 6785
3.30/1.60	o 6784
3.30/1.61	o 6783
3.30/1.61	o 6782
3.30/1.61	o 6781
3.30/1.62	o 6780
3.30/1.63	o 6777
3.30/1.63	o 6775
3.30/1.63	o 6774
3.30/1.63	o 6773
3.30/1.63	o 6772
3.30/1.63	o 6771
3.30/1.63	o 6770
3.30/1.63	o 6769
3.30/1.63	o 6768
3.30/1.63	o 6753
3.30/1.63	o 6752
3.30/1.63	o 6751
3.30/1.63	o 6750
3.30/1.63	o 6746
3.30/1.63	o 6735
3.30/1.63	o 6734
3.30/1.63	o 6728
3.30/1.63	o 6727
3.30/1.64	o 6726
3.30/1.64	o 6725
3.30/1.64	o 6724
3.30/1.64	o 6722
3.30/1.64	o 6720
3.30/1.64	o 6719
3.30/1.64	o 6718
3.30/1.64	o 6716
3.30/1.64	o 6714
3.30/1.64	o 6680
3.30/1.64	o 6679
3.30/1.64	o 6678
3.30/1.64	o 6676
3.30/1.64	o 6675
3.30/1.64	o 6674
3.30/1.65	o 6673
3.30/1.67	o 6672
3.30/1.67	o 6671
3.30/1.67	o 6669
3.30/1.67	o 6664
3.30/1.67	o 6662
3.30/1.67	o 6661
3.30/1.67	o 6659
3.30/1.67	o 6655
3.30/1.67	o 6653
3.30/1.67	o 6652
3.30/1.67	o 6651
3.30/1.67	o 6650
3.30/1.67	o 6649
3.30/1.67	o 6648
3.30/1.68	o 6647
3.59/1.72	o 6646
3.59/1.72	o 6645
3.59/1.74	o 6644
3.59/1.74	o 6643
3.59/1.74	o 6640
3.59/1.74	o 6635
3.59/1.74	o 6632
3.59/1.74	o 6631
3.59/1.74	o 6630
3.59/1.74	o 6629
3.59/1.75	o 6626
3.59/1.75	o 6623
3.59/1.75	o 6622
3.59/1.75	o 6621
3.59/1.75	o 6620
3.59/1.75	o 6619
3.59/1.75	o 6618
3.59/1.75	o 6617
3.59/1.75	o 6616
3.59/1.75	o 6615
3.89/1.82	o 6614
3.89/1.82	o 6613
3.89/1.82	o 6612
3.89/1.82	o 6611
3.89/1.82	o 6610
3.89/1.82	o 6609
3.89/1.82	o 6608
3.89/1.82	o 6607
3.89/1.82	o 6606
3.89/1.82	o 6605
3.89/1.82	o 6603
3.89/1.83	o 6602
3.89/1.83	o 6601
3.89/1.84	o 6600
3.89/1.85	o 6599
3.89/1.88	o 6598
3.89/1.88	o 6597
3.89/1.88	o 6595
3.89/1.88	o 6594
3.89/1.88	o 6593
3.89/1.88	o 6590
3.89/1.88	o 6588
3.89/1.88	o 6586
3.89/1.88	o 6585
3.89/1.88	o 6584
3.89/1.88	o 6567
3.89/1.88	o 6566
3.89/1.88	o 6565
3.89/1.88	o 6564
3.89/1.88	o 6533
3.89/1.88	o 6532
3.89/1.88	o 6531
3.89/1.88	o 6498
3.89/1.88	o 6497
3.89/1.88	o 6496
3.89/1.88	o 6495
3.89/1.88	o 6492
3.89/1.88	o 6491
3.89/1.89	o 6489
3.89/1.89	o 6488
3.89/1.89	o 6487
3.89/1.89	o 6486
3.89/1.89	o 6485
4.08/1.90	o 6484
4.08/1.91	o 6483
4.08/1.96	o 6482
4.08/1.96	o 6481
4.08/1.96	o 6480
4.22/2.06	o 6479
4.22/2.06	o 6478
4.22/2.07	o 6469
4.22/2.07	o 6468
4.22/2.07	o 6466
4.22/2.07	o 6464
4.22/2.07	o 6463
4.22/2.07	o 6462
4.22/2.07	o 6461
4.22/2.07	o 6460
4.22/2.07	o 6459
4.22/2.07	o 6458
4.22/2.07	o 6429
4.22/2.07	o 6428
4.22/2.07	o 6426
4.22/2.07	o 6425
4.22/2.07	o 6421
4.22/2.07	o 6420
4.22/2.07	o 6417
4.22/2.07	o 6416
4.22/2.07	o 6411
4.22/2.07	o 6410
4.22/2.07	o 6409
4.22/2.07	o 6408
4.22/2.07	o 6407
4.22/2.07	o 6406
4.22/2.08	o 6405
4.22/2.09	o 6404
4.22/2.09	o 6403
4.36/2.13	o 6402
4.36/2.16	o 6398
4.36/2.16	o 6396
4.36/2.16	o 6390
4.36/2.16	o 6389
4.36/2.16	o 6388
4.36/2.16	o 6382
4.36/2.16	o 6381
4.36/2.16	o 6380
4.36/2.16	o 6379
4.36/2.16	o 6378
4.36/2.16	o 6377
4.36/2.16	o 6376
4.36/2.16	o 6375
4.36/2.16	o 6374
4.36/2.16	o 6373
4.36/2.16	o 6372
4.36/2.16	o 6371
4.36/2.16	o 6321
4.36/2.16	o 6320
4.36/2.16	o 6319
4.36/2.16	o 6318
4.36/2.16	o 6317
4.36/2.16	o 6316
4.36/2.16	o 6315
4.36/2.16	o 6314
4.36/2.16	o 6310
4.36/2.16	o 6309
4.36/2.16	o 6308
4.36/2.16	o 6307
4.36/2.17	o 6306
4.49/2.25	o 6305
4.49/2.27	o 6304
4.65/2.32	o 6303
4.75/2.41	o 6299
4.75/2.41	o 6298
4.75/2.41	o 6297
4.75/2.41	o 6296
4.75/2.41	o 6294
4.75/2.41	o 6291
4.75/2.41	o 6243
4.75/2.41	o 6228
4.75/2.41	o 6223
4.75/2.41	o 6222
4.75/2.41	o 6220
4.75/2.41	o 6210
4.75/2.41	o 6208
4.75/2.41	o 6207
4.75/2.42	o 6206
4.75/2.43	o 6205
4.75/2.44	o 6204
4.75/2.44	o 6203
4.75/2.47	o 6202
4.86/2.57	o 6201
4.86/2.57	o 6200
4.86/2.57	o 6199
4.86/2.57	o 6198
4.86/2.57	o 6197
4.86/2.57	o 6190
4.86/2.57	o 6187
4.86/2.57	o 6178
4.86/2.57	o 6150
4.86/2.57	o 6144
4.86/2.57	o 6138
4.86/2.57	o 6136
4.86/2.58	o 6130
4.86/2.58	o 6114
4.86/2.58	o 6108
4.86/2.58	o 6106
4.86/2.59	o 6105
4.97/2.60	o 6104
4.97/2.65	o 6103
5.14/2.74	o 6102
5.14/2.75	o 6101
5.14/2.75	o 6100
5.57/3.13	o 6099
5.77/3.31	o 6098
5.77/3.31	o 6097
5.77/3.31	o 6096
5.77/3.31	o 6095
5.77/3.31	o 6093
5.77/3.31	o 6091
5.77/3.31	o 6090
5.77/3.31	o 6085
5.77/3.31	o 6083
5.77/3.31	o 6073
5.77/3.31	o 6071
5.77/3.31	o 6070
5.77/3.31	o 6069
5.77/3.31	o 6068
5.77/3.32	o 6066
5.77/3.32	o 6059
5.77/3.32	o 6057
5.77/3.32	o 6055
5.77/3.32	o 6054
5.77/3.32	o 6053
5.77/3.32	o 6052
5.77/3.32	o 6051
5.77/3.32	o 6050
5.77/3.32	o 6049
5.77/3.32	o 6048
5.77/3.32	o 6047
5.77/3.32	o 6046
5.77/3.32	o 6045
5.77/3.32	o 6044
5.77/3.32	o 6043
5.77/3.32	o 6042
5.77/3.32	o 6040
5.77/3.32	o 6039
5.77/3.32	o 6037
5.77/3.32	o 6036
5.77/3.32	o 6035
5.77/3.32	o 6034
5.77/3.33	o 6033
5.77/3.33	o 6032
5.77/3.33	o 6031
5.77/3.33	o 6030
5.87/3.46	o 6029
5.87/3.48	o 6028
5.87/3.48	o 6027
5.97/3.50	o 6026
6.07/3.69	o 6025
6.07/3.69	o 6024
6.07/3.69	o 6023
6.17/3.70	o 6022
6.17/3.70	o 6020
6.17/3.70	o 6019
6.17/3.70	o 5994
6.17/3.70	o 5993
6.17/3.70	o 5991
6.17/3.70	o 5990
6.17/3.70	o 5989
6.17/3.70	o 5988
6.17/3.71	o 5987
6.17/3.71	o 5986
6.17/3.71	o 5985
6.17/3.71	o 5984
6.17/3.71	o 5983
6.17/3.71	o 5980
6.17/3.72	o 5979
6.17/3.72	o 5978
6.17/3.72	o 5977
6.17/3.77	o 5976
6.33/3.85	o 5974
6.33/3.85	o 5968
6.33/3.85	o 5964
6.33/3.85	o 5963
6.33/3.85	o 5956
6.33/3.85	o 5951
6.33/3.85	o 5949
6.33/3.85	o 5944
6.33/3.85	o 5943
6.33/3.85	o 5941
6.33/3.85	o 5940
6.33/3.85	o 5939
6.33/3.85	o 5938
6.33/3.85	o 5937
6.33/3.85	o 5936
6.33/3.85	o 5935
6.33/3.86	o 5934
6.33/3.88	o 5933
6.33/3.89	o 5932
6.45/3.99	o 5931
6.62/4.01	o 5930
6.62/4.03	o 5929
6.93/4.35	o 5926
6.93/4.35	o 5925
6.93/4.35	o 5898
6.93/4.35	o 5897
6.93/4.35	o 5896
6.93/4.35	o 5895
6.93/4.35	o 5893
6.93/4.36	o 5891
6.93/4.36	o 5890
6.93/4.36	o 5888
6.93/4.36	o 5879
6.93/4.36	o 5878
6.93/4.36	o 5877
6.93/4.36	o 5875
6.93/4.36	o 5872
6.93/4.36	o 5870
6.93/4.36	o 5869
6.93/4.37	o 5868
6.93/4.39	o 5867
7.03/4.40	o 5866
7.03/4.46	o 5865
7.03/4.46	o 5864
7.13/4.50	o 5863
7.13/4.50	o 5862
7.25/4.96	o 5861
7.25/4.97	o 5860
7.25/4.97	o 5859
7.56/5.26	o 5858
7.56/5.26	o 5857
7.56/5.26	o 5856
7.56/5.26	o 5855
7.56/5.26	o 5854
7.56/5.26	o 5853
7.56/5.26	o 5852
7.56/5.26	o 5851
7.56/5.26	o 5850
7.56/5.26	o 5849
7.56/5.26	o 5848
7.56/5.26	o 5847
7.56/5.27	o 5846
7.56/5.27	o 5845
7.56/5.27	o 5844
7.56/5.27	o 5843
7.56/5.28	o 5842
7.56/5.28	o 5841
7.56/5.28	o 5840
7.56/5.28	o 5839
7.56/5.28	o 5838
7.56/5.28	o 5837
7.56/5.28	o 5836
7.56/5.28	o 5835
7.56/5.28	o 5834
7.56/5.28	o 5833
7.56/5.28	o 5832
7.56/5.28	o 5831
7.56/5.28	o 5830
7.56/5.28	o 5793
7.56/5.28	o 5792
7.56/5.28	o 5791
7.56/5.28	o 5790
7.56/5.28	o 5760
7.56/5.28	o 5759
7.56/5.28	o 5758
7.56/5.28	o 5757
7.56/5.28	o 5756
7.56/5.28	o 5754
7.56/5.28	o 5753
7.56/5.28	o 5752
7.56/5.28	o 5751
7.56/5.29	o 5750
7.56/5.29	o 5749
7.67/5.34	o 5748
7.67/5.34	o 5747
7.67/5.35	o 5746
7.87/5.52	o 5745
7.87/5.54	o 5744
7.98/5.63	o 5743
7.98/5.67	o 5742
8.08/5.73	o 5741
9.30/6.92	o 5740
9.70/7.37	o 5739
9.70/7.37	o 5738
10.00/7.60	o 5737
10.00/7.60	o 5736
10.00/7.60	o 5735
10.00/7.60	o 5734
10.00/7.60	o 5730
10.00/7.60	o 5729
10.00/7.60	o 5724
10.00/7.60	o 5723
10.00/7.60	o 5722
10.00/7.60	o 5721
10.00/7.60	o 5720
10.00/7.60	o 5719
10.00/7.60	o 5715
10.00/7.60	o 5714
10.00/7.60	o 5713
10.00/7.60	o 5712
10.00/7.60	o 5710
10.00/7.60	o 5709
10.00/7.60	o 5708
10.00/7.61	o 5707
10.00/7.69	o 5706
10.00/7.70	o 5705
10.30/7.99	o 5704
10.41/8.01	o 5703
10.41/8.01	o 5702
10.90/8.53	o 5701
10.90/8.53	o 5700
11.31/8.90	o 5699
11.31/8.90	o 5698
11.31/8.90	o 5697
11.31/8.90	o 5696
11.31/8.90	o 5691
11.31/8.90	o 5688
11.31/8.90	o 5687
11.31/8.90	o 5685
11.31/8.90	o 5684
11.31/8.91	o 5683
11.31/9.00	o 5682
11.42/9.02	o 5681
11.42/9.02	o 5680
11.52/9.13	o 5679
11.52/9.14	o 5678
11.52/9.16	o 5677
11.61/9.26	o 5676
12.01/9.62	o 5673
12.01/9.62	o 5671
12.01/9.62	o 5666
12.01/9.62	o 5664
12.01/9.62	o 5634
12.01/9.62	o 5630
12.01/9.62	o 5628
12.01/9.62	o 5606
12.01/9.62	o 5605
12.01/9.62	o 5599
12.01/9.62	o 5598
12.01/9.62	o 5597
12.01/9.62	o 5596
12.01/9.62	o 5595
12.01/9.62	o 5594
12.01/9.62	o 5593
12.01/9.62	o 5592
12.01/9.62	o 5591
12.01/9.62	o 5590
12.01/9.62	o 5589
12.01/9.62	o 5588
12.01/9.62	o 5587
12.01/9.63	o 5586
12.01/9.63	o 5579
12.01/9.63	o 5578
12.01/9.63	o 5577
12.01/9.63	o 5576
12.01/9.63	o 5575
12.62/10.20	o 5574
12.62/10.20	o 5573
12.62/10.20	o 5572
12.62/10.20	o 5571
12.62/10.20	o 5568
12.62/10.20	o 5567
12.62/10.20	o 5566
12.62/10.20	o 5563
12.62/10.20	o 5562
12.62/10.20	o 5550
12.62/10.20	o 5549
12.62/10.21	o 5548
12.62/10.21	o 5543
12.62/10.21	o 5542
12.62/10.21	o 5541
12.62/10.21	o 5540
12.62/10.21	o 5536
12.62/10.21	o 5535
12.62/10.21	o 5534
12.62/10.21	o 5533
12.62/10.21	o 5532
12.62/10.21	o 5531
12.62/10.21	o 5530
12.62/10.21	o 5529
12.62/10.21	o 5528
12.62/10.21	o 5527
12.62/10.21	o 5526
12.62/10.21	o 5521
12.62/10.21	o 5519
12.62/10.21	o 5518
12.72/10.37	o 5517
13.92/11.50	o 5516
13.92/11.51	o 5515
13.92/11.51	o 5514
13.92/11.51	o 5513
13.92/11.51	o 5512
13.92/11.51	o 5511
13.92/11.51	o 5510
13.92/11.51	o 5509
13.92/11.51	o 5507
13.92/11.51	o 5506
13.92/11.51	o 5505
13.92/11.51	o 5504
13.92/11.51	o 5503
13.92/11.51	o 5502
13.92/11.51	o 5501
13.92/11.54	o 5500
13.92/11.57	o 5499
13.92/11.57	o 5498
14.03/11.60	o 5497
14.03/11.60	o 5496
14.44/12.08	o 5495
15.34/12.91	o 5494
17.14/14.74	o 5489
17.14/14.74	o 5488
17.14/14.74	o 5484
17.14/14.74	o 5483
17.14/14.74	o 5478
17.14/14.74	o 5477
17.14/14.74	o 5472
17.14/14.74	o 5471
17.14/14.74	o 5439
17.14/14.74	o 5438
17.14/14.74	o 5426
17.14/14.74	o 5425
17.14/14.74	o 5404
17.14/14.74	o 5403
17.14/14.74	o 5402
17.14/14.74	o 5401
17.14/14.76	o 5400
17.14/14.76	o 5399
17.14/14.78	o 5398
17.14/14.79	o 5397
17.24/14.81	o 5396
17.24/14.81	o 5395
17.85/15.41	o 5394
17.85/15.41	o 5364
17.85/15.41	o 5361
17.85/15.41	o 5360
17.85/15.41	o 5356
17.85/15.41	o 5348
17.85/15.41	o 5346
17.85/15.41	o 5345
17.85/15.41	o 5329
17.85/15.41	o 5328
17.85/15.41	o 5318
17.85/15.41	o 5314
17.85/15.41	o 5313
17.85/15.41	o 5312
17.85/15.41	o 5301
17.85/15.41	o 5300
17.85/15.41	o 5299
17.85/15.41	o 5287
17.85/15.41	o 5286
17.85/15.41	o 5285
17.85/15.41	o 5284
17.85/15.41	o 5283
17.85/15.41	o 5282
17.85/15.42	o 5281
17.85/15.42	o 5280
17.85/15.45	o 5279
17.85/15.45	o 5278
17.85/15.45	o 5277
17.85/15.45	o 5276
17.85/15.45	o 5272
17.85/15.45	o 5271
17.85/15.45	o 5267
17.85/15.45	o 5266
17.85/15.45	o 5253
17.85/15.45	o 5252
17.85/15.45	o 5251
17.85/15.45	o 5250
17.85/15.45	o 5249
17.85/15.45	o 5248
17.85/15.45	o 5246
17.85/15.46	o 5241
17.85/15.46	o 5240
17.85/15.46	o 5239
17.85/15.46	o 5238
17.85/15.46	o 5237
17.85/15.46	o 5236
17.85/15.46	o 5235
17.85/15.46	o 5233
17.85/15.46	o 5232
17.85/15.46	o 5231
17.85/15.46	o 5230
17.85/15.46	o 5229
17.85/15.46	o 5228
17.85/15.46	o 5227
17.85/15.49	o 5226
17.95/15.51	o 5225
17.95/15.52	o 5224
17.95/15.56	o 5221
17.95/15.56	o 5220
17.95/15.56	o 5216
17.95/15.56	o 5214
17.95/15.56	o 5193
17.95/15.56	o 5191
17.95/15.56	o 5190
17.95/15.56	o 5189
17.95/15.56	o 5188
17.95/15.56	o 5185
17.95/15.56	o 5182
17.95/15.56	o 5181
17.95/15.56	o 5180
17.95/15.56	o 5178
17.95/15.56	o 5177
17.95/15.56	o 5176
17.95/15.56	o 5175
17.95/15.56	o 5174
17.95/15.56	o 5173
17.95/15.56	o 5172
18.05/15.61	o 5171
18.05/15.67	o 5170
18.05/15.67	o 5169
18.05/15.67	o 5168
18.05/15.68	o 5167
18.05/15.69	o 5166
18.15/15.73	o 5162
18.15/15.73	o 5161
18.15/15.73	o 5159
18.15/15.73	o 5158
18.15/15.73	o 5157
18.15/15.73	o 5156
18.15/15.73	o 5084
18.15/15.73	o 5082
18.15/15.73	o 5081
18.15/15.73	o 5078
18.15/15.73	o 5076
18.15/15.73	o 5075
18.15/15.73	o 5074
18.15/15.73	o 5073
18.15/15.74	o 5071
18.15/15.74	o 5070
18.15/15.74	o 5069
18.15/15.75	o 5068
18.15/15.77	o 5067
18.35/15.92	o 5066
18.35/15.93	o 5065
18.35/15.93	o 5064
18.35/15.93	o 5063
18.35/15.93	o 5062
18.35/15.93	o 5056
18.35/15.93	o 5051
18.35/15.93	o 5049
18.56/16.13	o 5048
18.75/16.33	o 5047
18.85/16.48	o 5046
18.95/16.51	o 5045
19.05/16.69	o 5044
19.15/16.70	o 5042
19.15/16.70	o 5040
19.15/16.71	o 5038
19.15/16.71	o 5033
19.15/16.71	o 5032
19.15/16.71	o 5030
19.15/16.71	o 5029
19.15/16.71	o 5026
19.15/16.71	o 5025
19.15/16.71	o 5024
19.15/16.71	o 5022
19.15/16.71	o 5021
19.15/16.72	o 5019
19.15/16.72	o 5006
19.15/16.72	o 4997
19.15/16.72	o 4993
19.15/16.72	o 4987
19.15/16.72	o 4980
19.15/16.72	o 4979
19.15/16.72	o 4978
19.15/16.72	o 4977
19.15/16.73	o 4976
19.15/16.73	o 4973
19.15/16.73	o 4972
19.15/16.73	o 4969
19.15/16.73	o 4968
19.15/16.73	o 4967
19.15/16.73	o 4966
19.15/16.76	o 4965
19.15/16.76	o 4964
22.17/19.71	o 4963
22.17/19.79	o 4962
22.17/19.79	o 4961
22.17/19.79	o 4960
22.17/19.79	o 4958
22.17/19.79	o 4957
22.17/19.79	o 4952
22.17/19.79	o 4951
22.17/19.79	o 4950
22.17/19.79	o 4949
22.17/19.79	o 4932
22.17/19.79	o 4931
22.17/19.79	o 4930
22.17/19.79	o 4929
22.17/19.79	o 4927
22.17/19.79	o 4926
22.17/19.79	o 4925
22.17/19.79	o 4924
22.17/19.79	o 4923
22.17/19.79	o 4922
22.17/19.79	o 4921
22.17/19.80	o 4920
22.17/19.80	o 4919
22.17/19.80	o 4915
22.28/19.80	o 4914
22.28/19.80	o 4883
22.28/19.80	o 4882
22.28/19.80	o 4877
22.28/19.80	o 4876
22.28/19.80	o 4874
22.28/19.80	o 4873
22.68/20.24	o 4872
22.78/20.39	o 4871
22.98/20.53	o 4870
24.69/22.30	o 4869
24.69/22.30	o 4868
24.69/22.30	o 4867
24.69/22.30	o 4866
24.69/22.30	o 4865
24.69/22.30	o 4864
24.69/22.30	o 4863
24.69/22.30	o 4862
24.69/22.30	o 4855
24.69/22.30	o 4853
24.81/22.30	o 4847
24.81/22.30	o 4846
24.81/22.30	o 4844
24.81/22.30	o 4837
24.81/22.30	o 4831
24.81/22.30	o 4830
24.81/22.30	o 4829
24.81/22.31	o 4828
26.41/23.99	o 4827
26.41/23.99	o 4826
26.41/23.99	o 4821
26.41/23.99	o 4819
26.41/23.99	o 4818
26.41/23.99	o 4817
26.41/23.99	o 4816
26.41/23.99	o 4813
26.41/23.99	o 4809
26.41/23.99	o 4785
26.41/23.99	o 4779
26.41/23.99	o 4778
26.41/23.99	o 4776
26.41/23.99	o 4768
26.41/23.99	o 4767
26.41/23.99	o 4766
26.52/24.01	o 4764
26.52/24.01	o 4763
26.52/24.01	o 4760
26.52/24.01	o 4758
26.52/24.01	o 4757
26.52/24.01	o 4756
26.52/24.01	o 4753
26.52/24.01	o 4749
26.52/24.01	o 4748
26.52/24.01	o 4746
26.52/24.01	o 4740
26.52/24.01	o 4739
26.52/24.01	o 4738
26.52/24.02	o 4737
26.52/24.03	o 4736
26.52/24.05	o 4735
26.52/24.06	o 4734
27.12/24.65	o 4732
27.12/24.65	o 4712
27.12/24.65	o 4709
27.12/24.65	o 4706
27.12/24.65	o 4703
27.12/24.65	o 4700
27.12/24.66	o 4699
27.12/24.66	o 4698
27.22/24.79	o 4697
27.53/25.04	o 4696
27.53/25.06	o 4695
27.53/25.07	o 4694
28.54/26.02	o 4693
28.93/26.42	o 4692
29.03/26.59	o 4691
29.03/26.59	o 4690
29.03/26.59	o 4688
29.03/26.59	o 4686
29.03/26.59	o 4684
29.03/26.59	o 4678
29.03/26.59	o 4673
29.03/26.59	o 4671
29.03/26.59	o 4670
29.03/26.59	o 4669
29.03/26.59	o 4668
29.03/26.59	o 4665
29.03/26.59	o 4664
29.03/26.59	o 4662
29.03/26.59	o 4661
29.03/26.59	o 4660
29.03/26.59	o 4659
29.03/26.59	o 4658
29.03/26.59	o 4657
29.03/26.59	o 4656
29.03/26.59	o 4655
29.03/26.59	o 4654
29.03/26.59	o 4653
29.03/26.59	o 4652
29.03/26.59	o 4651
29.03/26.59	o 4650
29.03/26.59	o 4649
29.03/26.59	o 4648
29.03/26.59	o 4647
29.14/26.60	o 4645
29.14/26.60	o 4644
29.14/26.60	o 4643
29.14/26.60	o 4642
29.14/26.60	o 4641
29.14/26.60	o 4640
29.14/26.60	o 4639
29.14/26.60	o 4638
29.14/26.60	o 4637
29.14/26.60	o 4635
29.14/26.60	o 4634
29.14/26.60	o 4633
29.14/26.60	o 4632
29.14/26.60	o 4631
29.14/26.60	o 4630
29.14/26.60	o 4628
29.14/26.60	o 4626
29.14/26.60	o 4625
29.14/26.60	o 4624
29.14/26.60	o 4623
29.14/26.60	o 4605
29.14/26.60	o 4604
29.14/26.61	o 4603
29.14/26.61	o 4602
29.14/26.61	o 4601
29.14/26.61	o 4600
29.14/26.61	o 4598
29.14/26.61	o 4597
29.14/26.61	o 4596
29.14/26.61	o 4595
29.14/26.61	o 4594
29.14/26.61	o 4593
29.14/26.61	o 4592
29.14/26.61	o 4591
29.14/26.61	o 4590
29.14/26.61	o 4589
29.14/26.61	o 4588
29.14/26.61	o 4585
29.14/26.61	o 4584
29.14/26.61	o 4583
29.14/26.61	o 4575
29.14/26.61	o 4574
29.14/26.61	o 4573
29.14/26.61	o 4564
29.14/26.61	o 4563
29.14/26.61	o 4562
29.14/26.61	o 4560
29.14/26.61	o 4556
29.14/26.61	o 4553
29.14/26.62	o 4552
29.14/26.62	o 4551
29.14/26.63	o 4550
29.14/26.64	o 4549
29.14/26.65	o 4548
29.25/26.77	o 4547
29.25/26.77	o 4545
29.25/26.77	o 4544
29.25/26.77	o 4543
29.25/26.77	o 4542
29.25/26.77	o 4541
29.25/26.77	o 4540
29.25/26.77	o 4539
29.25/26.77	o 4538
29.25/26.77	o 4537
29.25/26.77	o 4536
29.25/26.77	o 4535
29.25/26.77	o 4534
29.25/26.77	o 4533
29.25/26.77	o 4523
29.25/26.77	o 4522
29.25/26.77	o 4521
29.25/26.77	o 4520
29.25/26.77	o 4519
29.25/26.77	o 4518
29.25/26.77	o 4517
29.25/26.77	o 4516
29.25/26.77	o 4515
29.25/26.77	o 4514
29.25/26.77	o 4513
29.25/26.77	o 4512
29.25/26.77	o 4482
29.25/26.77	o 4481
29.25/26.77	o 4480
29.25/26.77	o 4478
29.25/26.77	o 4477
29.25/26.77	o 4476
29.25/26.77	o 4473
29.25/26.77	o 4472
29.25/26.77	o 4471
29.25/26.77	o 4470
29.25/26.77	o 4469
29.25/26.77	o 4467
29.25/26.77	o 4466
29.25/26.77	o 4465
29.25/26.78	o 4464
29.25/26.78	o 4463
29.35/26.81	o 4462
29.35/26.89	o 4461
29.45/26.90	o 4460
29.45/26.90	o 4459
29.66/27.12	o 4458
30.25/27.73	o 4457
30.45/27.93	o 4456
30.45/27.97	o 4455
30.75/28.20	o 4452
30.75/28.20	o 4449
30.75/28.20	o 4447
30.75/28.20	o 4446
30.75/28.20	o 4442
30.75/28.20	o 4441
30.75/28.20	o 4436
30.75/28.20	o 4435
30.75/28.20	o 4434
30.75/28.20	o 4433
30.75/28.20	o 4432
30.75/28.20	o 4418
30.75/28.20	o 4417
30.75/28.20	o 4415
30.75/28.20	o 4414
30.75/28.20	o 4413
30.75/28.20	o 4411
30.75/28.20	o 4410
30.75/28.20	o 4409
30.75/28.20	o 4398
30.75/28.20	o 4397
30.75/28.20	o 4392
30.75/28.20	o 4391
30.75/28.20	o 4379
30.75/28.21	o 4378
30.75/28.21	o 4377
30.75/28.21	o 4376
30.75/28.21	o 4363
30.75/28.21	o 4358
30.75/28.21	o 4357
30.75/28.21	o 4356
30.75/28.21	o 4355
30.75/28.21	o 4354
30.75/28.21	o 4353
30.75/28.21	o 4352
30.75/28.21	o 4351
30.75/28.24	o 4350
30.75/28.24	o 4349
30.75/28.25	o 4348
30.96/28.48	o 4347
31.06/28.57	o 4346
31.06/28.57	o 4344
31.06/28.57	o 4342
31.06/28.57	o 4341
31.06/28.57	o 4340
31.06/28.57	o 4339
31.06/28.57	o 4332
31.06/28.57	o 4331
31.06/28.57	o 4317
31.06/28.57	o 4316
31.06/28.57	o 4314
31.06/28.57	o 4313
31.06/28.57	o 4311
31.06/28.57	o 4310
31.06/28.57	o 4308
31.06/28.57	o 4307
31.06/28.57	o 4306
31.06/28.57	o 4305
31.06/28.57	o 4304
31.06/28.57	o 4303
31.06/28.57	o 4302
31.06/28.57	o 4301
31.06/28.57	o 4300
31.06/28.58	o 4295
31.06/28.58	o 4294
31.06/28.58	o 4285
31.06/28.58	o 4284
31.06/28.58	o 4281
31.06/28.58	o 4280
31.06/28.58	o 4279
31.06/28.58	o 4278
31.06/28.58	o 4277
31.06/28.59	o 4276
31.06/28.59	o 4275
31.06/28.59	o 4274
31.16/28.61	o 4273
31.16/28.62	o 4272
31.16/28.65	o 4271
31.26/28.76	o 4270
31.26/28.78	o 4269
31.26/28.79	o 4267
31.56/29.09	o 4266
31.66/29.11	o 4265
31.66/29.11	o 4264
31.86/29.32	o 4262
31.86/29.32	o 4260
31.86/29.32	o 4259
31.86/29.32	o 4256
31.86/29.32	o 4250
31.86/29.32	o 4248
31.86/29.32	o 4247
31.86/29.32	o 4246
31.86/29.32	o 4179
31.86/29.32	o 4178
31.86/29.32	o 4177
31.86/29.32	o 4176
31.86/29.32	o 4175
31.86/29.32	o 4174
31.86/29.33	o 4173
31.86/29.35	o 4172
31.86/29.36	o 4171
31.86/29.36	o 4170
31.86/29.36	o 4169
31.86/29.38	o 4168
32.86/30.35	o 4165
32.86/30.35	o 4164
32.86/30.35	o 4160
32.86/30.35	o 4159
32.86/30.35	o 4158
32.86/30.35	o 4157
32.86/30.35	o 4153
32.86/30.35	o 4152
32.86/30.35	o 4151
32.86/30.35	o 4150
32.86/30.35	o 4149
32.86/30.35	o 4147
32.86/30.35	o 4146
32.86/30.35	o 4145
32.86/30.35	o 4144
32.86/30.35	o 4143
32.86/30.35	o 4142
32.86/30.35	o 4141
33.26/30.78	o 4138
33.77/31.22	o 4137
33.77/31.22	o 4136
33.87/31.39	o 4135
34.37/31.85	o 4134
34.58/32.02	o 4133
34.58/32.02	o 4132
34.58/32.10	o 4131
34.58/32.10	o 4130
34.87/32.32	o 4129
35.18/32.68	o 4128
35.38/32.82	o 4127
35.48/32.95	o 4126
35.87/33.36	o 4125
36.18/33.62	o 4118
36.18/33.62	o 4116
36.18/33.62	o 4115
36.18/33.62	o 4114
36.18/33.62	o 4102
36.18/33.62	o 4099
36.18/33.62	o 4095
36.18/33.62	o 4092
36.18/33.62	o 4088
36.18/33.62	o 4078
36.18/33.62	o 4076
36.18/33.62	o 4074
36.18/33.62	o 4050
36.18/33.62	o 4043
36.18/33.62	o 4032
36.18/33.62	o 4031
36.18/33.62	o 4025
36.18/33.62	o 4024
36.18/33.62	o 4023
36.18/33.62	o 4022
36.18/33.63	o 4020
36.18/33.63	o 4019
36.18/33.63	o 4018
36.18/33.63	o 4017
36.18/33.65	o 4016
36.18/33.66	o 4015
36.18/33.66	o 4014
36.18/33.66	o 4013
36.18/33.68	o 4012
36.59/34.03	o 4011
36.59/34.03	o 4010
36.59/34.03	o 4008
36.59/34.03	o 4006
36.59/34.03	o 3936
36.59/34.04	o 3920
36.59/34.04	o 3918
36.59/34.04	o 3915
36.59/34.04	o 3911
36.59/34.04	o 3910
36.59/34.04	o 3909
36.59/34.04	o 3907
36.59/34.04	o 3906
36.59/34.04	o 3904
36.59/34.04	o 3903
36.59/34.05	o 3902
36.59/34.05	o 3901
36.59/34.06	o 3900
36.59/34.06	o 3897
36.59/34.06	o 3896
36.78/34.23	o 3894
36.78/34.25	o 3893
36.78/34.25	o 3892
36.78/34.26	o 3891
36.98/34.42	o 3890
36.98/34.43	o 3889
36.98/34.43	o 3888
36.98/34.45	o 3887
36.98/34.45	o 3886
36.98/34.45	o 3885
36.98/34.45	o 3884
36.98/34.45	o 3883
36.98/34.45	o 3882
36.98/34.45	o 3881
36.98/34.45	o 3880
36.98/34.45	o 3879
36.98/34.45	o 3878
36.98/34.45	o 3877
36.98/34.45	o 3876
36.98/34.45	o 3875
36.98/34.45	o 3874
36.98/34.45	o 3873
36.98/34.45	o 3872
36.98/34.46	o 3871
36.98/34.46	o 3870
36.98/34.46	o 3869
36.98/34.47	o 3868
36.98/34.47	o 3867
36.98/34.47	o 3866
36.98/34.49	o 3865
36.98/34.49	o 3864
36.98/34.49	o 3863
37.08/34.54	o 3862
37.08/34.54	o 3861
37.08/34.54	o 3860
37.08/34.54	o 3859
37.08/34.54	o 3858
37.08/34.54	o 3856
37.08/34.54	o 3853
37.08/34.54	o 3851
37.08/34.54	o 3850
37.08/34.54	o 3849
37.08/34.54	o 3848
37.08/34.54	o 3845
37.08/34.54	o 3844
37.08/34.54	o 3810
37.08/34.55	o 3809
37.08/34.55	o 3807
37.08/34.55	o 3805
37.08/34.55	o 3804
37.08/34.55	o 3803
37.08/34.55	o 3802
37.08/34.55	o 3799
37.08/34.55	o 3798
37.08/34.55	o 3797
37.08/34.55	o 3796
37.08/34.55	o 3795
37.08/34.55	o 3794
37.08/34.55	o 3793
37.08/34.59	o 3792
37.18/34.62	o 3791
37.18/34.62	o 3790
37.18/34.66	o 3789
37.18/34.67	o 3788
37.18/34.68	o 3787
37.18/34.69	o 3786
37.28/34.72	o 3785
37.28/34.72	o 3784
37.28/34.77	o 3783
38.29/35.75	o 3782
38.39/35.82	o 3781
38.49/35.96	o 3780
38.49/35.96	o 3775
38.49/35.96	o 3774
38.49/35.96	o 3759
38.49/35.96	o 3732
38.49/35.96	o 3731
38.49/35.96	o 3730
38.49/35.96	o 3729
38.49/35.96	o 3728
38.49/35.96	o 3716
38.49/35.96	o 3715
38.49/35.96	o 3698
38.49/35.96	o 3697
38.49/35.96	o 3688
38.49/35.96	o 3687
38.49/35.96	o 3686
38.49/35.96	o 3685
38.49/35.98	o 3684
38.60/36.02	o 3682
38.60/36.02	o 3681
38.60/36.03	o 3680
38.60/36.03	o 3679
38.70/36.14	o 3678
38.70/36.14	o 3677
38.70/36.14	o 3676
38.70/36.14	o 3675
38.79/36.23	o 3674
39.50/36.99	o 3673
39.50/36.99	o 3672
39.50/36.99	o 3670
39.50/36.99	o 3669
39.50/36.99	o 3668
39.50/36.99	o 3667
39.50/36.99	o 3666
39.50/36.99	o 3665
39.50/36.99	o 3661
39.50/36.99	o 3660
39.50/36.99	o 3659
39.50/36.99	o 3657
39.50/36.99	o 3655
39.50/36.99	o 3652
39.50/36.99	o 3651
39.50/36.99	o 3650
39.50/36.99	o 3649
39.50/36.99	o 3648
39.50/36.99	o 3647
39.50/36.99	o 3646
39.50/36.99	o 3643
39.50/36.99	o 3642
39.50/36.99	o 3641
39.50/36.99	o 3635
39.50/36.99	o 3634
39.50/36.99	o 3633
39.50/36.99	o 3632
39.50/37.00	o 3631
39.61/37.09	o 3630
39.61/37.09	o 3629
39.61/37.09	o 3628
39.71/37.19	o 3627
39.71/37.20	o 3626
39.80/37.20	o 3625
39.80/37.21	o 3624
39.80/37.21	o 3623
39.80/37.24	o 3622
39.80/37.24	o 3621
39.80/37.26	o 3620
39.90/37.31	o 3619
39.90/37.31	o 3618
39.90/37.36	o 3617
40.01/37.48	o 3616
40.01/37.48	o 3615
40.11/37.53	o 3614
40.11/37.54	o 3611
45.44/42.83	o 3610
45.44/42.83	o 3609
45.44/42.83	o 3608
45.44/42.83	o 3607
45.44/42.83	o 3606
45.44/42.83	o 3604
45.44/42.83	o 3602
45.44/42.84	o 3599
45.44/42.84	o 3538
45.44/42.84	o 3536
45.44/42.84	o 3535
45.44/42.84	o 3533
45.44/42.84	o 3531
45.54/42.90	o 3530
45.54/42.90	o 3529
45.54/42.90	o 3528
45.54/42.90	o 3527
45.54/42.94	o 3526
46.05/43.41	o 3525
46.05/43.41	o 3524
46.05/43.41	o 3523
46.05/43.48	o 3511
46.05/43.48	o 3510
46.05/43.48	o 3498
46.05/43.48	o 3497
46.05/43.48	o 3496
46.05/43.48	o 3494
46.05/43.48	o 3493
46.05/43.48	o 3492
46.05/43.48	o 3491
46.05/43.48	o 3490
46.05/43.48	o 3489
46.05/43.48	o 3486
46.05/43.48	o 3485
46.05/43.48	o 3484
46.05/43.48	o 3477
46.05/43.48	o 3476
46.05/43.48	o 3475
46.05/43.48	o 3474
46.05/43.48	o 3473
46.05/43.48	o 3472
46.05/43.48	o 3471
46.05/43.48	o 3470
46.05/43.48	o 3468
46.05/43.48	o 3467
46.05/43.48	o 3466
46.05/43.48	o 3465
46.05/43.48	o 3464
46.05/43.48	o 3463
46.05/43.48	o 3462
46.05/43.48	o 3461
46.05/43.48	o 3460
46.05/43.48	o 3459
46.05/43.49	o 3458
46.05/43.49	o 3456
46.05/43.49	o 3454
46.05/43.49	o 3453
46.15/43.50	o 3452
46.15/43.50	o 3451
46.15/43.51	o 3450
46.15/43.52	o 3449
46.15/43.58	o 3448
46.25/43.63	o 3447
46.25/43.65	o 3446
46.25/43.69	o 3445
46.35/43.70	o 3444
46.35/43.70	o 3443
46.35/43.70	o 3442
47.16/44.55	o 3441
47.25/44.65	o 3440
47.45/44.86	o 3439
47.45/44.86	o 3438
47.45/44.86	o 3437
47.56/44.95	o 3436
47.56/44.95	o 3435
47.56/45.00	o 3434
47.67/45.01	o 3433
49.47/46.84	o 3432
49.47/46.84	o 3430
49.47/46.84	o 3425
49.47/46.84	o 3422
49.47/46.84	o 3419
49.47/46.84	o 3418
49.47/46.84	o 3415
49.47/46.84	o 3413
49.47/46.85	o 3412
49.47/46.85	o 3411
49.47/46.86	o 3410
49.47/46.86	o 3409
49.47/46.87	o 3408
49.47/46.88	o 3406
49.47/46.88	o 3405
49.96/47.38	o 3401
49.96/47.38	o 3400
49.96/47.38	o 3399
49.96/47.38	o 3398
49.96/47.38	o 3397
49.96/47.38	o 3396
49.96/47.38	o 3395
49.96/47.38	o 3394
49.96/47.38	o 3393
49.96/47.38	o 3391
49.96/47.38	o 3390
49.96/47.38	o 3387
49.96/47.38	o 3384
49.96/47.38	o 3382
49.96/47.38	o 3380
49.96/47.38	o 3379
49.96/47.38	o 3378
49.96/47.38	o 3376
49.96/47.38	o 3374
49.96/47.38	o 3373
49.96/47.38	o 3372
49.96/47.38	o 3371
49.96/47.38	o 3370
49.96/47.38	o 3369
49.96/47.38	o 3368
49.96/47.38	o 3367
49.96/47.38	o 3365
49.96/47.38	o 3364
49.96/47.38	o 3363
49.96/47.38	o 3362
49.96/47.38	o 3359
49.96/47.38	o 3357
49.96/47.38	o 3350
49.96/47.38	o 3344
49.96/47.38	o 3343
50.07/47.40	o 3341
50.07/47.41	o 3340
50.07/47.44	o 3339
50.07/47.44	o 3335
50.07/47.44	o 3334
50.07/47.44	o 3333
50.07/47.44	o 3332
50.07/47.44	o 3331
50.07/47.44	o 3330
50.07/47.44	o 3329
50.07/47.44	o 3325
50.07/47.44	o 3324
50.07/47.44	o 3323
50.07/47.45	o 3322
50.07/47.45	o 3321
50.07/47.45	o 3320
50.07/47.46	o 3319
50.07/47.46	o 3318
50.07/47.46	o 3317
50.07/47.47	o 3316
50.07/47.47	o 3315
50.07/47.48	o 3314
51.89/49.23	o 3313
51.89/49.23	o 3312
51.89/49.23	o 3311
51.89/49.23	o 3310
51.89/49.23	o 3309
51.89/49.23	o 3307
51.89/49.23	o 3303
51.89/49.23	o 3300
51.89/49.23	o 3299
51.89/49.23	o 3298
51.89/49.23	o 3297
51.89/49.24	o 3296
51.89/49.29	o 3295
52.09/49.43	o 3294
52.09/49.46	o 3293
52.09/49.46	o 3292
52.29/49.63	o 3291
52.29/49.65	o 3290
52.40/49.78	o 3289
52.81/50.15	o 3288
53.40/50.73	o 3286
53.40/50.73	o 3282
53.40/50.73	o 3277
53.40/50.73	o 3271
53.40/50.73	o 3266
53.40/50.73	o 3262
53.40/50.73	o 3258
53.40/50.73	o 3256
53.40/50.74	o 3255
53.40/50.75	o 3254
53.40/50.75	o 3253
53.40/50.75	o 3252
53.40/50.76	o 3251
53.40/50.76	o 3250
53.50/50.85	o 3249
53.50/50.85	o 3248
53.72/51.08	o 3247
53.72/51.08	o 3246
53.72/51.08	o 3245
53.72/51.09	o 3244
53.72/51.09	o 3243
53.82/51.12	o 3242
53.91/51.20	o 3241
53.91/51.28	o 3237
53.91/51.28	o 3235
53.91/51.28	o 3227
53.91/51.28	o 3219
53.91/51.28	o 3217
53.91/51.28	o 3216
53.91/51.28	o 3215
53.91/51.28	o 3214
53.91/51.28	o 3213
53.91/51.28	o 3212
53.91/51.28	o 3210
53.91/51.28	o 3207
53.91/51.28	o 3205
53.91/51.28	o 3203
53.91/51.29	o 3202
54.01/51.31	o 3201
54.41/51.73	o 3200
54.51/51.83	o 3199
54.51/51.83	o 3198
54.61/51.91	o 3197
56.93/54.24	o 3196
56.93/54.24	o 3195
56.93/54.24	o 3192
56.93/54.24	o 3189
56.93/54.24	o 3186
56.93/54.24	o 3185
56.93/54.24	o 3181
56.93/54.24	o 3180
56.93/54.24	o 3177
56.93/54.24	o 3176
56.93/54.24	o 3175
56.93/54.24	o 3140
56.93/54.24	o 3139
56.93/54.24	o 3134
56.93/54.24	o 3133
56.93/54.25	o 3132
56.93/54.25	o 3131
56.93/54.26	o 3130
56.93/54.27	o 3129
56.93/54.27	o 3128
57.33/54.68	o 3127
57.75/55.03	o 3126
58.24/55.57	o 3102
58.24/55.57	o 3081
58.24/55.57	o 3073
58.24/55.57	o 3071
58.24/55.57	o 3070
59.55/56.88	o 3069
59.55/56.89	o 3068
59.55/56.89	o 3067
59.55/56.89	o 3066
59.65/56.92	o 3065
59.65/56.93	o 3064
59.65/56.93	o 3063
59.65/56.99	o 3062
59.65/56.99	o 3061
59.76/57.02	o 3060
59.76/57.04	o 3059
59.76/57.07	o 3058
61.17/58.47	o 3057
62.89/60.13	o 3056
62.89/60.13	o 3055
62.89/60.13	o 3054
62.89/60.13	o 3053
62.89/60.13	o 3052
62.89/60.13	o 3051
62.89/60.13	o 3050
62.89/60.13	o 3049
62.89/60.13	o 3048
62.89/60.13	o 3036
62.89/60.13	o 3035
62.89/60.13	o 3023
62.89/60.13	o 3022
62.89/60.14	o 3021
62.89/60.15	o 3020
62.89/60.15	o 3019
62.89/60.15	o 3018
62.89/60.16	o 3017
62.89/60.18	o 3016
62.89/60.18	o 3015
63.58/60.84	o 3014
63.58/60.86	o 3013
63.58/60.86	o 3012
63.69/60.95	o 3011
63.69/60.95	o 3010
63.69/60.96	o 3009
63.99/61.29	o 3008
63.99/61.29	o 3007
64.09/61.34	o 3006
64.19/61.44	o 3005
64.19/61.44	o 3004
64.19/61.44	o 3003
64.19/61.44	o 3002
76.69/73.83	o 2990
76.69/73.83	o 2986
76.69/73.85	o 2982
76.69/73.85	o 2980
76.69/73.85	o 2979
76.69/73.85	o 2978
76.69/73.86	o 2976
76.69/73.86	o 2975
76.69/73.86	o 2974
76.69/73.86	o 2973
76.69/73.86	o 2972
76.69/73.86	o 2971
76.69/73.86	o 2970
76.69/73.86	o 2969
76.69/73.86	o 2968
76.69/73.86	o 2967
76.69/73.86	o 2966
76.69/73.86	o 2965
76.69/73.86	o 2964
76.69/73.87	o 2963
76.69/73.89	o 2962
77.19/74.35	o 2961
81.52/78.66	o 2960
81.52/78.66	o 2959
81.52/78.66	o 2958
81.52/78.66	o 2956
81.52/78.66	o 2955
82.63/79.75	o 2954
82.83/79.96	o 2953
82.83/79.96	o 2952
82.83/79.96	o 2951
82.83/79.96	o 2947
82.83/79.96	o 2946
82.83/79.96	o 2943
82.83/79.96	o 2942
82.83/79.96	o 2941
82.83/79.96	o 2940
82.83/79.96	o 2939
82.83/79.96	o 2938
82.83/79.96	o 2937
82.83/79.96	o 2936
82.83/79.96	o 2874
82.83/79.96	o 2873
82.83/79.96	o 2871
82.83/79.96	o 2870
82.83/79.96	o 2869
82.83/79.96	o 2863
82.83/79.96	o 2861
82.83/79.96	o 2860
82.83/79.96	o 2856
82.83/79.96	o 2853
82.83/79.96	o 2852
82.83/79.96	o 2850
82.83/79.96	o 2849
82.83/79.96	o 2848
82.83/79.96	o 2846
82.83/79.96	o 2845
82.83/79.98	o 2844
82.83/79.98	o 2843
82.83/79.98	o 2842
82.83/79.98	o 2841
82.83/80.00	o 2840
82.83/80.00	o 2839
82.94/80.01	o 2838
82.94/80.01	o 2837
82.94/80.04	o 2836
82.94/80.04	o 2835
82.94/80.05	o 2834
82.94/80.05	o 2831
83.04/80.20	o 2830
83.04/80.20	o 2829
83.25/80.34	o 2828
83.35/80.44	o 2827
83.35/80.45	o 2826
83.45/80.56	o 2825
84.25/81.35	o 2824
84.35/81.49	o 2823
84.35/81.49	o 2822
91.50/88.59	o 2821
91.50/88.59	o 2820
91.50/88.59	o 2803
91.50/88.59	o 2802
91.50/88.59	o 2788
91.50/88.60	o 2787
91.50/88.60	o 2784
91.50/88.60	o 2783
91.50/88.60	o 2774
91.50/88.60	o 2773
91.61/88.60	o 2757
91.61/88.60	o 2756
91.61/88.60	o 2752
91.61/88.60	o 2751
91.61/88.60	o 2750
91.61/88.60	o 2749
91.61/88.60	o 2748
91.61/88.60	o 2747
91.61/88.61	o 2746
91.71/88.78	o 2745
91.71/88.78	o 2744
91.81/88.81	o 2743
91.81/88.81	o 2742
91.81/88.81	o 2741
92.02/89.10	o 2740
92.02/89.11	o 2739
96.15/93.14	o 2737
96.24/93.22	o 2736
96.54/93.59	o 2735
96.54/93.59	o 2734
96.85/93.80	o 2733
96.85/93.80	o 2732
96.85/93.80	o 2729
96.85/93.80	o 2726
96.85/93.80	o 2724
96.85/93.80	o 2722
96.85/93.80	o 2720
96.85/93.80	o 2719
96.85/93.80	o 2718
96.85/93.81	o 2702
96.85/93.81	o 2694
96.85/93.81	o 2689
96.85/93.81	o 2684
96.85/93.81	o 2682
96.85/93.81	o 2681
96.85/93.83	o 2680
96.85/93.83	o 2678
96.85/93.83	o 2677
96.85/93.83	o 2676
96.85/93.88	o 2675
97.06/94.06	o 2674
97.06/94.07	o 2673
97.16/94.16	o 2672
97.65/94.68	o 2671
97.65/94.68	o 2670
97.85/94.83	o 2669
97.85/94.83	o 2667
97.85/94.86	o 2666
97.85/94.86	o 2665
98.06/95.04	o 2664
98.77/95.73	o 2663
99.18/96.14	o 2662
99.27/96.24	o 2661
103.50/100.48	o 2654
103.50/100.48	o 2653
103.50/100.48	o 2652
103.50/100.48	o 2649
103.50/100.48	o 2648
103.50/100.48	o 2647
103.50/100.48	o 2646
103.50/100.48	o 2645
103.50/100.49	o 2644
103.50/100.49	o 2643
104.30/101.29	o 2642
106.72/103.65	o 2641
107.02/103.93	o 2640
107.32/104.26	o 2639
107.32/104.26	o 2638
108.03/104.91	o 2637
109.74/106.62	o 2636
109.74/106.62	o 2635
109.74/106.64	o 2634
109.74/106.64	o 2633
110.54/107.44	o 2632
110.54/107.44	o 2631
111.55/108.43	o 2630
111.55/108.43	o 2629
112.66/109.57	o 2628
112.66/109.57	o 2627
112.66/109.57	o 2624
112.66/109.57	o 2623
112.66/109.57	o 2621
112.66/109.57	o 2620
112.66/109.57	o 2618
112.66/109.57	o 2616
112.66/109.57	o 2613
112.66/109.57	o 2612
112.66/109.57	o 2611
112.66/109.57	o 2609
112.66/109.59	o 2608
112.76/109.61	o 2607
112.76/109.61	o 2606
112.76/109.61	o 2605
113.18/110.07	o 2604
114.28/111.12	o 2603
114.28/111.12	o 2600
114.28/111.12	o 2598
114.28/111.12	o 2590
114.28/111.12	o 2585
114.28/111.12	o 2582
114.28/111.13	o 2581
114.28/111.13	o 2579
114.28/111.13	o 2578
114.28/111.14	o 2577
114.28/111.14	o 2576
114.28/111.14	o 2575
114.28/111.14	o 2574
114.28/111.15	o 2573
114.28/111.15	o 2572
114.28/111.15	o 2570
114.28/111.16	o 2569
114.37/111.23	o 2568
120.62/117.40	o 2567
120.62/117.40	o 2566
120.62/117.40	o 2564
120.62/117.40	o 2563
120.62/117.40	o 2562
120.62/117.40	o 2561
120.62/117.44	o 2560
120.62/117.44	o 2559
120.62/117.44	o 2558
120.62/117.44	o 2554
120.62/117.44	o 2551
120.73/117.53	o 2550
120.73/117.53	o 2549
120.73/117.53	o 2548
120.73/117.54	o 2547
124.15/120.94	o 2546
124.15/120.94	o 2545
124.15/120.94	o 2544
124.15/120.95	o 2543
124.15/120.95	o 2540
124.15/120.95	o 2539
124.15/120.95	o 2538
124.15/120.97	o 2537
124.26/121.08	o 2536
124.66/121.40	o 2535
124.76/121.58	o 2533
124.76/121.59	o 2532
125.37/122.18	o 2531
125.46/122.21	o 2530
125.66/122.43	o 2529
125.66/122.44	o 2528
125.66/122.48	o 2527
125.86/122.64	o 2526
125.86/122.64	o 2524
125.86/122.64	o 2523
125.86/122.64	o 2522
125.86/122.64	o 2521
125.86/122.64	o 2520
125.86/122.64	o 2519
125.86/122.64	o 2518
125.86/122.64	o 2517
125.86/122.65	o 2514
125.86/122.65	o 2513
125.86/122.65	o 2511
125.86/122.65	o 2510
125.97/122.72	o 2509
125.97/122.72	o 2508
125.97/122.72	o 2507
126.07/122.82	o 2455
126.07/122.82	o 2454
126.07/122.82	o 2450
126.07/122.82	o 2447
126.17/122.91	o 2446
126.47/123.25	o 2445
126.88/123.67	o 2444
126.88/123.67	o 2443
126.88/123.67	o 2442
128.59/125.37	o 2441
128.69/125.43	o 2440
128.69/125.45	o 2439
129.31/126.08	o 2438
129.31/126.08	o 2437
129.31/126.09	o 2436
131.32/128.02	o 2435
131.32/128.02	o 2434
131.32/128.02	o 2431
131.32/128.02	o 2430
131.32/128.02	o 2429
131.32/128.02	o 2428
131.32/128.02	o 2426
131.32/128.02	o 2425
131.32/128.02	o 2423
131.32/128.02	o 2422
131.32/128.02	o 2421
131.32/128.02	o 2420
131.32/128.02	o 2419
131.32/128.02	o 2418
131.32/128.03	o 2416
131.32/128.08	o 2414
131.32/128.08	o 2413
131.32/128.09	o 2412
131.32/128.09	o 2411
131.32/128.09	o 2410
131.32/128.10	o 2409
131.32/128.10	o 2408
131.32/128.10	o 2407
131.42/128.16	o 2405
131.42/128.16	o 2404
131.42/128.16	o 2403
131.42/128.16	o 2402
131.42/128.16	o 2399
131.42/128.16	o 2398
131.42/128.16	o 2397
131.42/128.16	o 2394
131.42/128.16	o 2393
131.42/128.16	o 2391
131.42/128.17	o 2390
131.42/128.17	o 2389
131.42/128.18	o 2387
131.42/128.19	o 2386
131.42/128.19	o 2385
131.51/128.20	o 2384
131.51/128.20	o 2383
131.51/128.20	o 2382
131.62/128.33	o 2381
132.82/129.50	o 2380
133.43/130.17	o 2379
134.14/130.86	o 2378
134.14/130.86	o 2376
135.36/132.09	o 2375
135.55/132.23	o 2374
135.55/132.30	o 2373
135.55/132.30	o 2372
135.65/132.30	o 2371
135.75/132.46	o 2370
135.75/132.46	o 2369
136.25/132.92	o 2368
136.65/133.39	o 2367
137.86/134.55	o 2366
137.86/134.55	o 2365
141.98/138.62	o 2363
155.27/151.86	o 2360
155.27/151.86	o 2359
155.27/151.86	o 2358
155.27/151.86	o 2354
155.27/151.86	o 2352
155.27/151.86	o 2351
155.27/151.86	o 2350
155.27/151.86	o 2349
155.27/151.86	o 2348
155.27/151.86	o 2347
155.27/151.86	o 2345
155.27/151.86	o 2344
155.27/151.86	o 2343
155.27/151.86	o 2342
155.27/151.86	o 2341
155.27/151.86	o 2340
155.27/151.86	o 2339
155.27/151.86	o 2338
155.27/151.86	o 2333
155.27/151.86	o 2332
155.27/151.86	o 2331
155.27/151.86	o 2330
155.27/151.86	o 2329
155.27/151.86	o 2328
155.27/151.86	o 2327
155.27/151.86	o 2326
155.27/151.86	o 2325
155.27/151.86	o 2324
155.27/151.87	o 2323
155.27/151.90	o 2322
155.37/151.91	o 2321
155.37/151.91	o 2320
155.37/151.91	o 2319
155.37/151.91	o 2318
155.37/151.91	o 2317
155.37/151.91	o 2316
155.37/151.91	o 2315
155.37/151.91	o 2314
155.37/151.91	o 2313
155.37/151.91	o 2312
155.37/151.91	o 2311
155.37/151.91	o 2310
155.37/151.91	o 2309
155.37/151.91	o 2308
155.37/151.91	o 2307
155.37/151.91	o 2306
155.37/151.91	o 2305
155.37/151.91	o 2304
155.37/151.94	o 2303
155.37/151.99	o 2302
155.37/152.00	o 2301
155.48/152.01	o 2300
155.48/152.05	o 2299
155.48/152.09	o 2298
155.48/152.10	o 2297
155.48/152.10	o 2296
155.67/152.22	o 2295
157.09/153.63	o 2294
157.50/154.09	o 2293
157.99/154.54	o 2292
158.51/155.03	o 2291
158.51/155.04	o 2290
158.51/155.05	o 2289
158.51/155.05	o 2288
159.10/155.63	o 2287
159.10/155.63	o 2286
159.10/155.63	o 2285
159.10/155.63	o 2284
159.10/155.63	o 2283
159.10/155.63	o 2282
159.10/155.63	o 2281
159.10/155.63	o 2280
159.10/155.63	o 2279
159.10/155.63	o 2278
159.10/155.63	o 2277
159.10/155.63	o 2276
159.10/155.63	o 2272
159.10/155.63	o 2271
159.10/155.63	o 2269
159.10/155.63	o 2268
159.10/155.63	o 2267
159.10/155.63	o 2265
159.10/155.63	o 2262
159.10/155.63	o 2261
159.10/155.63	o 2260
159.10/155.63	o 2259
159.10/155.63	o 2258
159.10/155.63	o 2257
159.10/155.63	o 2256
159.10/155.63	o 2255
159.10/155.63	o 2254
159.10/155.63	o 2253
159.10/155.63	o 2252
159.10/155.63	o 2251
159.10/155.63	o 2250
159.10/155.63	o 2249
159.10/155.64	o 2248
159.10/155.64	o 2247
159.10/155.64	o 2246
159.10/155.64	o 2240
159.10/155.64	o 2239
159.10/155.64	o 2238
159.10/155.64	o 2237
159.10/155.64	o 2236
159.10/155.64	o 2235
159.10/155.68	o 2234
159.10/155.68	o 2233
160.01/156.58	o 2232
161.62/158.13	o 2231
162.42/158.91	o 2230
163.22/159.71	o 2229
163.22/159.71	o 2228
163.22/159.71	o 2227
163.22/159.71	o 2226
163.22/159.71	o 2225
163.22/159.71	o 2224
163.22/159.71	o 2223
163.22/159.71	o 2222
163.22/159.71	o 2221
163.22/159.72	o 2172
163.22/159.72	o 2171
163.22/159.72	o 2168
163.22/159.72	o 2167
163.22/159.72	o 2166
163.22/159.72	o 2165
163.22/159.72	o 2164
163.22/159.72	o 2163
163.22/159.73	o 2162
163.22/159.73	o 2161
163.22/159.73	o 2160
163.22/159.73	o 2159
163.22/159.75	o 2158
163.22/159.75	o 2157
163.22/159.76	o 2156
163.22/159.77	o 2155
163.22/159.77	o 2154
163.22/159.77	o 2153
163.32/159.89	o 2107
163.32/159.89	o 2102
163.32/159.89	o 2099
163.32/159.89	o 2098
163.32/159.89	o 2087
163.32/159.89	o 2077
163.32/159.89	o 2075
163.32/159.89	o 2069
163.32/159.89	o 2067
163.32/159.90	o 2051
163.32/159.90	o 2048
163.42/159.90	o 2047
163.42/159.90	o 2046
163.42/159.90	o 2045
163.42/159.90	o 2044
163.42/159.90	o 2043
163.42/159.90	o 2042
163.42/159.90	o 2041
163.42/159.90	o 2040
163.42/159.90	o 2039
163.42/159.91	o 2038
163.42/159.91	o 2037
163.42/159.91	o 2036
163.42/159.94	o 2035
163.53/160.05	o 2034
163.53/160.08	o 2033
172.08/168.57	o 2032
172.08/168.59	o 2031
172.28/168.79	o 2026
172.28/168.79	o 2021
172.28/168.79	o 2019
172.28/168.79	o 2007
172.28/168.79	o 2005
172.28/168.79	o 2004
172.28/168.79	o 2002
172.28/168.79	o 2001
172.28/168.79	o 1999
172.28/168.79	o 1998
172.28/168.79	o 1995
172.28/168.79	o 1994
172.28/168.79	o 1992
172.28/168.79	o 1991
172.28/168.79	o 1990
172.28/168.79	o 1989
172.28/168.79	o 1988
172.28/168.79	o 1987
172.28/168.79	o 1986
172.28/168.79	o 1984
172.28/168.79	o 1982
172.28/168.79	o 1979
172.28/168.79	o 1971
172.28/168.79	o 1968
172.28/168.79	o 1966
172.38/168.80	o 1965
172.49/168.97	o 1964
172.59/169.02	o 1963
172.59/169.02	o 1962
172.59/169.02	o 1961
172.59/169.02	o 1960
172.59/169.02	o 1959
172.59/169.04	o 1958
172.59/169.05	o 1957
172.59/169.05	o 1956
172.59/169.05	o 1955
172.59/169.09	o 1954
176.92/173.31	o 1944
176.92/173.31	o 1943
176.92/173.31	o 1942
176.92/173.31	o 1941
176.92/173.31	o 1940
176.92/173.31	o 1939
176.92/173.31	o 1938
176.92/173.31	o 1937
176.92/173.31	o 1903
176.92/173.31	o 1902
176.92/173.31	o 1901
176.92/173.31	o 1898
176.92/173.31	o 1897
176.92/173.32	o 1896
176.92/173.32	o 1894
176.92/173.32	o 1893
176.92/173.32	o 1892
176.92/173.32	o 1891
176.92/173.32	o 1890
176.92/173.32	o 1889
178.23/174.60	o 1888
178.23/174.68	o 1887
178.33/174.75	o 1886
178.33/174.76	o 1885
178.43/174.81	o 1884
178.43/174.82	o 1883
179.75/176.19	o 1882
182.46/178.82	o 1881
183.36/179.80	o 1879
183.36/179.80	o 1877
183.36/179.80	o 1876
183.46/179.80	o 1875
183.46/179.80	o 1871
183.46/179.80	o 1870
183.46/179.80	o 1869
183.46/179.80	o 1868
183.46/179.80	o 1867
183.46/179.80	o 1862
183.46/179.80	o 1861
183.46/179.80	o 1860
183.46/179.81	o 1815
183.46/179.81	o 1814
183.46/179.81	o 1813
183.46/179.81	o 1811
183.46/179.81	o 1810
183.46/179.81	o 1809
183.46/179.81	o 1808
183.46/179.81	o 1807
183.46/179.81	o 1806
183.46/179.81	o 1805
183.46/179.82	o 1804
183.46/179.82	o 1803
183.46/179.83	o 1802
183.57/179.94	o 1801
183.57/179.94	o 1800
183.57/179.94	o 1799
183.57/179.99	o 1798
183.68/180.01	o 1797
183.78/180.17	o 1796
184.07/180.47	o 1795
187.70/184.08	o 1794
191.84/188.18	o 1793
191.84/188.18	o 1792
191.84/188.18	o 1790
191.84/188.18	o 1788
191.84/188.18	o 1786
191.84/188.18	o 1783
191.84/188.18	o 1782
191.84/188.19	o 1780
191.84/188.19	o 1749
191.84/188.19	o 1730
191.84/188.19	o 1725
191.84/188.19	o 1724
191.84/188.19	o 1722
191.84/188.19	o 1720
191.93/188.20	o 1718
191.93/188.20	o 1716
191.93/188.21	o 1715
191.93/188.21	o 1714
191.93/188.22	o 1713
191.93/188.24	o 1712
192.13/188.43	o 1711
192.13/188.44	o 1710
192.23/188.55	o 1709
193.24/189.55	o 1708
193.54/189.85	o 1707
193.54/189.86	o 1706
193.54/189.88	o 1705
194.04/190.38	o 1704
194.04/190.38	o 1703
194.04/190.38	o 1702
194.04/190.38	o 1701
194.04/190.38	o 1700
194.04/190.38	o 1694
194.04/190.38	o 1693
194.04/190.38	o 1690
194.04/190.38	o 1689
194.04/190.38	o 1688
194.04/190.38	o 1687
194.04/190.38	o 1686
194.04/190.38	o 1685
194.04/190.38	o 1676
194.04/190.38	o 1675
194.04/190.38	o 1674
194.04/190.38	o 1673
194.04/190.38	o 1665
194.04/190.38	o 1664
194.04/190.38	o 1663
194.04/190.38	o 1662
194.04/190.38	o 1660
194.04/190.38	o 1659
194.04/190.38	o 1636
194.04/190.38	o 1635
194.04/190.38	o 1632
194.04/190.38	o 1631
194.04/190.38	o 1630
194.04/190.38	o 1629
194.04/190.38	o 1628
194.04/190.38	o 1627
194.04/190.38	o 1626
194.04/190.38	o 1625
194.04/190.38	o 1624
194.04/190.38	o 1623
194.04/190.39	o 1622
194.14/190.40	o 1621
194.14/190.40	o 1620
194.24/190.54	o 1619
194.24/190.54	o 1618
194.24/190.54	o 1617
194.44/190.75	o 1616
194.75/191.05	o 1615
195.55/191.88	o 1614
195.65/191.97	o 1613
195.65/191.98	o 1612
195.75/192.04	o 1611
195.75/192.04	o 1610
195.75/192.05	o 1609
195.75/192.05	o 1608
195.87/192.14	o 1607
196.16/192.48	o 1606
196.16/192.50	o 1605
196.16/192.50	o 1604
196.26/192.50	o 1603
196.26/192.50	o 1602
196.26/192.50	o 1601
196.26/192.55	o 1600
196.26/192.57	o 1599
196.26/192.59	o 1598
196.56/192.82	o 1596
196.56/192.82	o 1594
196.56/192.82	o 1591
196.56/192.82	o 1590
196.56/192.82	o 1589
196.56/192.82	o 1587
196.56/192.82	o 1586
196.56/192.82	o 1584
196.56/192.82	o 1583
196.56/192.82	o 1582
196.56/192.83	o 1571
196.56/192.83	o 1570
196.56/192.83	o 1564
196.56/192.83	o 1563
196.56/192.83	o 1557
196.56/192.83	o 1556
196.56/192.83	o 1555
196.56/192.84	o 1554
196.56/192.85	o 1553
196.66/192.91	o 1552
196.66/192.92	o 1551
196.77/193.02	o 1550
197.17/193.44	o 1549
197.37/193.60	o 1548
197.37/193.60	o 1547
197.67/193.97	o 1546
197.67/193.97	o 1545
197.67/193.97	o 1544
197.67/193.98	o 1543
197.78/194.04	o 1542
197.78/194.04	o 1541
198.58/194.83	o 1540
198.58/194.83	o 1538
198.58/194.83	o 1532
198.58/194.83	o 1531
198.58/194.83	o 1528
198.58/194.83	o 1526
198.58/194.83	o 1518
198.58/194.83	o 1517
198.58/194.83	o 1516
198.58/194.83	o 1511
198.58/194.84	o 1510
198.58/194.84	o 1507
198.58/194.84	o 1505
198.58/194.84	o 1504
198.58/194.84	o 1500
198.58/194.85	o 1499
198.58/194.86	o 1498
198.58/194.87	o 1497
198.58/194.87	o 1496
198.58/194.90	o 1495
198.68/194.93	o 1494
198.68/194.93	o 1493
198.68/194.93	o 1492
198.68/194.94	o 1491
198.68/194.97	o 1490
198.78/195.02	o 1489
198.78/195.02	o 1488
198.78/195.03	o 1487
199.08/195.38	o 1486
199.08/195.38	o 1485
199.08/195.39	o 1484
199.38/195.61	o 1475
199.38/195.61	o 1473
199.38/195.61	o 1470
199.38/195.61	o 1460
199.38/195.61	o 1456
199.38/195.61	o 1452
199.38/195.61	o 1449
199.38/195.61	o 1448
199.38/195.61	o 1446
199.38/195.62	o 1445
199.38/195.62	o 1444
199.38/195.62	o 1443
199.38/195.62	o 1442
199.38/195.63	o 1441
199.38/195.66	o 1440
199.38/195.67	o 1439
199.38/195.67	o 1438
199.38/195.67	o 1437
199.48/195.72	o 1436
199.58/195.89	o 1435
199.58/195.89	o 1434
200.39/196.67	o 1433
200.49/196.73	o 1432
201.91/198.19	o 1431
202.60/198.80	o 1430
202.60/198.80	o 1429
203.51/199.70	o 1428
203.51/199.74	o 1427
203.51/199.78	o 1426
203.71/199.96	o 1398
203.71/199.96	o 1396
203.71/199.96	o 1395
203.71/199.96	o 1394
203.71/199.96	o 1392
203.71/199.96	o 1390
203.71/199.96	o 1389
203.71/199.96	o 1385
203.71/199.97	o 1383
203.71/199.99	o 1382
203.71/199.99	o 1381
203.82/200.01	o 1380
203.82/200.02	o 1379
203.82/200.02	o 1378
205.33/201.56	o 1377
205.33/201.56	o 1376
205.33/201.56	o 1375
205.33/201.56	o 1374
205.33/201.56	o 1373
205.63/201.85	o 1372
207.34/203.58	o 1371
207.34/203.58	o 1370
207.34/203.58	o 1369
207.34/203.58	o 1368
207.34/203.58	o 1367
207.44/203.60	o 1364
207.44/203.61	o 1363
207.44/203.61	o 1362
207.44/203.61	o 1361
207.44/203.62	o 1360
207.44/203.62	o 1359
207.44/203.63	o 1358
207.44/203.66	o 1357
207.44/203.66	o 1356
207.44/203.66	o 1355
207.44/203.66	o 1354
207.44/203.68	o 1353
207.44/203.68	o 1352
207.54/203.73	o 1351
207.54/203.74	o 1350
207.54/203.74	o 1349
207.54/203.78	o 1348
207.54/203.78	o 1347
207.54/203.78	o 1346
207.75/204.00	o 1345
207.86/204.01	o 1344
207.86/204.01	o 1343
207.86/204.02	o 1342
207.96/204.19	o 1341
209.06/205.27	o 1287
209.06/205.27	o 1285
209.06/205.27	o 1284
209.06/205.27	o 1283
209.06/205.27	o 1282
209.06/205.27	o 1278
209.06/205.28	o 1276
209.06/205.28	o 1272
209.06/205.28	o 1271
209.06/205.28	o 1270
209.06/205.28	o 1268
209.06/205.28	o 1266
209.06/205.28	o 1265
209.06/205.28	o 1264
209.06/205.28	o 1263
209.06/205.28	o 1262
209.06/205.28	o 1261
209.06/205.28	o 1260
209.06/205.28	o 1259
209.06/205.28	o 1258
209.56/205.77	o 1257
209.56/205.79	o 1256
209.76/205.91	o 1255
209.97/206.11	o 1254
209.97/206.11	o 1253
209.97/206.12	o 1252
209.97/206.12	o 1251
209.97/206.15	o 1250
211.67/207.84	o 1249
211.67/207.84	o 1248
211.67/207.84	o 1247
212.28/208.49	o 1246
212.38/208.51	o 1245
213.08/209.21	o 1244
213.08/209.21	o 1243
213.08/209.21	o 1242
213.08/209.22	o 1241
213.28/209.46	o 1240
213.28/209.46	o 1238
213.48/209.69	o 1236
213.58/209.70	o 1235
213.69/209.89	o 1234
213.90/210.07	o 1233
214.00/210.13	o 1232
214.00/210.13	o 1231
214.09/210.25	o 1230
218.42/214.50	o 1229
224.87/220.92	o 1228
224.87/220.92	o 1227
224.99/221.09	o 1226
225.38/221.48	o 1225
225.88/221.98	o 1224
228.70/224.71	o 1223
228.70/224.71	o 1222
228.70/224.71	o 1221
228.70/224.71	o 1220
228.70/224.71	o 1218
228.70/224.71	o 1217
228.70/224.71	o 1215
228.70/224.71	o 1214
228.70/224.71	o 1213
228.70/224.71	o 1212
228.70/224.74	o 1211
228.70/224.74	o 1210
228.70/224.74	o 1209
228.70/224.76	o 1208
228.90/225.00	o 1206
228.90/225.00	o 1205
228.90/225.00	o 1199
228.90/225.00	o 1197
228.90/225.00	o 1192
228.90/225.00	o 1188
228.90/225.00	o 1187
228.90/225.00	o 1186
228.90/225.00	o 1185
228.90/225.00	o 1184
228.90/225.01	o 1183
229.01/225.01	o 1182
229.01/225.01	o 1181
229.01/225.02	o 1180
229.01/225.02	o 1179
229.01/225.02	o 1178
229.01/225.02	o 1177
229.01/225.03	o 1176
229.01/225.03	o 1175
229.20/225.24	o 1174
229.20/225.24	o 1173
229.20/225.25	o 1172
229.30/225.34	o 1171
229.30/225.34	o 1170
229.30/225.38	o 1168
229.61/225.60	o 1167
229.61/225.69	o 1165
229.71/225.72	o 1164
229.71/225.77	o 1163
230.02/226.05	o 1162
230.32/226.32	o 1161
230.32/226.32	o 1160
230.32/226.32	o 1159
230.32/226.32	o 1158
230.32/226.32	o 1157
230.32/226.34	o 1156
233.43/229.40	o 1152
233.43/229.40	o 1151
233.43/229.40	o 1149
233.43/229.40	o 1148
233.43/229.40	o 1145
233.43/229.40	o 1142
233.43/229.40	o 1141
233.43/229.40	o 1131
233.43/229.40	o 1130
233.43/229.40	o 1129
233.43/229.40	o 1127
233.43/229.40	o 1122
233.43/229.40	o 1115
233.43/229.40	o 1111
233.43/229.40	o 1110
233.43/229.40	o 1109
233.43/229.40	o 1108
233.43/229.41	o 1105
233.43/229.41	o 1104
233.43/229.41	o 1103
233.43/229.41	o 1102
233.43/229.43	o 1101
233.43/229.43	o 1100
233.43/229.43	o 1099
233.43/229.45	o 1098
233.43/229.45	o 1097
233.84/229.90	o 1096
233.94/229.95	o 1095
234.44/230.44	o 1094
234.54/230.53	o 1093
236.06/232.01	o 1092
236.06/232.01	o 1091
236.06/232.01	o 1090
236.06/232.01	o 1089
236.06/232.01	o 1088
236.06/232.01	o 1087
236.06/232.01	o 1086
236.06/232.01	o 1085
236.06/232.01	o 1084
236.06/232.01	o 1083
236.06/232.01	o 1079
236.06/232.01	o 1078
236.06/232.01	o 1077
236.06/232.01	o 1076
236.06/232.01	o 1075
236.06/232.01	o 1068
236.06/232.01	o 1067
236.06/232.02	o 1053
236.06/232.02	o 1052
236.06/232.02	o 1045
236.06/232.02	o 1041
236.06/232.02	o 1037
236.06/232.02	o 1034
236.06/232.02	o 1032
236.06/232.02	o 1029
236.06/232.03	o 1028
236.06/232.03	o 1027
236.06/232.03	o 1026
236.06/232.03	o 1025
236.06/232.03	o 1024
236.06/232.05	o 1023
236.06/232.08	o 1022
236.06/232.09	o 1021
236.06/232.09	o 1020
236.16/232.14	o 1017
236.16/232.16	o 1016
236.16/232.17	o 1014
237.56/233.59	o 1012
237.67/233.60	o 1010
237.67/233.68	o 1009
237.87/233.84	o 1008
237.97/233.95	o 1007
237.97/233.96	o 1006
237.97/233.96	o 1005
238.08/234.06	o 1004
238.18/234.13	o 1002
238.18/234.13	o 1001
238.18/234.13	o 999
238.47/234.48	o 998
239.19/235.11	o 997
239.19/235.11	o 996
240.40/236.31	o 995
240.40/236.32	o 994
240.40/236.35	o 993
240.40/236.35	o 992
240.40/236.36	o 991
240.40/236.37	o 990
240.40/236.38	o 989
240.40/236.38	o 988
240.50/236.44	o 987
240.50/236.46	o 986
240.60/236.52	o 985
241.71/237.65	o 984
241.71/237.67	o 983
241.71/237.68	o 982
241.81/237.75	o 981
242.42/238.38	o 980
242.42/238.38	o 979
242.42/238.38	o 978
292.97/288.56	o 977
292.97/288.56	o 976
293.78/289.33	o 975
293.78/289.33	o 974
293.98/289.57	o 973
293.98/289.59	o 972
294.28/289.86	o 971
294.28/289.86	o 970
294.28/289.89	o 969
294.28/289.89	o 968
302.25/297.75	o 967
302.25/297.75	o 966
302.25/297.76	o 965
317.56/312.99	o 964
317.67/313.01	o 963
317.67/313.01	o 962
317.67/313.02	o 961
317.67/313.02	o 960
317.67/313.02	o 959
317.67/313.06	o 958
318.16/313.58	o 957
318.16/313.58	o 956
326.31/321.62	o 955
326.31/321.62	o 954
548.00/541.60	o 953
548.00/541.60	o 952
548.00/541.63	o 951
548.00/541.68	o 950
548.60/542.28	o 949
548.80/542.42	o 948
548.80/542.47	o 947
550.10/543.74	o 946
550.10/543.74	o 944
550.10/543.74	o 943
550.10/543.74	o 942
550.10/543.74	o 941
550.10/543.74	o 940
550.10/543.75	o 939
550.10/543.75	o 938
550.10/543.75	o 936
550.10/543.75	o 935
550.10/543.75	o 934
550.10/543.75	o 933
550.10/543.75	o 932
550.10/543.75	o 931
550.10/543.76	o 930
550.10/543.78	o 929
550.10/543.78	o 928
550.10/543.79	o 927
550.10/543.79	o 926
550.10/543.79	o 925
550.10/543.79	o 922
550.10/543.79	o 921
550.10/543.79	o 920
550.20/543.82	o 919
550.20/543.88	o 918
550.20/543.88	o 917
550.20/543.88	o 916
550.20/543.88	o 915
550.31/543.95	o 914
550.42/544.04	o 913
550.42/544.05	o 912
550.42/544.05	o 911
550.61/544.25	o 910
550.61/544.25	o 909
550.81/544.41	o 908
550.91/544.59	o 907
551.31/545.00	o 906
551.31/545.00	o 905
554.03/547.67	o 904
554.03/547.67	o 903
554.84/548.46	o 902
554.84/548.47	o 901
554.84/548.47	o 900
556.25/549.89	o 899
557.37/551.00	o 898
598.13/591.43	o 897
622.31/615.40	o 896
623.63/616.73	o 895
623.63/616.74	o 894
624.64/617.76	o 893
625.65/618.72	o 891
625.65/618.74	o 890
625.65/618.74	o 889
638.76/631.74	o 888
638.76/631.74	o 885
638.76/631.75	o 884
638.76/631.75	o 883
638.76/631.75	o 882
638.86/631.80	o 881
638.86/631.80	o 880
638.86/631.80	o 879
638.86/631.80	o 878
638.86/631.81	o 877
638.86/631.81	o 876
642.19/635.15	o 875
644.81/637.71	o 874
682.70/675.39	o 873
682.70/675.39	o 872
682.70/675.39	o 869
682.70/675.39	o 863
682.70/675.39	o 848
682.70/675.39	o 847
682.70/675.39	o 839
682.70/675.39	o 838
682.70/675.39	o 836
682.70/675.39	o 835
682.70/675.40	o 834
682.70/675.40	o 832
682.80/675.40	o 831
682.80/675.42	o 824
682.80/675.42	o 823
682.80/675.42	o 819
682.80/675.42	o 818
682.80/675.42	o 817
682.80/675.47	o 816
682.91/675.52	o 814
682.91/675.57	o 813
683.31/675.95	o 812
686.83/679.49	o 811
686.83/679.50	o 810
686.83/679.50	o 809
686.83/679.50	o 808
686.83/679.50	o 807
686.93/679.50	o 806
686.93/679.50	o 805
686.93/679.51	o 804
686.93/679.51	o 803
686.93/679.51	o 802
686.93/679.51	o 801
686.93/679.52	o 800
686.93/679.53	o 799
686.93/679.53	o 798
686.93/679.53	o 797
686.93/679.53	o 796
686.93/679.53	o 795
686.93/679.54	o 794
686.93/679.54	o 793
689.25/681.81	o 792
689.25/681.81	o 791
693.20/685.72	o 790
693.20/685.72	o 789
693.20/685.73	o 788
693.81/686.31	o 787
694.01/686.56	o 786
694.21/686.77	o 785
694.21/686.77	o 784
694.21/686.79	o 783
694.41/686.90	o 782
701.18/693.60	o 781
701.48/693.99	o 780
701.59/694.06	o 779
2400.03/2378.01	s SATISFIABLE
2400.03/2378.01	v <instantiation>
2400.03/2378.01	v 	<list>
2400.03/2378.01	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124]
2400.03/2378.01	v 	</list>
2400.03/2378.01	v 	<values>
2400.03/2378.01	v 		2 4 0 0 1 2 1 3 3 0 1 0 5 8 0 3 0 2 0 3 0 1 3 1 1 0 1 2 0 3 71 3 2 1 2 0 0 3 7 1 10 4 1 0 2 3 1 2 5 0 38 1 1 4 3 1 4 31 1 2 2 6 44 1 5 4 3 3 7 0 0 2 7 6 1 0 4 0 1 4 1 3 6 6 0 0 1 7 0 3 97 2 110 2 1 0 2 2 2 1 0 2 4 1 2 27 0 0 0 1 0 2 4 1 26 2 1 93 4 3 0 3 0 0 3 
2400.03/2378.01	v 	</values>
2400.03/2378.01	v </instantiation>

Verifier Data 

OK	779

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290459-1532236146/watcher-4290459-1532236146 -o /tmp/evaluation-result-4290459-1532236146/solver-4290459-1532236146 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532226532-30726 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 957342747 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290459-1532236146.xml 

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

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

solver pid=31849, runsolver pid=31846

[startup+0.104807 s]*
/proc/loadavg: 1.10 1.29 1.31 4/218 31864
/proc/meminfo: memFree=20795436/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14082740 memory=31884 CPUtime=0.12 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 6847 0 0 0 11 1 0 0 20 0 15 0 41177763 14420725760 7971 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3520685 7971 3166 1 0 3482761 0
[pid=31849/tid=31851] ppid=31846 vsize=14082740 memory=-8701690554792185211 CPUtime=0.1 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 4927 0 0 0 9 1 0 0 20 0 15 0 41177763 14420725760 7971 33554432000 4194304 4196468 140725461963264 140077346824848 140077322884850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 7971 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 7971 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 7971 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 7971 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41177765 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41177766 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076883522720 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41177766 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076882469616 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 30695 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076880366320 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0.01 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 30695 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 41177768 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076878260720 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 8037 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31884 KiB

[startup+0.210859 s]*
/proc/loadavg: 1.10 1.29 1.31 6/218 31864
/proc/meminfo: memFree=20780268/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14082740 memory=46896 CPUtime=0.3 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 10382 0 0 0 27 3 0 0 20 0 15 0 41177763 14420725760 11724 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3520685 11724 3367 1 0 3482761 0
[pid=31849/tid=31851] ppid=31846 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 8085 0 0 0 18 2 0 0 20 0 15 0 41177763 14420725760 11724 33554432000 4194304 4196468 140725461963264 140077346838880 140077342621078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14082740 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 11724 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14082740 memory=3474726678433007264 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41177765 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41177766 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076883522720 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41177766 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076882469616 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) R 31846 31849 30695 0 -1 4202560 461 0 0 0 2 0 0 0 20 0 15 0 41177768 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076880366320 140077324153686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 15 0 41177768 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0.05 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) R 31846 31849 30695 0 -1 4202560 313 0 0 0 5 0 0 0 20 0 15 0 41177768 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076878258608 140077321248512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 11724 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46896 KiB

[startup+0.310644 s]*
/proc/loadavg: 1.10 1.29 1.31 4/218 31864
/proc/meminfo: memFree=20776980/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14082740 memory=50712 CPUtime=0.44 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 10777 0 0 0 41 3 0 0 20 0 15 0 41177763 14420725760 12678 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3520685 12678 3377 1 0 3482761 0
[pid=31849/tid=31851] ppid=31846 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 8448 0 0 0 28 2 0 0 20 0 15 0 41177763 14420725760 12678 33554432000 4194304 4196468 140725461963264 140077346816976 140077324172707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14082740 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 12678 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14082740 memory=4123525400239441568 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41177764 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41177765 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41177766 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076883522720 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41177766 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076882469616 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 30695 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 41177768 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076880366320 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 41177768 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0.07 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 30695 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 41177768 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076878260720 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14082740 memory=139946636510848 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177768 14420725760 12678 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50712 KiB

[startup+0.700702 s]
/proc/loadavg: 1.10 1.29 1.31 3/218 31864
/proc/meminfo: memFree=20752424/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14084808 memory=88836 CPUtime=0.99 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 17640 0 0 0 94 5 0 0 20 0 15 0 41177763 14422843392 22209 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3521202 22209 3499 1 0 3483273 0
[pid=31849/tid=31851] ppid=31846 vsize=14084808 memory=276766954393551 CPUtime=0.67 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 14895 0 0 0 64 3 0 0 20 0 15 0 41177763 14422843392 22209 33554432000 4194304 4196468 140725461963264 140077346824048 140077322797680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14084808 memory=175223 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14422843392 22209 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14084808 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41177764 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41177765 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14084808 memory=-6870344067423822689 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41177766 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076883522720 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14084808 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41177766 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076882469616 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14084808 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14084808 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 30695 0 -1 1077944384 637 0 0 0 7 0 0 0 20 0 15 0 41177768 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076880366320 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 299 0 0 0 7 0 0 0 20 0 15 0 41177768 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) R 31846 31849 30695 0 -1 4202560 428 0 0 0 15 0 0 0 20 0 15 0 41177768 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076878260720 140077342621078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14084808 memory=8932 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177768 14422843392 22209 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88836 KiB

[startup+1.50082 s]
/proc/loadavg: 1.10 1.29 1.31 4/218 31864
/proc/meminfo: memFree=20719108/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14090952 memory=157236 CPUtime=2.97 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 29493 0 0 0 290 7 0 0 20 0 15 0 41177763 14429134848 39309 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3522738 39309 3545 1 0 3484809 0
[pid=31849/tid=31851] ppid=31846 vsize=14090952 memory=3303 CPUtime=1.47 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 20571 0 0 0 142 5 0 0 20 0 15 0 41177763 14429134848 39309 33554432000 4194304 4196468 140725461963264 140077346838384 140077342630973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14090952 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14429134848 39309 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14429134848 39309 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41177764 14429134848 39309 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41177764 14429134848 39309 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 41177765 14429134848 39309 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0

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

/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 43202 0 0 0 218956 19 0 0 20 0 15 0 41177763 14429134848 96953 33554432000 4194304 4196468 140725461963264 140077346847248 140076960942519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14090952 memory=4132 CPUtime=6.17 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 7681 0 0 0 583 34 0 0 20 0 15 0 41177764 14429134848 96953 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14090952 memory=385764 CPUtime=6.17 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 8253 0 0 0 588 29 0 0 20 0 15 0 41177764 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14090952 memory=279892953922656 CPUtime=6.18 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 10101 0 0 0 587 31 0 0 20 0 15 0 41177764 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14090952 memory=385764 CPUtime=6.18 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 6632 0 0 0 585 33 0 0 20 0 15 0 41177764 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14090952 memory=387812 CPUtime=4.31 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 7085 0 0 0 405 26 0 0 20 0 15 0 41177765 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14090952 memory=387812 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076883522784 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14090952 memory=387812 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076882469632 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14090952 memory=387812 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14090952 memory=385764 CPUtime=1.01 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 30695 0 -1 1077944384 3668 0 0 0 100 1 0 0 20 0 15 0 41177768 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076880366320 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14090952 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 3911 0 0 0 92 1 0 0 20 0 15 0 41177768 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14090952 memory=387812 CPUtime=0.79 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 30695 0 -1 1077944384 14176 0 0 0 77 2 0 0 20 0 15 0 41177768 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076878260720 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14090952 memory=387812 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14090952 memory=387812 CPUtime=1.03 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1156 0 0 0 51 52 0 0 20 0 15 0 41177768 14429134848 96953 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 2222.61 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 387812 KiB

[startup+2262.3 s]
/proc/loadavg: 1.27 1.31 1.36 3/219 31941
/proc/meminfo: memFree=20292364/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14090952 memory=393960 CPUtime=2283.19 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 108815 0 0 0 228124 195 0 0 20 0 15 0 41177763 14429134848 98490 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3522738 98490 3578 1 0 3484809 0
[pid=31849/tid=31851] ppid=31846 vsize=14090952 memory=391912 CPUtime=2249.38 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 43824 0 0 0 224919 19 0 0 20 0 15 0 41177763 14429134848 98490 33554432000 4194304 4196468 140725461963264 140077346847344 140076960646298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14090952 memory=391912 CPUtime=6.38 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 7808 0 0 0 603 35 0 0 20 0 15 0 41177764 14429134848 98490 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14090952 memory=4132 CPUtime=6.37 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 8361 0 0 0 607 30 0 0 20 0 15 0 41177764 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14090952 memory=391912 CPUtime=6.38 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 10417 0 0 0 606 32 0 0 20 0 15 0 41177764 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14090952 memory=391912 CPUtime=6.38 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 6800 0 0 0 604 34 0 0 20 0 15 0 41177764 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14090952 memory=393960 CPUtime=4.43 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 7255 0 0 0 416 27 0 0 20 0 15 0 41177765 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076883522784 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14090952 memory=391912 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076882469632 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14090952 memory=391912 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14090952 memory=4132 CPUtime=1.01 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 30695 0 -1 1077944384 3670 0 0 0 100 1 0 0 20 0 15 0 41177768 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076880366320 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14090952 memory=14428 CPUtime=0.93 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 3913 0 0 0 92 1 0 0 20 0 15 0 41177768 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14090952 memory=391912 CPUtime=0.79 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 30695 0 -1 1077944384 14178 0 0 0 77 2 0 0 20 0 15 0 41177768 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076878260720 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14090952 memory=391912 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14090952 memory=391912 CPUtime=1.06 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1172 0 0 0 53 53 0 0 20 0 15 0 41177768 14429134848 98490 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 2283.19 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 393960 KiB

[startup+2322.3 s]
/proc/loadavg: 1.37 1.33 1.36 3/219 32018
/proc/meminfo: memFree=20419804/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14090952 memory=398056 CPUtime=2343.77 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 110186 0 0 0 234176 201 0 0 20 0 15 0 41177763 14429134848 99514 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3522738 99514 3578 1 0 3484809 0
[pid=31849/tid=31851] ppid=31846 vsize=14090952 memory=393960 CPUtime=2309.02 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 44297 0 0 0 230882 20 0 0 20 0 15 0 41177763 14429134848 99514 33554432000 4194304 4196468 140725461963264 140077346847184 140076960483160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14090952 memory=393960 CPUtime=6.57 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 7912 0 0 0 621 36 0 0 20 0 15 0 41177764 14429134848 99514 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14090952 memory=396008 CPUtime=6.57 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 8650 0 0 0 626 31 0 0 20 0 15 0 41177764 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14090952 memory=398056 CPUtime=6.57 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 10587 0 0 0 625 32 0 0 20 0 15 0 41177764 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14090952 memory=398056 CPUtime=6.57 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 6942 0 0 0 623 34 0 0 20 0 15 0 41177764 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14090952 memory=398056 CPUtime=4.55 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 7427 0 0 0 427 28 0 0 20 0 15 0 41177765 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14090952 memory=398056 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076883522784 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14090952 memory=396008 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076882469632 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14090952 memory=18472 CPUtime=1.01 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 30695 0 -1 1077944384 3672 0 0 0 100 1 0 0 20 0 15 0 41177768 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076880366320 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14090952 memory=398056 CPUtime=0.93 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 3915 0 0 0 92 1 0 0 20 0 15 0 41177768 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14090952 memory=398056 CPUtime=0.79 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 30695 0 -1 1077944384 14180 0 0 0 77 2 0 0 20 0 15 0 41177768 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076878260720 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14090952 memory=398056 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14090952 memory=796 CPUtime=1.09 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1187 0 0 0 54 55 0 0 20 0 15 0 41177768 14429134848 99514 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 2343.77 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 398056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378 s]*
/proc/loadavg: 1.37 1.34 1.36 3/219 32019
/proc/meminfo: memFree=20422976/32770624 swapFree=67108860/67108860
[pid=31849] ppid=31846 vsize=14090952 memory=402152 CPUtime=2400.03 cores=0,2,4,6
/proc/31849/stat : 31849 (java) S 31846 31849 30695 0 -1 1077944320 111681 0 0 0 239799 204 0 0 20 0 15 0 41177763 14429134848 100538 33554432000 4194304 4196468 140725461963264 140725461945808 140077342609143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
/proc/31849/statm: 3522738 100538 3578 1 0 3484809 0
[pid=31849/tid=31851] ppid=31846 vsize=14090952 memory=6791534058613427641 CPUtime=2364.37 cores=0,2,4,6
/proc/31849/task/31851/stat : 31851 (java) R 31846 31849 30695 0 -1 4202560 44897 0 0 0 236417 20 0 0 20 0 15 0 41177763 14429134848 100538 33554432000 4194304 4196468 140725461963264 140077346847232 140076960482970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31852] ppid=31846 vsize=14090952 memory=2340 CPUtime=6.77 cores=0,2,4,6
/proc/31849/task/31852/stat : 31852 (java) S 31846 31849 30695 0 -1 1077944384 8122 0 0 0 640 37 0 0 20 0 15 0 41177764 14429134848 100538 33554432000 4194304 4196468 140725461963264 140077272697872 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31853] ppid=31846 vsize=14090952 memory=1584 CPUtime=6.75 cores=0,2,4,6
/proc/31849/task/31853/stat : 31853 (java) S 31846 31849 30695 0 -1 1077944384 8773 0 0 0 644 31 0 0 20 0 15 0 41177764 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076937559184 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31854] ppid=31846 vsize=14090952 memory=928 CPUtime=6.77 cores=0,2,4,6
/proc/31849/task/31854/stat : 31854 (java) S 31846 31849 30695 0 -1 1077944384 10710 0 0 0 644 33 0 0 20 0 15 0 41177764 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076936506128 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31855] ppid=31846 vsize=14090952 memory=2236 CPUtime=6.77 cores=0,2,4,6
/proc/31849/task/31855/stat : 31855 (java) S 31846 31849 30695 0 -1 1077944384 7188 0 0 0 642 35 0 0 20 0 15 0 41177764 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076935453584 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31856] ppid=31846 vsize=14090952 memory=4128 CPUtime=4.66 cores=0,2,4,6
/proc/31849/task/31856/stat : 31856 (java) S 31846 31849 30695 0 -1 1077944384 7599 0 0 0 438 28 0 0 20 0 15 0 41177765 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076884576496 140077342620290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31857] ppid=31846 vsize=14090952 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31857/stat : 31857 (java) S 31846 31849 30695 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076883522784 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31858] ppid=31846 vsize=14090952 memory=7288 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31858/stat : 31858 (java) S 31846 31849 30695 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 41177766 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076882469632 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31859] ppid=31846 vsize=14090952 memory=840 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31859/stat : 31859 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076881418192 140077342627739 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31860] ppid=31846 vsize=14090952 memory=1796 CPUtime=1.01 cores=0,2,4,6
/proc/31849/task/31860/stat : 31860 (java) S 31846 31849 30695 0 -1 1077944384 3674 0 0 0 100 1 0 0 20 0 15 0 41177768 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076880366320 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31861] ppid=31846 vsize=14090952 memory=912 CPUtime=0.93 cores=0,2,4,6
/proc/31849/task/31861/stat : 31861 (java) S 31846 31849 30695 0 -1 1077944384 3917 0 0 0 92 1 0 0 20 0 15 0 41177768 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076879313776 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31862] ppid=31846 vsize=14090952 memory=4132 CPUtime=0.79 cores=0,2,4,6
/proc/31849/task/31862/stat : 31862 (java) S 31846 31849 30695 0 -1 1077944384 14182 0 0 0 77 2 0 0 20 0 15 0 41177768 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076878260720 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31863] ppid=31846 vsize=14090952 memory=14428 CPUtime=0 cores=0,2,4,6
/proc/31849/task/31863/stat : 31863 (java) S 31846 31849 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41177768 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076877208416 140077342619349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
[pid=31849/tid=31864] ppid=31846 vsize=14090952 memory=1292 CPUtime=1.12 cores=0,2,4,6
/proc/31849/task/31864/stat : 31864 (java) S 31846 31849 30695 0 -1 1077944384 1202 0 0 0 56 56 0 0 20 0 15 0 41177768 14429134848 100538 33554432000 4194304 4196468 140725461963264 140076876155440 140077342620290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 10330112 140725461967945 140725461968137 140725461968137 140725461970895 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 402152 KiB

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

[startup+2378.02 s]
# the end of solver process 31849 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.01 s, system=2.04371 s

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

Child status: 143
Real time (s): 2378.02
CPU time (s): 2400.05
CPU user time (s): 2398.01
CPU system time (s): 2.04371
CPU usage (%): 100.926
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 402152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.01
system time used= 2.04371
maximum resident set size= 402712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 179129
involuntary context switches= 5316


# summary of solver processes directly reported to runsolver:
#   pid: 31849
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2398.01
#   total CPU system time (s): 2.04371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6279 second user time and 22.662 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-22 07:09:06
IDJOB=4290459
IDBENCH=141215
IDSOLVER=2743
FILE ID=node132/4290459-1532236146
RUNJOBID= node132-1532226532-30726
PBS_JOBID= 21018953
Free space on /tmp= 55092 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
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-4290459-1532236146/watcher-4290459-1532236146 -o /tmp/evaluation-result-4290459-1532236146/solver-4290459-1532236146 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532226532-30726 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 957342747 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290459-1532236146.xml

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

MD5SUM BENCH= e8035d4b0abecbc1a78dd1ff35d13fe4
RANDOM SEED=957342747

node132.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.65
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.65
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.65
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.65
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:        20812804 kB
MemAvailable:   31781184 kB
Buffers:          233520 kB
Cached:         10886056 kB
SwapCached:            0 kB
Active:          2181276 kB
Inactive:        9149024 kB
Active(anon):     213668 kB
Inactive(anon):    17036 kB
Active(file):    1967608 kB
Inactive(file):  9131988 kB
Unevictable:        6988 kB
Mlocked:            6988 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35684 kB
Writeback:             0 kB
AnonPages:        301824 kB
Mapped:            49088 kB
Shmem:             17056 kB
Slab:             325228 kB
SReclaimable:     297244 kB
SUnreclaim:        27984 kB
KernelStack:        3872 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1188596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55060 MiB
End job on node132 at 2018-07-22 07:48:44