Trace number 1112797

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? 655.398 661.849

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-2.xml
MD5SUMa7377e3e2481e38a6b40d9be07bb2cda
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints365
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
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.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.23	
0.19/0.23	   configuration
0.19/0.23	     name=mrdac-wdeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1112797-1215874154.xml
0.29/0.33	   
0.29/0.33	   domains being loaded...
0.29/0.38	   
0.29/0.38	   variables being loaded...
0.79/0.87	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182  nbTotalValues=515606
0.79/0.87	       =>  wckTime=0.63  cpuTime=0.48  mem=27M453
0.79/0.87	   
0.79/0.87	   predicates being loaded...
0.89/0.94	   
0.89/0.94	   constraints being loaded...
10.79/10.91	   
10.79/10.91	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 53M719)
15.94/16.15	     nbConstraints=33021  nbConvertedConstraints=1242  nbConvertConstraintsChecks=36444331  nbExtensionStructures=995
15.94/16.15	     nbSharedExtensionStructures=797  nbConflictsStructures=2385  nbSharedConflictsStructures=1106
15.94/16.15	     nbUnbuiltConflictsStructures=3164  nbSharedBinaryRepresentations=309986  nbEvaluationManagers=4554
15.94/16.15	     nbSharedEvaluationManagers=27225  minDegree=3  maxDegree=29  minArity=2  maxArity=2
15.94/16.15	       =>  wckTime=15.915  cpuTime=14.67  mem=72M417
16.43/16.62	   
16.43/16.62	   solver LocalSearchSolver being built... 
16.43/16.67	       =>  wckTime=16.43  cpuTime=14.72  mem=66M973
16.53/16.78	
16.53/16.78	s SATISFIABLE
16.53/16.78	o 7259
16.63/16.81	o 7252
16.63/16.84	o 7241
16.63/16.86	o 7234
16.63/16.89	o 7228
16.73/16.91	o 7222
16.73/16.93	o 7217
16.73/16.94	o 7212
16.73/16.96	o 7207
16.73/16.98	o 7197
16.73/17.00	o 7187
16.83/17.02	o 7179
16.83/17.04	o 7172
16.83/17.06	o 7165
16.83/17.07	o 7159
16.83/17.10	o 7153
16.93/17.12	o 7148
16.93/17.13	o 7144
16.93/17.15	o 7140
16.93/17.16	o 7136
16.93/17.18	o 7133
16.93/17.19	o 7130
17.03/17.21	o 7127
17.03/17.22	o 7124
17.03/17.23	o 7122
17.03/17.25	o 7120
17.03/17.26	o 7118
17.03/17.27	o 7117
17.13/17.31	o 7114
17.13/17.33	o 7104
17.13/17.35	o 7096
17.13/17.37	o 7088
17.13/17.39	o 7080
17.23/17.42	o 7073
17.23/17.44	o 7066
17.23/17.46	o 7059
17.23/17.49	o 7053
17.33/17.52	o 7047
17.33/17.54	o 7041
17.33/17.56	o 7036
17.33/17.58	o 7031
17.33/17.60	o 7027
17.42/17.62	o 7023
17.42/17.63	o 7019
17.42/17.65	o 7015
17.42/17.67	o 7011
17.42/17.68	o 7008
17.52/17.71	o 7005
17.52/17.72	o 7002
17.52/17.73	o 6999
17.52/17.75	o 6997
17.52/17.76	o 6995
17.52/17.77	o 6993
17.52/17.79	o 6991
17.62/17.81	o 6989
17.62/17.83	o 6981
17.62/17.85	o 6976
17.62/17.87	o 6974
17.71/17.91	o 6969
17.71/17.95	o 6962
17.71/17.99	o 6955
17.81/18.02	o 6948
17.81/18.05	o 6942
17.81/18.09	o 6936
17.91/18.12	o 6930
17.91/18.16	o 6924
17.91/18.19	o 6919
18.01/18.23	o 6914
18.01/18.27	o 6909
18.11/18.30	o 6904
18.11/18.34	o 6899
18.11/18.37	o 6894
18.22/18.40	o 6889
18.22/18.44	o 6884
18.22/18.47	o 6879
18.32/18.50	o 6875
18.32/18.53	o 6871
18.32/18.55	o 6867
18.32/18.58	o 6863
18.41/18.62	o 6859
18.41/18.65	o 6855
18.41/18.68	o 6852
18.51/18.71	o 6849
18.51/18.74	o 6846
18.51/18.77	o 6843
18.51/18.79	o 6840
18.61/18.82	o 6837
18.61/18.84	o 6832
18.61/18.86	o 6829
18.61/18.88	o 6826
18.71/18.90	o 6823
18.71/18.93	o 6820
18.71/18.95	o 6817
18.71/18.97	o 6814
18.80/19.00	o 6811
18.80/19.02	o 6808
18.80/19.04	o 6806
18.80/19.05	o 6804
18.80/19.07	o 6802
18.80/19.09	o 6800
18.90/19.11	o 6799
18.90/19.13	o 6798
18.90/19.14	o 6797
18.90/19.16	o 6793
18.90/19.18	o 6788
19.00/19.21	o 6787
19.00/19.23	o 6783
19.00/19.24	o 6778
19.00/19.26	o 6775
19.00/19.28	o 6772
19.00/19.30	o 6766
19.10/19.32	o 6763
19.10/19.35	o 6760
19.20/19.42	o 6758
19.20/19.44	o 6753
19.20/19.47	o 6749
19.30/19.51	o 6746
19.30/19.54	o 6744
19.30/19.59	o 6740
19.40/19.64	o 6732
19.49/19.70	o 6725
19.49/19.75	o 6721
19.49/19.80	o 6718
19.59/19.84	o 6713
19.59/19.89	o 6706
19.69/19.94	o 6699
19.69/19.99	o 6692
19.79/20.04	o 6686
19.79/20.09	o 6680
19.89/20.15	o 6678
19.99/20.20	o 6672
19.99/20.26	o 6666
20.08/20.31	o 6660
20.08/20.36	o 6654
20.18/20.42	o 6648
20.18/20.46	o 6642
20.28/20.51	o 6636
20.28/20.56	o 6630
20.38/20.61	o 6629
20.38/20.66	o 6623
20.48/20.71	o 6618
20.48/20.76	o 6613
20.58/20.82	o 6608
20.58/20.86	o 6601
20.68/20.91	o 6596
20.68/20.96	o 6591
20.77/21.01	o 6586
20.77/21.05	o 6581
20.87/21.10	o 6579
20.87/21.15	o 6574
20.98/21.20	o 6570
20.98/21.24	o 6566
20.98/21.29	o 6562
21.08/21.33	o 6554
21.08/21.38	o 6550
21.18/21.42	o 6546
21.18/21.47	o 6542
21.28/21.51	o 6538
21.28/21.55	o 6534
21.28/21.59	o 6530
21.38/21.63	o 6526
21.38/21.67	o 6522
21.48/21.71	o 6518
21.48/21.75	o 6514
21.48/21.79	o 6510
21.58/21.83	o 6506
21.58/21.87	o 6503
21.67/21.93	o 6500
21.67/21.97	o 6497
21.77/22.01	o 6494
21.77/22.05	o 6491
21.77/22.08	o 6488
21.86/22.12	o 6485
21.86/22.15	o 6482
21.86/22.19	o 6479
21.96/22.22	o 6476
21.96/22.25	o 6473
21.96/22.29	o 6471
22.06/22.33	o 6469
22.06/22.36	o 6467
22.06/22.39	o 6465
22.16/22.41	o 6463
22.16/22.44	o 6461
22.16/22.46	o 6459
22.16/22.49	o 6457
22.26/22.51	o 6455
22.26/22.54	o 6453
22.26/22.56	o 6451
22.26/22.59	o 6450
22.36/22.61	o 6449
22.36/22.64	o 6448
22.36/22.66	o 6447
22.36/22.68	o 6446
22.46/22.80	o 6442
22.56/22.81	o 6439
22.56/22.83	o 6431
22.56/22.84	o 6425
22.56/22.86	o 6421
22.56/22.90	o 6417
22.66/22.91	o 6414
22.66/22.93	o 6408
22.66/22.95	o 6404
22.66/22.97	o 6403
22.66/23.00	o 6401
22.75/23.02	o 6395
22.75/23.04	o 6394
22.75/23.06	o 6389
22.75/23.08	o 6382
22.75/23.09	o 6379
22.85/23.11	o 6376
22.85/23.12	o 6375
22.85/23.14	o 6373
22.85/23.15	o 6369
22.85/23.17	o 6368
22.85/23.19	o 6367
22.94/23.21	o 6365
22.94/23.23	o 6361
22.94/23.25	o 6356
22.94/23.27	o 6354
23.05/23.30	o 6351
23.05/23.31	o 6349
23.05/23.33	o 6347
23.05/23.35	o 6341
23.05/23.38	o 6336
23.05/23.40	o 6331
23.15/23.42	o 6327
23.15/23.45	o 6324
23.15/23.47	o 6318
23.25/23.50	o 6315
23.25/23.54	o 6310
23.25/23.57	o 6305
23.25/23.58	o 6301
23.35/23.61	o 6296
23.35/23.63	o 6290
23.35/23.68	o 6284
23.45/23.74	o 6278
23.45/23.79	o 6272
23.55/23.85	o 6267
23.65/23.90	o 6262
23.65/23.96	o 6257
23.74/24.02	o 6252
23.74/24.09	o 6247
23.84/24.15	o 6242
23.94/24.21	o 6237
23.94/24.26	o 6232
24.03/24.31	o 6229
24.03/24.36	o 6224
24.13/24.41	o 6219
24.13/24.47	o 6214
24.23/24.53	o 6210
24.23/24.59	o 6206
24.33/24.64	o 6202
24.33/24.69	o 6198
24.43/24.74	o 6194
24.43/24.79	o 6190
24.53/24.83	o 6187
24.53/24.88	o 6183
24.63/24.93	o 6179
24.63/24.98	o 6175
24.73/25.02	o 6171
24.73/25.07	o 6167
24.83/25.11	o 6163
24.83/25.16	o 6159
24.92/25.21	o 6155
24.92/25.25	o 6151
24.92/25.30	o 6148
25.02/25.33	o 6145
25.02/25.37	o 6142
25.12/25.41	o 6139
25.12/25.46	o 6136
25.12/25.50	o 6133
25.22/25.53	o 6130
25.22/25.57	o 6127
25.32/25.61	o 6124
25.32/25.64	o 6121
25.32/25.68	o 6118
25.42/25.72	o 6115
25.42/25.75	o 6112
25.52/25.82	o 6111
25.52/25.85	o 6104
25.52/25.88	o 6102
25.62/25.92	o 6100
25.62/25.96	o 6098
25.62/25.99	o 6096
25.72/26.02	o 6094
25.72/26.05	o 6090
25.72/26.08	o 6082
25.82/26.11	o 6080
25.82/26.13	o 6078
25.82/26.16	o 6076
25.82/26.18	o 6074
25.91/26.21	o 6072
25.91/26.23	o 6070
25.91/26.26	o 6068
25.91/26.29	o 6067
26.01/26.32	o 6066
26.01/26.34	o 6065
26.01/26.36	o 6064
26.01/26.38	o 6063
26.11/26.41	o 6062
26.11/26.43	o 6061
26.11/26.46	o 6060
26.11/26.48	o 6059
26.31/26.67	o 6053
26.31/26.69	o 6052
26.41/26.71	o 6047
26.41/26.73	o 6043
26.41/26.75	o 6040
26.41/26.77	o 6035
26.41/26.79	o 6032
26.51/26.81	o 6030
26.51/26.82	o 6027
26.51/26.84	o 6025
26.51/26.87	o 6019
26.51/26.89	o 6017
26.61/26.91	o 6012
26.61/26.94	o 6007
26.71/27.02	o 6005
26.71/27.04	o 6002
26.71/27.06	o 6000
26.71/27.09	o 5996
26.81/27.11	o 5995
26.81/27.14	o 5991
26.81/27.16	o 5989
26.81/27.18	o 5988
26.91/27.20	o 5987
26.91/27.23	o 5985
26.91/27.25	o 5981
26.91/27.29	o 5980
27.00/27.31	o 5975
27.00/27.34	o 5972
27.00/27.39	o 5969
27.10/27.42	o 5962
27.10/27.44	o 5958
27.10/27.46	o 5955
27.10/27.49	o 5953
27.19/27.52	o 5951
27.19/27.56	o 5948
27.19/27.59	o 5946
27.29/27.62	o 5943
27.29/27.65	o 5938
27.29/27.68	o 5937
27.39/27.70	o 5934
27.39/27.74	o 5931
27.39/27.76	o 5925
27.39/27.79	o 5919
27.49/27.83	o 5916
27.49/27.87	o 5913
27.59/27.91	o 5909
27.59/27.94	o 5904
27.59/27.98	o 5901
27.68/28.00	o 5897
27.68/28.03	o 5894
27.68/28.06	o 5893
27.68/28.09	o 5890
27.78/28.12	o 5886
27.78/28.15	o 5883
27.78/28.17	o 5877
27.78/28.20	o 5875
27.88/28.22	o 5872
27.88/28.25	o 5871
27.88/28.29	o 5869
27.99/28.31	o 5866
27.99/28.34	o 5863
27.99/28.37	o 5862
27.99/28.39	o 5857
28.09/28.42	o 5853
28.09/28.45	o 5846
28.09/28.49	o 5840
28.18/28.52	o 5837
28.18/28.56	o 5832
28.18/28.59	o 5830
28.28/28.65	o 5827
28.28/28.69	o 5825
28.38/28.73	o 5824
28.38/28.76	o 5819
28.38/28.79	o 5818
28.48/28.88	o 5812
28.58/28.93	o 5806
28.68/29.00	o 5800
28.68/29.07	o 5799
28.88/29.21	o 5794
28.88/29.27	o 5793
28.98/29.35	o 5788
29.08/29.41	o 5786
29.08/29.48	o 5781
29.17/29.55	o 5776
29.27/29.64	o 5771
29.37/29.71	o 5766
29.37/29.79	o 5761
29.46/29.86	o 5756
29.56/29.94	o 5751
29.66/30.01	o 5746
29.66/30.08	o 5741
29.76/30.16	o 5737
29.86/30.23	o 5733
29.96/30.30	o 5729
29.96/30.38	o 5725
30.06/30.45	o 5721
30.16/30.52	o 5717
30.16/30.59	o 5713
30.26/30.66	o 5709
30.36/30.74	o 5705
30.36/30.80	o 5699
30.46/30.86	o 5695
30.55/30.93	o 5691
30.65/31.01	o 5687
30.65/31.07	o 5683
30.75/31.14	o 5679
30.75/31.18	o 5678
30.85/31.24	o 5674
30.95/31.31	o 5670
30.95/31.36	o 5669
31.05/31.42	o 5665
31.05/31.48	o 5661
31.15/31.54	o 5658
31.25/31.61	o 5655
31.25/31.67	o 5652
31.35/31.73	o 5649
31.44/31.81	o 5646
31.44/31.87	o 5642
31.54/31.92	o 5641
31.54/31.98	o 5638
31.64/32.04	o 5635
31.64/32.09	o 5632
31.74/32.15	o 5629
31.84/32.21	o 5626
31.84/32.26	o 5625
31.94/32.31	o 5622
31.94/32.37	o 5619
32.04/32.42	o 5616
32.04/32.48	o 5614
32.14/32.53	o 5612
32.14/32.59	o 5610
32.23/32.64	o 5608
32.23/32.68	o 5605
32.33/32.73	o 5603
32.33/32.79	o 5601
32.43/32.83	o 5599
32.53/32.94	o 5598
32.53/32.98	o 5596
32.63/33.03	o 5594
32.63/33.07	o 5592
32.72/33.11	o 5590
32.72/33.16	o 5588
32.82/33.21	o 5586
32.82/33.25	o 5584
32.82/33.29	o 5583
32.92/33.34	o 5582
32.92/33.38	o 5581
33.02/33.42	o 5580
33.02/33.46	o 5579
33.02/33.49	o 5578
33.12/33.53	o 5572
33.12/33.57	o 5571
33.22/33.61	o 5570
33.22/33.67	o 5569
33.32/33.70	o 5568
33.32/33.73	o 5567
33.52/33.95	o 5565
33.62/34.01	o 5563
33.62/34.07	o 5561
33.62/34.09	o 5559
33.72/34.13	o 5555
33.72/34.16	o 5554
33.72/34.19	o 5551
33.81/34.22	o 5550
33.81/34.25	o 5546
33.81/34.28	o 5544
33.91/34.32	o 5543
33.91/34.35	o 5538
33.91/34.38	o 5536
34.01/34.45	o 5531
34.01/34.48	o 5528
34.11/34.54	o 5527
34.11/34.57	o 5524
34.21/34.61	o 5521
34.21/34.63	o 5518
34.21/34.66	o 5514
34.21/34.69	o 5511
34.32/34.72	o 5509
34.32/34.75	o 5506
34.32/34.79	o 5504
34.42/34.82	o 5501
34.42/34.85	o 5498
34.42/34.89	o 5496
34.51/34.91	o 5493
34.51/34.94	o 5489
34.51/34.97	o 5486
34.51/34.99	o 5484
34.61/35.02	o 5481
34.61/35.05	o 5478
34.61/35.08	o 5477
34.71/35.12	o 5476
34.71/35.15	o 5474
34.71/35.18	o 5473
34.80/35.21	o 5470
34.80/35.23	o 5468
34.80/35.26	o 5465
34.80/35.29	o 5462
34.90/35.36	o 5459
34.90/35.39	o 5456
35.00/35.42	o 5454
35.00/35.45	o 5451
35.10/35.52	o 5449
35.10/35.55	o 5445
35.10/35.58	o 5440
35.20/35.62	o 5436
35.20/35.65	o 5433
35.20/35.68	o 5429
35.29/35.71	o 5427
35.29/35.75	o 5424
35.29/35.78	o 5421
35.39/35.80	o 5420
35.39/35.87	o 5416
35.49/35.94	o 5414
35.49/35.97	o 5411
35.49/36.00	o 5409
35.59/36.02	o 5407
35.59/36.05	o 5402
35.59/36.08	o 5398
35.69/36.11	o 5393
35.69/36.15	o 5388
35.79/36.22	o 5385
35.79/36.25	o 5382
35.79/36.28	o 5379
35.89/36.31	o 5375
35.89/36.35	o 5372
35.89/36.38	o 5369
35.98/36.41	o 5366
35.98/36.48	o 5361
36.08/36.52	o 5356
36.08/36.55	o 5352
36.08/36.59	o 5349
36.19/36.63	o 5348
36.19/36.66	o 5346
36.19/36.69	o 5344
36.29/36.73	o 5341
36.29/36.77	o 5339
36.39/36.80	o 5337
36.39/36.87	o 5332
36.49/36.91	o 5331
36.49/36.95	o 5326
36.49/36.98	o 5323
36.59/37.02	o 5318
36.59/37.05	o 5313
36.59/37.08	o 5312
36.69/37.12	o 5309
36.69/37.16	o 5307
36.79/37.20	o 5304
36.79/37.23	o 5301
36.79/37.28	o 5298
36.88/37.33	o 5296
36.88/37.36	o 5294
36.88/37.40	o 5292
36.98/37.43	o 5287
36.98/37.47	o 5286
37.07/37.51	o 5283
37.07/37.54	o 5279
37.07/37.58	o 5276
37.27/37.72	o 5272
37.27/37.76	o 5270
37.27/37.79	o 5265
37.37/37.83	o 5263
37.37/37.86	o 5260
37.47/37.91	o 5258
37.47/37.95	o 5256
37.57/38.07	o 5253
37.67/38.11	o 5252
37.67/38.14	o 5247
37.77/38.22	o 5244
37.87/38.30	o 5239
37.87/38.34	o 5238
37.97/38.42	o 5235
37.97/38.46	o 5232
38.07/38.54	o 5231
38.07/38.58	o 5225
38.16/38.62	o 5222
38.26/38.77	o 5218
38.36/38.85	o 5216
38.36/38.89	o 5215
38.46/38.92	o 5211
38.46/38.95	o 5206
38.46/38.99	o 5205
38.56/39.07	o 5203
38.66/39.11	o 5202
38.66/39.16	o 5199
38.76/39.21	o 5194
38.76/39.25	o 5192
38.76/39.29	o 5190
38.86/39.34	o 5189
38.96/39.45	o 5185
39.05/39.52	o 5180
39.05/39.59	o 5176
39.16/39.65	o 5172
39.25/39.72	o 5168
39.25/39.79	o 5164
39.35/39.85	o 5163
39.45/39.93	o 5159
39.45/40.00	o 5155
39.55/40.07	o 5152
39.65/40.11	o 5147
39.65/40.18	o 5146
39.75/40.25	o 5143
39.85/40.32	o 5140
39.85/40.39	o 5137
39.95/40.46	o 5134
40.05/40.52	o 5131
40.05/40.59	o 5129
40.14/40.66	o 5125
40.24/40.73	o 5122
40.34/40.80	o 5119
40.34/40.86	o 5116
40.44/40.94	o 5113
40.53/41.00	o 5110
40.53/41.07	o 5108
40.63/41.14	o 5106
40.73/41.20	o 5105
40.73/41.27	o 5103
40.93/41.40	o 5101
40.93/41.46	o 5099
41.03/41.53	o 5097
41.13/41.65	o 5096
41.23/41.72	o 5094
41.23/41.79	o 5092
41.33/41.86	o 5090
41.42/41.91	o 5084
41.42/41.98	o 5082
41.52/42.10	o 5080
41.62/42.15	o 5078
41.72/42.21	o 5076
41.72/42.27	o 5074
41.82/42.33	o 5072
41.82/42.39	o 5067
41.93/42.44	o 5065
42.03/42.51	o 5063
42.03/42.57	o 5061
42.13/42.63	o 5060
42.13/42.68	o 5059
42.23/42.74	o 5058
42.32/42.81	o 5057
42.32/42.86	o 5051
42.42/42.91	o 5050
42.42/42.97	o 5049
42.52/43.02	o 5048
42.52/43.08	o 5047
42.62/43.13	o 5046
42.62/43.18	o 5045
42.72/43.23	o 5044
42.72/43.29	o 5043
42.81/43.34	o 5042
42.81/43.38	o 5041
42.91/43.43	o 5040
43.11/43.62	o 5038
43.21/43.71	o 5034
43.31/43.90	o 5033
43.41/43.99	o 5032
43.70/44.29	o 5030
43.80/44.33	o 5028
43.80/44.38	o 5025
43.90/44.42	o 5023
44.00/44.57	o 5020
44.10/44.61	o 5018
44.10/44.65	o 5017
44.10/44.69	o 5014
44.21/44.73	o 5009
44.21/44.78	o 5006
44.31/44.82	o 5005
44.31/44.87	o 5003
44.41/44.91	o 5001
44.41/44.96	o 4997
44.50/45.02	o 4996
44.50/45.06	o 4995
44.60/45.11	o 4994
44.60/45.16	o 4993
44.69/45.25	o 4989
44.69/45.29	o 4985
44.79/45.34	o 4982
44.79/45.38	o 4979
44.89/45.43	o 4976
44.89/45.46	o 4973
44.99/45.51	o 4971
44.99/45.56	o 4967
45.09/45.60	o 4962
45.19/45.74	o 4959
45.19/45.78	o 4956
45.29/45.82	o 4952
45.29/45.86	o 4951
45.39/45.91	o 4947
45.39/45.95	o 4942
45.49/46.00	o 4938
45.49/46.04	o 4935
45.49/46.09	o 4929
45.58/46.13	o 4926
45.58/46.18	o 4924
45.68/46.26	o 4921
45.78/46.30	o 4917
45.78/46.34	o 4914
45.78/46.39	o 4911
45.88/46.43	o 4906
45.88/46.46	o 4903
45.98/46.51	o 4901
45.98/46.55	o 4900
45.98/46.60	o 4897
46.07/46.64	o 4891
46.07/46.68	o 4887
46.17/46.73	o 4883
46.27/46.82	o 4881
46.27/46.87	o 4879
46.38/46.91	o 4874
46.48/47.00	o 4871
46.48/47.05	o 4867
46.48/47.09	o 4866
46.58/47.13	o 4862
46.58/47.17	o 4859
46.67/47.22	o 4855
46.67/47.26	o 4853
46.77/47.34	o 4852
46.77/47.38	o 4851
46.87/47.47	o 4849
46.97/47.51	o 4847
46.97/47.59	o 4844
47.07/47.63	o 4842
47.07/47.67	o 4840
47.17/47.71	o 4839
47.17/47.74	o 4837
47.17/47.78	o 4835
47.27/47.82	o 4830
47.27/47.87	o 4828
47.37/47.90	o 4826
47.37/47.94	o 4825
47.37/47.98	o 4824
47.47/48.02	o 4822
47.47/48.06	o 4820
47.57/48.10	o 4818
47.57/48.14	o 4816
47.57/48.18	o 4815
47.66/48.22	o 4813
47.66/48.26	o 4812
47.76/48.31	o 4811
47.76/48.35	o 4809
47.76/48.39	o 4807
47.86/48.43	o 4806
47.86/48.47	o 4804
48.25/48.87	o 4803
48.35/48.91	o 4800
48.35/48.96	o 4797
48.45/49.00	o 4796
48.45/49.05	o 4792
48.45/49.09	o 4790
48.55/49.14	o 4789
48.65/49.23	o 4788
48.75/49.31	o 4785
48.84/49.41	o 4784
48.84/49.45	o 4782
48.84/49.50	o 4780
48.94/49.55	o 4778
48.94/49.60	o 4775
49.04/49.64	o 4772
49.14/49.74	o 4771
49.14/49.79	o 4767
49.24/49.84	o 4765
49.24/49.89	o 4762
49.34/49.94	o 4760
49.44/50.04	o 4756
49.44/50.09	o 4753
49.54/50.14	o 4751
49.54/50.19	o 4750
49.64/50.23	o 4746
49.84/50.45	o 4745
49.94/50.55	o 4742
50.04/50.61	o 4741
50.04/50.66	o 4739
50.23/50.82	o 4738
50.23/50.86	o 4737
50.33/50.96	o 4735
50.43/51.01	o 4732
50.43/51.05	o 4727
50.53/51.10	o 4723
50.53/51.16	o 4721
50.63/51.20	o 4717
50.63/51.25	o 4716
50.73/51.31	o 4714
50.83/51.41	o 4711
50.83/51.47	o 4708
50.93/51.58	o 4706
51.02/51.64	o 4705
51.02/51.69	o 4698
51.12/51.74	o 4696
51.12/51.79	o 4692
51.22/51.84	o 4689
51.22/51.89	o 4688
51.31/51.94	o 4687
51.31/51.99	o 4685
51.41/52.04	o 4684
51.51/52.13	o 4683
51.51/52.18	o 4678
51.61/52.22	o 4675
51.61/52.27	o 4672
51.71/52.33	o 4669
51.71/52.38	o 4668
51.81/52.42	o 4664
51.81/52.48	o 4661
51.91/52.53	o 4659
51.91/52.58	o 4655
52.01/52.63	o 4652
52.11/52.73	o 4648
52.21/52.83	o 4646
52.21/52.89	o 4644
52.30/52.93	o 4641
52.30/52.98	o 4640
52.40/53.04	o 4638
52.40/53.09	o 4632
52.50/53.14	o 4630
52.50/53.19	o 4627
52.60/53.24	o 4625
52.60/53.29	o 4623
52.70/53.33	o 4620
52.70/53.38	o 4618
52.80/53.43	o 4617
52.80/53.47	o 4616
52.90/53.55	o 4613
53.00/53.64	o 4612
53.00/53.69	o 4610
53.09/53.79	o 4607
53.19/53.87	o 4606
53.29/53.92	o 4605
53.29/53.96	o 4604
53.38/54.01	o 4601
53.38/54.06	o 4599
53.48/54.14	o 4598
53.48/54.18	o 4595
53.58/54.23	o 4592
53.58/54.27	o 4588
53.68/54.36	o 4585
53.78/54.41	o 4581
53.78/54.45	o 4580
53.88/54.51	o 4576
53.88/54.57	o 4572
53.98/54.63	o 4569
53.98/54.69	o 4566
54.08/54.76	o 4563
54.18/54.82	o 4561
54.18/54.89	o 4559
54.28/54.96	o 4557
54.37/55.02	o 4555
54.37/55.09	o 4553
54.48/55.15	o 4552
54.58/55.22	o 4550
54.58/55.28	o 4548
54.68/55.34	o 4547
54.68/55.39	o 4545
54.78/55.45	o 4543
54.88/55.51	o 4542
54.88/55.57	o 4540
54.97/55.63	o 4536
54.97/55.69	o 4534
55.07/55.74	o 4532
55.17/55.81	o 4531
55.27/55.92	o 4529
55.37/56.04	o 4528
55.37/56.09	o 4526
55.47/56.15	o 4525
55.56/56.20	o 4524
55.56/56.25	o 4523
55.66/56.30	o 4522
55.66/56.35	o 4521
55.76/56.40	o 4520
55.76/56.46	o 4519
55.86/56.51	o 4518
55.86/56.55	o 4517
56.06/56.70	o 4515
56.06/56.75	o 4513
56.65/57.32	o 4511
56.65/57.36	o 4510
56.75/57.45	o 4506
56.85/57.53	o 4504
56.95/57.62	o 4503
56.95/57.67	o 4502
57.05/57.71	o 4499
57.05/57.76	o 4497
57.15/57.81	o 4496
57.15/57.86	o 4492
57.25/57.90	o 4490
57.25/57.95	o 4487
57.35/58.00	o 4485
57.35/58.05	o 4484
57.45/58.10	o 4482
57.45/58.15	o 4481
57.54/58.21	o 4477
57.54/58.26	o 4475
57.64/58.31	o 4471
57.84/58.50	o 4469
57.84/58.56	o 4468
57.94/58.61	o 4467
58.04/58.71	o 4463
58.04/58.76	o 4462
58.13/58.82	o 4458
58.13/58.87	o 4456
58.23/58.92	o 4452
58.23/58.97	o 4451
58.33/59.02	o 4448
58.43/59.13	o 4443
58.53/59.23	o 4439
58.64/59.33	o 4434
58.64/59.39	o 4432
58.83/59.59	o 4429
58.93/59.64	o 4426
59.03/59.75	o 4423
59.13/59.81	o 4419
59.23/59.96	o 4415
59.33/60.02	o 4414
59.43/60.12	o 4413
59.43/60.17	o 4409
59.53/60.24	o 4406
59.53/60.29	o 4404
59.63/60.34	o 4399
59.63/60.39	o 4397
59.72/60.45	o 4395
59.82/60.55	o 4393
59.92/60.60	o 4389
59.92/60.65	o 4388
60.02/60.71	o 4386
60.12/60.87	o 4384
60.22/60.93	o 4381
60.51/61.20	o 4378
60.61/61.35	o 4375
60.71/61.47	o 4374
60.81/61.54	o 4372
60.81/61.59	o 4371
60.91/61.65	o 4370
61.00/61.72	o 4369
61.00/61.78	o 4367
61.10/61.89	o 4365
61.20/61.96	o 4364
61.30/62.02	o 4361
61.30/62.08	o 4358
61.40/62.14	o 4355
61.40/62.19	o 4353
61.50/62.25	o 4350
61.70/62.48	o 4348
61.89/62.65	o 4345
61.99/62.71	o 4342
61.99/62.77	o 4340
62.08/62.83	o 4337
62.18/62.94	o 4336
62.58/63.31	o 4333
62.68/63.44	o 4332
62.68/63.49	o 4329
62.78/63.55	o 4326
62.88/63.62	o 4322
62.88/63.68	o 4320
63.28/64.00	o 4319
63.28/64.07	o 4318
63.48/64.20	o 4317
63.48/64.27	o 4316
63.58/64.33	o 4313
63.58/64.39	o 4311
63.68/64.45	o 4310
63.78/64.52	o 4308
63.88/64.64	o 4307
63.98/64.71	o 4305
63.98/64.77	o 4304
64.17/64.91	o 4301
64.17/64.97	o 4299
64.27/65.04	o 4296
64.37/65.10	o 4294
64.37/65.16	o 4292
64.47/65.29	o 4291
64.57/65.35	o 4287
64.77/65.54	o 4286
64.87/65.66	o 4284
64.97/65.73	o 4281
64.97/65.80	o 4280
65.07/65.86	o 4276
65.16/65.93	o 4274
65.16/65.99	o 4273
65.85/66.63	o 4270
65.85/66.69	o 4267
65.95/66.75	o 4264
66.05/66.82	o 4260
66.15/66.94	o 4259
66.24/67.02	o 4258
66.24/67.08	o 4255
66.44/67.22	o 4252
66.44/67.28	o 4249
66.54/67.31	o 4247
66.54/67.38	o 4246
66.64/67.44	o 4242
66.74/67.50	o 4241
66.74/67.57	o 4238
66.84/67.64	o 4234
67.05/67.83	o 4232
67.05/67.90	o 4229
67.15/67.97	o 4227
67.63/68.46	o 4225
67.73/68.54	o 4221
67.93/68.75	o 4219
68.03/68.83	o 4218
68.13/68.90	o 4215
68.23/69.03	o 4213
68.33/69.10	o 4212
68.33/69.17	o 4208
68.42/69.26	o 4205
68.52/69.33	o 4203
68.62/69.40	o 4202
68.62/69.47	o 4201
68.82/69.61	o 4200
68.82/69.69	o 4198
68.91/69.75	o 4197
69.01/69.82	o 4196
69.01/69.89	o 4195
69.11/69.96	o 4192
69.22/70.03	o 4189
69.32/70.11	o 4188
69.32/70.18	o 4185
69.51/70.40	o 4183
69.61/70.47	o 4180
69.71/70.55	o 4178
69.81/70.62	o 4177
69.91/70.76	o 4173
70.11/70.96	o 4170
70.21/71.03	o 4169
70.31/71.11	o 4167
70.31/71.18	o 4164
70.41/71.25	o 4161
70.51/71.32	o 4160
70.60/71.47	o 4157
70.80/71.69	o 4154
70.90/71.76	o 4152
71.00/71.83	o 4149
71.10/71.91	o 4145
71.10/71.98	o 4144
71.19/72.05	o 4143
71.39/72.28	o 4140
71.49/72.36	o 4139
71.59/72.43	o 4135
71.69/72.52	o 4134
71.79/72.65	o 4132
71.88/72.72	o 4131
71.98/72.80	o 4129
72.08/72.94	o 4126
72.18/73.01	o 4124
72.28/73.16	o 4122
72.38/73.24	o 4121
72.48/73.31	o 4119
72.68/73.60	o 4118
72.87/73.75	o 4117
72.97/73.82	o 4114
73.17/74.03	o 4113
73.57/74.41	o 4110
73.67/74.55	o 4108
73.77/74.63	o 4106
73.86/74.71	o 4102
73.86/74.79	o 4100
73.96/74.86	o 4097
74.06/74.94	o 4092
74.16/75.02	o 4087
74.26/75.18	o 4085
74.46/75.33	o 4083
74.56/75.40	o 4082
74.56/75.48	o 4080
74.66/75.54	o 4078
74.76/75.62	o 4075
74.76/75.69	o 4073
75.06/75.92	o 4072
75.15/76.01	o 4071
75.15/76.08	o 4068
75.25/76.14	o 4067
75.35/76.22	o 4066
75.35/76.29	o 4064
75.45/76.36	o 4063
75.55/76.44	o 4061
75.65/76.57	o 4060
75.85/76.79	o 4058
75.95/76.85	o 4054
76.05/76.99	o 4051
76.15/77.05	o 4049
76.24/77.12	o 4045
76.24/77.19	o 4044
76.34/77.26	o 4041
76.44/77.40	o 4039
76.54/77.47	o 4037
76.64/77.54	o 4036
76.74/77.61	o 4034
77.04/77.94	o 4032
77.14/78.04	o 4029
77.24/78.13	o 4026
77.33/78.22	o 4023
77.43/78.30	o 4020
77.43/78.40	o 4017
77.53/78.49	o 4014
77.63/78.59	o 4011
77.73/78.68	o 4010
77.83/78.78	o 4008
77.93/78.87	o 4006
78.22/79.16	o 4005
78.32/79.25	o 4003
78.42/79.35	o 4001
78.62/79.53	o 4000
78.72/79.62	o 3998
78.82/79.71	o 3994
78.91/79.80	o 3992
79.01/79.90	o 3991
79.01/79.99	o 3990
79.11/80.09	o 3989
79.21/80.18	o 3988
79.31/80.28	o 3987
79.50/80.43	o 3984
79.60/80.52	o 3983
79.60/80.60	o 3981
79.80/80.73	o 3978
79.80/80.80	o 3976
79.90/80.88	o 3975
80.00/80.96	o 3974
80.10/81.05	o 3973
80.20/81.13	o 3972
80.30/81.21	o 3971
80.30/81.29	o 3970
80.99/81.91	o 3962
81.88/82.82	o 3961
81.88/82.89	o 3958
82.08/83.04	o 3957
82.18/83.10	o 3954
82.18/83.17	o 3953
82.28/83.25	o 3952
82.39/83.32	o 3950
82.68/83.69	o 3946
82.98/83.92	o 3942
83.08/84.07	o 3940
83.18/84.14	o 3939
83.38/84.36	o 3937
83.58/84.50	o 3935
83.77/84.74	o 3933
83.86/84.81	o 3932
83.86/84.88	o 3929
83.96/84.96	o 3927
84.26/85.25	o 3926
84.36/85.33	o 3925
84.46/85.40	o 3924
84.86/85.87	o 3923
84.95/85.94	o 3922
85.05/86.01	o 3918
85.05/86.09	o 3916
85.15/86.16	o 3914
85.25/86.24	o 3912
85.35/86.40	o 3910
85.45/86.48	o 3906
85.55/86.56	o 3902
85.65/86.63	o 3899
86.14/87.11	o 3897
86.74/87.73	o 3894
86.84/87.89	o 3893
86.93/87.97	o 3891
87.03/88.06	o 3888
87.53/88.50	o 3886
87.53/88.57	o 3884
87.63/88.65	o 3882
87.73/88.79	o 3880
87.92/88.94	o 3879
88.02/89.04	o 3878
88.12/89.11	o 3876
88.21/89.20	o 3874
88.21/89.28	o 3873
88.31/89.35	o 3870
88.41/89.43	o 3869
88.51/89.50	o 3868
88.71/89.73	o 3867
88.91/89.96	o 3865
89.01/90.04	o 3862
89.11/90.13	o 3859
89.40/90.45	o 3858
89.50/90.54	o 3854
89.60/90.62	o 3853
89.71/90.70	o 3851
89.71/90.78	o 3848
90.01/91.02	o 3847
90.11/91.12	o 3843
90.20/91.21	o 3840
90.20/91.29	o 3838
90.30/91.37	o 3836
90.40/91.46	o 3834
91.29/92.31	o 3832
91.29/92.40	o 3829
91.39/92.48	o 3826
91.49/92.57	o 3823
91.89/92.99	o 3820
91.99/93.08	o 3818
92.09/93.17	o 3817
92.19/93.25	o 3815
92.29/93.34	o 3814
92.38/93.42	o 3813
93.07/94.19	o 3812
93.27/94.36	o 3811
93.37/94.45	o 3809
93.47/94.54	o 3807
93.76/94.89	o 3805
93.86/94.98	o 3802
94.26/95.34	o 3801
94.85/95.91	o 3798
94.95/96.00	o 3795
94.95/96.09	o 3791
95.05/96.17	o 3787
95.45/96.52	o 3785
95.64/96.71	o 3784
95.74/96.88	o 3781
95.94/97.06	o 3780
96.04/97.14	o 3778
96.24/97.32	o 3776
96.34/97.41	o 3774
97.03/98.12	o 3773
97.23/98.40	o 3771
97.33/98.50	o 3770
97.43/98.59	o 3768
97.53/98.68	o 3767
97.63/98.77	o 3763
97.73/98.87	o 3759
97.83/98.97	o 3757
98.02/99.16	o 3756
98.12/99.25	o 3754
98.22/99.34	o 3753
98.42/99.52	o 3752
98.52/99.61	o 3751
98.62/99.71	o 3750
98.91/100.10	o 3749
99.01/100.20	o 3746
99.11/100.29	o 3745
99.21/100.39	o 3744
99.31/100.48	o 3742
99.61/100.76	o 3741
99.71/100.85	o 3738
99.91/101.04	o 3736
100.10/101.23	o 3733
100.20/101.33	o 3731
100.30/101.42	o 3728
100.90/102.08	o 3727
101.09/102.28	o 3726
101.19/102.38	o 3724
101.29/102.48	o 3722
101.39/102.57	o 3720
101.59/102.77	o 3719
101.68/102.87	o 3717
101.88/103.08	o 3716
101.98/103.19	o 3715
102.08/103.29	o 3710
102.18/103.40	o 3707
102.28/103.50	o 3704
102.47/103.60	o 3703
102.57/103.71	o 3702
102.67/103.81	o 3699
102.77/103.92	o 3698
102.97/104.13	o 3695
103.07/104.23	o 3693
103.17/104.33	o 3692
103.46/104.66	o 3690
104.45/105.62	o 3689
104.55/105.72	o 3688
104.66/105.83	o 3686
105.16/106.38	o 3684
105.26/106.49	o 3682
105.84/107.05	o 3681
105.94/107.16	o 3678
106.04/107.27	o 3677
106.14/107.38	o 3676
106.64/107.82	o 3674
106.83/108.03	o 3673
107.03/108.25	o 3671
107.13/108.35	o 3669
107.33/108.57	o 3667
107.43/108.69	o 3664
107.63/108.80	o 3662
107.92/109.14	o 3661
108.12/109.36	o 3660
108.22/109.47	o 3659
108.32/109.58	o 3657
109.01/110.24	o 3654
109.21/110.45	o 3653
109.31/110.56	o 3651
109.41/110.67	o 3649
109.71/110.99	o 3648
109.90/111.10	o 3647
109.90/111.16	o 3643
110.00/111.27	o 3642
110.09/111.37	o 3640
110.39/111.70	o 3639
110.59/111.80	o 3637
110.69/111.91	o 3636
110.79/112.01	o 3633
110.99/112.24	o 3630
111.18/112.45	o 3627
111.28/112.55	o 3626
111.38/112.65	o 3624
111.48/112.75	o 3623
111.58/112.86	o 3621
111.68/112.96	o 3620
111.78/113.06	o 3618
111.88/113.16	o 3616
111.98/113.28	o 3615
112.17/113.48	o 3614
112.37/113.67	o 3612
112.57/113.87	o 3610
113.56/114.89	o 3607
113.76/115.10	o 3606
113.86/115.20	o 3602
114.15/115.40	o 3600
114.25/115.51	o 3599
114.35/115.61	o 3598
114.55/115.81	o 3596
114.65/115.92	o 3594
114.85/116.14	o 3592
115.24/116.56	o 3589
115.84/117.16	o 3588
115.94/117.26	o 3587
116.14/117.48	o 3583
116.54/117.81	o 3582
116.94/118.24	o 3578
117.24/118.57	o 3577
117.34/118.68	o 3576
117.43/118.80	o 3574
117.62/118.91	o 3570
117.72/119.03	o 3569
117.82/119.14	o 3568
117.92/119.24	o 3567
118.02/119.35	o 3566
118.12/119.46	o 3563
118.22/119.57	o 3560
118.52/119.89	o 3558
118.81/120.10	o 3556
118.91/120.21	o 3555
119.31/120.63	o 3554
119.41/120.74	o 3553
119.51/120.86	o 3551
119.61/120.97	o 3549
119.71/121.08	o 3547
119.80/121.19	o 3546
121.59/122.90	o 3544
121.69/123.01	o 3543
121.78/123.14	o 3541
121.88/123.25	o 3539
122.08/123.47	o 3536
122.18/123.59	o 3534
122.97/124.37	o 3532
123.07/124.48	o 3529
123.27/124.60	o 3527
123.27/124.66	o 3525
123.37/124.77	o 3524
123.56/124.99	o 3522
123.76/125.11	o 3518
123.86/125.22	o 3516
124.06/125.46	o 3515
124.15/125.56	o 3512
124.35/125.79	o 3510
124.55/125.90	o 3506
124.55/125.97	o 3504
124.65/126.08	o 3502
124.75/126.20	o 3501
124.95/126.31	o 3500
125.34/126.75	o 3497
125.84/127.30	o 3496
126.04/127.41	o 3495
126.23/127.66	o 3493
126.33/127.79	o 3490
126.53/127.90	o 3489
126.63/128.01	o 3487
126.73/128.13	o 3485
126.93/128.34	o 3483
127.03/128.46	o 3482
127.14/128.56	o 3479
127.23/128.68	o 3477
127.73/129.11	o 3474
127.83/129.21	o 3472
127.93/129.32	o 3471
128.52/129.97	o 3467
128.62/130.09	o 3466
129.01/130.42	o 3465
129.11/130.53	o 3463
129.21/130.64	o 3462
129.51/130.99	o 3461
129.60/131.09	o 3459
129.80/131.21	o 3458
129.90/131.32	o 3456
130.10/131.54	o 3453
130.20/131.65	o 3452
130.30/131.77	o 3449
130.69/132.13	o 3447
130.79/132.25	o 3444
130.89/132.37	o 3442
130.99/132.50	o 3440
131.19/132.62	o 3438
131.29/132.74	o 3436
131.58/133.10	o 3435
131.78/133.22	o 3433
131.88/133.34	o 3431
131.98/133.47	o 3429
132.07/133.59	o 3427
132.27/133.72	o 3425
132.37/133.83	o 3422
132.47/133.96	o 3421
132.57/134.09	o 3420
132.77/134.23	o 3419
132.96/134.47	o 3418
133.06/134.60	o 3417
133.26/134.73	o 3416
133.36/134.86	o 3415
133.46/134.98	o 3414
133.56/135.09	o 3412
134.95/136.43	o 3411
135.04/136.54	o 3408
135.15/136.67	o 3405
135.25/136.78	o 3404
135.35/136.89	o 3401
135.55/137.01	o 3397
135.75/137.25	o 3396
138.51/140.05	o 3391
138.61/140.16	o 3390
138.71/140.28	o 3389
139.21/140.78	o 3388
139.31/140.85	o 3386
139.40/140.97	o 3385
140.20/141.71	o 3381
140.30/141.84	o 3379
140.49/142.08	o 3376
140.69/142.20	o 3375
140.79/142.32	o 3374
140.89/142.44	o 3372
140.99/142.56	o 3370
141.09/142.67	o 3369
141.19/142.79	o 3364
141.39/142.93	o 3362
141.58/143.16	o 3360
141.68/143.28	o 3359
141.88/143.40	o 3358
141.98/143.52	o 3357
142.18/143.77	o 3356
142.28/143.87	o 3355
142.48/144.01	o 3353
142.77/144.36	o 3352
142.87/144.48	o 3348
143.17/144.73	o 3345
143.27/144.86	o 3343
143.37/144.99	o 3341
143.56/145.13	o 3340
143.76/145.38	o 3338
144.65/146.24	o 3337
144.75/146.37	o 3335
145.35/146.97	o 3331
145.65/147.22	o 3328
146.13/147.77	o 3325
146.23/147.89	o 3322
146.53/148.13	o 3321
146.83/148.46	o 3320
146.93/148.58	o 3319
147.03/148.70	o 3318
148.32/149.91	o 3317
148.82/150.41	o 3315
149.31/150.95	o 3310
149.41/151.06	o 3309
150.90/152.53	o 3308
151.00/152.64	o 3307
152.97/154.66	o 3305
153.07/154.78	o 3304
153.17/154.89	o 3303
153.66/155.35	o 3299
153.86/155.60	o 3298
154.06/155.71	o 3294
154.26/155.93	o 3290
154.36/156.05	o 3289
154.45/156.18	o 3287
154.65/156.30	o 3285
154.85/156.54	o 3283
154.95/156.66	o 3280
155.05/156.77	o 3277
155.35/157.02	o 3274
155.95/157.61	o 3273
156.05/157.74	o 3272
156.15/157.85	o 3269
156.25/157.97	o 3267
156.35/158.09	o 3266
156.54/158.20	o 3264
156.64/158.34	o 3262
157.23/158.94	o 3259
157.73/159.45	o 3257
158.12/159.84	o 3256
158.22/159.97	o 3255
158.42/160.10	o 3254
158.62/160.37	o 3252
158.92/160.64	o 3251
159.11/160.89	o 3250
159.51/161.26	o 3249
160.10/161.80	o 3246
160.30/162.06	o 3245
160.70/162.44	o 3242
161.19/162.98	o 3241
161.39/163.11	o 3239
161.49/163.25	o 3237
161.59/163.38	o 3236
161.79/163.52	o 3234
161.89/163.66	o 3233
161.99/163.80	o 3231
162.18/163.95	o 3230
162.88/164.63	o 3228
163.36/165.19	o 3226
163.96/165.74	o 3225
164.86/166.60	o 3224
164.96/166.75	o 3222
165.16/166.90	o 3220
165.26/167.05	o 3219
165.45/167.22	o 3217
165.55/167.38	o 3215
165.75/167.55	o 3214
168.13/169.97	o 3211
168.43/170.29	o 3209
168.62/170.47	o 3207
169.12/170.96	o 3205
169.32/171.13	o 3202
170.51/172.39	o 3200
170.71/172.56	o 3196
170.90/172.74	o 3195
171.09/172.90	o 3194
171.19/173.06	o 3193
171.39/173.23	o 3192
171.49/173.39	o 3190
171.89/173.72	o 3189
172.18/174.04	o 3188
172.38/174.20	o 3186
172.78/174.69	o 3184
173.47/175.34	o 3179
173.67/175.51	o 3178
173.97/175.83	o 3175
174.16/176.01	o 3172
174.26/176.17	o 3167
174.46/176.33	o 3165
174.56/176.49	o 3164
174.96/176.81	o 3163
175.06/176.97	o 3162
175.25/177.14	o 3161
175.95/177.81	o 3159
176.05/177.98	o 3157
176.94/178.82	o 3154
177.05/178.98	o 3152
177.25/179.16	o 3151
178.13/180.03	o 3150
178.82/180.72	o 3149
178.92/180.88	o 3147
182.69/184.65	o 3146
182.88/184.84	o 3145
183.08/185.02	o 3143
184.96/186.95	o 3142
185.15/187.13	o 3141
189.32/191.35	o 3140
190.31/192.39	o 3139
190.51/192.57	o 3135
190.70/192.75	o 3134
193.18/195.21	o 3132
193.28/195.38	o 3129
193.67/195.74	o 3127
194.37/196.42	o 3126
194.47/196.60	o 3125
194.67/196.76	o 3123
194.86/196.94	o 3120
195.06/197.12	o 3119
196.45/198.50	o 3116
196.65/198.76	o 3115
196.85/198.93	o 3114
197.14/199.29	o 3112
209.72/211.99	o 3111
209.92/212.16	o 3110
210.12/212.34	o 3108
210.31/212.52	o 3107
210.61/212.88	o 3105
210.81/213.05	o 3103
211.61/213.89	o 3102
211.81/214.06	o 3101
213.49/215.75	o 3098
213.89/216.10	o 3097
213.99/216.27	o 3096
214.38/216.61	o 3095
214.68/216.94	o 3094
215.18/217.44	o 3093
215.38/217.61	o 3089
215.47/217.76	o 3088
215.77/218.09	o 3087
218.24/220.57	o 3086
218.93/221.21	o 3085
219.93/222.23	o 3084
220.12/222.40	o 3083
220.22/222.57	o 3081
220.62/222.91	o 3080
221.91/224.30	o 3078
222.30/224.65	o 3077
223.79/226.17	o 3075
223.99/226.34	o 3074
224.18/226.52	o 3073
224.28/226.69	o 3071
224.88/227.21	o 3069
225.37/227.74	o 3068
225.56/227.92	o 3066
225.86/228.27	o 3065
226.06/228.46	o 3064
226.46/228.83	o 3063
226.75/229.20	o 3062
228.44/230.86	o 3061
228.83/231.23	o 3060
229.13/231.59	o 3057
241.22/243.77	o 3055
241.42/243.98	o 3054
241.71/244.20	o 3052
242.50/245.02	o 3051
242.70/245.24	o 3049
242.90/245.44	o 3047
244.59/247.16	o 3045
244.79/247.39	o 3044
245.08/247.61	o 3043
245.28/247.83	o 3041
246.08/248.64	o 3039
248.35/250.98	o 3036
248.55/251.19	o 3034
248.85/251.40	o 3033
249.64/252.26	o 3032
250.73/253.32	o 3029
250.83/253.42	o 3028
251.03/253.63	o 3027
251.23/253.85	o 3025
251.42/254.06	o 3023
251.62/254.28	o 3022
252.71/255.37	o 3021
253.11/255.77	o 3020
253.31/256.00	o 3019
254.00/256.63	o 3017
254.20/256.85	o 3015
254.40/257.06	o 3013
254.60/257.27	o 3010
254.79/257.49	o 3009
255.19/257.86	o 3006
255.39/258.08	o 3005
257.56/260.21	o 3003
257.76/260.43	o 3001
257.96/260.65	o 2999
258.65/261.31	o 2993
258.85/261.53	o 2992
259.04/261.76	o 2991
259.24/261.99	o 2990
259.54/262.22	o 2988
261.13/263.80	o 2987
261.32/264.04	o 2985
262.91/265.61	o 2983
263.11/265.84	o 2982
266.17/268.99	o 2980
267.86/270.63	o 2978
268.05/270.86	o 2977
268.55/271.33	o 2975
269.04/271.80	o 2972
269.44/272.27	o 2971
269.74/272.51	o 2970
269.94/272.76	o 2969
270.23/273.01	o 2967
270.43/273.25	o 2966
270.74/273.50	o 2964
271.43/274.24	o 2962
271.63/274.48	o 2960
271.93/274.73	o 2959
272.62/275.49	o 2958
272.92/275.74	o 2957
275.58/278.45	o 2956
275.88/278.71	o 2955
276.08/278.95	o 2954
276.77/279.69	o 2952
279.05/281.91	o 2951
279.25/282.15	o 2949
279.45/282.40	o 2948
279.94/282.89	o 2947
283.50/286.47	o 2944
283.80/286.70	o 2943
284.00/286.95	o 2942
284.49/287.44	o 2940
284.99/287.92	o 2939
286.58/289.58	o 2938
286.98/289.95	o 2936
290.94/293.92	o 2934
291.14/294.17	o 2930
291.64/294.66	o 2928
291.93/294.93	o 2927
292.13/295.17	o 2926
292.43/295.42	o 2924
292.62/295.67	o 2923
292.72/295.76	o 2922
302.13/305.29	o 2920
302.33/305.45	o 2919
302.82/305.97	o 2917
303.12/306.22	o 2916
308.18/311.30	o 2915
308.37/311.57	o 2914
309.76/312.90	o 2913
310.26/313.44	o 2910
311.05/314.26	o 2909
311.34/314.52	o 2908
311.54/314.79	o 2905
311.84/315.05	o 2902
312.34/315.52	o 2901
312.53/315.79	o 2898
312.83/316.04	o 2897
313.33/316.56	o 2895
313.82/317.08	o 2892
314.32/317.60	o 2890
316.69/319.93	o 2889
317.98/321.25	o 2888
319.36/322.62	o 2887
319.56/322.89	o 2885
320.65/323.99	o 2884
321.25/324.53	o 2881
321.54/324.81	o 2878
321.74/325.08	o 2876
322.04/325.36	o 2874
322.33/325.64	o 2871
322.63/325.92	o 2870
322.83/326.19	o 2869
323.13/326.47	o 2867
324.42/327.78	o 2866
324.71/328.05	o 2865
325.01/328.33	o 2862
325.31/328.60	o 2861
326.10/329.41	o 2860
331.65/335.06	o 2859
331.95/335.33	o 2858
332.24/335.61	o 2855
333.33/336.70	o 2854
334.32/337.78	o 2853
334.92/338.31	o 2852
335.12/338.58	o 2851
335.41/338.86	o 2848
335.91/339.39	o 2846
336.50/339.92	o 2845
336.70/340.19	o 2844
337.00/340.46	o 2843
337.30/340.73	o 2842
337.59/341.01	o 2841
338.58/342.08	o 2840
338.88/342.34	o 2839
339.38/342.87	o 2837
340.47/343.94	o 2836
340.76/344.22	o 2835
341.15/344.70	o 2834
341.45/344.96	o 2833
342.24/345.75	o 2831
343.53/347.06	o 2830
349.19/352.79	o 2829
349.48/353.07	o 2827
349.98/353.56	o 2824
350.77/354.35	o 2821
351.85/355.41	o 2820
352.85/356.45	o 2819
354.43/358.02	o 2818
354.63/358.28	o 2817
354.93/358.55	o 2815
355.22/358.81	o 2814
355.42/359.00	o 2813
356.41/360.04	o 2809
356.71/360.30	o 2808
356.91/360.57	o 2806
357.40/361.10	o 2805
357.69/361.36	o 2803
357.99/361.61	o 2802
358.39/362.02	o 2801
358.89/362.54	o 2800
367.51/371.20	o 2797
367.70/371.46	o 2796
368.00/371.73	o 2795
368.19/371.99	o 2793
368.99/372.77	o 2791
369.48/373.24	o 2789
371.46/375.29	o 2787
372.46/376.28	o 2786
373.55/377.39	o 2784
373.84/377.65	o 2783
374.34/378.15	o 2780
374.83/378.65	o 2778
379.89/383.78	o 2776
380.09/383.98	o 2775
384.15/388.05	o 2774
386.33/390.27	o 2773
389.30/393.28	o 2772
390.39/394.37	o 2768
390.99/394.92	o 2766
403.56/407.68	o 2765
404.45/408.50	o 2764
404.65/408.77	o 2762
406.33/410.46	o 2760
407.42/411.59	o 2759
408.02/412.13	o 2758
408.81/412.97	o 2754
409.40/413.53	o 2752
410.20/414.37	o 2751
413.76/418.00	o 2750
414.25/418.42	o 2747
414.75/418.99	o 2746
416.13/420.39	o 2744
416.34/420.53	o 2741
416.64/420.81	o 2740
416.84/421.08	o 2738
418.62/422.89	o 2737
418.92/423.16	o 2736
419.51/423.72	o 2735
420.00/424.27	o 2734
421.39/425.66	o 2732
421.68/425.93	o 2731
421.98/426.21	o 2730
423.27/427.57	o 2729
423.86/428.15	o 2728
424.75/429.02	o 2725
425.25/429.59	o 2724
425.55/429.88	o 2723
425.84/430.18	o 2721
426.14/430.48	o 2720
426.44/430.76	o 2717
426.75/431.05	o 2716
427.04/431.34	o 2715
427.93/432.21	o 2714
428.23/432.51	o 2713
429.61/433.98	o 2712
430.50/434.82	o 2710
430.80/435.12	o 2709
431.10/435.41	o 2708
431.69/436.01	o 2706
432.88/437.20	o 2705
435.16/439.57	o 2704
435.75/440.17	o 2703
435.95/440.38	o 2700
436.54/440.92	o 2699
436.83/441.22	o 2698
437.13/441.51	o 2697
437.33/441.79	o 2696
439.11/443.55	o 2693
439.71/444.12	o 2692
440.00/444.42	o 2689
440.71/445.14	o 2686
440.71/445.18	o 2683
441.00/445.47	o 2682
441.30/445.76	o 2681
442.48/446.94	o 2680
442.78/447.23	o 2678
443.37/447.82	o 2677
443.67/448.12	o 2676
443.97/448.41	o 2675
444.56/449.00	o 2674
444.76/449.29	o 2673
445.36/449.88	o 2671
445.95/450.47	o 2670
453.68/458.28	o 2667
453.98/458.58	o 2665
454.87/459.47	o 2664
473.49/478.21	o 2663
473.79/478.53	o 2662
474.08/478.84	o 2661
474.38/479.16	o 2660
474.68/479.48	o 2659
475.37/480.12	o 2658
496.57/501.53	o 2656
496.87/501.86	o 2655
497.86/502.89	o 2654
501.32/506.39	o 2653
501.72/506.74	o 2651
502.02/507.05	o 2650
502.71/507.76	o 2649
503.11/508.13	o 2648
503.80/508.82	o 2647
504.49/509.54	o 2645
504.69/509.76	o 2642
505.09/510.11	o 2641
505.39/510.48	o 2639
508.75/513.87	o 2637
509.15/514.20	o 2636
509.45/514.54	o 2635
510.83/515.96	o 2634
511.22/516.31	o 2633
511.52/516.67	o 2629
518.76/523.90	o 2626
519.95/525.17	o 2624
520.35/525.53	o 2621
529.95/535.23	o 2619
530.34/535.61	o 2618
531.34/536.68	o 2617
531.73/537.04	o 2616
532.13/537.41	o 2613
532.43/537.73	o 2612
533.12/538.47	o 2611
533.52/538.84	o 2609
533.91/539.21	o 2608
539.25/544.67	o 2607
541.83/547.23	o 2606
544.01/549.48	o 2605
563.23/568.88	o 2603
563.63/569.26	o 2602
564.92/570.59	o 2601
565.32/570.97	o 2597
566.80/572.49	o 2596
570.96/576.63	o 2595
571.26/576.90	o 2593
574.12/579.88	o 2590
574.52/580.26	o 2589
575.31/581.04	o 2586
579.28/585.09	o 2585
580.07/585.85	o 2583
580.86/586.65	o 2582
581.26/587.03	o 2581
582.15/587.98	o 2579
583.34/589.16	o 2578
583.73/589.56	o 2577
589.28/595.14	o 2575
589.67/595.54	o 2574
590.07/595.94	o 2573
590.46/596.34	o 2571
597.90/603.87	o 2570
598.30/604.27	o 2568
598.70/604.65	o 2566
599.09/605.08	o 2564
602.55/608.54	o 2559
602.95/608.95	o 2558
603.74/609.75	o 2557
606.52/612.58	o 2556
607.21/613.27	o 2555
608.40/614.42	o 2554
608.79/614.83	o 2552
609.19/615.22	o 2550
609.59/615.62	o 2549
609.98/616.02	o 2547
610.38/616.42	o 2545
611.17/617.21	o 2544
611.57/617.60	o 2543
613.85/619.94	o 2541
614.25/620.34	o 2539
615.14/621.25	o 2535
615.53/621.65	o 2533
615.93/622.04	o 2532
616.53/622.68	o 2531
616.92/623.07	o 2530
617.71/623.87	o 2529
618.51/624.64	o 2527
648.72/655.12	   
648.72/655.12	   search
648.72/655.12	     run=0  nbConstraintChecks=1448366074  nbAssignments=4035
648.72/655.12	       =>  wckTime=638.452  cpuTime=632.17  mem=67M979
648.72/655.12	   
648.72/655.12	   global
648.72/655.12	     nbConstraintChecks=1448366074  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
648.72/655.12	     solvingWckTime=638.436  solvingCpuTime=632.17  expiredTime=no  totalExploration=no  nbFoundSolutions=0
648.72/655.12	     globalCpuTime=646.95
648.72/655.12	       =>  wckTime=654.881  cpuTime=646.9  mem=67M979
648.72/655.12	   
648.72/655.12	   solver DecomposerSolver being built... 
655.25/661.71	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-1112797-1215874154/watcher-1112797-1215874154 -o /tmp/evaluation-result-1112797-1215874154/solver-1112797-1215874154 -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-1112797-1215874154.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.58 2.63 2.58 4/82 18702
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=1616 CPUtime=0
/proc/18702/stat : 18702 (java) D 18700 18702 17651 0 -1 0 347 0 0 0 0 0 0 0 18 0 1 0 44115060 1654784 151 996147200 134512640 134550740 4294955952 18446744073709551615 1819428 0 2147483391 4096 0 18446744072099863542 0 0 17 1 0 0
/proc/18702/statm: 404 151 125 9 0 46 0
[pid=18702/tid=18703] ppid=18700 vsize=10616 CPUtime=0
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 44115061 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 2666456 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0951111 s]
/proc/loadavg: 2.58 2.63 2.58 4/82 18702
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=865984 CPUtime=0.08
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 3691 0 1 0 6 2 0 0 18 0 9 0 44115060 886767616 3166 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216496 3166 1678 9 0 211051 0
[pid=18702/tid=18703] ppid=18700 vsize=865984 CPUtime=0.07
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 2789 0 1 0 5 2 0 0 18 0 9 0 44115061 886767616 3166 996147200 134512640 134550740 4294955952 18446744073709551615 4125959076 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.102115 s]
/proc/loadavg: 2.58 2.63 2.58 4/82 18702
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=865984 CPUtime=0.09
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 3781 0 1 0 6 3 0 0 18 0 9 0 44115060 886767616 3235 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216496 3235 1709 9 0 211051 0
[pid=18702/tid=18703] ppid=18700 vsize=865984 CPUtime=0.08
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 2879 0 1 0 6 2 0 0 18 0 9 0 44115061 886767616 3235 996147200 134512640 134550740 4294955952 18446744073709551615 103650450 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.302141 s]
/proc/loadavg: 2.58 2.63 2.58 4/82 18702
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=866236 CPUtime=0.29
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 5789 0 1 0 25 4 0 0 18 0 9 0 44115060 887025664 5164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216559 5164 1948 9 0 211087 0
[pid=18702/tid=18703] ppid=18700 vsize=866236 CPUtime=0.28
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 4884 0 1 0 25 3 0 0 18 0 9 0 44115061 887025664 5164 996147200 134512640 134550740 4294955952 18446744073709551615 102307482 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866236

[startup+0.702192 s]
/proc/loadavg: 2.58 2.63 2.58 4/82 18702
/proc/meminfo: memFree=1827360/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=866544 CPUtime=0.69
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 8121 0 1 0 64 5 0 0 18 0 9 0 44115060 887341056 7492 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216636 7492 1967 9 0 211164 0
[pid=18702/tid=18703] ppid=18700 vsize=866544 CPUtime=0.6
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 7102 0 1 0 56 4 0 0 20 0 9 0 44115061 887341056 7492 996147200 134512640 134550740 4294955952 18446744073709551615 102826755 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866544

[startup+1.5023 s]
/proc/loadavg: 2.58 2.63 2.58 4/91 18711
/proc/meminfo: memFree=1787224/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=1.48
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 20887 0 1 0 135 13 0 0 18 0 9 0 44115060 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 20223 2004 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=1.21
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15750 0 1 0 111 10 0 0 25 0 9 0 44115061 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4126533255 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=0.07
/proc/18702/task/18705/stat : 18705 (java) S 18700 18702 17651 0 -1 64 3812 0 0 0 6 1 0 0 16 0 9 0 44115063 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.17
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 44115065 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 20223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867456

[startup+3.10149 s]
/proc/loadavg: 2.58 2.63 2.58 3/91 18711
/proc/meminfo: memFree=1753816/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=3.06
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 24276 0 1 0 292 14 0 0 18 0 9 0 44115060 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 23609 2006 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=2.65
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15789 0 1 0 255 10 0 0 25 0 9 0 44115061 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4126895458 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=0.19
/proc/18702/task/18705/stat : 18705 (java) S 18700 18702 17651 0 -1 64 7149 0 0 0 17 2 0 0 17 0 9 0 44115063 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.19
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 642 0 0 0 19 0 0 0 16 0 9 0 44115065 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 23609 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867456

[startup+6.3029 s]
/proc/loadavg: 2.53 2.62 2.57 3/91 18711
/proc/meminfo: memFree=1732504/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=6.23
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 26220 0 1 0 606 17 0 0 18 0 9 0 44115060 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 25549 2006 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=5.67
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15793 0 1 0 555 12 0 0 25 0 9 0 44115061 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4126896688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=0.31
/proc/18702/task/18705/stat : 18705 (java) S 18700 18702 17651 0 -1 64 9062 0 0 0 28 3 0 0 16 0 9 0 44115063 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.22
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 669 0 0 0 22 0 0 0 16 0 9 0 44115065 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 25549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867456

[startup+12.7017 s]
/proc/loadavg: 2.49 2.61 2.57 3/91 18711
/proc/meminfo: memFree=1726296/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=12.58
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 27721 0 1 0 1237 21 0 0 18 0 9 0 44115060 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 27046 2007 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=11.88
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15799 0 1 0 1173 15 0 0 25 0 9 0 44115061 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4126899191 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=0.4
/proc/18702/task/18705/stat : 18705 (java) S 18700 18702 17651 0 -1 64 10535 0 0 0 37 3 0 0 16 0 9 0 44115063 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.26
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 691 0 0 0 26 0 0 0 15 0 9 0 44115065 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 27046 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 867456

[startup+25.5023 s]
/proc/loadavg: 2.38 2.58 2.56 3/91 18711
/proc/meminfo: memFree=1696216/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867544 CPUtime=25.22
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 36081 0 1 0 2493 29 0 0 18 0 9 0 44115060 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216886 35210 2640 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867544 CPUtime=23.62
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15869 0 1 0 2343 19 0 0 25 0 9 0 44115061 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4126895424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867544 CPUtime=1.25
/proc/18702/task/18705/stat : 18705 (java) S 18700 18702 17651 0 -1 64 18796 0 0 0 117 8 0 0 16 0 9 0 44115063 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44115063 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867544 CPUtime=0.33
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 720 0 0 0 32 1 0 0 16 0 9 0 44115065 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888365056 35210 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867544

[startup+51.1026 s]
/proc/loadavg: 2.25 2.53 2.54 3/91 18711
/proc/meminfo: memFree=1696280/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867544 CPUtime=50.53
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 36090 0 1 0 5014 39 0 0 18 0 9 0 44115060 888365056 35217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216886 35217 2640 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867544 CPUtime=48.9
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15871 0 1 0 4862 28 0 0 25 0 9 0 44115061 888365056 35217 996147200 134512640 134550740 4294955952 18446744073709551615 4127228282 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867544 CPUtime=1.25

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

/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867544 CPUtime=0.35
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 731 0 0 0 34 1 0 0 16 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.03
Current children cumulated vsize (KiB) 867544

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

[startup+652.702 s]
/proc/loadavg: 2.00 2.06 2.26 3/91 18711
/proc/meminfo: memFree=1695704/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867544 CPUtime=646.34
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 36094 0 1 0 64555 79 0 0 18 0 9 0 44115060 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216886 35221 2640 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867544 CPUtime=644.71
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15871 0 1 0 64403 68 0 0 25 0 9 0 44115061 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4127216515 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867544 CPUtime=1.25
/proc/18702/task/18705/stat : 18705 (java) S 18700 18702 17651 0 -1 64 18796 0 0 0 117 8 0 0 16 0 9 0 44115063 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44115063 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867544 CPUtime=0.35
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 731 0 0 0 34 1 0 0 16 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867544 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888365056 35221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 646.34
Current children cumulated vsize (KiB) 867544

[startup+655.902 s]
/proc/loadavg: 2.00 2.06 2.26 3/91 18711
/proc/meminfo: memFree=1675352/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=649.51
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 53888 0 1 0 64866 85 0 0 18 0 9 0 44115060 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 52946 2619 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=647.59
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15950 0 1 0 64691 68 0 0 25 0 9 0 44115061 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=1.48
/proc/18702/task/18705/stat : 18705 (java) R 18700 18702 17651 0 -1 64 36466 0 0 0 134 14 0 0 16 0 9 0 44115063 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44115063 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.4
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 758 0 0 0 39 1 0 0 15 0 9 0 44115065 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 52946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 649.51
Current children cumulated vsize (KiB) 867456

[startup+659.103 s]
/proc/loadavg: 2.08 2.07 2.27 4/91 18711
/proc/meminfo: memFree=1037400/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=652.67
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 200408 0 1 0 65125 142 0 0 18 0 9 0 44115060 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 199450 2618 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=647.98
/proc/18702/task/18703/stat : 18703 (java) R 18700 18702 17651 0 -1 64 15965 0 1 0 64730 68 0 0 25 0 9 0 44115061 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=4.27
/proc/18702/task/18705/stat : 18705 (java) R 18700 18702 17651 0 -1 64 182971 0 0 0 356 71 0 0 17 0 9 0 44115063 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.4
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 758 0 0 0 39 1 0 0 15 0 9 0 44115065 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 652.67
Current children cumulated vsize (KiB) 867456

[startup+660.702 s]
/proc/loadavg: 2.08 2.07 2.27 4/91 18711
/proc/meminfo: memFree=1037400/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=654.26
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 200412 0 1 0 65284 142 0 0 18 0 9 0 44115060 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 199452 2618 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=647.98
/proc/18702/task/18703/stat : 18703 (java) S 18700 18702 17651 0 -1 64 15967 0 1 0 64730 68 0 0 24 0 9 0 44115061 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=5.85
/proc/18702/task/18705/stat : 18705 (java) R 18700 18702 17651 0 -1 64 182973 0 0 0 514 71 0 0 19 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 104180111 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.4
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 758 0 0 0 39 1 0 0 15 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 654.26
Current children cumulated vsize (KiB) 867456

[startup+661.501 s]
/proc/loadavg: 2.08 2.07 2.27 3/91 18711
/proc/meminfo: memFree=1037400/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=655.05
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 200412 0 1 0 65363 142 0 0 18 0 9 0 44115060 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 199452 2618 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=647.99
/proc/18702/task/18703/stat : 18703 (java) S 18700 18702 17651 0 -1 64 15967 0 1 0 64731 68 0 0 16 0 9 0 44115061 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=6.63
/proc/18702/task/18705/stat : 18705 (java) R 18700 18702 17651 0 -1 64 182973 0 0 0 592 71 0 0 21 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 103735776 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.4
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 758 0 0 0 39 1 0 0 15 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 655.05
Current children cumulated vsize (KiB) 867456

[startup+661.701 s]
/proc/loadavg: 2.08 2.07 2.27 3/91 18711
/proc/meminfo: memFree=1037400/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=867456 CPUtime=655.25
/proc/18702/stat : 18702 (java) S 18700 18702 17651 0 -1 0 200412 0 1 0 65383 142 0 0 18 0 9 0 44115060 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 216864 199452 2618 9 0 211392 0
[pid=18702/tid=18703] ppid=18700 vsize=867456 CPUtime=647.99
/proc/18702/task/18703/stat : 18703 (java) S 18700 18702 17651 0 -1 64 15967 0 1 0 64731 68 0 0 16 0 9 0 44115061 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18705] ppid=18700 vsize=867456 CPUtime=6.83
/proc/18702/task/18705/stat : 18705 (java) R 18700 18702 17651 0 -1 64 182973 0 0 0 612 71 0 0 21 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18706] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18706/stat : 18706 (java) S 18700 18702 17651 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18707] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18707/stat : 18707 (java) S 18700 18702 17651 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44115063 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18708] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18708/stat : 18708 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18709] ppid=18700 vsize=867456 CPUtime=0.4
/proc/18702/task/18709/stat : 18709 (java) S 18700 18702 17651 0 -1 64 758 0 0 0 39 1 0 0 15 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18710] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18710/stat : 18710 (java) S 18700 18702 17651 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18702/tid=18711] ppid=18700 vsize=867456 CPUtime=0
/proc/18702/task/18711/stat : 18711 (java) S 18700 18702 17651 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44115065 888274944 199452 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 655.25
Current children cumulated vsize (KiB) 867456

[startup+661.801 s]
/proc/loadavg: 2.08 2.07 2.27 3/91 18711
/proc/meminfo: memFree=1037400/2055920 swapFree=4192812/4192956
[pid=18702] ppid=18700 vsize=0 CPUtime=655.35
/proc/18702/stat : 18702 (java) Z 18700 18702 17651 0 -1 12 200420 0 1 0 65385 150 0 0 16 0 2 0 44115060 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18702/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 655.35
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 661.849
CPU time (s): 655.398
CPU user time (s): 653.851
CPU system time (s): 1.54776
CPU usage (%): 99.0253
Max. virtual memory (cumulated for all children) (KiB): 867548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 653.851
system time used= 1.54776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200420
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= 15135
involuntary context switches= 32933

runsolver used 0.841872 second user time and 2.38764 second system time

The end

Launcher Data (download as text)

Begin job on node54 at 2008-07-12 16:49:14
IDJOB=1112797
IDBENCH=61476
IDSOLVER=359
FILE ID=node54/1112797-1215874154
PBS_JOBID= 7903489
Free space on /tmp= 66524 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp15/normalized-fapp15-3000-2.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-1112797-1215874154/watcher-1112797-1215874154 -o /tmp/evaluation-result-1112797-1215874154/solver-1112797-1215874154 -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-1112797-1215874154.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a7377e3e2481e38a6b40d9be07bb2cda
RANDOM SEED=566564596

node54.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.235
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.235
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:       1827840 kB
Buffers:         51164 kB
Cached:          89460 kB
SwapCached:          0 kB
Active:         103496 kB
Inactive:        67656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827840 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6752 kB
Writeback:           0 kB
Mapped:          50732 kB
Slab:            41980 kB
Committed_AS:   209400 kB
PageTables:       1888 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= 66520 MiB
End job on node54 at 2008-07-12 17:00:16