Trace number 1112804

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? 588.141 591.519

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-0.xml
MD5SUMdb919c043cbe2ccf39dda4a6ced1254b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints1050
Best CPU time to get the best result obtained on this benchmark3600.08
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.07/0.74	
0.07/0.74	Abscon 112 (May, 2008)
0.26/1.30	
0.26/1.30	   configuration
0.26/1.30	     name=mrdac-ddeg.xml
0.26/1.37	   
0.26/1.37	   instance
0.26/1.37	     name=HOME/instance-1112804-1215874227.xml
0.33/1.41	   
0.33/1.41	   domains being loaded...
0.33/1.45	   
0.33/1.45	   variables being loaded...
0.63/1.72	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182  nbTotalValues=515606
0.63/1.72	       =>  wckTime=0.416  cpuTime=0.29  mem=27M453
0.63/1.72	   
0.63/1.72	   predicates being loaded...
0.63/1.78	   
0.63/1.78	   constraints being loaded...
10.77/11.93	   
10.77/11.93	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 56M545)
15.84/17.04	     nbConstraints=33021  nbConvertedConstraints=1379  nbConvertConstraintsChecks=39724607  nbExtensionStructures=1097
15.84/17.04	     nbSharedExtensionStructures=888  nbConflictsStructures=2533  nbSharedConflictsStructures=1145
15.84/17.04	     nbUnbuiltConflictsStructures=3398  nbSharedBinaryRepresentations=344709  nbEvaluationManagers=4834
15.84/17.04	     nbSharedEvaluationManagers=26808  minDegree=3  maxDegree=29  minArity=2  maxArity=2
15.84/17.04	       =>  wckTime=15.734  cpuTime=14.58  mem=77M401
16.25/17.50	   
16.25/17.50	   solver LocalSearchSolver being built... 
16.34/17.55	       =>  wckTime=16.241  cpuTime=14.62  mem=67M389
16.45/17.66	
16.45/17.66	s SATISFIABLE
16.45/17.66	o 8492
16.45/17.69	o 8484
16.54/17.71	o 8475
16.54/17.75	o 8468
16.54/17.77	o 8462
16.54/17.79	o 8457
16.64/17.80	o 8453
16.64/17.82	o 8449
16.64/17.85	o 8445
16.64/17.86	o 8443
16.64/17.88	o 8441
16.64/17.89	o 8439
16.74/17.91	o 8430
16.74/17.92	o 8422
16.74/17.94	o 8414
16.74/17.96	o 8408
16.74/17.97	o 8403
16.74/17.99	o 8399
16.84/18.00	o 8395
16.84/18.01	o 8391
16.84/18.03	o 8388
16.84/18.04	o 8385
16.84/18.06	o 8383
16.84/18.08	o 8381
16.94/18.10	o 8379
16.94/18.11	o 8378
16.94/18.13	o 8367
16.94/18.16	o 8358
16.94/18.19	o 8350
17.04/18.22	o 8342
17.04/18.26	o 8334
17.04/18.28	o 8326
17.14/18.31	o 8318
17.14/18.35	o 8312
17.14/18.38	o 8306
17.24/18.40	o 8300
17.24/18.43	o 8294
17.24/18.46	o 8289
17.24/18.49	o 8284
17.33/18.52	o 8279
17.33/18.55	o 8274
17.33/18.58	o 8269
17.33/18.60	o 8265
17.43/18.62	o 8261
17.43/18.64	o 8257
17.43/18.67	o 8253
17.43/18.69	o 8250
17.53/18.71	o 8247
17.53/18.73	o 8244
17.53/18.74	o 8241
17.53/18.77	o 8238
17.53/18.79	o 8235
17.63/18.80	o 8232
17.63/18.83	o 8230
17.63/18.85	o 8228
17.63/18.87	o 8227
17.63/18.89	o 8226
17.73/18.90	o 8225
17.73/18.93	o 8224
17.73/18.98	o 8219
17.73/18.99	o 8216
17.83/19.02	o 8210
17.83/19.05	o 8203
17.83/19.07	o 8198
17.92/19.11	o 8193
17.92/19.14	o 8184
17.92/19.17	o 8176
18.02/19.21	o 8168
18.02/19.25	o 8161
18.02/19.29	o 8154
18.12/19.33	o 8147
18.12/19.37	o 8141
18.22/19.41	o 8135
18.22/19.46	o 8129
18.22/19.49	o 8123
18.32/19.53	o 8117
18.32/19.58	o 8112
18.42/19.62	o 8107
18.42/19.66	o 8102
18.42/19.70	o 8097
18.52/19.74	o 8094
18.52/19.77	o 8089
18.62/19.80	o 8084
18.62/19.84	o 8079
18.62/19.87	o 8074
18.72/19.90	o 8070
18.72/19.93	o 8066
18.72/19.97	o 8062
18.72/20.00	o 8058
18.82/20.03	o 8054
18.82/20.06	o 8052
18.82/20.09	o 8048
18.92/20.12	o 8044
18.92/20.15	o 8040
18.92/20.18	o 8037
19.02/20.21	o 8034
19.02/20.24	o 8031
19.02/20.27	o 8028
19.12/20.30	o 8025
19.12/20.33	o 8022
19.12/20.36	o 8020
19.12/20.38	o 8018
19.22/20.41	o 8016
19.22/20.43	o 8014
19.22/20.45	o 8012
19.22/20.48	o 8010
19.32/20.50	o 8008
19.32/20.53	o 8006
19.32/20.55	o 8004
19.32/20.57	o 7998
19.32/20.59	o 7997
19.42/20.60	o 7996
19.42/20.63	o 7995
19.42/20.66	o 7994
19.42/20.67	o 7993
19.42/20.69	o 7992
19.52/20.71	o 7991
19.52/20.73	o 7990
19.52/20.75	o 7989
19.52/20.77	o 7988
19.52/20.78	o 7987
19.52/20.79	o 7986
19.62/20.83	o 7984
19.62/20.85	o 7980
19.62/20.88	o 7977
19.62/20.89	o 7974
19.72/20.91	o 7968
19.72/20.95	o 7963
19.72/20.97	o 7961
19.72/20.99	o 7956
19.81/21.03	o 7950
19.81/21.04	o 7947
19.81/21.05	o 7946
19.81/21.07	o 7945
19.81/21.09	o 7942
19.91/21.11	o 7937
19.91/21.13	o 7936
19.91/21.15	o 7934
19.91/21.17	o 7932
19.91/21.19	o 7925
20.01/21.23	o 7923
20.01/21.28	o 7916
20.11/21.33	o 7909
20.11/21.38	o 7902
20.21/21.43	o 7896
20.21/21.49	o 7890
20.31/21.54	o 7884
20.31/21.59	o 7878
20.41/21.65	o 7876
20.41/21.69	o 7870
20.51/21.74	o 7864
20.51/21.80	o 7858
20.61/21.85	o 7853
20.71/21.90	o 7848
20.71/21.96	o 7843
20.80/22.01	o 7838
20.80/22.06	o 7833
20.90/22.11	o 7828
20.90/22.16	o 7823
21.00/22.21	o 7818
21.00/22.26	o 7814
21.10/22.32	o 7810
21.10/22.36	o 7806
21.20/22.41	o 7802
21.20/22.46	o 7798
21.30/22.51	o 7794
21.30/22.56	o 7790
21.39/22.60	o 7786
21.39/22.65	o 7783
21.39/22.69	o 7780
21.49/22.74	o 7777
21.49/22.78	o 7774
21.60/22.82	o 7773
21.60/22.86	o 7771
21.70/22.90	o 7768
21.70/22.95	o 7765
21.70/22.99	o 7762
21.80/23.02	o 7759
21.80/23.06	o 7756
21.80/23.10	o 7753
21.90/23.14	o 7750
21.90/23.17	o 7747
22.00/23.21	o 7744
22.00/23.24	o 7741
22.00/23.27	o 7738
22.09/23.30	o 7736
22.09/23.33	o 7734
22.09/23.36	o 7732
22.09/23.39	o 7730
22.19/23.42	o 7728
22.19/23.44	o 7726
22.19/23.47	o 7724
22.30/23.50	o 7722
22.30/23.53	o 7720
22.30/23.56	o 7718
22.30/23.58	o 7717
22.40/23.61	o 7716
22.40/23.63	o 7715
22.40/23.65	o 7713
22.40/23.67	o 7712
22.49/23.70	o 7711
22.49/23.72	o 7710
22.49/23.74	o 7709
22.59/23.84	o 7707
22.59/23.86	o 7702
22.59/23.88	o 7698
22.69/23.90	o 7696
22.69/23.91	o 7693
22.69/23.93	o 7691
22.69/23.95	o 7690
22.69/23.97	o 7684
22.69/23.99	o 7679
22.79/24.02	o 7674
22.79/24.04	o 7669
22.79/24.06	o 7665
22.79/24.08	o 7663
22.79/24.09	o 7661
22.89/24.11	o 7660
22.89/24.14	o 7658
22.89/24.17	o 7655
22.89/24.19	o 7650
22.99/24.21	o 7647
22.99/24.23	o 7639
22.99/24.25	o 7637
22.99/24.26	o 7632
22.99/24.28	o 7628
22.99/24.29	o 7625
23.09/24.31	o 7620
23.09/24.33	o 7611
23.09/24.35	o 7610
23.09/24.37	o 7605
23.09/24.39	o 7596
23.19/24.42	o 7593
23.19/24.44	o 7588
23.19/24.47	o 7585
23.19/24.49	o 7584
23.29/24.51	o 7582
23.29/24.53	o 7578
23.29/24.55	o 7575
23.29/24.57	o 7571
23.29/24.59	o 7569
23.39/24.61	o 7566
23.39/24.63	o 7565
23.39/24.65	o 7562
23.39/24.67	o 7559
23.39/24.69	o 7556
23.49/24.72	o 7554
23.49/24.73	o 7553
23.49/24.75	o 7551
23.49/24.77	o 7548
23.49/24.80	o 7541
23.59/24.83	o 7537
23.59/24.86	o 7533
23.68/24.90	o 7530
23.68/24.93	o 7524
23.68/24.96	o 7522
23.79/25.01	o 7515
23.79/25.06	o 7508
23.89/25.12	o 7502
23.89/25.17	o 7496
24.00/25.22	o 7490
24.00/25.27	o 7484
24.09/25.32	o 7479
24.09/25.37	o 7474
24.19/25.42	o 7469
24.19/25.47	o 7464
24.29/25.52	o 7460
24.29/25.57	o 7456
24.39/25.62	o 7452
24.39/25.67	o 7448
24.49/25.71	o 7444
24.49/25.76	o 7440
24.59/25.81	o 7436
24.59/25.85	o 7432
24.59/25.89	o 7428
24.69/25.94	o 7424
24.69/25.98	o 7420
24.78/26.02	o 7413
24.78/26.06	o 7408
24.88/26.11	o 7404
24.88/26.15	o 7400
24.88/26.19	o 7396
24.98/26.23	o 7393
24.98/26.27	o 7390
25.08/26.32	o 7387
25.08/26.36	o 7384
25.08/26.40	o 7381
25.18/26.44	o 7378
25.18/26.47	o 7375
25.27/26.51	o 7372
25.27/26.55	o 7370
25.27/26.59	o 7368
25.37/26.62	o 7366
25.37/26.66	o 7364
25.37/26.69	o 7362
25.47/26.72	o 7360
25.47/26.76	o 7358
25.47/26.79	o 7356
25.57/26.82	o 7354
25.57/26.85	o 7352
25.57/26.88	o 7350
25.67/26.91	o 7348
25.67/26.94	o 7346
25.67/26.97	o 7345
25.77/27.00	o 7344
25.77/27.03	o 7343
25.77/27.06	o 7342
25.77/27.08	o 7341
25.87/27.11	o 7340
25.87/27.14	o 7339
25.87/27.16	o 7338
25.87/27.19	o 7337
25.97/27.22	o 7332
25.97/27.24	o 7331
26.17/27.41	o 7326
26.17/27.42	o 7322
26.17/27.44	o 7318
26.17/27.47	o 7317
26.17/27.49	o 7311
26.26/27.51	o 7309
26.26/27.53	o 7303
26.26/27.55	o 7298
26.26/27.57	o 7293
26.26/27.59	o 7289
26.36/27.61	o 7284
26.36/27.63	o 7282
26.36/27.65	o 7279
26.36/27.69	o 7276
26.46/27.71	o 7272
26.46/27.73	o 7269
26.46/27.76	o 7262
26.46/27.78	o 7259
26.57/27.80	o 7257
26.57/27.84	o 7253
26.57/27.86	o 7249
26.57/27.89	o 7245
26.66/27.91	o 7244
26.66/27.93	o 7242
26.66/27.96	o 7241
26.66/27.99	o 7238
26.76/28.01	o 7233
26.76/28.05	o 7230
26.76/28.06	o 7229
26.86/28.13	o 7227
26.86/28.15	o 7224
26.86/28.17	o 7220
26.96/28.20	o 7216
26.96/28.23	o 7213
26.96/28.27	o 7209
26.96/28.29	o 7208
27.06/28.33	o 7204
27.06/28.35	o 7201
27.06/28.38	o 7199
27.16/28.45	o 7192
27.16/28.48	o 7190
27.26/28.51	o 7185
27.26/28.55	o 7183
27.26/28.58	o 7179
27.36/28.62	o 7178
27.36/28.65	o 7173
27.36/28.69	o 7172
27.46/28.77	o 7171
27.55/28.81	o 7166
27.55/28.85	o 7163
27.55/28.90	o 7162
27.65/28.94	o 7159
27.65/28.97	o 7156
27.75/29.02	o 7150
27.75/29.05	o 7146
27.85/29.13	o 7145
27.85/29.17	o 7140
27.95/29.21	o 7137
27.95/29.25	o 7130
28.05/29.31	o 7129
28.05/29.35	o 7128
28.15/29.43	o 7126
28.15/29.47	o 7125
28.25/29.53	o 7118
28.25/29.60	o 7113
28.35/29.67	o 7108
28.45/29.74	o 7103
28.55/29.81	o 7098
28.55/29.87	o 7093
28.65/29.94	o 7088
28.75/30.02	o 7084
28.75/30.09	o 7080
28.85/30.16	o 7075
28.94/30.24	o 7072
29.04/30.30	o 7068
29.04/30.37	o 7064
29.14/30.44	o 7060
29.24/30.50	o 7056
29.24/30.56	o 7053
29.34/30.63	o 7049
29.34/30.69	o 7043
29.44/30.76	o 7039
29.54/30.83	o 7035
29.54/30.88	o 7031
29.64/30.94	o 7028
29.74/31.00	o 7027
29.74/31.06	o 7023
29.84/31.12	o 7020
29.84/31.18	o 7017
29.94/31.24	o 7014
30.04/31.30	o 7011
30.04/31.36	o 7008
30.14/31.42	o 7005
30.14/31.48	o 7002
30.24/31.54	o 6999
30.24/31.59	o 6996
30.34/31.65	o 6993
30.44/31.72	o 6991
30.44/31.77	o 6989
30.54/31.83	o 6987
30.54/31.89	o 6985
30.64/31.95	o 6983
30.73/32.00	o 6981
30.73/32.05	o 6979
30.83/32.10	o 6977
30.83/32.16	o 6975
30.93/32.21	o 6973
30.93/32.26	o 6969
31.03/32.31	o 6968
31.03/32.36	o 6967
31.13/32.41	o 6965
31.13/32.46	o 6964
31.23/32.51	o 6959
31.23/32.55	o 6958
31.32/32.60	o 6957
31.32/32.64	o 6956
31.32/32.69	o 6955
31.43/32.74	o 6954
31.43/32.78	o 6953
31.52/32.84	o 6946
31.92/33.21	o 6945
31.92/33.26	o 6942
32.02/33.35	o 6938
32.02/33.38	o 6934
32.12/33.43	o 6931
32.12/33.46	o 6925
32.12/33.50	o 6924
32.22/33.54	o 6922
32.22/33.58	o 6917
32.32/33.62	o 6916
32.32/33.66	o 6912
32.42/33.74	o 6911
32.42/33.78	o 6906
32.52/33.82	o 6901
32.52/33.85	o 6900
32.52/33.89	o 6899
32.62/33.93	o 6895
32.62/33.96	o 6891
32.62/34.00	o 6890
32.72/34.03	o 6889
32.72/34.10	o 6887
32.81/34.13	o 6885
32.81/34.17	o 6883
32.81/34.20	o 6880
32.92/34.23	o 6875
33.02/34.30	o 6871
33.02/34.34	o 6869
33.02/34.37	o 6866
33.12/34.41	o 6863
33.12/34.47	o 6861
33.22/34.51	o 6857
33.22/34.55	o 6856
33.22/34.59	o 6855
33.31/34.63	o 6854
33.31/34.66	o 6852
33.31/34.70	o 6851
33.41/34.78	o 6845
33.51/34.82	o 6841
33.51/34.85	o 6838
33.51/34.89	o 6836
33.61/34.92	o 6834
33.61/34.96	o 6831
33.61/35.00	o 6830
33.71/35.04	o 6824
33.71/35.08	o 6821
33.81/35.12	o 6820
33.81/35.16	o 6819
33.81/35.19	o 6817
33.91/35.23	o 6814
33.91/35.26	o 6809
34.01/35.30	o 6807
34.01/35.34	o 6806
34.01/35.38	o 6801
34.11/35.42	o 6797
34.11/35.46	o 6795
34.20/35.51	o 6791
34.20/35.54	o 6790
34.20/35.58	o 6786
34.30/35.62	o 6784
34.30/35.66	o 6782
34.40/35.71	o 6777
34.40/35.75	o 6774
34.50/35.84	o 6773
34.50/35.88	o 6772
34.60/35.92	o 6771
34.60/35.96	o 6768
34.60/36.00	o 6764
34.70/36.03	o 6761
34.70/36.08	o 6759
34.80/36.12	o 6757
34.80/36.16	o 6756
34.80/36.20	o 6749
34.91/36.28	o 6747
35.00/36.32	o 6742
35.00/36.37	o 6741
35.09/36.41	o 6738
35.09/36.46	o 6734
35.19/36.50	o 6732
35.19/36.54	o 6729
35.19/36.58	o 6727
35.29/36.62	o 6723
35.29/36.67	o 6721
35.39/36.71	o 6719
35.39/36.75	o 6716
35.49/36.80	o 6714
35.49/36.85	o 6711
35.49/36.89	o 6706
35.59/36.94	o 6705
35.59/36.98	o 6701
35.69/37.02	o 6700
35.69/37.08	o 6697
35.78/37.17	o 6696
35.88/37.22	o 6693
35.88/37.26	o 6691
35.99/37.31	o 6687
36.08/37.40	o 6685
36.08/37.45	o 6684
36.18/37.50	o 6682
36.18/37.54	o 6678
36.18/37.60	o 6674
36.28/37.65	o 6673
36.28/37.69	o 6671
36.37/37.74	o 6669
36.37/37.79	o 6667
36.57/37.94	o 6662
36.57/37.99	o 6661
36.67/38.08	o 6655
36.77/38.17	o 6650
36.87/38.22	o 6644
36.87/38.27	o 6642
36.97/38.37	o 6638
37.07/38.47	o 6637
37.18/38.56	o 6636
37.28/38.61	o 6635
37.28/38.66	o 6633
37.37/38.75	o 6630
37.37/38.80	o 6627
37.47/38.84	o 6623
37.57/38.95	o 6621
37.67/39.00	o 6617
37.67/39.05	o 6615
37.77/39.15	o 6614
37.87/39.20	o 6613
37.87/39.26	o 6609
37.97/39.30	o 6608
38.17/39.51	o 6607
38.27/39.66	o 6602
38.46/39.80	o 6601
38.46/39.86	o 6599
38.56/39.92	o 6594
38.56/39.98	o 6589
38.66/40.05	o 6585
38.76/40.12	o 6581
38.76/40.19	o 6577
38.86/40.25	o 6573
38.96/40.32	o 6569
38.96/40.38	o 6567
39.06/40.46	o 6564
39.16/40.53	o 6561
39.16/40.60	o 6558
39.26/40.66	o 6556
39.36/40.73	o 6555
39.46/40.80	o 6552
39.46/40.87	o 6549
39.56/40.94	o 6547
39.66/41.00	o 6545
39.66/41.06	o 6543
39.76/41.13	o 6541
39.76/41.19	o 6539
39.86/41.26	o 6537
39.95/41.31	o 6536
39.95/41.37	o 6535
40.05/41.44	o 6534
40.25/41.68	o 6533
40.35/41.74	o 6532
40.35/41.80	o 6531
40.45/41.86	o 6529
40.55/41.92	o 6528
40.55/41.98	o 6527
41.04/42.45	o 6525
41.14/42.50	o 6522
41.34/42.72	o 6521
41.34/42.78	o 6520
41.44/42.87	o 6519
41.54/42.92	o 6517
41.64/43.02	o 6515
41.64/43.06	o 6511
41.74/43.11	o 6507
41.84/43.20	o 6502
41.84/43.25	o 6500
41.94/43.30	o 6494
41.94/43.35	o 6491
42.04/43.43	o 6487
42.04/43.48	o 6483
42.14/43.54	o 6478
42.24/43.63	o 6473
42.24/43.68	o 6468
42.34/43.72	o 6465
42.34/43.77	o 6461
42.45/43.83	o 6456
42.45/43.88	o 6454
42.55/43.93	o 6453
42.55/43.98	o 6452
42.65/44.04	o 6449
42.65/44.09	o 6446
42.74/44.20	o 6445
42.94/44.30	o 6443
42.94/44.35	o 6441
43.04/44.41	o 6437
43.04/44.46	o 6433
43.14/44.51	o 6429
43.14/44.56	o 6426
43.24/44.67	o 6425
43.34/44.73	o 6424
43.44/44.84	o 6421
43.44/44.89	o 6416
43.54/45.00	o 6415
43.64/45.05	o 6413
43.74/45.11	o 6408
43.74/45.16	o 6405
43.83/45.22	o 6403
43.83/45.27	o 6402
43.93/45.33	o 6399
43.93/45.38	o 6392
44.03/45.44	o 6391
44.13/45.50	o 6386
44.23/45.68	o 6383
44.33/45.73	o 6380
44.43/45.85	o 6377
44.53/45.91	o 6375
44.53/45.97	o 6369
44.73/46.20	o 6368
44.83/46.26	o 6365
44.93/46.33	o 6363
45.02/46.44	o 6362
45.02/46.50	o 6360
45.12/46.55	o 6356
45.22/46.61	o 6353
45.22/46.67	o 6350
45.32/46.78	o 6347
45.42/46.85	o 6346
45.62/47.01	o 6345
45.62/47.07	o 6342
45.72/47.13	o 6339
45.72/47.19	o 6337
45.82/47.25	o 6336
45.92/47.31	o 6334
45.92/47.37	o 6332
46.11/47.50	o 6328
46.22/47.63	o 6327
46.22/47.69	o 6322
46.32/47.75	o 6319
46.42/47.86	o 6317
46.52/47.93	o 6313
46.52/47.99	o 6312
46.62/48.06	o 6310
46.72/48.12	o 6308
46.72/48.19	o 6303
46.82/48.26	o 6301
46.92/48.32	o 6300
46.92/48.39	o 6298
47.02/48.46	o 6295
47.11/48.52	o 6294
47.11/48.60	o 6293
47.31/48.72	o 6292
47.31/48.79	o 6289
47.41/48.86	o 6287
47.51/48.93	o 6283
47.61/49.00	o 6278
47.61/49.08	o 6277
47.71/49.15	o 6276
47.81/49.28	o 6275
47.91/49.35	o 6270
48.01/49.42	o 6265
48.01/49.48	o 6262
48.11/49.54	o 6260
48.20/49.61	o 6256
48.20/49.67	o 6254
48.40/49.81	o 6253
48.40/49.87	o 6248
48.50/50.00	o 6245
48.60/50.06	o 6241
48.70/50.13	o 6238
48.70/50.20	o 6235
48.80/50.27	o 6229
48.90/50.33	o 6227
49.20/50.61	o 6226
49.20/50.68	o 6222
49.30/50.74	o 6220
49.40/50.81	o 6217
49.59/51.02	o 6214
49.59/51.09	o 6208
49.79/51.23	o 6204
49.89/51.31	o 6203
49.89/51.38	o 6199
49.99/51.45	o 6196
50.09/51.53	o 6195
50.09/51.59	o 6194
50.19/51.66	o 6192
50.39/51.88	o 6190
50.49/51.95	o 6189
50.58/52.08	o 6185
50.68/52.16	o 6183
50.78/52.23	o 6179
50.88/52.36	o 6178
50.98/52.43	o 6177
51.08/52.50	o 6175
51.08/52.57	o 6174
51.18/52.64	o 6169
51.28/52.70	o 6167
51.28/52.77	o 6165
51.48/52.95	o 6163
51.58/53.01	o 6161
51.58/53.07	o 6160
51.69/53.14	o 6157
51.79/53.20	o 6154
51.99/53.45	o 6152
52.09/53.52	o 6149
52.19/53.64	o 6145
52.19/53.70	o 6140
52.29/53.76	o 6137
52.39/53.82	o 6134
52.39/53.88	o 6132
52.49/53.94	o 6129
52.49/54.00	o 6126
52.68/54.12	o 6120
52.78/54.24	o 6119
52.78/54.29	o 6115
52.88/54.36	o 6113
52.98/54.42	o 6111
53.08/54.55	o 6107
53.18/54.60	o 6106
53.18/54.67	o 6105
53.28/54.73	o 6100
53.38/54.80	o 6096
53.38/54.88	o 6092
53.48/54.95	o 6090
53.58/55.03	o 6086
53.67/55.10	o 6082
53.67/55.18	o 6079
53.77/55.26	o 6076
53.87/55.34	o 6073
53.97/55.42	o 6071
53.97/55.48	o 6066
54.07/55.56	o 6064
54.17/55.63	o 6061
54.27/55.70	o 6058
54.27/55.78	o 6056
54.37/55.86	o 6054
54.47/55.94	o 6052
54.57/56.02	o 6050
54.57/56.09	o 6049
54.67/56.16	o 6048
54.76/56.24	o 6047
54.86/56.30	o 6046
54.86/56.38	o 6045
54.96/56.45	o 6044
55.06/56.51	o 6043
55.06/56.58	o 6041
55.26/56.72	o 6039
55.56/57.05	o 6037
55.76/57.24	o 6036
56.35/57.87	o 6030
56.45/57.94	o 6029
56.55/58.00	o 6025
56.55/58.06	o 6023
56.65/58.13	o 6018
56.65/58.19	o 6016
56.75/58.25	o 6011
56.85/58.31	o 6009
56.95/58.43	o 6008
56.95/58.49	o 6006
57.05/58.55	o 6005
57.14/58.67	o 6002
57.24/58.78	o 6001
57.34/58.85	o 6000
57.44/58.90	o 5997
57.44/58.96	o 5995
57.54/59.02	o 5994
57.54/59.08	o 5992
57.64/59.18	o 5991
57.75/59.25	o 5989
57.95/59.47	o 5985
58.05/59.53	o 5982
58.05/59.59	o 5978
58.15/59.65	o 5974
58.25/59.78	o 5971
58.35/59.84	o 5967
58.35/59.90	o 5964
58.54/60.03	o 5963
58.64/60.17	o 5961
58.84/60.31	o 5958
58.84/60.38	o 5957
58.94/60.46	o 5955
59.04/60.53	o 5953
59.14/60.60	o 5952
59.14/60.67	o 5949
59.24/60.74	o 5945
59.34/60.81	o 5940
59.34/60.89	o 5936
59.44/60.97	o 5934
59.54/61.04	o 5930
59.64/61.11	o 5927
59.64/61.18	o 5926
59.73/61.25	o 5924
59.83/61.32	o 5922
59.83/61.39	o 5918
59.93/61.47	o 5917
60.03/61.54	o 5913
60.13/61.62	o 5908
60.23/61.76	o 5906
60.33/61.83	o 5902
60.43/61.97	o 5900
60.63/62.10	o 5899
60.63/62.18	o 5894
60.73/62.24	o 5890
60.82/62.39	o 5889
60.92/62.46	o 5884
61.02/62.54	o 5879
61.12/62.61	o 5875
61.12/62.68	o 5872
61.22/62.74	o 5871
61.32/62.81	o 5869
61.32/62.89	o 5866
61.52/63.02	o 5863
61.52/63.09	o 5860
61.62/63.16	o 5859
61.72/63.23	o 5858
61.82/63.30	o 5853
61.82/63.38	o 5852
61.92/63.45	o 5850
62.42/63.91	o 5849
62.42/63.97	o 5847
62.51/64.04	o 5846
62.61/64.10	o 5841
62.61/64.16	o 5835
62.71/64.23	o 5832
62.71/64.29	o 5830
62.81/64.37	o 5829
62.91/64.49	o 5828
63.01/64.55	o 5826
63.11/64.62	o 5820
63.21/64.76	o 5819
63.31/64.82	o 5818
63.31/64.89	o 5817
63.40/64.95	o 5815
63.50/65.01	o 5810
63.50/65.07	o 5808
63.60/65.14	o 5806
63.70/65.20	o 5804
63.70/65.27	o 5803
64.00/65.53	o 5801
64.00/65.60	o 5799
64.10/65.67	o 5795
64.20/65.73	o 5794
64.20/65.80	o 5792
64.30/65.87	o 5790
64.40/65.93	o 5785
64.50/66.06	o 5783
64.59/66.12	o 5781
64.69/66.26	o 5780
64.79/66.33	o 5776
64.89/66.40	o 5772
64.89/66.47	o 5769
64.99/66.54	o 5768
65.09/66.67	o 5765
65.29/66.81	o 5764
65.29/66.87	o 5761
65.39/66.94	o 5759
65.49/67.01	o 5758
65.49/67.07	o 5755
65.59/67.13	o 5753
65.59/67.19	o 5752
65.78/67.33	o 5751
65.78/67.40	o 5749
65.89/67.46	o 5747
65.98/67.53	o 5744
65.98/67.59	o 5743
66.08/67.66	o 5740
66.18/67.72	o 5737
66.18/67.79	o 5733
66.38/67.92	o 5729
66.38/67.98	o 5727
66.49/68.06	o 5726
66.58/68.13	o 5725
66.68/68.27	o 5724
66.77/68.34	o 5720
66.87/68.48	o 5719
66.97/68.55	o 5718
67.07/68.63	o 5716
67.18/68.70	o 5714
67.18/68.78	o 5713
67.37/68.93	o 5710
67.47/69.08	o 5708
67.58/69.16	o 5707
67.68/69.24	o 5703
67.78/69.32	o 5698
68.07/69.63	o 5694
68.17/69.71	o 5691
68.26/69.80	o 5688
68.26/69.88	o 5683
68.56/70.13	o 5681
68.66/70.21	o 5679
68.66/70.29	o 5677
68.95/70.54	o 5675
69.05/70.62	o 5673
69.16/70.71	o 5672
69.16/70.80	o 5671
69.26/70.88	o 5670
69.36/70.97	o 5667
69.46/71.05	o 5663
69.56/71.13	o 5662
69.66/71.21	o 5661
69.76/71.37	o 5659
69.96/71.53	o 5658
70.05/71.60	o 5656
70.05/71.68	o 5653
70.15/71.77	o 5649
70.35/71.93	o 5648
70.55/72.18	o 5647
70.75/72.35	o 5645
70.85/72.43	o 5643
70.95/72.52	o 5640
71.14/72.78	o 5637
71.24/72.87	o 5635
71.34/72.96	o 5634
71.54/73.13	o 5632
71.64/73.21	o 5630
71.64/73.29	o 5628
71.84/73.45	o 5626
72.04/73.63	o 5625
72.14/73.72	o 5624
72.33/73.91	o 5622
72.43/74.00	o 5621
72.64/74.26	o 5617
72.73/74.35	o 5616
72.93/74.52	o 5615
73.03/74.62	o 5614
73.14/74.71	o 5611
73.43/75.07	o 5610
73.73/75.34	o 5609
73.83/75.43	o 5603
73.93/75.51	o 5599
73.93/75.60	o 5598
74.03/75.68	o 5597
74.13/75.77	o 5593
74.22/75.86	o 5592
74.32/75.95	o 5591
74.42/76.04	o 5590
74.52/76.13	o 5588
74.72/76.30	o 5587
74.82/76.48	o 5585
75.12/76.75	o 5583
75.22/76.85	o 5580
75.32/76.94	o 5575
75.61/77.22	o 5574
75.71/77.31	o 5573
75.81/77.41	o 5569
75.91/77.51	o 5568
76.11/77.70	o 5567
76.11/77.79	o 5564
76.31/77.97	o 5563
76.41/78.07	o 5557
76.51/78.15	o 5556
76.60/78.24	o 5554
76.70/78.34	o 5551
76.80/78.42	o 5547
77.00/78.60	o 5545
77.50/79.17	o 5541
77.60/79.27	o 5538
77.70/79.38	o 5535
77.80/79.48	o 5532
77.90/79.59	o 5530
78.00/79.69	o 5528
78.10/79.79	o 5526
78.20/79.89	o 5524
78.30/79.99	o 5522
78.40/80.09	o 5520
78.50/80.19	o 5518
78.60/80.28	o 5517
78.70/80.38	o 5516
78.79/80.48	o 5515
78.89/80.59	o 5514
78.99/80.69	o 5513
79.09/80.79	o 5512
79.19/80.88	o 5511
79.29/80.98	o 5510
79.39/81.07	o 5509
81.08/82.79	o 5508
81.18/82.89	o 5507
81.27/82.98	o 5502
81.37/83.08	o 5500
81.47/83.19	o 5497
81.58/83.28	o 5490
81.67/83.38	o 5488
81.77/83.49	o 5484
81.87/83.58	o 5483
81.97/83.67	o 5480
82.06/83.77	o 5477
82.16/83.86	o 5476
82.26/83.96	o 5475
82.36/84.06	o 5474
82.77/84.46	o 5473
82.86/84.56	o 5471
83.07/84.77	o 5467
83.15/84.87	o 5466
83.25/84.97	o 5463
83.45/85.15	o 5461
83.55/85.26	o 5459
83.65/85.35	o 5455
83.75/85.44	o 5453
83.85/85.54	o 5451
83.95/85.65	o 5449
84.05/85.75	o 5447
84.15/85.86	o 5446
84.25/85.96	o 5442
84.34/86.07	o 5440
84.44/86.17	o 5438
84.54/86.28	o 5433
84.84/86.50	o 5432
84.94/86.61	o 5431
85.24/86.95	o 5430
85.54/87.29	o 5429
85.74/87.40	o 5426
85.83/87.52	o 5424
85.93/87.63	o 5422
86.04/87.75	o 5420
86.14/87.87	o 5418
86.24/87.98	o 5416
86.34/88.09	o 5412
86.53/88.21	o 5410
86.63/88.32	o 5407
86.73/88.43	o 5406
86.93/88.66	o 5401
87.33/89.02	o 5400
87.42/89.14	o 5398
87.52/89.27	o 5395
87.62/89.38	o 5393
87.72/89.49	o 5391
88.22/89.94	o 5390
88.32/90.06	o 5387
88.52/90.29	o 5386
88.72/90.41	o 5384
88.82/90.53	o 5383
88.92/90.64	o 5381
89.02/90.76	o 5380
89.71/91.43	o 5378
89.81/91.54	o 5374
89.91/91.65	o 5370
90.11/91.88	o 5369
90.71/92.45	o 5367
90.80/92.55	o 5366
90.90/92.66	o 5363
91.00/92.77	o 5360
91.20/92.99	o 5355
91.40/93.10	o 5353
91.50/93.22	o 5352
91.70/93.44	o 5349
91.80/93.55	o 5347
91.90/93.66	o 5343
92.09/93.87	o 5341
92.49/94.21	o 5338
92.59/94.32	o 5336
92.79/94.55	o 5334
93.09/94.89	o 5333
93.19/95.00	o 5329
93.39/95.11	o 5327
93.49/95.22	o 5323
93.59/95.34	o 5322
93.69/95.44	o 5320
93.79/95.57	o 5318
94.58/96.38	o 5317
94.78/96.50	o 5315
95.17/96.96	o 5314
95.28/97.07	o 5312
95.38/97.18	o 5310
95.48/97.29	o 5308
95.68/97.41	o 5305
95.88/97.64	o 5301
96.08/97.88	o 5299
96.57/98.33	o 5298
96.67/98.45	o 5297
97.07/98.80	o 5293
97.17/98.93	o 5292
97.27/99.06	o 5289
97.37/99.18	o 5287
97.47/99.30	o 5285
98.27/100.03	o 5284
98.86/100.66	o 5283
98.96/100.78	o 5280
99.36/101.15	o 5278
99.46/101.28	o 5276
99.65/101.40	o 5272
99.75/101.52	o 5271
99.85/101.64	o 5269
100.15/102.00	o 5265
100.35/102.13	o 5264
100.45/102.25	o 5260
100.55/102.38	o 5259
100.74/102.51	o 5257
100.84/102.64	o 5256
100.94/102.76	o 5254
101.04/102.89	o 5252
101.25/103.02	o 5250
101.35/103.15	o 5249
102.14/103.91	o 5246
102.54/104.31	o 5242
102.64/104.44	o 5239
102.74/104.57	o 5236
102.83/104.69	o 5233
103.03/104.82	o 5232
103.13/104.94	o 5229
103.23/105.07	o 5226
103.43/105.20	o 5225
103.73/105.59	o 5224
103.93/105.72	o 5223
104.03/105.85	o 5221
104.13/105.98	o 5218
104.42/106.24	o 5217
104.52/106.37	o 5215
104.72/106.51	o 5213
104.82/106.64	o 5212
104.92/106.78	o 5210
105.23/107.04	o 5209
105.33/107.18	o 5204
105.53/107.31	o 5201
105.92/107.78	o 5196
106.61/108.45	o 5194
107.01/108.87	o 5192
107.20/109.01	o 5191
107.30/109.15	o 5189
107.40/109.29	o 5188
107.60/109.42	o 5186
108.00/109.84	o 5185
108.10/109.97	o 5182
108.30/110.11	o 5181
108.40/110.25	o 5178
108.50/110.38	o 5174
108.70/110.52	o 5170
108.80/110.65	o 5167
108.90/110.79	o 5165
109.10/110.93	o 5163
109.20/111.07	o 5162
109.60/111.49	o 5159
111.68/113.50	o 5156
112.08/113.90	o 5153
112.18/114.04	o 5151
112.38/114.30	o 5149
112.58/114.44	o 5146
112.68/114.57	o 5144
112.98/114.83	o 5142
113.48/115.36	o 5140
113.58/115.47	o 5139
113.77/115.60	o 5137
113.87/115.73	o 5134
113.97/115.84	o 5133
114.07/115.96	o 5129
114.17/116.09	o 5127
114.37/116.22	o 5125
114.47/116.36	o 5122
114.57/116.49	o 5119
114.77/116.62	o 5118
114.96/116.87	o 5116
115.06/117.00	o 5115
115.36/117.26	o 5112
115.46/117.39	o 5110
115.66/117.52	o 5107
115.86/117.77	o 5105
116.16/118.02	o 5104
116.26/118.14	o 5103
116.36/118.26	o 5100
116.45/118.39	o 5099
116.65/118.51	o 5097
117.35/119.20	o 5094
117.55/119.44	o 5092
117.65/119.56	o 5091
117.75/119.69	o 5090
117.95/119.81	o 5086
118.05/119.93	o 5083
118.15/120.05	o 5082
118.64/120.53	o 5081
118.85/120.78	o 5078
119.15/121.03	o 5077
119.25/121.16	o 5074
119.35/121.29	o 5070
119.55/121.42	o 5069
119.65/121.55	o 5068
119.75/121.68	o 5065
120.05/121.93	o 5063
120.15/122.06	o 5060
120.25/122.18	o 5059
121.04/122.93	o 5058
121.14/123.06	o 5056
121.53/123.42	o 5054
121.93/123.80	o 5052
122.03/123.93	o 5051
122.43/124.30	o 5048
123.12/125.03	o 5047
123.22/125.15	o 5044
123.62/125.52	o 5042
123.71/125.65	o 5038
123.81/125.77	o 5037
123.91/125.89	o 5036
124.11/126.01	o 5033
124.21/126.13	o 5029
124.31/126.26	o 5028
124.61/126.52	o 5027
124.70/126.65	o 5025
124.80/126.78	o 5024
125.00/126.91	o 5020
125.10/127.03	o 5018
125.40/127.30	o 5017
125.50/127.43	o 5015
125.89/127.82	o 5014
126.09/128.07	o 5013
127.49/129.49	o 5011
127.69/129.62	o 5010
127.79/129.74	o 5006
128.78/130.75	o 5002
128.88/130.88	o 5001
129.08/131.00	o 5000
129.68/131.62	o 4996
129.88/131.86	o 4995
129.98/131.99	o 4991
130.87/132.86	o 4988
130.97/132.99	o 4987
131.17/133.12	o 4986
131.27/133.26	o 4983
131.36/133.39	o 4981
131.56/133.53	o 4979
131.66/133.66	o 4977
131.86/133.80	o 4975
131.96/133.93	o 4973
132.06/134.07	o 4971
132.26/134.20	o 4969
132.36/134.34	o 4968
132.46/134.47	o 4967
132.66/134.60	o 4966
132.75/134.73	o 4965
132.85/134.87	o 4964
133.05/135.00	o 4962
133.15/135.13	o 4961
133.25/135.27	o 4960
133.35/135.40	o 4957
134.95/136.91	o 4954
135.45/137.50	o 4952
135.65/137.64	o 4950
135.75/137.80	o 4948
135.95/137.94	o 4947
136.04/138.09	o 4946
136.24/138.24	o 4945
137.54/139.55	o 4943
137.64/139.70	o 4941
137.83/139.85	o 4940
137.93/140.00	o 4937
138.23/140.29	o 4932
138.53/140.57	o 4930
139.03/141.01	o 4926
139.13/141.15	o 4924
139.23/141.29	o 4922
139.43/141.43	o 4921
139.53/141.57	o 4916
139.83/141.85	o 4915
140.32/142.39	o 4912
140.52/142.52	o 4910
140.62/142.66	o 4906
140.72/142.80	o 4905
140.91/142.95	o 4900
141.51/143.50	o 4898
141.61/143.65	o 4894
141.70/143.79	o 4893
141.90/143.93	o 4892
142.00/144.07	o 4889
142.20/144.21	o 4885
142.30/144.33	o 4883
142.40/144.46	o 4879
142.60/144.60	o 4877
142.70/144.73	o 4875
142.80/144.86	o 4871
142.90/145.00	o 4866
143.09/145.13	o 4865
143.19/145.26	o 4862
143.29/145.39	o 4861
143.49/145.53	o 4858
143.69/145.79	o 4857
143.89/145.92	o 4856
144.00/146.06	o 4855
144.10/146.20	o 4854
144.30/146.33	o 4851
144.39/146.47	o 4850
144.59/146.60	o 4847
144.79/146.86	o 4844
147.17/149.21	o 4842
147.47/149.51	o 4840
147.57/149.66	o 4836
147.77/149.81	o 4834
147.87/149.95	o 4833
148.07/150.10	o 4829
148.47/150.53	o 4828
148.57/150.68	o 4827
149.16/151.28	o 4826
149.46/151.58	o 4824
149.66/151.73	o 4821
149.76/151.88	o 4819
149.96/152.03	o 4816
150.06/152.18	o 4814
150.26/152.33	o 4810
150.36/152.48	o 4809
150.56/152.63	o 4806
150.66/152.78	o 4805
151.25/153.39	o 4804
151.75/153.84	o 4802
152.34/154.43	o 4800
152.74/154.88	o 4799
152.94/155.03	o 4798
153.33/155.47	o 4795
153.63/155.77	o 4794
153.83/155.92	o 4792
155.83/157.95	o 4791
155.93/158.09	o 4788
156.52/158.67	o 4787
156.82/158.95	o 4784
157.02/159.10	o 4779
157.22/159.37	o 4777
157.42/159.52	o 4776
157.51/159.66	o 4774
157.61/159.79	o 4773
157.81/159.93	o 4771
158.11/160.21	o 4769
158.21/160.36	o 4767
158.31/160.50	o 4766
158.51/160.64	o 4765
158.90/161.07	o 4763
159.10/161.21	o 4762
159.20/161.35	o 4759
159.30/161.49	o 4756
159.60/161.78	o 4755
159.90/162.06	o 4754
160.20/162.35	o 4753
160.50/162.65	o 4750
160.99/163.10	o 4749
163.18/165.31	o 4748
163.28/165.45	o 4746
163.48/165.60	o 4745
163.98/166.19	o 4743
164.17/166.34	o 4741
164.27/166.49	o 4739
164.47/166.64	o 4736
164.57/166.79	o 4734
164.77/166.94	o 4733
165.17/167.37	o 4732
165.38/167.52	o 4729
165.98/168.11	o 4728
166.08/168.26	o 4726
166.27/168.41	o 4722
166.37/168.55	o 4720
166.57/168.70	o 4717
166.97/169.15	o 4715
167.17/169.31	o 4714
167.27/169.46	o 4713
167.56/169.76	o 4710
167.86/170.04	o 4709
167.96/170.19	o 4708
168.16/170.33	o 4706
168.26/170.48	o 4702
168.96/171.19	o 4701
169.16/171.34	o 4698
169.75/171.93	o 4697
169.85/172.07	o 4695
170.15/172.36	o 4694
170.25/172.49	o 4693
170.45/172.63	o 4691
170.74/172.91	o 4689
171.64/173.82	o 4688
171.73/173.97	o 4685
171.93/174.11	o 4683
172.33/174.55	o 4680
173.23/175.43	o 4678
173.33/175.57	o 4677
173.53/175.71	o 4676
173.63/175.85	o 4675
175.71/177.91	o 4673
175.82/178.06	o 4671
176.02/178.22	o 4667
176.31/178.53	o 4666
176.41/178.69	o 4663
176.61/178.85	o 4661
177.11/179.31	o 4658
177.51/179.77	o 4657
177.71/179.93	o 4656
177.81/180.08	o 4655
178.01/180.23	o 4654
178.30/180.54	o 4652
178.40/180.69	o 4649
178.60/180.84	o 4644
179.50/181.73	o 4643
180.39/182.65	o 4641
180.59/182.81	o 4639
180.69/182.96	o 4638
180.99/183.26	o 4637
182.08/184.33	o 4636
182.18/184.48	o 4635
182.38/184.64	o 4631
182.67/184.95	o 4630
182.87/185.11	o 4626
182.97/185.26	o 4625
183.17/185.42	o 4624
183.27/185.58	o 4621
183.47/185.73	o 4620
183.67/185.90	o 4616
183.77/186.06	o 4614
184.07/186.38	o 4613
184.27/186.53	o 4612
185.26/187.52	o 4610
185.56/187.80	o 4608
185.66/187.97	o 4607
185.86/188.14	o 4606
186.06/188.30	o 4605
186.16/188.47	o 4602
186.36/188.63	o 4599
186.56/188.80	o 4597
187.15/189.47	o 4592
187.35/189.63	o 4591
187.55/189.80	o 4589
187.65/189.96	o 4587
187.85/190.14	o 4585
188.05/190.31	o 4583
188.64/190.98	o 4580
188.84/191.15	o 4579
189.04/191.32	o 4578
189.34/191.64	o 4575
189.84/192.15	o 4573
190.13/192.49	o 4572
190.34/192.66	o 4571
190.54/192.82	o 4569
192.51/194.85	o 4568
192.71/195.02	o 4565
192.91/195.20	o 4563
193.01/195.37	o 4562
193.21/195.54	o 4560
193.41/195.72	o 4553
193.51/195.89	o 4551
194.61/196.92	o 4550
195.40/197.79	o 4549
195.60/197.97	o 4548
195.80/198.15	o 4547
196.00/198.32	o 4545
196.20/198.51	o 4544
196.30/198.69	o 4543
196.50/198.88	o 4541
196.70/199.06	o 4540
196.89/199.25	o 4539
197.09/199.43	o 4538
197.39/199.79	o 4537
197.59/199.97	o 4536
197.98/200.34	o 4533
198.18/200.52	o 4532
199.08/201.40	o 4531
199.18/201.58	o 4530
199.68/202.10	o 4529
199.88/202.28	o 4525
200.08/202.47	o 4522
200.27/202.66	o 4521
200.97/203.40	o 4519
201.37/203.78	o 4518
201.76/204.15	o 4517
203.45/205.86	o 4515
203.65/206.05	o 4512
204.25/206.64	o 4511
204.45/206.84	o 4510
204.85/207.23	o 4508
205.05/207.42	o 4507
205.25/207.61	o 4506
205.45/207.81	o 4503
205.95/208.39	o 4501
206.55/208.98	o 4499
206.74/209.18	o 4498
207.74/210.17	o 4497
208.13/210.56	o 4495
208.53/210.95	o 4493
208.73/211.14	o 4491
208.93/211.33	o 4490
209.12/211.52	o 4488
209.42/211.90	o 4484
209.62/212.09	o 4482
210.22/212.68	o 4481
210.42/212.88	o 4480
212.31/214.72	o 4479
212.61/215.06	o 4477
213.01/215.48	o 4476
213.60/216.05	o 4474
213.80/216.27	o 4471
214.00/216.48	o 4470
214.20/216.69	o 4469
215.49/217.95	o 4466
215.69/218.16	o 4463
215.89/218.37	o 4462
216.08/218.58	o 4460
216.39/218.81	o 4458
216.58/219.02	o 4457
217.18/219.62	o 4455
217.38/219.83	o 4451
217.58/220.04	o 4449
220.56/223.03	o 4448
221.55/224.10	o 4444
222.05/224.54	o 4441
222.25/224.76	o 4439
222.45/224.97	o 4436
222.85/225.40	o 4433
223.14/225.62	o 4432
223.34/225.82	o 4429
223.54/226.04	o 4428
223.74/226.26	o 4426
223.94/226.48	o 4425
224.24/226.70	o 4422
224.44/226.92	o 4420
224.64/227.14	o 4419
225.73/228.25	o 4418
228.12/230.63	o 4415
229.61/232.14	o 4414
230.01/232.59	o 4413
230.51/233.02	o 4412
230.90/233.47	o 4411
231.41/233.92	o 4410
231.80/234.37	o 4408
232.00/234.59	o 4406
233.49/236.01	o 4405
233.69/236.23	o 4404
234.08/236.67	o 4403
234.38/236.90	o 4402
234.58/237.12	o 4401
234.78/237.36	o 4400
234.98/237.58	o 4399
235.88/238.47	o 4397
236.97/239.50	o 4396
239.75/242.38	o 4395
240.05/242.61	o 4394
242.04/244.66	o 4390
242.54/245.10	o 4388
242.74/245.33	o 4385
244.13/246.70	o 4383
245.03/247.64	o 4382
245.13/247.78	o 4381
245.62/248.23	o 4380
245.82/248.47	o 4379
246.12/248.71	o 4378
246.52/249.17	o 4376
246.72/249.40	o 4374
249.50/252.15	o 4373
249.70/252.37	o 4370
249.90/252.59	o 4369
250.20/252.82	o 4368
250.40/253.05	o 4367
250.60/253.28	o 4366
251.78/254.45	o 4365
251.98/254.67	o 4363
252.28/254.91	o 4361
252.88/255.59	o 4360
253.18/255.82	o 4359
253.38/256.06	o 4358
253.58/256.30	o 4357
254.07/256.76	o 4355
254.38/257.00	o 4352
255.97/258.68	o 4349
256.96/259.64	o 4348
257.45/260.13	o 4346
257.95/260.62	o 4345
258.15/260.87	o 4344
258.45/261.11	o 4342
258.65/261.35	o 4340
258.95/261.60	o 4339
259.15/261.85	o 4338
259.34/262.07	o 4333
259.64/262.31	o 4332
260.04/262.78	o 4330
260.33/263.04	o 4326
260.53/263.28	o 4325
262.03/264.74	o 4323
262.23/264.98	o 4321
262.52/265.25	o 4319
262.82/265.51	o 4316
263.02/265.76	o 4313
263.82/266.52	o 4311
264.01/266.77	o 4310
264.31/267.04	o 4307
264.51/267.30	o 4306
265.31/268.07	o 4305
266.11/268.84	o 4304
266.61/269.34	o 4301
266.90/269.60	o 4300
267.10/269.86	o 4294
267.40/270.10	o 4290
267.61/270.36	o 4288
267.91/270.62	o 4287
268.60/271.33	o 4283
269.10/271.82	o 4282
269.79/272.56	o 4281
270.09/272.82	o 4279
270.29/273.07	o 4278
270.59/273.32	o 4276
272.57/275.37	o 4273
274.66/277.43	o 4272
274.86/277.68	o 4268
275.65/278.48	o 4266
275.96/278.75	o 4263
276.45/279.28	o 4262
277.04/279.81	o 4260
277.54/280.35	o 4258
277.83/280.63	o 4257
278.93/281.71	o 4256
279.13/281.98	o 4253
280.23/283.05	o 4252
280.52/283.32	o 4251
280.72/283.59	o 4249
280.92/283.80	o 4245
281.22/284.07	o 4243
281.52/284.33	o 4242
281.72/284.59	o 4241
282.02/284.86	o 4239
282.31/285.13	o 4234
282.81/285.65	o 4233
283.11/285.93	o 4232
283.31/286.19	o 4231
283.61/286.45	o 4229
283.91/286.72	o 4228
284.70/287.51	o 4227
287.39/290.21	o 4225
289.48/292.34	o 4224
290.27/293.17	o 4221
291.07/294.00	o 4219
291.36/294.27	o 4217
294.15/297.04	o 4215
295.55/298.47	o 4213
296.14/299.04	o 4211
296.43/299.33	o 4209
297.23/300.17	o 4206
297.53/300.46	o 4205
297.83/300.74	o 4203
299.52/302.49	o 4199
303.69/306.65	o 4198
304.00/306.96	o 4197
304.60/307.57	o 4194
304.90/307.86	o 4193
305.79/308.76	o 4190
306.09/309.07	o 4188
306.39/309.38	o 4187
306.69/309.68	o 4186
306.99/309.98	o 4184
307.58/310.60	o 4179
307.98/310.90	o 4177
308.18/311.16	o 4175
308.47/311.46	o 4172
308.77/311.76	o 4170
309.07/312.06	o 4168
312.95/315.97	o 4165
313.25/316.27	o 4163
313.54/316.58	o 4161
313.84/316.89	o 4158
314.24/317.21	o 4156
314.54/317.52	o 4153
320.20/323.26	o 4151
320.80/323.87	o 4148
323.88/326.91	o 4147
324.78/327.83	o 4146
326.87/329.92	o 4145
327.17/330.22	o 4143
327.47/330.52	o 4141
327.77/330.83	o 4139
328.07/331.13	o 4138
329.55/332.60	o 4137
329.75/332.89	o 4136
331.84/334.94	o 4133
332.15/335.23	o 4132
334.33/337.43	o 4128
334.63/337.72	o 4127
334.93/338.01	o 4125
335.72/338.88	o 4122
336.02/339.16	o 4121
338.30/341.47	o 4120
338.60/341.75	o 4119
338.90/342.05	o 4117
339.19/342.35	o 4116
339.49/342.65	o 4114
340.09/343.26	o 4113
340.39/343.56	o 4110
341.58/344.76	o 4109
342.18/345.37	o 4108
343.37/346.59	o 4106
346.44/349.60	o 4104
346.64/349.89	o 4102
347.24/350.45	o 4100
347.84/351.02	o 4097
348.14/351.30	o 4095
348.34/351.59	o 4090
349.24/352.41	o 4089
349.44/352.69	o 4086
350.94/354.11	o 4080
351.14/354.39	o 4079
351.74/354.96	o 4078
353.14/356.31	o 4077
353.34/356.59	o 4075
353.94/357.16	o 4071
354.74/357.90	o 4070
354.94/358.19	o 4066
355.24/358.48	o 4063
355.54/358.76	o 4060
355.84/359.05	o 4059
356.74/359.93	o 4057
357.04/360.21	o 4056
357.54/360.78	o 4055
357.84/361.06	o 4052
360.24/363.49	o 4051
360.54/363.77	o 4050
362.24/365.41	o 4048
363.24/366.50	o 4046
363.53/366.77	o 4043
364.14/367.32	o 4041
364.33/367.60	o 4039
364.63/367.88	o 4036
365.24/368.44	o 4035
366.93/370.12	o 4033
367.23/370.41	o 4032
367.73/370.97	o 4031
368.83/372.06	o 4027
369.13/372.34	o 4026
369.43/372.62	o 4025
369.63/372.90	o 4024
369.92/373.18	o 4022
370.83/374.02	o 4021
370.92/374.20	o 4018
372.12/375.30	o 4017
372.62/375.84	o 4015
373.32/376.52	o 4014
375.22/378.43	o 4011
375.52/378.72	o 4007
376.03/379.27	o 4006
376.93/380.11	o 4004
378.82/382.03	o 4003
379.52/382.75	o 4002
379.82/383.03	o 4001
380.12/383.31	o 3999
380.62/383.86	o 3997
380.92/384.14	o 3995
381.52/384.70	o 3994
382.02/385.25	o 3993
383.42/386.66	o 3992
383.72/386.95	o 3990
384.02/387.23	o 3989
384.31/387.51	o 3987
384.61/387.80	o 3985
387.32/390.55	o 3984
387.61/390.83	o 3983
387.91/391.11	o 3982
388.11/391.39	o 3980
388.32/391.60	o 3979
388.91/392.14	o 3978
389.41/392.69	o 3977
391.11/394.36	o 3976
394.60/397.83	o 3974
394.91/398.11	o 3972
396.80/400.04	o 3969
397.30/400.58	o 3965
397.61/400.86	o 3964
397.91/401.13	o 3961
398.01/401.29	o 3959
398.61/401.83	o 3958
402.11/405.32	o 3956
402.40/405.61	o 3955
403.71/406.94	o 3953
404.00/407.22	o 3952
405.30/408.57	o 3949
405.60/408.84	o 3948
405.90/409.12	o 3947
406.40/409.68	o 3945
406.70/409.96	o 3944
407.30/410.51	o 3943
407.50/410.74	o 3942
407.80/411.01	o 3941
408.00/411.30	o 3939
408.30/411.58	o 3937
408.60/411.85	o 3936
409.40/412.69	o 3932
410.00/413.25	o 3930
410.30/413.55	o 3928
410.59/413.83	o 3927
410.89/414.12	o 3926
411.19/414.40	o 3925
413.59/416.82	o 3924
413.79/417.09	o 3923
414.09/417.37	o 3922
415.89/419.19	o 3921
416.19/419.48	o 3919
416.59/419.89	o 3916
417.19/420.45	o 3914
418.49/421.74	o 3909
418.79/422.01	o 3908
419.09/422.31	o 3905
419.29/422.50	o 3904
419.78/423.07	o 3900
422.38/425.62	o 3899
423.28/426.50	o 3895
423.48/426.79	o 3894
425.78/429.03	o 3892
425.88/429.19	o 3890
428.18/431.50	o 3889
428.48/431.80	o 3888
428.78/432.09	o 3887
429.08/432.39	o 3886
430.57/433.88	o 3885
430.87/434.19	o 3884
431.18/434.48	o 3882
431.48/434.79	o 3881
432.39/435.69	o 3880
432.98/436.30	o 3879
433.39/436.60	o 3875
433.58/436.81	o 3872
433.78/437.04	o 3871
434.08/437.31	o 3869
434.38/437.61	o 3868
434.68/437.90	o 3866
434.88/438.20	o 3865
435.18/438.49	o 3862
435.78/439.05	o 3860
436.08/439.34	o 3858
438.77/442.06	o 3856
441.67/444.97	o 3855
441.97/445.27	o 3854
442.27/445.57	o 3853
443.77/447.07	o 3851
444.37/447.65	o 3848
446.17/449.41	o 3845
446.36/449.70	o 3843
446.96/450.27	o 3841
449.36/452.60	o 3838
449.56/452.89	o 3837
452.67/455.95	o 3836
453.27/456.56	o 3834
456.36/459.66	o 3833
456.66/459.96	o 3832
457.56/460.82	o 3830
457.86/461.12	o 3829
458.16/461.43	o 3827
458.46/461.70	o 3826
459.36/462.62	o 3824
459.66/462.94	o 3823
461.75/465.09	o 3822
462.06/465.39	o 3821
462.35/465.62	o 3820
462.55/465.85	o 3816
462.85/466.13	o 3812
463.16/466.44	o 3811
464.35/467.69	o 3806
465.05/468.31	o 3803
471.75/475.08	o 3802
473.15/476.40	o 3800
476.35/479.64	o 3799
498.34/501.69	o 3798
499.04/502.34	o 3795
501.43/504.75	o 3792
501.73/505.01	o 3790
502.03/505.32	o 3788
502.23/505.56	o 3785
502.53/505.87	o 3783
502.83/506.19	o 3780
503.53/506.82	o 3778
503.83/507.14	o 3777
504.13/507.46	o 3775
504.43/507.77	o 3773
505.13/508.41	o 3772
505.43/508.72	o 3770
507.03/510.31	o 3769
514.53/517.88	o 3767
516.13/519.50	o 3765
520.63/523.90	o 3764
534.22/537.55	o 3763
534.63/537.90	o 3761
535.63/538.91	o 3760
535.92/539.25	o 3759
536.32/539.60	o 3757
536.62/539.94	o 3753
537.32/540.65	o 3751
538.02/541.35	o 3749
546.21/549.56	o 3748
547.31/550.60	o 3747
547.61/550.95	o 3746
549.41/552.72	o 3742
550.51/553.81	o 3741
550.81/554.17	o 3739
551.12/554.41	o 3736
551.41/554.78	o 3734
581.49/584.85	   
581.49/584.85	   search
581.49/584.85	     run=0  nbConstraintChecks=1333103863  nbAssignments=3471
581.49/584.85	       =>  wckTime=567.3  cpuTime=565.11  mem=67M389
581.49/584.85	   
581.49/584.85	   global
581.49/584.85	     nbConstraintChecks=1333103863  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
581.49/584.85	     solvingWckTime=567.286  solvingCpuTime=565.1  expiredTime=no  totalExploration=no  nbFoundSolutions=0
581.49/584.85	     globalCpuTime=579.78
581.49/584.85	       =>  wckTime=583.541  cpuTime=579.73  mem=67M389
581.49/584.85	   
581.49/584.85	   solver DecomposerSolver being built... 
587.93/591.38	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-1112804-1215874227/watcher-1112804-1215874227 -o /tmp/evaluation-result-1112804-1215874227/solver-1112804-1215874227 -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-1112804-1215874227.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: 0.00 0.00 0.00 1/72 11427
/proc/meminfo: memFree=1899040/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=18572 CPUtime=0
/proc/11427/stat : 11427 (runsolver) D 11425 11427 11351 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44120818 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 227607637287 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/11427/statm: 4643 292 257 25 0 2626 0

[startup+0.0429229 s]
/proc/loadavg: 0.00 0.00 0.00 1/72 11427
/proc/meminfo: memFree=1899040/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=272 CPUtime=0
/proc/11427/stat : 11427 (java) D 11425 11427 11351 0 -1 0 216 0 1 0 0 0 0 0 18 0 1 0 44120818 278528 37 996147200 134512640 134550740 4294955952 18446744073709551615 9839396 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11427/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.101933 s]
/proc/loadavg: 0.00 0.00 0.00 1/72 11427
/proc/meminfo: memFree=1899040/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=10336 CPUtime=0
/proc/11427/stat : 11427 (java) D 11425 11427 11351 0 -1 0 369 0 14 0 0 0 0 0 18 0 1 0 44120818 10584064 186 996147200 134512640 134550740 4294955952 18446744073709551615 9810730 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/11427/statm: 2584 186 143 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10336

[startup+0.301977 s]
/proc/loadavg: 0.00 0.00 0.00 1/72 11427
/proc/meminfo: memFree=1899040/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=860580 CPUtime=0.01
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 1415 0 49 0 0 1 0 0 18 0 2 0 44120818 881233920 1209 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 215145 1209 461 9 0 210124 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860580

[startup+0.702053 s]
/proc/loadavg: 0.00 0.00 0.00 1/72 11427
/proc/meminfo: memFree=1899040/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=866740 CPUtime=0.07
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 3347 0 124 0 4 3 0 0 18 0 9 0 44120818 887541760 2960 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 216685 2960 1588 9 0 211247 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 866740

[startup+1.50121 s]
/proc/loadavg: 0.00 0.00 0.00 4/91 11447
/proc/meminfo: memFree=1861448/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=867260 CPUtime=0.42
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 6548 0 133 0 35 7 0 0 18 0 9 0 44120818 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 216815 6050 1969 9 0 211343 0
[pid=11427/tid=11429] ppid=11425 vsize=867260 CPUtime=0.34
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 5563 0 95 0 28 6 0 0 18 0 9 0 44120832 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=867260 CPUtime=0
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44120853 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11431] ppid=11425 vsize=867260 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44120859 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11432] ppid=11425 vsize=867260 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44120859 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11437] ppid=11425 vsize=867260 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=867260 CPUtime=0.07
/proc/11427/task/11438/stat : 11438 (java) R 11425 11427 11351 0 -1 64 323 0 1 0 7 0 0 0 16 0 9 0 44120868 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 102090841 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=867260 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=867260 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 888074240 6050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 867260

[startup+3.10152 s]
/proc/loadavg: 0.16 0.03 0.01 3/91 11447
/proc/meminfo: memFree=1771080/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868176 CPUtime=2.02
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 24121 0 133 0 186 16 0 0 18 0 9 0 44120818 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217044 23588 2004 9 0 211572 0
[pid=11427/tid=11429] ppid=11425 vsize=868176 CPUtime=1.63
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15686 0 95 0 151 12 0 0 17 0 9 0 44120832 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 102606112 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868176 CPUtime=0.2
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 7151 0 0 0 18 2 0 0 17 0 9 0 44120853 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868176 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868176 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120859 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868176 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868176 CPUtime=0.16
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 624 0 1 0 16 0 0 0 16 0 9 0 44120868 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868176 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868176 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889012224 23588 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 868176

[startup+6.30115 s]
/proc/loadavg: 0.16 0.03 0.01 3/91 11457
/proc/meminfo: memFree=1737096/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868276 CPUtime=5.2
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 26116 0 133 0 500 20 0 0 18 0 9 0 44120818 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217069 25578 2006 9 0 211597 0
[pid=11427/tid=11429] ppid=11425 vsize=868276 CPUtime=4.63
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15726 0 95 0 449 14 0 0 25 0 9 0 44120832 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4126888712 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868276 CPUtime=0.32
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 9069 0 0 0 29 3 0 0 17 0 9 0 44120853 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120859 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868276 CPUtime=0.22
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 661 0 1 0 21 1 0 0 15 0 9 0 44120868 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889114624 25578 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 868276

[startup+12.7014 s]
/proc/loadavg: 0.44 0.10 0.03 3/91 11457
/proc/meminfo: memFree=1696912/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868276 CPUtime=11.56
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 27619 0 133 0 1131 25 0 0 18 0 9 0 44120818 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217069 27077 2007 9 0 211597 0
[pid=11427/tid=11429] ppid=11425 vsize=868276 CPUtime=10.87
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15732 0 95 0 1069 18 0 0 25 0 9 0 44120832 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4126892571 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868276 CPUtime=0.41
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 10544 0 0 0 37 4 0 0 16 0 9 0 44120853 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120859 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868276 CPUtime=0.26
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 683 0 1 0 25 1 0 0 16 0 9 0 44120868 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889114624 27077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (KiB) 868276

[startup+25.5029 s]
/proc/loadavg: 0.68 0.16 0.05 4/91 11457
/proc/meminfo: memFree=1582544/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868364 CPUtime=24.29
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 36051 0 133 0 2397 32 0 0 18 0 9 0 44120818 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217091 35313 2640 9 0 211597 0
[pid=11427/tid=11429] ppid=11425 vsize=868364 CPUtime=22.7
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15801 0 95 0 2249 21 0 0 25 0 9 0 44120832 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4127220026 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868364 CPUtime=1.23
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 18876 0 0 0 116 7 0 0 16 0 9 0 44120853 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868364 CPUtime=0.31
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 714 0 1 0 30 1 0 0 16 0 9 0 44120868 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889204736 35313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (KiB) 868364

[startup+51.103 s]
/proc/loadavg: 1.20 0.32 0.11 3/91 11457
/proc/meminfo: memFree=1457360/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868364 CPUtime=49.69
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 36055 0 133 0 4931 38 0 0 18 0 9 0 44120818 889204736 35316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217091 35316 2640 9 0 211597 0
[pid=11427/tid=11429] ppid=11425 vsize=868364 CPUtime=48.11
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15802 0 95 0 4783 28 0 0 25 0 9 0 44120832 889204736 35316 996147200 134512640 134550740 4294955952 18446744073709551615 4126893185 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868364 CPUtime=1.23
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 18876 0 0 0 116 7 0 0 16 0 9 0 44120853 889204736 35316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889204736 35316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868364 CPUtime=0.32
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 717 0 1 0 31 1 0 0 15 0 9 0 44120868 889204736 35316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868364 CPUtime=0

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

/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868364 CPUtime=0.33
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 725 0 1 0 32 1 0 0 16 0 9 0 44120868 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.06
Current children cumulated vsize (KiB) 868364

[startup+522.303 s]
/proc/loadavg: 2.01 1.69 0.87 3/89 11492
/proc/meminfo: memFree=1736160/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868364 CPUtime=519.03
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 36064 0 133 0 51791 112 0 0 18 0 9 0 44120818 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217091 35324 2640 9 0 211597 0
[pid=11427/tid=11429] ppid=11425 vsize=868364 CPUtime=517.43
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15803 0 95 0 51641 102 0 0 25 0 9 0 44120832 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4126888808 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868364 CPUtime=1.23
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 18876 0 0 0 116 7 0 0 16 0 9 0 44120853 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868364 CPUtime=0.33
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 725 0 1 0 32 1 0 0 16 0 9 0 44120868 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.03
Current children cumulated vsize (KiB) 868364

[startup+582.301 s]
/proc/loadavg: 2.06 1.76 0.95 3/89 11527
/proc/meminfo: memFree=1752352/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868364 CPUtime=578.99
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 36064 0 133 0 57785 114 0 0 18 0 9 0 44120818 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217091 35324 2640 9 0 211597 0
[pid=11427/tid=11429] ppid=11425 vsize=868364 CPUtime=577.39
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15803 0 95 0 57635 104 0 0 25 0 9 0 44120832 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4127208540 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868364 CPUtime=1.23
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 18876 0 0 0 116 7 0 0 16 0 9 0 44120853 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120859 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868364 CPUtime=0.33
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 725 0 1 0 32 1 0 0 16 0 9 0 44120868 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868364 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889204736 35324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 578.99
Current children cumulated vsize (KiB) 868364

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

[startup+585.501 s]
/proc/loadavg: 2.06 1.76 0.95 3/89 11527
/proc/meminfo: memFree=1745248/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868276 CPUtime=582.14
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 47456 0 133 0 58096 118 0 0 18 0 9 0 44120818 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217069 46648 2619 9 0 211597 0
[pid=11427/tid=11429] ppid=11425 vsize=868276 CPUtime=580.32
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15880 0 95 0 57928 104 0 0 25 0 9 0 44120832 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4125976552 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868276 CPUtime=1.4
/proc/11427/task/11430/stat : 11430 (java) S 11425 11427 11351 0 -1 64 30152 0 0 0 130 10 0 0 16 0 9 0 44120853 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120859 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868276 CPUtime=0.37
/proc/11427/task/11438/stat : 11438 (java) R 11425 11427 11351 0 -1 64 746 0 1 0 36 1 0 0 15 0 9 0 44120868 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868276 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889114624 46648 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 868276

[startup+588.703 s]
/proc/loadavg: 2.14 1.78 0.96 4/89 11527
/proc/meminfo: memFree=1074144/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868528 CPUtime=585.34
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 200493 0 133 0 58358 176 0 0 18 0 9 0 44120818 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217132 199542 2618 9 0 211660 0
[pid=11427/tid=11429] ppid=11425 vsize=868528 CPUtime=580.79
/proc/11427/task/11429/stat : 11429 (java) R 11425 11427 11351 0 -1 64 15902 0 95 0 57974 105 0 0 25 0 9 0 44120832 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868528 CPUtime=4.13
/proc/11427/task/11430/stat : 11430 (java) R 11425 11427 11351 0 -1 64 183161 0 0 0 345 68 0 0 17 0 9 0 44120853 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44120859 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868528 CPUtime=0.38
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 752 0 1 0 37 1 0 0 15 0 9 0 44120868 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 585.34
Current children cumulated vsize (KiB) 868528

[startup+590.303 s]
/proc/loadavg: 2.14 1.78 0.96 5/89 11527
/proc/meminfo: memFree=1068256/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868528 CPUtime=586.93
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 200684 0 133 0 58517 176 0 0 18 0 9 0 44120818 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217132 199542 2618 9 0 211660 0
[pid=11427/tid=11429] ppid=11425 vsize=868528 CPUtime=580.8
/proc/11427/task/11429/stat : 11429 (java) S 11425 11427 11351 0 -1 64 15904 0 95 0 57975 105 0 0 24 0 9 0 44120832 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868528 CPUtime=5.72
/proc/11427/task/11430/stat : 11430 (java) R 11425 11427 11351 0 -1 64 183350 0 0 0 504 68 0 0 19 0 9 0 44120853 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44120859 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868528 CPUtime=0.38
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 752 0 1 0 37 1 0 0 15 0 9 0 44120868 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 586.93
Current children cumulated vsize (KiB) 868528

[startup+591.101 s]
/proc/loadavg: 2.14 1.78 0.96 3/89 11527
/proc/meminfo: memFree=1060064/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=868528 CPUtime=587.73
/proc/11427/stat : 11427 (java) S 11425 11427 11351 0 -1 0 200747 0 133 0 58597 176 0 0 18 0 9 0 44120818 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11427/statm: 217132 199542 2618 9 0 211660 0
[pid=11427/tid=11429] ppid=11425 vsize=868528 CPUtime=580.8
/proc/11427/task/11429/stat : 11429 (java) S 11425 11427 11351 0 -1 64 15904 0 95 0 57975 105 0 0 16 0 9 0 44120832 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11430] ppid=11425 vsize=868528 CPUtime=6.52
/proc/11427/task/11430/stat : 11430 (java) R 11425 11427 11351 0 -1 64 183413 0 0 0 584 68 0 0 21 0 9 0 44120853 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11431] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11431/stat : 11431 (java) S 11425 11427 11351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120859 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11432] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11432/stat : 11432 (java) S 11425 11427 11351 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44120859 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11437] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11437/stat : 11437 (java) S 11425 11427 11351 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44120868 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11438] ppid=11425 vsize=868528 CPUtime=0.38
/proc/11427/task/11438/stat : 11438 (java) S 11425 11427 11351 0 -1 64 752 0 1 0 37 1 0 0 15 0 9 0 44120868 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11427/tid=11439] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11439/stat : 11439 (java) S 11425 11427 11351 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44120869 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11427/tid=11440] ppid=11425 vsize=868528 CPUtime=0
/proc/11427/task/11440/stat : 11440 (java) S 11425 11427 11351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120869 889372672 199542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 587.73
Current children cumulated vsize (KiB) 868528

[startup+591.501 s]
/proc/loadavg: 2.14 1.78 0.96 3/89 11527
/proc/meminfo: memFree=1060064/2055920 swapFree=4180696/4192956
[pid=11427] ppid=11425 vsize=0 CPUtime=588.11
/proc/11427/stat : 11427 (java) Z 11425 11427 11351 0 -1 12 200755 0 133 0 58625 186 0 0 16 0 2 0 44120818 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 588.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 591.519
CPU time (s): 588.141
CPU user time (s): 586.259
CPU system time (s): 1.88171
CPU usage (%): 99.4288
Max. virtual memory (cumulated for all children) (KiB): 868528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.259
system time used= 1.88171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200755
page faults= 133
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14703
involuntary context switches= 19112

runsolver used 0.768883 second user time and 2.13867 second system time

The end

Launcher Data (download as text)

Begin job on node66 at 2008-07-12 16:50:28
IDJOB=1112804
IDBENCH=61477
IDSOLVER=360
FILE ID=node66/1112804-1215874227
PBS_JOBID= 7903592
Free space on /tmp= 66416 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp15/normalized-fapp15-3000-0.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112804-1215874227/watcher-1112804-1215874227 -o /tmp/evaluation-result-1112804-1215874227/solver-1112804-1215874227 -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-1112804-1215874227.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= db919c043cbe2ccf39dda4a6ced1254b
RANDOM SEED=530300111

node66.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.259
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.259
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:       1899648 kB
Buffers:         21132 kB
Cached:          78632 kB
SwapCached:       7200 kB
Active:          75896 kB
Inactive:        35016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1899648 kB
SwapTotal:     4192956 kB
SwapFree:      4180696 kB
Dirty:           12144 kB
Writeback:           0 kB
Mapped:          16300 kB
Slab:            30884 kB
Committed_AS:   104212 kB
PageTables:       1704 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= 66416 MiB
End job on node66 at 2008-07-12 17:00:20