Trace number 1112834

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? 958.124 963.126

General information on the benchmark

Namecsp/fapp/fapp26/
normalized-fapp26-2300-4.xml
MD5SUMd73e99eb4b5798901f411267510cf8b6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints61
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables2300
Number of constraints24253
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24253
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.01/0.17	
0.01/0.17	Abscon 112 (May, 2008)
0.19/0.34	
0.19/0.34	   configuration
0.19/0.34	     name=mrdac-ddeg.xml
0.29/0.41	   
0.29/0.41	   instance
0.29/0.41	     name=HOME/instance-1112834-1215874449.xml
0.29/0.45	   
0.29/0.45	   domains being loaded...
0.29/0.49	   
0.29/0.49	   variables being loaded...
0.58/0.77	     nbVariables=2300  nbDomainTypes=17  minDomainSize=42  maxDomainSize=302  nbTotalValues=635123
0.58/0.77	       =>  wckTime=0.431  cpuTime=0.29  mem=28M335
0.58/0.77	   
0.58/0.77	   predicates being loaded...
0.69/0.84	   
0.69/0.84	   constraints being loaded...
10.64/10.82	   
10.64/10.82	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 60M689)
13.12/13.37	     nbConstraints=24253  nbConvertedConstraints=560  nbConvertConstraintsChecks=30399686  nbExtensionStructures=415
13.12/13.37	     nbSharedExtensionStructures=247  nbConflictsStructures=646  nbSharedConflictsStructures=432
13.12/13.37	     nbUnbuiltConflictsStructures=4558  nbSharedBinaryRepresentations=203687  nbEvaluationManagers=4789
13.12/13.37	     nbSharedEvaluationManagers=18904  minDegree=5  maxDegree=43  minArity=2  maxArity=2
13.12/13.37	       =>  wckTime=13.03  cpuTime=12.16  mem=85M576
13.53/13.76	   
13.53/13.76	   solver LocalSearchSolver being built... 
13.63/13.81	       =>  wckTime=13.467  cpuTime=12.2  mem=57M91
13.73/13.98	
13.73/13.98	s SATISFIABLE
13.73/13.98	o 6969
13.83/14.08	o 6960
13.92/14.15	o 6953
14.02/14.20	o 6948
14.02/14.26	o 6940
14.12/14.32	o 6937
14.12/14.37	o 6934
14.21/14.41	o 6932
14.21/14.45	o 6930
14.31/14.54	o 6923
14.31/14.59	o 6916
14.41/14.63	o 6909
14.41/14.67	o 6903
14.51/14.71	o 6897
14.51/14.75	o 6891
14.51/14.80	o 6885
14.61/14.83	o 6879
14.61/14.87	o 6873
14.61/14.90	o 6867
14.71/14.93	o 6862
14.71/14.95	o 6857
14.71/14.98	o 6853
14.81/15.00	o 6849
14.81/15.02	o 6846
14.81/15.06	o 6843
14.81/15.08	o 6840
14.91/15.11	o 6838
14.91/15.14	o 6836
14.91/15.17	o 6834
14.91/15.18	o 6833
15.02/15.20	o 6832
15.02/15.29	o 6824
15.12/15.35	o 6816
15.12/15.39	o 6808
15.21/15.44	o 6802
15.31/15.50	o 6796
15.31/15.56	o 6790
15.41/15.61	o 6784
15.41/15.66	o 6779
15.51/15.70	o 6778
15.51/15.74	o 6773
15.60/15.82	o 6771
15.60/15.86	o 6767
15.60/15.89	o 6763
15.70/15.93	o 6759
15.70/15.96	o 6755
15.70/15.99	o 6751
15.80/16.02	o 6747
15.80/16.06	o 6744
15.80/16.09	o 6741
15.90/16.12	o 6738
15.90/16.14	o 6735
15.90/16.18	o 6732
16.00/16.20	o 6729
16.00/16.23	o 6726
16.00/16.27	o 6724
16.00/16.29	o 6722
16.10/16.32	o 6720
16.10/16.34	o 6719
16.10/16.36	o 6718
16.10/16.39	o 6717
16.20/16.41	o 6716
16.20/16.49	o 6711
16.30/16.51	o 6706
16.30/16.55	o 6700
16.30/16.58	o 6696
16.30/16.60	o 6693
16.40/16.62	o 6692
16.40/16.64	o 6686
16.40/16.68	o 6685
16.40/16.70	o 6682
16.50/16.75	o 6678
16.50/16.79	o 6676
16.60/16.86	o 6668
16.70/16.93	o 6660
16.80/17.00	o 6654
16.90/17.14	o 6648
16.99/17.21	o 6646
16.99/17.27	o 6640
17.09/17.35	o 6636
17.19/17.41	o 6630
17.19/17.47	o 6624
17.29/17.55	o 6623
17.39/17.60	o 6617
17.39/17.66	o 6612
17.49/17.72	o 6607
17.49/17.79	o 6602
17.59/17.85	o 6597
17.69/17.91	o 6592
17.69/17.98	o 6587
17.79/18.03	o 6582
17.79/18.09	o 6578
17.89/18.15	o 6574
17.99/18.20	o 6570
17.99/18.26	o 6566
18.09/18.32	o 6562
18.09/18.37	o 6558
18.19/18.42	o 6555
18.19/18.47	o 6552
18.29/18.52	o 6549
18.29/18.56	o 6546
18.39/18.61	o 6543
18.39/18.65	o 6540
18.39/18.69	o 6537
18.49/18.74	o 6534
18.49/18.80	o 6531
18.58/18.84	o 6528
18.58/18.88	o 6526
18.68/18.92	o 6524
18.68/18.96	o 6522
18.78/19.00	o 6520
18.78/19.04	o 6518
18.78/19.08	o 6516
18.88/19.11	o 6514
18.88/19.15	o 6512
18.88/19.19	o 6510
18.98/19.23	o 6508
18.98/19.27	o 6507
19.08/19.31	o 6506
19.08/19.34	o 6505
19.08/19.38	o 6504
19.18/19.41	o 6503
19.18/19.45	o 6502
19.18/19.48	o 6501
19.28/19.51	o 6500
19.38/19.61	o 6495
19.38/19.63	o 6490
19.48/19.73	o 6487
19.48/19.76	o 6481
19.48/19.79	o 6479
19.58/19.83	o 6474
19.58/19.85	o 6472
19.58/19.88	o 6471
19.67/19.93	o 6467
19.67/19.96	o 6463
19.67/19.99	o 6457
19.77/20.03	o 6452
19.77/20.07	o 6444
19.87/20.11	o 6441
19.87/20.14	o 6438
19.87/20.18	o 6437
19.97/20.21	o 6435
19.97/20.26	o 6430
19.97/20.28	o 6425
20.07/20.39	o 6419
20.17/20.47	o 6413
20.27/20.54	o 6407
20.37/20.62	o 6401
20.37/20.70	o 6399
20.47/20.78	o 6394
20.57/20.86	o 6389
20.67/20.94	o 6384
20.77/21.02	o 6380
20.77/21.10	o 6376
20.86/21.18	o 6372
20.96/21.25	o 6362
21.06/21.32	o 6356
21.06/21.39	o 6352
21.16/21.46	o 6348
21.26/21.53	o 6344
21.36/21.61	o 6340
21.36/21.67	o 6336
21.46/21.75	o 6332
21.56/21.82	o 6328
21.56/21.88	o 6325
21.66/21.96	o 6322
21.76/22.03	o 6319
21.76/22.09	o 6316
21.86/22.15	o 6313
21.96/22.20	o 6310
21.96/22.26	o 6306
22.06/22.32	o 6303
22.06/22.37	o 6301
22.16/22.43	o 6299
22.16/22.48	o 6297
22.26/22.53	o 6295
22.26/22.59	o 6293
22.36/22.64	o 6291
22.36/22.68	o 6289
22.46/22.73	o 6287
22.46/22.77	o 6285
22.56/22.81	o 6283
22.56/22.86	o 6281
22.56/22.89	o 6279
22.66/22.94	o 6277
22.66/22.98	o 6275
22.76/23.03	o 6274
22.76/23.07	o 6273
22.86/23.11	o 6272
22.86/23.15	o 6271
22.86/23.19	o 6270
22.95/23.22	o 6268
22.95/23.25	o 6267
22.95/23.29	o 6266
23.05/23.33	o 6265
23.05/23.36	o 6264
23.05/23.40	o 6263
23.15/23.42	o 6262
23.25/23.53	o 6260
23.25/23.56	o 6254
23.35/23.62	o 6250
23.35/23.65	o 6245
23.35/23.67	o 6244
23.46/23.75	o 6243
23.46/23.78	o 6241
23.56/23.81	o 6238
23.56/23.83	o 6232
23.56/23.87	o 6228
23.56/23.89	o 6223
23.66/23.91	o 6219
23.66/23.94	o 6218
23.66/23.98	o 6213
23.76/24.05	o 6212
23.76/24.09	o 6209
23.86/24.12	o 6206
23.86/24.15	o 6203
23.86/24.19	o 6201
23.96/24.22	o 6199
23.96/24.28	o 6197
24.05/24.37	o 6195
24.15/24.42	o 6191
24.15/24.48	o 6185
24.25/24.53	o 6183
24.25/24.58	o 6176
24.35/24.62	o 6174
24.45/24.70	o 6173
24.45/24.75	o 6171
24.45/24.80	o 6166
24.55/24.83	o 6162
24.55/24.89	o 6155
24.65/24.94	o 6152
24.65/24.99	o 6148
24.75/25.04	o 6142
24.75/25.08	o 6140
24.85/25.13	o 6138
24.85/25.17	o 6134
24.95/25.22	o 6130
24.95/25.28	o 6128
25.05/25.33	o 6126
25.05/25.39	o 6123
25.14/25.45	o 6120
25.34/25.68	o 6118
25.44/25.74	o 6110
25.54/25.80	o 6103
25.54/25.86	o 6097
25.64/25.92	o 6091
25.64/25.99	o 6086
25.74/26.05	o 6081
25.84/26.12	o 6076
25.84/26.19	o 6072
25.94/26.25	o 6068
26.04/26.37	o 6064
26.14/26.43	o 6060
26.23/26.54	o 6058
26.23/26.59	o 6054
26.33/26.65	o 6050
26.43/26.71	o 6047
26.43/26.77	o 6044
26.53/26.82	o 6041
26.53/26.87	o 6038
26.63/26.93	o 6035
26.63/26.98	o 6032
26.73/27.03	o 6030
26.73/27.08	o 6028
26.83/27.13	o 6024
26.83/27.18	o 6022
26.93/27.23	o 6020
26.93/27.27	o 6018
27.03/27.33	o 6016
27.03/27.38	o 6015
27.13/27.42	o 6014
27.13/27.47	o 6013
27.23/27.51	o 6012
27.23/27.55	o 6007
27.32/27.60	o 6006
27.32/27.65	o 6004
27.62/27.92	o 6001
27.72/28.05	o 5996
27.82/28.10	o 5994
27.82/28.15	o 5990
27.82/28.19	o 5985
27.93/28.24	o 5983
27.93/28.28	o 5979
28.03/28.33	o 5976
28.03/28.38	o 5974
28.13/28.42	o 5972
28.13/28.46	o 5967
28.23/28.51	o 5960
28.23/28.55	o 5959
28.23/28.60	o 5957
28.33/28.65	o 5951
28.33/28.69	o 5947
28.42/28.73	o 5946
28.42/28.78	o 5944
28.62/28.93	o 5939
28.62/28.99	o 5937
28.72/29.04	o 5933
28.72/29.10	o 5930
28.92/29.20	o 5928
28.92/29.29	o 5920
29.02/29.36	o 5917
29.12/29.42	o 5915
29.12/29.47	o 5914
29.22/29.54	o 5909
29.32/29.61	o 5907
29.32/29.66	o 5904
29.42/29.71	o 5902
29.42/29.77	o 5897
29.51/29.83	o 5895
29.61/29.94	o 5891
29.71/30.01	o 5890
29.71/30.06	o 5889
29.81/30.12	o 5884
29.81/30.18	o 5881
29.91/30.24	o 5876
29.91/30.29	o 5874
30.01/30.35	o 5871
30.11/30.47	o 5869
30.21/30.60	o 5866
30.31/30.66	o 5865
30.41/30.72	o 5864
30.41/30.77	o 5863
30.51/30.83	o 5860
30.51/30.88	o 5859
30.61/30.95	o 5856
30.71/31.00	o 5853
30.71/31.07	o 5848
30.81/31.13	o 5846
30.81/31.19	o 5839
31.01/31.32	o 5837
31.01/31.37	o 5835
31.11/31.44	o 5832
31.11/31.49	o 5830
31.21/31.55	o 5827
31.31/31.66	o 5826
31.41/31.74	o 5821
31.51/31.82	o 5818
31.60/31.94	o 5814
31.70/32.01	o 5808
31.70/32.07	o 5803
31.80/32.15	o 5797
31.90/32.25	o 5792
32.00/32.35	o 5787
32.10/32.45	o 5782
32.20/32.53	o 5777
32.30/32.62	o 5775
32.40/32.71	o 5771
32.50/32.80	o 5767
32.50/32.89	o 5763
32.59/32.99	o 5759
32.69/33.09	o 5755
32.79/33.18	o 5752
32.89/33.28	o 5749
32.99/33.37	o 5746
33.09/33.46	o 5743
33.19/33.55	o 5740
33.29/33.64	o 5737
33.39/33.73	o 5734
33.49/33.82	o 5731
33.49/33.90	o 5728
33.59/33.98	o 5726
33.69/34.07	o 5725
33.78/34.15	o 5722
33.88/34.22	o 5721
33.98/34.30	o 5720
33.98/34.38	o 5715
34.08/34.45	o 5711
34.18/34.53	o 5710
34.28/34.61	o 5709
34.28/34.70	o 5708
34.38/34.77	o 5707
34.48/34.85	o 5705
34.58/34.93	o 5704
34.68/35.00	o 5703
34.68/35.08	o 5702
35.28/35.60	o 5700
35.28/35.67	o 5699
35.38/35.75	o 5697
35.58/35.91	o 5694
35.68/36.05	o 5692
35.78/36.13	o 5688
35.88/36.23	o 5684
35.98/36.31	o 5681
36.07/36.46	o 5678
36.17/36.53	o 5676
36.27/36.60	o 5672
36.27/36.67	o 5670
36.37/36.75	o 5667
36.47/36.82	o 5664
36.47/36.89	o 5661
36.57/36.96	o 5655
36.67/37.04	o 5653
36.77/37.19	o 5652
36.87/37.26	o 5649
36.97/37.39	o 5646
37.07/37.46	o 5645
37.16/37.53	o 5640
37.26/37.60	o 5635
37.36/37.75	o 5632
37.46/37.84	o 5631
37.56/37.98	o 5629
37.96/38.35	o 5626
38.06/38.44	o 5620
38.16/38.52	o 5617
38.25/38.60	o 5614
38.25/38.68	o 5613
38.35/38.76	o 5610
38.55/38.92	o 5607
38.65/39.00	o 5606
38.65/39.08	o 5604
38.75/39.15	o 5601
38.85/39.23	o 5599
39.05/39.47	o 5598
39.15/39.56	o 5594
39.34/39.75	o 5593
39.54/39.92	o 5592
39.74/40.10	o 5591
39.74/40.19	o 5590
39.94/40.37	o 5589
40.04/40.47	o 5588
40.24/40.65	o 5587
40.34/40.75	o 5586
40.44/40.83	o 5582
40.55/40.94	o 5580
40.64/41.05	o 5574
40.84/41.24	o 5572
40.94/41.32	o 5571
41.04/41.42	o 5569
41.24/41.60	o 5567
41.24/41.69	o 5566
41.34/41.79	o 5564
41.44/41.88	o 5562
41.54/41.97	o 5561
41.64/42.06	o 5557
41.74/42.15	o 5556
41.84/42.24	o 5554
41.94/42.32	o 5553
42.13/42.58	o 5551
42.23/42.68	o 5547
42.33/42.78	o 5545
42.43/42.87	o 5544
42.53/42.95	o 5541
42.63/43.04	o 5540
42.73/43.14	o 5538
42.83/43.24	o 5536
42.93/43.33	o 5534
43.03/43.41	o 5531
43.13/43.51	o 5530
43.13/43.60	o 5528
43.23/43.68	o 5526
43.33/43.77	o 5524
43.43/43.85	o 5521
43.53/43.94	o 5518
43.63/44.03	o 5516
43.72/44.12	o 5515
43.82/44.21	o 5508
43.92/44.30	o 5506
43.92/44.39	o 5504
44.02/44.47	o 5502
44.12/44.56	o 5501
44.22/44.65	o 5499
44.32/44.73	o 5497
44.42/44.82	o 5496
44.52/44.91	o 5494
44.62/45.07	o 5493
44.91/45.30	o 5490
45.01/45.45	o 5488
45.11/45.53	o 5483
45.21/45.61	o 5482
45.31/45.77	o 5481
45.41/45.85	o 5477
45.51/45.93	o 5472
45.61/46.01	o 5470
45.61/46.08	o 5468
45.71/46.17	o 5466
45.91/46.31	o 5464
45.91/46.39	o 5459
46.01/46.45	o 5453
46.11/46.54	o 5450
46.21/46.62	o 5447
46.21/46.70	o 5445
46.31/46.77	o 5444
46.41/46.85	o 5443
46.51/46.93	o 5440
46.61/47.02	o 5435
46.71/47.11	o 5431
46.71/47.20	o 5427
46.81/47.29	o 5424
46.91/47.38	o 5421
47.00/47.47	o 5418
47.10/47.55	o 5415
47.20/47.64	o 5413
47.30/47.72	o 5410
47.40/47.81	o 5407
47.40/47.89	o 5405
47.50/47.98	o 5404
47.60/48.06	o 5402
47.70/48.15	o 5401
47.80/48.23	o 5399
47.90/48.39	o 5397
48.00/48.47	o 5395
48.09/48.56	o 5391
48.19/48.64	o 5389
48.29/48.72	o 5388
48.39/48.80	o 5384
48.39/48.88	o 5383
48.49/48.96	o 5382
48.59/49.03	o 5381
48.99/49.43	o 5377
49.09/49.58	o 5376
49.18/49.65	o 5371
49.28/49.72	o 5367
49.28/49.79	o 5366
49.38/49.85	o 5361
49.48/49.93	o 5360
49.48/50.00	o 5358
49.58/50.05	o 5355
49.68/50.13	o 5353
49.78/50.21	o 5351
49.78/50.28	o 5349
49.88/50.35	o 5346
49.98/50.41	o 5344
49.98/50.48	o 5342
50.08/50.56	o 5339
50.18/50.62	o 5338
50.37/50.80	o 5336
50.37/50.87	o 5332
50.47/50.93	o 5331
50.47/50.99	o 5327
50.57/51.06	o 5323
50.67/51.13	o 5322
50.67/51.19	o 5317
50.88/51.34	o 5315
50.98/51.41	o 5313
50.98/51.49	o 5309
51.18/51.64	o 5306
51.28/51.71	o 5303
51.37/51.85	o 5301
51.47/51.93	o 5300
51.57/52.06	o 5299
51.77/52.20	o 5296
51.77/52.27	o 5294
51.87/52.33	o 5288
51.87/52.40	o 5284
51.97/52.48	o 5281
52.07/52.56	o 5280
52.37/52.81	o 5278
52.37/52.89	o 5275
52.57/53.05	o 5270
52.67/53.13	o 5266
52.77/53.22	o 5263
52.87/53.30	o 5261
52.87/53.39	o 5260
53.16/53.65	o 5259
53.26/53.74	o 5256
53.46/53.93	o 5255
53.66/54.10	o 5254
53.76/54.20	o 5250
53.76/54.29	o 5248
53.86/54.39	o 5243
54.16/54.66	o 5242
54.25/54.75	o 5239
54.35/54.84	o 5238
54.45/54.95	o 5236
54.55/55.05	o 5231
54.65/55.15	o 5227
54.85/55.34	o 5225
55.15/55.63	o 5220
55.35/55.84	o 5219
55.45/55.94	o 5217
55.55/56.03	o 5212
55.74/56.22	o 5208
55.84/56.32	o 5204
56.04/56.51	o 5202
56.24/56.71	o 5200
56.44/56.92	o 5199
56.64/57.12	o 5193
56.84/57.33	o 5192
57.04/57.54	o 5190
57.14/57.64	o 5185
57.24/57.75	o 5181
57.34/57.86	o 5179
57.54/58.08	o 5174
57.64/58.18	o 5171
57.74/58.29	o 5168
57.84/58.39	o 5165
58.13/58.61	o 5164
58.23/58.72	o 5163
58.33/58.82	o 5159
58.43/58.92	o 5153
58.63/59.13	o 5152
58.73/59.24	o 5145
59.03/59.55	o 5143
59.13/59.65	o 5141
59.33/59.86	o 5139
59.43/59.97	o 5138
59.53/60.08	o 5135
59.63/60.18	o 5133
59.73/60.30	o 5128
59.93/60.41	o 5125
60.03/60.51	o 5124
60.12/60.62	o 5122
60.42/60.94	o 5116
60.52/61.05	o 5111
60.82/61.37	o 5110
60.92/61.48	o 5108
61.02/61.59	o 5107
61.22/61.70	o 5106
61.32/61.81	o 5105
61.42/61.92	o 5103
61.52/62.03	o 5100
61.62/62.14	o 5099
61.82/62.36	o 5096
61.92/62.47	o 5093
62.02/62.57	o 5091
62.22/62.79	o 5089
62.31/62.90	o 5088
62.61/63.12	o 5082
62.71/63.23	o 5080
62.81/63.34	o 5079
63.11/63.67	o 5077
63.41/63.91	o 5074
63.61/64.14	o 5070
63.71/64.25	o 5068
63.81/64.38	o 5064
64.01/64.51	o 5060
64.11/64.64	o 5057
64.21/64.77	o 5054
64.31/64.89	o 5052
64.50/65.01	o 5051
64.70/65.25	o 5049
64.80/65.37	o 5045
64.90/65.49	o 5042
65.10/65.62	o 5039
65.20/65.74	o 5035
65.30/65.85	o 5033
65.40/65.99	o 5031
65.69/66.22	o 5029
65.79/66.35	o 5027
65.89/66.46	o 5025
65.99/66.57	o 5024
66.09/66.68	o 5023
66.29/66.81	o 5022
66.39/66.92	o 5021
66.68/67.27	o 5018
67.18/67.71	o 5017
67.38/67.95	o 5013
67.48/68.07	o 5008
67.58/68.19	o 5004
67.78/68.31	o 5003
67.88/68.42	o 5002
67.98/68.54	o 5000
68.08/68.65	o 4999
68.18/68.76	o 4994
68.28/68.87	o 4993
68.37/68.98	o 4989
68.47/69.09	o 4985
68.67/69.22	o 4983
68.77/69.33	o 4982
68.87/69.45	o 4980
68.97/69.56	o 4977
69.07/69.66	o 4974
69.18/69.78	o 4971
69.48/70.01	o 4967
69.58/70.12	o 4964
69.68/70.23	o 4963
69.78/70.36	o 4962
69.88/70.47	o 4958
70.07/70.68	o 4956
70.27/70.80	o 4953
70.47/71.04	o 4950
70.57/71.15	o 4944
70.77/71.38	o 4942
70.87/71.49	o 4941
71.06/71.61	o 4940
71.16/71.72	o 4938
71.26/71.83	o 4934
71.46/72.05	o 4933
71.56/72.17	o 4929
71.66/72.29	o 4927
71.96/72.54	o 4926
72.06/72.65	o 4925
72.16/72.76	o 4924
72.26/72.88	o 4922
72.46/73.00	o 4921
72.66/73.24	o 4918
73.05/73.61	o 4913
73.15/73.74	o 4910
73.25/73.85	o 4909
73.45/74.09	o 4907
73.65/74.20	o 4903
73.85/74.45	o 4901
73.95/74.57	o 4898
74.05/74.69	o 4896
74.24/74.83	o 4893
74.34/74.95	o 4892
74.44/75.07	o 4889
74.64/75.20	o 4885
74.74/75.32	o 4883
74.84/75.44	o 4882
74.94/75.58	o 4880
75.14/75.70	o 4876
75.34/75.94	o 4873
75.53/76.18	o 4871
75.73/76.30	o 4870
75.83/76.42	o 4867
75.93/76.54	o 4865
76.04/76.68	o 4862
76.34/76.95	o 4859
76.44/77.07	o 4858
76.63/77.21	o 4855
76.73/77.35	o 4853
76.83/77.47	o 4849
77.03/77.61	o 4847
77.13/77.74	o 4843
77.23/77.87	o 4841
77.43/78.02	o 4835
77.53/78.15	o 4832
77.83/78.42	o 4830
77.93/78.55	o 4826
78.03/78.67	o 4825
78.23/78.80	o 4822
78.33/78.94	o 4818
78.43/79.06	o 4816
78.53/79.19	o 4812
78.72/79.32	o 4810
78.82/79.45	o 4808
79.32/79.98	o 4805
79.52/80.12	o 4803
79.62/80.27	o 4799
79.81/80.40	o 4797
79.91/80.54	o 4796
80.21/80.81	o 4793
80.31/80.95	o 4791
80.41/81.08	o 4789
80.61/81.21	o 4787
80.71/81.34	o 4785
80.81/81.47	o 4781
81.01/81.60	o 4780
81.11/81.73	o 4778
81.21/81.87	o 4776
81.41/82.01	o 4775
81.51/82.14	o 4773
81.61/82.26	o 4769
81.71/82.39	o 4765
81.90/82.53	o 4761
82.00/82.66	o 4760
82.10/82.79	o 4755
82.30/82.91	o 4754
82.50/83.16	o 4751
82.60/83.28	o 4749
82.80/83.41	o 4748
82.90/83.54	o 4747
83.09/83.78	o 4744
83.29/83.92	o 4742
83.69/84.31	o 4740
83.79/84.43	o 4738
83.89/84.56	o 4735
83.99/84.70	o 4734
84.19/84.83	o 4729
84.29/84.95	o 4727
84.78/85.48	o 4725
84.98/85.61	o 4723
85.08/85.74	o 4722
85.18/85.87	o 4717
85.28/85.99	o 4712
85.68/86.36	o 4708
85.78/86.49	o 4707
85.98/86.62	o 4705
86.08/86.74	o 4704
86.18/86.87	o 4701
86.37/87.00	o 4699
86.47/87.13	o 4698
86.67/87.38	o 4697
86.97/87.64	o 4696
87.28/87.91	o 4693
87.47/88.18	o 4690
87.67/88.31	o 4684
87.87/88.56	o 4680
88.07/88.70	o 4679
88.17/88.83	o 4676
88.27/88.96	o 4675
88.37/89.09	o 4672
88.57/89.23	o 4669
88.67/89.37	o 4668
88.87/89.50	o 4666
88.97/89.62	o 4665
89.07/89.75	o 4661
89.37/90.01	o 4658
89.47/90.14	o 4654
89.56/90.27	o 4653
89.96/90.64	o 4652
90.06/90.77	o 4650
90.26/90.90	o 4646
90.36/91.02	o 4643
90.46/91.16	o 4641
90.56/91.30	o 4637
90.75/91.43	o 4634
90.85/91.57	o 4633
91.05/91.71	o 4628
91.15/91.85	o 4625
91.25/91.98	o 4622
91.45/92.12	o 4620
91.55/92.26	o 4618
91.75/92.41	o 4616
92.05/92.72	o 4614
92.15/92.87	o 4612
92.45/93.17	o 4606
92.85/93.59	o 4605
93.04/93.74	o 4603
93.14/93.89	o 4598
93.34/94.04	o 4596
93.64/94.34	o 4595
93.74/94.48	o 4590
94.03/94.76	o 4588
94.33/95.05	o 4586
94.43/95.19	o 4582
94.63/95.33	o 4578
95.03/95.78	o 4575
95.32/96.09	o 4570
95.63/96.38	o 4569
95.83/96.53	o 4566
95.93/96.68	o 4565
96.13/96.83	o 4564
96.42/97.12	o 4561
96.52/97.27	o 4559
96.82/97.56	o 4557
97.02/97.72	o 4553
97.12/97.88	o 4552
97.32/98.04	o 4549
97.52/98.21	o 4547
97.62/98.38	o 4545
97.82/98.55	o 4543
98.02/98.72	o 4541
98.12/98.88	o 4539
98.32/99.04	o 4538
98.61/99.34	o 4536
98.81/99.50	o 4534
98.91/99.65	o 4532
99.11/99.81	o 4530
99.50/100.26	o 4529
99.70/100.41	o 4528
99.80/100.55	o 4527
100.00/100.70	o 4524
100.10/100.85	o 4523
100.69/101.44	o 4521
100.69/101.49	o 4518
100.89/101.63	o 4514
100.99/101.78	o 4512
101.49/102.23	o 4509
101.59/102.37	o 4507
101.79/102.52	o 4504
101.89/102.69	o 4499
102.69/103.49	o 4498
102.88/103.65	o 4495
103.08/103.81	o 4494
103.18/103.98	o 4490
103.38/104.17	o 4489
103.78/104.52	o 4488
103.97/104.70	o 4487
104.07/104.87	o 4484
104.28/105.03	o 4482
104.48/105.21	o 4481
104.78/105.54	o 4479
104.98/105.72	o 4477
105.28/106.04	o 4475
105.77/106.51	o 4473
105.88/106.67	o 4470
106.17/106.96	o 4469
106.77/107.59	o 4467
106.97/107.74	o 4463
107.06/107.89	o 4462
107.26/108.05	o 4461
107.46/108.21	o 4455
107.56/108.36	o 4454
107.86/108.68	o 4453
108.06/108.85	o 4450
108.36/109.16	o 4445
108.56/109.33	o 4441
108.96/109.78	o 4440
109.16/109.94	o 4438
109.26/110.09	o 4437
109.45/110.24	o 4434
109.75/110.57	o 4431
110.25/111.04	o 4429
110.54/111.36	o 4427
110.74/111.51	o 4423
110.84/111.67	o 4418
111.04/111.83	o 4417
111.14/111.99	o 4415
111.34/112.16	o 4414
112.33/113.14	o 4413
112.53/113.32	o 4412
112.63/113.48	o 4410
112.93/113.79	o 4409
113.33/114.11	o 4407
113.43/114.27	o 4404
113.63/114.44	o 4398
113.82/114.60	o 4397
114.42/115.27	o 4395
114.62/115.45	o 4392
114.82/115.62	o 4389
114.92/115.78	o 4386
115.12/115.95	o 4384
115.43/116.28	o 4383
115.63/116.45	o 4381
115.82/116.63	o 4380
116.02/116.80	o 4379
116.12/116.97	o 4376
116.32/117.13	o 4373
116.82/117.62	o 4370
116.92/117.78	o 4365
117.11/117.94	o 4362
117.31/118.10	o 4359
117.41/118.26	o 4358
117.61/118.41	o 4357
117.71/118.57	o 4352
117.91/118.74	o 4348
118.11/118.90	o 4346
118.20/119.06	o 4345
118.40/119.22	o 4343
118.50/119.38	o 4341
118.70/119.55	o 4337
119.20/120.07	o 4335
119.39/120.24	o 4332
119.59/120.42	o 4328
119.69/120.60	o 4326
119.89/120.76	o 4325
120.09/120.95	o 4323
120.29/121.12	o 4322
120.49/121.30	o 4321
120.59/121.48	o 4318
120.98/121.85	o 4316
121.38/122.22	o 4314
121.58/122.41	o 4312
121.88/122.77	o 4308
122.08/122.95	o 4307
122.28/123.13	o 4304
122.48/123.31	o 4299
122.68/123.50	o 4297
122.78/123.68	o 4296
122.98/123.87	o 4295
123.38/124.22	o 4291
123.58/124.40	o 4290
123.68/124.59	o 4288
124.07/124.96	o 4286
125.47/126.30	o 4281
125.67/126.50	o 4278
126.46/127.30	o 4276
126.56/127.50	o 4275
126.86/127.71	o 4273
127.06/127.90	o 4269
127.16/128.09	o 4266
128.55/129.46	o 4263
128.75/129.65	o 4260
129.14/130.04	o 4257
129.54/130.41	o 4255
129.64/130.58	o 4254
129.84/130.76	o 4253
130.04/130.94	o 4251
130.24/131.12	o 4250
130.44/131.31	o 4248
130.54/131.49	o 4247
130.74/131.67	o 4245
130.94/131.87	o 4244
131.14/132.04	o 4241
131.33/132.23	o 4240
131.53/132.41	o 4235
131.83/132.79	o 4234
132.03/132.97	o 4232
132.23/133.16	o 4230
132.42/133.34	o 4227
132.62/133.51	o 4225
132.72/133.69	o 4224
132.92/133.86	o 4222
133.22/134.20	o 4220
133.42/134.38	o 4218
134.32/135.28	o 4214
134.51/135.45	o 4212
134.91/135.80	o 4208
135.21/136.15	o 4204
135.61/136.51	o 4202
135.71/136.69	o 4197
136.10/137.04	o 4196
136.60/137.59	o 4192
136.90/137.80	o 4188
137.21/138.18	o 4186
137.41/138.36	o 4184
137.61/138.55	o 4182
137.80/138.73	o 4180
138.00/138.92	o 4179
138.20/139.11	o 4178
138.40/139.31	o 4175
138.70/139.68	o 4171
138.90/139.87	o 4170
139.10/140.05	o 4169
139.30/140.23	o 4166
139.70/140.62	o 4165
139.90/140.81	o 4164
139.99/140.99	o 4161
140.19/141.18	o 4159
140.39/141.36	o 4157
140.59/141.56	o 4152
140.79/141.74	o 4151
140.99/141.93	o 4148
141.19/142.11	o 4147
141.29/142.29	o 4143
141.49/142.48	o 4141
142.98/143.97	o 4139
143.18/144.17	o 4137
143.38/144.35	o 4134
143.58/144.54	o 4132
143.78/144.73	o 4128
143.98/144.92	o 4127
144.18/145.12	o 4123
144.37/145.31	o 4119
144.57/145.50	o 4117
144.67/145.69	o 4114
144.87/145.89	o 4112
145.07/146.09	o 4110
145.46/146.48	o 4107
145.66/146.68	o 4104
146.06/147.08	o 4101
146.26/147.27	o 4099
146.46/147.49	o 4097
146.66/147.69	o 4094
146.86/147.89	o 4093
147.36/148.31	o 4090
147.56/148.52	o 4089
147.95/148.92	o 4088
148.35/149.32	o 4085
148.75/149.72	o 4082
148.95/149.91	o 4079
149.05/150.08	o 4074
149.65/150.66	o 4073
150.24/151.26	o 4072
150.44/151.46	o 4068
150.64/151.64	o 4066
151.03/152.02	o 4063
151.33/152.39	o 4059
151.53/152.58	o 4058
153.02/154.04	o 4056
153.22/154.22	o 4050
153.42/154.40	o 4048
153.52/154.58	o 4044
153.72/154.75	o 4043
154.61/155.62	o 4041
154.81/155.80	o 4040
155.51/156.51	o 4038
155.61/156.69	o 4036
156.01/157.07	o 4034
156.21/157.26	o 4032
156.40/157.45	o 4030
156.60/157.64	o 4028
156.80/157.84	o 4026
157.00/158.03	o 4021
157.21/158.22	o 4019
157.41/158.43	o 4018
157.60/158.62	o 4016
157.80/158.81	o 4014
158.20/159.21	o 4013
158.40/159.42	o 4011
158.60/159.62	o 4008
158.80/159.82	o 4005
159.00/160.03	o 4002
159.40/160.45	o 3999
159.60/160.67	o 3998
159.79/160.88	o 3997
160.29/161.30	o 3996
160.49/161.51	o 3994
161.48/162.59	o 3992
162.88/163.92	o 3990
163.47/164.57	o 3989
163.67/164.79	o 3987
163.97/165.00	o 3984
164.17/165.22	o 3982
164.37/165.43	o 3981
164.57/165.64	o 3977
164.77/165.86	o 3975
165.16/166.29	o 3973
165.46/166.51	o 3971
165.66/166.73	o 3969
165.86/166.93	o 3968
166.06/167.15	o 3967
166.25/167.37	o 3964
166.45/167.57	o 3962
166.66/167.77	o 3960
167.35/168.43	o 3957
167.75/168.87	o 3956
167.95/169.10	o 3955
168.25/169.32	o 3954
168.45/169.54	o 3950
168.65/169.77	o 3949
168.85/169.99	o 3947
169.15/170.20	o 3946
169.35/170.43	o 3945
169.74/170.86	o 3943
171.04/172.16	o 3942
171.24/172.38	o 3939
171.73/172.80	o 3938
173.22/174.35	o 3937
173.42/174.56	o 3935
173.62/174.77	o 3933
173.82/175.00	o 3931
174.12/175.21	o 3929
174.32/175.43	o 3926
175.21/176.32	o 3923
175.41/176.54	o 3922
175.61/176.76	o 3920
175.91/177.01	o 3918
176.50/177.67	o 3917
177.20/178.31	o 3916
177.40/178.54	o 3912
177.61/178.76	o 3910
177.81/178.98	o 3909
178.10/179.21	o 3906
178.30/179.45	o 3901
178.50/179.68	o 3900
178.80/179.92	o 3899
179.20/180.39	o 3898
179.49/180.63	o 3895
179.69/180.86	o 3892
179.99/181.10	o 3891
180.39/181.58	o 3890
180.69/181.81	o 3889
180.89/182.05	o 3886
181.09/182.28	o 3883
181.39/182.52	o 3882
181.58/182.76	o 3880
182.08/183.23	o 3878
182.58/183.71	o 3876
182.98/184.18	o 3874
183.28/184.42	o 3873
183.67/184.89	o 3871
184.17/185.34	o 3870
184.37/185.58	o 3867
184.67/185.81	o 3862
184.86/186.00	o 3861
185.26/186.47	o 3860
185.56/186.70	o 3859
185.96/187.18	o 3858
186.26/187.41	o 3857
187.15/188.33	o 3854
187.55/188.78	o 3853
187.85/189.01	o 3852
188.05/189.24	o 3848
188.24/189.46	o 3847
188.74/189.90	o 3844
188.94/190.12	o 3842
189.14/190.35	o 3839
190.23/191.48	o 3838
190.53/191.70	o 3834
190.93/192.15	o 3833
191.13/192.38	o 3830
192.02/193.24	o 3829
192.22/193.46	o 3828
192.42/193.67	o 3826
192.63/193.89	o 3822
192.93/194.13	o 3819
193.33/194.59	o 3816
193.62/194.82	o 3812
194.02/195.28	o 3808
194.72/195.97	o 3805
194.92/196.20	o 3804
197.00/198.23	o 3802
197.20/198.43	o 3801
197.60/198.87	o 3799
197.90/199.18	o 3798
198.20/199.40	o 3794
198.40/199.62	o 3793
198.60/199.83	o 3790
198.80/200.05	o 3789
199.00/200.28	o 3786
199.19/200.49	o 3784
199.69/200.90	o 3783
200.49/201.70	o 3780
200.69/201.90	o 3779
200.89/202.10	o 3778
201.18/202.49	o 3775
201.38/202.69	o 3774
201.78/203.07	o 3771
201.98/203.26	o 3770
202.57/203.86	o 3769
202.77/204.05	o 3768
202.97/204.24	o 3767
203.17/204.44	o 3762
203.97/205.20	o 3761
204.26/205.56	o 3759
204.46/205.77	o 3756
204.66/205.97	o 3752
205.07/206.36	o 3751
205.26/206.56	o 3748
205.46/206.75	o 3747
207.65/208.96	o 3744
207.84/209.16	o 3743
208.14/209.45	o 3737
208.24/209.57	o 3734
208.44/209.77	o 3732
209.14/210.43	o 3731
209.34/210.63	o 3730
209.54/210.83	o 3728
209.94/211.25	o 3727
210.13/211.45	o 3722
211.33/212.68	o 3721
211.53/212.89	o 3718
211.73/213.09	o 3716
212.62/213.93	o 3714
212.82/214.14	o 3713
213.61/214.98	o 3712
214.51/215.83	o 3711
214.71/216.03	o 3710
214.91/216.23	o 3705
215.31/216.67	o 3704
215.50/216.88	o 3701
215.80/217.10	o 3699
216.20/217.54	o 3696
216.40/217.75	o 3694
217.11/218.43	o 3692
217.31/218.65	o 3686
217.51/218.88	o 3685
217.80/219.11	o 3683
218.20/219.55	o 3680
218.89/220.24	o 3676
219.09/220.48	o 3674
219.59/220.94	o 3671
219.79/221.17	o 3670
219.99/221.38	o 3668
222.58/223.95	o 3667
222.78/224.19	o 3665
223.08/224.44	o 3664
223.27/224.67	o 3663
223.57/224.90	o 3661
223.97/225.39	o 3660
224.26/225.64	o 3659
224.46/225.87	o 3658
224.76/226.10	o 3656
224.96/226.34	o 3653
225.46/226.82	o 3651
225.66/227.07	o 3650
226.45/227.86	o 3648
226.75/228.11	o 3646
227.25/228.63	o 3644
227.45/228.88	o 3643
227.75/229.14	o 3640
228.05/229.41	o 3637
228.25/229.67	o 3634
228.54/229.94	o 3631
228.84/230.20	o 3627
229.83/231.29	o 3625
230.43/231.82	o 3623
231.52/232.91	o 3622
231.72/233.18	o 3621
232.32/233.70	o 3620
232.52/233.96	o 3617
232.82/234.23	o 3616
233.11/234.51	o 3614
233.31/234.79	o 3611
233.61/235.06	o 3609
233.91/235.34	o 3608
235.80/237.27	o 3607
236.10/237.55	o 3606
236.99/238.41	o 3605
237.29/238.72	o 3602
239.29/240.73	o 3599
239.58/241.03	o 3596
239.88/241.32	o 3595
240.18/241.60	o 3593
241.58/243.06	o 3591
242.17/243.61	o 3590
242.37/243.89	o 3589
243.26/244.74	o 3588
243.76/245.27	o 3586
245.25/246.73	o 3583
245.55/247.01	o 3581
245.85/247.30	o 3580
246.15/247.61	o 3579
246.95/248.49	o 3577
247.24/248.79	o 3576
249.14/250.60	o 3573
249.14/250.69	o 3570
250.92/252.50	o 3567
251.33/252.80	o 3566
251.63/253.12	o 3564
251.93/253.42	o 3562
252.23/253.74	o 3559
253.12/254.69	o 3557
253.52/255.01	o 3556
255.40/256.97	o 3553
255.70/257.30	o 3552
259.19/260.77	o 3551
259.48/261.10	o 3550
259.88/261.43	o 3547
260.18/261.77	o 3545
261.18/262.75	o 3544
261.47/263.08	o 3542
262.17/263.71	o 3541
262.47/264.05	o 3540
267.24/268.83	o 3537
269.14/270.77	o 3534
269.84/271.42	o 3531
270.14/271.75	o 3530
271.73/273.37	o 3529
272.03/273.61	o 3528
272.62/274.26	o 3525
272.92/274.57	o 3523
273.22/274.90	o 3522
274.51/276.18	o 3521
274.91/276.50	o 3520
275.51/277.14	o 3519
276.10/277.78	o 3517
276.80/278.42	o 3513
277.10/278.73	o 3512
281.87/283.53	o 3511
282.17/283.86	o 3508
282.57/284.20	o 3507
287.44/289.14	o 3505
288.04/289.79	o 3504
288.74/290.44	o 3501
289.63/291.39	o 3500
290.34/292.02	o 3499
290.64/292.36	o 3498
290.94/292.69	o 3497
291.33/293.03	o 3495
291.63/293.37	o 3494
292.32/294.02	o 3489
293.92/295.68	o 3487
295.91/297.65	o 3486
296.60/298.31	o 3485
296.90/298.64	o 3484
297.20/298.98	o 3483
299.19/300.94	o 3480
299.49/301.28	o 3479
300.18/301.95	o 3475
300.48/302.28	o 3474
301.58/303.30	o 3472
302.17/303.96	o 3471
303.17/304.95	o 3470
303.46/305.29	o 3469
303.86/305.62	o 3468
304.17/305.96	o 3466
304.87/306.62	o 3464
305.16/306.94	o 3463
305.86/307.60	o 3462
305.96/307.75	o 3458
306.26/308.09	o 3457
306.65/308.42	o 3456
307.55/309.34	o 3455
308.15/309.98	o 3453
308.54/310.32	o 3452
308.84/310.64	o 3450
309.14/310.95	o 3448
309.44/311.28	o 3447
311.33/313.14	o 3445
311.63/313.46	o 3444
314.21/316.04	o 3441
314.91/316.71	o 3440
315.21/317.06	o 3439
315.51/317.39	o 3436
315.91/317.72	o 3435
316.40/318.25	o 3433
317.70/319.55	o 3429
318.39/320.20	o 3428
318.69/320.53	o 3426
318.99/320.86	o 3425
319.29/321.14	o 3424
319.88/321.80	o 3420
320.28/322.13	o 3418
320.58/322.48	o 3415
320.98/322.82	o 3414
321.28/323.14	o 3412
322.27/324.14	o 3410
322.57/324.47	o 3408
323.56/325.46	o 3407
325.25/327.13	o 3404
325.85/327.80	o 3402
326.24/328.12	o 3398
326.54/328.43	o 3396
328.74/330.67	o 3395
329.14/331.01	o 3394
329.44/331.34	o 3393
330.63/332.55	o 3391
331.92/333.83	o 3389
332.22/334.13	o 3388
332.52/334.44	o 3386
334.11/336.05	o 3385
334.41/336.36	o 3382
334.51/336.48	o 3377
334.71/336.68	o 3375
335.20/337.18	o 3370
335.50/337.49	o 3369
335.90/337.81	o 3367
336.50/338.45	o 3365
338.09/340.04	o 3363
338.39/340.37	o 3362
340.48/342.48	o 3361
340.88/342.81	o 3359
341.18/343.14	o 3358
343.36/345.37	o 3357
343.66/345.68	o 3355
344.36/346.32	o 3354
344.65/346.64	o 3351
345.26/347.27	o 3350
345.85/347.89	o 3348
346.55/348.53	o 3346
349.04/351.01	o 3344
349.34/351.32	o 3343
349.64/351.64	o 3339
350.23/352.28	o 3338
350.93/352.92	o 3334
351.22/353.24	o 3331
351.52/353.55	o 3330
352.52/354.52	o 3329
352.82/354.84	o 3328
354.91/356.99	o 3326
355.31/357.31	o 3323
356.20/358.29	o 3322
358.49/360.56	o 3320
359.18/361.22	o 3318
359.48/361.56	o 3317
359.88/361.91	o 3316
360.58/362.60	o 3315
360.88/362.95	o 3314
361.87/363.97	o 3312
362.97/365.06	o 3309
363.66/365.77	o 3307
365.85/367.98	o 3306
366.25/368.35	o 3304
367.34/369.45	o 3302
367.74/369.82	o 3300
368.83/370.93	o 3298
370.33/372.42	o 3292
370.63/372.78	o 3291
370.92/373.08	o 3288
371.32/373.45	o 3284
371.72/373.82	o 3281
372.42/374.58	o 3280
372.72/374.87	o 3279
373.11/375.23	o 3277
373.51/375.60	o 3274
374.21/376.32	o 3273
374.50/376.68	o 3270
374.91/377.05	o 3264
378.09/380.21	o 3262
378.39/380.54	o 3260
378.69/380.89	o 3256
378.99/381.11	o 3255
379.59/381.73	o 3253
382.17/384.37	o 3252
382.97/385.13	o 3251
387.74/389.90	o 3248
408.84/411.19	o 3247
409.22/411.58	o 3242
409.62/411.96	o 3241
410.02/412.34	o 3238
410.41/412.71	o 3236
410.71/413.09	o 3235
411.51/413.84	o 3234
412.21/414.57	o 3232
412.41/414.76	o 3230
412.80/415.15	o 3228
413.60/415.91	o 3227
417.18/419.51	o 3225
417.48/419.87	o 3222
421.26/423.67	o 3220
421.66/424.04	o 3218
422.06/424.43	o 3216
422.45/424.81	o 3214
429.42/431.88	o 3213
431.71/434.16	o 3211
432.90/435.37	o 3210
433.30/435.75	o 3207
434.10/436.52	o 3203
434.49/436.90	o 3201
434.79/437.28	o 3200
436.68/439.20	o 3198
437.48/439.97	o 3193
438.27/440.76	o 3191
438.67/441.15	o 3189
439.07/441.55	o 3188
439.86/442.35	o 3187
452.51/455.08	o 3184
453.40/455.94	o 3182
453.80/456.38	o 3179
454.30/456.81	o 3176
455.10/457.68	o 3175
457.78/460.33	o 3174
457.98/460.53	o 3172
458.87/461.43	o 3171
460.57/463.16	o 3169
461.06/463.60	o 3167
461.86/464.49	o 3166
462.36/464.93	o 3165
465.64/468.28	o 3163
466.54/469.19	o 3162
467.04/469.65	o 3161
471.41/474.10	o 3159
472.41/475.01	o 3158
472.80/475.47	o 3156
475.10/477.75	o 3153
475.99/478.67	o 3151
476.89/479.53	o 3150
477.29/479.99	o 3149
477.79/480.45	o 3147
479.18/481.88	o 3144
479.58/482.21	o 3140
479.98/482.67	o 3138
480.47/483.15	o 3136
480.97/483.61	o 3135
481.37/484.08	o 3133
481.86/484.54	o 3132
482.76/485.48	o 3131
483.26/485.93	o 3130
483.65/486.39	o 3124
484.15/486.85	o 3123
484.65/487.32	o 3122
485.05/487.78	o 3121
485.94/488.68	o 3118
486.64/489.35	o 3117
487.14/489.82	o 3116
487.53/490.27	o 3115
488.43/491.19	o 3114
488.93/491.65	o 3113
489.42/492.10	o 3112
490.32/493.05	o 3111
490.82/493.50	o 3110
491.22/493.97	o 3106
491.61/494.37	o 3105
492.61/495.30	o 3104
493.50/496.23	o 3103
494.00/496.71	o 3101
495.79/498.58	o 3100
497.68/500.49	o 3097
497.88/500.62	o 3095
498.28/501.09	o 3091
499.27/502.05	o 3090
499.77/502.53	o 3089
501.66/504.43	o 3088
502.16/504.91	o 3087
502.56/505.39	o 3086
503.06/505.87	o 3083
504.05/506.84	o 3080
505.04/507.81	o 3079
505.54/508.30	o 3078
506.84/509.64	o 3075
507.33/510.13	o 3074
508.33/511.11	o 3073
508.73/511.59	o 3071
509.72/512.55	o 3069
510.22/513.02	o 3067
512.61/515.44	o 3066
513.11/515.92	o 3065
513.60/516.40	o 3063
514.50/517.37	o 3062
515.00/517.86	o 3061
516.00/518.84	o 3057
516.40/519.27	o 3056
516.89/519.75	o 3055
518.29/521.18	o 3054
525.95/528.84	o 3053
527.44/530.34	o 3051
527.94/530.83	o 3049
528.44/531.32	o 3047
528.93/531.80	o 3045
529.33/532.29	o 3042
529.83/532.79	o 3040
530.33/533.27	o 3039
530.82/533.76	o 3038
555.00/558.04	o 3037
555.40/558.45	o 3035
562.17/565.27	o 3033
572.23/575.31	o 3032
573.22/576.30	o 3031
573.61/576.79	o 3028
574.11/577.28	o 3026
576.11/579.25	o 3024
578.10/581.23	o 3023
579.09/582.22	o 3019
579.29/582.45	o 3017
579.79/582.94	o 3013
580.28/583.43	o 3010
580.78/583.90	o 3009
581.18/584.38	o 3007
582.67/585.85	o 3004
583.17/586.34	o 3001
583.46/586.64	o 2998
583.96/587.12	o 2997
584.36/587.57	o 2995
584.86/588.05	o 2993
586.25/589.49	o 2989
587.15/590.37	o 2988
588.44/591.63	o 2987
589.34/592.57	o 2985
590.13/593.31	o 2981
593.22/596.44	o 2978
594.21/597.40	o 2977
594.61/597.87	o 2972
595.60/598.83	o 2971
597.30/600.58	o 2970
599.88/603.18	o 2969
612.43/615.72	o 2967
614.32/617.62	o 2966
615.71/619.05	o 2963
616.71/620.03	o 2961
617.20/620.52	o 2960
618.10/621.48	o 2957
620.58/623.91	o 2956
621.78/625.12	o 2955
622.18/625.59	o 2952
622.58/625.97	o 2951
623.57/626.93	o 2950
629.04/632.42	o 2947
635.72/639.17	o 2944
636.61/640.06	o 2942
649.45/652.93	o 2941
649.95/653.41	o 2940
650.24/653.79	o 2935
650.64/654.19	o 2931
651.14/654.66	o 2930
651.44/654.92	o 2928
652.33/655.85	o 2926
652.63/656.18	o 2925
653.62/657.13	o 2923
654.02/657.59	o 2922
654.32/657.81	o 2919
655.71/659.21	o 2918
657.10/660.64	o 2917
658.60/662.19	o 2916
664.87/668.48	o 2913
666.75/670.39	o 2912
667.75/671.33	o 2911
668.15/671.77	o 2910
668.64/672.25	o 2907
669.14/672.73	o 2904
670.84/674.45	o 2903
671.34/674.93	o 2902
672.33/675.92	o 2899
673.33/676.90	o 2897
677.21/680.85	o 2896
679.20/682.82	o 2894
679.70/683.32	o 2889
680.19/683.82	o 2886
682.18/685.80	o 2884
686.66/690.34	o 2883
687.16/690.82	o 2882
689.05/692.74	o 2880
690.04/693.72	o 2878
698.71/702.42	o 2877
699.21/702.92	o 2874
700.20/703.92	o 2873
702.69/706.41	o 2872
703.19/706.91	o 2871
705.08/708.90	o 2866
705.58/709.33	o 2863
706.07/709.82	o 2862
706.96/710.70	o 2860
708.36/712.18	o 2859
708.46/712.29	o 2855
708.96/712.78	o 2854
709.15/712.91	o 2851
709.55/713.39	o 2848
710.54/714.36	o 2847
712.93/716.72	o 2845
713.83/717.68	o 2843
714.33/718.16	o 2840
715.32/719.14	o 2839
718.31/722.17	o 2838
718.81/722.64	o 2837
723.69/727.59	o 2836
724.28/728.11	o 2835
726.77/730.63	o 2832
727.27/731.12	o 2825
730.25/734.11	o 2824
730.65/734.59	o 2823
732.14/736.09	o 2822
737.02/740.92	o 2821
737.81/741.78	o 2819
741.30/745.25	o 2818
742.79/746.74	o 2815
743.28/747.24	o 2813
744.98/748.99	o 2811
745.47/749.49	o 2806
748.26/752.29	o 2805
749.25/753.26	o 2801
752.64/756.69	o 2800
754.93/758.97	o 2798
756.42/760.43	o 2797
762.19/766.22	o 2796
764.88/768.99	o 2795
765.98/770.02	o 2793
766.47/770.53	o 2792
769.55/773.64	o 2790
770.55/774.68	o 2787
772.14/776.22	o 2783
772.64/776.74	o 2782
773.14/777.25	o 2776
773.54/777.67	o 2772
775.34/779.41	o 2768
776.23/780.38	o 2765
776.73/780.88	o 2764
777.72/781.89	o 2763
779.31/783.43	o 2761
779.71/783.80	o 2759
782.20/786.36	o 2758
782.70/786.87	o 2757
783.79/787.91	o 2754
785.78/789.95	o 2753
786.28/790.45	o 2751
788.76/792.99	o 2750
789.86/794.00	o 2749
790.35/794.52	o 2748
791.55/795.78	o 2746
794.63/798.81	o 2744
795.03/799.22	o 2742
795.53/799.72	o 2741
796.03/800.22	o 2739
797.52/801.73	o 2737
798.02/802.24	o 2736
799.51/803.76	o 2734
801.60/805.81	o 2732
802.11/806.32	o 2731
807.08/811.34	o 2727
808.08/812.35	o 2725
811.66/815.92	o 2724
816.34/820.66	o 2723
816.83/821.19	o 2720
818.72/823.06	o 2717
819.22/823.57	o 2716
820.81/825.14	o 2715
822.40/826.72	o 2713
822.90/827.25	o 2711
829.17/833.56	o 2709
829.66/834.01	o 2706
831.26/835.62	o 2705
833.65/838.03	o 2703
834.14/838.56	o 2701
838.42/842.87	o 2699
840.01/844.47	o 2698
840.61/845.00	o 2696
841.60/846.06	o 2694
843.19/847.67	o 2692
844.29/848.73	o 2691
846.98/851.49	o 2689
847.57/852.03	o 2687
848.67/853.13	o 2686
850.27/854.79	o 2683
850.86/855.33	o 2681
851.46/855.90	o 2680
852.46/856.98	o 2676
852.85/857.32	o 2674
862.90/867.42	o 2673
863.40/867.97	o 2670
864.00/868.52	o 2666
866.69/871.25	o 2663
868.87/873.43	o 2661
870.56/875.10	o 2660
871.56/876.19	o 2658
879.82/884.46	o 2654
882.10/886.72	o 2653
883.20/887.89	o 2652
891.86/896.55	o 2651
892.45/897.14	o 2650
893.05/897.74	o 2649
893.65/898.31	o 2647
895.23/899.92	o 2646
897.33/902.06	o 2643
897.93/902.64	o 2642
912.86/917.64	o 2641
913.45/918.22	o 2640
914.65/919.41	o 2637
921.51/926.38	o 2635
952.06/957.07	   
952.06/957.07	   search
952.06/957.07	     run=0  nbConstraintChecks=2165382566  nbAssignments=3393
952.06/957.07	       =>  wckTime=943.265  cpuTime=938.46  mem=58M86
952.06/957.07	   
952.06/957.07	   global
952.06/957.07	     nbConstraintChecks=2165382566  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
952.06/957.07	     solvingWckTime=943.25  solvingCpuTime=938.45  expiredTime=no  totalExploration=no  nbFoundSolutions=0
952.06/957.07	     globalCpuTime=950.71
952.06/957.07	       =>  wckTime=956.732  cpuTime=950.66  mem=58M86
952.06/957.07	   
952.06/957.07	   solver DecomposerSolver being built... 
957.94/962.95	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-1112834-1215874449/watcher-1112834-1215874449 -o /tmp/evaluation-result-1112834-1215874449/solver-1112834-1215874449 -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-1112834-1215874449.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.02 2.25 2.16 4/80 16570
/proc/meminfo: memFree=1807944/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=18572 CPUtime=0
/proc/16570/stat : 16570 (runsolver) R 16568 16570 16350 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44143523 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 218076081447 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16570/statm: 4643 292 257 25 0 2626 0

[startup+0.0977629 s]
/proc/loadavg: 2.02 2.25 2.16 4/80 16570
/proc/meminfo: memFree=1807944/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=860580 CPUtime=0.01
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 1576 0 1 0 0 1 0 0 18 0 2 0 44143523 881233920 1298 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 215145 1298 510 9 0 210124 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860580

[startup+0.101755 s]
/proc/loadavg: 2.02 2.25 2.16 4/80 16570
/proc/meminfo: memFree=1807944/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=861552 CPUtime=0.01
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 1867 0 1 0 0 1 0 0 18 0 4 0 44143523 882229248 1554 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 215388 1554 692 9 0 210367 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861552

[startup+0.301776 s]
/proc/loadavg: 2.02 2.25 2.16 4/80 16570
/proc/meminfo: memFree=1807944/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=866144 CPUtime=0.19
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 4631 0 1 0 15 4 0 0 18 0 9 0 44143523 886931456 4059 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216536 4059 1860 9 0 211084 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866144

[startup+0.70181 s]
/proc/loadavg: 2.02 2.25 2.16 4/80 16570
/proc/meminfo: memFree=1807944/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=866936 CPUtime=0.58
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 9880 0 1 0 51 7 0 0 18 0 9 0 44143523 887742464 9251 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216734 9251 1968 9 0 211262 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 866936

[startup+1.50188 s]
/proc/loadavg: 2.02 2.25 2.16 3/89 16579
/proc/meminfo: memFree=1760832/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=1.38
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 21340 0 1 0 125 13 0 0 18 0 9 0 44143523 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 20676 2004 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=1.11
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15770 0 1 0 101 10 0 0 24 0 9 0 44143527 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 102689681 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=0.07
/proc/16570/task/16573/stat : 16573 (java) S 16568 16570 16350 0 -1 64 4268 0 0 0 6 1 0 0 16 0 9 0 44143533 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.17
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 605 0 0 0 17 0 0 0 16 0 9 0 44143537 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 20676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 867408

[startup+3.10202 s]
/proc/loadavg: 2.02 2.25 2.16 4/89 16579
/proc/meminfo: memFree=1719040/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=2.98
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 24727 0 1 0 283 15 0 0 18 0 9 0 44143523 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 24060 2006 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=2.57
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15808 0 1 0 247 10 0 0 25 0 9 0 44143527 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4126889788 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=0.19
/proc/16570/task/16573/stat : 16573 (java) S 16568 16570 16350 0 -1 64 7603 0 0 0 16 3 0 0 17 0 9 0 44143533 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.19
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 619 0 0 0 19 0 0 0 15 0 9 0 44143537 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 867408

[startup+6.3023 s]
/proc/loadavg: 2.02 2.25 2.16 3/89 16579
/proc/meminfo: memFree=1717632/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=6.16
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 24753 0 1 0 600 16 0 0 18 0 9 0 44143523 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 24082 2006 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=5.73
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15812 0 1 0 562 11 0 0 25 0 9 0 44143527 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4126889775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=0.19
/proc/16570/task/16573/stat : 16573 (java) S 16568 16570 16350 0 -1 64 7603 0 0 0 16 3 0 0 17 0 9 0 44143533 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.21
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 641 0 0 0 21 0 0 0 15 0 9 0 44143537 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 867408

[startup+12.7029 s]
/proc/loadavg: 2.02 2.24 2.15 4/89 16579
/proc/meminfo: memFree=1710464/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=12.53
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 28470 0 1 0 1234 19 0 0 18 0 9 0 44143523 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 27792 2007 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=11.82
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15821 0 1 0 1169 13 0 0 25 0 9 0 44143527 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=0.42
/proc/16570/task/16573/stat : 16573 (java) R 16568 16570 16350 0 -1 64 11283 0 0 0 39 3 0 0 16 0 9 0 44143533 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.26
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 669 0 0 0 26 0 0 0 15 0 9 0 44143537 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 27792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867408

[startup+25.503 s]
/proc/loadavg: 2.01 2.23 2.15 3/89 16579
/proc/meminfo: memFree=1685376/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867496 CPUtime=25.24
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 33736 0 1 0 2500 24 0 0 18 0 9 0 44143523 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216874 32865 2640 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867496 CPUtime=23.99
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15885 0 1 0 2383 16 0 0 25 0 9 0 44143527 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4127212528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867496 CPUtime=0.9
/proc/16570/task/16573/stat : 16573 (java) S 16568 16570 16350 0 -1 64 16457 0 0 0 85 5 0 0 16 0 9 0 44143533 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867496 CPUtime=0.31
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 697 0 0 0 31 0 0 0 16 0 9 0 44143537 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888315904 32865 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867496

[startup+51.1022 s]
/proc/loadavg: 2.01 2.21 2.15 3/89 16579
/proc/meminfo: memFree=1685440/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867496 CPUtime=50.67
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 33741 0 1 0 5038 29 0 0 18 0 9 0 44143523 888315904 32869 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216874 32869 2640 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867496 CPUtime=49.43
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15886 0 1 0 4921 22 0 0 25 0 9 0 44143527 888315904 32869 996147200 134512640 134550740 4294955952 18446744073709551615 4126889788 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867496 CPUtime=0.9
/proc/16570/task/16573/stat : 16573 (java) S 16568 16570 16350 0 -1 64 16457 0 0 0 85 5 0 0 16 0 9 0 44143533 888315904 32869 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32869 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32869 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888315904 32869 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867496 CPUtime=0.33
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 701 0 0 0 32 1 0 0 16 0 9 0 44143537 888315904 32869 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867496 CPUtime=0

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

/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867496 CPUtime=0.34
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 710 0 0 0 33 1 0 0 16 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 937.44
Current children cumulated vsize (KiB) 867496

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

[startup+947.107 s]
/proc/loadavg: 2.00 2.00 2.03 3/89 16585
/proc/meminfo: memFree=1683200/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867496 CPUtime=942.21
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 33752 0 1 0 94154 67 0 0 18 0 9 0 44143523 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216874 32878 2640 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867496 CPUtime=940.94
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15888 0 1 0 94035 59 0 0 25 0 9 0 44143527 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4126893107 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867496 CPUtime=0.9
/proc/16570/task/16573/stat : 16573 (java) S 16568 16570 16350 0 -1 64 16457 0 0 0 85 5 0 0 16 0 9 0 44143533 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867496 CPUtime=0.34
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 710 0 0 0 33 1 0 0 16 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 867496

[startup+953.501 s]
/proc/loadavg: 2.00 2.00 2.03 3/89 16585
/proc/meminfo: memFree=1683200/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867496 CPUtime=948.58
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 33752 0 1 0 94791 67 0 0 18 0 9 0 44143523 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216874 32878 2640 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867496 CPUtime=947.31
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15888 0 1 0 94671 60 0 0 25 0 9 0 44143527 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4126889757 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867496 CPUtime=0.9
/proc/16570/task/16573/stat : 16573 (java) S 16568 16570 16350 0 -1 64 16457 0 0 0 85 5 0 0 16 0 9 0 44143533 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143534 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867496 CPUtime=0.34
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 710 0 0 0 33 1 0 0 16 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867496 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888315904 32878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 948.58
Current children cumulated vsize (KiB) 867496

[startup+959.902 s]
/proc/loadavg: 2.00 2.00 2.03 4/89 16585
/proc/meminfo: memFree=1045368/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=954.95
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 200403 0 1 0 95361 134 0 0 18 0 9 0 44143523 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 199447 2618 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=951.67
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15979 0 1 0 95107 60 0 0 25 0 9 0 44143527 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=2.86
/proc/16570/task/16573/stat : 16573 (java) R 16568 16570 16350 0 -1 64 182971 0 0 0 215 71 0 0 16 0 9 0 44143533 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.38
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 738 0 0 0 37 1 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 954.95
Current children cumulated vsize (KiB) 867408

[startup+961.502 s]
/proc/loadavg: 2.00 2.00 2.03 4/89 16585
/proc/meminfo: memFree=1015480/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=956.54
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 200406 0 1 0 95520 134 0 0 18 0 9 0 44143523 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 199447 2618 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=951.68
/proc/16570/task/16572/stat : 16572 (java) R 16568 16570 16350 0 -1 64 15982 0 1 0 95108 60 0 0 24 0 9 0 44143527 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=4.44
/proc/16570/task/16573/stat : 16573 (java) R 16568 16570 16350 0 -1 64 182971 0 0 0 373 71 0 0 18 0 9 0 44143533 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.38
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 738 0 0 0 37 1 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 956.54
Current children cumulated vsize (KiB) 867408

[startup+962.303 s]
/proc/loadavg: 2.00 2.00 2.03 4/89 16585
/proc/meminfo: memFree=1015480/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=957.34
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 200406 0 1 0 95600 134 0 0 18 0 9 0 44143523 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 199447 2618 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=951.68
/proc/16570/task/16572/stat : 16572 (java) S 16568 16570 16350 0 -1 64 15982 0 1 0 95108 60 0 0 24 0 9 0 44143527 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=5.24
/proc/16570/task/16573/stat : 16573 (java) R 16568 16570 16350 0 -1 64 182971 0 0 0 453 71 0 0 19 0 9 0 44143533 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.38
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 738 0 0 0 37 1 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 957.34
Current children cumulated vsize (KiB) 867408

[startup+962.703 s]
/proc/loadavg: 2.08 2.02 2.03 3/89 16585
/proc/meminfo: memFree=1015480/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=867408 CPUtime=957.74
/proc/16570/stat : 16570 (java) S 16568 16570 16350 0 -1 0 200407 0 1 0 95640 134 0 0 18 0 9 0 44143523 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 216852 199447 2618 9 0 211380 0
[pid=16570/tid=16572] ppid=16568 vsize=867408 CPUtime=951.68
/proc/16570/task/16572/stat : 16572 (java) S 16568 16570 16350 0 -1 64 15983 0 1 0 95108 60 0 0 24 0 9 0 44143527 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16573] ppid=16568 vsize=867408 CPUtime=5.64
/proc/16570/task/16573/stat : 16573 (java) R 16568 16570 16350 0 -1 64 182971 0 0 0 493 71 0 0 20 0 9 0 44143533 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 102721922 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16574] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16574/stat : 16574 (java) S 16568 16570 16350 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16575] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16575/stat : 16575 (java) S 16568 16570 16350 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143534 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16576] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16576/stat : 16576 (java) S 16568 16570 16350 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16577] ppid=16568 vsize=867408 CPUtime=0.38
/proc/16570/task/16577/stat : 16577 (java) S 16568 16570 16350 0 -1 64 738 0 0 0 37 1 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16578] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16578/stat : 16578 (java) S 16568 16570 16350 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16570/tid=16579] ppid=16568 vsize=867408 CPUtime=0
/proc/16570/task/16579/stat : 16579 (java) S 16568 16570 16350 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143537 888225792 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 957.74
Current children cumulated vsize (KiB) 867408

[startup+963.103 s]
/proc/loadavg: 2.08 2.02 2.03 3/89 16585
/proc/meminfo: memFree=1015480/2055920 swapFree=4192812/4192956
[pid=16570] ppid=16568 vsize=0 CPUtime=958.09
/proc/16570/stat : 16570 (java) Z 16568 16570 16350 0 -1 12 200415 0 1 0 95665 144 0 0 16 0 2 0 44143523 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16570/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 958.09
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 963.126
CPU time (s): 958.124
CPU user time (s): 956.658
CPU system time (s): 1.46678
CPU usage (%): 99.4807
Max. virtual memory (cumulated for all children) (KiB): 867500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 956.658
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200415
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21660
involuntary context switches= 37672

runsolver used 1.14383 second user time and 3.42048 second system time

The end

Launcher Data (download as text)

Begin job on node57 at 2008-07-12 16:54:10
IDJOB=1112834
IDBENCH=61482
IDSOLVER=360
FILE ID=node57/1112834-1215874449
PBS_JOBID= 7903566
Free space on /tmp= 66540 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp26/normalized-fapp26-2300-4.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-1112834-1215874449/watcher-1112834-1215874449 -o /tmp/evaluation-result-1112834-1215874449/solver-1112834-1215874449 -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-1112834-1215874449.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d73e99eb4b5798901f411267510cf8b6
RANDOM SEED=1468177724

node57.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.234
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.234
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:       1808616 kB
Buffers:          2776 kB
Cached:          40540 kB
SwapCached:          0 kB
Active:         190224 kB
Inactive:         5108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808616 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5648 kB
Writeback:           0 kB
Mapped:         172304 kB
Slab:            36960 kB
Committed_AS:   954164 kB
PageTables:       2048 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= 66536 MiB
End job on node57 at 2008-07-12 17:10:13