Trace number 4310115

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)17293 252.051 245.325

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-5_c18.xml
MD5SUM6d15d8403aebe79e9693643b2fca1a5e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3949
Best CPU time to get the best result obtained on this benchmark252
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints15668
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree102
Maximum variable degree148
Distribution of variable degrees[{"degree":102,"count":1},{"degree":110,"count":3},{"degree":111,"count":2},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":3},{"degree":115,"count":5},{"degree":116,"count":6},{"degree":117,"count":8},{"degree":118,"count":7},{"degree":119,"count":9},{"degree":120,"count":8},{"degree":121,"count":9},{"degree":122,"count":12},{"degree":123,"count":12},{"degree":124,"count":14},{"degree":125,"count":10},{"degree":126,"count":12},{"degree":127,"count":17},{"degree":128,"count":13},{"degree":129,"count":14},{"degree":130,"count":13},{"degree":131,"count":6},{"degree":132,"count":11},{"degree":133,"count":6},{"degree":134,"count":10},{"degree":135,"count":2},{"degree":136,"count":6},{"degree":137,"count":7},{"degree":138,"count":1},{"degree":139,"count":4},{"degree":140,"count":4},{"degree":141,"count":1},{"degree":142,"count":1},{"degree":143,"count":1},{"degree":144,"count":3},{"degree":145,"count":2},{"degree":146,"count":1},{"degree":148,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15668}]
Number of extensional constraints0
Number of intensional constraints15668
Distribution of constraint types[{"type":"intension","count":15668}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.57	c version: 2018-08-14
0.68/0.57	c seed: 1862686862
0.68/0.57	c timeout: 252
0.68/0.57	c memlimit: 11000
0.68/0.57	c nbcore: 4
0.68/0.59	c Parsing instance...
6.73/2.67	c Parsing done, starting search...
7.40/2.89	o 32294
8.02/3.03	o 32169
8.02/3.04	o 32114
8.02/3.04	o 32072
8.02/3.04	o 32067
8.02/3.04	o 32066
8.02/3.04	o 32051
8.02/3.04	o 32034
8.02/3.04	o 32033
8.02/3.04	o 32020
8.02/3.04	o 32017
8.02/3.04	o 32016
8.02/3.04	o 32014
8.02/3.04	o 32013
8.02/3.04	o 32012
8.02/3.05	o 32006
8.02/3.05	o 32002
8.02/3.05	o 31998
8.02/3.05	o 31997
8.02/3.05	o 31996
8.02/3.05	o 31991
8.02/3.05	o 31989
8.02/3.06	o 31988
8.02/3.06	o 31985
8.02/3.06	o 31984
8.02/3.06	o 31920
8.02/3.06	o 31919
8.02/3.06	o 31847
8.02/3.06	o 31846
8.02/3.06	o 31827
8.02/3.06	o 31826
8.02/3.06	o 31825
8.02/3.06	o 31824
8.02/3.07	o 31823
8.02/3.07	o 31822
8.02/3.07	o 31816
8.02/3.07	o 31810
8.02/3.07	o 31809
8.02/3.07	o 31808
8.02/3.07	o 31802
8.02/3.07	o 31801
8.02/3.07	o 31800
8.02/3.07	o 31765
8.02/3.08	o 31747
8.02/3.08	o 31745
8.02/3.08	o 31730
8.02/3.08	o 31729
8.02/3.08	o 31728
8.02/3.08	o 31727
8.02/3.08	o 31720
8.02/3.08	o 31717
8.02/3.08	o 31716
8.02/3.08	o 31613
8.02/3.08	o 31610
8.02/3.09	o 31609
8.02/3.09	o 31484
8.02/3.09	o 31483
8.02/3.09	o 31482
8.02/3.09	o 31481
8.02/3.09	o 31480
8.02/3.09	o 31472
8.02/3.09	o 31471
8.02/3.10	o 31470
8.02/3.10	o 31397
8.02/3.10	o 31396
8.02/3.10	o 31395
8.02/3.10	o 31358
8.02/3.10	o 31357
8.02/3.10	o 31356
8.02/3.11	o 31328
8.34/3.11	o 31327
8.34/3.11	o 31285
8.34/3.11	o 31284
8.34/3.11	o 31281
8.34/3.11	o 31280
8.34/3.12	o 31188
8.34/3.12	o 31187
8.34/3.12	o 31169
8.34/3.12	o 31168
8.34/3.12	o 31165
8.34/3.12	o 31161
8.34/3.13	o 31160
8.34/3.13	o 31159
8.34/3.13	o 31158
8.34/3.13	o 31156
8.34/3.13	o 31154
8.34/3.13	o 31153
8.34/3.14	o 31151
8.34/3.14	o 31149
8.34/3.14	o 31147
8.34/3.15	o 31146
8.34/3.15	o 31145
8.34/3.15	o 31144
8.34/3.16	o 31143
8.34/3.16	o 31142
8.34/3.17	o 31138
8.34/3.17	o 31134
8.34/3.17	o 31133
8.34/3.17	o 31132
8.34/3.18	o 31129
8.34/3.18	o 31126
8.34/3.18	o 31120
8.34/3.18	o 31118
8.34/3.18	o 31115
8.34/3.18	o 31111
8.34/3.18	o 31084
8.34/3.19	o 31083
8.34/3.19	o 31082
8.34/3.19	o 31081
8.34/3.19	o 31080
8.58/3.21	o 31063
8.58/3.21	o 31061
8.58/3.21	o 31059
8.58/3.21	o 31045
8.58/3.21	o 31043
8.58/3.21	o 31041
8.58/3.21	o 31033
8.58/3.21	o 31029
8.58/3.21	o 30971
8.58/3.21	o 30969
8.58/3.21	o 30967
8.58/3.21	o 30961
8.58/3.21	o 30951
8.58/3.21	o 30947
8.58/3.22	o 30946
8.58/3.22	o 30945
8.58/3.22	o 30871
8.58/3.22	o 30870
8.58/3.22	o 30869
8.58/3.22	o 30867
8.58/3.22	o 30866
8.58/3.22	o 30865
8.58/3.22	o 30864
8.58/3.22	o 30863
8.58/3.22	o 30862
8.58/3.22	o 30846
8.58/3.23	o 30845
8.58/3.23	o 30844
8.58/3.23	o 30843
8.58/3.23	o 30842
8.58/3.23	o 30841
8.58/3.25	o 30840
8.80/3.33	o 30832
8.80/3.33	o 30831
8.80/3.33	o 30830
8.80/3.33	o 30829
8.80/3.33	o 30828
8.80/3.33	o 30810
8.80/3.33	o 30807
8.80/3.33	o 30803
8.80/3.33	o 30800
8.80/3.33	o 30798
8.80/3.33	o 30795
8.80/3.33	o 30794
8.80/3.33	o 30793
8.80/3.33	o 30792
8.80/3.33	o 30701
8.80/3.33	o 30700
8.80/3.34	o 30696
8.80/3.34	o 30695
8.80/3.34	o 30690
8.80/3.34	o 30689
8.80/3.34	o 30688
8.80/3.34	o 30687
8.80/3.34	o 30686
8.80/3.34	o 30685
8.80/3.34	o 30684
8.80/3.34	o 30683
8.80/3.34	o 30681
8.80/3.34	o 30680
8.80/3.34	o 30679
8.80/3.35	o 30678
8.80/3.35	o 30677
8.80/3.35	o 30676
8.80/3.35	o 30675
8.80/3.36	o 30674
8.80/3.36	o 30672
8.80/3.36	o 30671
8.80/3.37	o 30670
8.97/3.43	o 30669
8.97/3.43	o 30668
8.97/3.45	o 30667
8.97/3.46	o 30666
8.97/3.46	o 30664
8.97/3.46	o 30663
8.97/3.46	o 30662
8.97/3.46	o 30656
8.97/3.46	o 30653
8.97/3.46	o 30649
8.97/3.46	o 30645
8.97/3.46	o 30644
8.97/3.47	o 30643
8.97/3.47	o 30642
8.97/3.47	o 30641
8.97/3.47	o 30640
8.97/3.47	o 30639
8.97/3.47	o 30638
8.97/3.47	o 30636
8.97/3.47	o 30635
8.97/3.47	o 30634
8.97/3.47	o 30633
8.97/3.48	o 30631
8.97/3.48	o 30627
9.21/3.69	o 30626
9.41/3.80	o 30624
9.41/3.84	o 30623
9.41/3.84	o 30621
9.41/3.84	o 30620
9.54/3.95	o 30616
9.54/3.96	o 30613
9.54/3.96	o 30610
9.54/3.96	o 30608
9.54/3.96	o 30606
9.54/3.96	o 30598
9.54/3.96	o 30594
9.54/3.96	o 30592
9.54/3.96	o 30579
9.54/3.96	o 30568
9.54/3.96	o 30562
9.54/3.96	o 30559
9.54/3.96	o 30556
9.54/3.96	o 30555
9.54/3.96	o 30553
9.54/3.96	o 30551
9.54/3.96	o 30546
9.54/3.96	o 30545
9.54/3.96	o 30542
9.54/3.96	o 30536
9.54/3.96	o 30530
9.54/3.96	o 30511
9.54/3.96	o 30493
9.54/3.96	o 30459
9.54/3.96	o 30447
9.54/3.96	o 30436
9.54/3.96	o 30432
9.54/3.96	o 30431
9.54/3.97	o 30429
9.54/3.97	o 30424
9.54/3.97	o 30405
9.54/3.97	o 30402
9.54/3.97	o 30400
9.54/3.97	o 30398
9.54/3.97	o 30387
9.54/3.97	o 30384
9.54/3.97	o 30380
9.54/3.97	o 30375
9.54/3.97	o 30372
9.54/3.97	o 30368
9.54/3.97	o 30360
9.54/3.97	o 30356
9.54/3.98	o 30355
9.54/3.98	o 30353
9.54/3.98	o 30351
9.54/3.98	o 30348
9.54/3.98	o 30347
9.54/3.98	o 30346
9.54/3.98	o 30344
9.54/3.98	o 30178
9.54/3.98	o 30174
9.54/3.98	o 30173
9.54/3.98	o 30171
9.54/3.98	o 30120
9.54/3.98	o 30117
9.54/3.98	o 30113
9.54/3.99	o 30112
9.54/3.99	o 30107
9.54/3.99	o 30105
9.54/3.99	o 30103
9.54/3.99	o 30101
9.54/3.99	o 30085
9.54/3.99	o 30080
9.54/3.99	o 30078
9.54/4.00	o 30030
9.54/4.00	o 30028
9.54/4.00	o 30025
9.54/4.00	o 30023
9.54/4.00	o 29963
9.54/4.00	o 29957
9.54/4.00	o 29944
9.54/4.00	o 29931
9.54/4.00	o 29923
9.54/4.00	o 29921
9.73/4.01	o 29916
9.73/4.01	o 29914
9.73/4.01	o 29911
9.73/4.01	o 29892
9.73/4.01	o 29876
9.73/4.01	o 29874
9.73/4.01	o 29859
9.73/4.01	o 29854
9.73/4.01	o 29843
9.73/4.02	o 29841
9.73/4.02	o 29839
9.73/4.02	o 29837
9.73/4.02	o 29834
9.73/4.02	o 29832
9.73/4.02	o 29815
9.73/4.02	o 29813
9.73/4.02	o 29810
9.73/4.02	o 29808
9.73/4.02	o 29804
9.73/4.02	o 29802
9.73/4.05	o 29800
9.73/4.05	o 29797
9.73/4.05	o 29796
9.73/4.05	o 29793
9.73/4.05	o 29789
9.73/4.05	o 29788
9.73/4.05	o 29785
9.73/4.05	o 29783
9.73/4.05	o 29780
9.73/4.05	o 29773
9.73/4.05	o 29766
9.73/4.05	o 29746
9.73/4.05	o 29734
9.73/4.06	o 29732
9.73/4.06	o 29728
9.73/4.06	o 29726
9.73/4.06	o 29722
9.73/4.06	o 29720
9.73/4.07	o 29718
9.73/4.07	o 29717
9.73/4.07	o 29712
9.88/4.11	o 29708
9.88/4.11	o 29699
9.88/4.11	o 29698
9.88/4.11	o 29696
9.88/4.11	o 29675
9.98/4.22	o 29674
10.13/4.39	o 29639
10.13/4.40	o 29629
10.13/4.40	o 29625
10.13/4.40	o 29614
10.13/4.40	o 29613
10.13/4.40	o 29603
10.13/4.40	o 29600
10.13/4.40	o 29599
10.27/4.40	o 29598
10.27/4.40	o 29579
10.27/4.40	o 29578
10.27/4.40	o 29502
10.27/4.40	o 29501
10.27/4.40	o 29493
10.27/4.40	o 29489
10.27/4.40	o 29488
10.27/4.40	o 29487
10.27/4.40	o 29484
10.27/4.40	o 29483
10.27/4.40	o 29481
10.27/4.40	o 29480
10.27/4.40	o 29479
10.27/4.40	o 29478
10.27/4.41	o 29475
10.27/4.41	o 29474
10.27/4.41	o 29473
10.27/4.41	o 29472
10.27/4.43	o 29471
10.27/4.43	o 29470
10.37/4.50	o 29469
10.37/4.50	o 29468
10.37/4.51	o 29467
10.37/4.51	o 29464
10.37/4.52	o 29463
10.37/4.57	o 29462
10.62/4.74	o 29461
10.62/4.75	o 29457
11.25/5.32	o 29453
11.25/5.32	o 29452
11.25/5.33	o 29446
11.25/5.33	o 29445
11.25/5.33	o 29444
11.25/5.33	o 29440
11.25/5.33	o 29437
11.25/5.33	o 29435
11.25/5.33	o 29434
11.25/5.33	o 29422
11.25/5.33	o 29420
11.25/5.33	o 29388
11.25/5.33	o 29386
11.25/5.33	o 29383
11.25/5.33	o 29379
11.25/5.33	o 29377
11.25/5.33	o 29372
11.25/5.33	o 29370
11.25/5.33	o 29366
11.25/5.34	o 29364
11.25/5.34	o 29361
11.25/5.34	o 29359
11.25/5.34	o 29357
11.25/5.34	o 29356
11.25/5.37	o 29355
11.25/5.37	o 29353
11.25/5.37	o 29352
11.25/5.40	o 29351
11.46/5.59	o 29350
11.46/5.60	o 29349
11.56/5.65	o 29345
11.56/5.67	o 29341
11.56/5.67	o 29339
11.56/5.67	o 29274
11.56/5.67	o 29272
11.56/5.67	o 29263
11.56/5.67	o 29261
11.56/5.67	o 29254
11.56/5.67	o 29252
11.56/5.67	o 29250
11.56/5.67	o 29248
11.56/5.67	o 29247
11.56/5.67	o 29242
11.56/5.67	o 29240
11.56/5.69	o 29239
11.76/5.80	o 29238
11.97/6.02	o 29237
12.07/6.16	o 29236
12.07/6.16	o 29235
12.46/6.56	o 29234
12.46/6.56	o 29232
12.46/6.56	o 29230
12.46/6.56	o 29228
12.46/6.56	o 29226
12.46/6.56	o 29224
12.46/6.56	o 29178
12.46/6.56	o 29177
12.46/6.56	o 29176
12.46/6.56	o 29038
12.46/6.56	o 29020
12.46/6.56	o 28999
12.46/6.56	o 28971
12.46/6.56	o 28963
12.46/6.57	o 28957
12.46/6.57	o 28956
12.46/6.57	o 28955
12.46/6.57	o 28954
12.46/6.57	o 28953
12.46/6.57	o 28949
12.46/6.57	o 28945
12.46/6.57	o 28941
12.46/6.57	o 28927
12.46/6.57	o 28923
12.46/6.58	o 28922
12.46/6.58	o 28908
12.46/6.58	o 28904
12.46/6.58	o 28874
12.46/6.58	o 28870
12.46/6.58	o 28867
12.46/6.58	o 28866
12.46/6.58	o 28865
12.46/6.59	o 28863
12.46/6.59	o 28860
12.46/6.59	o 28859
12.56/6.60	o 28828
12.56/6.60	o 28740
12.56/6.60	o 28720
12.56/6.60	o 28701
12.56/6.60	o 28693
12.56/6.60	o 28691
12.56/6.60	o 28690
12.56/6.60	o 28689
12.56/6.60	o 28687
12.56/6.60	o 28685
12.56/6.60	o 28683
12.56/6.61	o 28678
12.56/6.61	o 28677
12.56/6.63	o 28669
12.56/6.63	o 28660
12.56/6.63	o 28658
12.56/6.63	o 28653
12.56/6.64	o 28649
12.56/6.64	o 28648
12.56/6.64	o 28639
12.56/6.64	o 28633
12.56/6.66	o 28632
12.56/6.66	o 28629
12.56/6.69	o 28628
12.67/6.72	o 28627
12.67/6.72	o 28622
12.67/6.72	o 28621
12.87/7.00	o 28543
12.87/7.00	o 28528
12.87/7.00	o 28524
12.87/7.00	o 28523
12.87/7.00	o 28522
12.87/7.00	o 28518
12.87/7.00	o 28517
12.87/7.00	o 28516
12.87/7.00	o 28515
12.87/7.01	o 28514
12.98/7.01	o 28510
13.07/7.16	o 28509
13.07/7.16	o 28508
13.16/7.21	o 28507
13.16/7.21	o 28506
13.16/7.22	o 28505
13.16/7.22	o 28504
13.16/7.24	o 28500
13.46/7.52	o 28499
13.67/7.73	o 28498
13.97/8.03	o 28496
13.97/8.08	o 28495
13.97/8.08	o 28494
14.16/8.23	o 28492
14.16/8.30	o 28485
14.27/8.30	o 28480
14.27/8.30	o 28479
14.27/8.30	o 28476
14.27/8.30	o 28473
14.27/8.30	o 28470
14.27/8.30	o 28469
14.27/8.30	o 28466
14.27/8.30	o 28464
14.27/8.30	o 28463
14.27/8.30	o 28462
14.27/8.31	o 28459
14.74/8.72	o 28458
14.74/8.73	o 28457
14.74/8.73	o 28453
14.94/8.91	o 28452
14.94/8.91	o 28449
14.94/8.91	o 28448
14.94/9.00	o 28447
15.05/9.02	o 28444
15.15/9.17	o 28442
15.15/9.17	o 28441
15.15/9.17	o 28435
15.15/9.17	o 28431
15.15/9.17	o 28413
15.15/9.17	o 28408
15.15/9.17	o 28403
15.15/9.17	o 28402
15.15/9.17	o 28362
15.15/9.18	o 28314
15.15/9.18	o 28247
15.15/9.18	o 28202
15.15/9.18	o 28201
15.15/9.19	o 28200
15.15/9.19	o 28195
15.15/9.19	o 28193
15.15/9.19	o 28121
15.15/9.19	o 28120
15.15/9.19	o 28119
15.24/9.20	o 28084
15.24/9.20	o 28082
15.24/9.20	o 28081
15.24/9.21	o 28066
15.24/9.21	o 28065
15.24/9.22	o 28063
15.24/9.22	o 28060
15.24/9.22	o 28058
15.24/9.22	o 28055
15.24/9.23	o 28054
15.34/9.30	o 28014
15.34/9.30	o 28012
15.34/9.30	o 28010
15.34/9.30	o 27968
15.34/9.30	o 27966
15.34/9.30	o 27964
15.34/9.31	o 27940
15.34/9.31	o 27939
15.34/9.31	o 27937
15.34/9.31	o 27935
15.34/9.31	o 27854
15.34/9.31	o 27852
15.34/9.31	o 27850
15.34/9.31	o 27842
15.34/9.31	o 27840
15.34/9.32	o 27839
15.34/9.32	o 27837
15.34/9.33	o 27836
15.34/9.33	o 27834
15.34/9.33	o 27828
15.34/9.33	o 27826
15.34/9.36	o 27825
15.34/9.39	o 27824
15.44/9.45	o 27823
15.44/9.45	o 27786
15.44/9.45	o 27783
15.44/9.45	o 27781
15.44/9.45	o 27778
15.44/9.45	o 27776
15.44/9.45	o 27772
15.44/9.45	o 27770
15.44/9.45	o 27768
15.44/9.48	o 27767
15.44/9.50	o 27766
15.54/9.50	o 27764
15.54/9.50	o 27762
15.54/9.50	o 27758
15.54/9.51	o 27756
15.54/9.51	o 27755
15.74/9.70	o 27754
15.74/9.71	o 27753
15.74/9.71	o 27752
17.79/11.77	o 27719
17.79/11.77	o 27713
17.79/11.77	o 27707
17.79/11.77	o 27696
17.79/11.77	o 27683
17.79/11.77	o 27676
17.79/11.77	o 27651
17.79/11.77	o 27638
17.79/11.77	o 27632
17.79/11.77	o 27628
17.79/11.78	o 27626
17.79/11.78	o 27625
17.79/11.78	o 27623
17.79/11.78	o 27603
17.79/11.79	o 27600
17.79/11.79	o 27598
17.79/11.79	o 27594
17.79/11.79	o 27592
17.79/11.79	o 27590
17.79/11.79	o 27583
17.89/11.80	o 27580
17.89/11.80	o 27578
18.69/12.63	o 27577
19.20/13.16	o 27576
21.10/14.98	o 27575
21.10/14.98	o 27572
21.10/14.98	o 27570
21.10/14.98	o 27568
21.10/14.98	o 27565
21.10/14.98	o 27563
21.10/14.98	o 27553
21.10/14.98	o 27551
21.10/14.98	o 27550
21.10/14.98	o 27548
21.10/14.98	o 27545
21.10/14.98	o 27489
21.10/14.98	o 27487
21.10/14.98	o 27484
21.10/14.99	o 27474
21.10/14.99	o 27471
21.10/14.99	o 27442
21.10/14.99	o 27439
21.10/14.99	o 27434
21.10/14.99	o 27431
21.10/14.99	o 27428
21.10/14.99	o 27425
21.10/15.01	o 27424
21.41/15.21	o 27419
21.41/15.23	o 27418
21.41/15.23	o 27416
21.41/15.23	o 27413
21.41/15.24	o 27409
21.52/15.35	o 27408
21.52/15.35	o 27406
21.52/15.36	o 27404
21.52/15.36	o 27403
21.77/15.50	o 27402
21.97/15.73	o 27401
22.17/15.94	o 27400
22.17/15.96	o 27399
23.78/17.53	o 27344
23.78/17.53	o 27338
23.78/17.53	o 27331
23.78/17.53	o 27325
23.78/17.53	o 27302
23.78/17.54	o 27296
23.78/17.54	o 27262
23.78/17.54	o 27256
23.78/17.54	o 27253
23.78/17.54	o 27250
23.78/17.54	o 27247
23.78/17.54	o 27246
23.78/17.54	o 27243
23.78/17.54	o 27236
23.78/17.54	o 27224
23.78/17.56	o 27223
23.98/17.78	o 27220
23.98/17.78	o 27218
24.08/17.89	o 27217
24.29/18.03	o 27214
24.29/18.08	o 27213
24.29/18.08	o 27212
24.39/18.16	o 27210
24.39/18.17	o 27208
24.39/18.18	o 27207
24.39/18.18	o 27206
24.39/18.19	o 27205
24.58/18.31	o 27203
24.58/18.32	o 27200
24.58/18.32	o 27198
24.58/18.33	o 27197
24.98/18.72	o 27049
24.98/18.72	o 27045
24.98/18.72	o 27007
24.98/18.72	o 27003
24.98/18.72	o 26993
24.98/18.72	o 26989
24.98/18.72	o 26988
24.98/18.73	o 26987
24.98/18.73	o 26983
24.98/18.73	o 26982
24.98/18.73	o 26981
24.98/18.76	o 26968
24.98/18.76	o 26967
25.08/18.82	o 26966
25.08/18.83	o 26963
25.08/18.83	o 26962
25.29/19.08	o 26960
25.39/19.11	o 26959
25.39/19.11	o 26958
25.39/19.11	o 26957
25.39/19.11	o 26956
25.39/19.11	o 26951
25.39/19.11	o 26947
25.39/19.11	o 26945
25.39/19.11	o 26943
25.39/19.11	o 26939
25.39/19.11	o 26934
25.39/19.12	o 26933
25.39/19.12	o 26932
25.48/19.27	o 26931
25.48/19.28	o 26930
25.58/19.36	o 26916
25.58/19.36	o 26913
25.58/19.36	o 26902
25.58/19.36	o 26899
25.58/19.36	o 26897
25.58/19.36	o 26894
25.58/19.36	o 26890
25.58/19.36	o 26889
25.58/19.37	o 26882
25.58/19.37	o 26879
25.58/19.37	o 26876
25.58/19.37	o 26875
25.58/19.37	o 26874
25.58/19.37	o 26813
25.58/19.38	o 26812
25.58/19.38	o 26807
25.58/19.38	o 26806
25.58/19.38	o 26796
25.58/19.38	o 26795
25.58/19.38	o 26794
25.58/19.38	o 26793
25.58/19.38	o 26790
25.58/19.38	o 26789
25.58/19.38	o 26788
25.68/19.41	o 26785
25.68/19.41	o 26784
25.68/19.41	o 26782
25.68/19.41	o 26781
25.68/19.45	o 26780
25.68/19.45	o 26775
25.98/19.76	o 26772
26.18/19.91	o 26771
26.29/20.03	o 26770
26.58/20.37	o 26766
26.68/20.44	o 26760
26.68/20.44	o 26753
26.68/20.44	o 26752
26.68/20.44	o 26655
26.68/20.44	o 26654
26.68/20.44	o 26635
26.68/20.44	o 26632
26.68/20.44	o 26619
26.68/20.44	o 26618
26.68/20.45	o 26617
26.68/20.45	o 26612
26.88/20.69	o 26585
26.88/20.69	o 26584
26.88/20.69	o 26581
26.88/20.69	o 26580
26.88/20.69	o 26577
26.88/20.69	o 26576
26.98/20.70	o 26575
26.98/20.70	o 26574
26.98/20.76	o 26573
27.09/20.82	o 26570
27.09/20.82	o 26569
27.09/20.84	o 26568
27.30/21.03	o 26563
27.49/21.29	o 26476
27.49/21.29	o 26451
27.49/21.29	o 26445
27.49/21.29	o 26437
27.49/21.29	o 26432
27.49/21.29	o 26413
27.49/21.29	o 26411
27.49/21.30	o 26404
27.49/21.30	o 26394
27.49/21.30	o 26387
27.49/21.30	o 26386
27.58/21.30	o 26383
27.58/21.30	o 26382
27.58/21.30	o 26381
27.58/21.30	o 26380
27.58/21.31	o 26377
27.58/21.31	o 26376
27.58/21.31	o 26375
27.58/21.31	o 26374
27.58/21.31	o 26373
27.58/21.31	o 26372
27.58/21.31	o 26371
27.58/21.34	o 26370
27.58/21.34	o 26363
27.58/21.34	o 26362
27.58/21.37	o 26361
27.68/21.41	o 26359
27.68/21.41	o 26358
27.68/21.41	o 26356
27.68/21.43	o 26355
27.68/21.44	o 26353
27.68/21.45	o 26351
27.68/21.45	o 26350
27.68/21.48	o 26349
27.68/21.48	o 26346
27.68/21.48	o 26345
27.68/21.48	o 26343
27.88/21.67	o 26342
27.88/21.67	o 26336
27.88/21.67	o 26335
27.88/21.67	o 26334
27.88/21.67	o 26330
27.88/21.69	o 26329
27.99/21.75	o 26327
27.99/21.75	o 26326
27.99/21.75	o 26313
27.99/21.75	o 26311
27.99/21.75	o 26213
27.99/21.75	o 26211
27.99/21.75	o 26175
27.99/21.75	o 26173
27.99/21.76	o 26167
27.99/21.76	o 26165
27.99/21.77	o 26164
27.99/21.79	o 26163
27.99/21.80	o 26161
27.99/21.80	o 26160
27.99/21.80	o 26158
28.09/21.86	o 26155
28.09/21.87	o 26150
28.30/22.01	o 26147
28.30/22.10	o 26146
28.30/22.11	o 26143
28.39/22.11	o 26142
29.09/22.84	o 26091
29.09/22.84	o 26053
29.09/22.84	o 26042
29.09/22.84	o 26034
29.09/22.84	o 26024
29.09/22.84	o 26011
29.09/22.84	o 26006
29.09/22.84	o 26005
29.09/22.84	o 26004
29.09/22.84	o 26000
29.09/22.86	o 25998
29.09/22.86	o 25996
29.09/22.86	o 25995
29.09/22.86	o 25987
29.09/22.86	o 25985
29.09/22.90	o 25983
29.19/22.90	o 25980
29.19/22.98	o 25976
29.19/22.98	o 25972
29.19/22.99	o 25961
29.19/22.99	o 25951
29.19/22.99	o 25950
29.19/22.99	o 25949
29.19/23.00	o 25947
29.19/23.00	o 25945
29.19/23.00	o 25944
29.19/23.00	o 25936
29.19/23.00	o 25934
29.19/23.01	o 25930
29.19/23.01	o 25928
29.30/23.01	o 25926
29.30/23.01	o 25922
29.30/23.01	o 25920
29.30/23.01	o 25918
29.30/23.02	o 25916
29.30/23.02	o 25914
29.30/23.09	o 25910
29.30/23.09	o 25908
29.30/23.09	o 25904
29.30/23.09	o 25902
29.30/23.09	o 25900
29.30/23.09	o 25887
29.30/23.09	o 25885
29.30/23.10	o 25883
29.40/23.11	o 25865
29.40/23.11	o 25863
29.40/23.11	o 25861
29.40/23.12	o 25845
29.40/23.12	o 25843
29.40/23.12	o 25841
29.40/23.12	o 25815
29.40/23.12	o 25813
29.40/23.12	o 25811
29.40/23.12	o 25757
29.40/23.12	o 25755
29.40/23.12	o 25753
29.40/23.13	o 25752
29.40/23.13	o 25751
29.40/23.13	o 25738
29.40/23.13	o 25736
29.40/23.13	o 25734
29.40/23.13	o 25733
29.40/23.14	o 25731
29.40/23.14	o 25729
29.40/23.14	o 25725
29.40/23.14	o 25723
29.40/23.17	o 25722
29.40/23.17	o 25721
29.40/23.17	o 25719
29.59/23.39	o 25717
30.19/23.96	o 25716
30.19/23.98	o 25715
30.19/23.98	o 25714
30.19/23.98	o 25712
30.49/24.28	o 25710
30.49/24.28	o 25709
30.49/24.28	o 25708
30.49/24.28	o 25703
30.49/24.28	o 25701
30.49/24.28	o 25697
30.49/24.28	o 25692
30.49/24.28	o 25691
30.49/24.28	o 25688
30.49/24.28	o 25684
30.49/24.28	o 25683
30.49/24.29	o 25682
30.49/24.29	o 25675
30.49/24.29	o 25669
30.49/24.29	o 25551
30.49/24.29	o 25543
30.49/24.29	o 25515
30.49/24.29	o 25514
30.49/24.29	o 25507
32.00/25.79	o 25485
32.00/25.79	o 25483
32.09/25.80	o 25460
32.09/25.80	o 25379
32.09/25.81	o 25377
32.09/25.81	o 25376
32.09/25.83	o 25374
32.09/25.85	o 25373
32.09/25.85	o 25372
32.19/25.96	o 25371
32.19/25.96	o 25369
32.19/25.97	o 25368
32.19/25.98	o 25365
32.19/25.98	o 25363
32.50/26.25	o 25362
32.50/26.25	o 25360
32.50/26.29	o 25355
32.60/26.30	o 25348
33.31/27.07	o 25345
34.66/28.34	o 25344
34.66/28.34	o 25342
34.96/28.67	o 25326
34.96/28.67	o 25319
34.96/28.67	o 25310
34.96/28.67	o 25309
34.96/28.68	o 25299
34.96/28.68	o 25296
34.96/28.68	o 25295
34.96/28.68	o 25293
35.06/28.70	o 25292
35.06/28.77	o 25291
35.06/28.77	o 25289
35.06/28.78	o 25287
35.06/28.78	o 25283
35.06/28.78	o 25282
35.06/28.78	o 25280
35.06/28.78	o 25278
35.06/28.78	o 25277
35.16/28.80	o 25275
35.16/28.80	o 25273
35.16/28.81	o 25272
35.16/28.83	o 25270
35.56/29.25	o 25269
35.66/29.38	o 25268
35.76/29.49	o 25264
35.76/29.49	o 25263
35.76/29.49	o 25262
35.76/29.49	o 25254
35.76/29.49	o 25253
35.76/29.49	o 25224
35.76/29.50	o 25223
35.76/29.50	o 25221
35.76/29.50	o 25220
35.86/29.50	o 25215
35.86/29.50	o 25214
35.86/29.51	o 25118
35.86/29.51	o 25117
35.86/29.51	o 25033
35.86/29.51	o 25032
35.86/29.51	o 25031
35.86/29.52	o 25025
35.86/29.52	o 25024
35.86/29.52	o 25023
35.86/29.52	o 25022
35.96/29.64	o 25021
35.96/29.64	o 25020
35.96/29.64	o 25019
35.96/29.64	o 25018
35.96/29.65	o 25017
35.96/29.65	o 25016
36.16/29.80	o 25004
36.16/29.80	o 24992
36.16/29.80	o 24964
36.16/29.80	o 24918
36.16/29.80	o 24915
36.16/29.80	o 24901
36.16/29.81	o 24900
36.16/29.81	o 24899
36.16/29.81	o 24898
36.16/29.81	o 24897
36.16/29.81	o 24872
36.16/29.81	o 24871
36.16/29.81	o 24866
36.16/29.81	o 24865
36.16/29.82	o 24863
36.16/29.82	o 24862
36.16/29.82	o 24858
36.16/29.82	o 24857
36.16/29.83	o 24856
36.16/29.83	o 24855
36.16/29.84	o 24852
36.16/29.84	o 24851
36.16/29.85	o 24850
36.26/29.94	o 24848
36.26/29.94	o 24847
36.37/30.05	o 24846
36.37/30.05	o 24845
36.37/30.06	o 24844
36.67/30.35	o 24806
36.67/30.35	o 24805
36.67/30.35	o 24800
36.67/30.35	o 24799
36.67/30.35	o 24782
36.67/30.35	o 24781
36.67/30.35	o 24776
36.67/30.35	o 24775
36.67/30.35	o 24771
36.67/30.35	o 24770
36.67/30.36	o 24769
36.67/30.36	o 24768
36.67/30.37	o 24767
36.77/30.42	o 24765
36.77/30.42	o 24763
36.77/30.42	o 24762
36.77/30.43	o 24758
36.77/30.48	o 24756
37.07/30.79	o 24752
37.07/30.79	o 24751
37.07/30.79	o 24747
37.07/30.79	o 24746
37.07/30.80	o 24744
37.07/30.80	o 24740
37.07/30.80	o 24739
37.17/30.80	o 24731
37.17/30.80	o 24730
37.17/30.80	o 24726
37.17/30.80	o 24721
37.17/30.80	o 24716
37.17/30.81	o 24696
37.17/30.81	o 24688
37.17/30.81	o 24679
37.17/30.82	o 24660
37.17/30.83	o 24657
37.17/30.84	o 24655
37.17/30.84	o 24654
37.17/30.84	o 24652
37.77/31.44	o 24651
37.77/31.44	o 24647
37.77/31.44	o 24645
37.77/31.44	o 24644
37.77/31.44	o 24642
38.07/31.72	o 24638
38.07/31.78	o 24636
38.38/32.09	o 24610
38.38/32.10	o 24607
38.38/32.10	o 24585
38.38/32.10	o 24582
38.38/32.10	o 24557
38.38/32.10	o 24554
38.38/32.10	o 24550
38.38/32.10	o 24547
38.48/32.11	o 24545
38.48/32.12	o 24543
38.48/32.12	o 24542
38.48/32.13	o 24541
38.48/32.13	o 24540
38.48/32.13	o 24539
38.48/32.13	o 24537
38.48/32.13	o 24534
38.48/32.13	o 24533
38.48/32.14	o 24532
38.48/32.16	o 24531
39.77/33.41	o 24512
39.77/33.41	o 24495
39.77/33.41	o 24489
39.77/33.41	o 24488
39.77/33.41	o 24483
39.77/33.41	o 24482
39.77/33.41	o 24480
39.77/33.41	o 24479
39.77/33.41	o 24477
39.77/33.41	o 24474
39.77/33.41	o 24473
39.97/33.68	o 24472
40.07/33.79	o 24470
40.07/33.79	o 24469
40.17/33.86	o 24468
40.76/34.43	o 24465
41.06/34.76	o 24463
41.06/34.76	o 24462
41.06/34.76	o 24457
41.86/35.57	o 24441
41.86/35.57	o 24421
41.86/35.57	o 24389
41.86/35.57	o 24388
41.86/35.57	o 24378
41.86/35.57	o 24371
41.86/35.57	o 24356
41.86/35.58	o 24354
41.86/35.58	o 24352
42.29/36.00	o 24350
42.40/36.03	o 24346
42.40/36.03	o 24344
44.99/38.62	o 24340
44.99/38.62	o 24339
44.99/38.62	o 24330
44.99/38.62	o 24320
44.99/38.62	o 24306
44.99/38.62	o 24305
44.99/38.63	o 24289
44.99/38.63	o 24288
44.99/38.63	o 24275
44.99/38.67	o 24255
44.99/38.67	o 24250
44.99/38.68	o 24249
44.99/38.68	o 24248
44.99/38.68	o 24228
44.99/38.68	o 24227
44.99/38.69	o 24225
44.99/38.70	o 24222
45.59/39.27	o 24166
45.59/39.27	o 24122
45.59/39.27	o 24096
45.59/39.27	o 24087
45.59/39.27	o 24086
45.59/39.27	o 24080
45.59/39.27	o 24077
45.59/39.27	o 24075
45.59/39.27	o 24071
45.59/39.29	o 24067
45.69/39.31	o 24064
45.69/39.32	o 24063
45.69/39.33	o 24062
45.79/39.45	o 24052
45.79/39.47	o 24051
45.89/39.55	o 24050
45.89/39.57	o 24049
45.89/39.58	o 24048
46.29/39.96	o 24042
46.29/39.96	o 24038
46.29/39.97	o 24037
46.29/39.97	o 24036
46.79/40.41	o 24034
46.79/40.41	o 24033
46.79/40.41	o 24032
46.79/40.42	o 24031
46.79/40.42	o 24030
46.79/40.42	o 24029
46.79/40.43	o 24027
46.79/40.43	o 24026
46.79/40.43	o 24025
46.89/40.55	o 24024
46.89/40.55	o 24023
46.89/40.55	o 24022
47.59/41.20	o 24021
47.59/41.22	o 24020
47.69/41.32	o 24018
47.79/41.40	o 24017
47.79/41.49	o 24016
48.16/41.76	o 24015
48.57/42.15	o 24014
49.16/42.71	o 23901
49.16/42.71	o 23900
49.16/42.71	o 23895
49.16/42.71	o 23894
49.16/42.71	o 23885
49.16/42.72	o 23884
49.16/42.72	o 23854
49.16/42.72	o 23853
49.16/42.72	o 23846
49.16/42.72	o 23845
49.16/42.72	o 23844
49.16/42.72	o 23843
49.16/42.73	o 23835
49.16/42.73	o 23833
49.16/42.73	o 23827
49.16/42.73	o 23825
49.16/42.74	o 23824
49.16/42.75	o 23817
49.16/42.75	o 23816
49.16/42.75	o 23815
49.16/42.75	o 23814
49.16/42.79	o 23810
49.16/42.79	o 23809
49.16/42.79	o 23808
49.16/42.79	o 23807
49.16/42.80	o 23806
49.16/42.80	o 23804
49.16/42.80	o 23803
49.26/42.82	o 23802
49.26/42.82	o 23801
49.26/42.84	o 23800
49.26/42.84	o 23799
49.47/43.04	o 23797
49.47/43.10	o 23796
49.57/43.12	o 23795
49.57/43.16	o 23794
49.66/43.23	o 23792
49.96/43.51	o 23791
49.96/43.52	o 23789
50.06/43.68	o 23788
50.86/44.45	o 23786
51.06/44.65	o 23785
51.06/44.68	o 23784
51.96/45.52	o 23783
51.96/45.52	o 23780
51.96/45.52	o 23779
51.96/45.52	o 23778
51.96/45.52	o 23777
51.96/45.53	o 23772
51.96/45.53	o 23771
51.96/45.53	o 23770
51.96/45.53	o 23769
51.96/45.53	o 23768
53.26/46.82	o 23705
53.26/46.84	o 23702
53.26/46.85	o 23699
53.36/47.00	o 23698
53.36/47.00	o 23696
53.36/47.00	o 23695
53.47/47.04	o 23689
53.47/47.05	o 23687
53.47/47.05	o 23683
53.77/47.34	o 23681
54.07/47.65	o 23680
54.37/47.91	o 23676
54.96/48.54	o 23675
55.26/48.86	o 23673
55.86/49.43	o 23671
55.97/49.59	o 23670
55.97/49.59	o 23668
57.17/50.73	o 23650
57.17/50.73	o 23647
57.17/50.74	o 23643
57.17/50.74	o 23635
57.17/50.74	o 23621
57.17/50.74	o 23620
57.17/50.75	o 23613
57.17/50.75	o 23576
57.17/50.75	o 23562
57.17/50.75	o 23556
57.17/50.75	o 23546
57.17/50.78	o 23544
57.17/50.78	o 23539
57.17/50.78	o 23538
57.17/50.78	o 23533
57.17/50.78	o 23527
57.17/50.79	o 23526
57.27/50.81	o 23525
58.48/52.03	o 23523
58.48/52.03	o 23522
58.48/52.03	o 23519
58.48/52.04	o 23513
58.48/52.04	o 23478
58.48/52.04	o 23474
58.48/52.04	o 23463
58.48/52.04	o 23457
58.48/52.04	o 23448
58.48/52.04	o 23437
58.48/52.04	o 23436
58.48/52.04	o 23430
58.48/52.04	o 23427
58.48/52.04	o 23424
58.48/52.04	o 23421
58.48/52.05	o 23418
58.48/52.05	o 23415
58.48/52.06	o 23411
58.48/52.07	o 23409
58.48/52.07	o 23408
58.67/52.24	o 23405
58.97/52.56	o 23402
58.97/52.56	o 23401
59.77/53.34	o 23400
59.77/53.35	o 23388
59.77/53.37	o 23383
59.77/53.37	o 23375
59.77/53.38	o 23373
59.97/53.52	o 23372
59.97/53.52	o 23371
59.97/53.52	o 23370
59.97/53.58	o 23362
59.97/53.58	o 23361
59.97/53.58	o 23360
59.97/53.58	o 23359
59.97/53.59	o 23358
59.97/53.59	o 23357
59.97/53.59	o 23356
59.97/53.59	o 23355
60.07/53.60	o 23354
60.07/53.61	o 23353
60.07/53.62	o 23352
60.07/53.62	o 23351
60.07/53.64	o 23350
60.07/53.65	o 23349
60.07/53.65	o 23348
60.17/53.70	o 23346
60.17/53.70	o 23345
60.17/53.70	o 23344
60.17/53.71	o 23341
60.17/53.71	o 23340
60.17/53.71	o 23339
60.17/53.71	o 23338
60.17/53.72	o 23336
60.17/53.73	o 23334
60.17/53.73	o 23333
60.17/53.73	o 23332
60.27/53.81	o 23331
60.27/53.81	o 23324
60.27/53.81	o 23318
60.27/53.83	o 23314
60.27/53.84	o 23309
60.37/53.90	o 23304
61.07/54.64	o 23303
61.07/54.64	o 23298
61.07/54.64	o 23293
61.07/54.64	o 23283
61.17/54.78	o 23281
61.17/54.79	o 23278
61.27/54.81	o 23273
61.27/54.82	o 23272
61.27/54.82	o 23271
61.27/54.84	o 23270
61.27/54.89	o 23267
63.87/57.48	o 23149
63.87/57.48	o 23144
63.87/57.48	o 23141
63.87/57.48	o 23130
63.87/57.48	o 23126
63.87/57.48	o 23125
63.87/57.48	o 23122
63.87/57.49	o 23113
63.87/57.49	o 23109
63.87/57.49	o 23103
63.87/57.49	o 23102
63.87/57.49	o 23099
63.98/57.51	o 23098
63.98/57.51	o 23095
63.98/57.51	o 23093
63.98/57.51	o 23091
63.98/57.51	o 23088
63.98/57.53	o 23087
63.98/57.53	o 23083
63.98/57.60	o 23080
63.98/57.60	o 23076
63.98/57.60	o 23067
64.08/57.63	o 23066
64.98/58.59	o 23002
64.98/58.59	o 22994
64.98/58.59	o 22986
64.98/58.59	o 22984
64.98/58.59	o 22978
64.98/58.59	o 22977
65.08/58.62	o 22972
65.08/58.62	o 22971
65.18/58.71	o 22970
65.18/58.71	o 22969
65.48/59.07	o 22968
65.48/59.07	o 22966
66.28/59.88	o 22960
66.28/59.89	o 22958
66.28/59.89	o 22957
67.08/60.67	o 22906
67.08/60.67	o 22881
67.08/60.67	o 22840
67.08/60.68	o 22809
67.08/60.68	o 22806
67.08/60.69	o 22805
67.18/60.70	o 22803
67.18/60.70	o 22800
67.18/60.71	o 22796
67.18/60.75	o 22793
67.18/60.75	o 22792
67.88/61.46	o 22791
67.98/61.56	o 22790
67.98/61.56	o 22782
67.98/61.56	o 22780
67.98/61.59	o 22768
67.98/61.59	o 22767
67.98/61.59	o 22764
67.98/61.59	o 22761
67.98/61.59	o 22759
67.98/61.59	o 22756
68.68/62.20	o 22709
68.68/62.20	o 22702
68.68/62.20	o 22698
68.68/62.20	o 22695
68.68/62.20	o 22692
68.68/62.20	o 22684
68.68/62.20	o 22682
68.68/62.20	o 22681
68.68/62.20	o 22648
68.68/62.20	o 22647
68.68/62.21	o 22641
68.68/62.21	o 22640
68.68/62.21	o 22630
68.68/62.21	o 22619
68.68/62.21	o 22618
68.68/62.22	o 22609
68.68/62.22	o 22608
68.68/62.22	o 22607
68.68/62.22	o 22599
68.68/62.22	o 22598
68.68/62.22	o 22597
68.68/62.22	o 22596
68.68/62.22	o 22589
68.68/62.22	o 22588
68.68/62.22	o 22587
68.68/62.22	o 22586
68.68/62.24	o 22584
68.68/62.24	o 22583
68.68/62.24	o 22582
68.68/62.24	o 22581
68.68/62.24	o 22580
68.68/62.25	o 22578
68.68/62.25	o 22577
68.68/62.28	o 22572
68.78/62.34	o 22570
68.78/62.34	o 22569
68.78/62.35	o 22567
68.78/62.35	o 22566
68.78/62.35	o 22565
68.78/62.35	o 22564
68.78/62.35	o 22563
68.78/62.38	o 22561
68.78/62.38	o 22560
68.78/62.38	o 22559
68.88/62.47	o 22558
69.98/63.51	o 22556
70.08/63.64	o 22555
70.38/63.96	o 22553
70.38/64.00	o 22551
70.49/64.06	o 22550
70.78/64.31	o 22546
70.78/64.31	o 22542
70.78/64.32	o 22541
71.68/65.27	o 22539
71.79/65.38	o 22538
71.79/65.38	o 22536
71.79/65.39	o 22532
72.60/66.11	o 22480
72.60/66.11	o 22464
72.60/66.12	o 22408
72.60/66.12	o 22393
72.60/66.13	o 22392
72.60/66.13	o 22389
72.60/66.15	o 22387
72.60/66.15	o 22384
72.60/66.15	o 22380
72.69/66.21	o 22378
72.69/66.26	o 22374
72.78/66.33	o 22371
72.88/66.42	o 22370
73.18/66.76	o 22369
73.18/66.77	o 22361
73.18/66.77	o 22358
73.18/66.78	o 22357
73.18/66.78	o 22355
73.28/66.80	o 22353
73.28/66.80	o 22352
73.28/66.80	o 22349
73.28/66.80	o 22348
73.68/67.20	o 22343
73.68/67.21	o 22294
73.68/67.21	o 22276
73.68/67.21	o 22271
73.68/67.21	o 22269
73.68/67.21	o 22251
73.68/67.21	o 22244
73.68/67.21	o 22243
73.68/67.21	o 22241
73.68/67.21	o 22238
73.68/67.21	o 22237
73.68/67.24	o 22234
73.68/67.24	o 22231
73.68/67.25	o 22228
73.68/67.25	o 22227
73.68/67.28	o 22226
73.68/67.28	o 22225
73.68/67.28	o 22224
73.68/67.28	o 22218
73.68/67.28	o 22215
73.68/67.28	o 22207
73.68/67.28	o 22205
73.68/67.28	o 22201
73.78/67.31	o 22200
73.98/67.55	o 22199
73.98/67.56	o 22198
73.98/67.56	o 22195
74.88/68.44	o 22194
75.08/68.61	o 22193
75.59/69.20	o 22192
77.29/70.87	o 22191
77.29/70.87	o 22190
77.68/71.28	o 22115
77.68/71.29	o 22056
77.68/71.29	o 22034
77.68/71.29	o 22012
77.68/71.29	o 22011
77.68/71.29	o 22000
77.68/71.29	o 21996
77.68/71.29	o 21979
77.68/71.29	o 21977
77.68/71.29	o 21976
77.68/71.29	o 21969
77.68/71.29	o 21966
77.68/71.29	o 21965
77.78/71.30	o 21960
77.78/71.30	o 21959
77.78/71.30	o 21957
77.78/71.30	o 21956
77.78/71.33	o 21949
77.78/71.33	o 21948
77.78/71.34	o 21947
77.78/71.35	o 21946
77.78/71.35	o 21945
77.78/71.35	o 21944
79.08/72.61	o 21943
82.81/76.30	o 21907
82.81/76.30	o 21885
82.81/76.31	o 21876
82.81/76.31	o 21865
82.81/76.31	o 21852
82.81/76.31	o 21845
82.81/76.32	o 21840
82.81/76.32	o 21837
82.81/76.32	o 21833
82.81/76.32	o 21830
82.81/76.32	o 21826
82.81/76.33	o 21824
82.81/76.33	o 21822
82.81/76.33	o 21820
82.81/76.34	o 21809
82.81/76.34	o 21805
82.81/76.34	o 21791
82.91/76.42	o 21789
82.91/76.46	o 21784
82.91/76.48	o 21779
84.41/77.96	o 21777
84.41/77.97	o 21776
84.41/77.97	o 21771
84.41/77.97	o 21770
84.41/77.97	o 21765
84.52/78.07	o 21730
84.52/78.09	o 21729
84.52/78.09	o 21724
84.52/78.09	o 21708
84.52/78.10	o 21689
84.52/78.11	o 21622
84.62/78.11	o 21618
84.62/78.11	o 21603
84.62/78.11	o 21581
84.62/78.11	o 21575
84.62/78.11	o 21564
84.62/78.13	o 21557
84.91/78.43	o 21556
85.21/78.73	o 21495
85.21/78.73	o 21492
85.21/78.73	o 21477
85.21/78.73	o 21464
85.21/78.75	o 21454
85.21/78.76	o 21453
85.21/78.76	o 21448
85.21/78.78	o 21445
85.21/78.78	o 21444
85.21/78.78	o 21442
85.21/78.79	o 21435
85.21/78.79	o 21431
85.31/78.81	o 21430
85.31/78.81	o 21423
85.41/78.98	o 21418
85.41/78.98	o 21409
85.52/79.01	o 21407
85.62/79.13	o 21406
85.81/79.30	o 21402
86.11/79.67	o 21387
86.11/79.67	o 21378
86.11/79.67	o 21377
86.11/79.67	o 21375
86.11/79.67	o 21368
86.11/79.69	o 21365
86.11/79.69	o 21364
86.11/79.69	o 21355
86.21/79.70	o 21354
86.21/79.79	o 21327
86.21/79.79	o 21317
86.31/79.80	o 21311
86.31/79.81	o 21306
86.31/79.81	o 21296
86.31/79.82	o 21291
86.31/79.82	o 21278
86.31/79.83	o 21275
86.31/79.83	o 21274
86.52/80.05	o 21247
86.52/80.05	o 21227
86.52/80.05	o 21208
86.52/80.05	o 21174
86.52/80.05	o 21163
86.52/80.05	o 21161
86.52/80.05	o 21157
86.62/80.12	o 21150
86.62/80.12	o 21149
86.62/80.13	o 21143
86.62/80.13	o 21139
86.62/80.15	o 21132
86.62/80.15	o 21129
86.62/80.16	o 21128
86.62/80.19	o 21124
86.62/80.19	o 21117
86.62/80.19	o 21116
86.71/80.20	o 21115
86.71/80.20	o 21112
86.71/80.20	o 21111
86.71/80.21	o 21101
90.52/84.01	o 21100
90.52/84.02	o 21096
90.52/84.03	o 21094
92.52/86.04	o 21092
92.62/86.16	o 21087
92.62/86.16	o 21058
92.62/86.16	o 21052
92.62/86.16	o 21046
92.62/86.16	o 21040
92.62/86.16	o 21037
92.62/86.16	o 21036
92.62/86.16	o 21035
92.62/86.16	o 21032
92.62/86.16	o 21030
92.71/86.22	o 21028
92.71/86.24	o 21026
92.71/86.24	o 21025
92.71/86.25	o 21023
92.71/86.25	o 21021
92.71/86.25	o 21019
92.71/86.25	o 21016
92.71/86.25	o 21014
95.42/88.97	o 21012
95.42/88.97	o 21011
95.53/89.05	o 21009
95.53/89.05	o 21008
98.22/91.76	o 21007
98.22/91.78	o 21006
98.22/91.78	o 21004
98.22/91.78	o 21003
98.22/91.78	o 21002
98.22/91.78	o 20999
103.32/96.83	o 20998
103.32/96.88	o 20997
103.42/96.91	o 20993
103.42/96.91	o 20992
103.42/96.91	o 20990
103.42/96.91	o 20987
103.53/97.09	o 20984
106.42/99.95	o 20981
106.42/99.95	o 20979
106.42/99.95	o 20977
106.42/99.95	o 20975
106.42/99.95	o 20967
106.42/99.95	o 20959
106.42/99.96	o 20956
106.42/99.96	o 20953
106.42/99.97	o 20945
106.42/99.97	o 20942
106.42/99.97	o 20928
106.53/100.02	o 20927
106.53/100.02	o 20911
106.53/100.05	o 20897
111.12/104.70	o 20893
111.12/104.70	o 20890
111.22/104.70	o 20881
111.22/104.71	o 20879
111.22/104.72	o 20876
111.22/104.73	o 20873
111.22/104.73	o 20870
111.22/104.79	o 20868
111.22/104.79	o 20850
111.22/104.79	o 20843
111.22/104.79	o 20840
111.22/104.80	o 20834
111.33/104.80	o 20833
111.33/104.80	o 20832
111.33/104.80	o 20831
111.33/104.80	o 20828
111.33/104.80	o 20823
111.33/104.81	o 20821
111.33/104.81	o 20815
111.33/104.83	o 20810
111.33/104.83	o 20808
111.33/104.83	o 20807
111.33/104.83	o 20799
111.33/104.89	o 20794
111.43/104.93	o 20792
111.43/104.94	o 20786
114.75/108.21	o 20785
114.75/108.23	o 20778
114.75/108.23	o 20774
114.75/108.24	o 20773
114.75/108.24	o 20770
114.75/108.24	o 20762
114.95/108.46	o 20761
114.95/108.46	o 20760
115.05/108.52	o 20759
116.15/109.66	o 20758
116.25/109.73	o 20756
116.35/109.84	o 20749
116.35/109.84	o 20745
116.45/109.98	o 20744
116.45/109.98	o 20742
116.45/109.98	o 20739
116.45/109.98	o 20738
116.45/109.98	o 20736
116.45/109.98	o 20735
117.45/110.92	o 20734
117.45/110.92	o 20730
117.45/110.93	o 20729
117.45/110.93	o 20727
117.45/110.98	o 20726
117.45/110.98	o 20721
117.45/110.99	o 20717
117.66/111.19	o 20715
118.05/111.57	o 20708
118.05/111.57	o 20699
118.05/111.57	o 20692
118.05/111.57	o 20644
118.05/111.57	o 20640
118.05/111.57	o 20612
118.05/111.58	o 20603
118.05/111.58	o 20600
118.05/111.58	o 20594
118.05/111.58	o 20582
118.05/111.58	o 20567
118.05/111.58	o 20563
118.05/111.58	o 20551
118.05/111.59	o 20547
118.15/111.60	o 20543
118.15/111.60	o 20540
118.15/111.60	o 20539
118.15/111.64	o 20537
118.15/111.64	o 20536
118.15/111.65	o 20533
118.15/111.69	o 20521
118.15/111.69	o 20517
118.25/111.72	o 20513
118.25/111.74	o 20512
118.45/111.94	o 20507
118.45/111.94	o 20504
118.45/111.95	o 20499
118.85/112.34	o 20457
118.85/112.34	o 20449
118.85/112.34	o 20445
118.85/112.34	o 20431
118.85/112.34	o 20425
118.85/112.34	o 20416
118.85/112.35	o 20410
118.85/112.37	o 20408
118.95/112.45	o 20405
118.95/112.45	o 20400
118.95/112.45	o 20399
118.95/112.45	o 20397
118.95/112.45	o 20391
118.95/112.45	o 20387
118.95/112.46	o 20382
118.95/112.46	o 20378
118.95/112.46	o 20374
119.15/112.60	o 20369
119.45/113.00	o 20264
119.45/113.01	o 20255
119.56/113.03	o 20252
119.56/113.03	o 20247
119.56/113.03	o 20238
119.56/113.03	o 20224
119.56/113.04	o 20215
119.56/113.07	o 20213
119.56/113.07	o 20211
119.56/113.07	o 20209
119.56/113.08	o 20208
119.56/113.08	o 20205
119.56/113.08	o 20203
119.56/113.09	o 20201
119.56/113.09	o 20195
119.56/113.10	o 20194
119.56/113.10	o 20193
119.66/113.14	o 20192
119.66/113.14	o 20184
119.66/113.14	o 20182
119.66/113.15	o 20180
119.66/113.15	o 20178
119.66/113.15	o 20176
119.75/113.26	o 20175
119.75/113.26	o 20174
119.95/113.44	o 20169
119.95/113.45	o 20166
119.95/113.46	o 20154
119.95/113.46	o 20153
119.95/113.46	o 20152
120.25/113.79	o 20151
120.25/113.79	o 20137
120.25/113.79	o 20125
120.25/113.80	o 20124
120.35/113.80	o 20116
120.35/113.80	o 20115
120.35/113.86	o 20111
120.35/113.86	o 20106
120.45/113.91	o 20105
122.25/115.79	o 20103
122.85/116.35	o 20098
122.85/116.35	o 20091
122.85/116.35	o 20081
122.85/116.35	o 20075
122.85/116.35	o 20060
122.85/116.36	o 20044
122.85/116.38	o 20011
122.85/116.38	o 19996
122.85/116.38	o 19983
122.85/116.38	o 19959
122.95/116.40	o 19950
122.95/116.41	o 19946
122.95/116.41	o 19944
122.95/116.43	o 19943
122.95/116.44	o 19936
123.15/116.63	o 19929
125.05/118.57	o 19928
125.05/118.57	o 19927
125.15/118.60	o 19926
125.15/118.63	o 19925
125.56/119.07	o 19913
125.56/119.07	o 19894
125.56/119.07	o 19892
125.56/119.07	o 19873
125.56/119.07	o 19871
125.66/119.11	o 19865
125.66/119.11	o 19863
125.66/119.12	o 19845
125.66/119.12	o 19834
125.66/119.13	o 19832
125.66/119.17	o 19831
125.75/119.20	o 19826
125.75/119.20	o 19815
125.95/119.43	o 19814
125.95/119.43	o 19812
125.95/119.43	o 19810
125.95/119.43	o 19809
125.95/119.43	o 19805
129.75/123.26	o 19801
129.75/123.26	o 19798
129.75/123.26	o 19784
129.75/123.26	o 19766
129.75/123.27	o 19764
130.36/123.82	o 19763
130.36/123.82	o 19762
130.36/123.83	o 19756
131.96/125.46	o 19747
131.96/125.47	o 19743
131.96/125.47	o 19742
131.96/125.47	o 19741
131.96/125.47	o 19739
131.96/125.48	o 19733
132.36/125.82	o 19732
137.26/130.71	o 19731
137.26/130.77	o 19728
138.26/131.76	o 19725
138.36/131.81	o 19721
138.57/132.01	o 19719
138.57/132.05	o 19710
138.57/132.05	o 19708
138.57/132.07	o 19707
138.57/132.07	o 19701
138.57/132.10	o 19699
138.57/132.10	o 19697
138.57/132.10	o 19691
138.57/132.10	o 19690
138.57/132.10	o 19689
138.67/132.11	o 19687
145.29/138.74	o 19683
145.29/138.74	o 19682
145.29/138.74	o 19680
145.29/138.75	o 19671
145.29/138.75	o 19669
145.29/138.75	o 19661
145.29/138.75	o 19659
145.29/138.75	o 19658
145.29/138.76	o 19657
145.29/138.76	o 19647
145.29/138.77	o 19646
145.39/138.86	o 19639
145.39/138.86	o 19638
145.39/138.86	o 19634
145.39/138.87	o 19632
145.39/138.89	o 19631
145.49/138.90	o 19629
145.49/138.91	o 19626
145.49/138.91	o 19623
145.49/138.91	o 19621
145.49/138.91	o 19620
145.49/138.91	o 19615
145.49/138.91	o 19613
145.49/138.91	o 19608
145.49/138.91	o 19603
145.49/138.92	o 19598
145.49/138.93	o 19593
145.49/139.00	o 19580
145.60/139.02	o 19578
145.99/139.49	o 19573
146.09/139.53	o 19572
147.89/141.34	o 19569
147.89/141.34	o 19567
147.89/141.39	o 19564
147.89/141.39	o 19562
147.99/141.40	o 19553
149.19/142.62	o 19548
149.19/142.62	o 19541
149.19/142.62	o 19526
149.19/142.62	o 19521
149.19/142.62	o 19517
149.19/142.63	o 19503
149.70/143.13	o 19460
149.70/143.13	o 19435
149.70/143.13	o 19420
149.70/143.13	o 19412
149.99/143.45	o 19409
149.99/143.47	o 19406
149.99/143.48	o 19401
150.09/143.54	o 19387
150.29/143.76	o 19385
150.79/144.27	o 19383
150.89/144.36	o 19380
151.09/144.50	o 19366
151.79/145.22	o 19348
151.79/145.22	o 19344
151.79/145.23	o 19337
151.79/145.23	o 19334
151.79/145.23	o 19326
151.79/145.23	o 19323
151.79/145.23	o 19308
151.79/145.24	o 19304
151.79/145.24	o 19303
151.79/145.24	o 19302
151.79/145.24	o 19297
151.79/145.24	o 19287
151.79/145.25	o 19286
151.90/145.30	o 19285
151.90/145.31	o 19284
151.90/145.31	o 19280
151.90/145.31	o 19279
151.90/145.34	o 19271
151.90/145.34	o 19269
151.90/145.35	o 19262
151.90/145.35	o 19255
151.90/145.37	o 19252
151.90/145.37	o 19246
152.00/145.41	o 19244
152.00/145.41	o 19242
154.40/147.83	o 19232
154.40/147.83	o 19217
154.40/147.83	o 19203
154.40/147.84	o 19202
154.40/147.87	o 19198
156.40/149.80	o 19184
156.40/149.80	o 19179
156.40/149.81	o 19178
156.40/149.88	o 19173
156.50/149.90	o 19169
157.40/150.83	o 19168
157.40/150.83	o 19166
157.40/150.83	o 19164
157.40/150.83	o 19163
157.40/150.83	o 19142
157.40/150.83	o 19141
157.40/150.83	o 19140
157.40/150.87	o 19136
158.71/152.13	o 19105
158.71/152.13	o 19104
158.71/152.13	o 19100
158.71/152.13	o 19078
158.71/152.13	o 19043
158.71/152.13	o 19023
158.71/152.14	o 19021
158.71/152.14	o 19018
158.71/152.14	o 19014
158.71/152.14	o 19008
158.71/152.14	o 19004
158.71/152.14	o 19002
158.71/152.14	o 18999
158.71/152.14	o 18997
158.71/152.14	o 18994
158.71/152.17	o 18992
158.71/152.17	o 18991
158.71/152.17	o 18989
158.80/152.29	o 18979
160.00/153.43	o 18974
160.00/153.43	o 18971
160.00/153.43	o 18970
160.00/153.43	o 18966
160.00/153.43	o 18965
161.40/154.86	o 18960
161.40/154.87	o 18951
161.40/154.88	o 18945
161.61/155.07	o 18944
162.80/156.21	o 18943
162.80/156.21	o 18940
162.80/156.21	o 18934
162.80/156.22	o 18928
162.80/156.22	o 18926
162.80/156.22	o 18896
162.80/156.22	o 18890
162.80/156.23	o 18868
162.80/156.23	o 18862
162.80/156.24	o 18861
162.80/156.24	o 18852
162.80/156.24	o 18846
162.90/156.31	o 18838
162.90/156.32	o 18829
162.90/156.32	o 18820
162.90/156.34	o 18818
162.90/156.34	o 18815
162.90/156.35	o 18812
163.00/156.43	o 18810
163.00/156.44	o 18807
163.00/156.44	o 18801
163.00/156.50	o 18799
163.10/156.58	o 18795
163.20/156.70	o 18792
163.90/157.34	o 18791
163.90/157.34	o 18789
163.90/157.34	o 18783
163.90/157.34	o 18782
163.90/157.35	o 18778
163.90/157.35	o 18777
163.90/157.35	o 18768
163.90/157.35	o 18762
163.90/157.36	o 18761
163.90/157.36	o 18759
163.90/157.36	o 18758
164.20/157.67	o 18756
164.20/157.67	o 18753
164.20/157.67	o 18749
164.20/157.67	o 18743
164.20/157.67	o 18742
164.20/157.67	o 18739
164.50/157.90	o 18737
164.61/158.08	o 18735
167.90/161.38	o 18733
167.90/161.38	o 18730
168.20/161.67	o 18720
168.20/161.67	o 18717
168.30/161.72	o 18715
169.50/162.95	o 18713
169.50/162.95	o 18712
169.50/162.95	o 18707
169.50/162.95	o 18706
169.50/162.95	o 18705
169.50/162.95	o 18704
169.50/162.95	o 18698
169.50/162.95	o 18696
169.50/162.96	o 18693
169.50/162.96	o 18691
169.50/162.97	o 18689
169.50/162.97	o 18688
169.50/162.97	o 18687
169.50/162.97	o 18686
169.50/162.98	o 18681
169.50/162.99	o 18679
169.61/163.07	o 18675
169.61/163.08	o 18673
169.61/163.08	o 18672
169.61/163.08	o 18663
169.61/163.09	o 18659
169.61/163.09	o 18656
169.61/163.09	o 18654
169.71/163.19	o 18652
173.83/167.24	o 18649
173.83/167.24	o 18641
173.83/167.24	o 18638
173.83/167.25	o 18633
173.83/167.26	o 18630
173.83/167.29	o 18592
173.83/167.29	o 18589
173.83/167.29	o 18564
173.83/167.29	o 18557
173.83/167.29	o 18553
173.83/167.29	o 18551
173.83/167.29	o 18549
173.83/167.29	o 18546
173.83/167.29	o 18536
173.83/167.30	o 18518
173.93/167.30	o 18505
173.93/167.30	o 18503
173.93/167.30	o 18497
173.93/167.30	o 18494
173.93/167.30	o 18492
174.13/167.52	o 18487
174.13/167.53	o 18484
174.23/167.62	o 18483
174.43/167.85	o 18481
174.64/168.05	o 18476
174.64/168.05	o 18470
174.64/168.07	o 18468
174.83/168.24	o 18465
174.83/168.24	o 18463
174.83/168.24	o 18462
174.83/168.24	o 18460
174.93/168.30	o 18457
175.83/169.28	o 18456
176.13/169.55	o 18453
176.13/169.55	o 18450
176.64/170.05	o 18448
177.33/170.74	o 18445
177.33/170.74	o 18436
177.33/170.74	o 18433
177.33/170.74	o 18432
177.33/170.74	o 18425
177.33/170.74	o 18424
177.33/170.74	o 18422
177.33/170.74	o 18413
177.33/170.74	o 18412
177.33/170.74	o 18409
177.33/170.74	o 18408
177.33/170.74	o 18406
177.33/170.74	o 18382
177.33/170.75	o 18378
177.33/170.75	o 18368
177.33/170.75	o 18363
177.33/170.75	o 18355
177.33/170.75	o 18353
177.33/170.75	o 18347
177.33/170.75	o 18345
177.33/170.75	o 18337
177.33/170.75	o 18334
177.33/170.75	o 18333
177.33/170.75	o 18331
177.33/170.79	o 18329
177.33/170.79	o 18327
177.33/170.79	o 18326
177.33/170.79	o 18325
177.43/170.88	o 18321
177.43/170.88	o 18318
177.43/170.88	o 18317
177.43/170.88	o 18315
177.43/170.88	o 18314
177.43/170.88	o 18312
177.43/170.88	o 18302
177.43/170.88	o 18298
177.43/170.88	o 18296
177.53/170.91	o 18241
177.53/170.91	o 18236
177.53/170.91	o 18235
177.53/170.91	o 18233
177.53/170.91	o 18227
177.53/170.91	o 18226
177.53/170.91	o 18223
177.53/170.91	o 18222
177.53/170.91	o 18220
177.53/170.92	o 18219
177.53/170.92	o 18218
177.53/170.93	o 18213
177.53/170.93	o 18209
177.53/170.93	o 18207
177.53/170.93	o 18206
177.53/170.93	o 18204
177.53/170.93	o 18199
177.53/170.93	o 18197
177.64/171.05	o 18194
177.64/171.06	o 18192
177.83/171.23	o 18191
177.83/171.23	o 18189
177.83/171.24	o 18187
177.83/171.24	o 18175
177.83/171.24	o 18173
184.74/178.16	o 18172
185.53/178.99	o 18170
185.53/178.99	o 18168
185.53/178.99	o 18164
185.53/178.99	o 18160
185.53/179.00	o 18150
185.53/179.00	o 18142
185.53/179.00	o 18128
185.53/179.00	o 18109
185.53/179.01	o 18106
185.64/179.01	o 18104
185.64/179.01	o 18097
185.64/179.01	o 18094
185.64/179.04	o 18090
185.64/179.05	o 18085
185.64/179.05	o 18083
185.64/179.06	o 18077
185.64/179.07	o 18075
185.64/179.08	o 18072
185.64/179.10	o 18068
185.74/179.16	o 18066
185.74/179.16	o 18056
185.74/179.16	o 18046
185.83/179.24	o 18041
186.23/179.64	o 18039
186.23/179.64	o 18033
186.23/179.64	o 18031
186.23/179.65	o 18026
186.23/179.66	o 18024
186.74/180.12	o 18022
186.74/180.15	o 18021
186.74/180.15	o 18015
186.74/180.15	o 18014
186.74/180.18	o 18013
186.83/180.26	o 18012
187.64/181.06	o 18009
187.64/181.06	o 18008
187.64/181.06	o 18002
187.64/181.06	o 18001
188.33/181.80	o 17999
188.33/181.80	o 17994
189.03/182.42	o 17992
189.33/182.71	o 17991
189.33/182.71	o 17989
189.33/182.71	o 17986
225.38/218.77	o 17978
225.38/218.77	o 17972
225.38/218.77	o 17969
225.38/218.77	o 17953
225.38/218.77	o 17952
225.38/218.77	o 17948
225.38/218.77	o 17945
225.38/218.78	o 17938
225.38/218.78	o 17919
225.38/218.78	o 17916
227.88/221.25	o 17915
232.20/225.54	o 17912
232.30/225.66	o 17910
232.30/225.66	o 17900
232.30/225.66	o 17894
232.30/225.66	o 17886
232.30/225.67	o 17873
232.30/225.68	o 17858
232.30/225.68	o 17853
232.30/225.69	o 17852
233.60/226.96	o 17849
233.60/226.96	o 17847
233.60/226.96	o 17844
233.60/226.96	o 17834
233.60/226.96	o 17833
233.60/226.96	o 17826
233.60/226.97	o 17824
233.60/226.97	o 17819
233.60/226.98	o 17816
233.60/226.98	o 17815
233.60/226.98	o 17814
233.60/226.98	o 17812
233.60/226.98	o 17811
238.11/231.44	o 17790
238.11/231.44	o 17785
238.11/231.44	o 17782
238.11/231.44	o 17780
238.11/231.44	o 17779
238.11/231.44	o 17776
238.11/231.44	o 17752
238.11/231.44	o 17742
238.11/231.44	o 17741
238.11/231.45	o 17722
238.11/231.45	o 17721
238.11/231.45	o 17720
238.11/231.45	o 17719
238.11/231.45	o 17717
238.11/231.45	o 17716
238.11/231.45	o 17700
238.11/231.45	o 17699
238.11/231.46	o 17698
238.11/231.46	o 17697
238.11/231.46	o 17688
238.11/231.46	o 17687
238.11/231.46	o 17686
238.11/231.46	o 17678
238.11/231.46	o 17677
238.11/231.46	o 17674
238.11/231.46	o 17667
238.11/231.46	o 17666
238.21/231.54	o 17665
238.21/231.54	o 17664
238.21/231.55	o 17660
238.21/231.55	o 17659
238.61/231.96	o 17657
238.61/231.97	o 17656
238.61/231.98	o 17647
238.61/231.99	o 17644
238.61/231.99	o 17643
238.72/232.01	o 17635
238.72/232.01	o 17634
238.72/232.01	o 17633
238.72/232.01	o 17632
238.72/232.01	o 17631
238.72/232.01	o 17630
238.72/232.04	o 17629
238.72/232.04	o 17628
238.72/232.04	o 17627
238.72/232.04	o 17625
241.41/234.77	o 17622
241.51/234.88	o 17619
241.51/234.88	o 17617
241.61/234.99	o 17612
241.61/235.00	o 17610
241.61/235.00	o 17609
241.72/235.07	o 17608
241.82/235.11	o 17604
241.82/235.11	o 17602
241.82/235.11	o 17601
241.82/235.12	o 17592
242.51/235.86	o 17591
242.51/235.87	o 17590
242.51/235.87	o 17571
242.51/235.87	o 17569
242.61/235.95	o 17563
242.61/235.95	o 17558
242.72/236.04	o 17555
242.72/236.04	o 17554
242.72/236.04	o 17552
243.11/236.46	o 17548
243.11/236.46	o 17539
243.11/236.46	o 17534
243.11/236.46	o 17515
243.11/236.46	o 17512
243.11/236.47	o 17503
243.11/236.47	o 17495
243.11/236.48	o 17492
243.11/236.48	o 17487
243.41/236.76	o 17486
243.41/236.76	o 17484
244.11/237.41	o 17481
244.11/237.41	o 17480
244.11/237.41	o 17478
244.61/237.97	o 17477
244.61/237.97	o 17474
244.61/237.97	o 17471
244.61/237.97	o 17468
244.61/237.98	o 17467
244.61/237.98	o 17465
244.61/237.98	o 17460
244.61/237.99	o 17458
244.72/238.03	o 17430
244.72/238.04	o 17424
244.72/238.04	o 17388
244.72/238.05	o 17386
244.72/238.05	o 17357
244.72/238.06	o 17356
244.72/238.06	o 17354
244.72/238.06	o 17352
244.72/238.07	o 17342
244.72/238.08	o 17337
244.82/238.11	o 17334
244.82/238.11	o 17329
245.21/238.55	o 17328
245.21/238.55	o 17326
245.31/238.66	o 17325
245.31/238.68	o 17324
245.41/238.79	o 17321
245.41/238.79	o 17320
245.61/238.90	o 17316
245.61/238.91	o 17311
245.61/238.92	o 17310
246.31/239.66	o 17308
246.31/239.66	o 17307
246.31/239.66	o 17306
246.31/239.67	o 17303
246.31/239.67	o 17302
246.31/239.67	o 17301
246.31/239.69	o 17300
246.61/239.92	o 17296
246.61/239.92	o 17295
246.61/239.93	o 17294
246.61/239.96	o 17293
252.01/245.30	s SATISFIABLE
252.01/245.30	v <instantiation>
252.01/245.30	v 	<list>
252.01/245.30	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249]
252.01/245.30	v 	</list>
252.01/245.30	v 	<values>
252.01/245.30	v 		26 7 73 238 18 3 23 21 12 245 225 13 157 1 35 0 165 3 8 35 4 133 17 2 85 242 19 24 5 237 7 22 12 7 14 15 11 139 92 224 107 21 183 20 27 136 145 54 243 17 177 95 174 7 17 143 103 5 59 12 9 17 8 16 18 175 247 17 5 15 126 15 8 64 40 53 12 198 192 28 14 18 14 22 124 5 56 77 175 20 4 60 197 0 6 9 46 134 188 83 61 133 126 181 28 96 18 9 2 13 107 15 220 1 21 31 160 23 166 143 7 238 156 1 8 10 15 4 2 33 3 111 19 184 228 1 1 196 137 13 11 1 31 119 142 66 45 45 10 4 12 135 56 223 14 114 37 0 182 231 20 5 179 71 9 24 4 11 7 17 108 16 38 87 80 0 167 176 59 150 4 51 11 29 100 8 4 25 219 6 44 13 101 52 2 6 3 8 233 213 0 2 16 193 157 185 57 34 8 19 10 65 129 26 9 1 6 217 197 10 6 230 246 0 208 5 36 90 3 113 123 209 243 10 11 32 1 18 47 192 2 0 39 19 5 25 203 13 153 32 
252.01/245.30	v 	</values>
252.01/245.30	v </instantiation>

Verifier Data 

OK	17293

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310115-1534330080/watcher-4310115-1534330080 -o /tmp/evaluation-result-4310115-1534330080/solver-4310115-1534330080 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20216 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1862686862 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310115-1534330080.xml 

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

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

solver pid=20900, runsolver pid=20897

[startup+0.100094 s]*
/proc/loadavg: 2.03 1.83 1.66 4/219 20915
/proc/meminfo: memFree=24503060/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14082736 memory=30952 CPUtime=0.12 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 6645 0 0 0 11 1 0 0 20 0 15 0 250571217 14420721664 7738 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3520684 7738 3153 1 0 3482761 0
[pid=20900/tid=20902] ppid=20897 vsize=14082736 memory=-8773748148830244986 CPUtime=0.09 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 4684 0 0 0 8 1 0 0 20 0 15 0 250571217 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144808804712 140144804623517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571219 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571220 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144277939744 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571220 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144276886896 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 250571222 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144274782576 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) R 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0.01 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) R 20897 20900 20185 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 250571222 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144272676976 140144804622938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571223 14420721664 7738 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30952 KiB

[startup+0.213032 s]*
/proc/loadavg: 2.03 1.83 1.66 6/219 20915
/proc/meminfo: memFree=24468752/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14082736 memory=47008 CPUtime=0.31 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 10382 0 0 0 29 2 0 0 20 0 15 0 250571217 14420721664 11752 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3520684 11752 3365 1 0 3482761 0
[pid=20900/tid=20902] ppid=20897 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 8072 0 0 0 19 2 0 0 20 0 15 0 250571217 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144808825360 140144788682078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14082736 memory=288370822292080256 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571219 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571220 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144277939744 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571220 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144276886896 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 250571222 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144274775600 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) R 20897 20900 20185 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 250571222 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0.06 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) R 20897 20900 20185 0 -1 4202560 317 0 0 0 6 0 0 0 20 0 15 0 250571222 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144272673912 140144783410432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571223 14420721664 11752 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47008 KiB

[startup+0.310716 s]*
/proc/loadavg: 2.03 1.83 1.66 4/219 20915
/proc/meminfo: memFree=24403116/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14082736 memory=50456 CPUtime=0.45 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 10783 0 0 0 42 3 0 0 20 0 15 0 250571217 14420721664 12614 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3520684 12614 3379 1 0 3482761 0
[pid=20900/tid=20902] ppid=20897 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 8430 0 0 0 28 2 0 0 20 0 15 0 250571217 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144808813104 140144789767173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14082736 memory=288370822292080256 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571219 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571220 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144277939744 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571220 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144276886896 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 15 0 250571222 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144274782576 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) S 20897 20900 20185 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 250571222 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0.08 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) S 20897 20900 20185 0 -1 1077944384 337 0 0 0 8 0 0 0 20 0 15 0 250571222 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144272676976 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14082736 memory=140446140368512 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571223 14420721664 12614 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50456 KiB

[startup+0.700664 s]
/proc/loadavg: 2.03 1.83 1.66 3/219 20915
/proc/meminfo: memFree=24390988/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14084804 memory=89060 CPUtime=0.99 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 17594 0 0 0 94 5 0 0 20 0 15 0 250571217 14422839296 22265 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3521201 22265 3503 1 0 3483273 0
[pid=20900/tid=20902] ppid=20897 vsize=14084804 memory=1784 CPUtime=0.68 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 14840 0 0 0 63 5 0 0 20 0 15 0 250571217 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144808825696 140144788682078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14084804 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14084804 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571218 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14084804 memory=5728 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571218 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14084804 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571219 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14084804 memory=1092 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571220 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144277939744 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571220 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144276886896 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14084804 memory=10692 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14084804 memory=7450174591119418944 CPUtime=0.07 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 669 0 0 0 7 0 0 0 20 0 15 0 250571222 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144274782576 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14084804 memory=6444198537895111255 CPUtime=0.07 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) S 20897 20900 20185 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 15 0 250571222 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) S 20897 20900 20185 0 -1 1077944384 429 0 0 0 15 0 0 0 20 0 15 0 250571222 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144272676976 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571223 14422839296 22265 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89060 KiB

[startup+1.50071 s]
/proc/loadavg: 2.03 1.83 1.66 6/219 20915
/proc/meminfo: memFree=24357284/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14086852 memory=226128 CPUtime=3.4 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 24507 0 0 0 328 12 0 0 20 0 15 0 250571217 14424936448 56532 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3521713 56532 3570 1 0 3483785 0
[pid=20900/tid=20902] ppid=20897 vsize=14086852 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 17332 0 0 0 138 7 0 0 20 0 15 0 250571217 14424936448 56532 33554432000 4194304 4196468 140725528416368 140144808838272 140144804613526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14086852 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 250571218 14424936448 56532 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14086852 memory=-8609294068986781045 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 250571218 14424936448 56532 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14086852 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 250571218 14424936448 56532 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14086852 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 250571218 14424936448 56532 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 250571219 14424936448 56532 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0

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

/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 33996 0 0 0 16157 41 0 0 20 0 15 0 250571217 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144808831440 140144405316793 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14090948 memory=2304860 CPUtime=0.22 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 1851 0 0 0 13 9 0 0 20 0 15 0 250571218 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14090948 memory=2309560 CPUtime=0.22 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 1355 0 0 0 14 8 0 0 20 0 15 0 250571218 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14090948 memory=2309560 CPUtime=0.21 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1020 0 0 0 13 8 0 0 20 0 15 0 250571218 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14090948 memory=2309560 CPUtime=0.21 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 633 0 0 0 13 8 0 0 20 0 15 0 250571218 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14090948 memory=4548 CPUtime=0.02 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 2417 0 0 0 2 0 0 0 20 0 15 0 250571219 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14090948 memory=15188 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144277939808 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14090948 memory=2309560 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144276886912 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14090948 memory=2309560 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14090948 memory=2309560 CPUtime=2.58 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 9777 0 0 0 257 1 0 0 20 0 15 0 250571222 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144274782576 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14090948 memory=2309560 CPUtime=2.5 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) S 20897 20900 20185 0 -1 1077944384 8593 0 0 0 249 1 0 0 20 0 15 0 250571222 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14090948 memory=2309560 CPUtime=0.85 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) S 20897 20900 20185 0 -1 1077944384 6706 0 0 0 83 2 0 0 20 0 15 0 250571222 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144272676976 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14090948 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14090948 memory=2309560 CPUtime=0.05 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 154 0 0 0 3 2 0 0 20 0 15 0 250571223 14429130752 577390 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 168.9 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2309560 KiB

[startup+222.301 s]
/proc/loadavg: 1.79 1.78 1.68 3/221 20928
/proc/meminfo: memFree=22110736/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14090948 memory=2321284 CPUtime=228.98 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 72121 0 0 0 22812 86 0 0 20 0 15 0 250571217 14429130752 580321 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3522737 580321 3589 1 0 3484809 0
[pid=20900/tid=20902] ppid=20897 vsize=14090948 memory=2321284 CPUtime=221.95 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 36433 0 0 0 22153 42 0 0 20 0 15 0 250571217 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144808836704 140144405957192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14090948 memory=2316724 CPUtime=0.24 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 2568 0 0 0 15 9 0 0 20 0 15 0 250571218 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14090948 memory=2321284 CPUtime=0.23 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 1614 0 0 0 15 8 0 0 20 0 15 0 250571218 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14090948 memory=2321284 CPUtime=0.22 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1267 0 0 0 14 8 0 0 20 0 15 0 250571218 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14090948 memory=6864 CPUtime=0.22 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 699 0 0 0 14 8 0 0 20 0 15 0 250571218 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14090948 memory=2321284 CPUtime=0.02 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 2651 0 0 0 2 0 0 0 20 0 15 0 250571219 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14090948 memory=2321284 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144277939808 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14090948 memory=2321284 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144276886912 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14090948 memory=2321284 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14090948 memory=2321284 CPUtime=2.58 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 9783 0 0 0 257 1 0 0 20 0 15 0 250571222 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144274782576 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14090948 memory=3500 CPUtime=2.5 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) S 20897 20900 20185 0 -1 1077944384 8698 0 0 0 249 1 0 0 20 0 15 0 250571222 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14090948 memory=3500 CPUtime=0.85 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) S 20897 20900 20185 0 -1 1077944384 6828 0 0 0 83 2 0 0 20 0 15 0 250571222 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144272676976 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14090948 memory=68220 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14090948 memory=2321284 CPUtime=0.07 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 161 0 0 0 4 3 0 0 20 0 15 0 250571223 14429130752 580321 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 228.98 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2321284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+245.301 s]
/proc/loadavg: 1.78 1.78 1.68 2/202 20939
/proc/meminfo: memFree=22380068/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14090948 memory=2317656 CPUtime=252.01 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 74638 0 0 0 25115 86 0 0 20 0 15 0 250571217 14429130752 579414 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3522737 579414 3589 1 0 3484809 0
[pid=20900/tid=20902] ppid=20897 vsize=14090948 memory=2317656 CPUtime=244.94 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 37473 0 0 0 24452 42 0 0 20 0 15 0 250571217 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144808831440 140144405353909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0.24 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 2591 0 0 0 15 9 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0.24 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 1710 0 0 0 16 8 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14090948 memory=33 CPUtime=0.23 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1436 0 0 0 15 8 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14090948 memory=4481 CPUtime=0.23 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 1210 0 0 0 15 8 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14090948 memory=4420 CPUtime=0.02 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 2869 0 0 0 2 0 0 0 20 0 15 0 250571219 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144277939808 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144276886912 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14090948 memory=2317656 CPUtime=2.59 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 10069 0 0 0 258 1 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144274782576 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14090948 memory=0 CPUtime=2.5 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) S 20897 20900 20185 0 -1 1077944384 8700 0 0 0 249 1 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14090948 memory=288230596050944315 CPUtime=0.85 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) S 20897 20900 20185 0 -1 1077944384 6971 0 0 0 83 2 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144272676976 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14090948 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 190 0 0 0 4 4 0 0 20 0 15 0 250571223 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2317656 KiB

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

[startup+245.325 s]
# the end of solver process 20900 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.167 s, system=0.884347 s

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

[startup+245.301 s]
/proc/loadavg: 1.78 1.78 1.68 2/202 20939
/proc/meminfo: memFree=22380068/32770624 swapFree=67108840/67108860
[pid=20900] ppid=20897 vsize=14090948 memory=2317656 CPUtime=252.01 cores=0,2,4,6
/proc/20900/stat : 20900 (java) S 20897 20900 20185 0 -1 1077944320 74638 0 0 0 25115 86 0 0 20 0 15 0 250571217 14429130752 579414 33554432000 4194304 4196468 140725528416368 140725528398912 140144804601591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
/proc/20900/statm: 3522737 579414 3589 1 0 3484809 0
[pid=20900/tid=20902] ppid=20897 vsize=14090948 memory=2317656 CPUtime=244.94 cores=0,2,4,6
/proc/20900/task/20902/stat : 20902 (java) R 20897 20900 20185 0 -1 4202560 37473 0 0 0 24452 42 0 0 20 0 15 0 250571217 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144808831440 140144405353909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20903] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0.24 cores=0,2,4,6
/proc/20900/task/20903/stat : 20903 (java) S 20897 20900 20185 0 -1 1077944384 2591 0 0 0 15 9 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144719669904 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20904] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0.24 cores=0,2,4,6
/proc/20900/task/20904/stat : 20904 (java) S 20897 20900 20185 0 -1 1077944384 1710 0 0 0 16 8 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144718617104 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20905] ppid=20897 vsize=14090948 memory=33 CPUtime=0.23 cores=0,2,4,6
/proc/20900/task/20905/stat : 20905 (java) S 20897 20900 20185 0 -1 1077944384 1436 0 0 0 15 8 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144717564304 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20906] ppid=20897 vsize=14090948 memory=4481 CPUtime=0.23 cores=0,2,4,6
/proc/20900/task/20906/stat : 20906 (java) S 20897 20900 20185 0 -1 1077944384 1210 0 0 0 15 8 0 0 20 0 15 0 250571218 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144396986640 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20907] ppid=20897 vsize=14090948 memory=4420 CPUtime=0.02 cores=0,2,4,6
/proc/20900/task/20907/stat : 20907 (java) S 20897 20900 20185 0 -1 1077944384 2869 0 0 0 2 0 0 0 20 0 15 0 250571219 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144278993776 140144804612738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20908] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20908/stat : 20908 (java) S 20897 20900 20185 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144277939808 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20909] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20909/stat : 20909 (java) S 20897 20900 20185 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250571220 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144276886912 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20910] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20910/stat : 20910 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144275835216 140144804620187 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20911] ppid=20897 vsize=14090948 memory=2317656 CPUtime=2.59 cores=0,2,4,6
/proc/20900/task/20911/stat : 20911 (java) S 20897 20900 20185 0 -1 1077944384 10069 0 0 0 258 1 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144274782576 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20912] ppid=20897 vsize=14090948 memory=0 CPUtime=2.5 cores=0,2,4,6
/proc/20900/task/20912/stat : 20912 (java) S 20897 20900 20185 0 -1 1077944384 8700 0 0 0 249 1 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144273729776 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20913] ppid=20897 vsize=14090948 memory=288230596050944315 CPUtime=0.85 cores=0,2,4,6
/proc/20900/task/20913/stat : 20913 (java) S 20897 20900 20185 0 -1 1077944384 6971 0 0 0 83 2 0 0 20 0 15 0 250571222 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144272676976 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20914] ppid=20897 vsize=14090948 memory=2317656 CPUtime=0 cores=0,2,4,6
/proc/20900/task/20914/stat : 20914 (java) S 20897 20900 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571223 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144271624416 140144804611797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
[pid=20900/tid=20915] ppid=20897 vsize=14090948 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/20900/task/20915/stat : 20915 (java) S 20897 20900 20185 0 -1 1077944384 190 0 0 0 4 4 0 0 20 0 15 0 250571223 14429130752 579414 33554432000 4194304 4196468 140725528416368 140144270572720 140144804612738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24920064 140725528421454 140725528421646 140725528421646 140725528424399 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2317656 KiB

Child status: 143
Real time (s): 245.325
CPU time (s): 252.051
CPU user time (s): 251.167
CPU system time (s): 0.884347
CPU usage (%): 102.742
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 2321284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.167
system time used= 0.884347
maximum resident set size= 2325448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8401
involuntary context switches= 487


# summary of solver processes directly reported to runsolver:
#   pid: 20900
#   total CPU time (s): 252.051
#   total CPU user time (s): 251.167
#   total CPU system time (s): 0.884347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5263 second user time and 2.4836 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 12:48:00
IDJOB=4310115
IDBENCH=141218
IDSOLVER=2795
FILE ID=node135/4310115-1534330080
RUNJOBID= node135-1534329094-20216
PBS_JOBID= 21038158
Free space on /tmp= 47172 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310115-1534330080/watcher-4310115-1534330080 -o /tmp/evaluation-result-4310115-1534330080/solver-4310115-1534330080 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534329094-20216 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1862686862 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310115-1534330080.xml

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

MD5SUM BENCH= 6d15d8403aebe79e9693643b2fca1a5e
RANDOM SEED=1862686862

node135.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.50
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.50
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.50
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.50
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:        24535168 kB
MemAvailable:   31743732 kB
Buffers:          160696 kB
Cached:          7282312 kB
SwapCached:           20 kB
Active:          4186120 kB
Inactive:        3464220 kB
Active(anon):     156792 kB
Inactive(anon):   111464 kB
Active(file):    4029328 kB
Inactive(file):  3352756 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             72304 kB
Writeback:             0 kB
AnonPages:        174020 kB
Mapped:            71096 kB
Shmem:             57996 kB
Slab:             283040 kB
SReclaimable:     254940 kB
SUnreclaim:        28100 kB
KernelStack:        3616 kB
PageTables:         5776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1329408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 47136 MiB
End job on node135 at 2018-08-15 12:52:06