Trace number 1112972

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 2078.47 2092.64

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-0.xml
MD5SUMfac073e8eb5ef4bb7103b84225c28dd2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints1158
Best CPU time to get the best result obtained on this benchmark3600
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.05/0.22	
0.05/0.22	Abscon 112 (May, 2008)
0.23/0.43	
0.23/0.43	   configuration
0.23/0.43	     name=mrdac-ddeg.xml
0.30/0.50	   
0.30/0.50	   instance
0.30/0.50	     name=HOME/instance-1112972-1215876304.xml
0.30/0.54	   
0.30/0.55	   domains being loaded...
0.30/0.59	   
0.30/0.59	   variables being loaded...
0.59/0.89	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362  nbTotalValues=774322
0.59/0.89	       =>  wckTime=0.448  cpuTime=0.3  mem=32M291
0.59/0.89	   
0.59/0.89	   predicates being loaded...
0.69/0.95	   
0.69/0.95	   constraints being loaded...
10.74/11.06	   
10.74/11.06	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 75M870)
16.51/16.81	     nbConstraints=40767  nbConvertedConstraints=282  nbConvertConstraintsChecks=33948248  nbExtensionStructures=255
16.51/16.81	     nbSharedExtensionStructures=82  nbConflictsStructures=1413  nbSharedConflictsStructures=287
16.51/16.81	     nbUnbuiltConflictsStructures=9699  nbSharedBinaryRepresentations=146847  nbEvaluationManagers=10857
16.51/16.81	     nbSharedEvaluationManagers=29628  minDegree=3  maxDegree=52  minArity=2  maxArity=2
16.51/16.81	       =>  wckTime=16.376  cpuTime=14.97  mem=99M515
17.01/17.36	   
17.01/17.36	   solver LocalSearchSolver being built... 
17.11/17.41	       =>  wckTime=16.972  cpuTime=15.02  mem=84M673
17.31/17.63	
17.31/17.63	s SATISFIABLE
17.31/17.63	o 10169
17.40/17.78	o 10160
17.50/17.87	o 10154
17.60/17.96	o 10140
17.70/18.02	o 10130
17.80/18.12	o 10127
17.80/18.17	o 10118
17.90/18.24	o 10111
17.90/18.28	o 10105
18.00/18.34	o 10099
18.00/18.39	o 10094
18.10/18.42	o 10089
18.10/18.48	o 10084
18.20/18.50	o 10080
18.20/18.54	o 10076
18.20/18.56	o 10073
18.20/18.58	o 10070
18.30/18.61	o 10067
18.30/18.63	o 10064
18.30/18.65	o 10058
18.30/18.69	o 10057
18.40/18.74	o 10050
18.40/18.77	o 10041
18.49/18.85	o 10031
18.59/18.92	o 10023
18.69/19.00	o 10015
18.69/19.07	o 10008
18.79/19.16	o 10001
18.89/19.22	o 9994
18.89/19.28	o 9988
18.99/19.34	o 9982
19.09/19.41	o 9977
19.09/19.48	o 9972
19.19/19.53	o 9967
19.29/19.60	o 9963
19.29/19.67	o 9959
19.39/19.73	o 9955
19.39/19.79	o 9953
19.49/19.83	o 9951
19.49/19.87	o 9950
19.58/19.90	o 9949
19.58/19.94	o 9948
19.58/19.98	o 9947
19.68/20.09	o 9942
19.78/20.14	o 9941
19.88/20.21	o 9938
19.88/20.28	o 9930
19.98/20.36	o 9922
20.08/20.44	o 9915
20.18/20.51	o 9908
20.18/20.58	o 9902
20.28/20.65	o 9897
20.38/20.71	o 9892
20.38/20.78	o 9887
20.48/20.85	o 9882
20.58/20.90	o 9878
20.58/20.96	o 9874
20.67/21.02	o 9871
20.67/21.07	o 9868
20.77/21.13	o 9865
20.77/21.18	o 9862
20.87/21.25	o 9859
20.97/21.31	o 9856
20.97/21.36	o 9853
21.08/21.41	o 9851
21.08/21.46	o 9839
21.18/21.53	o 9837
21.18/21.58	o 9835
21.28/21.62	o 9832
21.28/21.66	o 9831
21.38/21.79	o 9827
21.48/21.83	o 9819
21.48/21.88	o 9814
21.58/21.90	o 9805
21.58/21.96	o 9799
21.68/22.02	o 9792
21.68/22.07	o 9790
21.77/22.11	o 9787
21.77/22.15	o 9786
21.77/22.19	o 9785
21.87/22.23	o 9776
21.97/22.31	o 9765
21.97/22.39	o 9763
22.07/22.49	o 9756
22.17/22.59	o 9754
22.27/22.68	o 9753
22.37/22.77	o 9746
22.47/22.86	o 9744
22.57/22.95	o 9738
22.67/23.04	o 9732
22.77/23.13	o 9726
22.87/23.22	o 9721
22.87/23.30	o 9716
22.96/23.37	o 9711
23.06/23.46	o 9707
23.16/23.53	o 9703
23.26/23.61	o 9699
23.26/23.68	o 9693
23.36/23.75	o 9689
23.46/23.82	o 9685
23.46/23.88	o 9681
23.56/23.95	o 9678
23.66/24.01	o 9675
23.66/24.07	o 9672
23.76/24.13	o 9669
23.76/24.19	o 9666
23.86/24.24	o 9663
23.96/24.30	o 9661
23.96/24.34	o 9659
23.96/24.38	o 9658
24.06/24.42	o 9656
24.06/24.45	o 9655
24.16/24.50	o 9654
24.25/24.68	o 9653
24.35/24.73	o 9644
24.35/24.76	o 9635
24.35/24.79	o 9632
24.45/24.82	o 9630
24.45/24.87	o 9621
24.56/24.90	o 9617
24.56/24.94	o 9610
24.56/24.97	o 9605
24.66/25.00	o 9604
24.66/25.05	o 9601
24.66/25.09	o 9599
24.76/25.11	o 9598
24.76/25.15	o 9597
24.76/25.19	o 9594
24.86/25.22	o 9593
24.86/25.28	o 9586
24.96/25.32	o 9583
25.05/25.40	o 9577
25.05/25.49	o 9567
25.15/25.58	o 9558
25.25/25.67	o 9551
25.35/25.77	o 9544
25.45/25.88	o 9537
25.55/25.99	o 9531
25.65/26.08	o 9525
25.75/26.18	o 9519
25.85/26.28	o 9512
25.95/26.38	o 9506
26.05/26.47	o 9500
26.14/26.57	o 9495
26.24/26.66	o 9490
26.34/26.75	o 9485
26.44/26.84	o 9480
26.54/26.93	o 9475
26.64/27.01	o 9471
26.64/27.08	o 9470
26.74/27.16	o 9466
26.84/27.25	o 9462
26.94/27.33	o 9458
27.04/27.41	o 9451
27.04/27.49	o 9446
27.15/27.56	o 9442
27.24/27.63	o 9438
27.34/27.70	o 9434
27.34/27.77	o 9430
27.44/27.84	o 9426
27.54/27.90	o 9423
27.54/27.96	o 9415
27.64/28.03	o 9412
27.74/28.10	o 9409
27.74/28.17	o 9406
27.84/28.23	o 9403
27.84/28.28	o 9400
27.94/28.32	o 9398
27.94/28.40	o 9396
28.04/28.45	o 9394
28.14/28.51	o 9392
28.14/28.56	o 9390
28.24/28.61	o 9388
28.24/28.66	o 9387
28.24/28.70	o 9386
28.43/28.83	o 9383
28.43/28.87	o 9382
28.53/28.93	o 9373
28.53/28.98	o 9370
28.63/29.02	o 9365
28.63/29.06	o 9364
28.73/29.11	o 9359
28.73/29.14	o 9355
28.73/29.18	o 9353
28.83/29.21	o 9349
28.83/29.25	o 9348
28.83/29.30	o 9345
28.92/29.35	o 9341
29.02/29.40	o 9336
29.02/29.45	o 9333
29.02/29.49	o 9330
29.12/29.54	o 9328
29.12/29.57	o 9322
29.22/29.62	o 9318
29.22/29.66	o 9313
29.22/29.69	o 9312
29.32/29.74	o 9303
29.32/29.78	o 9299
29.42/29.85	o 9297
29.52/29.91	o 9294
29.52/29.96	o 9291
29.62/30.01	o 9283
29.62/30.06	o 9277
29.72/30.13	o 9270
29.72/30.18	o 9267
29.82/30.23	o 9263
29.92/30.31	o 9259
29.92/30.36	o 9257
30.02/30.44	o 9255
30.02/30.49	o 9252
30.12/30.55	o 9250
30.22/30.62	o 9244
30.22/30.68	o 9240
30.32/30.74	o 9239
30.32/30.80	o 9236
30.42/30.87	o 9233
30.51/30.98	o 9226
30.71/31.12	o 9222
30.71/31.18	o 9217
30.81/31.23	o 9211
30.91/31.38	o 9207
31.01/31.45	o 9205
31.11/31.51	o 9202
31.21/31.61	o 9191
31.21/31.69	o 9189
31.32/31.77	o 9187
31.51/31.98	o 9178
31.61/32.07	o 9170
31.71/32.17	o 9163
31.81/32.27	o 9157
31.91/32.37	o 9151
32.01/32.48	o 9145
32.11/32.58	o 9140
32.21/32.68	o 9135
32.31/32.77	o 9130
32.41/32.87	o 9126
32.51/33.00	o 9122
32.61/33.09	o 9114
32.70/33.19	o 9108
32.80/33.28	o 9102
32.90/33.37	o 9097
33.00/33.47	o 9093
33.10/33.56	o 9089
33.20/33.66	o 9086
33.30/33.75	o 9083
33.40/33.84	o 9080
33.50/33.93	o 9077
33.60/34.02	o 9069
33.70/34.11	o 9066
33.79/34.20	o 9061
33.79/34.29	o 9056
33.89/34.37	o 9054
33.99/34.46	o 9052
34.09/34.56	o 9050
34.19/34.65	o 9048
34.29/34.75	o 9046
34.39/34.84	o 9044
34.49/34.92	o 9043
34.59/35.00	o 9042
35.09/35.60	o 9041
35.38/35.85	o 9040
35.48/35.91	o 9033
35.48/35.97	o 9030
35.58/36.04	o 9025
35.58/36.10	o 9021
35.68/36.15	o 9018
35.78/36.21	o 9013
35.78/36.26	o 9008
35.88/36.32	o 9003
35.88/36.36	o 9000
35.98/36.42	o 8995
35.98/36.48	o 8994
36.08/36.59	o 8987
36.18/36.66	o 8985
36.28/36.71	o 8980
36.28/36.77	o 8971
36.38/36.83	o 8963
36.38/36.88	o 8958
36.48/36.93	o 8951
36.58/37.01	o 8946
36.58/37.06	o 8943
36.68/37.11	o 8941
36.68/37.15	o 8939
36.78/37.20	o 8938
36.78/37.25	o 8933
36.87/37.31	o 8930
36.87/37.38	o 8928
36.97/37.43	o 8923
36.97/37.48	o 8919
37.07/37.54	o 8913
37.07/37.60	o 8905
37.17/37.67	o 8903
37.27/37.72	o 8901
37.37/37.80	o 8897
37.37/37.85	o 8896
37.47/37.91	o 8895
37.47/37.98	o 8893
37.57/38.06	o 8887
37.67/38.14	o 8882
37.77/38.22	o 8875
37.77/38.28	o 8871
37.97/38.45	o 8865
38.07/38.53	o 8864
38.16/38.60	o 8862
38.16/38.68	o 8856
38.27/38.75	o 8855
38.37/38.84	o 8850
38.47/38.99	o 8849
38.57/39.09	o 8846
38.67/39.19	o 8844
38.77/39.29	o 8841
38.87/39.37	o 8836
38.97/39.47	o 8831
39.06/39.56	o 8830
39.26/39.72	o 8827
39.36/39.81	o 8822
39.46/39.91	o 8813
39.56/40.02	o 8806
39.65/40.13	o 8800
39.75/40.24	o 8797
39.85/40.35	o 8791
39.95/40.42	o 8785
40.05/40.53	o 8780
40.15/40.63	o 8775
40.25/40.73	o 8770
40.35/40.82	o 8765
40.45/40.91	o 8761
40.45/41.00	o 8757
40.64/41.10	o 8753
40.64/41.19	o 8750
40.74/41.28	o 8747
40.84/41.38	o 8744
40.95/41.47	o 8741
41.05/41.56	o 8739
41.15/41.63	o 8737
41.25/41.72	o 8732
41.35/41.81	o 8730
41.35/41.89	o 8728
41.45/41.96	o 8727
41.55/42.01	o 8726
41.55/42.08	o 8725
41.64/42.13	o 8724
41.94/42.41	o 8717
42.04/42.57	o 8715
42.14/42.64	o 8707
42.34/42.80	o 8703
42.34/42.87	o 8702
42.44/42.94	o 8697
42.54/43.00	o 8693
42.54/43.09	o 8690
42.64/43.18	o 8689
42.74/43.28	o 8685
42.84/43.35	o 8676
42.94/43.44	o 8673
43.04/43.52	o 8670
43.14/43.63	o 8665
43.24/43.80	o 8660
43.34/43.87	o 8658
43.44/43.95	o 8654
43.54/44.06	o 8653
43.63/44.14	o 8646
43.83/44.32	o 8641
43.93/44.50	o 8636
44.33/44.81	o 8632
44.43/44.92	o 8631
44.53/45.01	o 8630
44.92/45.46	o 8624
45.02/45.57	o 8621
45.22/45.70	o 8616
45.32/45.83	o 8607
45.42/45.94	o 8604
45.52/46.07	o 8600
45.62/46.19	o 8594
45.82/46.31	o 8589
46.01/46.54	o 8588
46.11/46.64	o 8584
46.21/46.77	o 8583
46.31/46.88	o 8579
46.51/47.00	o 8576
46.71/47.26	o 8575
46.81/47.37	o 8574
46.91/47.48	o 8572
47.11/47.61	o 8571
47.31/47.84	o 8566
47.41/47.98	o 8561
47.51/48.09	o 8557
47.71/48.21	o 8556
47.81/48.34	o 8555
47.91/48.46	o 8553
48.00/48.58	o 8548
48.20/48.72	o 8544
48.30/48.85	o 8542
48.40/49.00	o 8537
48.60/49.13	o 8535
48.70/49.25	o 8534
48.80/49.36	o 8533
48.90/49.48	o 8529
49.09/49.62	o 8527
49.19/49.76	o 8524
49.29/49.87	o 8518
49.39/49.99	o 8517
49.59/50.11	o 8513
49.69/50.24	o 8511
49.79/50.37	o 8507
49.89/50.48	o 8505
49.99/50.60	o 8500
50.19/50.70	o 8496
50.29/50.81	o 8492
50.39/50.93	o 8489
50.59/51.14	o 8484
50.69/51.25	o 8483
50.79/51.38	o 8479
50.99/51.51	o 8476
51.09/51.61	o 8475
51.19/51.74	o 8466
51.28/51.87	o 8464
51.48/52.00	o 8460
51.59/52.13	o 8456
51.69/52.27	o 8453
51.79/52.40	o 8450
51.99/52.52	o 8447
52.09/52.65	o 8444
52.19/52.79	o 8441
52.38/52.90	o 8439
52.48/53.02	o 8433
52.58/53.14	o 8431
52.68/53.28	o 8430
52.88/53.41	o 8429
53.08/53.64	o 8422
53.28/53.86	o 8417
53.57/54.17	o 8413
53.67/54.27	o 8409
53.87/54.46	o 8404
53.97/54.56	o 8398
54.07/54.66	o 8393
54.27/54.85	o 8391
54.37/54.95	o 8387
54.47/55.06	o 8384
54.67/55.25	o 8379
54.77/55.33	o 8376
54.87/55.42	o 8368
54.97/55.51	o 8365
55.07/55.61	o 8364
55.17/55.71	o 8360
55.27/55.81	o 8358
55.36/55.91	o 8354
55.46/56.02	o 8348
55.66/56.20	o 8343
55.66/56.29	o 8337
55.76/56.39	o 8331
55.96/56.50	o 8326
56.06/56.61	o 8325
56.16/56.71	o 8317
56.26/56.82	o 8308
56.35/56.92	o 8307
56.45/57.02	o 8305
56.55/57.12	o 8298
56.86/57.43	o 8295
56.96/57.53	o 8294
57.06/57.64	o 8290
57.16/57.73	o 8289
57.26/57.81	o 8288
57.26/57.90	o 8285
57.46/58.02	o 8280
57.56/58.12	o 8277
57.66/58.24	o 8269
57.75/58.33	o 8267
57.85/58.44	o 8265
58.05/58.65	o 8263
58.15/58.75	o 8254
58.25/58.85	o 8253
58.35/58.96	o 8250
58.45/59.08	o 8247
58.55/59.19	o 8246
58.65/59.30	o 8241
58.85/59.42	o 8239
58.95/59.55	o 8235
59.05/59.65	o 8230
59.15/59.76	o 8223
59.25/59.87	o 8220
59.35/59.98	o 8215
59.54/60.11	o 8212
59.64/60.24	o 8208
59.84/60.48	o 8204
60.04/60.61	o 8198
60.14/60.73	o 8195
60.24/60.84	o 8193
60.74/61.34	o 8190
60.84/61.48	o 8187
61.04/61.61	o 8185
61.13/61.73	o 8184
61.23/61.89	o 8182
61.43/62.06	o 8180
61.53/62.18	o 8179
61.73/62.30	o 8177
61.83/62.43	o 8175
62.13/62.75	o 8165
62.23/62.89	o 8164
62.43/63.05	o 8159
62.52/63.19	o 8155
62.72/63.34	o 8152
62.82/63.49	o 8150
63.02/63.65	o 8149
63.22/63.83	o 8145
63.52/64.15	o 8139
63.72/64.31	o 8138
63.82/64.46	o 8137
64.02/64.61	o 8134
64.12/64.77	o 8130
64.41/65.07	o 8126
64.91/65.52	o 8122
65.21/65.83	o 8116
65.31/66.00	o 8111
65.50/66.13	o 8110
65.61/66.29	o 8108
65.81/66.44	o 8105
65.91/66.58	o 8102
66.10/66.74	o 8099
66.40/67.03	o 8094
66.70/67.33	o 8090
66.80/67.48	o 8088
67.00/67.64	o 8084
67.10/67.78	o 8083
67.30/67.92	o 8078
67.69/68.38	o 8076
67.89/68.52	o 8074
67.99/68.67	o 8072
68.19/68.81	o 8070
68.49/69.10	o 8064
68.59/69.25	o 8061
68.79/69.40	o 8059
69.00/69.69	o 8055
69.19/69.85	o 8053
69.49/70.17	o 8045
69.69/70.35	o 8044
69.89/70.51	o 8039
69.99/70.66	o 8034
70.19/70.83	o 8031
70.39/71.02	o 8029
70.49/71.17	o 8028
70.69/71.33	o 8027
70.79/71.49	o 8026
70.98/71.66	o 8025
71.48/72.12	o 8022
71.58/72.28	o 8020
71.78/72.43	o 8014
71.88/72.59	o 8013
72.27/72.91	o 8009
72.37/73.07	o 8007
72.57/73.24	o 8002
72.77/73.41	o 8000
73.07/73.74	o 7997
73.27/73.93	o 7993
73.37/74.09	o 7988
73.87/74.58	o 7986
74.06/74.75	o 7982
74.36/75.08	o 7980
74.56/75.23	o 7977
75.06/75.74	o 7975
75.16/75.89	o 7972
75.35/76.06	o 7970
75.55/76.23	o 7968
75.65/76.39	o 7964
75.85/76.53	o 7963
76.05/76.70	o 7962
76.15/76.87	o 7958
76.35/77.03	o 7956
76.44/77.19	o 7949
76.64/77.33	o 7947
76.74/77.48	o 7945
76.94/77.66	o 7944
77.14/77.82	o 7943
77.24/77.98	o 7937
77.44/78.14	o 7933
77.74/78.45	o 7930
77.94/78.62	o 7929
78.04/78.79	o 7926
78.24/78.96	o 7922
78.44/79.12	o 7920
78.63/79.30	o 7919
78.74/79.48	o 7914
78.94/79.67	o 7912
79.14/79.85	o 7905
79.34/80.04	o 7901
79.54/80.25	o 7897
79.73/80.44	o 7896
79.93/80.61	o 7892
80.03/80.78	o 7888
80.43/81.18	o 7887
80.63/81.37	o 7885
80.83/81.55	o 7882
81.03/81.74	o 7877
81.23/81.91	o 7870
81.33/82.08	o 7868
81.53/82.27	o 7864
81.73/82.45	o 7861
81.92/82.63	o 7855
82.12/82.81	o 7854
82.22/82.97	o 7851
82.42/83.16	o 7844
82.62/83.36	o 7843
83.01/83.74	o 7839
83.41/84.15	o 7837
83.61/84.36	o 7834
83.81/84.56	o 7833
84.01/84.76	o 7829
84.21/84.95	o 7823
84.41/85.15	o 7821
84.60/85.34	o 7820
84.80/85.54	o 7817
85.00/85.72	o 7810
85.20/85.92	o 7808
85.30/86.09	o 7805
85.50/86.28	o 7804
85.70/86.45	o 7797
85.90/86.64	o 7794
86.10/86.81	o 7790
86.20/87.00	o 7786
86.59/87.36	o 7784
86.79/87.55	o 7783
86.99/87.73	o 7782
87.19/87.92	o 7780
87.38/88.13	o 7778
87.59/88.31	o 7777
87.69/88.49	o 7771
87.89/88.69	o 7765
88.09/88.89	o 7764
88.29/89.07	o 7761
88.49/89.25	o 7757
88.69/89.44	o 7752
89.09/89.80	o 7748
89.19/89.98	o 7740
89.58/90.36	o 7739
89.78/90.55	o 7737
89.98/90.73	o 7735
90.38/91.13	o 7732
90.58/91.33	o 7731
90.78/91.51	o 7729
90.98/91.71	o 7728
91.18/91.91	o 7726
91.38/92.10	o 7720
91.48/92.29	o 7715
91.68/92.49	o 7711
91.87/92.68	o 7709
92.07/92.85	o 7707
92.27/93.03	o 7701
92.47/93.23	o 7697
92.67/93.42	o 7690
93.06/93.83	o 7686
93.26/94.01	o 7680
94.15/94.90	o 7678
94.25/95.07	o 7675
94.45/95.24	o 7672
94.65/95.41	o 7668
94.75/95.57	o 7666
95.15/95.95	o 7658
95.35/96.10	o 7654
95.65/96.49	o 7650
96.05/96.85	o 7645
96.24/97.02	o 7642
96.44/97.21	o 7639
96.54/97.38	o 7636
96.74/97.56	o 7635
96.94/97.74	o 7627
97.14/97.93	o 7623
97.33/98.12	o 7622
97.53/98.30	o 7619
97.84/98.66	o 7616
98.04/98.83	o 7615
98.24/99.04	o 7611
98.44/99.24	o 7608
98.64/99.43	o 7604
98.84/99.63	o 7598
99.03/99.85	o 7592
99.23/100.08	o 7588
99.43/100.28	o 7584
99.63/100.49	o 7580
99.93/100.71	o 7577
100.13/100.91	o 7571
100.33/101.12	o 7569
100.53/101.33	o 7568
100.73/101.53	o 7567
100.92/101.73	o 7566
101.12/101.94	o 7565
101.32/102.16	o 7563
102.32/103.20	o 7561
102.52/103.40	o 7560
102.81/103.61	o 7558
103.21/104.01	o 7554
103.41/104.20	o 7549
103.61/104.41	o 7547
103.81/104.61	o 7546
103.91/104.79	o 7544
104.21/105.03	o 7543
104.41/105.26	o 7541
104.61/105.46	o 7537
104.80/105.68	o 7532
105.30/106.11	o 7528
105.50/106.31	o 7526
105.70/106.51	o 7523
105.90/106.72	o 7520
106.09/106.93	o 7516
106.29/107.13	o 7515
106.49/107.34	o 7511
106.69/107.54	o 7509
106.89/107.75	o 7507
107.08/107.95	o 7506
107.68/108.55	o 7502
107.88/108.78	o 7501
108.18/109.00	o 7499
108.38/109.22	o 7497
108.78/109.67	o 7493
109.27/110.11	o 7489
109.67/110.54	o 7487
109.87/110.78	o 7484
110.07/110.99	o 7480
110.37/111.24	o 7477
110.77/111.64	o 7473
110.97/111.85	o 7470
111.17/112.06	o 7468
111.37/112.27	o 7464
111.56/112.48	o 7463
111.76/112.69	o 7458
111.96/112.89	o 7454
112.27/113.10	o 7451
112.46/113.32	o 7448
112.86/113.72	o 7442
113.06/113.92	o 7437
113.26/114.12	o 7432
113.46/114.34	o 7428
113.65/114.53	o 7425
114.05/114.92	o 7421
114.25/115.11	o 7419
114.45/115.31	o 7413
114.55/115.50	o 7410
114.74/115.70	o 7409
114.94/115.89	o 7408
115.14/116.08	o 7404
115.34/116.28	o 7402
115.54/116.48	o 7399
115.94/116.85	o 7398
116.14/117.02	o 7392
116.53/117.41	o 7389
116.73/117.63	o 7386
116.93/117.83	o 7385
117.13/118.02	o 7383
117.33/118.21	o 7381
117.53/118.40	o 7375
117.83/118.77	o 7374
118.42/119.35	o 7370
118.62/119.52	o 7368
118.82/119.71	o 7365
119.42/120.31	o 7364
119.52/120.50	o 7362
119.72/120.68	o 7358
119.92/120.88	o 7352
120.31/121.28	o 7350
120.51/121.47	o 7345
120.71/121.65	o 7340
120.91/121.84	o 7336
121.11/122.04	o 7335
121.50/122.40	o 7331
121.90/122.81	o 7326
122.10/123.02	o 7321
122.30/123.23	o 7318
123.09/124.01	o 7315
123.29/124.21	o 7314
123.39/124.39	o 7312
123.59/124.57	o 7309
123.79/124.75	o 7305
123.99/124.92	o 7304
124.09/125.09	o 7303
124.29/125.28	o 7301
124.49/125.47	o 7299
124.69/125.65	o 7293
124.89/125.84	o 7291
125.68/126.62	o 7285
125.88/126.82	o 7279
126.08/127.03	o 7276
126.28/127.24	o 7274
126.48/127.44	o 7272
126.88/127.84	o 7269
127.08/128.05	o 7267
127.28/128.24	o 7260
128.07/129.09	o 7257
128.37/129.32	o 7253
128.77/129.80	o 7250
129.06/130.03	o 7245
129.26/130.23	o 7240
129.46/130.46	o 7235
129.96/130.94	o 7232
130.16/131.16	o 7228
130.36/131.39	o 7225
130.66/131.62	o 7219
130.86/131.84	o 7218
131.06/132.08	o 7217
131.35/132.30	o 7214
131.55/132.52	o 7212
132.44/133.40	o 7210
132.84/133.85	o 7208
133.04/134.06	o 7203
133.24/134.28	o 7198
133.54/134.51	o 7194
133.74/134.72	o 7190
133.94/134.94	o 7187
134.14/135.19	o 7183
134.43/135.45	o 7180
134.63/135.65	o 7178
134.83/135.87	o 7173
135.03/136.08	o 7165
135.33/136.33	o 7161
135.53/136.53	o 7159
135.93/136.98	o 7157
136.23/137.21	o 7156
136.43/137.44	o 7155
136.62/137.66	o 7152
137.92/138.94	o 7150
138.11/139.17	o 7148
138.31/139.38	o 7145
138.51/139.58	o 7142
138.81/139.81	o 7140
139.21/140.25	o 7138
139.61/140.69	o 7133
139.90/140.90	o 7132
140.30/141.35	o 7126
140.50/141.58	o 7123
140.81/141.82	o 7122
141.00/142.05	o 7119
141.20/142.28	o 7115
141.50/142.52	o 7111
141.70/142.75	o 7108
142.20/143.25	o 7101
142.40/143.50	o 7100
143.19/144.20	o 7093
143.39/144.44	o 7090
143.59/144.69	o 7088
143.89/144.91	o 7085
144.10/145.13	o 7083
144.29/145.33	o 7081
144.69/145.73	o 7078
144.89/145.94	o 7077
145.09/146.16	o 7076
145.29/146.38	o 7075
145.48/146.59	o 7074
146.38/147.43	o 7071
146.77/147.82	o 7067
146.97/148.01	o 7062
147.17/148.23	o 7058
147.37/148.45	o 7055
147.56/148.65	o 7053
147.76/148.84	o 7052
147.96/149.05	o 7050
148.16/149.25	o 7044
148.36/149.45	o 7042
148.56/149.68	o 7037
148.75/149.88	o 7031
148.95/150.08	o 7028
149.15/150.29	o 7024
149.35/150.48	o 7022
149.55/150.68	o 7021
149.75/150.87	o 7020
149.95/151.08	o 7017
150.74/151.88	o 7013
150.94/152.07	o 7010
151.14/152.28	o 7008
151.34/152.48	o 7007
151.54/152.70	o 7004
151.83/152.90	o 7000
152.03/153.13	o 6996
152.63/153.75	o 6991
152.83/153.97	o 6988
153.02/154.18	o 6986
153.22/154.39	o 6984
153.92/155.09	o 6979
154.21/155.33	o 6974
154.41/155.55	o 6973
154.61/155.75	o 6970
154.81/155.98	o 6967
155.11/156.20	o 6965
155.31/156.40	o 6960
155.71/156.84	o 6959
155.91/157.06	o 6954
156.10/157.29	o 6953
156.40/157.53	o 6952
156.90/158.00	o 6949
157.30/158.45	o 6944
157.70/158.89	o 6942
158.00/159.12	o 6941
158.20/159.34	o 6940
158.40/159.55	o 6936
158.59/159.76	o 6931
158.89/160.00	o 6926
159.09/160.22	o 6922
160.18/161.36	o 6919
160.38/161.58	o 6918
160.68/161.80	o 6916
160.87/162.04	o 6913
161.07/162.27	o 6907
161.27/162.50	o 6903
161.77/162.98	o 6902
162.47/163.68	o 6898
162.76/163.91	o 6896
163.16/164.39	o 6893
163.46/164.62	o 6889
163.95/165.10	o 6885
164.15/165.34	o 6882
164.65/165.80	o 6879
164.84/166.05	o 6878
165.04/166.27	o 6874
165.34/166.52	o 6870
165.54/166.78	o 6868
165.84/167.02	o 6864
167.53/168.75	o 6861
168.52/169.75	o 6859
169.02/170.24	o 6856
169.22/170.50	o 6855
169.51/170.75	o 6852
169.71/170.99	o 6850
170.01/171.23	o 6848
170.31/171.50	o 6845
170.50/171.76	o 6844
170.80/172.01	o 6841
171.01/172.26	o 6840
171.30/172.51	o 6838
171.50/172.79	o 6837
171.80/173.02	o 6836
172.00/173.26	o 6835
172.30/173.51	o 6832
172.59/173.80	o 6824
172.98/174.29	o 6823
173.28/174.56	o 6818
173.59/174.82	o 6815
174.09/175.35	o 6814
174.29/175.58	o 6813
174.58/175.83	o 6810
174.79/176.05	o 6803
175.08/176.31	o 6802
175.28/176.55	o 6798
175.48/176.79	o 6797
175.78/177.06	o 6793
176.07/177.32	o 6787
176.77/178.07	o 6786
177.27/178.58	o 6782
177.57/178.83	o 6775
177.77/179.07	o 6774
178.26/179.58	o 6773
178.76/180.09	o 6769
179.05/180.35	o 6765
179.35/180.61	o 6761
179.55/180.85	o 6759
179.75/181.10	o 6755
180.05/181.36	o 6754
180.34/181.65	o 6753
180.64/181.91	o 6752
180.84/182.16	o 6750
181.14/182.42	o 6745
181.63/182.96	o 6741
181.93/183.22	o 6739
182.23/183.50	o 6738
184.12/185.41	o 6736
184.32/185.68	o 6735
184.61/185.96	o 6732
184.91/186.22	o 6730
185.11/186.48	o 6728
185.61/186.99	o 6725
186.20/187.51	o 6723
186.40/187.76	o 6722
187.69/189.00	o 6719
188.09/189.49	o 6717
188.39/189.74	o 6716
188.69/190.00	o 6714
189.38/190.78	o 6712
189.98/191.30	o 6711
190.17/191.53	o 6709
191.37/192.77	o 6705
191.67/193.04	o 6704
192.16/193.58	o 6701
192.66/194.08	o 6700
192.95/194.33	o 6699
193.15/194.58	o 6693
193.45/194.83	o 6690
193.65/195.07	o 6689
193.95/195.32	o 6688
194.15/195.58	o 6685
194.45/195.87	o 6683
195.05/196.40	o 6677
195.25/196.65	o 6672
196.24/197.68	o 6671
196.54/197.96	o 6667
196.83/198.21	o 6666
197.33/198.74	o 6662
197.63/199.01	o 6660
198.32/199.79	o 6656
199.22/200.60	o 6655
200.01/201.41	o 6654
200.51/201.90	o 6652
200.71/202.15	o 6649
201.01/202.43	o 6646
201.50/202.94	o 6645
201.80/203.20	o 6644
202.29/203.75	o 6643
202.59/204.01	o 6642
202.79/204.26	o 6637
203.09/204.54	o 6636
203.29/204.79	o 6634
203.59/205.05	o 6632
203.89/205.31	o 6630
204.08/205.57	o 6629
204.38/205.85	o 6625
204.68/206.12	o 6623
205.97/207.41	o 6618
206.47/207.97	o 6617
206.76/208.23	o 6615
206.96/208.47	o 6612
207.46/208.99	o 6609
207.96/209.49	o 6608
208.45/209.98	o 6603
211.73/213.27	o 6602
212.03/213.50	o 6600
212.23/213.73	o 6594
212.43/213.95	o 6589
212.63/214.19	o 6588
212.92/214.44	o 6584
213.12/214.68	o 6583
213.42/214.91	o 6582
213.82/215.39	o 6578
214.12/215.63	o 6575
214.61/216.10	o 6571
214.81/216.33	o 6568
215.01/216.56	o 6565
215.30/216.81	o 6562
215.70/217.28	o 6561
216.00/217.50	o 6560
216.20/217.77	o 6559
216.69/218.29	o 6558
217.00/218.54	o 6557
217.29/218.83	o 6555
217.49/219.09	o 6554
218.09/219.61	o 6552
218.29/219.87	o 6550
218.58/220.13	o 6547
218.78/220.37	o 6544
219.08/220.62	o 6543
219.28/220.88	o 6539
219.77/221.38	o 6534
220.57/222.15	o 6532
220.86/222.41	o 6530
221.06/222.68	o 6529
222.95/224.57	o 6528
223.25/224.81	o 6526
223.45/225.07	o 6524
223.74/225.33	o 6521
224.74/226.36	o 6519
225.04/226.61	o 6516
225.23/226.88	o 6513
225.43/227.06	o 6508
225.73/227.31	o 6505
225.93/227.59	o 6504
226.22/227.88	o 6501
226.52/228.13	o 6497
226.82/228.40	o 6496
227.32/228.96	o 6492
227.62/229.22	o 6489
227.82/229.48	o 6484
228.41/230.03	o 6483
228.71/230.30	o 6482
228.91/230.58	o 6481
229.21/230.85	o 6477
229.50/231.13	o 6473
229.80/231.41	o 6471
230.30/231.98	o 6466
230.60/232.27	o 6459
230.89/232.53	o 6454
231.19/232.80	o 6450
231.39/233.08	o 6449
231.98/233.66	o 6448
232.58/234.23	o 6444
233.18/234.81	o 6439
233.77/235.40	o 6434
234.07/235.70	o 6431
235.16/236.84	o 6427
235.46/237.12	o 6423
235.66/237.40	o 6422
235.96/237.69	o 6421
236.25/237.97	o 6419
236.85/238.54	o 6416
237.15/238.84	o 6414
238.54/240.26	o 6413
239.63/241.39	o 6409
239.93/241.67	o 6408
240.23/241.97	o 6406
240.52/242.27	o 6405
241.12/242.83	o 6402
242.31/244.05	o 6398
242.61/244.34	o 6394
242.91/244.64	o 6389
243.21/244.91	o 6386
243.51/245.20	o 6385
244.10/245.81	o 6382
244.41/246.12	o 6381
244.71/246.48	o 6380
245.40/247.12	o 6379
245.70/247.43	o 6375
246.00/247.76	o 6372
246.60/248.38	o 6370
246.99/248.72	o 6369
247.29/249.03	o 6366
247.59/249.34	o 6360
247.88/249.67	o 6358
248.18/250.00	o 6356
248.58/250.31	o 6355
248.87/250.64	o 6353
249.27/251.00	o 6352
249.57/251.32	o 6349
249.87/251.64	o 6348
250.86/252.65	o 6347
251.85/253.66	o 6345
252.25/254.03	o 6342
252.94/254.71	o 6340
254.63/256.43	o 6339
254.93/256.78	o 6338
255.33/257.13	o 6330
256.02/257.84	o 6327
256.42/258.22	o 6323
256.72/258.59	o 6322
257.11/258.95	o 6318
261.28/263.17	o 6315
261.68/263.52	o 6312
262.08/263.91	o 6309
262.38/264.29	o 6308
262.88/264.70	o 6305
263.97/265.84	o 6303
264.37/266.28	o 6302
264.76/266.68	o 6301
265.95/267.88	o 6298
266.35/268.29	o 6291
267.54/269.48	o 6290
267.94/269.86	o 6287
268.34/270.27	o 6284
268.74/270.69	o 6281
269.53/271.49	o 6278
270.02/271.90	o 6277
270.32/272.28	o 6276
270.72/272.67	o 6274
271.11/273.06	o 6271
271.91/273.88	o 6270
272.30/274.25	o 6269
272.71/274.66	o 6266
273.11/275.05	o 6265
274.30/276.21	o 6261
275.10/277.01	o 6258
275.49/277.41	o 6256
276.19/278.19	o 6253
276.98/278.96	o 6252
277.38/279.35	o 6248
277.78/279.74	o 6246
278.18/280.14	o 6245
278.58/280.53	o 6242
279.27/281.29	o 6241
279.67/281.69	o 6239
280.47/282.48	o 6238
280.86/282.87	o 6236
281.26/283.26	o 6235
282.05/284.06	o 6232
282.45/284.46	o 6231
282.85/284.87	o 6229
283.24/285.29	o 6228
283.64/285.68	o 6226
284.14/286.13	o 6224
284.54/286.56	o 6223
288.21/290.28	o 6222
289.90/291.91	o 6219
290.30/292.31	o 6216
290.69/292.71	o 6214
291.88/293.94	o 6211
293.48/295.57	o 6209
293.88/295.97	o 6208
294.67/296.76	o 6205
295.06/297.18	o 6202
295.46/297.56	o 6200
297.45/299.59	o 6195
297.85/299.97	o 6192
298.64/300.78	o 6187
299.04/301.19	o 6184
299.43/301.58	o 6182
299.83/301.98	o 6179
300.23/302.40	o 6178
301.82/303.99	o 6177
303.11/305.22	o 6175
303.90/306.05	o 6174
304.30/306.47	o 6173
304.70/306.90	o 6169
305.20/307.31	o 6166
305.59/307.71	o 6165
305.99/308.16	o 6164
306.49/308.60	o 6162
307.68/309.80	o 6161
307.98/310.19	o 6159
308.37/310.58	o 6158
308.77/310.96	o 6156
309.17/311.37	o 6154
309.96/312.14	o 6152
310.36/312.54	o 6148
310.76/312.92	o 6147
311.15/313.32	o 6145
311.55/313.71	o 6141
311.85/314.09	o 6140
312.64/314.86	o 6139
313.04/315.25	o 6137
313.83/316.03	o 6136
314.93/317.18	o 6135
315.33/317.55	o 6130
315.72/317.94	o 6126
316.12/318.31	o 6125
316.52/318.70	o 6122
316.91/319.11	o 6119
317.70/319.90	o 6115
318.80/321.10	o 6112
319.29/321.50	o 6110
319.69/321.90	o 6107
320.09/322.32	o 6106
320.49/322.72	o 6105
320.89/323.12	o 6103
321.28/323.55	o 6100
321.68/323.96	o 6098
322.08/324.39	o 6092
322.47/324.80	o 6088
322.97/325.22	o 6085
323.37/325.64	o 6082
327.35/329.62	o 6081
328.54/330.81	o 6080
328.93/331.21	o 6077
329.23/331.59	o 6075
329.73/332.00	o 6074
330.53/332.80	o 6070
330.92/333.21	o 6068
331.22/333.58	o 6066
331.62/333.98	o 6064
332.02/334.36	o 6063
332.81/335.13	o 6056
333.21/335.53	o 6049
333.60/335.91	o 6048
334.00/336.31	o 6047
334.40/336.70	o 6044
335.10/337.47	o 6042
336.28/338.65	o 6040
337.47/339.82	o 6039
337.87/340.21	o 6038
338.17/340.55	o 6037
338.57/340.96	o 6035
338.96/341.33	o 6034
339.36/341.72	o 6031
339.76/342.11	o 6030
340.16/342.51	o 6028
340.46/342.90	o 6022
340.85/343.30	o 6021
341.75/344.11	o 6019
343.43/345.82	o 6017
344.62/347.03	o 6015
345.02/347.43	o 6011
345.42/347.86	o 6010
345.82/348.29	o 6007
346.31/348.71	o 6006
347.11/349.58	o 6005
347.60/350.02	o 6002
348.00/350.45	o 5996
349.60/352.07	o 5991
350.09/352.53	o 5990
350.49/352.99	o 5987
350.99/353.42	o 5984
351.39/353.87	o 5982
351.88/354.32	o 5978
352.28/354.74	o 5976
354.37/356.90	o 5975
354.86/357.35	o 5973
355.36/357.80	o 5972
357.54/360.04	o 5970
357.94/360.49	o 5968
358.44/360.94	o 5964
358.84/361.37	o 5963
360.23/362.71	o 5962
361.02/363.56	o 5959
361.51/364.02	o 5957
361.91/364.47	o 5956
362.30/364.89	o 5954
362.80/365.33	o 5950
363.70/366.21	o 5949
364.09/366.66	o 5944
364.49/367.09	o 5938
364.98/367.54	o 5936
365.38/367.97	o 5935
365.88/368.42	o 5933
366.28/368.86	o 5931
366.78/369.32	o 5930
367.67/370.25	o 5928
369.05/371.60	o 5926
369.45/372.06	o 5924
369.85/372.48	o 5921
370.34/372.91	o 5920
371.14/373.75	o 5919
371.53/374.18	o 5917
372.43/375.03	o 5916
372.83/375.46	o 5914
373.72/376.32	o 5908
374.12/376.72	o 5906
374.32/377.00	o 5905
375.11/377.71	o 5901
375.51/378.12	o 5900
375.90/378.58	o 5899
376.30/378.99	o 5897
377.60/380.24	o 5896
378.00/380.67	o 5892
378.39/381.07	o 5891
378.79/381.47	o 5889
380.48/383.18	o 5885
380.87/383.60	o 5883
382.16/384.87	o 5882
382.66/385.31	o 5879
383.06/385.72	o 5875
383.45/386.18	o 5872
383.95/386.61	o 5871
384.35/387.07	o 5870
384.84/387.50	o 5866
385.64/388.36	o 5865
386.03/388.78	o 5859
386.93/389.68	o 5856
392.99/395.73	o 5854
393.38/396.18	o 5852
393.88/396.63	o 5850
394.27/397.09	o 5848
397.16/399.90	o 5847
398.05/400.87	o 5845
398.55/401.32	o 5842
399.04/401.81	o 5841
399.44/402.30	o 5839
399.94/402.78	o 5838
400.44/403.27	o 5836
401.33/404.19	o 5831
401.82/404.67	o 5828
404.30/407.13	o 5827
405.70/408.56	o 5826
406.20/409.04	o 5824
406.70/409.54	o 5823
407.20/410.02	o 5822
408.09/410.98	o 5816
408.59/411.48	o 5814
409.58/412.47	o 5813
410.57/413.42	o 5811
416.13/419.10	o 5809
419.31/422.23	o 5807
419.71/422.67	o 5804
420.10/423.09	o 5799
421.00/423.94	o 5797
421.89/424.81	o 5795
422.29/425.24	o 5794
422.68/425.67	o 5792
424.38/427.37	o 5789
424.87/427.82	o 5788
425.27/428.26	o 5783
426.56/429.58	o 5782
426.86/429.89	o 5779
427.35/430.32	o 5777
427.75/430.75	o 5773
428.25/431.22	o 5768
429.04/432.07	o 5763
431.33/434.31	o 5761
431.72/434.76	o 5760
432.12/435.19	o 5758
432.62/435.64	o 5757
435.99/439.05	o 5756
436.39/439.48	o 5754
437.28/440.33	o 5750
437.68/440.76	o 5748
438.57/441.62	o 5746
439.47/442.51	o 5744
440.66/443.75	o 5742
441.16/444.21	o 5739
441.55/444.70	o 5736
442.05/445.17	o 5732
442.54/445.65	o 5731
442.95/446.07	o 5729
443.74/446.82	o 5728
444.14/447.26	o 5724
445.53/448.67	o 5722
446.42/449.58	o 5721
447.32/450.47	o 5717
449.50/452.66	o 5716
450.00/453.12	o 5715
450.49/453.61	o 5713
450.99/454.11	o 5712
451.38/454.58	o 5711
452.38/455.50	o 5706
452.77/455.97	o 5703
453.27/456.42	o 5702
453.67/456.88	o 5701
454.17/457.37	o 5698
454.66/457.85	o 5696
455.16/458.30	o 5694
455.95/459.20	o 5693
457.64/460.85	o 5690
458.14/461.33	o 5686
461.32/464.51	o 5682
462.21/465.50	o 5679
463.21/466.48	o 5673
463.70/466.96	o 5670
464.00/467.22	o 5669
464.30/467.55	o 5666
464.79/468.04	o 5663
465.29/468.54	o 5661
465.78/469.01	o 5659
467.08/470.39	o 5657
467.57/470.86	o 5656
468.96/472.28	o 5651
469.46/472.75	o 5650
469.76/473.06	o 5648
470.25/473.53	o 5645
471.74/475.00	o 5644
472.13/475.48	o 5640
474.12/477.43	o 5638
474.62/477.92	o 5636
475.12/478.45	o 5633
475.61/478.95	o 5630
476.11/479.46	o 5628
476.60/479.97	o 5626
477.10/480.47	o 5623
478.09/481.48	o 5620
479.69/483.03	o 5615
481.18/484.56	o 5611
481.68/485.07	o 5608
482.17/485.58	o 5607
483.17/486.59	o 5605
483.67/487.08	o 5602
484.66/488.08	o 5597
486.64/490.08	o 5596
487.14/490.58	o 5595
487.63/491.08	o 5594
488.13/491.59	o 5593
488.73/492.11	o 5591
491.81/495.27	o 5590
492.31/495.77	o 5586
493.89/497.36	o 5585
496.58/500.02	o 5584
497.08/500.57	o 5581
497.57/501.09	o 5576
498.17/501.63	o 5573
499.26/502.74	o 5571
499.75/503.27	o 5570
500.35/503.82	o 5568
505.82/509.39	o 5567
508.10/511.63	o 5565
509.79/513.35	o 5562
510.38/513.93	o 5561
510.98/514.54	o 5560
513.26/516.87	o 5557
515.65/519.21	o 5556
516.74/520.39	o 5554
517.33/520.98	o 5551
518.03/521.62	o 5548
518.43/522.07	o 5547
520.21/523.86	o 5545
525.68/529.39	o 5543
526.37/530.01	o 5537
526.97/530.62	o 5533
528.76/532.48	o 5532
529.35/533.08	o 5531
530.05/533.70	o 5529
530.65/534.32	o 5527
531.94/535.61	o 5526
533.13/536.86	o 5525
535.61/539.37	o 5521
536.31/540.01	o 5519
538.19/541.99	o 5518
538.89/542.65	o 5517
540.18/543.97	o 5516
542.16/545.92	o 5514
544.75/548.54	o 5512
546.05/549.85	o 5509
546.64/550.48	o 5506
547.34/551.14	o 5503
547.93/551.76	o 5502
548.62/552.41	o 5497
548.93/552.73	o 5494
549.52/553.37	o 5492
550.12/553.99	o 5491
550.42/554.27	o 5487
551.01/554.89	o 5486
551.71/555.51	o 5485
552.30/556.12	o 5484
552.90/556.75	o 5483
553.50/557.36	o 5482
554.19/558.01	o 5480
554.79/558.63	o 5478
555.38/559.27	o 5477
555.97/559.89	o 5476
568.59/572.57	o 5471
569.79/573.76	o 5469
570.38/574.36	o 5467
570.98/574.98	o 5466
571.57/575.58	o 5462
573.46/577.45	o 5459
587.27/591.31	o 5457
587.86/591.91	o 5456
588.36/592.49	o 5454
590.14/594.26	o 5453
592.92/597.02	o 5448
594.11/598.23	o 5446
596.00/600.11	o 5445
597.19/601.36	o 5443
597.78/602.00	o 5440
598.28/602.46	o 5438
598.88/603.06	o 5434
599.48/603.61	o 5432
600.07/604.21	o 5428
600.67/604.81	o 5427
601.26/605.41	o 5426
602.26/606.46	o 5424
602.85/607.06	o 5421
604.54/608.79	o 5420
605.14/609.40	o 5418
605.73/609.98	o 5417
606.33/610.57	o 5414
606.92/611.11	o 5411
610.90/615.18	o 5409
611.50/615.74	o 5407
613.78/618.05	o 5404
614.38/618.64	o 5403
614.78/619.08	o 5399
615.37/619.66	o 5398
615.96/620.24	o 5394
616.56/620.80	o 5389
617.06/621.35	o 5387
618.15/622.46	o 5383
618.74/623.04	o 5382
619.34/623.63	o 5380
619.94/624.20	o 5377
620.43/624.78	o 5376
621.62/625.93	o 5372
622.71/627.06	o 5371
623.31/627.64	o 5369
624.40/628.74	o 5367
632.65/637.04	o 5366
633.74/638.14	o 5365
634.84/639.29	o 5363
635.44/639.86	o 5362
638.11/642.59	o 5359
640.80/645.27	o 5358
641.39/645.82	o 5356
641.89/646.38	o 5355
642.99/647.49	o 5354
645.76/650.21	o 5353
646.26/650.75	o 5350
649.44/653.91	o 5348
650.43/654.95	o 5347
650.93/655.46	o 5346
651.43/655.98	o 5343
652.52/657.03	o 5340
653.02/657.52	o 5335
654.01/658.55	o 5331
654.50/659.07	o 5323
656.00/660.57	o 5321
656.99/661.59	o 5319
659.07/663.67	o 5317
660.66/665.24	o 5316
661.66/666.28	o 5315
662.25/666.81	o 5313
662.75/667.32	o 5310
663.24/667.86	o 5309
663.74/668.39	o 5303
664.24/668.87	o 5301
665.83/670.44	o 5298
666.82/671.46	o 5295
667.91/672.52	o 5291
671.09/675.76	o 5289
671.69/676.31	o 5288
672.18/676.88	o 5286
673.37/678.01	o 5285
676.75/681.47	o 5282
677.35/682.06	o 5278
677.94/682.64	o 5273
681.43/686.18	o 5270
682.02/686.75	o 5267
682.62/687.35	o 5266
683.22/687.94	o 5264
684.91/689.67	o 5263
685.50/690.23	o 5261
688.38/693.17	o 5260
688.98/693.75	o 5255
689.57/694.32	o 5253
690.07/694.89	o 5251
691.26/696.03	o 5249
691.85/696.64	o 5245
692.45/697.22	o 5242
693.04/697.81	o 5241
694.14/698.94	o 5240
694.73/699.52	o 5239
695.23/700.08	o 5237
696.92/701.79	o 5236
697.51/702.35	o 5231
698.60/703.47	o 5227
699.20/704.05	o 5226
706.25/711.19	o 5225
708.83/713.71	o 5224
709.33/714.25	o 5222
710.42/715.36	o 5219
711.02/715.92	o 5218
711.61/716.51	o 5216
714.40/719.35	o 5212
714.99/719.92	o 5210
716.08/721.07	o 5209
718.57/723.59	o 5204
719.16/724.13	o 5202
719.66/724.67	o 5197
720.25/725.22	o 5193
720.75/725.77	o 5190
721.35/726.31	o 5186
721.85/726.84	o 5184
722.44/727.41	o 5183
722.94/727.94	o 5181
723.53/728.50	o 5178
724.04/729.03	o 5176
730.99/736.04	o 5174
731.39/736.45	o 5169
731.98/737.03	o 5167
732.38/737.47	o 5162
732.97/738.04	o 5161
733.57/738.63	o 5160
734.66/739.79	o 5159
735.85/740.97	o 5158
737.94/743.00	o 5156
742.11/747.23	o 5154
742.41/747.58	o 5151
743.00/748.18	o 5149
745.98/751.12	o 5146
747.18/752.31	o 5145
747.77/752.90	o 5142
748.97/754.15	o 5140
749.56/754.74	o 5139
750.16/755.35	o 5134
750.75/755.96	o 5130
751.45/756.60	o 5129
751.94/757.19	o 5128
752.54/757.80	o 5127
753.13/758.39	o 5125
755.02/760.30	o 5121
755.72/760.96	o 5119
760.09/765.34	o 5117
760.59/765.84	o 5116
760.99/766.28	o 5115
764.16/769.49	o 5113
764.86/770.17	o 5108
765.56/770.82	o 5106
767.44/772.74	o 5105
768.13/773.41	o 5100
768.73/774.03	o 5099
770.02/775.32	o 5098
770.62/775.98	o 5096
773.90/779.21	o 5094
775.09/780.49	o 5093
775.78/781.15	o 5092
777.47/782.82	o 5090
778.06/783.44	o 5087
778.66/784.08	o 5083
781.94/787.31	o 5080
782.53/787.95	o 5075
784.42/789.87	o 5074
785.02/790.48	o 5073
785.71/791.12	o 5072
786.91/792.36	o 5070
788.20/793.61	o 5068
788.70/794.19	o 5066
789.89/795.34	o 5065
791.08/796.57	o 5064
791.78/797.20	o 5059
792.96/798.50	o 5058
793.66/799.16	o 5055
794.35/799.81	o 5054
794.95/800.45	o 5053
798.23/803.70	o 5045
800.32/805.85	o 5042
800.91/806.44	o 5039
809.26/814.85	o 5036
810.15/815.75	o 5032
810.84/816.40	o 5028
815.32/820.91	o 5026
815.92/821.58	o 5024
816.61/822.22	o 5023
817.90/823.55	o 5022
818.59/824.23	o 5020
819.19/824.85	o 5019
819.89/825.53	o 5018
820.48/826.19	o 5017
821.08/826.79	o 5016
821.77/827.45	o 5014
823.76/829.41	o 5010
824.36/830.07	o 5009
825.05/830.75	o 5005
825.75/831.42	o 4998
826.34/832.07	o 4996
829.62/835.31	o 4993
833.60/839.40	o 4990
834.29/840.06	o 4989
843.93/849.71	o 4988
847.99/853.88	o 4986
850.08/855.98	o 4985
850.78/856.66	o 4984
855.84/861.78	o 4982
856.54/862.46	o 4980
857.92/863.81	o 4979
858.52/864.48	o 4978
859.91/865.84	o 4974
861.20/867.17	o 4971
861.40/867.39	o 4970
862.09/868.08	o 4969
863.59/869.59	o 4968
864.28/870.28	o 4967
866.96/872.96	o 4966
867.66/873.62	o 4965
869.05/875.00	o 4964
869.45/875.50	o 4962
870.15/876.17	o 4960
870.84/876.84	o 4959
871.44/877.50	o 4958
876.31/882.34	o 4955
878.30/884.34	o 4951
878.99/885.02	o 4950
880.29/886.35	o 4945
880.98/887.04	o 4944
892.00/898.15	o 4943
893.29/899.50	o 4940
895.38/901.51	o 4937
896.07/902.20	o 4935
896.67/902.88	o 4931
898.65/904.89	o 4930
899.35/905.56	o 4928
899.65/905.86	o 4922
900.25/906.44	o 4920
902.13/908.34	o 4919
902.73/908.99	o 4917
903.72/909.93	o 4913
906.80/913.07	o 4911
908.68/914.99	o 4909
909.28/915.51	o 4905
911.76/918.09	o 4904
913.15/919.43	o 4903
913.75/920.08	o 4900
915.14/921.44	o 4897
916.43/922.75	o 4895
918.41/924.76	o 4894
919.11/925.48	o 4890
919.81/926.18	o 4888
920.00/926.39	o 4884
921.99/928.34	o 4882
922.68/929.08	o 4879
923.48/929.80	o 4877
924.17/930.55	o 4875
924.87/931.30	o 4874
925.66/932.03	o 4873
926.36/932.75	o 4872
927.06/933.46	o 4869
928.55/934.93	o 4868
929.25/935.69	o 4864
933.72/940.19	o 4863
939.28/945.77	o 4862
940.07/946.59	o 4859
940.97/947.43	o 4856
941.76/948.28	o 4855
942.56/949.09	o 4854
950.50/957.03	o 4853
952.98/959.50	o 4851
954.57/961.14	o 4850
955.36/961.98	o 4848
956.25/962.81	o 4844
957.85/964.47	o 4842
959.53/966.18	o 4841
960.43/967.02	o 4840
961.22/967.85	o 4837
962.02/968.69	o 4835
962.91/969.56	o 4833
965.29/971.91	o 4831
966.88/973.59	o 4828
967.58/974.27	o 4826
968.47/975.11	o 4824
969.26/975.96	o 4821
971.05/977.70	o 4818
974.33/981.09	o 4817
976.02/982.76	o 4815
980.79/987.59	o 4813
983.28/990.08	o 4812
984.17/990.91	o 4811
984.97/991.76	o 4809
985.76/992.55	o 4806
993.91/1000.72	o 4805
994.80/1001.61	o 4801
995.59/1002.45	o 4800
996.49/1003.30	o 4797
1007.22/1014.19	o 4795
1008.90/1015.88	o 4791
1013.97/1020.91	o 4789
1017.15/1024.15	o 4788
1018.74/1025.76	o 4785
1019.53/1026.58	o 4784
1021.22/1028.25	o 4782
1025.19/1032.20	o 4777
1034.13/1041.28	o 4776
1036.61/1043.78	o 4775
1038.30/1045.42	o 4773
1040.78/1047.92	o 4771
1042.37/1049.51	o 4769
1044.75/1051.96	o 4768
1045.56/1052.79	o 4767
1048.03/1055.27	o 4766
1062.93/1070.21	o 4763
1063.63/1070.96	o 4759
1065.21/1072.57	o 4756
1066.01/1073.34	o 4755
1066.80/1074.15	o 4753
1067.59/1074.95	o 4752
1072.16/1079.51	o 4751
1074.55/1081.91	o 4748
1075.34/1082.71	o 4747
1076.14/1083.53	o 4745
1077.72/1085.18	o 4744
1079.21/1086.64	o 4742
1079.91/1087.36	o 4737
1081.50/1088.94	o 4736
1083.08/1090.51	o 4735
1083.68/1091.18	o 4732
1084.48/1091.96	o 4730
1089.15/1096.62	o 4728
1089.84/1097.33	o 4723
1090.34/1097.86	o 4718
1091.03/1098.56	o 4717
1092.53/1100.08	o 4716
1093.22/1100.78	o 4715
1096.21/1103.73	o 4712
1097.00/1104.50	o 4705
1097.70/1105.25	o 4704
1112.69/1120.37	o 4698
1113.48/1121.13	o 4697
1114.97/1122.64	o 4695
1115.77/1123.41	o 4690
1117.26/1124.95	o 4689
1118.05/1125.71	o 4685
1118.75/1126.49	o 4682
1119.55/1127.25	o 4678
1120.34/1128.04	o 4676
1121.83/1129.56	o 4674
1122.62/1130.33	o 4670
1123.32/1131.09	o 4668
1123.91/1131.67	o 4665
1126.00/1133.75	o 4664
1126.79/1134.50	o 4661
1128.78/1136.55	o 4657
1129.48/1137.30	o 4655
1130.27/1138.05	o 4654
1130.97/1138.80	o 4650
1134.74/1142.52	o 4649
1135.53/1143.31	o 4647
1136.23/1144.07	o 4646
1136.92/1144.76	o 4643
1137.62/1145.49	o 4641
1138.41/1146.25	o 4637
1140.60/1148.50	o 4636
1141.39/1149.25	o 4635
1148.64/1156.57	o 4633
1149.24/1157.18	o 4629
1150.83/1158.74	o 4628
1151.62/1159.52	o 4627
1152.41/1160.31	o 4626
1153.21/1161.11	o 4623
1154.80/1162.73	o 4621
1155.60/1163.56	o 4619
1156.39/1164.39	o 4616
1156.89/1164.89	o 4615
1157.68/1165.69	o 4613
1161.55/1169.50	o 4609
1162.25/1170.30	o 4607
1163.74/1171.70	o 4606
1164.54/1172.53	o 4603
1164.73/1172.77	o 4601
1166.32/1174.39	o 4600
1167.21/1175.20	o 4599
1168.01/1176.02	o 4598
1168.80/1176.87	o 4596
1172.78/1180.81	o 4594
1172.88/1180.98	o 4590
1173.57/1181.68	o 4588
1174.37/1182.44	o 4587
1175.16/1183.23	o 4585
1175.96/1184.05	o 4583
1177.64/1185.73	o 4581
1181.62/1189.74	o 4579
1184.79/1192.90	o 4577
1187.18/1195.34	o 4576
1187.97/1196.15	o 4575
1190.46/1198.66	o 4574
1191.15/1199.30	o 4573
1191.75/1199.97	o 4571
1192.54/1200.78	o 4570
1193.44/1201.60	o 4568
1196.71/1204.91	o 4567
1198.30/1206.57	o 4566
1202.28/1210.52	o 4565
1203.07/1211.36	o 4563
1206.15/1214.47	o 4562
1213.41/1221.79	o 4560
1215.99/1224.31	o 4559
1216.79/1225.12	o 4556
1217.57/1225.96	o 4555
1219.27/1227.66	o 4553
1223.34/1231.76	o 4552
1224.13/1232.57	o 4551
1224.92/1233.39	o 4548
1225.81/1234.25	o 4547
1226.61/1235.03	o 4545
1227.40/1235.84	o 4543
1228.20/1236.64	o 4541
1228.99/1237.48	o 4538
1229.79/1238.29	o 4535
1230.68/1239.13	o 4534
1232.07/1240.58	o 4533
1232.97/1241.42	o 4532
1233.76/1242.27	o 4530
1234.65/1243.10	o 4529
1237.93/1246.43	o 4528
1238.63/1247.20	o 4525
1239.52/1248.03	o 4523
1241.21/1249.74	o 4520
1242.60/1251.19	o 4517
1244.29/1252.87	o 4515
1250.05/1258.68	o 4513
1250.94/1259.51	o 4512
1252.53/1261.18	o 4510
1253.42/1262.01	o 4508
1254.12/1262.78	o 4502
1256.41/1265.09	o 4500
1262.27/1270.96	o 4499
1263.16/1271.83	o 4498
1263.96/1272.64	o 4496
1264.75/1273.47	o 4491
1265.65/1274.32	o 4490
1266.44/1275.16	o 4489
1267.34/1276.00	o 4486
1274.78/1283.54	o 4484
1275.58/1284.39	o 4483
1278.15/1286.94	o 4482
1278.95/1287.72	o 4480
1282.32/1291.11	o 4476
1283.12/1291.95	o 4473
1284.71/1293.58	o 4469
1285.60/1294.41	o 4467
1286.39/1295.26	o 4466
1289.07/1297.92	o 4463
1292.05/1300.91	o 4462
1292.85/1301.76	o 4459
1293.74/1302.60	o 4456
1294.34/1303.23	o 4455
1297.91/1306.82	o 4451
1298.71/1307.60	o 4446
1299.50/1308.41	o 4444
1300.50/1309.48	o 4442
1301.29/1310.28	o 4441
1301.99/1310.97	o 4440
1302.78/1311.75	o 4438
1306.85/1315.86	o 4437
1307.65/1316.70	o 4435
1308.55/1317.52	o 4433
1310.24/1319.25	o 4431
1311.04/1320.10	o 4430
1311.93/1320.94	o 4428
1313.52/1322.59	o 4426
1315.21/1324.26	o 4424
1317.79/1326.81	o 4422
1318.59/1327.65	o 4421
1319.38/1328.47	o 4418
1328.22/1337.30	o 4417
1329.01/1338.12	o 4411
1329.41/1338.53	o 4409
1330.20/1339.32	o 4405
1330.60/1339.74	o 4404
1331.99/1341.15	o 4402
1333.58/1342.79	o 4401
1334.47/1343.61	o 4397
1336.85/1346.07	o 4395
1337.65/1346.89	o 4394
1338.54/1347.70	o 4393
1340.13/1349.32	o 4390
1342.91/1352.10	o 4387
1343.61/1352.90	o 4385
1344.40/1353.69	o 4383
1345.80/1355.03	o 4382
1346.60/1355.85	o 4380
1347.39/1356.67	o 4377
1347.79/1357.09	o 4375
1348.68/1357.91	o 4373
1349.47/1358.73	o 4372
1358.01/1367.37	o 4370
1358.71/1368.06	o 4369
1359.50/1368.81	o 4368
1361.88/1371.23	o 4367
1362.68/1372.06	o 4366
1363.47/1372.88	o 4365
1365.06/1374.44	o 4363
1365.75/1375.14	o 4362
1367.04/1376.44	o 4361
1367.84/1377.23	o 4359
1368.54/1377.99	o 4355
1369.33/1378.79	o 4354
1370.12/1379.53	o 4349
1370.91/1380.30	o 4348
1372.41/1381.87	o 4346
1373.20/1382.67	o 4344
1374.00/1383.45	o 4340
1377.28/1386.80	o 4339
1378.86/1388.34	o 4335
1381.95/1391.44	o 4334
1382.64/1392.19	o 4332
1383.43/1392.97	o 4328
1385.52/1395.04	o 4327
1386.31/1395.84	o 4325
1387.01/1396.59	o 4323
1388.60/1398.18	o 4320
1389.39/1398.94	o 4318
1390.18/1399.71	o 4317
1391.67/1401.24	o 4315
1392.47/1402.01	o 4313
1393.96/1403.53	o 4310
1396.24/1405.82	o 4309
1402.30/1411.92	o 4305
1403.00/1412.68	o 4302
1403.80/1413.45	o 4299
1404.39/1414.04	o 4298
1405.08/1414.79	o 4294
1405.88/1415.53	o 4292
1409.76/1419.44	o 4286
1410.46/1420.18	o 4279
1411.25/1420.92	o 4278
1411.94/1421.67	o 4277
1412.73/1422.42	o 4276
1413.43/1423.19	o 4274
1414.92/1424.69	o 4271
1417.90/1427.70	o 4268
1419.49/1429.20	o 4267
1420.19/1429.99	o 4266
1424.85/1434.61	o 4265
1435.87/1445.74	o 4264
1436.67/1446.57	o 4263
1437.17/1447.05	o 4262
1446.90/1456.89	o 4260
1447.69/1457.67	o 4258
1448.49/1458.49	o 4256
1449.28/1459.29	o 4253
1450.08/1460.08	o 4249
1451.67/1461.67	o 4247
1452.46/1462.47	o 4245
1453.25/1463.27	o 4243
1462.70/1472.80	o 4240
1463.50/1473.55	o 4236
1464.29/1474.35	o 4234
1465.78/1475.89	o 4232
1466.57/1476.68	o 4230
1467.37/1477.46	o 4229
1468.16/1478.24	o 4228
1468.96/1479.01	o 4226
1471.84/1481.94	o 4224
1472.64/1482.73	o 4222
1473.33/1483.48	o 4219
1474.12/1484.27	o 4218
1475.81/1485.92	o 4215
1476.60/1486.71	o 4212
1477.40/1487.52	o 4210
1478.19/1488.34	o 4207
1487.23/1497.42	o 4206
1490.50/1500.75	o 4205
1493.00/1503.26	o 4204
1493.89/1504.13	o 4201
1497.27/1507.58	o 4200
1498.16/1508.46	o 4196
1499.05/1509.34	o 4195
1504.32/1514.65	o 4193
1505.22/1515.51	o 4191
1506.51/1516.87	o 4190
1507.40/1517.73	o 4187
1508.29/1518.62	o 4185
1509.18/1519.55	o 4184
1510.07/1520.46	o 4182
1510.57/1520.91	o 4178
1512.36/1522.72	o 4176
1515.83/1526.23	o 4175
1516.73/1527.14	o 4174
1519.41/1529.84	o 4170
1520.30/1530.74	o 4168
1521.20/1531.65	o 4167
1522.09/1532.58	o 4165
1523.98/1534.41	o 4162
1524.87/1535.32	o 4161
1533.11/1543.66	o 4159
1534.01/1544.59	o 4157
1535.01/1545.54	o 4156
1537.79/1548.37	o 4155
1538.78/1549.36	o 4153
1539.78/1550.32	o 4151
1540.67/1551.26	o 4149
1541.66/1552.21	o 4148
1555.47/1566.10	o 4146
1556.36/1567.07	o 4143
1557.35/1568.03	o 4141
1558.24/1568.99	o 4140
1561.13/1571.84	o 4139
1562.12/1572.81	o 4138
1564.80/1575.59	o 4137
1565.40/1576.13	o 4132
1566.39/1577.10	o 4130
1570.16/1580.99	o 4128
1575.62/1586.42	o 4126
1578.51/1589.39	o 4124
1579.50/1590.34	o 4123
1581.39/1592.25	o 4121
1582.39/1593.24	o 4120
1585.76/1596.66	o 4117
1586.76/1597.62	o 4116
1587.65/1598.55	o 4115
1588.64/1599.53	o 4112
1589.54/1600.49	o 4110
1590.43/1601.38	o 4106
1591.42/1602.34	o 4105
1594.30/1605.20	o 4104
1595.20/1606.15	o 4100
1595.40/1606.38	o 4099
1596.39/1607.34	o 4098
1597.38/1608.31	o 4095
1600.96/1611.97	o 4092
1602.84/1613.84	o 4090
1603.74/1614.79	o 4088
1604.33/1615.34	o 4086
1608.11/1619.11	o 4085
1608.90/1619.96	o 4082
1610.78/1621.88	o 4081
1611.78/1622.86	o 4080
1614.66/1625.77	o 4079
1615.45/1626.57	o 4078
1616.46/1627.53	o 4077
1617.44/1628.50	o 4075
1618.34/1629.47	o 4071
1623.50/1634.63	o 4069
1624.50/1635.61	o 4067
1625.39/1636.57	o 4066
1628.27/1639.49	o 4064
1629.26/1640.41	o 4061
1632.94/1644.11	o 4060
1633.43/1644.64	o 4057
1634.42/1645.61	o 4056
1639.19/1650.48	o 4053
1644.06/1655.33	o 4052
1646.54/1657.80	o 4050
1648.33/1659.67	o 4046
1649.32/1660.66	o 4044
1654.18/1665.56	o 4040
1655.77/1667.10	o 4037
1657.66/1669.09	o 4034
1670.27/1681.78	o 4032
1671.28/1682.74	o 4029
1672.67/1684.18	o 4026
1675.55/1687.03	o 4024
1676.44/1687.99	o 4023
1680.32/1691.86	o 4022
1684.88/1696.45	o 4020
1685.87/1697.44	o 4018
1687.47/1699.02	o 4017
1688.36/1699.98	o 4016
1689.35/1700.95	o 4014
1690.34/1701.92	o 4012
1701.56/1713.29	o 4010
1712.59/1724.37	o 4008
1713.58/1725.39	o 4005
1715.67/1727.42	o 4003
1716.66/1728.44	o 4000
1718.65/1730.48	o 3997
1719.35/1731.19	o 3993
1721.43/1733.22	o 3992
1723.41/1735.23	o 3989
1724.41/1736.24	o 3986
1725.40/1737.23	o 3982
1726.39/1738.21	o 3978
1728.39/1740.23	o 3975
1729.38/1741.22	o 3973
1730.38/1742.24	o 3971
1733.45/1745.30	o 3964
1734.45/1746.32	o 3963
1739.41/1751.39	o 3961
1740.41/1752.39	o 3960
1741.40/1753.40	o 3959
1749.84/1761.84	o 3954
1765.82/1777.99	o 3951
1766.62/1778.72	o 3948
1769.30/1781.41	o 3947
1771.28/1783.45	o 3945
1774.17/1786.37	o 3943
1775.16/1787.37	o 3940
1778.03/1790.27	o 3938
1779.02/1791.29	o 3937
1780.02/1792.30	o 3936
1781.01/1793.29	o 3934
1781.91/1794.15	o 3931
1782.70/1794.90	o 3930
1786.38/1798.69	o 3929
1787.47/1799.73	o 3925
1791.55/1803.86	o 3922
1792.64/1804.92	o 3920
1796.81/1809.14	o 3916
1798.90/1811.28	o 3914
1800.00/1812.33	o 3913
1802.08/1814.43	o 3910
1802.97/1815.31	o 3909
1803.96/1816.32	o 3907
1804.76/1817.17	o 3903
1805.85/1818.21	o 3902
1806.85/1819.25	o 3901
1829.40/1841.98	o 3900
1830.49/1843.04	o 3899
1834.65/1847.27	o 3897
1836.34/1848.98	o 3896
1837.44/1850.03	o 3893
1843.29/1855.90	o 3892
1844.29/1856.97	o 3891
1845.38/1858.02	o 3889
1846.37/1859.08	o 3886
1847.47/1860.17	o 3885
1848.56/1861.28	o 3883
1849.55/1862.30	o 3881
1852.53/1865.23	o 3880
1853.62/1866.32	o 3878
1854.71/1867.40	o 3877
1857.79/1870.54	o 3876
1867.72/1880.56	o 3873
1868.32/1881.13	o 3870
1868.82/1881.60	o 3867
1869.82/1882.64	o 3864
1878.06/1890.91	o 3863
1880.04/1892.98	o 3859
1889.28/1902.27	o 3856
1892.36/1905.37	o 3854
1897.52/1910.58	o 3853
1898.41/1911.40	o 3852
1899.41/1912.45	o 3850
1904.57/1917.61	o 3849
1907.25/1920.39	o 3846
1907.75/1920.87	o 3843
1908.64/1921.73	o 3841
1909.04/1922.12	o 3839
1910.03/1923.13	o 3836
1911.02/1924.13	o 3835
1914.01/1927.18	o 3832
1919.87/1933.05	o 3830
1920.87/1934.07	o 3829
1928.61/1941.85	o 3827
1929.60/1942.85	o 3825
1930.60/1943.88	o 3823
1932.69/1945.91	o 3822
1932.88/1946.17	o 3819
1933.48/1946.76	o 3816
1934.27/1947.50	o 3814
1935.27/1948.50	o 3811
1939.74/1953.03	o 3807
1941.72/1955.02	o 3805
1942.71/1956.01	o 3802
1944.60/1957.99	o 3797
1949.66/1963.05	o 3796
1956.52/1969.98	o 3795
1957.51/1970.95	o 3794
1963.17/1976.67	o 3793
1970.52/1984.00	o 3792
1973.40/1986.97	o 3790
1975.38/1988.96	o 3785
1978.36/1991.94	o 3779
1979.36/1992.91	o 3778
1980.25/1993.89	o 3777
1981.34/1994.91	o 3776
1982.14/1995.77	o 3773
1984.23/1997.87	o 3772
1985.22/1998.87	o 3768
1987.21/2000.84	o 3767
1989.10/2002.79	o 3766
1993.27/2006.98	o 3764
1997.14/2010.89	o 3763
1997.94/2011.65	o 3760
1998.63/2012.32	o 3757
1999.52/2013.28	o 3756
2000.52/2014.27	o 3754
2001.51/2015.25	o 3752
2004.40/2018.17	o 3751
2007.37/2021.17	o 3750
2009.36/2023.15	o 3746
2010.05/2023.84	o 3744
2011.05/2024.82	o 3743
2025.55/2039.40	o 3742
2026.44/2040.39	o 3741
2032.40/2046.35	o 3739
2033.00/2046.99	o 3738
2033.99/2047.99	o 3737
2036.97/2050.99	o 3735
2038.06/2052.00	o 3731
2039.06/2053.02	o 3729
2039.95/2053.96	o 3728
2040.94/2054.98	o 3726
2071.23/2085.43	   
2071.23/2085.43	   search
2071.23/2085.43	     run=0  nbConstraintChecks=4589850143  nbAssignments=4063
2071.23/2085.43	       =>  wckTime=2068.019  cpuTime=2054.09  mem=85M693
2071.23/2085.43	   
2071.23/2085.43	   global
2071.23/2085.43	     nbConstraintChecks=4589850143  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2071.23/2085.43	     solvingWckTime=2068.002  solvingCpuTime=2054.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2071.23/2085.43	     globalCpuTime=2069.15
2071.23/2085.43	       =>  wckTime=2084.992  cpuTime=2069.11  mem=85M693
2071.23/2085.43	   
2071.23/2085.43	   solver DecomposerSolver being built... 
2078.25/2092.49	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112972-1215876304/watcher-1112972-1215876304 -o /tmp/evaluation-result-1112972-1215876304/solver-1112972-1215876304 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112972-1215876304.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.47 2.53 2.67 4/82 18663
/proc/meminfo: memFree=1446984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=18572 CPUtime=0
/proc/18663/stat : 18663 (runsolver) D 18661 18663 18215 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44329898 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221954764071 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/18663/statm: 4643 292 257 25 0 2626 0

[startup+0.0194001 s]
/proc/loadavg: 2.47 2.53 2.67 4/82 18663
/proc/meminfo: memFree=1446984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=200 CPUtime=0
/proc/18663/stat : 18663 (java) D 18661 18663 18215 0 -1 0 48 0 0 0 0 0 0 0 18 0 1 0 44329898 204800 33 996147200 134512640 134550740 4294956128 18446744073709551615 1979172 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/18663/statm: 50 33 26 9 0 4 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 200

[startup+0.101411 s]
/proc/loadavg: 2.47 2.53 2.67 4/82 18663
/proc/meminfo: memFree=1446984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=10868 CPUtime=0
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 793 0 0 0 0 0 0 0 18 0 2 0 44329898 11128832 555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 2717 555 269 9 0 1199 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10868

[startup+0.30143 s]
/proc/loadavg: 2.47 2.53 2.67 4/82 18663
/proc/meminfo: memFree=1446984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=865984 CPUtime=0.15
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 4206 0 4 0 12 3 0 0 18 0 9 0 44329898 886767616 3645 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216496 3645 1815 9 0 211051 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 865984

[startup+0.701469 s]
/proc/loadavg: 2.47 2.53 2.67 4/82 18663
/proc/meminfo: memFree=1446984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867024 CPUtime=0.49
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 7886 0 10 0 43 6 0 0 18 0 9 0 44329898 887832576 7266 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216756 7266 1967 9 0 211284 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 867024

[startup+1.50254 s]
/proc/loadavg: 2.47 2.53 2.67 3/91 18672
/proc/meminfo: memFree=1397696/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=1.28
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 21877 0 10 0 117 11 0 0 18 0 9 0 44329898 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 21222 2004 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=1
/proc/18663/task/18665/stat : 18665 (java) R 18661 18663 18215 0 -1 64 15759 0 10 0 92 8 0 0 24 0 9 0 44329903 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4126854711 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=0.07
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 4817 0 0 0 6 1 0 0 16 0 9 0 44329913 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.18
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 605 0 0 0 18 0 0 0 16 0 9 0 44329916 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 21222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 867456

[startup+3.10169 s]
/proc/loadavg: 2.47 2.53 2.67 4/91 18672
/proc/meminfo: memFree=1356480/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=2.88
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 27104 0 10 0 274 14 0 0 18 0 9 0 44329898 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 26447 2004 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=2.36
/proc/18663/task/18665/stat : 18665 (java) R 18661 18663 18215 0 -1 64 15763 0 10 0 227 9 0 0 25 0 9 0 44329903 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4126603002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=0.3
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 10040 0 0 0 27 3 0 0 17 0 9 0 44329913 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.18
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 605 0 0 0 18 0 0 0 15 0 9 0 44329916 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 26447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 867456

[startup+6.30197 s]
/proc/loadavg: 2.43 2.53 2.66 3/91 18672
/proc/meminfo: memFree=1343360/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=6.05
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 27176 0 10 0 590 15 0 0 18 0 9 0 44329898 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 26514 2006 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=5.5
/proc/18663/task/18665/stat : 18665 (java) R 18661 18663 18215 0 -1 64 15801 0 10 0 540 10 0 0 25 0 9 0 44329903 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4126919321 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=0.3
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 10040 0 0 0 27 3 0 0 17 0 9 0 44329913 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.22
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 639 0 0 0 22 0 0 0 15 0 9 0 44329916 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 26514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 867456

[startup+12.7015 s]
/proc/loadavg: 2.40 2.52 2.66 3/91 18672
/proc/meminfo: memFree=1308096/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=12.42
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 30622 0 10 0 1224 18 0 0 18 0 9 0 44329898 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 29953 2007 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=11.6
/proc/18663/task/18665/stat : 18665 (java) R 18661 18663 18215 0 -1 64 15810 0 10 0 1148 12 0 0 25 0 9 0 44329903 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4126956879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=0.53
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 13448 0 0 0 48 5 0 0 17 0 9 0 44329913 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.27
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 668 0 0 0 27 0 0 0 15 0 9 0 44329916 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 29953 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 867456

[startup+25.5027 s]
/proc/loadavg: 2.31 2.49 2.65 3/91 18672
/proc/meminfo: memFree=1237760/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867544 CPUtime=25.15
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 40469 0 10 0 2490 25 0 0 18 0 9 0 44329898 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216886 39603 2640 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867544 CPUtime=23.23
/proc/18663/task/18665/stat : 18665 (java) R 18661 18663 18215 0 -1 64 15877 0 10 0 2309 14 0 0 25 0 9 0 44329903 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4127051288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867544 CPUtime=1.57
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 23197 0 0 0 148 9 0 0 16 0 9 0 44329913 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329913 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867544 CPUtime=0.32
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 699 0 0 0 32 0 0 0 15 0 9 0 44329916 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888365056 39603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 867544

[startup+51.103 s]
/proc/loadavg: 2.20 2.45 2.63 3/91 18672
/proc/meminfo: memFree=1181568/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867544 CPUtime=50.59
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 40471 0 10 0 5030 29 0 0 18 0 9 0 44329898 888365056 39604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216886 39604 2640 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867544 CPUtime=48.67
/proc/18663/task/18665/stat : 18665 (java) R 18661 18663 18215 0 -1 64 15878 0 10 0 4848 19 0 0 25 0 9 0 44329903 888365056 39604 996147200 134512640 134550740 4294955952 18446744073709551615 4127230579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867544 CPUtime=1.57
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 23197 0 0 0 148 9 0 0 16 0 9 0 44329913 888365056 39604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888365056 39604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329913 888365056 39604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888365056 39604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867544 CPUtime=0.32
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 700 0 0 0 32 0 0 0 16 0 9 0 44329916 888365056 39604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867544 CPUtime=0

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

/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888365056 39616 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867544 CPUtime=0.35
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 712 0 0 0 35 0 0 0 16 0 9 0 44329916 888365056 39616 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888365056 39616 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867544 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888365056 39616 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.15
Current children cumulated vsize (KiB) 867544

Solver just ended. Dumping a history of the last processes samples

[startup+2086.3 s]
/proc/loadavg: 1.00 1.00 1.17 3/91 18672
/proc/meminfo: memFree=1018688/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=2072.16
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 67288 0 10 0 207127 89 0 0 18 0 9 0 44329898 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 66346 2619 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=2069.87
/proc/18663/task/18665/stat : 18665 (java) R 18661 18663 18215 0 -1 64 15972 0 10 0 206919 68 0 0 17 0 9 0 44329903 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=1.87
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 49881 0 0 0 168 19 0 0 15 0 9 0 44329913 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 44329913 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 44329913 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.38
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 736 0 0 0 38 0 0 0 15 0 9 0 44329916 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 66346 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.16
Current children cumulated vsize (KiB) 867456

[startup+2089.5 s]
/proc/loadavg: 1.00 1.00 1.17 2/91 18672
/proc/meminfo: memFree=377984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867960 CPUtime=2075.35
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 200779 0 10 0 207396 139 0 0 18 0 9 0 44329898 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216990 199571 2618 9 0 211518 0
[pid=18663/tid=18665] ppid=18661 vsize=867960 CPUtime=2070.26
/proc/18663/task/18665/stat : 18665 (java) S 18661 18663 18215 0 -1 64 15991 0 10 0 206958 68 0 0 16 0 9 0 44329903 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867960 CPUtime=4.68
/proc/18663/task/18666/stat : 18666 (java) R 18661 18663 18215 0 -1 64 183349 0 0 0 399 69 0 0 18 0 9 0 44329913 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44329913 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867960 CPUtime=0.39
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 740 0 0 0 39 0 0 0 16 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.35
Current children cumulated vsize (KiB) 867960

[startup+2091.11 s]
/proc/loadavg: 1.00 1.00 1.17 2/91 18672
/proc/meminfo: memFree=377472/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=2076.95
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 201033 0 10 0 207556 139 0 0 18 0 9 0 44329898 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 199445 2618 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=2070.27
/proc/18663/task/18665/stat : 18665 (java) S 18661 18663 18215 0 -1 64 15993 0 10 0 206959 68 0 0 16 0 9 0 44329903 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=6.26
/proc/18663/task/18666/stat : 18666 (java) R 18661 18663 18215 0 -1 64 183601 0 0 0 557 69 0 0 17 0 9 0 44329913 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.39
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 740 0 0 0 39 0 0 0 16 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2076.95
Current children cumulated vsize (KiB) 867456

[startup+2091.9 s]
/proc/loadavg: 1.00 1.00 1.17 2/91 18672
/proc/meminfo: memFree=377472/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867960 CPUtime=2077.75
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 201159 0 10 0 207636 139 0 0 18 0 9 0 44329898 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216990 199571 2618 9 0 211518 0
[pid=18663/tid=18665] ppid=18661 vsize=867960 CPUtime=2070.27
/proc/18663/task/18665/stat : 18665 (java) S 18661 18663 18215 0 -1 64 15993 0 10 0 206959 68 0 0 16 0 9 0 44329903 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867960 CPUtime=7.06
/proc/18663/task/18666/stat : 18666 (java) R 18661 18663 18215 0 -1 64 183727 0 0 0 637 69 0 0 18 0 9 0 44329913 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44329913 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867960 CPUtime=0.39
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 740 0 0 0 39 0 0 0 16 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867960 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888791040 199571 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.75
Current children cumulated vsize (KiB) 867960

[startup+2092.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/91 18672
/proc/meminfo: memFree=377984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=2078.15
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 201160 0 10 0 207676 139 0 0 18 0 9 0 44329898 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 199445 2618 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=2070.27
/proc/18663/task/18665/stat : 18665 (java) S 18661 18663 18215 0 -1 64 15994 0 10 0 206959 68 0 0 17 0 9 0 44329903 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=7.46
/proc/18663/task/18666/stat : 18666 (java) R 18661 18663 18215 0 -1 64 183727 0 0 0 677 69 0 0 19 0 9 0 44329913 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104180211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.39
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 740 0 0 0 39 0 0 0 16 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.15
Current children cumulated vsize (KiB) 867456

[startup+2092.5 s]
/proc/loadavg: 1.00 1.00 1.17 2/91 18672
/proc/meminfo: memFree=377984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=867456 CPUtime=2078.34
/proc/18663/stat : 18663 (java) S 18661 18663 18215 0 -1 0 201163 0 10 0 207695 139 0 0 18 0 9 0 44329898 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 216864 199446 2618 9 0 211392 0
[pid=18663/tid=18665] ppid=18661 vsize=867456 CPUtime=2070.27
/proc/18663/task/18665/stat : 18665 (java) S 18661 18663 18215 0 -1 64 15997 0 10 0 206959 68 0 0 16 0 9 0 44329903 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18666] ppid=18661 vsize=867456 CPUtime=7.65
/proc/18663/task/18666/stat : 18666 (java) S 18661 18663 18215 0 -1 64 183727 0 0 0 696 69 0 0 19 0 9 0 44329913 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18667] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18667/stat : 18667 (java) S 18661 18663 18215 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18668] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18668/stat : 18668 (java) S 18661 18663 18215 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44329913 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18663/tid=18669] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18669/stat : 18669 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329916 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18670] ppid=18661 vsize=867456 CPUtime=0.39
/proc/18663/task/18670/stat : 18670 (java) S 18661 18663 18215 0 -1 64 740 0 0 0 39 0 0 0 16 0 9 0 44329916 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18671] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18671/stat : 18671 (java) S 18661 18663 18215 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329916 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18663/tid=18672] ppid=18661 vsize=867456 CPUtime=0
/proc/18663/task/18672/stat : 18672 (java) S 18661 18663 18215 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329916 888274944 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.34
Current children cumulated vsize (KiB) 867456

[startup+2092.6 s]
/proc/loadavg: 1.00 1.00 1.17 2/91 18672
/proc/meminfo: memFree=377984/2055920 swapFree=4192812/4192956
[pid=18663] ppid=18661 vsize=0 CPUtime=2078.43
/proc/18663/stat : 18663 (java) Z 18661 18663 18215 0 -1 12 201168 0 10 0 207695 148 0 0 16 0 2 0 44329898 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18663/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2078.43
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2092.64
CPU time (s): 2078.47
CPU user time (s): 2076.95
CPU system time (s): 1.52177
CPU usage (%): 99.3231
Max. virtual memory (cumulated for all children) (KiB): 867960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2076.95
system time used= 1.52177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201168
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44708
involuntary context switches= 71974

runsolver used 2.83657 second user time and 6.91395 second system time

The end

Launcher Data (download as text)

Begin job on node43 at 2008-07-12 17:25:05
IDJOB=1112972
IDBENCH=61505
IDSOLVER=360
FILE ID=node43/1112972-1215876304
PBS_JOBID= 7903528
Free space on /tmp= 66496 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp14/normalized-fapp14-2500-0.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112972-1215876304/watcher-1112972-1215876304 -o /tmp/evaluation-result-1112972-1215876304/solver-1112972-1215876304 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112972-1215876304.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= fac073e8eb5ef4bb7103b84225c28dd2
RANDOM SEED=577354182

node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1447656 kB
Buffers:          2824 kB
Cached:          41512 kB
SwapCached:          0 kB
Active:         550428 kB
Inactive:         5312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1447656 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7880 kB
Writeback:           0 kB
Mapped:         531632 kB
Slab:            36684 kB
Committed_AS:   846140 kB
PageTables:       3004 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66496 MiB
End job on node43 at 2008-07-12 17:59:57