Trace number 1112833

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-w? 913.63 918.389

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.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.17/0.26	
0.17/0.26	   configuration
0.17/0.26	     name=mrdac-wdeg.xml
0.27/0.34	   
0.27/0.34	   instance
0.27/0.34	     name=HOME/instance-1112833-1215874443.xml
0.27/0.37	   
0.27/0.37	   domains being loaded...
0.33/0.41	   
0.33/0.41	   variables being loaded...
0.53/0.68	     nbVariables=2300  nbDomainTypes=17  minDomainSize=42  maxDomainSize=302  nbTotalValues=635123
0.53/0.68	       =>  wckTime=0.418  cpuTime=0.28  mem=28M335
0.53/0.68	   
0.53/0.68	   predicates being loaded...
0.63/0.75	   
0.63/0.75	   constraints being loaded...
10.58/10.76	   
10.58/10.76	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 62M673)
12.97/13.18	     nbConstraints=24253  nbConvertedConstraints=634  nbConvertConstraintsChecks=32395966  nbExtensionStructures=481
12.97/13.18	     nbSharedExtensionStructures=260  nbConflictsStructures=712  nbSharedConflictsStructures=435
12.97/13.18	     nbUnbuiltConflictsStructures=4532  nbSharedBinaryRepresentations=226977  nbEvaluationManagers=4763
12.97/13.18	     nbSharedEvaluationManagers=18856  minDegree=5  maxDegree=43  minArity=2  maxArity=2
12.97/13.18	       =>  wckTime=12.918  cpuTime=12.05  mem=86M904
13.36/13.58	   
13.36/13.58	   solver LocalSearchSolver being built... 
13.46/13.63	       =>  wckTime=13.363  cpuTime=12.09  mem=57M398
13.57/13.80	
13.57/13.80	s SATISFIABLE
13.57/13.80	o 6969
13.67/13.89	o 6960
13.77/13.96	o 6953
13.87/14.00	o 6948
13.87/14.06	o 6940
13.97/14.11	o 6937
13.97/14.16	o 6934
14.07/14.21	o 6932
14.07/14.24	o 6930
14.17/14.33	o 6923
14.17/14.37	o 6916
14.26/14.42	o 6909
14.26/14.45	o 6903
14.26/14.49	o 6897
14.36/14.53	o 6891
14.36/14.58	o 6885
14.46/14.61	o 6879
14.46/14.64	o 6873
14.46/14.67	o 6867
14.56/14.70	o 6862
14.56/14.72	o 6857
14.56/14.75	o 6853
14.56/14.77	o 6849
14.56/14.79	o 6846
14.66/14.83	o 6843
14.66/14.85	o 6840
14.66/14.87	o 6838
14.76/14.91	o 6836
14.76/14.93	o 6834
14.76/14.95	o 6833
14.76/14.96	o 6832
14.86/15.05	o 6824
14.96/15.10	o 6816
14.96/15.15	o 6808
14.96/15.19	o 6802
15.06/15.25	o 6796
15.16/15.31	o 6790
15.16/15.36	o 6784
15.16/15.40	o 6779
15.25/15.45	o 6778
15.25/15.48	o 6773
15.35/15.55	o 6771
15.35/15.59	o 6767
15.45/15.63	o 6763
15.45/15.66	o 6759
15.45/15.69	o 6755
15.55/15.72	o 6751
15.55/15.75	o 6747
15.55/15.78	o 6744
15.64/15.82	o 6741
15.64/15.84	o 6738
15.64/15.87	o 6735
15.64/15.90	o 6732
15.75/15.92	o 6729
15.75/15.94	o 6726
15.75/15.98	o 6724
15.85/16.01	o 6722
15.85/16.04	o 6720
15.85/16.06	o 6719
15.85/16.07	o 6718
15.95/16.10	o 6717
15.95/16.12	o 6716
15.95/16.19	o 6711
16.05/16.22	o 6706
16.05/16.25	o 6700
16.05/16.28	o 6696
16.05/16.30	o 6693
16.15/16.32	o 6692
16.15/16.34	o 6686
16.15/16.37	o 6685
16.15/16.39	o 6682
16.25/16.44	o 6678
16.25/16.48	o 6676
16.34/16.55	o 6668
16.44/16.62	o 6660
16.44/16.69	o 6654
16.64/16.82	o 6648
16.64/16.88	o 6646
16.74/16.94	o 6640
16.84/17.02	o 6636
16.84/17.08	o 6630
16.93/17.14	o 6624
17.03/17.20	o 6623
17.03/17.26	o 6617
17.13/17.31	o 6612
17.13/17.37	o 6607
17.23/17.43	o 6602
17.23/17.50	o 6597
17.33/17.56	o 6592
17.43/17.62	o 6587
17.43/17.67	o 6582
17.53/17.72	o 6578
17.53/17.78	o 6574
17.63/17.83	o 6570
17.63/17.89	o 6566
17.73/17.94	o 6562
17.73/17.99	o 6558
17.83/18.04	o 6555
17.83/18.08	o 6552
17.93/18.13	o 6549
17.93/18.17	o 6546
18.03/18.22	o 6543
18.03/18.26	o 6540
18.13/18.30	o 6537
18.13/18.34	o 6534
18.13/18.40	o 6531
18.23/18.44	o 6528
18.23/18.48	o 6526
18.33/18.52	o 6524
18.33/18.55	o 6522
18.33/18.59	o 6520
18.43/18.64	o 6518
18.43/18.68	o 6516
18.53/18.71	o 6514
18.53/18.74	o 6512
18.53/18.78	o 6510
18.63/18.82	o 6508
18.63/18.86	o 6507
18.63/18.90	o 6506
18.73/18.93	o 6505
18.73/18.97	o 6504
18.82/19.00	o 6503
18.82/19.03	o 6502
18.82/19.06	o 6501
18.82/19.09	o 6500
18.92/19.19	o 6495
19.02/19.21	o 6490
19.02/19.29	o 6487
19.12/19.33	o 6481
19.12/19.36	o 6479
19.12/19.39	o 6474
19.22/19.41	o 6472
19.22/19.44	o 6471
19.22/19.49	o 6467
19.32/19.52	o 6463
19.32/19.54	o 6457
19.32/19.58	o 6452
19.42/19.62	o 6444
19.42/19.66	o 6441
19.42/19.69	o 6438
19.52/19.73	o 6437
19.52/19.76	o 6435
19.62/19.80	o 6430
19.62/19.83	o 6425
19.71/19.94	o 6419
19.81/20.01	o 6413
19.81/20.07	o 6407
19.91/20.15	o 6401
20.01/20.22	o 6399
20.11/20.30	o 6394
20.11/20.37	o 6389
20.21/20.45	o 6384
20.31/20.53	o 6380
20.31/20.60	o 6376
20.41/20.67	o 6372
20.51/20.74	o 6362
20.61/20.81	o 6356
20.61/20.88	o 6352
20.71/20.95	o 6348
20.80/21.01	o 6344
20.80/21.08	o 6340
20.90/21.15	o 6336
21.00/21.22	o 6332
21.00/21.28	o 6328
21.10/21.34	o 6325
21.20/21.41	o 6322
21.20/21.48	o 6319
21.30/21.53	o 6316
21.30/21.59	o 6313
21.40/21.64	o 6310
21.40/21.69	o 6306
21.50/21.75	o 6303
21.60/21.80	o 6301
21.60/21.85	o 6299
21.70/21.91	o 6297
21.70/21.95	o 6295
21.80/22.01	o 6293
21.80/22.06	o 6291
21.89/22.10	o 6289
21.89/22.14	o 6287
21.89/22.18	o 6285
22.00/22.22	o 6283
22.00/22.26	o 6281
22.10/22.30	o 6279
22.10/22.34	o 6277
22.10/22.38	o 6275
22.20/22.42	o 6274
22.20/22.46	o 6273
22.30/22.50	o 6272
22.30/22.54	o 6271
22.30/22.57	o 6270
22.40/22.60	o 6268
22.40/22.64	o 6267
22.40/22.67	o 6266
22.50/22.71	o 6265
22.50/22.74	o 6264
22.50/22.77	o 6263
22.60/22.80	o 6262
22.70/22.90	o 6260
22.70/22.93	o 6254
22.70/22.99	o 6250
22.80/23.02	o 6245
22.80/23.05	o 6244
22.90/23.12	o 6243
22.90/23.15	o 6241
22.90/23.17	o 6238
22.90/23.20	o 6232
22.99/23.23	o 6228
22.99/23.25	o 6223
22.99/23.27	o 6219
23.09/23.30	o 6218
23.09/23.34	o 6213
23.19/23.40	o 6212
23.19/23.44	o 6209
23.19/23.47	o 6206
23.19/23.50	o 6203
23.29/23.53	o 6201
23.29/23.57	o 6199
23.39/23.62	o 6197
23.49/23.70	o 6195
23.49/23.75	o 6191
23.59/23.81	o 6185
23.59/23.86	o 6183
23.69/23.91	o 6176
23.69/23.95	o 6174
23.79/24.02	o 6173
23.79/24.07	o 6171
23.89/24.12	o 6166
23.89/24.16	o 6162
23.98/24.21	o 6155
23.98/24.25	o 6152
24.08/24.30	o 6148
24.08/24.35	o 6142
24.08/24.39	o 6140
24.18/24.44	o 6138
24.18/24.48	o 6134
24.28/24.52	o 6130
24.28/24.58	o 6128
24.38/24.63	o 6126
24.38/24.68	o 6123
24.48/24.74	o 6120
24.68/24.96	o 6118
24.78/25.01	o 6110
24.78/25.07	o 6103
24.88/25.13	o 6097
24.88/25.18	o 6091
24.98/25.25	o 6086
25.08/25.31	o 6081
25.08/25.37	o 6076
25.17/25.44	o 6072
25.17/25.50	o 6068
25.37/25.61	o 6064
25.37/25.66	o 6060
25.47/25.77	o 6058
25.57/25.82	o 6054
25.57/25.87	o 6050
25.67/25.93	o 6047
25.67/25.98	o 6044
25.77/26.03	o 6041
25.77/26.08	o 6038
25.88/26.14	o 6035
25.88/26.18	o 6032
25.98/26.23	o 6030
25.98/26.28	o 6028
26.08/26.33	o 6024
26.08/26.38	o 6022
26.18/26.42	o 6020
26.18/26.46	o 6018
26.27/26.52	o 6016
26.27/26.56	o 6015
26.37/26.60	o 6014
26.37/26.64	o 6013
26.37/26.68	o 6012
26.47/26.72	o 6007
26.47/26.76	o 6006
26.57/26.81	o 6004
26.77/27.07	o 6001
26.87/27.19	o 5996
26.97/27.24	o 5994
26.97/27.29	o 5990
27.07/27.33	o 5985
27.07/27.37	o 5983
27.17/27.42	o 5979
27.17/27.46	o 5976
27.27/27.51	o 5974
27.27/27.54	o 5972
27.27/27.59	o 5967
27.36/27.63	o 5960
27.36/27.67	o 5959
27.46/27.71	o 5957
27.46/27.76	o 5951
27.56/27.80	o 5947
27.56/27.84	o 5946
27.56/27.89	o 5944
27.76/28.03	o 5939
27.76/28.09	o 5937
27.86/28.13	o 5933
27.86/28.19	o 5930
27.96/28.29	o 5928
28.06/28.37	o 5920
28.16/28.43	o 5917
28.16/28.49	o 5915
28.25/28.55	o 5914
28.35/28.60	o 5909
28.35/28.67	o 5907
28.45/28.72	o 5904
28.45/28.77	o 5902
28.55/28.82	o 5897
28.55/28.88	o 5895
28.65/28.99	o 5891
28.75/29.05	o 5890
28.85/29.10	o 5889
28.85/29.15	o 5884
28.95/29.21	o 5881
28.95/29.26	o 5876
29.05/29.31	o 5874
29.05/29.37	o 5871
29.15/29.48	o 5869
29.35/29.61	o 5866
29.35/29.67	o 5865
29.45/29.72	o 5864
29.45/29.77	o 5863
29.55/29.82	o 5860
29.55/29.87	o 5859
29.65/29.93	o 5856
29.65/29.98	o 5853
29.74/30.05	o 5848
29.84/30.11	o 5846
29.84/30.17	o 5839
29.94/30.28	o 5837
30.04/30.34	o 5835
30.14/30.40	o 5832
30.14/30.45	o 5830
30.24/30.50	o 5827
30.34/30.61	o 5826
30.34/30.69	o 5821
30.44/30.76	o 5818
30.54/30.88	o 5814
30.64/30.94	o 5808
30.74/31.00	o 5803
30.74/31.08	o 5797
30.83/31.17	o 5792
30.93/31.26	o 5787
31.03/31.35	o 5782
31.13/31.44	o 5777
31.23/31.52	o 5775
31.33/31.61	o 5771
31.33/31.70	o 5767
31.43/31.78	o 5763
31.53/31.87	o 5759
31.63/31.96	o 5755
31.73/32.05	o 5752
31.83/32.15	o 5749
31.92/32.24	o 5746
32.02/32.33	o 5743
32.12/32.42	o 5740
32.23/32.50	o 5737
32.23/32.58	o 5734
32.32/32.67	o 5731
32.42/32.74	o 5728
32.52/32.82	o 5726
32.62/32.90	o 5725
32.62/32.98	o 5722
32.72/33.05	o 5721
32.82/33.12	o 5720
32.82/33.20	o 5715
32.92/33.27	o 5711
33.02/33.34	o 5710
33.12/33.42	o 5709
33.21/33.50	o 5708
33.21/33.57	o 5707
33.31/33.65	o 5705
33.41/33.72	o 5704
33.41/33.79	o 5703
33.51/33.86	o 5702
34.01/34.36	o 5700
34.11/34.43	o 5699
34.21/34.50	o 5697
34.31/34.65	o 5694
34.41/34.79	o 5692
34.51/34.86	o 5688
34.61/34.95	o 5684
34.71/35.02	o 5681
34.81/35.17	o 5678
34.90/35.24	o 5676
35.00/35.31	o 5672
35.00/35.37	o 5670
35.10/35.44	o 5667
35.20/35.51	o 5664
35.20/35.58	o 5661
35.30/35.65	o 5655
35.40/35.72	o 5653
35.50/35.87	o 5652
35.59/35.93	o 5649
35.69/36.06	o 5646
35.79/36.12	o 5645
35.79/36.19	o 5640
35.89/36.26	o 5635
36.09/36.40	o 5632
36.09/36.48	o 5631
36.30/36.62	o 5629
36.60/36.97	o 5626
36.70/37.05	o 5620
36.79/37.13	o 5617
36.89/37.21	o 5614
36.89/37.28	o 5613
36.99/37.36	o 5610
37.19/37.52	o 5607
37.19/37.60	o 5606
37.29/37.67	o 5604
37.39/37.74	o 5601
37.49/37.82	o 5599
37.68/38.04	o 5598
37.78/38.12	o 5594
37.98/38.30	o 5593
38.08/38.47	o 5592
38.28/38.64	o 5591
38.38/38.73	o 5590
38.58/38.90	o 5589
38.58/38.99	o 5588
38.78/39.16	o 5587
38.88/39.25	o 5586
38.98/39.34	o 5582
39.08/39.44	o 5580
39.18/39.54	o 5574
39.37/39.72	o 5572
39.47/39.81	o 5571
39.47/39.89	o 5569
39.67/40.07	o 5567
39.77/40.16	o 5566
39.88/40.24	o 5564
39.98/40.34	o 5562
40.08/40.42	o 5561
40.17/40.51	o 5557
40.17/40.59	o 5556
40.27/40.68	o 5554
40.37/40.76	o 5553
40.67/41.01	o 5551
40.77/41.10	o 5547
40.77/41.19	o 5545
40.87/41.28	o 5544
40.97/41.36	o 5541
41.07/41.44	o 5540
41.17/41.53	o 5538
41.27/41.63	o 5536
41.37/41.72	o 5534
41.37/41.80	o 5531
41.47/41.89	o 5530
41.56/41.98	o 5528
41.66/42.06	o 5526
41.76/42.14	o 5524
41.86/42.22	o 5521
41.96/42.31	o 5518
41.96/42.39	o 5516
42.06/42.47	o 5515
42.16/42.56	o 5508
42.26/42.65	o 5506
42.36/42.73	o 5504
42.46/42.82	o 5502
42.56/42.90	o 5501
42.56/42.98	o 5499
42.66/43.07	o 5497
42.76/43.15	o 5496
42.86/43.23	o 5494
42.96/43.38	o 5493
43.25/43.60	o 5490
43.35/43.75	o 5488
43.45/43.82	o 5483
43.55/43.91	o 5482
43.65/44.05	o 5481
43.75/44.13	o 5477
43.85/44.21	o 5472
43.85/44.28	o 5470
43.95/44.35	o 5468
44.04/44.44	o 5466
44.14/44.57	o 5464
44.24/44.64	o 5459
44.34/44.71	o 5453
44.34/44.79	o 5450
44.44/44.86	o 5447
44.54/44.94	o 5445
44.64/45.01	o 5444
44.64/45.09	o 5443
44.74/45.17	o 5440
44.83/45.25	o 5435
44.93/45.34	o 5431
45.03/45.42	o 5427
45.13/45.51	o 5424
45.13/45.59	o 5421
45.23/45.67	o 5418
45.33/45.76	o 5415
45.43/45.83	o 5413
45.53/45.92	o 5410
45.63/46.00	o 5407
45.63/46.08	o 5405
45.73/46.17	o 5404
45.83/46.24	o 5402
45.92/46.33	o 5401
46.02/46.41	o 5399
46.12/46.55	o 5397
46.22/46.63	o 5395
46.32/46.71	o 5391
46.32/46.79	o 5389
46.42/46.87	o 5388
46.52/46.94	o 5384
46.62/47.02	o 5383
46.72/47.10	o 5382
46.72/47.17	o 5381
47.12/47.54	o 5377
47.23/47.69	o 5376
47.33/47.76	o 5371
47.43/47.83	o 5367
47.43/47.89	o 5366
47.53/47.95	o 5361
47.63/48.03	o 5360
47.63/48.09	o 5358
47.73/48.14	o 5355
47.83/48.22	o 5353
47.93/48.30	o 5351
47.93/48.37	o 5349
48.02/48.43	o 5346
48.02/48.49	o 5344
48.12/48.56	o 5342
48.22/48.63	o 5339
48.22/48.69	o 5338
48.42/48.86	o 5336
48.52/48.92	o 5332
48.52/48.98	o 5331
48.62/49.04	o 5327
48.72/49.11	o 5323
48.72/49.17	o 5322
48.82/49.24	o 5317
48.91/49.38	o 5315
49.01/49.45	o 5313
49.11/49.52	o 5309
49.21/49.66	o 5306
49.31/49.73	o 5303
49.41/49.87	o 5301
49.51/49.94	o 5300
49.61/50.06	o 5299
49.81/50.20	o 5296
49.81/50.26	o 5294
49.91/50.33	o 5288
49.91/50.39	o 5284
50.01/50.47	o 5281
50.11/50.55	o 5280
50.30/50.78	o 5278
50.40/50.86	o 5275
50.60/51.01	o 5270
50.60/51.09	o 5266
50.70/51.17	o 5263
50.80/51.25	o 5261
50.90/51.34	o 5260
51.10/51.59	o 5259
51.20/51.68	o 5256
51.40/51.85	o 5255
51.60/52.01	o 5254
51.70/52.11	o 5250
51.70/52.20	o 5248
51.80/52.29	o 5243
52.09/52.54	o 5242
52.19/52.64	o 5239
52.29/52.73	o 5238
52.39/52.82	o 5236
52.49/52.92	o 5231
52.59/53.01	o 5227
52.69/53.19	o 5225
52.99/53.47	o 5220
53.19/53.67	o 5219
53.29/53.77	o 5217
53.39/53.86	o 5212
53.58/54.04	o 5208
53.68/54.13	o 5204
53.88/54.32	o 5202
54.08/54.50	o 5200
54.29/54.70	o 5199
54.39/54.89	o 5193
54.59/55.09	o 5192
54.88/55.30	o 5190
54.88/55.40	o 5185
55.08/55.50	o 5181
55.18/55.61	o 5179
55.38/55.81	o 5174
55.48/55.91	o 5171
55.58/56.01	o 5168
55.68/56.11	o 5165
55.88/56.32	o 5164
55.98/56.42	o 5163
56.08/56.52	o 5159
56.18/56.62	o 5153
56.38/56.82	o 5152
56.48/56.92	o 5145
56.78/57.22	o 5143
56.87/57.31	o 5141
57.07/57.51	o 5139
57.17/57.61	o 5138
57.27/57.71	o 5135
57.37/57.82	o 5133
57.47/57.92	o 5128
57.57/58.02	o 5125
57.67/58.12	o 5124
57.77/58.23	o 5122
58.06/58.53	o 5116
58.16/58.64	o 5111
58.46/58.94	o 5110
58.56/59.05	o 5108
58.66/59.15	o 5107
58.76/59.25	o 5106
58.86/59.36	o 5105
58.96/59.47	o 5103
59.06/59.58	o 5100
59.16/59.68	o 5099
59.36/59.89	o 5096
59.46/60.00	o 5093
59.56/60.09	o 5091
59.76/60.29	o 5089
59.86/60.40	o 5088
60.15/60.61	o 5082
60.25/60.72	o 5080
60.35/60.82	o 5079
60.65/61.13	o 5077
60.85/61.36	o 5074
61.05/61.58	o 5070
61.15/61.69	o 5068
61.34/61.81	o 5064
61.44/61.94	o 5060
61.54/62.06	o 5057
61.64/62.18	o 5054
61.74/62.29	o 5052
61.94/62.40	o 5051
62.14/62.64	o 5049
62.24/62.75	o 5045
62.34/62.87	o 5042
62.44/62.99	o 5039
62.64/63.11	o 5035
62.74/63.21	o 5033
62.84/63.33	o 5031
63.04/63.56	o 5029
63.14/63.68	o 5027
63.24/63.79	o 5025
63.33/63.89	o 5024
63.53/64.00	o 5023
63.63/64.12	o 5022
63.73/64.23	o 5021
64.03/64.56	o 5018
64.43/64.98	o 5017
64.72/65.20	o 5013
64.82/65.32	o 5008
64.92/65.43	o 5004
65.02/65.54	o 5003
65.12/65.65	o 5002
65.22/65.76	o 5000
65.32/65.87	o 4999
65.42/65.97	o 4994
65.52/66.08	o 4993
65.61/66.19	o 4989
65.71/66.29	o 4985
65.91/66.41	o 4983
66.01/66.51	o 4982
66.11/66.62	o 4980
66.21/66.73	o 4977
66.31/66.83	o 4974
66.41/66.94	o 4971
66.61/67.16	o 4967
66.70/67.27	o 4964
66.80/67.38	o 4963
66.90/67.49	o 4962
67.00/67.60	o 4958
67.30/67.81	o 4956
67.40/67.92	o 4953
67.60/68.15	o 4950
67.71/68.26	o 4944
67.91/68.48	o 4942
68.01/68.58	o 4941
68.11/68.69	o 4940
68.21/68.79	o 4938
68.31/68.90	o 4934
68.61/69.11	o 4933
68.71/69.23	o 4929
68.81/69.34	o 4927
69.00/69.57	o 4926
69.10/69.68	o 4925
69.20/69.78	o 4924
69.40/69.90	o 4922
69.50/70.01	o 4921
69.70/70.23	o 4918
69.99/70.59	o 4913
70.19/70.71	o 4910
70.29/70.81	o 4909
70.49/71.04	o 4907
70.59/71.15	o 4903
70.79/71.38	o 4901
70.89/71.50	o 4898
71.09/71.62	o 4896
71.19/71.75	o 4893
71.29/71.86	o 4892
71.39/71.97	o 4889
71.49/72.09	o 4885
71.69/72.21	o 4883
71.79/72.33	o 4882
71.89/72.45	o 4880
71.99/72.58	o 4876
72.28/72.80	o 4873
72.48/73.03	o 4871
72.58/73.14	o 4870
72.68/73.26	o 4867
72.78/73.37	o 4865
72.98/73.50	o 4862
73.18/73.75	o 4859
73.28/73.87	o 4858
73.48/74.01	o 4855
73.57/74.13	o 4853
73.67/74.26	o 4849
73.77/74.38	o 4847
73.97/74.51	o 4843
74.07/74.63	o 4841
74.17/74.77	o 4835
74.37/74.90	o 4832
74.57/75.15	o 4830
74.67/75.27	o 4826
74.77/75.39	o 4825
74.97/75.52	o 4822
75.07/75.65	o 4818
75.17/75.77	o 4816
75.27/75.89	o 4812
75.46/76.01	o 4810
75.56/76.13	o 4808
76.06/76.63	o 4805
76.16/76.76	o 4803
76.26/76.90	o 4799
76.46/77.03	o 4797
76.56/77.16	o 4796
76.86/77.41	o 4793
76.96/77.54	o 4791
77.06/77.66	o 4789
77.16/77.79	o 4787
77.36/77.91	o 4785
77.46/78.03	o 4781
77.56/78.16	o 4780
77.66/78.28	o 4778
77.86/78.41	o 4776
77.96/78.54	o 4775
78.06/78.67	o 4773
78.16/78.78	o 4769
78.35/78.91	o 4765
78.45/79.03	o 4761
78.55/79.16	o 4760
78.65/79.28	o 4755
78.75/79.39	o 4754
79.05/79.63	o 4751
79.15/79.75	o 4749
79.25/79.87	o 4748
79.35/79.99	o 4747
79.65/80.22	o 4744
79.75/80.35	o 4742
80.14/80.72	o 4740
80.24/80.84	o 4738
80.34/80.96	o 4735
80.44/81.09	o 4734
80.64/81.20	o 4729
80.74/81.33	o 4727
81.23/81.82	o 4725
81.33/81.95	o 4723
81.43/82.07	o 4722
81.53/82.19	o 4717
81.73/82.31	o 4712
82.03/82.66	o 4708
82.13/82.78	o 4707
82.23/82.89	o 4705
82.43/83.01	o 4704
82.53/83.13	o 4701
82.63/83.25	o 4699
82.73/83.37	o 4698
83.03/83.61	o 4697
83.22/83.86	o 4696
83.52/84.11	o 4693
83.72/84.36	o 4690
83.82/84.48	o 4684
84.12/84.73	o 4680
84.22/84.86	o 4679
84.32/84.98	o 4676
84.42/85.10	o 4675
84.62/85.22	o 4672
84.72/85.35	o 4669
84.81/85.48	o 4668
85.01/85.61	o 4666
85.11/85.73	o 4665
85.21/85.85	o 4661
85.41/86.09	o 4658
85.61/86.22	o 4654
85.71/86.33	o 4653
86.01/86.69	o 4652
86.21/86.82	o 4650
86.31/86.94	o 4646
86.40/87.05	o 4643
86.50/87.18	o 4641
86.70/87.31	o 4637
86.80/87.44	o 4634
86.90/87.57	o 4633
87.10/87.71	o 4628
87.20/87.83	o 4625
87.30/87.96	o 4622
87.40/88.09	o 4620
87.59/88.23	o 4618
87.69/88.37	o 4616
87.99/88.65	o 4614
88.19/88.80	o 4612
88.39/89.08	o 4606
88.79/89.48	o 4605
88.98/89.61	o 4603
89.08/89.76	o 4598
89.28/89.90	o 4596
89.48/90.18	o 4595
89.68/90.32	o 4590
89.88/90.57	o 4588
90.18/90.84	o 4586
90.28/90.98	o 4582
90.48/91.11	o 4578
90.87/91.54	o 4575
91.17/91.82	o 4570
91.37/92.10	o 4569
91.57/92.24	o 4566
91.67/92.38	o 4565
91.88/92.52	o 4564
92.08/92.79	o 4561
92.28/92.92	o 4559
92.57/93.20	o 4557
92.67/93.35	o 4553
92.77/93.50	o 4552
92.97/93.65	o 4549
93.17/93.81	o 4547
93.27/93.97	o 4545
93.47/94.13	o 4543
93.57/94.29	o 4541
93.77/94.44	o 4539
93.87/94.59	o 4538
94.16/94.87	o 4536
94.36/95.02	o 4534
94.46/95.16	o 4532
94.66/95.31	o 4530
95.06/95.72	o 4529
95.15/95.86	o 4528
95.25/96.00	o 4527
95.45/96.14	o 4524
95.55/96.27	o 4523
96.15/96.82	o 4521
96.15/96.88	o 4518
96.34/97.00	o 4514
96.44/97.14	o 4512
96.84/97.55	o 4509
96.94/97.68	o 4507
97.14/97.83	o 4504
97.24/97.98	o 4499
98.04/98.73	o 4498
98.14/98.87	o 4495
98.34/99.03	o 4494
98.44/99.19	o 4490
98.63/99.36	o 4489
98.94/99.69	o 4488
99.13/99.86	o 4487
99.33/100.02	o 4484
99.43/100.17	o 4482
99.63/100.33	o 4481
99.93/100.64	o 4479
100.13/100.81	o 4477
100.43/101.12	o 4475
100.82/101.56	o 4473
100.92/101.70	o 4470
101.22/101.97	o 4469
101.83/102.56	o 4467
101.93/102.70	o 4463
102.12/102.84	o 4462
102.22/102.99	o 4461
102.42/103.13	o 4455
102.52/103.27	o 4454
102.82/103.58	o 4453
103.01/103.73	o 4450
103.31/104.02	o 4445
103.41/104.18	o 4441
103.91/104.61	o 4440
104.01/104.75	o 4438
104.21/104.90	o 4437
104.30/105.04	o 4434
104.60/105.35	o 4431
105.00/105.79	o 4429
105.30/106.09	o 4427
105.50/106.24	o 4423
105.60/106.39	o 4418
105.80/106.54	o 4417
105.90/106.69	o 4415
106.09/106.85	o 4414
106.99/107.78	o 4413
107.19/107.95	o 4412
107.29/108.10	o 4410
107.59/108.39	o 4409
107.89/108.69	o 4407
108.09/108.84	o 4404
108.19/109.00	o 4398
108.38/109.15	o 4397
108.98/109.77	o 4395
109.18/109.94	o 4392
109.38/110.10	o 4389
109.48/110.25	o 4386
109.68/110.41	o 4384
109.98/110.72	o 4383
110.08/110.88	o 4381
110.28/111.05	o 4380
110.48/111.21	o 4379
110.58/111.36	o 4376
110.78/111.52	o 4373
111.18/111.96	o 4370
111.38/112.12	o 4365
111.48/112.27	o 4362
111.67/112.42	o 4359
111.77/112.57	o 4358
111.97/112.71	o 4357
112.07/112.86	o 4352
112.27/113.01	o 4348
112.37/113.16	o 4346
112.57/113.32	o 4345
112.67/113.47	o 4343
112.87/113.62	o 4341
112.97/113.78	o 4337
113.47/114.25	o 4335
113.67/114.42	o 4332
113.76/114.59	o 4328
113.96/114.75	o 4326
114.16/114.90	o 4325
114.26/115.07	o 4323
114.46/115.23	o 4322
114.56/115.39	o 4321
114.76/115.57	o 4318
115.16/115.91	o 4316
115.46/116.25	o 4314
115.66/116.42	o 4312
115.95/116.76	o 4308
116.15/116.93	o 4307
116.25/117.09	o 4304
116.45/117.26	o 4299
116.65/117.44	o 4297
116.85/117.61	o 4296
116.95/117.78	o 4295
117.34/118.11	o 4291
117.44/118.28	o 4290
117.64/118.45	o 4288
118.04/118.81	o 4286
119.24/120.06	o 4281
119.44/120.25	o 4278
120.14/121.00	o 4276
120.33/121.18	o 4275
120.53/121.37	o 4273
120.73/121.56	o 4269
120.93/121.74	o 4266
122.22/123.02	o 4263
122.42/123.20	o 4260
122.72/123.57	o 4257
123.12/123.91	o 4255
123.22/124.08	o 4254
123.42/124.26	o 4253
123.61/124.42	o 4251
123.71/124.59	o 4250
123.91/124.76	o 4248
124.11/124.94	o 4247
124.31/125.11	o 4245
124.41/125.29	o 4244
124.61/125.46	o 4241
124.81/125.63	o 4240
125.01/125.80	o 4235
125.31/126.16	o 4234
125.50/126.34	o 4232
125.70/126.51	o 4230
125.80/126.68	o 4227
126.00/126.85	o 4225
126.20/127.01	o 4224
126.30/127.18	o 4222
126.60/127.49	o 4220
126.80/127.66	o 4218
127.69/128.51	o 4214
127.79/128.67	o 4212
128.19/129.01	o 4208
128.49/129.33	o 4204
128.79/129.66	o 4202
128.99/129.83	o 4197
129.28/130.16	o 4196
129.78/130.69	o 4192
129.98/130.89	o 4188
130.37/131.24	o 4186
130.57/131.41	o 4184
130.67/131.58	o 4182
130.87/131.75	o 4180
131.07/131.94	o 4179
131.27/132.12	o 4178
131.36/132.29	o 4175
131.76/132.64	o 4171
131.96/132.81	o 4170
132.06/132.98	o 4169
132.26/133.16	o 4166
132.66/133.52	o 4165
132.77/133.68	o 4164
132.97/133.86	o 4161
133.17/134.03	o 4159
133.37/134.20	o 4157
133.46/134.38	o 4152
133.66/134.56	o 4151
133.86/134.73	o 4148
133.96/134.89	o 4147
134.16/135.07	o 4143
134.36/135.25	o 4141
135.75/136.63	o 4139
135.95/136.81	o 4137
136.05/136.98	o 4134
136.25/137.16	o 4132
136.45/137.33	o 4128
136.65/137.51	o 4127
136.74/137.69	o 4123
136.94/137.87	o 4119
137.14/138.05	o 4117
137.34/138.23	o 4114
137.54/138.41	o 4112
137.64/138.60	o 4110
138.04/138.96	o 4107
138.24/139.15	o 4104
138.64/139.52	o 4101
138.84/139.71	o 4099
139.03/139.91	o 4097
139.23/140.10	o 4094
139.33/140.29	o 4093
139.73/140.67	o 4090
139.93/140.87	o 4089
140.32/141.25	o 4088
140.72/141.62	o 4085
141.02/141.99	o 4082
141.22/142.18	o 4079
141.42/142.34	o 4074
141.92/142.88	o 4073
142.51/143.45	o 4072
142.71/143.64	o 4068
142.91/143.82	o 4066
143.21/144.17	o 4063
143.61/144.52	o 4059
143.81/144.70	o 4058
145.10/146.08	o 4056
145.30/146.25	o 4050
145.50/146.42	o 4048
145.60/146.59	o 4044
145.80/146.76	o 4043
146.59/147.57	o 4041
146.79/147.75	o 4040
147.49/148.42	o 4038
147.59/148.59	o 4036
147.98/148.95	o 4034
148.18/149.11	o 4032
148.28/149.29	o 4030
148.48/149.47	o 4028
148.68/149.66	o 4026
148.88/149.85	o 4021
149.08/150.02	o 4019
149.28/150.22	o 4018
149.38/150.39	o 4016
149.58/150.57	o 4014
149.97/150.95	o 4013
150.17/151.14	o 4011
150.37/151.32	o 4008
150.57/151.52	o 4005
150.77/151.71	o 4002
151.17/152.11	o 3999
151.37/152.30	o 3998
151.57/152.50	o 3997
151.86/152.90	o 3996
152.06/153.09	o 3994
153.06/154.10	o 3992
154.35/155.33	o 3990
154.95/155.93	o 3989
155.15/156.14	o 3987
155.34/156.34	o 3984
155.54/156.54	o 3982
155.74/156.74	o 3981
155.94/156.93	o 3977
156.15/157.13	o 3975
156.54/157.54	o 3973
156.74/157.74	o 3971
156.94/157.94	o 3969
157.14/158.13	o 3968
157.34/158.34	o 3967
157.54/158.54	o 3964
157.74/158.73	o 3962
157.94/158.92	o 3960
158.54/159.54	o 3957
158.93/159.95	o 3956
159.13/160.17	o 3955
159.33/160.37	o 3954
159.53/160.59	o 3950
159.82/160.80	o 3949
160.02/161.01	o 3947
160.22/161.21	o 3946
160.42/161.43	o 3945
160.82/161.84	o 3943
162.01/163.07	o 3942
162.21/163.28	o 3939
162.61/163.67	o 3938
164.10/165.14	o 3937
164.30/165.35	o 3935
164.50/165.55	o 3933
164.70/165.76	o 3931
164.90/165.97	o 3929
165.10/166.19	o 3926
165.99/167.03	o 3923
166.19/167.25	o 3922
166.39/167.46	o 3920
166.59/167.70	o 3918
167.29/168.34	o 3917
167.88/168.94	o 3916
168.08/169.17	o 3912
168.28/169.38	o 3910
168.47/169.59	o 3909
168.77/169.81	o 3906
168.97/170.03	o 3901
169.17/170.25	o 3900
169.37/170.48	o 3899
169.87/170.91	o 3898
170.07/171.14	o 3895
170.27/171.36	o 3892
170.47/171.59	o 3891
170.96/172.03	o 3890
171.16/172.26	o 3889
171.36/172.48	o 3886
171.66/172.71	o 3883
171.85/172.93	o 3882
172.05/173.16	o 3880
172.55/173.61	o 3878
172.95/174.07	o 3876
173.45/174.51	o 3874
173.65/174.74	o 3873
174.04/175.19	o 3871
174.54/175.62	o 3870
174.74/175.85	o 3867
174.94/176.07	o 3862
175.14/176.26	o 3861
175.64/176.70	o 3860
175.83/176.92	o 3859
176.23/177.38	o 3858
176.53/177.60	o 3857
177.33/178.48	o 3854
177.83/178.92	o 3853
178.03/179.14	o 3852
178.23/179.36	o 3848
178.42/179.58	o 3847
178.92/180.00	o 3844
179.12/180.21	o 3842
179.32/180.44	o 3839
180.41/181.54	o 3838
180.61/181.75	o 3834
181.01/182.19	o 3833
181.31/182.41	o 3830
182.10/183.25	o 3829
182.30/183.45	o 3828
182.50/183.66	o 3826
182.69/183.89	o 3822
182.99/184.12	o 3819
183.39/184.57	o 3816
183.59/184.79	o 3812
184.09/185.24	o 3808
184.78/185.91	o 3805
184.98/186.13	o 3804
186.97/188.11	o 3802
187.17/188.30	o 3801
187.57/188.72	o 3799
187.87/189.02	o 3798
188.06/189.24	o 3794
188.26/189.44	o 3793
188.46/189.65	o 3790
188.66/189.86	o 3789
188.86/190.07	o 3786
189.06/190.28	o 3784
189.45/190.67	o 3783
190.25/191.43	o 3780
190.45/191.62	o 3779
190.65/191.82	o 3778
190.95/192.20	o 3775
191.15/192.38	o 3774
191.54/192.75	o 3771
191.74/192.94	o 3770
192.34/193.51	o 3769
192.44/193.69	o 3768
192.64/193.87	o 3767
192.84/194.06	o 3762
193.55/194.77	o 3761
193.94/195.12	o 3759
194.14/195.32	o 3756
194.34/195.51	o 3752
194.64/195.88	o 3751
194.83/196.07	o 3748
195.03/196.25	o 3747
197.12/198.35	o 3744
197.32/198.54	o 3743
197.62/198.81	o 3737
197.72/198.93	o 3734
197.92/199.12	o 3732
198.52/199.76	o 3731
198.72/199.95	o 3730
198.92/200.16	o 3728
199.31/200.56	o 3727
199.51/200.75	o 3722
200.70/201.96	o 3721
200.90/202.16	o 3718
201.10/202.36	o 3716
201.90/203.17	o 3714
202.10/203.37	o 3713
202.89/204.16	o 3712
203.68/204.98	o 3711
203.87/205.17	o 3710
204.08/205.37	o 3705
204.47/205.78	o 3704
204.67/205.99	o 3701
204.97/206.20	o 3699
205.36/206.62	o 3696
205.58/206.82	o 3694
206.17/207.46	o 3692
206.37/207.68	o 3686
206.57/207.89	o 3685
206.87/208.11	o 3683
207.27/208.54	o 3680
207.96/209.20	o 3676
208.16/209.42	o 3674
208.56/209.86	o 3671
208.76/210.08	o 3670
208.96/210.27	o 3668
211.44/212.72	o 3667
211.64/212.95	o 3665
211.84/213.19	o 3664
212.14/213.40	o 3663
212.34/213.63	o 3661
212.84/214.10	o 3660
213.03/214.34	o 3659
213.24/214.56	o 3658
213.43/214.78	o 3656
213.73/215.01	o 3653
214.12/215.46	o 3651
214.42/215.70	o 3650
215.12/216.45	o 3648
215.32/216.69	o 3646
215.82/217.19	o 3644
216.12/217.44	o 3643
216.31/217.68	o 3640
216.61/217.93	o 3637
216.81/218.18	o 3634
217.11/218.43	o 3631
217.31/218.68	o 3627
218.40/219.72	o 3625
218.90/220.23	o 3623
219.89/221.26	o 3622
220.19/221.51	o 3621
220.69/222.01	o 3620
220.89/222.26	o 3617
221.19/222.52	o 3616
221.39/222.78	o 3614
221.68/223.06	o 3611
221.99/223.32	o 3609
222.18/223.58	o 3608
224.07/225.41	o 3607
224.28/225.68	o 3606
225.18/226.51	o 3605
225.37/226.79	o 3602
227.37/228.70	o 3599
227.56/228.98	o 3596
227.86/229.26	o 3595
228.16/229.53	o 3593
229.55/230.91	o 3591
230.05/231.44	o 3590
230.35/231.71	o 3589
231.14/232.52	o 3588
231.63/233.02	o 3586
233.03/234.41	o 3583
233.23/234.68	o 3581
233.53/234.96	o 3580
233.82/235.25	o 3579
234.62/236.10	o 3577
234.92/236.38	o 3576
236.61/238.09	o 3573
236.71/238.18	o 3570
238.50/239.91	o 3567
238.80/240.20	o 3566
239.10/240.50	o 3564
239.29/240.79	o 3562
239.69/241.10	o 3559
240.59/242.01	o 3557
240.88/242.31	o 3556
242.69/244.20	o 3553
243.08/244.51	o 3552
246.37/247.82	o 3551
246.67/248.13	o 3550
246.96/248.45	o 3547
247.26/248.77	o 3545
248.26/249.71	o 3544
248.55/250.02	o 3542
249.15/250.64	o 3541
249.45/250.95	o 3540
254.02/255.53	o 3537
255.92/257.40	o 3534
256.51/258.03	o 3531
256.81/258.35	o 3530
258.40/259.90	o 3529
258.60/260.13	o 3528
259.20/260.75	o 3525
259.49/261.06	o 3523
259.79/261.36	o 3522
260.98/262.60	o 3521
261.38/262.91	o 3520
261.98/263.51	o 3519
262.58/264.13	o 3517
263.18/264.74	o 3513
263.48/265.04	o 3512
268.05/269.62	o 3511
268.35/269.93	o 3508
268.65/270.27	o 3507
273.43/275.01	o 3505
274.02/275.63	o 3504
274.62/276.25	o 3501
275.52/277.18	o 3500
276.11/277.78	o 3499
276.51/278.12	o 3498
276.81/278.44	o 3497
277.11/278.76	o 3495
277.41/279.08	o 3494
278.10/279.71	o 3489
279.69/281.31	o 3487
281.49/283.18	o 3486
282.18/283.82	o 3485
282.48/284.14	o 3484
282.78/284.46	o 3483
284.67/286.33	o 3480
284.97/286.65	o 3479
285.57/287.28	o 3475
285.96/287.60	o 3474
286.86/288.57	o 3472
287.45/289.20	o 3471
288.45/290.15	o 3470
288.75/290.48	o 3469
289.05/290.79	o 3468
289.45/291.11	o 3466
290.04/291.75	o 3464
290.34/292.05	o 3463
290.94/292.69	o 3462
291.13/292.84	o 3458
291.43/293.16	o 3457
291.73/293.48	o 3456
292.63/294.36	o 3455
293.22/294.98	o 3453
293.62/295.30	o 3452
293.93/295.61	o 3450
294.23/295.92	o 3448
294.53/296.23	o 3447
296.32/298.04	o 3445
296.61/298.34	o 3444
299.10/300.81	o 3441
299.70/301.46	o 3440
300.00/301.79	o 3439
300.40/302.10	o 3436
300.70/302.42	o 3435
301.19/302.93	o 3433
302.38/304.18	o 3429
302.98/304.80	o 3428
303.38/305.11	o 3426
303.68/305.42	o 3425
303.87/305.68	o 3424
304.57/306.31	o 3420
304.87/306.63	o 3418
305.17/306.96	o 3415
305.46/307.28	o 3414
305.76/307.59	o 3412
306.76/308.54	o 3410
307.05/308.86	o 3408
308.06/309.81	o 3407
309.65/311.41	o 3404
310.25/312.05	o 3402
310.55/312.36	o 3398
310.84/312.66	o 3396
313.03/314.81	o 3395
313.33/315.14	o 3394
313.63/315.46	o 3393
314.82/316.63	o 3391
316.02/317.86	o 3389
316.32/318.16	o 3388
316.62/318.46	o 3386
318.11/319.99	o 3385
318.40/320.29	o 3382
318.60/320.41	o 3377
318.70/320.59	o 3375
319.20/321.08	o 3370
319.50/321.37	o 3369
319.80/321.68	o 3367
320.40/322.29	o 3365
321.99/323.80	o 3363
322.29/324.11	o 3362
324.27/326.11	o 3361
324.57/326.43	o 3359
324.87/326.74	o 3358
326.96/328.85	o 3357
327.26/329.16	o 3355
327.85/329.76	o 3354
328.16/330.07	o 3351
328.75/330.67	o 3350
329.35/331.27	o 3348
329.95/331.88	o 3346
332.33/334.25	o 3344
332.63/334.56	o 3343
332.93/334.86	o 3339
333.53/335.48	o 3338
334.12/336.10	o 3334
334.52/336.41	o 3331
334.82/336.71	o 3330
335.73/337.65	o 3329
336.02/337.95	o 3328
338.11/340.00	o 3326
338.41/340.31	o 3323
339.31/341.24	o 3322
341.39/343.40	o 3320
342.09/344.03	o 3318
342.39/344.35	o 3317
342.68/344.67	o 3316
343.38/345.33	o 3315
343.68/345.66	o 3314
344.67/346.63	o 3312
345.67/347.66	o 3309
346.37/348.33	o 3307
348.46/350.44	o 3306
348.75/350.79	o 3304
349.84/351.84	o 3302
350.14/352.19	o 3300
351.24/353.26	o 3298
352.63/354.70	o 3292
353.03/355.04	o 3291
353.33/355.33	o 3288
353.63/355.69	o 3284
354.03/356.05	o 3281
354.72/356.78	o 3280
355.02/357.05	o 3279
355.32/357.40	o 3277
355.72/357.76	o 3274
356.41/358.45	o 3273
356.71/358.79	o 3270
357.11/359.15	o 3264
360.09/362.15	o 3262
360.39/362.45	o 3260
360.69/362.79	o 3256
360.89/363.00	o 3255
361.49/363.59	o 3253
363.97/366.09	o 3252
364.77/366.80	o 3251
369.25/371.34	o 3248
389.36/391.59	o 3247
389.76/391.95	o 3242
390.16/392.31	o 3241
390.46/392.68	o 3238
390.85/393.03	o 3236
391.15/393.39	o 3235
391.95/394.10	o 3234
392.64/394.81	o 3232
392.74/394.99	o 3230
393.14/395.36	o 3228
393.93/396.10	o 3227
397.31/399.55	o 3225
397.61/399.89	o 3222
401.19/403.47	o 3220
401.59/403.82	o 3218
401.89/404.18	o 3216
402.29/404.54	o 3214
408.95/411.23	o 3213
411.15/413.42	o 3211
412.24/414.56	o 3210
412.64/414.92	o 3207
413.34/415.66	o 3203
413.74/416.02	o 3201
414.04/416.39	o 3200
415.93/418.23	o 3198
416.62/418.97	o 3193
417.42/419.72	o 3191
417.71/420.09	o 3189
418.11/420.47	o 3188
418.91/421.22	o 3187
430.84/433.27	o 3184
431.74/434.10	o 3182
432.14/434.52	o 3179
432.54/434.92	o 3176
433.33/435.75	o 3175
435.82/438.29	o 3174
436.02/438.47	o 3172
436.91/439.33	o 3171
438.50/440.96	o 3169
438.90/441.38	o 3167
439.80/442.21	o 3166
440.20/442.62	o 3165
443.28/445.78	o 3163
444.18/446.62	o 3162
444.57/447.05	o 3161
448.86/451.30	o 3159
449.66/452.17	o 3158
450.16/452.61	o 3156
452.35/454.80	o 3153
453.14/455.69	o 3151
454.04/456.51	o 3150
454.44/456.96	o 3149
454.93/457.40	o 3147
456.23/458.73	o 3144
456.53/459.04	o 3140
456.93/459.47	o 3138
457.42/459.92	o 3136
457.82/460.36	o 3135
458.32/460.81	o 3133
458.71/461.24	o 3132
459.61/462.13	o 3131
460.01/462.55	o 3130
460.40/462.98	o 3124
460.90/463.42	o 3123
461.30/463.87	o 3122
461.80/464.30	o 3121
462.59/465.15	o 3118
463.19/465.77	o 3117
463.69/466.21	o 3116
464.09/466.64	o 3115
464.98/467.50	o 3114
465.38/467.94	o 3113
465.78/468.38	o 3112
466.68/469.29	o 3111
467.17/469.73	o 3110
467.57/470.17	o 3106
467.96/470.56	o 3105
468.86/471.44	o 3104
469.76/472.32	o 3103
470.15/472.78	o 3101
471.95/474.58	o 3100
473.84/476.41	o 3097
473.94/476.54	o 3095
474.34/476.99	o 3091
475.33/477.90	o 3090
475.72/478.35	o 3089
477.52/480.15	o 3088
477.91/480.60	o 3087
478.41/481.05	o 3086
478.91/481.51	o 3083
479.81/482.41	o 3080
480.70/483.33	o 3079
481.19/483.80	o 3078
482.39/485.05	o 3075
482.89/485.51	o 3074
483.78/486.43	o 3073
484.18/486.88	o 3071
485.08/487.78	o 3069
485.57/488.24	o 3067
487.87/490.56	o 3066
488.36/491.02	o 3065
488.76/491.49	o 3063
489.76/492.41	o 3062
490.16/492.90	o 3061
491.15/493.82	o 3057
491.55/494.23	o 3056
491.95/494.69	o 3055
493.35/496.06	o 3054
500.51/503.27	o 3053
501.90/504.69	o 3051
502.40/505.15	o 3049
502.90/505.61	o 3047
503.30/506.08	o 3045
503.79/506.55	o 3042
504.29/507.02	o 3040
504.69/507.48	o 3039
505.18/507.94	o 3038
528.07/530.99	o 3037
528.47/531.39	o 3035
534.94/537.87	o 3033
544.40/547.37	o 3032
545.39/548.31	o 3031
545.78/548.79	o 3028
546.28/549.25	o 3026
548.18/551.13	o 3024
550.06/553.03	o 3023
550.96/553.96	o 3019
551.16/554.18	o 3017
551.66/554.64	o 3013
552.16/555.11	o 3010
552.55/555.56	o 3009
553.05/556.01	o 3007
554.44/557.41	o 3004
554.84/557.88	o 3001
555.14/558.16	o 2998
555.63/558.62	o 2997
556.03/559.04	o 2995
556.43/559.49	o 2993
557.82/560.84	o 2989
558.62/561.67	o 2988
559.82/562.86	o 2987
560.71/563.76	o 2985
561.40/564.47	o 2981
564.39/567.43	o 2978
565.29/568.33	o 2977
565.69/568.79	o 2972
566.68/569.70	o 2971
568.27/571.38	o 2970
570.76/573.84	o 2969
582.61/585.74	o 2967
584.40/587.56	o 2966
585.79/588.94	o 2963
586.69/589.88	o 2961
587.19/590.34	o 2960
588.08/591.25	o 2957
590.37/593.57	o 2956
591.56/594.73	o 2955
591.96/595.19	o 2952
592.36/595.54	o 2951
593.25/596.46	o 2950
598.43/601.69	o 2947
604.89/608.14	o 2944
605.69/608.98	o 2942
617.93/621.25	o 2941
618.33/621.70	o 2940
618.73/622.05	o 2935
619.12/622.45	o 2931
619.52/622.89	o 2930
619.82/623.14	o 2928
620.72/624.02	o 2926
621.02/624.34	o 2925
621.92/625.24	o 2923
622.31/625.69	o 2922
622.52/625.90	o 2919
623.91/627.23	o 2918
625.20/628.59	o 2917
626.69/630.06	o 2916
632.66/636.05	o 2913
634.45/637.87	o 2912
635.35/638.76	o 2911
635.75/639.17	o 2910
636.25/639.62	o 2907
636.64/640.08	o 2904
638.33/641.72	o 2903
638.73/642.18	o 2902
639.73/643.11	o 2899
640.62/644.03	o 2897
644.30/647.79	o 2896
646.20/649.63	o 2894
646.69/650.11	o 2889
647.09/650.58	o 2886
648.98/652.48	o 2884
653.26/656.78	o 2883
653.76/657.24	o 2882
655.55/659.08	o 2880
656.45/660.00	o 2878
664.70/668.21	o 2877
665.10/668.69	o 2874
666.09/669.65	o 2873
668.49/672.01	o 2872
668.88/672.47	o 2871
670.78/674.35	o 2866
671.17/674.76	o 2863
671.67/675.24	o 2862
672.47/676.09	o 2860
673.85/677.50	o 2859
673.96/677.60	o 2855
674.45/678.07	o 2854
674.55/678.19	o 2851
675.05/678.65	o 2848
675.94/679.57	o 2847
678.23/681.81	o 2845
679.13/682.73	o 2843
679.53/683.18	o 2840
680.53/684.11	o 2839
683.31/686.95	o 2838
683.70/687.39	o 2837
688.38/692.06	o 2836
688.89/692.55	o 2835
691.27/694.97	o 2832
691.77/695.44	o 2825
694.56/698.29	o 2824
695.06/698.74	o 2823
696.45/700.18	o 2822
701.02/704.74	o 2821
701.82/705.55	o 2819
705.10/708.81	o 2818
706.50/710.21	o 2815
706.90/710.69	o 2813
708.59/712.37	o 2811
709.09/712.84	o 2806
711.77/715.50	o 2805
712.67/716.43	o 2801
715.95/719.71	o 2800
718.04/721.86	o 2798
719.44/723.24	o 2797
724.81/728.69	o 2796
727.50/731.32	o 2795
728.40/732.30	o 2793
728.89/732.77	o 2792
731.87/735.77	o 2790
732.87/736.75	o 2787
734.36/738.22	o 2783
734.86/738.70	o 2782
735.26/739.19	o 2776
735.65/739.59	o 2772
737.34/741.25	o 2768
738.24/742.17	o 2765
738.74/742.64	o 2764
739.63/743.58	o 2763
741.12/745.02	o 2761
741.42/745.36	o 2759
743.80/747.78	o 2758
744.30/748.26	o 2757
745.31/749.23	o 2754
747.20/751.16	o 2753
747.70/751.63	o 2751
750.09/754.08	o 2750
751.08/755.04	o 2749
751.57/755.53	o 2748
752.77/756.73	o 2746
755.66/759.62	o 2744
756.06/760.02	o 2742
756.45/760.48	o 2741
756.95/760.95	o 2739
758.34/762.36	o 2737
758.84/762.83	o 2736
760.23/764.27	o 2734
762.12/766.19	o 2732
762.62/766.67	o 2731
767.39/771.43	o 2727
768.29/772.38	o 2725
771.77/775.82	o 2724
776.25/780.32	o 2723
776.74/780.82	o 2720
778.44/782.56	o 2717
778.93/783.05	o 2716
780.43/784.53	o 2715
781.92/786.02	o 2713
782.42/786.51	o 2711
788.39/792.52	o 2709
788.78/792.94	o 2706
790.27/794.47	o 2705
792.66/796.80	o 2703
793.16/797.30	o 2701
797.14/801.37	o 2699
798.64/802.88	o 2698
799.14/803.37	o 2696
800.14/804.36	o 2694
801.63/805.87	o 2692
802.62/806.88	o 2691
805.21/809.49	o 2689
805.81/810.01	o 2687
806.80/811.06	o 2686
808.39/812.66	o 2683
808.89/813.18	o 2681
809.49/813.73	o 2680
810.48/814.78	o 2676
810.88/815.11	o 2674
820.43/824.70	o 2673
820.93/825.22	o 2670
821.43/825.74	o 2666
824.02/828.33	o 2663
826.11/830.44	o 2661
827.70/832.03	o 2660
828.69/833.09	o 2658
836.55/840.97	o 2654
838.74/843.11	o 2653
839.84/844.21	o 2652
848.00/852.48	o 2651
848.59/853.05	o 2650
849.19/853.63	o 2649
849.69/854.18	o 2647
851.28/855.73	o 2646
853.26/857.77	o 2643
853.86/858.33	o 2642
868.00/872.55	o 2641
868.60/873.10	o 2640
869.69/874.23	o 2637
876.26/880.83	o 2635
906.71/911.43	   
906.71/911.43	   search
906.71/911.43	     run=0  nbConstraintChecks=2169212752  nbAssignments=3396
906.71/911.43	       =>  wckTime=897.807  cpuTime=893.21  mem=58M397
906.71/911.43	   
906.71/911.43	   global
906.71/911.43	     nbConstraintChecks=2169212752  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
906.71/911.43	     solvingWckTime=897.793  solvingCpuTime=893.19  expiredTime=no  totalExploration=no  nbFoundSolutions=0
906.71/911.43	     globalCpuTime=905.33
906.71/911.43	       =>  wckTime=911.17  cpuTime=905.29  mem=58M397
906.71/911.43	   
906.71/911.43	   solver DecomposerSolver being built... 
913.47/918.23	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-1112833-1215874443/watcher-1112833-1215874443 -o /tmp/evaluation-result-1112833-1215874443/solver-1112833-1215874443 -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-wdeg.xml 1 XSax HOME/instance-1112833-1215874443.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.67 1.50 0.60 4/81 12431
/proc/meminfo: memFree=1915944/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=18572 CPUtime=0
/proc/12431/stat : 12431 (runsolver) R 12429 12431 12262 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 44142099 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 244276849959 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12431/statm: 4643 292 257 25 0 2626 0

[startup+0.0847109 s]
/proc/loadavg: 2.67 1.50 0.60 4/81 12431
/proc/meminfo: memFree=1915944/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=865960 CPUtime=0.07
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 3575 0 1 0 5 2 0 0 22 0 9 0 44142099 886743040 3065 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216490 3065 1638 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865960

[startup+0.102711 s]
/proc/loadavg: 2.67 1.50 0.60 4/81 12431
/proc/meminfo: memFree=1915944/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=865988 CPUtime=0.08
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 3712 0 1 0 6 2 0 0 22 0 9 0 44142099 886771712 3187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216497 3187 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.302735 s]
/proc/loadavg: 2.67 1.50 0.60 4/81 12431
/proc/meminfo: memFree=1915944/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=866360 CPUtime=0.27
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 5700 0 1 0 23 4 0 0 22 0 9 0 44142099 887152640 5106 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216590 5106 1933 9 0 211118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866360

[startup+0.702795 s]
/proc/loadavg: 2.67 1.50 0.60 4/81 12431
/proc/meminfo: memFree=1915944/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867360 CPUtime=0.63
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 12119 0 1 0 56 7 0 0 22 0 9 0 44142099 888176640 11482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216840 11482 1979 9 0 211368 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 867360

[startup+1.50187 s]
/proc/loadavg: 2.70 1.52 0.61 3/90 12440
/proc/meminfo: memFree=1862048/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867360 CPUtime=1.42
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 21339 0 1 0 129 13 0 0 22 0 9 0 44142099 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216840 20675 2004 9 0 211368 0
[pid=12431/tid=12433] ppid=12429 vsize=867360 CPUtime=1.17
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15761 0 1 0 106 11 0 0 25 0 9 0 44142101 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 102605746 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867360 CPUtime=0.07
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 4269 0 0 0 6 1 0 0 16 0 9 0 44142102 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867360 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867360 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867360 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867360 CPUtime=0.16
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 613 0 0 0 16 0 0 0 16 0 9 0 44142104 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867360 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867360 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888176640 20675 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 867360

[startup+3.10104 s]
/proc/loadavg: 2.70 1.52 0.61 3/90 12440
/proc/meminfo: memFree=1824224/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867460 CPUtime=3.02
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 24728 0 1 0 287 15 0 0 22 0 9 0 44142099 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216865 24060 2006 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867460 CPUtime=2.63
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15800 0 1 0 252 11 0 0 25 0 9 0 44142101 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4126889480 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867460 CPUtime=0.19
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 7604 0 0 0 16 3 0 0 17 0 9 0 44142102 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867460 CPUtime=0.18
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 628 0 0 0 18 0 0 0 15 0 9 0 44142104 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888279040 24060 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 867460

[startup+6.30239 s]
/proc/loadavg: 2.70 1.52 0.61 3/90 12440
/proc/meminfo: memFree=1821536/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867460 CPUtime=6.2
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 24754 0 1 0 604 16 0 0 22 0 9 0 44142099 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216865 24082 2006 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867460 CPUtime=5.79
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15804 0 1 0 567 12 0 0 25 0 9 0 44142101 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4126893879 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867460 CPUtime=0.19
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 7604 0 0 0 16 3 0 0 17 0 9 0 44142102 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867460 CPUtime=0.2
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 650 0 0 0 20 0 0 0 15 0 9 0 44142104 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888279040 24082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867460

[startup+12.7011 s]
/proc/loadavg: 2.59 1.54 0.63 3/90 12440
/proc/meminfo: memFree=1804832/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867460 CPUtime=12.57
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 29772 0 1 0 1237 20 0 0 22 0 9 0 44142099 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216865 29094 2007 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867460 CPUtime=11.77
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15812 0 1 0 1163 14 0 0 25 0 9 0 44142101 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 102888077 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867460 CPUtime=0.53
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 12588 0 0 0 49 4 0 0 17 0 9 0 44142102 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867460 CPUtime=0.24
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 676 0 0 0 24 0 0 0 15 0 9 0 44142104 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) R 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888279040 29094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867460

[startup+25.5025 s]
/proc/loadavg: 2.50 1.55 0.64 3/90 12440
/proc/meminfo: memFree=1781088/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867548 CPUtime=25.27
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 33804 0 1 0 2502 25 0 0 22 0 9 0 44142099 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216887 32933 2640 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867548 CPUtime=24.04
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15876 0 1 0 2386 18 0 0 25 0 9 0 44142101 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4127238255 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867548 CPUtime=0.92
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 16528 0 0 0 86 6 0 0 16 0 9 0 44142102 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867548 CPUtime=0.29
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 704 0 0 0 29 0 0 0 16 0 9 0 44142104 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888369152 32933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 867548

[startup+51.1023 s]
/proc/loadavg: 2.33 1.59 0.68 3/90 12440
/proc/meminfo: memFree=1774816/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867548 CPUtime=50.7
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 33809 0 1 0 5039 31 0 0 22 0 9 0 44142099 888369152 32937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216887 32937 2640 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867548 CPUtime=49.46
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15877 0 1 0 4923 23 0 0 25 0 9 0 44142101 888369152 32937 996147200 134512640 134550740 4294955952 18446744073709551615 4127212355 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867548 CPUtime=0.92
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 16528 0 0 0 86 6 0 0 16 0 9 0 44142102 888369152 32937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867548 CPUtime=0.29
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 708 0 0 0 29 0 0 0 16 0 9 0 44142104 888369152 32937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867548 CPUtime=0

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

/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867548 CPUtime=0.31
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 718 0 0 0 31 0 0 0 16 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 877.75
Current children cumulated vsize (KiB) 867548

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

[startup+895.903 s]
/proc/loadavg: 2.61 2.46 1.75 3/90 12447
/proc/meminfo: memFree=1041816/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867548 CPUtime=891.29
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 33820 0 1 0 89068 61 0 0 22 0 9 0 44142099 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216887 32946 2640 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867548 CPUtime=890.03
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15878 0 1 0 88950 53 0 0 25 0 9 0 44142101 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867548 CPUtime=0.92
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 16528 0 0 0 86 6 0 0 16 0 9 0 44142102 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867548 CPUtime=0.31
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 718 0 0 0 31 0 0 0 16 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 891.29
Current children cumulated vsize (KiB) 867548

[startup+908.701 s]
/proc/loadavg: 2.70 2.48 1.77 3/90 12447
/proc/meminfo: memFree=1041752/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867548 CPUtime=904.02
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 33820 0 1 0 90341 61 0 0 22 0 9 0 44142099 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216887 32946 2640 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867548 CPUtime=902.76
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15878 0 1 0 90223 53 0 0 25 0 9 0 44142101 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4125977493 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867548 CPUtime=0.92
/proc/12431/task/12434/stat : 12434 (java) S 12429 12431 12262 0 -1 64 16528 0 0 0 86 6 0 0 16 0 9 0 44142102 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44142102 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867548 CPUtime=0.31
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 718 0 0 0 31 0 0 0 16 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867548 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888369152 32946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 904.02
Current children cumulated vsize (KiB) 867548

[startup+915.103 s]
/proc/loadavg: 2.65 2.47 1.77 4/90 12447
/proc/meminfo: memFree=374168/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867460 CPUtime=910.4
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 200527 0 1 0 90891 149 0 0 22 0 9 0 44142099 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216865 199444 2618 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867460 CPUtime=906.61
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15968 0 1 0 90607 54 0 0 25 0 9 0 44142101 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867460 CPUtime=3.4
/proc/12431/task/12434/stat : 12434 (java) R 12429 12431 12262 0 -1 64 183097 0 0 0 247 93 0 0 16 0 9 0 44142102 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 103828929 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867460 CPUtime=0.37
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 748 0 0 0 36 1 0 0 15 0 9 0 44142104 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 910.4
Current children cumulated vsize (KiB) 867460

[startup+916.702 s]
/proc/loadavg: 2.68 2.48 1.78 4/90 12447
/proc/meminfo: memFree=374104/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867460 CPUtime=911.98
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 200594 0 1 0 91049 149 0 0 22 0 9 0 44142099 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216865 199446 2618 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867460 CPUtime=906.61
/proc/12431/task/12433/stat : 12433 (java) R 12429 12431 12262 0 -1 64 15970 0 1 0 90607 54 0 0 25 0 9 0 44142101 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867460 CPUtime=4.98
/proc/12431/task/12434/stat : 12434 (java) R 12429 12431 12262 0 -1 64 183162 0 0 0 405 93 0 0 18 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867460 CPUtime=0.37
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 748 0 0 0 36 1 0 0 15 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 911.98
Current children cumulated vsize (KiB) 867460

[startup+917.502 s]
/proc/loadavg: 2.68 2.48 1.78 3/90 12447
/proc/meminfo: memFree=374168/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867460 CPUtime=912.78
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 200594 0 1 0 91129 149 0 0 22 0 9 0 44142099 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216865 199446 2618 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867460 CPUtime=906.61
/proc/12431/task/12433/stat : 12433 (java) S 12429 12431 12262 0 -1 64 15970 0 1 0 90607 54 0 0 25 0 9 0 44142101 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867460 CPUtime=5.78
/proc/12431/task/12434/stat : 12434 (java) R 12429 12431 12262 0 -1 64 183162 0 0 0 485 93 0 0 19 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867460 CPUtime=0.37
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 748 0 0 0 36 1 0 0 15 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 912.78
Current children cumulated vsize (KiB) 867460

[startup+917.901 s]
/proc/loadavg: 2.68 2.48 1.78 3/90 12447
/proc/meminfo: memFree=374168/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=867460 CPUtime=913.18
/proc/12431/stat : 12431 (java) S 12429 12431 12262 0 -1 0 200594 0 1 0 91169 149 0 0 22 0 9 0 44142099 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12431/statm: 216865 199446 2618 9 0 211393 0
[pid=12431/tid=12433] ppid=12429 vsize=867460 CPUtime=906.61
/proc/12431/task/12433/stat : 12433 (java) S 12429 12431 12262 0 -1 64 15970 0 1 0 90607 54 0 0 25 0 9 0 44142101 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12434] ppid=12429 vsize=867460 CPUtime=6.18
/proc/12431/task/12434/stat : 12434 (java) R 12429 12431 12262 0 -1 64 183162 0 0 0 525 93 0 0 20 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12435] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12435/stat : 12435 (java) S 12429 12431 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12436] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12436/stat : 12436 (java) S 12429 12431 12262 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44142102 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12437] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12437/stat : 12437 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12438] ppid=12429 vsize=867460 CPUtime=0.37
/proc/12431/task/12438/stat : 12438 (java) S 12429 12431 12262 0 -1 64 748 0 0 0 36 1 0 0 15 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12431/tid=12439] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12439/stat : 12439 (java) S 12429 12431 12262 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12431/tid=12440] ppid=12429 vsize=867460 CPUtime=0
/proc/12431/task/12440/stat : 12440 (java) S 12429 12431 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44142104 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 913.18
Current children cumulated vsize (KiB) 867460

[startup+918.301 s]
/proc/loadavg: 2.68 2.48 1.78 3/90 12447
/proc/meminfo: memFree=374168/2055920 swapFree=4192812/4192956
[pid=12431] ppid=12429 vsize=0 CPUtime=913.54
/proc/12431/stat : 12431 (java) Z 12429 12431 12262 0 -1 12 200602 0 1 0 91202 152 0 0 16 0 2 0 44142099 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12431/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 913.54
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 918.389
CPU time (s): 913.63
CPU user time (s): 912.021
CPU system time (s): 1.60876
CPU usage (%): 99.4818
Max. virtual memory (cumulated for all children) (KiB): 867712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 912.021
system time used= 1.60875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200602
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= 20773
involuntary context switches= 38814

runsolver used 1.2918 second user time and 3.05253 second system time

The end

Launcher Data (download as text)

Begin job on node63 at 2008-07-12 16:54:03
IDJOB=1112833
IDBENCH=61482
IDSOLVER=359
FILE ID=node63/1112833-1215874443
PBS_JOBID= 7903596
Free space on /tmp= 66520 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112833-1215874443/watcher-1112833-1215874443 -o /tmp/evaluation-result-1112833-1215874443/solver-1112833-1215874443 -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-wdeg.xml 1 XSax HOME/instance-1112833-1215874443.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d73e99eb4b5798901f411267510cf8b6
RANDOM SEED=1866744296

node63.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.213
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.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1916488 kB
Buffers:          2864 kB
Cached:          51400 kB
SwapCached:          0 kB
Active:          71880 kB
Inactive:        15048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1916488 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9940 kB
Writeback:           0 kB
Mapped:          52936 kB
Slab:            37628 kB
Committed_AS:   153340 kB
PageTables:       1944 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66516 MiB
End job on node63 at 2008-07-12 17:09:22