Trace number 1112798

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 837.628 838.258

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.01/0.08	
0.01/0.08	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-ddeg.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1112798-1215874157.xml
0.27/0.33	   
0.27/0.33	   domains being loaded...
0.27/0.37	   
0.27/0.37	   variables being loaded...
0.57/0.63	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182  nbTotalValues=515606
0.57/0.63	       =>  wckTime=0.377  cpuTime=0.26  mem=27M453
0.57/0.63	   
0.57/0.63	   predicates being loaded...
0.57/0.69	   
0.57/0.70	   constraints being loaded...
10.67/10.78	   
10.67/10.78	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 56M695)
15.66/15.72	     nbConstraints=33021  nbConvertedConstraints=1387  nbConvertConstraintsChecks=39738167  nbExtensionStructures=1105
15.66/15.72	     nbSharedExtensionStructures=924  nbConflictsStructures=2491  nbSharedConflictsStructures=1231
15.66/15.72	     nbUnbuiltConflictsStructures=3159  nbSharedBinaryRepresentations=348071  nbEvaluationManagers=4545
15.66/15.72	     nbSharedEvaluationManagers=27089  minDegree=3  maxDegree=29  minArity=2  maxArity=2
15.66/15.72	       =>  wckTime=15.465  cpuTime=14.45  mem=75M145
16.07/16.16	   
16.07/16.16	   solver LocalSearchSolver being built... 
16.16/16.20	       =>  wckTime=15.946  cpuTime=14.49  mem=67M12
16.27/16.31	
16.27/16.31	s SATISFIABLE
16.27/16.31	o 7259
16.27/16.34	o 7252
16.27/16.36	o 7241
16.27/16.38	o 7234
16.38/16.41	o 7228
16.38/16.43	o 7222
16.38/16.44	o 7217
16.38/16.46	o 7212
16.38/16.47	o 7207
16.38/16.49	o 7197
16.47/16.51	o 7187
16.47/16.53	o 7179
16.47/16.55	o 7172
16.47/16.57	o 7165
16.47/16.58	o 7159
16.57/16.60	o 7153
16.57/16.62	o 7148
16.57/16.64	o 7144
16.57/16.65	o 7140
16.57/16.67	o 7136
16.57/16.68	o 7133
16.57/16.69	o 7130
16.67/16.71	o 7127
16.67/16.72	o 7124
16.67/16.73	o 7122
16.67/16.74	o 7120
16.67/16.76	o 7118
16.67/16.77	o 7117
16.76/16.80	o 7114
16.76/16.82	o 7104
16.76/16.84	o 7096
16.76/16.86	o 7088
16.76/16.88	o 7080
16.86/16.91	o 7073
16.86/16.93	o 7066
16.86/16.95	o 7059
16.86/16.97	o 7053
16.86/16.99	o 7047
16.96/17.01	o 7041
16.96/17.03	o 7036
16.96/17.04	o 7031
16.96/17.06	o 7027
16.96/17.08	o 7023
16.96/17.10	o 7019
17.06/17.12	o 7015
17.06/17.13	o 7011
17.06/17.15	o 7008
17.06/17.17	o 7005
17.06/17.18	o 7002
17.06/17.19	o 6999
17.16/17.20	o 6997
17.16/17.22	o 6995
17.16/17.23	o 6993
17.16/17.24	o 6991
17.16/17.26	o 6989
17.16/17.29	o 6981
17.26/17.31	o 6976
17.26/17.32	o 6974
17.26/17.36	o 6969
17.26/17.39	o 6962
17.37/17.43	o 6955
17.37/17.46	o 6948
17.37/17.49	o 6942
17.47/17.52	o 6936
17.47/17.55	o 6930
17.47/17.58	o 6924
17.57/17.62	o 6919
17.57/17.65	o 6914
17.57/17.68	o 6909
17.67/17.72	o 6904
17.67/17.75	o 6899
17.67/17.77	o 6894
17.77/17.81	o 6889
17.77/17.84	o 6884
17.77/17.87	o 6879
17.86/17.90	o 6875
17.86/17.92	o 6871
17.86/17.95	o 6867
17.86/17.97	o 6863
17.96/18.00	o 6859
17.96/18.03	o 6855
17.96/18.05	o 6852
17.96/18.08	o 6849
18.06/18.11	o 6846
18.06/18.13	o 6843
18.06/18.16	o 6840
18.06/18.18	o 6837
18.16/18.20	o 6832
18.16/18.22	o 6829
18.16/18.24	o 6826
18.16/18.26	o 6823
18.16/18.28	o 6820
18.26/18.30	o 6817
18.26/18.31	o 6814
18.26/18.34	o 6811
18.26/18.36	o 6808
18.26/18.38	o 6806
18.26/18.39	o 6804
18.36/18.41	o 6802
18.36/18.43	o 6800
18.36/18.45	o 6799
18.36/18.46	o 6798
18.36/18.47	o 6797
18.36/18.49	o 6793
18.46/18.51	o 6788
18.46/18.53	o 6787
18.46/18.55	o 6783
18.46/18.57	o 6778
18.46/18.58	o 6775
18.46/18.60	o 6772
18.56/18.62	o 6766
18.56/18.64	o 6763
18.56/18.66	o 6760
18.66/18.73	o 6758
18.66/18.75	o 6753
18.66/18.78	o 6749
18.75/18.81	o 6746
18.75/18.84	o 6744
18.75/18.88	o 6740
18.85/18.93	o 6732
18.85/18.98	o 6725
18.95/19.03	o 6721
18.95/19.07	o 6718
19.05/19.11	o 6713
19.05/19.16	o 6706
19.16/19.20	o 6699
19.16/19.25	o 6692
19.16/19.30	o 6686
19.26/19.34	o 6680
19.26/19.39	o 6678
19.36/19.45	o 6672
19.36/19.49	o 6666
19.46/19.54	o 6660
19.46/19.59	o 6654
19.56/19.64	o 6648
19.56/19.69	o 6642
19.66/19.73	o 6636
19.66/19.78	o 6630
19.76/19.82	o 6629
19.76/19.87	o 6623
19.86/19.92	o 6618
19.86/19.96	o 6613
19.96/20.01	o 6608
19.96/20.05	o 6601
19.96/20.10	o 6596
20.06/20.14	o 6591
20.06/20.18	o 6586
20.15/20.22	o 6581
20.15/20.26	o 6579
20.25/20.31	o 6574
20.25/20.36	o 6570
20.35/20.40	o 6566
20.35/20.44	o 6562
20.35/20.48	o 6554
20.45/20.52	o 6550
20.45/20.56	o 6546
20.55/20.60	o 6542
20.55/20.64	o 6538
20.55/20.68	o 6534
20.65/20.72	o 6530
20.65/20.76	o 6526
20.65/20.80	o 6522
20.76/20.83	o 6518
20.76/20.87	o 6514
20.86/20.91	o 6510
20.86/20.94	o 6506
20.86/20.98	o 6503
20.95/21.02	o 6500
20.95/21.06	o 6497
20.95/21.09	o 6494
21.05/21.13	o 6491
21.05/21.17	o 6488
21.15/21.20	o 6485
21.15/21.23	o 6482
21.15/21.27	o 6479
21.25/21.30	o 6476
21.25/21.33	o 6473
21.25/21.36	o 6471
21.25/21.39	o 6469
21.35/21.42	o 6467
21.35/21.45	o 6465
21.35/21.47	o 6463
21.45/21.50	o 6461
21.45/21.52	o 6459
21.45/21.55	o 6457
21.45/21.57	o 6455
21.45/21.60	o 6453
21.55/21.62	o 6451
21.55/21.64	o 6450
21.55/21.66	o 6449
21.55/21.69	o 6448
21.65/21.71	o 6447
21.65/21.72	o 6446
21.75/21.84	o 6442
21.75/21.85	o 6439
21.75/21.87	o 6431
21.75/21.88	o 6425
21.75/21.90	o 6421
21.85/21.93	o 6417
21.85/21.95	o 6414
21.85/21.97	o 6408
21.85/21.98	o 6404
21.85/22.00	o 6403
21.95/22.02	o 6401
21.95/22.04	o 6395
21.95/22.06	o 6394
21.95/22.08	o 6389
21.95/22.09	o 6382
22.04/22.11	o 6379
22.04/22.12	o 6376
22.04/22.14	o 6375
22.04/22.15	o 6373
22.04/22.17	o 6369
22.04/22.18	o 6368
22.04/22.20	o 6367
22.14/22.22	o 6365
22.14/22.24	o 6361
22.14/22.26	o 6356
22.14/22.27	o 6354
22.24/22.30	o 6351
22.24/22.32	o 6349
22.24/22.33	o 6347
22.24/22.35	o 6341
22.24/22.38	o 6336
22.24/22.39	o 6331
22.34/22.42	o 6327
22.34/22.44	o 6324
22.34/22.46	o 6318
22.34/22.49	o 6315
22.44/22.53	o 6310
22.44/22.56	o 6305
22.44/22.57	o 6301
22.44/22.59	o 6296
22.54/22.61	o 6290
22.54/22.66	o 6284
22.65/22.71	o 6278
22.65/22.76	o 6272
22.75/22.82	o 6267
22.75/22.87	o 6262
22.85/22.92	o 6257
22.85/22.98	o 6252
22.96/23.04	o 6247
22.96/23.09	o 6242
23.06/23.14	o 6237
23.06/23.19	o 6232
23.15/23.24	o 6229
23.15/23.29	o 6224
23.25/23.34	o 6219
23.25/23.39	o 6214
23.35/23.44	o 6210
23.35/23.50	o 6206
23.45/23.54	o 6202
23.45/23.59	o 6198
23.55/23.64	o 6194
23.55/23.68	o 6190
23.65/23.72	o 6187
23.65/23.77	o 6183
23.75/23.82	o 6179
23.75/23.86	o 6175
23.85/23.91	o 6171
23.85/23.95	o 6167
23.85/23.99	o 6163
23.95/24.03	o 6159
23.95/24.07	o 6155
24.05/24.11	o 6151
24.05/24.15	o 6148
24.05/24.19	o 6145
24.15/24.22	o 6142
24.15/24.26	o 6139
24.25/24.30	o 6136
24.25/24.34	o 6133
24.25/24.37	o 6130
24.35/24.40	o 6127
24.35/24.44	o 6124
24.35/24.47	o 6121
24.44/24.51	o 6118
24.44/24.55	o 6115
24.44/24.58	o 6112
24.54/24.64	o 6111
24.54/24.67	o 6104
24.64/24.70	o 6102
24.64/24.73	o 6100
24.64/24.77	o 6098
24.64/24.79	o 6096
24.74/24.82	o 6094
24.74/24.85	o 6090
24.74/24.88	o 6082
24.84/24.91	o 6080
24.84/24.93	o 6078
24.84/24.96	o 6076
24.84/24.98	o 6074
24.94/25.00	o 6072
24.94/25.03	o 6070
24.94/25.05	o 6068
24.94/25.07	o 6067
24.94/25.09	o 6066
25.04/25.11	o 6065
25.04/25.13	o 6064
25.04/25.15	o 6063
25.04/25.17	o 6062
25.04/25.20	o 6061
25.14/25.22	o 6060
25.14/25.24	o 6059
25.34/25.42	o 6053
25.34/25.44	o 6052
25.34/25.45	o 6047
25.34/25.47	o 6043
25.34/25.50	o 6040
25.45/25.51	o 6035
25.45/25.53	o 6032
25.45/25.55	o 6030
25.45/25.56	o 6027
25.45/25.58	o 6025
25.55/25.60	o 6019
25.55/25.62	o 6017
25.55/25.64	o 6012
25.55/25.67	o 6007
25.64/25.75	o 6005
25.64/25.77	o 6002
25.64/25.79	o 6000
25.74/25.81	o 5996
25.74/25.83	o 5995
25.74/25.85	o 5991
25.74/25.88	o 5989
25.74/25.89	o 5988
25.84/25.91	o 5987
25.84/25.94	o 5985
25.84/25.96	o 5981
25.94/26.00	o 5980
25.94/26.02	o 5975
25.94/26.05	o 5972
25.94/26.09	o 5969
26.04/26.11	o 5962
26.04/26.13	o 5958
26.04/26.15	o 5955
26.04/26.17	o 5953
26.14/26.20	o 5951
26.14/26.24	o 5948
26.14/26.27	o 5946
26.14/26.29	o 5943
26.24/26.32	o 5938
26.24/26.35	o 5937
26.24/26.37	o 5934
26.34/26.40	o 5931
26.34/26.42	o 5925
26.34/26.45	o 5919
26.34/26.49	o 5916
26.44/26.53	o 5913
26.44/26.56	o 5909
26.44/26.59	o 5904
26.54/26.62	o 5901
26.54/26.65	o 5897
26.54/26.68	o 5894
26.63/26.70	o 5893
26.63/26.73	o 5890
26.63/26.76	o 5886
26.63/26.78	o 5883
26.74/26.81	o 5877
26.74/26.83	o 5875
26.74/26.86	o 5872
26.74/26.88	o 5871
26.84/26.92	o 5869
26.84/26.94	o 5866
26.84/26.96	o 5863
26.84/26.99	o 5862
26.94/27.01	o 5857
26.94/27.04	o 5853
26.94/27.07	o 5846
26.94/27.10	o 5840
27.04/27.12	o 5837
27.04/27.16	o 5832
27.04/27.18	o 5830
27.14/27.24	o 5827
27.14/27.28	o 5825
27.24/27.32	o 5824
27.24/27.35	o 5819
27.24/27.37	o 5818
27.34/27.46	o 5812
27.44/27.50	o 5806
27.44/27.57	o 5800
27.53/27.63	o 5799
27.63/27.76	o 5794
27.73/27.81	o 5793
27.73/27.89	o 5788
27.83/27.94	o 5786
27.93/28.01	o 5781
27.93/28.08	o 5776
28.03/28.14	o 5771
28.13/28.21	o 5766
28.13/28.28	o 5761
28.23/28.35	o 5756
28.33/28.42	o 5751
28.33/28.48	o 5746
28.43/28.54	o 5741
28.53/28.62	o 5737
28.53/28.69	o 5733
28.63/28.75	o 5729
28.73/28.82	o 5725
28.73/28.89	o 5721
28.82/28.95	o 5717
28.92/29.01	o 5713
28.92/29.08	o 5709
29.02/29.14	o 5705
29.02/29.20	o 5699
29.12/29.26	o 5695
29.23/29.32	o 5691
29.23/29.39	o 5687
29.33/29.45	o 5683
29.43/29.51	o 5679
29.43/29.54	o 5678
29.53/29.60	o 5674
29.53/29.66	o 5670
29.63/29.71	o 5669
29.63/29.77	o 5665
29.73/29.82	o 5661
29.73/29.88	o 5658
29.83/29.94	o 5655
29.83/29.99	o 5652
29.93/30.05	o 5649
30.03/30.11	o 5646
30.03/30.17	o 5642
30.13/30.22	o 5641
30.13/30.27	o 5638
30.23/30.32	o 5635
30.23/30.37	o 5632
30.33/30.42	o 5629
30.33/30.47	o 5626
30.43/30.52	o 5625
30.43/30.57	o 5622
30.52/30.62	o 5619
30.52/30.68	o 5616
30.63/30.73	o 5614
30.63/30.78	o 5612
30.73/30.82	o 5610
30.73/30.87	o 5608
30.82/30.92	o 5605
30.82/30.96	o 5603
30.92/31.01	o 5601
30.92/31.05	o 5599
31.02/31.14	o 5598
31.02/31.18	o 5596
31.12/31.22	o 5594
31.12/31.26	o 5592
31.22/31.30	o 5590
31.22/31.34	o 5588
31.22/31.39	o 5586
31.32/31.42	o 5584
31.32/31.46	o 5583
31.42/31.50	o 5582
31.42/31.54	o 5581
31.42/31.58	o 5580
31.52/31.61	o 5579
31.52/31.65	o 5578
31.52/31.68	o 5572
31.62/31.72	o 5571
31.62/31.75	o 5570
31.73/31.81	o 5569
31.73/31.84	o 5568
31.73/31.87	o 5567
31.92/32.07	o 5565
32.02/32.12	o 5563
32.02/32.17	o 5561
32.02/32.19	o 5559
32.12/32.23	o 5555
32.12/32.25	o 5554
32.12/32.28	o 5551
32.22/32.31	o 5550
32.22/32.34	o 5546
32.22/32.37	o 5544
32.32/32.40	o 5543
32.32/32.43	o 5538
32.32/32.46	o 5536
32.42/32.52	o 5531
32.42/32.55	o 5528
32.52/32.60	o 5527
32.52/32.63	o 5524
32.52/32.67	o 5521
32.52/32.69	o 5518
32.61/32.72	o 5514
32.61/32.74	o 5511
32.61/32.77	o 5509
32.71/32.80	o 5506
32.71/32.83	o 5504
32.71/32.86	o 5501
32.71/32.90	o 5498
32.81/32.92	o 5496
32.81/32.95	o 5493
32.81/32.97	o 5489
32.81/33.00	o 5486
32.92/33.02	o 5484
32.92/33.05	o 5481
32.92/33.08	o 5478
33.02/33.10	o 5477
33.02/33.13	o 5476
33.02/33.16	o 5474
33.02/33.18	o 5473
33.12/33.21	o 5470
33.12/33.23	o 5468
33.12/33.26	o 5465
33.12/33.29	o 5462
33.21/33.34	o 5459
33.21/33.37	o 5456
33.31/33.40	o 5454
33.31/33.43	o 5451
33.31/33.49	o 5449
33.41/33.52	o 5445
33.41/33.55	o 5440
33.41/33.58	o 5436
33.51/33.61	o 5433
33.51/33.64	o 5429
33.51/33.67	o 5427
33.61/33.70	o 5424
33.61/33.73	o 5421
33.61/33.75	o 5420
33.71/33.82	o 5416
33.71/33.88	o 5414
33.81/33.90	o 5411
33.81/33.93	o 5409
33.81/33.96	o 5407
33.81/33.98	o 5402
33.92/34.01	o 5398
33.92/34.04	o 5393
33.92/34.07	o 5388
34.02/34.13	o 5385
34.02/34.16	o 5382
34.02/34.19	o 5379
34.11/34.21	o 5375
34.11/34.25	o 5372
34.11/34.28	o 5369
34.21/34.31	o 5366
34.21/34.37	o 5361
34.31/34.40	o 5356
34.31/34.43	o 5352
34.31/34.47	o 5349
34.41/34.50	o 5348
34.41/34.53	o 5346
34.41/34.56	o 5344
34.41/34.60	o 5341
34.51/34.63	o 5339
34.51/34.66	o 5337
34.61/34.73	o 5332
34.61/34.76	o 5331
34.61/34.80	o 5326
34.71/34.83	o 5323
34.71/34.86	o 5318
34.71/34.89	o 5313
34.80/34.92	o 5312
34.80/34.95	o 5309
34.80/34.99	o 5307
34.90/35.03	o 5304
34.90/35.06	o 5301
34.90/35.10	o 5298
35.01/35.14	o 5296
35.01/35.17	o 5294
35.11/35.20	o 5292
35.11/35.24	o 5287
35.11/35.27	o 5286
35.21/35.30	o 5283
35.21/35.34	o 5279
35.21/35.37	o 5276
35.41/35.50	o 5272
35.41/35.54	o 5270
35.41/35.57	o 5265
35.51/35.60	o 5263
35.51/35.63	o 5260
35.51/35.67	o 5258
35.61/35.71	o 5256
35.71/35.82	o 5253
35.71/35.86	o 5252
35.71/35.89	o 5247
35.81/35.96	o 5244
35.91/36.04	o 5239
35.91/36.07	o 5238
36.01/36.14	o 5235
36.01/36.17	o 5232
36.11/36.25	o 5231
36.11/36.28	o 5225
36.21/36.32	o 5222
36.31/36.46	o 5218
36.41/36.53	o 5216
36.41/36.57	o 5215
36.41/36.60	o 5211
36.51/36.63	o 5206
36.51/36.66	o 5205
36.61/36.73	o 5203
36.61/36.77	o 5202
36.71/36.82	o 5199
36.71/36.86	o 5194
36.81/36.90	o 5192
36.81/36.94	o 5190
36.81/36.99	o 5189
36.90/37.08	o 5185
37.00/37.14	o 5180
37.10/37.21	o 5176
37.10/37.26	o 5172
37.21/37.32	o 5168
37.21/37.39	o 5164
37.31/37.44	o 5163
37.40/37.51	o 5159
37.40/37.57	o 5155
37.50/37.64	o 5152
37.50/37.68	o 5147
37.60/37.75	o 5146
37.70/37.81	o 5143
37.70/37.87	o 5140
37.80/37.94	o 5137
37.90/38.00	o 5134
37.90/38.06	o 5131
38.00/38.12	o 5129
38.00/38.18	o 5125
38.10/38.24	o 5122
38.20/38.31	o 5119
38.20/38.37	o 5116
38.30/38.43	o 5113
38.30/38.49	o 5110
38.41/38.56	o 5108
38.50/38.62	o 5106
38.50/38.68	o 5105
38.60/38.74	o 5103
38.70/38.86	o 5101
38.80/38.92	o 5099
38.80/38.98	o 5097
38.90/39.09	o 5096
39.00/39.15	o 5094
39.10/39.21	o 5092
39.10/39.27	o 5090
39.20/39.33	o 5084
39.20/39.39	o 5082
39.30/39.50	o 5080
39.40/39.55	o 5078
39.50/39.60	o 5076
39.50/39.66	o 5074
39.60/39.71	o 5072
39.60/39.77	o 5067
39.70/39.82	o 5065
39.70/39.87	o 5063
39.79/39.93	o 5061
39.79/39.99	o 5060
39.89/40.04	o 5059
39.89/40.10	o 5058
40.00/40.14	o 5057
40.00/40.19	o 5051
40.10/40.24	o 5050
40.10/40.29	o 5049
40.20/40.34	o 5048
40.20/40.39	o 5047
40.30/40.44	o 5046
40.30/40.49	o 5045
40.40/40.54	o 5044
40.40/40.59	o 5043
40.51/40.64	o 5042
40.51/40.68	o 5041
40.61/40.73	o 5040
40.80/40.90	o 5038
40.80/40.99	o 5034
41.00/41.15	o 5033
41.10/41.23	o 5032
41.40/41.51	o 5030
41.40/41.55	o 5028
41.40/41.59	o 5025
41.50/41.63	o 5023
41.60/41.77	o 5020
41.70/41.81	o 5018
41.70/41.84	o 5017
41.70/41.89	o 5014
41.80/41.92	o 5009
41.80/41.96	o 5006
41.90/42.00	o 5005
41.90/42.05	o 5003
41.90/42.09	o 5001
42.00/42.13	o 4997
42.00/42.18	o 4996
42.10/42.22	o 4995
42.10/42.26	o 4994
42.20/42.30	o 4993
42.20/42.39	o 4989
42.30/42.43	o 4985
42.30/42.47	o 4982
42.40/42.51	o 4979
42.40/42.55	o 4976
42.40/42.59	o 4973
42.50/42.63	o 4971
42.50/42.68	o 4967
42.60/42.72	o 4962
42.70/42.84	o 4959
42.70/42.88	o 4956
42.80/42.92	o 4952
42.80/42.96	o 4951
42.89/43.00	o 4947
42.89/43.05	o 4942
42.89/43.08	o 4938
42.99/43.12	o 4935
42.99/43.16	o 4929
43.09/43.20	o 4926
43.09/43.24	o 4924
43.19/43.32	o 4921
43.19/43.35	o 4917
43.19/43.39	o 4914
43.29/43.43	o 4911
43.29/43.47	o 4906
43.39/43.51	o 4903
43.39/43.55	o 4901
43.39/43.59	o 4900
43.50/43.63	o 4897
43.50/43.67	o 4891
43.60/43.71	o 4887
43.60/43.75	o 4883
43.70/43.84	o 4881
43.70/43.88	o 4879
43.80/43.92	o 4874
43.80/44.00	o 4871
43.90/44.04	o 4867
43.90/44.08	o 4866
44.00/44.12	o 4862
44.00/44.15	o 4859
44.00/44.19	o 4855
44.09/44.23	o 4853
44.19/44.31	o 4852
44.19/44.34	o 4851
44.29/44.42	o 4849
44.29/44.46	o 4847
44.39/44.53	o 4844
44.39/44.57	o 4842
44.49/44.60	o 4840
44.49/44.64	o 4839
44.49/44.67	o 4837
44.59/44.71	o 4835
44.59/44.75	o 4830
44.59/44.79	o 4828
44.69/44.83	o 4826
44.69/44.86	o 4825
44.69/44.90	o 4824
44.79/44.93	o 4822
44.79/44.97	o 4820
44.89/45.01	o 4818
44.89/45.05	o 4816
44.89/45.08	o 4815
44.99/45.12	o 4813
44.99/45.16	o 4812
44.99/45.20	o 4811
45.09/45.23	o 4809
45.09/45.27	o 4807
45.19/45.31	o 4806
45.19/45.34	o 4804
45.59/45.70	o 4803
45.59/45.75	o 4800
45.59/45.79	o 4797
45.69/45.83	o 4796
45.69/45.87	o 4792
45.79/45.91	o 4790
45.79/45.95	o 4789
45.89/46.03	o 4788
45.99/46.11	o 4785
45.99/46.19	o 4784
46.09/46.24	o 4782
46.09/46.28	o 4780
46.19/46.32	o 4778
46.19/46.36	o 4775
46.29/46.41	o 4772
46.29/46.49	o 4771
46.39/46.54	o 4767
46.39/46.59	o 4765
46.49/46.63	o 4762
46.49/46.68	o 4760
46.59/46.77	o 4756
46.69/46.82	o 4753
46.69/46.86	o 4751
46.79/46.91	o 4750
46.79/46.95	o 4746
46.99/47.15	o 4745
47.09/47.24	o 4742
47.09/47.29	o 4741
47.19/47.33	o 4739
47.28/47.48	o 4738
47.38/47.52	o 4737
47.48/47.61	o 4735
47.48/47.65	o 4732
47.48/47.70	o 4727
47.58/47.74	o 4723
47.58/47.79	o 4721
47.68/47.83	o 4717
47.68/47.88	o 4716
47.78/47.93	o 4714
47.88/48.02	o 4711
47.88/48.08	o 4708
47.98/48.18	o 4706
48.08/48.22	o 4705
48.08/48.27	o 4698
48.19/48.32	o 4696
48.19/48.36	o 4692
48.29/48.41	o 4689
48.29/48.45	o 4688
48.38/48.50	o 4687
48.38/48.55	o 4685
48.38/48.59	o 4684
48.48/48.68	o 4683
48.58/48.72	o 4678
48.58/48.76	o 4675
48.68/48.80	o 4672
48.68/48.85	o 4669
48.78/48.90	o 4668
48.78/48.94	o 4664
48.78/48.99	o 4661
48.88/49.04	o 4659
48.88/49.08	o 4655
48.98/49.13	o 4652
49.08/49.22	o 4648
49.18/49.31	o 4646
49.18/49.36	o 4644
49.18/49.40	o 4641
49.28/49.45	o 4640
49.28/49.50	o 4638
49.38/49.54	o 4632
49.38/49.59	o 4630
49.48/49.63	o 4627
49.48/49.68	o 4625
49.58/49.73	o 4623
49.58/49.77	o 4620
49.68/49.81	o 4618
49.68/49.86	o 4617
49.68/49.89	o 4616
49.78/49.97	o 4613
49.88/50.05	o 4612
49.88/50.09	o 4610
49.98/50.18	o 4607
50.08/50.26	o 4606
50.18/50.30	o 4605
50.18/50.33	o 4604
50.18/50.38	o 4601
50.28/50.43	o 4599
50.28/50.50	o 4598
50.39/50.54	o 4595
50.39/50.58	o 4592
50.49/50.62	o 4588
50.58/50.70	o 4585
50.58/50.75	o 4581
50.58/50.79	o 4580
50.68/50.83	o 4576
50.68/50.89	o 4572
50.78/50.95	o 4569
50.88/51.00	o 4566
50.88/51.06	o 4563
50.98/51.12	o 4561
50.98/51.18	o 4559
51.08/51.24	o 4557
51.08/51.29	o 4555
51.18/51.35	o 4553
51.28/51.41	o 4552
51.28/51.47	o 4550
51.38/51.53	o 4548
51.38/51.58	o 4547
51.48/51.63	o 4545
51.48/51.68	o 4543
51.58/51.74	o 4542
51.58/51.79	o 4540
51.68/51.84	o 4536
51.68/51.90	o 4534
51.78/51.95	o 4532
51.88/52.00	o 4531
51.98/52.11	o 4529
52.08/52.20	o 4528
52.08/52.25	o 4526
52.18/52.31	o 4525
52.18/52.35	o 4524
52.28/52.40	o 4523
52.28/52.45	o 4522
52.28/52.50	o 4521
52.38/52.54	o 4520
52.38/52.59	o 4519
52.48/52.63	o 4518
52.48/52.68	o 4517
52.68/52.81	o 4515
52.68/52.86	o 4513
53.17/53.36	o 4511
53.27/53.40	o 4510
53.27/53.48	o 4506
53.37/53.56	o 4504
53.47/53.64	o 4503
53.47/53.69	o 4502
53.57/53.73	o 4499
53.57/53.77	o 4497
53.67/53.81	o 4496
53.67/53.86	o 4492
53.67/53.90	o 4490
53.78/53.94	o 4487
53.78/53.99	o 4485
53.88/54.03	o 4484
53.88/54.08	o 4482
53.98/54.12	o 4481
53.98/54.17	o 4477
54.08/54.21	o 4475
54.08/54.26	o 4471
54.28/54.43	o 4469
54.28/54.49	o 4468
54.37/54.53	o 4467
54.47/54.62	o 4463
54.47/54.67	o 4462
54.57/54.72	o 4458
54.57/54.77	o 4456
54.67/54.82	o 4452
54.67/54.86	o 4451
54.78/54.91	o 4448
54.88/55.01	o 4443
54.88/55.09	o 4439
54.97/55.18	o 4434
55.07/55.23	o 4432
55.27/55.41	o 4429
55.27/55.47	o 4426
55.37/55.57	o 4423
55.47/55.62	o 4419
55.57/55.76	o 4415
55.67/55.81	o 4414
55.77/55.90	o 4413
55.77/55.95	o 4409
55.87/56.01	o 4406
55.87/56.05	o 4404
55.87/56.10	o 4399
55.97/56.14	o 4397
55.97/56.19	o 4395
56.07/56.29	o 4393
56.17/56.33	o 4389
56.17/56.38	o 4388
56.27/56.43	o 4386
56.37/56.57	o 4384
56.47/56.63	o 4381
56.67/56.88	o 4378
56.87/57.02	o 4375
56.98/57.12	o 4374
56.98/57.17	o 4372
57.08/57.23	o 4371
57.08/57.28	o 4370
57.17/57.34	o 4369
57.17/57.40	o 4367
57.37/57.50	o 4365
57.37/57.56	o 4364
57.47/57.61	o 4361
57.47/57.67	o 4358
57.57/57.72	o 4355
57.57/57.77	o 4353
57.67/57.82	o 4350
57.87/58.03	o 4348
57.97/58.19	o 4345
58.07/58.24	o 4342
58.07/58.29	o 4340
58.17/58.34	o 4337
58.27/58.45	o 4336
58.57/58.79	o 4333
58.77/58.90	o 4332
58.77/58.96	o 4329
58.86/59.01	o 4326
58.86/59.07	o 4322
58.96/59.12	o 4320
59.27/59.41	o 4319
59.27/59.47	o 4318
59.36/59.59	o 4317
59.46/59.65	o 4316
59.56/59.71	o 4313
59.56/59.77	o 4311
59.66/59.82	o 4310
59.66/59.88	o 4308
59.76/59.99	o 4307
59.86/60.06	o 4305
59.96/60.11	o 4304
60.06/60.23	o 4301
60.06/60.29	o 4299
60.16/60.35	o 4296
60.27/60.41	o 4294
60.27/60.47	o 4292
60.37/60.58	o 4291
60.46/60.63	o 4287
60.66/60.81	o 4286
60.76/60.92	o 4284
60.76/60.99	o 4281
60.86/61.04	o 4280
60.96/61.10	o 4276
60.96/61.16	o 4274
61.06/61.21	o 4273
61.56/61.78	o 4270
61.66/61.84	o 4267
61.76/61.90	o 4264
61.76/61.96	o 4260
61.86/62.07	o 4259
61.96/62.13	o 4258
61.96/62.19	o 4255
62.16/62.31	o 4252
62.16/62.36	o 4249
62.16/62.40	o 4247
62.26/62.46	o 4246
62.36/62.51	o 4242
62.36/62.57	o 4241
62.46/62.63	o 4238
62.46/62.69	o 4234
62.66/62.87	o 4232
62.76/62.92	o 4229
62.76/62.99	o 4227
63.26/63.43	o 4225
63.26/63.50	o 4221
63.46/63.69	o 4219
63.56/63.76	o 4218
63.67/63.82	o 4215
63.77/63.94	o 4213
63.87/64.00	o 4212
63.87/64.07	o 4208
63.96/64.13	o 4205
63.96/64.20	o 4203
64.06/64.26	o 4202
64.16/64.33	o 4201
64.26/64.45	o 4200
64.36/64.52	o 4198
64.36/64.58	o 4197
64.46/64.65	o 4196
64.56/64.71	o 4195
64.56/64.77	o 4192
64.66/64.83	o 4189
64.76/64.90	o 4188
64.76/64.97	o 4185
64.96/65.15	o 4183
65.06/65.22	o 4180
65.06/65.29	o 4178
65.16/65.36	o 4177
65.26/65.48	o 4173
65.46/65.66	o 4170
65.56/65.72	o 4169
65.56/65.79	o 4167
65.65/65.86	o 4164
65.76/65.93	o 4161
65.76/65.99	o 4160
65.95/66.12	o 4157
66.15/66.31	o 4154
66.15/66.38	o 4152
66.25/66.44	o 4149
66.35/66.51	o 4145
66.35/66.58	o 4144
66.45/66.65	o 4143
66.65/66.85	o 4140
66.75/66.92	o 4139
66.75/66.99	o 4135
66.85/67.06	o 4134
66.96/67.18	o 4132
67.05/67.25	o 4131
67.15/67.31	o 4129
67.25/67.44	o 4126
67.35/67.51	o 4124
67.45/67.64	o 4122
67.55/67.71	o 4121
67.55/67.78	o 4119
67.85/68.03	o 4118
67.95/68.16	o 4117
68.05/68.23	o 4114
68.25/68.42	o 4113
68.55/68.76	o 4110
68.65/68.89	o 4108
68.75/68.96	o 4106
68.85/69.03	o 4102
68.85/69.09	o 4100
68.95/69.16	o 4097
69.05/69.23	o 4092
69.05/69.30	o 4087
69.25/69.44	o 4085
69.35/69.58	o 4083
69.45/69.65	o 4082
69.55/69.71	o 4080
69.55/69.77	o 4078
69.65/69.84	o 4075
69.75/69.91	o 4073
69.95/70.11	o 4072
69.95/70.18	o 4071
70.06/70.25	o 4068
70.16/70.31	o 4067
70.16/70.38	o 4066
70.26/70.44	o 4064
70.36/70.51	o 4063
70.36/70.58	o 4061
70.55/70.70	o 4060
70.65/70.89	o 4058
70.75/70.95	o 4054
70.85/71.07	o 4051
70.95/71.13	o 4049
70.95/71.19	o 4045
71.05/71.25	o 4044
71.15/71.31	o 4041
71.26/71.44	o 4039
71.36/71.50	o 4037
71.36/71.56	o 4036
71.45/71.63	o 4034
71.75/71.94	o 4032
71.85/72.02	o 4029
71.85/72.10	o 4026
71.95/72.18	o 4023
72.05/72.26	o 4020
72.15/72.35	o 4017
72.25/72.44	o 4014
72.35/72.52	o 4011
72.45/72.61	o 4010
72.45/72.70	o 4008
72.55/72.78	o 4006
72.85/73.04	o 4005
72.95/73.13	o 4003
73.05/73.21	o 4001
73.15/73.38	o 4000
73.25/73.46	o 3998
73.35/73.55	o 3994
73.45/73.63	o 3992
73.55/73.72	o 3991
73.65/73.81	o 3990
73.65/73.89	o 3989
73.74/73.98	o 3988
73.84/74.06	o 3987
74.04/74.20	o 3984
74.04/74.29	o 3983
74.14/74.35	o 3981
74.24/74.47	o 3978
74.34/74.54	o 3976
74.45/74.62	o 3975
74.45/74.69	o 3974
74.56/74.77	o 3973
74.66/74.84	o 3972
74.75/74.92	o 3971
74.75/74.99	o 3970
75.35/75.56	o 3962
76.15/76.39	o 3961
76.25/76.46	o 3958
76.35/76.59	o 3957
76.45/76.65	o 3954
76.55/76.72	o 3953
76.55/76.78	o 3952
76.65/76.85	o 3950
76.94/77.19	o 3946
77.14/77.39	o 3942
77.34/77.53	o 3940
77.44/77.60	o 3939
77.64/77.80	o 3937
77.74/77.94	o 3935
77.94/78.15	o 3933
78.04/78.21	o 3932
78.04/78.28	o 3929
78.14/78.35	o 3927
78.44/78.62	o 3926
78.44/78.70	o 3925
78.53/78.77	o 3924
78.94/79.19	o 3923
79.04/79.25	o 3922
79.13/79.32	o 3918
79.13/79.39	o 3916
79.23/79.46	o 3914
79.33/79.53	o 3912
79.43/79.68	o 3910
79.53/79.75	o 3906
79.63/79.82	o 3902
79.63/79.89	o 3899
80.13/80.32	o 3897
80.73/80.90	o 3894
80.83/81.04	o 3893
80.93/81.11	o 3891
80.93/81.18	o 3888
81.33/81.59	o 3886
81.43/81.66	o 3884
81.53/81.73	o 3882
81.63/81.86	o 3880
81.84/82.00	o 3879
81.84/82.08	o 3878
81.94/82.15	o 3876
82.04/82.23	o 3874
82.14/82.30	o 3873
82.14/82.37	o 3870
82.24/82.44	o 3869
82.34/82.51	o 3868
82.53/82.72	o 3867
82.73/82.92	o 3865
82.73/83.00	o 3862
82.83/83.07	o 3859
83.13/83.37	o 3858
83.23/83.45	o 3854
83.34/83.53	o 3853
83.43/83.60	o 3851
83.43/83.68	o 3848
83.63/83.90	o 3847
83.73/83.98	o 3843
83.83/84.06	o 3840
83.93/84.14	o 3838
84.03/84.21	o 3836
84.03/84.29	o 3834
84.83/85.06	o 3832
84.93/85.15	o 3829
85.03/85.22	o 3826
85.13/85.31	o 3823
85.43/85.69	o 3820
85.53/85.77	o 3818
85.63/85.85	o 3817
85.73/85.93	o 3815
85.83/86.01	o 3814
85.83/86.08	o 3813
86.52/86.79	o 3812
86.73/86.94	o 3811
86.82/87.02	o 3809
86.92/87.10	o 3807
87.22/87.42	o 3805
87.32/87.51	o 3802
87.62/87.84	o 3801
88.13/88.35	o 3798
88.23/88.43	o 3795
88.33/88.51	o 3791
88.33/88.59	o 3787
88.73/88.91	o 3785
88.83/89.08	o 3784
89.03/89.24	o 3781
89.13/89.40	o 3780
89.23/89.48	o 3778
89.43/89.64	o 3776
89.53/89.72	o 3774
90.12/90.36	o 3773
90.42/90.62	o 3771
90.52/90.71	o 3770
90.52/90.79	o 3768
90.62/90.88	o 3767
90.72/90.97	o 3763
90.82/91.05	o 3759
90.92/91.14	o 3757
91.13/91.31	o 3756
91.13/91.39	o 3754
91.22/91.48	o 3753
91.42/91.65	o 3752
91.52/91.73	o 3751
91.62/91.82	o 3750
91.92/92.17	o 3749
92.02/92.25	o 3746
92.13/92.34	o 3745
92.23/92.43	o 3744
92.33/92.52	o 3742
92.53/92.77	o 3741
92.63/92.86	o 3738
92.83/93.03	o 3736
92.93/93.20	o 3733
93.03/93.29	o 3731
93.13/93.37	o 3728
93.72/93.97	o 3727
93.92/94.15	o 3726
94.02/94.24	o 3724
94.12/94.33	o 3722
94.22/94.42	o 3720
94.43/94.60	o 3719
94.43/94.69	o 3717
94.62/94.89	o 3716
94.72/94.99	o 3715
94.82/95.07	o 3710
94.92/95.17	o 3707
95.02/95.26	o 3704
95.12/95.35	o 3703
95.22/95.45	o 3702
95.32/95.55	o 3699
95.42/95.64	o 3698
95.62/95.84	o 3695
95.72/95.93	o 3693
95.82/96.03	o 3692
96.12/96.32	o 3690
96.92/97.19	o 3689
97.02/97.29	o 3688
97.12/97.38	o 3686
97.62/97.88	o 3684
97.72/97.98	o 3682
98.22/98.49	o 3681
98.32/98.59	o 3678
98.42/98.70	o 3677
98.52/98.79	o 3676
98.92/99.18	o 3674
99.12/99.38	o 3673
99.32/99.58	o 3671
99.42/99.68	o 3669
99.61/99.88	o 3667
99.71/99.99	o 3664
99.82/100.08	o 3662
100.11/100.39	o 3661
100.31/100.59	o 3660
100.41/100.70	o 3659
100.51/100.79	o 3657
101.11/101.39	o 3654
101.31/101.59	o 3653
101.41/101.68	o 3651
101.51/101.78	o 3649
101.81/102.07	o 3648
101.91/102.17	o 3647
102.02/102.22	o 3643
102.12/102.32	o 3642
102.21/102.42	o 3640
102.51/102.71	o 3639
102.61/102.81	o 3637
102.71/102.91	o 3636
102.81/103.01	o 3633
103.02/103.20	o 3630
103.13/103.40	o 3627
103.23/103.49	o 3626
103.32/103.58	o 3624
103.42/103.67	o 3623
103.52/103.77	o 3621
103.62/103.87	o 3620
103.72/103.96	o 3618
103.82/104.05	o 3616
103.92/104.15	o 3615
104.12/104.33	o 3614
104.33/104.51	o 3612
104.42/104.69	o 3610
105.42/105.62	o 3607
105.62/105.80	o 3606
105.62/105.89	o 3602
105.82/106.07	o 3600
105.92/106.17	o 3599
106.02/106.26	o 3598
106.22/106.45	o 3596
106.32/106.55	o 3594
106.52/106.75	o 3592
106.91/107.13	o 3589
107.41/107.68	o 3588
107.52/107.78	o 3587
107.71/107.98	o 3583
108.01/108.28	o 3582
108.41/108.67	o 3578
108.72/108.97	o 3577
108.81/109.07	o 3576
108.91/109.17	o 3574
109.01/109.27	o 3570
109.11/109.38	o 3569
109.21/109.48	o 3568
109.31/109.58	o 3567
109.41/109.67	o 3566
109.51/109.77	o 3563
109.61/109.88	o 3560
109.91/110.17	o 3558
110.11/110.36	o 3556
110.21/110.45	o 3555
110.61/110.85	o 3554
110.71/110.95	o 3553
110.81/111.05	o 3551
110.91/111.15	o 3549
111.01/111.25	o 3547
111.11/111.35	o 3546
112.70/112.92	o 3544
112.80/113.02	o 3543
112.90/113.12	o 3541
113.01/113.23	o 3539
113.20/113.43	o 3536
113.30/113.54	o 3534
114.01/114.25	o 3532
114.12/114.35	o 3529
114.22/114.46	o 3527
114.31/114.51	o 3525
114.41/114.61	o 3524
114.61/114.82	o 3522
114.71/114.92	o 3518
114.81/115.03	o 3516
115.01/115.24	o 3515
115.11/115.33	o 3512
115.31/115.54	o 3510
115.41/115.64	o 3506
115.51/115.71	o 3504
115.60/115.81	o 3502
115.70/115.91	o 3501
115.80/116.02	o 3500
116.20/116.41	o 3497
116.70/116.90	o 3496
116.80/117.01	o 3495
117.00/117.23	o 3493
117.10/117.34	o 3490
117.20/117.45	o 3489
117.30/117.55	o 3487
117.41/117.65	o 3485
117.60/117.85	o 3483
117.70/117.95	o 3482
117.80/118.05	o 3479
117.90/118.15	o 3477
118.30/118.54	o 3474
118.40/118.64	o 3472
118.50/118.74	o 3471
119.10/119.33	o 3467
119.20/119.43	o 3466
119.50/119.74	o 3465
119.60/119.83	o 3463
119.70/119.93	o 3462
120.00/120.25	o 3461
120.10/120.34	o 3459
120.20/120.45	o 3458
120.30/120.55	o 3456
120.50/120.75	o 3453
120.60/120.85	o 3452
120.71/120.97	o 3449
121.00/121.29	o 3447
121.10/121.39	o 3444
121.30/121.51	o 3442
121.40/121.62	o 3440
121.50/121.73	o 3438
121.60/121.84	o 3436
121.90/122.17	o 3435
122.00/122.28	o 3433
122.10/122.39	o 3431
122.30/122.50	o 3429
122.40/122.62	o 3427
122.50/122.74	o 3425
122.59/122.84	o 3422
122.69/122.96	o 3421
122.79/123.08	o 3420
122.90/123.20	o 3419
123.20/123.42	o 3418
123.29/123.54	o 3417
123.39/123.66	o 3416
123.49/123.78	o 3415
123.59/123.89	o 3414
123.69/123.99	o 3412
124.99/125.21	o 3411
125.09/125.31	o 3408
125.19/125.43	o 3405
125.29/125.53	o 3404
125.39/125.63	o 3401
125.49/125.75	o 3397
125.69/125.97	o 3396
128.30/128.52	o 3391
128.40/128.63	o 3390
128.50/128.74	o 3389
128.89/129.19	o 3388
128.99/129.25	o 3386
129.09/129.36	o 3385
129.79/130.04	o 3381
129.89/130.15	o 3379
130.09/130.38	o 3376
130.19/130.49	o 3375
130.29/130.60	o 3374
130.49/130.71	o 3372
130.59/130.81	o 3370
130.70/130.92	o 3369
130.79/131.03	o 3364
130.89/131.15	o 3362
131.09/131.36	o 3360
131.19/131.47	o 3359
131.29/131.58	o 3358
131.39/131.69	o 3357
131.69/131.92	o 3356
131.79/132.01	o 3355
131.89/132.13	o 3353
132.19/132.45	o 3352
132.29/132.57	o 3348
132.48/132.79	o 3345
132.68/132.91	o 3343
132.79/133.03	o 3341
132.89/133.15	o 3340
133.08/133.38	o 3338
133.89/134.16	o 3337
133.99/134.28	o 3335
134.58/134.83	o 3331
134.78/135.06	o 3328
135.28/135.55	o 3325
135.38/135.66	o 3322
135.58/135.88	o 3321
135.88/136.17	o 3320
135.98/136.28	o 3319
136.08/136.38	o 3318
137.19/137.48	o 3317
137.68/137.94	o 3315
138.18/138.42	o 3310
138.29/138.52	o 3309
139.58/139.86	o 3308
139.68/139.97	o 3307
141.58/141.81	o 3305
141.68/141.92	o 3304
141.78/142.02	o 3303
142.18/142.43	o 3299
142.37/142.65	o 3298
142.47/142.75	o 3294
142.68/142.97	o 3290
142.78/143.08	o 3289
142.87/143.19	o 3287
142.97/143.29	o 3285
143.27/143.52	o 3283
143.37/143.63	o 3280
143.47/143.74	o 3277
143.67/143.97	o 3274
144.27/144.50	o 3273
144.37/144.62	o 3272
144.47/144.72	o 3269
144.57/144.83	o 3267
144.67/144.94	o 3266
144.77/145.05	o 3264
144.88/145.17	o 3262
145.47/145.73	o 3259
145.88/146.19	o 3257
146.28/146.54	o 3256
146.38/146.67	o 3255
146.48/146.79	o 3254
146.78/147.04	o 3252
146.98/147.28	o 3251
147.28/147.51	o 3250
147.58/147.85	o 3249
148.08/148.33	o 3246
148.28/148.57	o 3245
148.68/148.92	o 3242
149.18/149.40	o 3241
149.28/149.52	o 3239
149.38/149.65	o 3237
149.48/149.77	o 3236
149.58/149.90	o 3234
149.78/150.02	o 3233
149.88/150.14	o 3231
149.97/150.28	o 3230
150.67/150.90	o 3228
151.17/151.40	o 3226
151.67/151.90	o 3225
152.37/152.68	o 3224
152.57/152.81	o 3222
152.67/152.95	o 3220
152.77/153.09	o 3219
152.97/153.23	o 3217
153.07/153.37	o 3215
153.27/153.53	o 3214
155.47/155.70	o 3211
155.67/156.00	o 3209
155.87/156.15	o 3207
156.27/156.59	o 3205
156.47/156.75	o 3202
157.57/157.89	o 3200
157.76/158.05	o 3196
157.96/158.20	o 3195
158.07/158.35	o 3194
158.17/158.50	o 3193
158.36/158.65	o 3192
158.56/158.80	o 3190
158.76/159.09	o 3189
159.06/159.39	o 3188
159.27/159.53	o 3186
159.66/159.98	o 3184
160.27/160.56	o 3179
160.46/160.72	o 3178
160.76/161.02	o 3175
160.86/161.17	o 3172
161.06/161.31	o 3167
161.16/161.46	o 3165
161.36/161.61	o 3164
161.66/161.91	o 3163
161.76/162.06	o 3162
161.96/162.20	o 3161
162.56/162.82	o 3159
162.66/162.98	o 3157
163.46/163.74	o 3154
163.56/163.89	o 3152
163.76/164.05	o 3151
164.56/164.85	o 3150
165.17/165.47	o 3149
165.37/165.63	o 3147
168.76/169.07	o 3146
168.96/169.23	o 3145
169.06/169.40	o 3143
170.86/171.14	o 3142
171.06/171.30	o 3141
174.75/175.09	o 3140
175.76/176.02	o 3139
175.85/176.18	o 3135
176.05/176.34	o 3134
178.25/178.56	o 3132
178.45/178.72	o 3129
178.75/179.04	o 3127
179.35/179.66	o 3126
179.55/179.83	o 3125
179.65/179.98	o 3123
179.85/180.14	o 3120
179.95/180.30	o 3119
181.25/181.56	o 3116
181.54/181.80	o 3115
181.64/181.96	o 3114
181.94/182.28	o 3112
193.44/193.79	o 3111
193.64/193.94	o 3110
193.84/194.10	o 3108
193.94/194.26	o 3107
194.24/194.58	o 3105
194.45/194.74	o 3103
195.14/195.49	o 3102
195.34/195.64	o 3101
196.84/197.16	o 3098
197.14/197.48	o 3097
197.34/197.63	o 3096
197.64/197.94	o 3095
197.93/198.24	o 3094
198.43/198.70	o 3093
198.53/198.86	o 3089
198.63/198.99	o 3088
199.03/199.30	o 3087
201.23/201.57	o 3086
201.83/202.15	o 3085
202.73/203.08	o 3084
202.93/203.24	o 3083
203.03/203.39	o 3081
203.43/203.71	o 3080
204.63/204.97	o 3078
204.93/205.30	o 3077
206.33/206.69	o 3075
206.54/206.84	o 3074
206.64/207.00	o 3073
206.84/207.16	o 3071
207.34/207.63	o 3069
207.83/208.10	o 3068
207.93/208.27	o 3066
208.23/208.59	o 3065
208.43/208.76	o 3064
208.74/209.08	o 3063
209.13/209.42	o 3062
210.63/210.92	o 3061
210.94/211.24	o 3060
211.23/211.58	o 3057
222.33/222.63	o 3055
222.53/222.82	o 3054
222.72/223.02	o 3052
223.42/223.78	o 3051
223.62/223.97	o 3049
223.82/224.16	o 3047
225.42/225.72	o 3045
225.62/225.92	o 3044
225.82/226.12	o 3043
226.02/226.32	o 3041
226.72/227.06	o 3039
228.82/229.17	o 3036
229.02/229.36	o 3034
229.22/229.55	o 3033
230.02/230.32	o 3032
230.92/231.27	o 3029
231.02/231.37	o 3028
231.22/231.56	o 3027
231.42/231.75	o 3025
231.61/231.94	o 3023
231.82/232.13	o 3022
232.83/233.11	o 3021
233.12/233.48	o 3020
233.32/233.68	o 3019
233.92/234.25	o 3017
234.12/234.45	o 3015
234.32/234.64	o 3013
234.52/234.83	o 3010
234.72/235.03	o 3009
235.02/235.37	o 3006
235.22/235.57	o 3005
237.12/237.50	o 3003
237.41/237.70	o 3001
237.61/237.90	o 2999
238.21/238.50	o 2993
238.41/238.71	o 2992
238.61/238.92	o 2991
238.81/239.12	o 2990
239.01/239.33	o 2988
240.41/240.79	o 2987
240.61/241.00	o 2985
242.11/242.44	o 2983
242.31/242.65	o 2982
245.20/245.51	o 2980
246.60/246.98	o 2978
246.90/247.20	o 2977
247.30/247.63	o 2975
247.70/248.05	o 2972
248.10/248.47	o 2971
248.32/248.69	o 2970
248.61/248.91	o 2969
248.81/249.13	o 2967
249.01/249.36	o 2966
249.21/249.58	o 2964
249.91/250.24	o 2962
250.11/250.46	o 2960
250.31/250.69	o 2959
251.01/251.37	o 2958
251.31/251.60	o 2957
253.71/254.06	o 2956
253.90/254.29	o 2955
254.20/254.51	o 2954
254.81/255.18	o 2952
256.90/257.20	o 2951
257.11/257.42	o 2949
257.30/257.64	o 2948
257.80/258.10	o 2947
261.00/261.37	o 2944
261.20/261.58	o 2943
261.50/261.81	o 2942
261.89/262.25	o 2940
262.29/262.68	o 2939
263.80/264.19	o 2938
264.20/264.53	o 2936
267.80/268.14	o 2934
268.00/268.36	o 2930
268.50/268.81	o 2928
268.70/269.04	o 2927
268.89/269.27	o 2926
269.10/269.48	o 2924
269.39/269.72	o 2923
269.39/269.80	o 2922
278.09/278.44	o 2920
278.19/278.59	o 2919
278.69/279.06	o 2917
278.89/279.29	o 2916
283.49/283.89	o 2915
283.78/284.13	o 2914
284.98/285.34	o 2913
285.48/285.83	o 2910
286.18/286.57	o 2909
286.48/286.81	o 2908
286.68/287.05	o 2905
286.88/287.29	o 2902
287.38/287.72	o 2901
287.58/287.95	o 2898
287.79/288.19	o 2897
288.29/288.67	o 2895
288.79/289.13	o 2892
289.29/289.60	o 2890
291.39/291.72	o 2889
292.59/292.92	o 2888
293.79/294.16	o 2887
294.09/294.41	o 2885
295.08/295.41	o 2884
295.49/295.89	o 2881
295.79/296.15	o 2878
295.99/296.40	o 2876
296.29/296.65	o 2874
296.49/296.90	o 2871
296.78/297.15	o 2870
296.98/297.40	o 2869
297.28/297.65	o 2867
298.48/298.83	o 2866
298.68/299.08	o 2865
298.98/299.33	o 2862
299.18/299.58	o 2861
299.99/300.31	o 2860
305.07/305.44	o 2859
305.27/305.69	o 2858
305.57/305.93	o 2855
306.58/306.93	o 2854
307.57/307.93	o 2853
308.08/308.44	o 2852
308.28/308.69	o 2851
308.57/308.95	o 2848
309.07/309.44	o 2846
309.57/309.93	o 2845
309.77/310.18	o 2844
310.07/310.43	o 2843
310.27/310.69	o 2842
310.57/310.94	o 2841
311.57/311.92	o 2840
311.77/312.16	o 2839
312.27/312.65	o 2837
313.27/313.62	o 2836
313.47/313.86	o 2835
313.97/314.30	o 2834
314.18/314.54	o 2833
314.87/315.26	o 2831
316.07/316.45	o 2830
321.26/321.65	o 2829
321.46/321.89	o 2827
321.96/322.33	o 2824
322.66/323.05	o 2821
323.66/324.01	o 2820
324.55/324.96	o 2819
325.96/326.40	o 2818
326.27/326.64	o 2817
326.46/326.88	o 2815
326.76/327.12	o 2814
326.86/327.29	o 2813
327.86/328.24	o 2809
328.06/328.48	o 2808
328.36/328.72	o 2806
328.76/329.19	o 2805
329.06/329.43	o 2803
329.26/329.66	o 2802
329.66/330.03	o 2801
330.16/330.50	o 2800
337.95/338.31	o 2797
338.15/338.55	o 2796
338.36/338.78	o 2795
338.65/339.02	o 2793
339.35/339.73	o 2791
339.75/340.16	o 2789
341.66/342.01	o 2787
342.55/342.91	o 2786
343.55/343.92	o 2784
343.75/344.16	o 2783
344.25/344.62	o 2780
344.65/345.07	o 2778
349.35/349.74	o 2776
349.55/349.92	o 2775
353.15/353.57	o 2774
355.15/355.56	o 2773
357.84/358.26	o 2772
358.84/359.25	o 2768
359.34/359.74	o 2766
371.04/371.42	o 2765
371.74/372.17	o 2764
372.04/372.42	o 2762
373.54/373.94	o 2760
374.54/374.96	o 2759
375.04/375.45	o 2758
375.84/376.21	o 2754
376.34/376.71	o 2752
377.04/377.47	o 2751
380.33/380.79	o 2750
380.73/381.18	o 2747
381.24/381.70	o 2746
382.53/382.99	o 2744
382.73/383.11	o 2741
382.93/383.37	o 2740
383.23/383.63	o 2738
384.83/385.29	o 2737
385.13/385.54	o 2736
385.63/386.05	o 2735
386.13/386.56	o 2734
387.43/387.82	o 2732
387.63/388.08	o 2731
387.93/388.33	o 2730
389.13/389.56	o 2729
389.62/390.08	o 2728
390.42/390.86	o 2725
390.92/391.39	o 2724
391.23/391.65	o 2723
391.52/391.91	o 2721
391.72/392.19	o 2720
392.03/392.44	o 2717
392.33/392.71	o 2716
392.52/392.96	o 2715
393.32/393.75	o 2714
393.62/394.02	o 2713
394.92/395.35	o 2712
395.72/396.11	o 2710
395.92/396.37	o 2709
396.22/396.64	o 2708
396.72/397.18	o 2706
397.82/398.26	o 2705
400.02/400.45	o 2704
400.52/400.99	o 2703
400.72/401.19	o 2700
401.22/401.69	o 2699
401.52/401.95	o 2698
401.82/402.22	o 2697
402.01/402.49	o 2696
403.61/404.10	o 2693
404.21/404.63	o 2692
404.42/404.89	o 2689
405.11/405.57	o 2686
405.21/405.60	o 2683
405.42/405.86	o 2682
405.71/406.13	o 2681
406.81/407.20	o 2680
407.01/407.47	o 2678
407.51/408.00	o 2677
407.81/408.27	o 2676
408.12/408.54	o 2675
408.62/409.07	o 2674
408.92/409.33	o 2673
409.42/409.86	o 2671
410.02/410.40	o 2670
417.01/417.47	o 2667
417.31/417.74	o 2665
418.11/418.55	o 2664
435.21/435.61	o 2663
435.40/435.89	o 2662
435.70/436.18	o 2661
436.00/436.47	o 2660
436.30/436.76	o 2659
436.90/437.35	o 2658
456.39/456.88	o 2656
456.69/457.19	o 2655
457.69/458.13	o 2654
460.89/461.35	o 2653
461.19/461.67	o 2651
461.49/461.95	o 2650
462.19/462.61	o 2649
462.49/462.93	o 2648
463.09/463.57	o 2647
463.79/464.23	o 2645
463.98/464.43	o 2642
464.28/464.75	o 2641
464.58/465.08	o 2639
467.69/468.17	o 2637
467.99/468.48	o 2636
468.29/468.79	o 2635
469.59/470.07	o 2634
469.89/470.39	o 2633
470.29/470.72	o 2629
476.89/477.31	o 2626
477.99/478.48	o 2624
478.38/478.81	o 2621
487.17/487.67	o 2619
487.57/488.00	o 2618
488.47/488.98	o 2617
488.87/489.31	o 2616
489.17/489.64	o 2613
489.47/489.95	o 2612
490.17/490.61	o 2611
490.47/490.95	o 2609
490.77/491.28	o 2608
495.76/496.26	o 2607
498.07/498.60	o 2606
500.17/500.65	o 2605
517.86/518.30	o 2603
518.16/518.65	o 2602
519.36/519.85	o 2601
519.66/520.20	o 2597
521.06/521.59	o 2596
524.86/525.36	o 2595
525.16/525.61	o 2593
527.85/528.34	o 2590
528.25/528.70	o 2589
528.95/529.40	o 2586
532.55/533.09	o 2585
533.25/533.79	o 2583
534.05/534.51	o 2582
534.35/534.86	o 2581
535.25/535.72	o 2579
536.25/536.78	o 2578
536.64/537.14	o 2577
541.75/542.21	o 2575
542.05/542.58	o 2574
542.45/542.94	o 2573
542.85/543.30	o 2571
549.75/550.20	o 2570
550.05/550.57	o 2568
550.45/550.92	o 2566
550.85/551.30	o 2564
553.95/554.43	o 2559
554.34/554.81	o 2558
555.04/555.53	o 2557
557.54/558.09	o 2556
558.24/558.72	o 2555
559.24/559.77	o 2554
559.64/560.13	o 2552
559.93/560.49	o 2550
560.33/560.86	o 2549
560.73/561.22	o 2547
561.03/561.59	o 2545
561.83/562.31	o 2544
562.13/562.67	o 2543
564.34/564.82	o 2541
564.64/565.18	o 2539
565.54/566.03	o 2535
565.84/566.39	o 2533
566.24/566.75	o 2532
566.84/567.34	o 2531
567.14/567.69	o 2530
567.94/568.42	o 2529
568.64/569.13	o 2527
598.32/598.90	o 2523
598.72/599.23	o 2522
599.02/599.58	o 2516
600.02/600.60	o 2515
604.71/605.28	o 2514
605.11/605.64	o 2512
606.52/607.03	o 2511
612.32/612.83	o 2510
612.62/613.19	o 2509
614.12/614.64	o 2506
614.52/615.01	o 2503
614.72/615.29	o 2501
614.92/615.48	o 2498
616.72/617.29	o 2496
617.12/617.65	o 2494
617.51/618.02	o 2493
618.21/618.75	o 2492
619.61/620.18	o 2491
620.01/620.55	o 2489
620.41/620.92	o 2488
620.71/621.29	o 2487
621.51/622.03	o 2486
621.91/622.40	o 2484
624.11/624.66	o 2483
624.51/625.04	o 2481
625.61/626.16	o 2479
626.00/626.54	o 2478
627.10/627.62	o 2477
648.29/648.84	o 2475
649.79/650.33	o 2474
650.19/650.71	o 2473
651.29/651.84	o 2472
653.39/653.93	o 2471
653.79/654.32	o 2470
654.09/654.61	o 2469
655.29/655.84	o 2468
656.09/656.61	o 2467
656.79/657.36	o 2466
661.59/662.19	o 2465
662.38/662.95	o 2464
663.48/664.08	o 2461
663.89/664.46	o 2459
682.68/683.29	o 2458
685.27/685.89	o 2455
686.48/687.05	o 2453
687.17/687.70	o 2452
692.38/692.95	o 2450
700.47/701.02	o 2446
708.17/708.74	o 2444
710.47/711.04	o 2442
710.87/711.44	o 2441
711.66/712.24	o 2439
715.26/715.82	o 2438
716.06/716.63	o 2437
719.06/719.63	o 2436
720.26/720.84	o 2435
721.06/721.65	o 2434
721.76/722.35	o 2431
724.16/724.77	o 2430
733.55/734.16	o 2428
734.05/734.67	o 2427
734.45/735.08	o 2425
735.25/735.88	o 2423
735.65/736.28	o 2422
737.65/738.26	o 2421
738.05/738.67	o 2419
738.45/739.07	o 2418
738.85/739.48	o 2417
739.25/739.88	o 2415
739.66/740.28	o 2414
741.25/741.89	o 2413
742.85/743.46	o 2412
743.25/743.85	o 2411
743.65/744.24	o 2409
746.05/746.60	o 2407
746.35/746.99	o 2404
746.74/747.39	o 2402
747.54/748.16	o 2398
752.64/753.26	o 2397
757.94/758.56	o 2396
759.54/760.13	o 2393
760.64/761.21	o 2392
787.03/787.65	o 2389
787.42/788.04	o 2387
787.82/788.44	o 2386
788.22/788.84	o 2385
789.02/789.64	o 2384
800.22/800.83	o 2383
800.62/801.24	o 2381
830.91/831.52	   
830.91/831.52	   search
830.91/831.52	     run=0  nbConstraintChecks=2042419091  nbAssignments=4659
830.91/831.52	       =>  wckTime=815.321  cpuTime=814.7  mem=68M18
830.91/831.52	   
830.91/831.52	   global
830.91/831.52	     nbConstraintChecks=2042419091  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
830.91/831.52	     solvingWckTime=815.308  solvingCpuTime=814.69  expiredTime=no  totalExploration=no  nbFoundSolutions=0
830.91/831.52	     globalCpuTime=829.23
830.91/831.52	       =>  wckTime=831.267  cpuTime=829.19  mem=68M18
830.91/831.52	   
830.91/831.52	   solver DecomposerSolver being built... 
837.40/838.10	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-1112798-1215874157/watcher-1112798-1215874157 -o /tmp/evaluation-result-1112798-1215874157/solver-1112798-1215874157 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112798-1215874157.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: 1.99 2.08 2.02 4/81 17991
/proc/meminfo: memFree=1904840/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=1616 CPUtime=0
/proc/17991/stat : 17991 (java) D 17989 17991 17056 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 44118389 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/17991/statm: 404 145 119 9 0 46 0

[startup+0.02419 s]
/proc/loadavg: 1.99 2.08 2.02 4/81 17991
/proc/meminfo: memFree=1904840/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=860712 CPUtime=0.01
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 1648 0 1 0 0 1 0 0 18 0 2 0 44118389 881369088 1352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 215178 1354 534 9 0 210157 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860712

[startup+0.101206 s]
/proc/loadavg: 1.99 2.08 2.02 4/81 17991
/proc/meminfo: memFree=1904840/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=865988 CPUtime=0.09
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 3716 0 1 0 7 2 0 0 18 0 9 0 44118389 886771712 3190 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216497 3190 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.301239 s]
/proc/loadavg: 1.99 2.08 2.02 4/81 17991
/proc/meminfo: memFree=1904840/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=866360 CPUtime=0.27
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 5802 0 1 0 24 3 0 0 18 0 9 0 44118389 887152640 5177 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216590 5177 1953 9 0 211118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866360

[startup+0.701307 s]
/proc/loadavg: 1.99 2.08 2.02 4/81 17991
/proc/meminfo: memFree=1904840/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867448 CPUtime=0.67
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 12207 0 1 0 60 7 0 0 18 0 9 0 44118389 888266752 11568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216862 11568 2010 9 0 211368 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867448

[startup+1.50244 s]
/proc/loadavg: 1.99 2.08 2.02 3/90 18000
/proc/meminfo: memFree=1850560/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867360 CPUtime=1.47
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 20882 0 1 0 135 12 0 0 18 0 9 0 44118389 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216840 20218 2004 9 0 211368 0
[pid=17991/tid=17993] ppid=17989 vsize=867360 CPUtime=1.21
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15761 0 1 0 112 9 0 0 25 0 9 0 44118390 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 102888905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867360 CPUtime=0.07
/proc/17991/task/17994/stat : 17994 (java) S 17989 17991 17056 0 -1 64 3812 0 0 0 6 1 0 0 17 0 9 0 44118391 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867360 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867360 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44118392 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867360 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867360 CPUtime=0.16
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 613 0 0 0 16 0 0 0 16 0 9 0 44118394 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867360 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867360 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888176640 20218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867360

[startup+3.10271 s]
/proc/loadavg: 1.99 2.08 2.02 3/90 18000
/proc/meminfo: memFree=1817728/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=3.07
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 24275 0 1 0 293 14 0 0 18 0 9 0 44118389 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 23607 2006 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=2.67
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15800 0 1 0 257 10 0 0 25 0 9 0 44118390 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4126916878 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=0.18
/proc/17991/task/17994/stat : 17994 (java) S 17989 17991 17056 0 -1 64 7149 0 0 0 16 2 0 0 16 0 9 0 44118391 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.18
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 630 0 0 0 18 0 0 0 15 0 9 0 44118394 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 23607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867460

[startup+6.30125 s]
/proc/loadavg: 2.07 2.09 2.02 3/90 18000
/proc/meminfo: memFree=1809472/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=6.27
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 26216 0 1 0 610 17 0 0 18 0 9 0 44118389 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 25545 2006 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=5.72
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15804 0 1 0 560 12 0 0 25 0 9 0 44118390 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4126906393 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=0.3
/proc/17991/task/17994/stat : 17994 (java) S 17989 17991 17056 0 -1 64 9062 0 0 0 28 2 0 0 17 0 9 0 44118391 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.21
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 654 0 0 0 21 0 0 0 15 0 9 0 44118394 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 25545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867460

[startup+12.7023 s]
/proc/loadavg: 2.06 2.09 2.02 3/90 18000
/proc/meminfo: memFree=1803712/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=12.67
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 27712 0 1 0 1246 21 0 0 18 0 9 0 44118389 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 27038 2007 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=12.01
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15809 0 1 0 1185 16 0 0 25 0 9 0 44118390 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4127069175 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=0.39
/proc/17991/task/17994/stat : 17994 (java) S 17989 17991 17056 0 -1 64 10535 0 0 0 36 3 0 0 16 0 9 0 44118391 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.24
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 672 0 0 0 24 0 0 0 15 0 9 0 44118394 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 27038 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 867460

[startup+25.5015 s]
/proc/loadavg: 2.18 2.12 2.03 3/90 18000
/proc/meminfo: memFree=1773504/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867548 CPUtime=25.45
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 36081 0 1 0 2516 29 0 0 18 0 9 0 44118389 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216887 35211 2640 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867548 CPUtime=23.92
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15878 0 1 0 2372 20 0 0 25 0 9 0 44118390 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4127226933 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867548 CPUtime=1.19
/proc/17991/task/17994/stat : 17994 (java) S 17989 17991 17056 0 -1 64 18805 0 0 0 113 6 0 0 16 0 9 0 44118391 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44118392 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867548 CPUtime=0.31
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 702 0 0 0 30 1 0 0 16 0 9 0 44118394 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888369152 35211 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 867548

[startup+51.1018 s]
/proc/loadavg: 2.12 2.11 2.03 3/90 18000
/proc/meminfo: memFree=1773376/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867548 CPUtime=50.98
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 36091 0 1 0 5061 37 0 0 18 0 9 0 44118389 888369152 35219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216887 35219 2640 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867548 CPUtime=49.44
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15881 0 1 0 4916 28 0 0 25 0 9 0 44118390 888369152 35219 996147200 134512640 134550740 4294955952 18446744073709551615 4127069168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867548 CPUtime=1.19
/proc/17991/task/17994/stat : 17994 (java) S 17989 17991 17056 0 -1 64 18805 0 0 0 113 6 0 0 16 0 9 0 44118391 888369152 35219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888369152 35219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44118392 888369152 35219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888369152 35219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867548 CPUtime=0.32
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 709 0 0 0 31 1 0 0 15 0 9 0 44118394 888369152 35219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867548 CPUtime=0

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

/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888369152 35222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867548 CPUtime=0.33
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 712 0 0 0 32 1 0 0 16 0 9 0 44118394 888369152 35222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888369152 35222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867548 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888369152 35222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 867548

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

[startup+831.903 s]
/proc/loadavg: 2.00 2.02 2.01 3/90 18047
/proc/meminfo: memFree=1536832/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=831.3
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 41817 0 1 0 83050 80 0 0 18 0 9 0 44118389 888279040 40906 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 40913 2619 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=829.63
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15918 0 1 0 82894 69 0 0 25 0 9 0 44118390 888279040 40917 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=1.29
/proc/17991/task/17994/stat : 17994 (java) R 17989 17991 17056 0 -1 64 24484 0 0 0 121 8 0 0 16 0 9 0 44118391 888279040 40922 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 40928 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 40933 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 40939 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.35
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 722 0 0 0 34 1 0 0 15 0 9 0 44118394 888279040 40944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 40949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 40954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 831.3
Current children cumulated vsize (KiB) 867460

[startup+835.102 s]
/proc/loadavg: 2.08 2.03 2.01 4/90 18047
/proc/meminfo: memFree=878592/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=834.5
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 200400 0 1 0 83309 141 0 0 18 0 9 0 44118389 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 199444 2618 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=830.27
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15973 0 1 0 82957 70 0 0 25 0 9 0 44118390 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=3.82
/proc/17991/task/17994/stat : 17994 (java) R 17989 17991 17056 0 -1 64 182972 0 0 0 314 68 0 0 17 0 9 0 44118391 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.38
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 741 0 0 0 37 1 0 0 15 0 9 0 44118394 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 199444 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 834.5
Current children cumulated vsize (KiB) 867460

[startup+836.702 s]
/proc/loadavg: 2.08 2.03 2.01 3/90 18047
/proc/meminfo: memFree=878592/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=836.1
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 200403 0 1 0 83469 141 0 0 18 0 9 0 44118389 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 199445 2618 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=830.28
/proc/17991/task/17993/stat : 17993 (java) R 17989 17991 17056 0 -1 64 15975 0 1 0 82958 70 0 0 24 0 9 0 44118390 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=5.42
/proc/17991/task/17994/stat : 17994 (java) R 17989 17991 17056 0 -1 64 182973 0 0 0 473 69 0 0 18 0 9 0 44118391 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.38
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 741 0 0 0 37 1 0 0 15 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 836.1
Current children cumulated vsize (KiB) 867460

[startup+837.502 s]
/proc/loadavg: 2.08 2.03 2.01 3/90 18047
/proc/meminfo: memFree=878592/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=836.9
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 200403 0 1 0 83549 141 0 0 18 0 9 0 44118389 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 199445 2618 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=830.28
/proc/17991/task/17993/stat : 17993 (java) S 17989 17991 17056 0 -1 64 15975 0 1 0 82958 70 0 0 24 0 9 0 44118390 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=6.22
/proc/17991/task/17994/stat : 17994 (java) R 17989 17991 17056 0 -1 64 182973 0 0 0 553 69 0 0 20 0 9 0 44118391 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.38
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 741 0 0 0 37 1 0 0 15 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 836.9
Current children cumulated vsize (KiB) 867460

[startup+837.902 s]
/proc/loadavg: 2.08 2.03 2.01 3/90 18047
/proc/meminfo: memFree=878592/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=837.3
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 200403 0 1 0 83589 141 0 0 18 0 9 0 44118389 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 199445 2618 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=830.28
/proc/17991/task/17993/stat : 17993 (java) S 17989 17991 17056 0 -1 64 15975 0 1 0 82958 70 0 0 16 0 9 0 44118390 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=6.62
/proc/17991/task/17994/stat : 17994 (java) R 17989 17991 17056 0 -1 64 182973 0 0 0 593 69 0 0 21 0 9 0 44118391 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 102469652 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.38
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 741 0 0 0 37 1 0 0 15 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 837.3
Current children cumulated vsize (KiB) 867460

[startup+838.102 s]
/proc/loadavg: 2.08 2.03 2.01 3/90 18047
/proc/meminfo: memFree=878592/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=867460 CPUtime=837.5
/proc/17991/stat : 17991 (java) S 17989 17991 17056 0 -1 0 200406 0 1 0 83609 141 0 0 18 0 9 0 44118389 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 216865 199446 2618 9 0 211393 0
[pid=17991/tid=17993] ppid=17989 vsize=867460 CPUtime=830.28
/proc/17991/task/17993/stat : 17993 (java) S 17989 17991 17056 0 -1 64 15978 0 1 0 82958 70 0 0 16 0 9 0 44118390 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17994] ppid=17989 vsize=867460 CPUtime=6.82
/proc/17991/task/17994/stat : 17994 (java) S 17989 17991 17056 0 -1 64 182973 0 0 0 613 69 0 0 21 0 9 0 44118391 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17995] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17995/stat : 17995 (java) S 17989 17991 17056 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 44118392 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17996] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17996/stat : 17996 (java) S 17989 17991 17056 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44118392 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17997] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17997/stat : 17997 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44118394 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17998] ppid=17989 vsize=867460 CPUtime=0.38
/proc/17991/task/17998/stat : 17998 (java) S 17989 17991 17056 0 -1 64 741 0 0 0 37 1 0 0 15 0 9 0 44118394 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=17999] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/17999/stat : 17999 (java) S 17989 17991 17056 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 44118394 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17991/tid=18000] ppid=17989 vsize=867460 CPUtime=0
/proc/17991/task/18000/stat : 18000 (java) S 17989 17991 17056 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44118394 888279040 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 837.5
Current children cumulated vsize (KiB) 867460

[startup+838.207 s]
/proc/loadavg: 2.08 2.03 2.01 3/90 18047
/proc/meminfo: memFree=878592/2055920 swapFree=4180596/4192956
[pid=17991] ppid=17989 vsize=0 CPUtime=837.57
/proc/17991/stat : 17991 (java) Z 17989 17991 17056 0 -1 12 200411 0 1 0 83609 148 0 0 16 0 2 0 44118389 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17991/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 837.57
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 838.258
CPU time (s): 837.628
CPU user time (s): 836.096
CPU system time (s): 1.53177
CPU usage (%): 99.9248
Max. virtual memory (cumulated for all children) (KiB): 867548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 836.096
system time used= 1.53177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200411
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= 19200
involuntary context switches= 26341

runsolver used 1.09183 second user time and 2.92656 second system time

The end

Launcher Data (download as text)

Begin job on node15 at 2008-07-12 16:49:18
IDJOB=1112798
IDBENCH=61476
IDSOLVER=360
FILE ID=node15/1112798-1215874157
PBS_JOBID= 7903535
Free space on /tmp= 66492 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112798-1215874157/watcher-1112798-1215874157 -o /tmp/evaluation-result-1112798-1215874157/solver-1112798-1215874157 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112798-1215874157.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a7377e3e2481e38a6b40d9be07bb2cda
RANDOM SEED=510445109

node15.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.279
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.279
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:       1905320 kB
Buffers:          5712 kB
Cached:          45860 kB
SwapCached:       5888 kB
Active:          98928 kB
Inactive:        10276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1905320 kB
SwapTotal:     4192956 kB
SwapFree:      4180596 kB
Dirty:            6676 kB
Writeback:           0 kB
Mapped:          73960 kB
Slab:            26456 kB
Committed_AS:   316060 kB
PageTables:       2128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66488 MiB
End job on node15 at 2008-07-12 17:03:16