Trace number 1112803

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 617.48 619

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.08/0.66	
0.08/0.66	Abscon 112 (May, 2008)
0.20/1.40	
0.20/1.40	   configuration
0.20/1.40	     name=mrdac-wdeg.xml
0.28/1.45	   
0.28/1.45	   instance
0.28/1.45	     name=HOME/instance-1112803-1215874227.xml
0.28/1.49	   
0.28/1.49	   domains being loaded...
0.37/1.53	   
0.37/1.53	   variables being loaded...
0.67/1.81	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182  nbTotalValues=515606
0.67/1.81	       =>  wckTime=0.411  cpuTime=0.29  mem=27M453
0.67/1.81	   
0.67/1.81	   predicates being loaded...
0.67/1.88	   
0.67/1.88	   constraints being loaded...
10.76/11.97	   
10.76/11.97	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 54M575)
16.26/17.41	     nbConstraints=33021  nbConvertedConstraints=1261  nbConvertConstraintsChecks=37225747  nbExtensionStructures=1012
16.26/17.41	     nbSharedExtensionStructures=786  nbConflictsStructures=2452  nbSharedConflictsStructures=1045
16.26/17.41	     nbUnbuiltConflictsStructures=3401  nbSharedBinaryRepresentations=315426  nbEvaluationManagers=4841
16.26/17.41	     nbSharedEvaluationManagers=26919  minDegree=3  maxDegree=29  minArity=2  maxArity=2
16.26/17.41	       =>  wckTime=16.005  cpuTime=14.9  mem=75M589
16.66/17.89	   
16.66/17.89	   solver LocalSearchSolver being built... 
16.75/17.94	       =>  wckTime=16.54  cpuTime=14.94  mem=67M358
16.86/18.06	
16.86/18.06	s SATISFIABLE
16.86/18.06	o 8492
16.86/18.09	o 8484
16.96/18.12	o 8475
16.96/18.15	o 8468
16.96/18.17	o 8462
16.96/18.20	o 8457
17.06/18.21	o 8453
17.06/18.24	o 8449
17.06/18.26	o 8445
17.06/18.27	o 8443
17.06/18.29	o 8441
17.16/18.31	o 8439
17.16/18.32	o 8430
17.16/18.34	o 8422
17.16/18.36	o 8414
17.16/18.38	o 8408
17.16/18.39	o 8403
17.26/18.41	o 8399
17.26/18.42	o 8395
17.26/18.44	o 8391
17.26/18.46	o 8388
17.26/18.47	o 8385
17.26/18.49	o 8383
17.36/18.51	o 8381
17.36/18.53	o 8379
17.36/18.54	o 8378
17.36/18.56	o 8367
17.36/18.60	o 8358
17.46/18.62	o 8350
17.46/18.65	o 8342
17.46/18.69	o 8334
17.56/18.72	o 8326
17.56/18.75	o 8318
17.56/18.78	o 8312
17.65/18.81	o 8306
17.65/18.84	o 8300
17.65/18.87	o 8294
17.75/18.90	o 8289
17.75/18.94	o 8284
17.75/18.96	o 8279
17.75/18.99	o 8274
17.85/19.01	o 8269
17.85/19.04	o 8265
17.85/19.06	o 8261
17.85/19.09	o 8257
17.95/19.11	o 8253
17.95/19.13	o 8250
17.95/19.15	o 8247
17.95/19.17	o 8244
17.95/19.19	o 8241
18.05/19.21	o 8238
18.05/19.23	o 8235
18.05/19.25	o 8232
18.05/19.28	o 8230
18.15/19.30	o 8228
18.15/19.32	o 8227
18.15/19.34	o 8226
18.15/19.36	o 8225
18.15/19.39	o 8224
18.25/19.44	o 8219
18.25/19.46	o 8216
18.25/19.48	o 8210
18.36/19.51	o 8203
18.36/19.54	o 8198
18.36/19.58	o 8193
18.46/19.61	o 8184
18.46/19.65	o 8176
18.46/19.69	o 8168
18.56/19.73	o 8161
18.56/19.78	o 8154
18.66/19.82	o 8147
18.66/19.87	o 8141
18.76/19.91	o 8135
18.76/19.95	o 8129
18.76/19.99	o 8123
18.85/20.03	o 8117
18.85/20.08	o 8112
18.95/20.12	o 8107
18.95/20.17	o 8102
19.05/20.21	o 8097
19.05/20.25	o 8094
19.05/20.28	o 8089
19.15/20.32	o 8084
19.15/20.36	o 8079
19.15/20.40	o 8074
19.25/20.43	o 8070
19.25/20.46	o 8066
19.25/20.50	o 8062
19.35/20.53	o 8058
19.35/20.56	o 8054
19.45/20.60	o 8052
19.45/20.63	o 8048
19.45/20.66	o 8044
19.45/20.69	o 8040
19.55/20.73	o 8037
19.55/20.76	o 8034
19.55/20.79	o 8031
19.65/20.83	o 8028
19.65/20.86	o 8025
19.65/20.89	o 8022
19.75/20.92	o 8020
19.75/20.94	o 8018
19.75/20.97	o 8016
19.75/21.00	o 8014
19.84/21.02	o 8012
19.84/21.04	o 8010
19.84/21.08	o 8008
19.94/21.10	o 8006
19.94/21.13	o 8004
19.94/21.15	o 7998
19.94/21.17	o 7997
19.94/21.19	o 7996
20.05/21.22	o 7995
20.05/21.24	o 7994
20.05/21.26	o 7993
20.05/21.28	o 7992
20.05/21.30	o 7991
20.15/21.32	o 7990
20.15/21.34	o 7989
20.15/21.35	o 7988
20.15/21.37	o 7987
20.15/21.39	o 7986
20.25/21.43	o 7984
20.25/21.45	o 7980
20.25/21.48	o 7977
20.25/21.49	o 7974
20.34/21.51	o 7968
20.34/21.56	o 7963
20.34/21.57	o 7961
20.44/21.60	o 7956
20.44/21.63	o 7950
20.44/21.65	o 7947
20.44/21.66	o 7946
20.44/21.68	o 7945
20.54/21.71	o 7942
20.54/21.72	o 7937
20.54/21.74	o 7936
20.54/21.77	o 7934
20.54/21.79	o 7932
20.64/21.81	o 7925
20.64/21.86	o 7923
20.74/21.91	o 7916
20.74/21.96	o 7909
20.84/22.02	o 7902
20.84/22.07	o 7896
20.94/22.14	o 7890
20.94/22.19	o 7884
21.04/22.25	o 7878
21.14/22.31	o 7876
21.14/22.36	o 7870
21.24/22.41	o 7864
21.24/22.47	o 7858
21.34/22.52	o 7853
21.34/22.58	o 7848
21.44/22.63	o 7843
21.44/22.69	o 7838
21.53/22.75	o 7833
21.64/22.80	o 7828
21.64/22.86	o 7823
21.74/22.91	o 7818
21.74/22.97	o 7814
21.84/23.02	o 7810
21.84/23.07	o 7806
21.94/23.13	o 7802
21.94/23.18	o 7798
22.03/23.23	o 7794
22.03/23.28	o 7790
22.13/23.33	o 7786
22.13/23.38	o 7783
22.23/23.43	o 7780
22.23/23.47	o 7777
22.33/23.52	o 7774
22.33/23.56	o 7773
22.43/23.60	o 7771
22.43/23.65	o 7768
22.43/23.69	o 7765
22.53/23.73	o 7762
22.53/23.78	o 7759
22.63/23.82	o 7756
22.63/23.86	o 7753
22.63/23.90	o 7750
22.73/23.94	o 7747
22.73/23.97	o 7744
22.83/24.00	o 7741
22.83/24.04	o 7738
22.83/24.07	o 7736
22.95/24.11	o 7734
22.95/24.14	o 7732
22.95/24.17	o 7730
22.95/24.20	o 7728
23.05/24.22	o 7726
23.05/24.26	o 7724
23.05/24.29	o 7722
23.14/24.32	o 7720
23.14/24.35	o 7718
23.14/24.38	o 7717
23.24/24.40	o 7716
23.24/24.43	o 7715
23.24/24.45	o 7713
23.24/24.47	o 7712
23.34/24.50	o 7711
23.34/24.52	o 7710
23.34/24.54	o 7709
23.44/24.65	o 7707
23.44/24.67	o 7702
23.44/24.69	o 7698
23.54/24.71	o 7696
23.54/24.73	o 7693
23.54/24.75	o 7691
23.54/24.77	o 7690
23.54/24.78	o 7684
23.64/24.81	o 7679
23.64/24.84	o 7674
23.64/24.86	o 7669
23.64/24.88	o 7665
23.73/24.90	o 7663
23.73/24.91	o 7661
23.73/24.94	o 7660
23.73/24.96	o 7658
23.83/25.00	o 7655
23.83/25.02	o 7650
23.83/25.04	o 7647
23.83/25.06	o 7639
23.83/25.08	o 7637
23.83/25.10	o 7632
23.93/25.11	o 7628
23.93/25.13	o 7625
23.93/25.15	o 7620
23.93/25.17	o 7611
23.93/25.19	o 7610
24.03/25.21	o 7605
24.03/25.23	o 7596
24.03/25.27	o 7593
24.03/25.29	o 7588
24.13/25.31	o 7585
24.13/25.34	o 7584
24.13/25.36	o 7582
24.13/25.38	o 7578
24.23/25.40	o 7575
24.23/25.42	o 7571
24.23/25.44	o 7569
24.23/25.47	o 7566
24.23/25.49	o 7565
24.33/25.51	o 7562
24.33/25.53	o 7559
24.33/25.55	o 7556
24.33/25.58	o 7554
24.33/25.60	o 7553
24.42/25.62	o 7551
24.42/25.64	o 7548
24.42/25.67	o 7541
24.52/25.70	o 7537
24.52/25.73	o 7533
24.52/25.78	o 7530
24.62/25.81	o 7524
24.62/25.85	o 7522
24.62/25.90	o 7515
24.72/25.95	o 7508
24.82/26.01	o 7502
24.82/26.06	o 7496
24.92/26.11	o 7490
24.92/26.17	o 7484
25.02/26.22	o 7479
25.02/26.28	o 7474
25.13/26.33	o 7469
25.13/26.39	o 7464
25.22/26.44	o 7460
25.22/26.49	o 7456
25.32/26.54	o 7452
25.32/26.59	o 7448
25.42/26.64	o 7444
25.42/26.69	o 7440
25.52/26.74	o 7436
25.52/26.79	o 7432
25.62/26.84	o 7428
25.62/26.88	o 7424
25.73/26.93	o 7420
25.73/26.98	o 7413
25.83/27.02	o 7408
25.83/27.07	o 7404
25.93/27.11	o 7400
25.93/27.15	o 7396
26.03/27.20	o 7393
26.03/27.24	o 7390
26.03/27.29	o 7387
26.13/27.33	o 7384
26.13/27.37	o 7381
26.23/27.42	o 7378
26.23/27.46	o 7375
26.23/27.50	o 7372
26.33/27.54	o 7370
26.33/27.58	o 7368
26.42/27.62	o 7366
26.42/27.65	o 7364
26.42/27.69	o 7362
26.52/27.72	o 7360
26.52/27.76	o 7358
26.52/27.79	o 7356
26.62/27.83	o 7354
26.62/27.86	o 7352
26.62/27.89	o 7350
26.72/27.93	o 7348
26.72/27.96	o 7346
26.72/27.99	o 7345
26.82/28.02	o 7344
26.82/28.05	o 7343
26.82/28.08	o 7342
26.92/28.11	o 7341
26.92/28.14	o 7340
26.92/28.17	o 7339
26.92/28.20	o 7338
27.02/28.23	o 7337
27.02/28.25	o 7332
27.02/28.28	o 7331
27.22/28.45	o 7326
27.22/28.47	o 7322
27.22/28.49	o 7318
27.32/28.51	o 7317
27.32/28.53	o 7311
27.32/28.56	o 7309
27.32/28.58	o 7303
27.32/28.60	o 7298
27.42/28.62	o 7293
27.42/28.64	o 7289
27.42/28.66	o 7284
27.42/28.69	o 7282
27.51/28.71	o 7279
27.51/28.75	o 7276
27.51/28.78	o 7272
27.51/28.80	o 7269
27.61/28.82	o 7262
27.61/28.85	o 7259
27.61/28.87	o 7257
27.71/28.91	o 7253
27.71/28.93	o 7249
27.71/28.96	o 7245
27.71/28.99	o 7244
27.81/29.01	o 7242
27.81/29.04	o 7241
27.81/29.06	o 7238
27.81/29.10	o 7233
27.91/29.13	o 7230
27.91/29.15	o 7229
28.02/29.22	o 7227
28.02/29.24	o 7224
28.02/29.27	o 7220
28.02/29.30	o 7216
28.12/29.32	o 7213
28.12/29.37	o 7209
28.12/29.39	o 7208
28.21/29.43	o 7204
28.21/29.46	o 7201
28.21/29.49	o 7199
28.31/29.55	o 7192
28.31/29.59	o 7190
28.42/29.62	o 7185
28.42/29.66	o 7183
28.42/29.70	o 7179
28.52/29.74	o 7178
28.52/29.77	o 7173
28.61/29.82	o 7172
28.71/29.90	o 7171
28.71/29.94	o 7166
28.71/29.98	o 7163
28.81/30.03	o 7162
28.81/30.08	o 7159
28.90/30.12	o 7156
28.90/30.17	o 7150
29.00/30.21	o 7146
29.00/30.29	o 7145
29.10/30.33	o 7140
29.10/30.38	o 7137
29.20/30.42	o 7130
29.20/30.48	o 7129
29.30/30.53	o 7128
29.40/30.61	o 7126
29.40/30.66	o 7125
29.51/30.71	o 7118
29.51/30.79	o 7113
29.61/30.87	o 7108
29.70/30.94	o 7103
29.80/31.01	o 7098
29.80/31.08	o 7093
29.90/31.16	o 7088
30.00/31.23	o 7084
30.10/31.31	o 7080
30.10/31.38	o 7075
30.20/31.46	o 7072
30.30/31.53	o 7068
30.40/31.60	o 7064
30.40/31.67	o 7060
30.50/31.73	o 7056
30.50/31.79	o 7053
30.60/31.86	o 7049
30.70/31.92	o 7043
30.70/31.99	o 7039
30.80/32.06	o 7035
30.90/32.12	o 7031
30.90/32.19	o 7028
30.99/32.25	o 7027
31.09/32.31	o 7023
31.09/32.38	o 7020
31.19/32.44	o 7017
31.29/32.50	o 7014
31.29/32.57	o 7011
31.39/32.63	o 7008
31.50/32.70	o 7005
31.50/32.77	o 7002
31.60/32.82	o 6999
31.60/32.89	o 6996
31.71/32.95	o 6993
31.81/33.02	o 6991
31.81/33.07	o 6989
31.90/33.14	o 6987
31.90/33.19	o 6985
32.00/33.25	o 6983
32.10/33.31	o 6981
32.10/33.36	o 6979
32.20/33.42	o 6977
32.20/33.47	o 6975
32.30/33.53	o 6973
32.30/33.58	o 6969
32.40/33.63	o 6968
32.40/33.69	o 6967
32.50/33.74	o 6965
32.50/33.79	o 6964
32.60/33.85	o 6959
32.60/33.89	o 6958
32.69/33.95	o 6957
32.69/33.99	o 6956
32.80/34.05	o 6955
32.80/34.10	o 6954
32.90/34.15	o 6953
32.90/34.20	o 6946
33.39/34.60	o 6945
33.39/34.65	o 6942
33.49/34.75	o 6938
33.49/34.79	o 6934
33.59/34.83	o 6931
33.59/34.87	o 6925
33.70/34.91	o 6924
33.70/34.95	o 6922
33.70/34.99	o 6917
33.80/35.04	o 6916
33.80/35.09	o 6912
33.90/35.17	o 6911
34.00/35.21	o 6906
34.00/35.25	o 6901
34.00/35.29	o 6900
34.09/35.33	o 6899
34.09/35.36	o 6895
34.19/35.40	o 6891
34.19/35.44	o 6890
34.19/35.48	o 6889
34.29/35.55	o 6887
34.29/35.59	o 6885
34.39/35.62	o 6883
34.39/35.65	o 6880
34.39/35.69	o 6875
34.49/35.77	o 6871
34.59/35.81	o 6869
34.59/35.84	o 6866
34.59/35.88	o 6863
34.69/35.95	o 6861
34.69/35.99	o 6857
34.79/36.03	o 6856
34.79/36.07	o 6855
34.89/36.11	o 6854
34.89/36.15	o 6852
34.89/36.19	o 6851
34.99/36.28	o 6845
35.09/36.32	o 6841
35.09/36.36	o 6838
35.09/36.40	o 6836
35.19/36.43	o 6834
35.19/36.47	o 6831
35.28/36.51	o 6830
35.28/36.55	o 6824
35.28/36.60	o 6821
35.38/36.64	o 6820
35.38/36.68	o 6819
35.48/36.72	o 6817
35.48/36.75	o 6814
35.48/36.79	o 6809
35.58/36.83	o 6807
35.58/36.88	o 6806
35.68/36.92	o 6801
35.68/36.96	o 6797
35.78/37.01	o 6795
35.78/37.05	o 6791
35.78/37.09	o 6790
35.88/37.13	o 6786
35.88/37.17	o 6784
35.98/37.22	o 6782
35.98/37.26	o 6777
36.09/37.31	o 6774
36.19/37.41	o 6773
36.19/37.45	o 6772
36.19/37.49	o 6771
36.28/37.54	o 6768
36.28/37.58	o 6764
36.38/37.62	o 6761
36.38/37.66	o 6759
36.48/37.70	o 6757
36.48/37.75	o 6756
36.48/37.79	o 6749
36.58/37.88	o 6747
36.68/37.92	o 6742
36.68/37.97	o 6741
36.78/38.02	o 6738
36.78/38.07	o 6734
36.88/38.11	o 6732
36.88/38.16	o 6729
36.98/38.20	o 6727
36.98/38.24	o 6723
36.98/38.30	o 6721
37.09/38.34	o 6719
37.09/38.38	o 6716
37.19/38.44	o 6714
37.19/38.49	o 6711
37.29/38.54	o 6706
37.29/38.58	o 6705
37.39/38.63	o 6701
37.39/38.68	o 6700
37.48/38.73	o 6697
37.58/38.83	o 6696
37.58/38.88	o 6693
37.68/38.93	o 6691
37.68/38.98	o 6687
37.78/39.08	o 6685
37.88/39.13	o 6684
37.88/39.18	o 6682
37.98/39.22	o 6678
37.98/39.28	o 6674
38.08/39.34	o 6673
38.08/39.38	o 6671
38.18/39.44	o 6669
38.18/39.50	o 6667
38.39/39.65	o 6662
38.48/39.70	o 6661
38.58/39.80	o 6655
38.68/39.90	o 6650
38.68/39.95	o 6644
38.78/40.00	o 6642
38.88/40.11	o 6638
38.98/40.21	o 6637
39.08/40.31	o 6636
39.08/40.36	o 6635
39.18/40.41	o 6633
39.28/40.50	o 6630
39.28/40.56	o 6627
39.38/40.61	o 6623
39.48/40.72	o 6621
39.48/40.77	o 6617
39.58/40.83	o 6615
39.68/40.94	o 6614
39.68/40.99	o 6613
39.78/41.05	o 6609
39.88/41.10	o 6608
40.08/41.31	o 6607
40.17/41.47	o 6602
40.38/41.62	o 6601
40.38/41.69	o 6599
40.49/41.75	o 6594
40.59/41.81	o 6589
40.59/41.88	o 6585
40.68/41.96	o 6581
40.78/42.03	o 6577
40.88/42.11	o 6573
40.88/42.17	o 6569
40.98/42.25	o 6567
41.08/42.32	o 6564
41.08/42.40	o 6561
41.18/42.47	o 6558
41.28/42.53	o 6556
41.38/42.60	o 6555
41.38/42.69	o 6552
41.48/42.75	o 6549
41.59/42.83	o 6547
41.59/42.90	o 6545
41.68/42.96	o 6543
41.78/43.03	o 6541
41.88/43.10	o 6539
41.88/43.16	o 6537
41.98/43.22	o 6536
41.98/43.29	o 6535
42.08/43.35	o 6534
42.38/43.61	o 6533
42.38/43.67	o 6532
42.48/43.74	o 6531
42.48/43.80	o 6529
42.58/43.85	o 6528
42.68/43.91	o 6527
43.18/44.40	o 6525
43.18/44.46	o 6522
43.38/44.68	o 6521
43.48/44.73	o 6520
43.58/44.84	o 6519
43.58/44.89	o 6517
43.68/44.99	o 6515
43.78/45.04	o 6511
43.78/45.10	o 6507
43.88/45.19	o 6502
43.97/45.25	o 6500
44.07/45.30	o 6494
44.07/45.35	o 6491
44.17/45.44	o 6487
44.27/45.50	o 6483
44.27/45.55	o 6478
44.37/45.65	o 6473
44.47/45.71	o 6468
44.47/45.75	o 6465
44.57/45.81	o 6461
44.57/45.86	o 6456
44.68/45.92	o 6454
44.68/45.97	o 6453
44.77/46.03	o 6452
44.77/46.09	o 6449
44.88/46.15	o 6446
44.98/46.26	o 6445
45.07/46.37	o 6443
45.17/46.43	o 6441
45.17/46.49	o 6437
45.27/46.54	o 6433
45.37/46.60	o 6429
45.37/46.66	o 6426
45.47/46.77	o 6425
45.57/46.83	o 6424
45.67/46.95	o 6421
45.77/47.01	o 6416
45.87/47.12	o 6415
45.87/47.18	o 6413
45.98/47.24	o 6408
45.98/47.30	o 6405
46.08/47.35	o 6403
46.18/47.42	o 6402
46.18/47.47	o 6399
46.28/47.53	o 6392
46.38/47.60	o 6391
46.38/47.66	o 6386
46.57/47.86	o 6383
46.67/47.91	o 6380
46.77/48.04	o 6377
46.87/48.10	o 6375
46.87/48.17	o 6369
47.18/48.41	o 6368
47.18/48.48	o 6365
47.27/48.55	o 6363
47.37/48.67	o 6362
47.47/48.73	o 6360
47.47/48.80	o 6356
47.57/48.86	o 6353
47.67/48.92	o 6350
47.77/49.04	o 6347
47.87/49.11	o 6346
47.97/49.29	o 6345
48.07/49.35	o 6342
48.18/49.41	o 6339
48.18/49.47	o 6337
48.27/49.54	o 6336
48.37/49.60	o 6334
48.37/49.67	o 6332
48.57/49.81	o 6328
48.67/49.94	o 6327
48.77/50.00	o 6322
48.77/50.07	o 6319
48.87/50.19	o 6317
48.97/50.27	o 6313
49.07/50.33	o 6312
49.17/50.40	o 6310
49.17/50.47	o 6308
49.27/50.54	o 6303
49.37/50.61	o 6301
49.37/50.69	o 6300
49.47/50.76	o 6298
49.57/50.83	o 6295
49.67/50.90	o 6294
49.67/50.98	o 6293
49.87/51.12	o 6292
49.87/51.19	o 6289
49.97/51.27	o 6287
50.06/51.34	o 6283
50.16/51.42	o 6278
50.16/51.50	o 6277
50.26/51.57	o 6276
50.47/51.72	o 6275
50.47/51.79	o 6270
50.56/51.86	o 6265
50.66/51.92	o 6262
50.66/51.99	o 6260
50.76/52.07	o 6256
50.86/52.13	o 6254
50.96/52.28	o 6253
51.06/52.34	o 6248
51.16/52.48	o 6245
51.26/52.55	o 6241
51.36/52.62	o 6238
51.36/52.70	o 6235
51.46/52.77	o 6229
51.57/52.84	o 6227
51.87/53.14	o 6226
51.97/53.21	o 6222
51.97/53.28	o 6220
52.07/53.35	o 6217
52.27/53.57	o 6214
52.37/53.65	o 6208
52.57/53.80	o 6204
52.57/53.89	o 6203
52.67/53.96	o 6199
52.76/54.03	o 6196
52.86/54.11	o 6195
52.86/54.18	o 6194
52.96/54.26	o 6192
53.16/54.49	o 6190
53.26/54.56	o 6189
53.46/54.71	o 6185
53.46/54.78	o 6183
53.56/54.86	o 6179
53.76/55.00	o 6178
53.76/55.07	o 6177
53.86/55.15	o 6175
53.96/55.22	o 6174
53.96/55.30	o 6169
54.06/55.36	o 6167
54.17/55.44	o 6165
54.37/55.62	o 6163
54.37/55.69	o 6161
54.46/55.76	o 6160
54.56/55.83	o 6157
54.56/55.89	o 6154
54.87/56.15	o 6152
54.96/56.22	o 6149
55.06/56.35	o 6145
55.16/56.42	o 6140
55.16/56.48	o 6137
55.26/56.54	o 6134
55.36/56.61	o 6132
55.36/56.68	o 6129
55.46/56.73	o 6126
55.56/56.86	o 6120
55.66/56.99	o 6119
55.76/57.05	o 6115
55.87/57.12	o 6113
55.87/57.19	o 6111
56.06/57.32	o 6107
56.06/57.38	o 6106
56.16/57.45	o 6105
56.26/57.52	o 6100
56.26/57.60	o 6096
56.36/57.67	o 6092
56.46/57.75	o 6090
56.56/57.83	o 6086
56.66/57.91	o 6082
56.66/58.00	o 6079
56.76/58.08	o 6076
56.86/58.17	o 6073
56.96/58.25	o 6071
57.06/58.32	o 6066
57.06/58.40	o 6064
57.16/58.47	o 6061
57.26/58.55	o 6058
57.36/58.64	o 6056
57.46/58.72	o 6054
57.56/58.80	o 6052
57.56/58.89	o 6050
57.66/58.96	o 6049
57.76/59.04	o 6048
57.86/59.12	o 6047
57.86/59.19	o 6046
57.95/59.27	o 6045
58.06/59.34	o 6044
58.16/59.41	o 6043
58.16/59.49	o 6041
58.36/59.63	o 6039
58.66/59.99	o 6037
58.86/60.19	o 6036
59.56/60.86	o 6030
59.66/60.93	o 6029
59.66/61.00	o 6025
59.76/61.06	o 6023
59.86/61.13	o 6018
59.86/61.20	o 6016
59.96/61.26	o 6011
60.06/61.32	o 6009
60.16/61.46	o 6008
60.26/61.52	o 6006
60.26/61.58	o 6005
60.45/61.71	o 6002
60.55/61.83	o 6001
60.55/61.90	o 6000
60.65/61.96	o 5997
60.75/62.02	o 5995
60.75/62.08	o 5994
60.85/62.14	o 5992
60.95/62.25	o 5991
61.05/62.32	o 5989
61.25/62.56	o 5985
61.36/62.63	o 5982
61.36/62.69	o 5978
61.46/62.75	o 5974
61.55/62.88	o 5971
61.65/62.95	o 5967
61.75/63.01	o 5964
61.85/63.15	o 5963
61.95/63.30	o 5961
62.15/63.44	o 5958
62.25/63.52	o 5957
62.36/63.60	o 5955
62.36/63.67	o 5953
62.46/63.75	o 5952
62.56/63.83	o 5949
62.66/63.90	o 5945
62.66/63.98	o 5940
62.76/64.06	o 5936
62.85/64.14	o 5934
62.95/64.22	o 5930
63.05/64.30	o 5927
63.05/64.37	o 5926
63.15/64.45	o 5924
63.25/64.52	o 5922
63.35/64.60	o 5918
63.35/64.68	o 5917
63.45/64.75	o 5913
63.56/64.83	o 5908
63.66/64.98	o 5906
63.75/65.05	o 5902
63.95/65.20	o 5900
64.05/65.35	o 5899
64.15/65.43	o 5894
64.25/65.50	o 5890
64.35/65.66	o 5889
64.45/65.74	o 5884
64.55/65.81	o 5879
64.55/65.88	o 5875
64.65/65.96	o 5872
64.75/66.03	o 5871
64.85/66.10	o 5869
64.85/66.18	o 5866
65.05/66.32	o 5863
65.05/66.39	o 5860
65.15/66.47	o 5859
65.25/66.54	o 5858
65.35/66.61	o 5853
65.35/66.69	o 5852
65.45/66.78	o 5850
65.95/67.25	o 5849
66.05/67.31	o 5847
66.05/67.38	o 5846
66.15/67.45	o 5841
66.25/67.52	o 5835
66.25/67.59	o 5832
66.35/67.66	o 5830
66.45/67.73	o 5829
66.55/67.86	o 5828
66.65/67.93	o 5826
66.65/67.99	o 5820
66.85/68.13	o 5819
66.85/68.20	o 5818
66.95/68.27	o 5817
67.05/68.34	o 5815
67.15/68.40	o 5810
67.15/68.47	o 5808
67.25/68.53	o 5806
67.35/68.60	o 5804
67.35/68.68	o 5803
67.64/68.95	o 5801
67.75/69.03	o 5799
67.85/69.10	o 5795
67.85/69.17	o 5794
67.96/69.24	o 5792
68.06/69.31	o 5790
68.06/69.37	o 5785
68.25/69.52	o 5783
68.25/69.58	o 5781
68.45/69.73	o 5780
68.55/69.80	o 5776
68.55/69.88	o 5772
68.65/69.95	o 5769
68.75/70.02	o 5768
68.85/70.17	o 5765
69.05/70.31	o 5764
69.05/70.38	o 5761
69.15/70.45	o 5759
69.24/70.52	o 5758
69.24/70.59	o 5755
69.34/70.66	o 5753
69.44/70.72	o 5752
69.54/70.87	o 5751
69.64/70.94	o 5749
69.74/71.01	o 5747
69.74/71.08	o 5744
69.84/71.14	o 5743
69.94/71.22	o 5740
69.94/71.28	o 5737
70.04/71.35	o 5733
70.14/71.49	o 5729
70.24/71.56	o 5727
70.34/71.63	o 5726
70.44/71.71	o 5725
70.54/71.85	o 5724
70.64/71.93	o 5720
70.74/72.08	o 5719
70.84/72.15	o 5718
70.95/72.23	o 5716
71.05/72.30	o 5714
71.05/72.39	o 5713
71.25/72.55	o 5710
71.45/72.71	o 5708
71.45/72.79	o 5707
71.55/72.87	o 5703
71.64/72.96	o 5698
71.94/73.28	o 5694
72.04/73.37	o 5691
72.14/73.45	o 5688
72.24/73.54	o 5683
72.54/73.80	o 5681
72.54/73.89	o 5679
72.64/73.98	o 5677
72.94/74.24	o 5675
73.04/74.33	o 5673
73.14/74.42	o 5672
73.24/74.52	o 5671
73.34/74.61	o 5670
73.34/74.70	o 5667
73.44/74.79	o 5663
73.54/74.88	o 5662
73.64/74.96	o 5661
73.84/75.13	o 5659
73.94/75.30	o 5658
74.04/75.38	o 5656
74.14/75.46	o 5653
74.24/75.55	o 5649
74.44/75.72	o 5648
74.64/75.99	o 5647
74.84/76.17	o 5645
74.94/76.26	o 5643
75.04/76.35	o 5640
75.34/76.63	o 5637
75.44/76.72	o 5635
75.54/76.82	o 5634
75.64/77.00	o 5632
75.74/77.09	o 5630
75.84/77.18	o 5628
76.04/77.35	o 5626
76.24/77.53	o 5625
76.34/77.63	o 5624
76.54/77.83	o 5622
76.64/77.93	o 5621
76.94/78.20	o 5617
77.04/78.30	o 5616
77.14/78.49	o 5615
77.24/78.59	o 5614
77.34/78.68	o 5611
77.73/79.07	o 5610
78.03/79.36	o 5609
78.13/79.45	o 5603
78.23/79.54	o 5599
78.33/79.63	o 5598
78.44/79.72	o 5597
78.54/79.82	o 5593
78.64/79.91	o 5592
78.74/80.01	o 5591
78.84/80.10	o 5590
78.84/80.19	o 5588
79.05/80.38	o 5587
79.24/80.58	o 5585
79.54/80.87	o 5583
79.64/80.97	o 5580
79.74/81.06	o 5575
80.04/81.36	o 5574
80.14/81.46	o 5573
80.24/81.57	o 5569
80.34/81.67	o 5568
80.54/81.88	o 5567
80.64/81.97	o 5564
80.84/82.17	o 5563
80.94/82.27	o 5557
81.04/82.36	o 5556
81.14/82.45	o 5554
81.24/82.55	o 5551
81.34/82.65	o 5547
81.54/82.83	o 5545
82.13/83.43	o 5541
82.24/83.54	o 5538
82.34/83.65	o 5535
82.43/83.76	o 5532
82.53/83.88	o 5530
82.63/83.98	o 5528
82.73/84.08	o 5526
82.83/84.19	o 5524
82.93/84.30	o 5522
83.13/84.40	o 5520
83.23/84.51	o 5518
83.34/84.61	o 5517
83.44/84.71	o 5516
83.53/84.82	o 5515
83.63/84.93	o 5514
83.73/85.04	o 5513
83.83/85.14	o 5512
83.93/85.24	o 5511
84.03/85.35	o 5510
84.13/85.45	o 5509
85.94/87.28	o 5508
86.04/87.38	o 5507
86.14/87.48	o 5502
86.23/87.59	o 5500
86.33/87.69	o 5497
86.43/87.79	o 5490
86.53/87.90	o 5488
86.74/88.00	o 5484
86.83/88.10	o 5483
86.93/88.20	o 5480
87.03/88.30	o 5477
87.13/88.40	o 5476
87.23/88.50	o 5475
87.33/88.61	o 5474
87.74/89.03	o 5473
87.84/89.13	o 5471
88.03/89.34	o 5467
88.13/89.45	o 5466
88.23/89.55	o 5463
88.43/89.75	o 5461
88.53/89.87	o 5459
88.63/89.96	o 5455
88.73/90.06	o 5453
88.83/90.17	o 5451
88.93/90.28	o 5449
89.03/90.39	o 5447
89.23/90.51	o 5446
89.33/90.62	o 5442
89.43/90.73	o 5440
89.53/90.84	o 5438
89.63/90.96	o 5433
89.83/91.20	o 5432
90.03/91.32	o 5431
90.33/91.68	o 5430
90.73/92.04	o 5429
90.83/92.16	o 5426
90.93/92.28	o 5424
91.13/92.41	o 5422
91.23/92.53	o 5420
91.33/92.65	o 5418
91.43/92.77	o 5416
91.53/92.89	o 5412
91.73/93.02	o 5410
91.83/93.14	o 5407
91.93/93.26	o 5406
92.13/93.50	o 5401
92.53/93.88	o 5400
92.72/94.01	o 5398
92.82/94.14	o 5395
92.92/94.26	o 5393
93.02/94.38	o 5391
93.52/94.87	o 5390
93.62/95.00	o 5387
93.92/95.25	o 5386
94.02/95.37	o 5384
94.12/95.50	o 5383
94.33/95.62	o 5381
94.43/95.74	o 5380
95.12/96.46	o 5378
95.22/96.57	o 5374
95.32/96.69	o 5370
95.62/96.94	o 5369
96.22/97.55	o 5367
96.32/97.66	o 5366
96.42/97.78	o 5363
96.52/97.90	o 5360
96.82/98.13	o 5355
96.92/98.25	o 5353
97.02/98.37	o 5352
97.32/98.61	o 5349
97.42/98.73	o 5347
97.52/98.85	o 5343
97.72/99.07	o 5341
98.12/99.44	o 5338
98.22/99.56	o 5336
98.52/99.80	o 5334
98.82/100.16	o 5333
98.92/100.28	o 5329
99.12/100.40	o 5327
99.22/100.52	o 5323
99.32/100.65	o 5322
99.42/100.76	o 5320
99.52/100.89	o 5318
100.42/101.77	o 5317
100.52/101.90	o 5315
101.03/102.38	o 5314
101.22/102.50	o 5312
101.32/102.62	o 5310
101.42/102.74	o 5308
101.52/102.86	o 5305
101.82/103.11	o 5301
102.03/103.36	o 5299
102.52/103.84	o 5298
102.62/103.97	o 5297
103.02/104.35	o 5293
103.12/104.48	o 5292
103.32/104.61	o 5289
103.42/104.74	o 5287
103.52/104.87	o 5285
104.32/105.65	o 5284
105.01/106.33	o 5283
105.11/106.46	o 5280
105.51/106.85	o 5278
105.61/106.99	o 5276
105.81/107.12	o 5272
105.91/107.25	o 5271
106.01/107.37	o 5269
106.42/107.76	o 5265
106.52/107.89	o 5264
106.71/108.03	o 5260
106.81/108.17	o 5259
107.01/108.31	o 5257
107.11/108.44	o 5256
107.21/108.58	o 5254
107.41/108.72	o 5252
107.52/108.85	o 5250
107.62/108.99	o 5249
108.51/109.80	o 5246
108.91/110.22	o 5242
109.01/110.36	o 5239
109.22/110.50	o 5236
109.32/110.63	o 5233
109.42/110.77	o 5232
109.62/110.91	o 5229
109.72/111.04	o 5226
109.82/111.18	o 5225
110.32/111.60	o 5224
110.42/111.73	o 5223
110.52/111.88	o 5221
110.72/112.02	o 5218
110.92/112.30	o 5217
111.12/112.44	o 5215
111.22/112.58	o 5213
111.41/112.73	o 5212
111.51/112.88	o 5210
111.81/113.16	o 5209
112.02/113.31	o 5204
112.11/113.45	o 5201
112.61/113.96	o 5196
113.31/114.68	o 5194
113.81/115.13	o 5192
113.91/115.28	o 5191
114.11/115.43	o 5189
114.21/115.58	o 5188
114.41/115.73	o 5186
114.81/116.18	o 5185
115.01/116.32	o 5182
115.11/116.47	o 5181
115.31/116.62	o 5178
115.41/116.76	o 5174
115.61/116.91	o 5170
115.71/117.06	o 5167
115.91/117.20	o 5165
116.01/117.35	o 5163
116.11/117.50	o 5162
116.61/117.95	o 5159
118.81/120.11	o 5156
119.20/120.54	o 5153
119.30/120.69	o 5151
119.61/120.97	o 5149
119.80/121.12	o 5146
119.91/121.26	o 5144
120.21/121.54	o 5142
120.71/122.10	o 5140
120.91/122.23	o 5139
121.01/122.37	o 5137
121.21/122.51	o 5134
121.30/122.62	o 5133
121.40/122.76	o 5129
121.50/122.89	o 5127
121.70/123.03	o 5125
121.81/123.18	o 5122
122.00/123.31	o 5119
122.10/123.45	o 5118
122.40/123.72	o 5116
122.50/123.85	o 5115
122.80/124.13	o 5112
122.91/124.27	o 5110
123.10/124.40	o 5107
123.30/124.67	o 5105
123.60/124.94	o 5104
123.70/125.07	o 5103
123.90/125.20	o 5100
124.00/125.33	o 5099
124.10/125.47	o 5097
124.80/126.20	o 5094
125.10/126.46	o 5092
125.20/126.59	o 5091
125.40/126.72	o 5090
125.50/126.85	o 5086
125.60/126.97	o 5083
125.80/127.10	o 5082
126.30/127.62	o 5081
126.49/127.89	o 5078
126.79/128.16	o 5077
126.89/128.29	o 5074
127.09/128.43	o 5070
127.19/128.57	o 5069
127.40/128.71	o 5068
127.49/128.85	o 5065
127.79/129.12	o 5063
127.89/129.25	o 5060
127.99/129.39	o 5059
128.80/130.19	o 5058
129.00/130.32	o 5056
129.40/130.70	o 5054
129.80/131.11	o 5052
129.90/131.25	o 5051
130.30/131.65	o 5048
131.10/132.42	o 5047
131.20/132.56	o 5044
131.60/132.95	o 5042
131.70/133.09	o 5038
131.89/133.22	o 5037
131.99/133.35	o 5036
132.09/133.48	o 5033
132.29/133.61	o 5029
132.39/133.76	o 5028
132.69/134.04	o 5027
132.80/134.17	o 5025
132.99/134.31	o 5024
133.09/134.45	o 5020
133.19/134.59	o 5018
133.49/134.88	o 5017
133.69/135.01	o 5015
134.09/135.44	o 5014
134.39/135.70	o 5013
135.89/137.22	o 5011
135.99/137.36	o 5010
136.09/137.49	o 5006
137.19/138.58	o 5002
137.39/138.71	o 5001
137.49/138.85	o 5000
138.19/139.51	o 4996
138.40/139.77	o 4995
138.59/139.91	o 4991
139.50/140.84	o 4988
139.59/140.98	o 4987
139.79/141.12	o 4986
139.89/141.26	o 4983
140.09/141.41	o 4981
140.19/141.55	o 4979
140.29/141.70	o 4977
140.50/141.84	o 4975
140.60/141.98	o 4973
140.79/142.13	o 4971
140.89/142.27	o 4969
141.09/142.41	o 4968
141.19/142.55	o 4967
141.29/142.70	o 4966
141.49/142.84	o 4965
141.60/142.98	o 4964
141.79/143.12	o 4962
141.89/143.26	o 4961
142.09/143.40	o 4960
142.19/143.54	o 4957
143.79/145.15	o 4954
144.39/145.77	o 4952
144.59/145.92	o 4950
144.69/146.08	o 4948
144.89/146.24	o 4947
144.99/146.39	o 4946
145.19/146.55	o 4945
146.58/147.94	o 4943
146.78/148.10	o 4941
146.88/148.26	o 4940
147.09/148.42	o 4937
147.38/148.74	o 4932
147.68/149.04	o 4930
148.19/149.51	o 4926
148.29/149.66	o 4924
148.48/149.81	o 4922
148.58/149.96	o 4921
148.78/150.11	o 4916
149.08/150.41	o 4915
149.58/150.99	o 4912
149.78/151.13	o 4910
149.88/151.28	o 4906
150.08/151.43	o 4905
150.18/151.58	o 4900
150.78/152.17	o 4898
150.99/152.32	o 4894
151.09/152.47	o 4893
151.29/152.62	o 4892
151.39/152.77	o 4889
151.59/152.92	o 4885
151.69/153.05	o 4883
151.79/153.20	o 4879
151.99/153.35	o 4877
152.09/153.49	o 4875
152.29/153.64	o 4871
152.39/153.78	o 4866
152.59/153.92	o 4865
152.69/154.07	o 4862
152.89/154.21	o 4861
152.99/154.35	o 4858
153.29/154.64	o 4857
153.39/154.78	o 4856
153.58/154.93	o 4855
153.69/155.08	o 4854
153.88/155.22	o 4851
153.98/155.37	o 4850
154.18/155.51	o 4847
154.48/155.80	o 4844
156.88/158.23	o 4842
157.18/158.53	o 4840
157.28/158.68	o 4836
157.48/158.82	o 4834
157.58/158.97	o 4833
157.78/159.12	o 4829
158.18/159.56	o 4828
158.38/159.71	o 4827
158.98/160.31	o 4826
159.28/160.62	o 4824
159.37/160.77	o 4821
159.57/160.93	o 4819
159.67/161.08	o 4816
159.87/161.23	o 4814
159.97/161.38	o 4810
160.17/161.53	o 4809
160.28/161.69	o 4806
160.47/161.84	o 4805
161.07/162.44	o 4804
161.48/162.89	o 4802
162.07/163.49	o 4800
162.58/163.95	o 4799
162.67/164.09	o 4798
163.18/164.54	o 4795
163.48/164.84	o 4794
163.59/164.99	o 4792
165.68/167.03	o 4791
165.78/167.17	o 4788
166.38/167.74	o 4787
166.68/168.03	o 4784
166.78/168.18	o 4779
167.08/168.45	o 4777
167.18/168.59	o 4776
167.38/168.74	o 4774
167.48/168.87	o 4773
167.68/169.01	o 4771
167.87/169.30	o 4769
168.08/169.45	o 4767
168.17/169.58	o 4766
168.37/169.72	o 4765
168.77/170.16	o 4763
168.87/170.29	o 4762
169.08/170.44	o 4759
169.18/170.57	o 4756
169.47/170.86	o 4755
169.77/171.14	o 4754
170.07/171.43	o 4753
170.38/171.73	o 4750
170.78/172.17	o 4749
172.98/174.37	o 4748
173.18/174.52	o 4746
173.28/174.66	o 4745
173.88/175.26	o 4743
174.08/175.40	o 4741
174.17/175.56	o 4739
174.37/175.71	o 4736
174.47/175.86	o 4734
174.68/176.00	o 4733
175.07/176.44	o 4732
175.17/176.59	o 4729
175.77/177.18	o 4728
175.97/177.33	o 4726
176.07/177.47	o 4722
176.27/177.62	o 4720
176.37/177.77	o 4717
176.87/178.22	o 4715
176.97/178.38	o 4714
177.17/178.52	o 4713
177.47/178.82	o 4710
177.77/179.11	o 4709
177.87/179.26	o 4708
178.07/179.41	o 4706
178.16/179.55	o 4702
178.87/180.27	o 4701
179.08/180.42	o 4698
179.67/181.01	o 4697
179.77/181.15	o 4695
180.08/181.45	o 4694
180.18/181.58	o 4693
180.37/181.72	o 4691
180.67/182.00	o 4689
181.57/182.90	o 4688
181.67/183.05	o 4685
181.77/183.19	o 4683
182.27/183.63	o 4680
183.17/184.51	o 4678
183.27/184.65	o 4677
183.37/184.80	o 4676
183.57/184.94	o 4675
185.57/186.99	o 4673
185.77/187.14	o 4671
185.86/187.29	o 4667
186.16/187.60	o 4666
186.36/187.76	o 4663
186.56/187.91	o 4661
186.96/188.37	o 4658
187.46/188.83	o 4657
187.56/188.99	o 4656
187.77/189.14	o 4655
187.87/189.29	o 4654
188.16/189.59	o 4652
188.36/189.74	o 4649
188.46/189.89	o 4644
189.37/190.77	o 4643
190.27/191.68	o 4641
190.47/191.84	o 4639
190.57/191.99	o 4638
190.87/192.29	o 4637
191.97/193.35	o 4636
192.17/193.50	o 4635
192.27/193.66	o 4631
192.57/193.98	o 4630
192.77/194.13	o 4626
192.87/194.28	o 4625
193.07/194.45	o 4624
193.27/194.60	o 4621
193.37/194.76	o 4620
193.56/194.93	o 4616
193.66/195.09	o 4614
194.06/195.40	o 4613
194.16/195.56	o 4612
195.16/196.55	o 4610
195.47/196.84	o 4608
195.66/197.01	o 4607
195.76/197.18	o 4606
195.96/197.34	o 4605
196.16/197.51	o 4602
196.26/197.67	o 4599
196.46/197.84	o 4597
197.16/198.51	o 4592
197.26/198.67	o 4591
197.46/198.84	o 4589
197.67/199.01	o 4587
197.76/199.19	o 4585
197.96/199.35	o 4583
198.66/200.04	o 4580
198.86/200.20	o 4579
198.96/200.37	o 4578
199.36/200.70	o 4575
199.86/201.22	o 4573
200.16/201.56	o 4572
200.36/201.72	o 4571
200.46/201.89	o 4569
202.46/203.89	o 4568
202.66/204.07	o 4565
202.86/204.24	o 4563
203.06/204.42	o 4562
203.16/204.59	o 4560
203.36/204.75	o 4553
203.56/204.93	o 4551
204.55/205.95	o 4550
205.46/206.82	o 4549
205.55/206.99	o 4548
205.75/207.17	o 4547
205.95/207.34	o 4545
206.15/207.53	o 4544
206.35/207.71	o 4543
206.46/207.89	o 4541
206.65/208.07	o 4540
206.85/208.25	o 4539
207.05/208.43	o 4538
207.35/208.79	o 4537
207.56/208.97	o 4536
207.95/209.33	o 4533
208.15/209.51	o 4532
208.95/210.39	o 4531
209.15/210.56	o 4530
209.65/211.07	o 4529
209.86/211.25	o 4525
210.05/211.44	o 4522
210.25/211.62	o 4521
210.95/212.36	o 4519
211.35/212.73	o 4518
211.75/213.11	o 4517
213.45/214.81	o 4515
213.65/215.00	o 4512
214.16/215.59	o 4511
214.35/215.78	o 4510
214.75/216.17	o 4508
214.95/216.36	o 4507
215.15/216.56	o 4506
215.36/216.75	o 4503
215.95/217.33	o 4501
216.55/217.92	o 4499
216.75/218.12	o 4498
217.75/219.11	o 4497
218.15/219.51	o 4495
218.45/219.90	o 4493
218.65/220.09	o 4491
218.85/220.28	o 4490
219.05/220.48	o 4488
219.45/220.85	o 4484
219.65/221.05	o 4482
220.25/221.64	o 4481
220.45/221.84	o 4480
222.24/223.66	o 4479
222.64/224.00	o 4477
223.05/224.42	o 4476
223.54/224.99	o 4474
223.84/225.20	o 4471
224.05/225.41	o 4470
224.24/225.62	o 4469
225.44/226.87	o 4466
225.64/227.08	o 4463
225.84/227.29	o 4462
226.14/227.50	o 4460
226.34/227.71	o 4458
226.54/227.92	o 4457
227.14/228.53	o 4455
227.34/228.75	o 4451
227.54/228.96	o 4449
230.54/231.94	o 4448
231.64/233.01	o 4444
232.04/233.45	o 4441
232.24/233.67	o 4439
232.43/233.88	o 4436
232.94/234.31	o 4433
233.13/234.53	o 4432
233.33/234.73	o 4429
233.54/234.96	o 4428
233.74/235.18	o 4426
233.95/235.40	o 4425
234.24/235.62	o 4422
234.44/235.84	o 4420
234.64/236.07	o 4419
235.74/237.20	o 4418
238.24/239.61	o 4415
239.74/241.13	o 4414
240.14/241.57	o 4413
240.64/242.01	o 4412
241.04/242.46	o 4411
241.44/242.89	o 4410
241.94/243.33	o 4408
242.13/243.56	o 4406
243.53/244.98	o 4405
243.73/245.20	o 4404
244.23/245.65	o 4403
244.43/245.87	o 4402
244.73/246.10	o 4401
244.94/246.33	o 4400
245.13/246.55	o 4399
246.04/247.44	o 4397
247.03/248.47	o 4396
249.94/251.33	o 4395
250.14/251.56	o 4394
252.23/253.60	o 4390
252.64/254.05	o 4388
252.83/254.28	o 4385
254.23/255.65	o 4383
255.13/256.59	o 4382
255.33/256.73	o 4381
255.73/257.19	o 4380
256.03/257.42	o 4379
256.23/257.66	o 4378
256.73/258.12	o 4376
256.93/258.35	o 4374
259.73/261.13	o 4373
259.93/261.35	o 4370
260.13/261.58	o 4369
260.43/261.81	o 4368
260.62/262.03	o 4367
260.83/262.27	o 4366
262.02/263.42	o 4365
262.22/263.65	o 4363
262.42/263.89	o 4361
263.12/264.57	o 4360
263.43/264.80	o 4359
263.64/265.05	o 4358
263.83/265.28	o 4357
264.33/265.75	o 4355
264.53/265.98	o 4352
266.23/267.65	o 4349
267.23/268.61	o 4348
267.73/269.10	o 4346
268.13/269.58	o 4345
268.43/269.83	o 4344
268.63/270.07	o 4342
268.92/270.31	o 4340
269.13/270.56	o 4339
269.42/270.81	o 4338
269.62/271.02	o 4333
269.82/271.26	o 4332
270.33/271.74	o 4330
270.52/271.98	o 4326
270.82/272.23	o 4325
272.22/273.68	o 4323
272.52/273.93	o 4321
272.72/274.19	o 4319
273.02/274.45	o 4316
273.32/274.70	o 4313
274.02/275.46	o 4311
274.32/275.72	o 4310
274.52/275.99	o 4307
274.82/276.24	o 4306
275.62/277.02	o 4305
276.32/277.79	o 4304
276.82/278.30	o 4301
277.12/278.55	o 4300
277.42/278.81	o 4294
277.62/279.06	o 4290
277.92/279.32	o 4288
278.12/279.58	o 4287
278.82/280.29	o 4283
279.32/280.79	o 4282
280.12/281.55	o 4281
280.42/281.81	o 4279
280.62/282.06	o 4278
280.92/282.31	o 4276
282.91/284.35	o 4273
285.02/286.42	o 4272
285.22/286.67	o 4268
286.02/287.47	o 4266
286.32/287.73	o 4263
286.83/288.26	o 4262
287.32/288.79	o 4260
287.93/289.33	o 4258
288.22/289.60	o 4257
289.22/290.68	o 4256
289.52/290.95	o 4253
290.62/292.01	o 4252
290.82/292.28	o 4251
291.12/292.55	o 4249
291.31/292.75	o 4245
291.61/293.02	o 4243
291.81/293.28	o 4242
292.11/293.55	o 4241
292.41/293.82	o 4239
292.61/294.08	o 4234
293.21/294.61	o 4233
293.42/294.88	o 4232
293.71/295.15	o 4231
294.01/295.41	o 4229
294.21/295.68	o 4228
295.01/296.47	o 4227
297.72/299.18	o 4225
299.91/301.33	o 4224
300.71/302.16	o 4221
301.51/302.99	o 4219
301.81/303.26	o 4217
304.61/306.03	o 4215
306.01/307.46	o 4213
306.61/308.02	o 4211
306.91/308.31	o 4209
307.72/309.16	o 4206
308.01/309.44	o 4205
308.31/309.72	o 4203
310.01/311.45	o 4199
314.22/315.62	o 4198
314.51/315.92	o 4197
315.11/316.54	o 4194
315.41/316.84	o 4193
316.31/317.74	o 4190
316.61/318.04	o 4188
316.91/318.35	o 4187
317.21/318.65	o 4186
317.51/318.96	o 4184
318.11/319.58	o 4179
318.41/319.88	o 4177
318.71/320.15	o 4175
319.01/320.45	o 4172
319.31/320.75	o 4170
319.61/321.05	o 4168
323.51/324.98	o 4165
323.81/325.28	o 4163
324.11/325.60	o 4161
324.51/325.91	o 4158
324.80/326.22	o 4156
325.10/326.53	o 4153
330.80/332.24	o 4151
331.40/332.85	o 4148
334.50/335.90	o 4147
335.40/336.82	o 4146
337.50/338.91	o 4145
337.80/339.21	o 4143
338.10/339.52	o 4141
338.40/339.84	o 4139
338.70/340.14	o 4138
340.20/341.63	o 4137
340.50/341.92	o 4136
342.49/343.97	o 4133
342.80/344.26	o 4132
345.00/346.47	o 4128
345.29/346.76	o 4127
345.59/347.05	o 4125
346.49/347.91	o 4122
346.69/348.19	o 4121
348.99/350.49	o 4120
349.29/350.78	o 4119
349.59/351.07	o 4117
349.89/351.36	o 4116
350.19/351.66	o 4114
350.79/352.27	o 4113
351.09/352.56	o 4110
352.30/353.77	o 4109
352.90/354.38	o 4108
354.20/355.60	o 4106
357.20/358.64	o 4104
357.50/358.95	o 4102
358.10/359.57	o 4100
358.69/360.18	o 4097
358.99/360.49	o 4095
359.30/360.80	o 4090
360.19/361.69	o 4089
360.50/362.00	o 4086
362.09/363.53	o 4080
362.39/363.84	o 4079
362.99/364.45	o 4078
364.49/365.91	o 4077
364.80/366.21	o 4075
365.39/366.83	o 4071
366.19/367.63	o 4070
366.49/367.94	o 4066
366.79/368.25	o 4063
367.10/368.55	o 4060
367.39/368.86	o 4059
368.39/369.81	o 4057
368.69/370.12	o 4056
369.29/370.73	o 4055
369.59/371.05	o 4052
372.19/373.69	o 4051
372.49/373.99	o 4050
374.29/375.79	o 4048
375.49/376.98	o 4046
375.79/377.29	o 4043
376.39/377.89	o 4041
376.69/378.19	o 4039
377.09/378.50	o 4036
377.69/379.11	o 4035
379.49/380.96	o 4033
379.79/381.27	o 4032
380.39/381.88	o 4031
381.58/383.06	o 4027
381.88/383.37	o 4026
382.18/383.67	o 4025
382.49/383.97	o 4024
382.78/384.27	o 4022
383.68/385.17	o 4021
383.88/385.36	o 4018
385.08/386.54	o 4017
385.68/387.13	o 4015
386.38/387.86	o 4014
388.48/389.92	o 4011
388.78/390.23	o 4007
389.38/390.82	o 4006
390.28/391.72	o 4004
392.38/393.81	o 4003
393.17/394.60	o 4002
393.48/394.91	o 4001
393.77/395.21	o 3999
394.37/395.82	o 3997
394.67/396.13	o 3995
395.27/396.74	o 3994
395.88/397.35	o 3993
397.38/398.88	o 3992
397.68/399.20	o 3990
398.08/399.51	o 3989
398.38/399.82	o 3987
398.68/400.14	o 3985
401.68/403.14	o 3984
401.98/403.44	o 3983
402.28/403.74	o 3982
402.58/404.04	o 3980
402.78/404.26	o 3979
403.38/404.85	o 3978
403.98/405.44	o 3977
405.78/407.24	o 3976
409.47/410.98	o 3974
409.77/411.28	o 3972
411.87/413.36	o 3969
412.47/413.95	o 3965
412.77/414.25	o 3964
413.07/414.55	o 3961
413.28/414.72	o 3959
413.87/415.32	o 3958
417.67/419.15	o 3956
417.97/419.46	o 3955
419.47/420.92	o 3953
419.77/421.23	o 3952
421.27/422.70	o 3949
421.56/423.00	o 3948
421.86/423.30	o 3947
422.46/423.91	o 3945
422.76/424.21	o 3944
423.36/424.81	o 3943
423.56/425.05	o 3942
423.87/425.35	o 3941
424.18/425.66	o 3939
424.47/425.95	o 3937
424.77/426.25	o 3936
425.67/427.15	o 3932
426.27/427.75	o 3930
426.57/428.08	o 3928
426.87/428.38	o 3927
427.17/428.69	o 3926
427.47/429.00	o 3925
430.17/431.60	o 3924
430.37/431.90	o 3923
430.67/432.19	o 3922
432.67/434.17	o 3921
432.97/434.48	o 3919
433.47/434.93	o 3916
434.07/435.54	o 3914
435.47/436.95	o 3909
435.77/437.25	o 3908
436.07/437.57	o 3905
436.27/437.79	o 3904
436.96/438.41	o 3900
439.67/441.20	o 3899
440.67/442.16	o 3895
440.96/442.48	o 3894
443.46/444.92	o 3892
443.56/445.09	o 3890
446.06/447.58	o 3889
446.46/447.90	o 3888
446.76/448.22	o 3887
447.06/448.54	o 3886
448.66/450.14	o 3885
448.96/450.47	o 3884
449.26/450.79	o 3882
449.66/451.11	o 3881
450.56/452.09	o 3880
451.25/452.74	o 3879
451.55/453.07	o 3875
451.76/453.29	o 3872
452.05/453.55	o 3871
452.35/453.84	o 3869
452.65/454.16	o 3868
452.95/454.48	o 3866
453.35/454.80	o 3865
453.65/455.12	o 3862
454.25/455.73	o 3860
454.55/456.04	o 3858
457.56/459.02	o 3856
460.66/462.19	o 3855
461.06/462.52	o 3854
461.36/462.85	o 3853
462.95/464.47	o 3851
463.65/465.11	o 3848
465.55/467.02	o 3845
465.85/467.33	o 3843
466.45/467.95	o 3841
468.95/470.46	o 3838
469.26/470.76	o 3837
472.55/474.07	o 3836
473.25/474.73	o 3834
476.65/478.10	o 3833
476.95/478.43	o 3832
477.85/479.36	o 3830
478.15/479.70	o 3829
478.55/480.03	o 3827
478.85/480.33	o 3826
479.84/481.34	o 3824
480.14/481.68	o 3823
482.55/484.04	o 3822
482.84/484.36	o 3821
483.14/484.61	o 3820
483.34/484.86	o 3816
483.65/485.16	o 3812
483.94/485.49	o 3811
485.34/486.85	o 3806
486.04/487.52	o 3803
493.34/494.83	o 3802
494.74/496.27	o 3800
498.25/499.78	o 3799
522.24/523.72	o 3798
522.93/524.43	o 3795
525.53/527.05	o 3792
525.83/527.33	o 3790
526.13/527.67	o 3788
526.44/527.93	o 3785
526.73/528.27	o 3783
527.13/528.62	o 3780
527.83/529.30	o 3778
528.13/529.65	o 3777
528.43/529.99	o 3775
528.83/530.34	o 3773
529.53/531.03	o 3772
529.83/531.37	o 3770
531.53/533.09	o 3769
539.83/541.32	o 3767
541.53/543.08	o 3765
546.34/547.87	o 3764
561.22/562.74	o 3763
561.63/563.12	o 3761
562.73/564.21	o 3760
563.02/564.58	o 3759
563.42/564.96	o 3757
563.83/565.33	o 3753
564.62/566.10	o 3751
565.32/566.86	o 3749
574.32/575.81	o 3748
575.42/576.95	o 3747
575.82/577.34	o 3746
577.72/579.27	o 3742
578.92/580.44	o 3741
579.33/580.84	o 3739
579.62/581.11	o 3736
580.02/581.50	o 3734
610.02/611.53	   
610.02/611.53	   search
610.02/611.53	     run=0  nbConstraintChecks=1327249245  nbAssignments=3465
610.02/611.53	       =>  wckTime=593.587  cpuTime=593.18  mem=67M358
610.02/611.53	   
610.02/611.53	   global
610.02/611.53	     nbConstraintChecks=1327249245  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
610.02/611.53	     solvingWckTime=593.572  solvingCpuTime=593.17  expiredTime=no  totalExploration=no  nbFoundSolutions=0
610.02/611.53	     globalCpuTime=608.17
610.02/611.53	       =>  wckTime=610.127  cpuTime=608.12  mem=67M358
610.02/611.53	   
610.02/611.53	   solver DecomposerSolver being built... 
617.31/618.84	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-1112803-1215874227/watcher-1112803-1215874227 -o /tmp/evaluation-result-1112803-1215874227/solver-1112803-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-wdeg.xml 1 XSax HOME/instance-1112803-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.16 0.03 0.01 3/73 18065
/proc/meminfo: memFree=1884184/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=18572 CPUtime=0
/proc/18065/stat : 18065 (runsolver) D 18063 18065 18009 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 43830864 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 223187889447 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/18065/statm: 4643 292 257 25 0 2626 0

[startup+0.0688111 s]
/proc/loadavg: 0.16 0.03 0.01 3/73 18065
/proc/meminfo: memFree=1884184/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=1616 CPUtime=0
/proc/18065/stat : 18065 (java) D 18063 18065 18009 0 -1 0 346 0 1 0 0 0 0 0 18 0 1 0 43830864 1654784 151 996147200 134512640 134550740 4294955952 18446744073709551615 7799716 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/18065/statm: 404 151 125 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616

[startup+0.102815 s]
/proc/loadavg: 0.16 0.03 0.01 3/73 18065
/proc/meminfo: memFree=1884184/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=10336 CPUtime=0
/proc/18065/stat : 18065 (java) D 18063 18065 18009 0 -1 0 365 0 2 0 0 0 0 0 18 0 1 0 43830864 10584064 170 996147200 134512640 134550740 4294955952 18446744073709551615 7768952 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/18065/statm: 2584 170 141 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10336

[startup+0.301837 s]
/proc/loadavg: 0.16 0.03 0.01 3/73 18065
/proc/meminfo: memFree=1884184/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=860580 CPUtime=0.02
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 1383 0 41 0 0 2 0 0 18 0 2 0 43830864 881233920 1172 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 215145 1172 440 9 0 210124 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 860580

[startup+0.702895 s]
/proc/loadavg: 0.16 0.03 0.01 3/73 18065
/proc/meminfo: memFree=1884184/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=866768 CPUtime=0.12
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 3719 0 134 0 8 4 0 0 18 0 9 0 43830864 887570432 3300 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 216692 3300 1739 9 0 211247 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 866768

[startup+1.50294 s]
/proc/loadavg: 0.16 0.03 0.01 4/90 18082
/proc/meminfo: memFree=1848016/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=867260 CPUtime=0.37
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 6043 0 136 0 29 8 0 0 18 0 9 0 43830864 888074240 5548 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 216815 5548 1965 9 0 211343 0
[pid=18065/tid=18067] ppid=18063 vsize=867260 CPUtime=0.31
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 5088 0 104 0 24 7 0 0 18 0 9 0 43830882 888074240 5548 996147200 134512640 134550740 4294955952 18446744073709551615 4125969200 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=867260 CPUtime=0
/proc/18065/task/18069/stat : 18069 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 43830896 888074240 5548 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=867260 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 43830899 888074240 5549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=867260 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43830899 888074240 5549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=867260 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 888074240 5549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=867260 CPUtime=0.04
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 288 0 1 0 4 0 0 0 16 0 9 0 43830903 888074240 5549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=867260 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 888074240 5549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=867260 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 888074240 5549 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 867260

[startup+3.10109 s]
/proc/loadavg: 0.16 0.03 0.01 4/90 18082
/proc/meminfo: memFree=1798992/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868176 CPUtime=1.96
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 22508 0 136 0 180 16 0 0 18 0 9 0 43830864 889012224 21978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217044 21979 2004 9 0 211572 0
[pid=18065/tid=18067] ppid=18063 vsize=868176 CPUtime=1.65
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15675 0 104 0 152 13 0 0 25 0 9 0 43830882 889012224 21980 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868176 CPUtime=0.11
/proc/18065/task/18069/stat : 18069 (java) R 18063 18065 18009 0 -1 64 5546 0 0 0 10 1 0 0 16 0 9 0 43830896 889012224 21981 996147200 134512640 134550740 4294955952 18446744073709551615 102514349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868176 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889012224 21982 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868176 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889012224 21983 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868176 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889012224 21984 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868176 CPUtime=0.17
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 624 0 1 0 17 0 0 0 17 0 9 0 43830903 889012224 21985 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868176 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889012224 21986 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868176 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889012224 21987 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 868176

[startup+6.30238 s]
/proc/loadavg: 0.31 0.07 0.02 3/90 18082
/proc/meminfo: memFree=1754704/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868276 CPUtime=5.16
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 26112 0 136 0 496 20 0 0 18 0 9 0 43830864 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217069 25577 2006 9 0 211597 0
[pid=18065/tid=18067] ppid=18063 vsize=868276 CPUtime=4.59
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15716 0 104 0 443 16 0 0 25 0 9 0 43830882 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4126889032 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868276 CPUtime=0.32
/proc/18065/task/18069/stat : 18069 (java) S 18063 18065 18009 0 -1 64 9069 0 0 0 30 2 0 0 18 0 9 0 43830896 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868276 CPUtime=0.22
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 661 0 1 0 22 0 0 0 15 0 9 0 43830903 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889114624 25577 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 868276

[startup+12.702 s]
/proc/loadavg: 0.44 0.10 0.03 3/90 18082
/proc/meminfo: memFree=1742736/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868276 CPUtime=11.56
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 26542 0 136 0 1131 25 0 0 18 0 9 0 43830864 889114624 26003 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217069 26006 2007 9 0 211597 0
[pid=18065/tid=18067] ppid=18063 vsize=868276 CPUtime=10.89
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15722 0 104 0 1069 20 0 0 25 0 9 0 43830882 889114624 26007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868276 CPUtime=0.38
/proc/18065/task/18069/stat : 18069 (java) R 18063 18065 18009 0 -1 64 9477 0 0 0 35 3 0 0 16 0 9 0 43830896 889114624 26009 996147200 134512640 134550740 4294955952 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889114624 26010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889114624 26012 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889114624 26013 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868276 CPUtime=0.26
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 683 0 1 0 26 0 0 0 16 0 9 0 43830903 889114624 26015 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889114624 26016 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868276 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889114624 26016 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (KiB) 868276

[startup+25.5021 s]
/proc/loadavg: 0.79 0.19 0.06 3/90 18082
/proc/meminfo: memFree=1701776/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868364 CPUtime=24.33
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 36040 0 136 0 2401 32 0 0 18 0 9 0 43830864 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217091 35305 2640 9 0 211597 0
[pid=18065/tid=18067] ppid=18063 vsize=868364 CPUtime=22.67
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15788 0 104 0 2243 24 0 0 25 0 9 0 43830882 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4127221169 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868364 CPUtime=1.3
/proc/18065/task/18069/stat : 18069 (java) S 18063 18065 18009 0 -1 64 18868 0 0 0 124 6 0 0 16 0 9 0 43830896 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868364 CPUtime=0.33
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 718 0 1 0 33 0 0 0 16 0 9 0 43830903 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889204736 35305 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.33
Current children cumulated vsize (KiB) 868364

[startup+51.103 s]
/proc/loadavg: 1.20 0.33 0.11 3/90 18082
/proc/meminfo: memFree=1695440/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868364 CPUtime=49.87
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 36043 0 136 0 4948 39 0 0 18 0 9 0 43830864 889204736 35307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217091 35307 2640 9 0 211597 0
[pid=18065/tid=18067] ppid=18063 vsize=868364 CPUtime=48.2
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15789 0 104 0 4789 31 0 0 25 0 9 0 43830882 889204736 35307 996147200 134512640 134550740 4294955952 18446744073709551615 4127211174 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868364 CPUtime=1.3
/proc/18065/task/18069/stat : 18069 (java) S 18063 18065 18009 0 -1 64 18868 0 0 0 124 6 0 0 16 0 9 0 43830896 889204736 35307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889204736 35307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868364 CPUtime=0.34
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 720 0 1 0 33 1 0 0 16 0 9 0 43830903 889204736 35307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868364 CPUtime=0

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

/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868364 CPUtime=0.36
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 728 0 1 0 35 1 0 0 16 0 9 0 43830903 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 587.22
Current children cumulated vsize (KiB) 868364

[startup+601.502 s]
/proc/loadavg: 2.08 1.76 0.95 3/90 18083
/proc/meminfo: memFree=1052872/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868364 CPUtime=600.01
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 36053 0 136 0 59931 70 0 0 18 0 9 0 43830864 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217091 35315 2640 9 0 211597 0
[pid=18065/tid=18067] ppid=18063 vsize=868364 CPUtime=598.33
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15791 0 104 0 59771 62 0 0 25 0 9 0 43830882 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4127070071 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868364 CPUtime=1.3
/proc/18065/task/18069/stat : 18069 (java) S 18063 18065 18009 0 -1 64 18868 0 0 0 124 6 0 0 16 0 9 0 43830896 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868364 CPUtime=0.36
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 728 0 1 0 35 1 0 0 16 0 9 0 43830903 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (KiB) 868364

[startup+607.902 s]
/proc/loadavg: 2.07 1.76 0.96 3/90 18083
/proc/meminfo: memFree=1052872/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868364 CPUtime=606.42
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 36053 0 136 0 60571 71 0 0 18 0 9 0 43830864 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217091 35315 2640 9 0 211597 0
[pid=18065/tid=18067] ppid=18063 vsize=868364 CPUtime=604.73
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15791 0 104 0 60411 62 0 0 25 0 9 0 43830882 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4126893431 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868364 CPUtime=1.3
/proc/18065/task/18069/stat : 18069 (java) S 18063 18065 18009 0 -1 64 18868 0 0 0 124 6 0 0 16 0 9 0 43830896 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43830899 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868364 CPUtime=0.36
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 728 0 1 0 35 1 0 0 16 0 9 0 43830903 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868364 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889204736 35315 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 606.42
Current children cumulated vsize (KiB) 868364

[startup+614.303 s]
/proc/loadavg: 2.07 1.76 0.96 3/90 18083
/proc/meminfo: memFree=497096/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868528 CPUtime=612.81
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 198497 0 136 0 61137 144 0 0 18 0 9 0 43830864 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217132 197676 2618 9 0 211660 0
[pid=18065/tid=18067] ppid=18063 vsize=868528 CPUtime=609.36
/proc/18065/task/18067/stat : 18067 (java) R 18063 18065 18009 0 -1 64 15884 0 104 0 60873 63 0 0 25 0 9 0 43830882 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868528 CPUtime=3.01
/proc/18065/task/18069/stat : 18069 (java) R 18063 18065 18009 0 -1 64 181174 0 0 0 223 78 0 0 16 0 9 0 43830896 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 102478718 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 43830899 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868528 CPUtime=0.41
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 755 0 1 0 40 1 0 0 15 0 9 0 43830903 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889372672 197676 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 612.81
Current children cumulated vsize (KiB) 868528

[startup+617.502 s]
/proc/loadavg: 2.14 1.78 0.97 4/90 18083
/proc/meminfo: memFree=394568/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868528 CPUtime=616.01
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 200677 0 136 0 61455 146 0 0 18 0 9 0 43830864 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217132 199537 2618 9 0 211660 0
[pid=18065/tid=18067] ppid=18063 vsize=868528 CPUtime=609.37
/proc/18065/task/18067/stat : 18067 (java) S 18063 18065 18009 0 -1 64 15888 0 104 0 60874 63 0 0 24 0 9 0 43830882 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868528 CPUtime=6.2
/proc/18065/task/18069/stat : 18069 (java) R 18063 18065 18009 0 -1 64 183350 0 0 0 540 80 0 0 19 0 9 0 43830896 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 103828978 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43830899 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868528 CPUtime=0.41
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 755 0 1 0 40 1 0 0 15 0 9 0 43830903 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 616.01
Current children cumulated vsize (KiB) 868528

[startup+618.301 s]
/proc/loadavg: 2.14 1.78 0.97 3/90 18083
/proc/meminfo: memFree=394568/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868528 CPUtime=616.81
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 200677 0 136 0 61535 146 0 0 18 0 9 0 43830864 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217132 199537 2618 9 0 211660 0
[pid=18065/tid=18067] ppid=18063 vsize=868528 CPUtime=609.37
/proc/18065/task/18067/stat : 18067 (java) S 18063 18065 18009 0 -1 64 15888 0 104 0 60874 63 0 0 24 0 9 0 43830882 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868528 CPUtime=7
/proc/18065/task/18069/stat : 18069 (java) R 18063 18065 18009 0 -1 64 183350 0 0 0 620 80 0 0 21 0 9 0 43830896 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43830899 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868528 CPUtime=0.41
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 755 0 1 0 40 1 0 0 15 0 9 0 43830903 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 616.81
Current children cumulated vsize (KiB) 868528

[startup+618.701 s]
/proc/loadavg: 2.14 1.78 0.97 3/90 18083
/proc/meminfo: memFree=394568/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=868528 CPUtime=617.21
/proc/18065/stat : 18065 (java) S 18063 18065 18009 0 -1 0 200740 0 136 0 61575 146 0 0 18 0 9 0 43830864 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 217132 199537 2618 9 0 211660 0
[pid=18065/tid=18067] ppid=18063 vsize=868528 CPUtime=609.37
/proc/18065/task/18067/stat : 18067 (java) S 18063 18065 18009 0 -1 64 15888 0 104 0 60874 63 0 0 16 0 9 0 43830882 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18069] ppid=18063 vsize=868528 CPUtime=7.4
/proc/18065/task/18069/stat : 18069 (java) R 18063 18065 18009 0 -1 64 183413 0 0 0 660 80 0 0 22 0 9 0 43830896 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 104181422 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18071] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18071/stat : 18071 (java) S 18063 18065 18009 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43830899 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18072] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18072/stat : 18072 (java) S 18063 18065 18009 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 43830899 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18075] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18075/stat : 18075 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43830903 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18076] ppid=18063 vsize=868528 CPUtime=0.41
/proc/18065/task/18076/stat : 18076 (java) S 18063 18065 18009 0 -1 64 755 0 1 0 40 1 0 0 15 0 9 0 43830903 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18077] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18077/stat : 18077 (java) S 18063 18065 18009 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43830904 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18065/tid=18078] ppid=18063 vsize=868528 CPUtime=0
/proc/18065/task/18078/stat : 18078 (java) S 18063 18065 18009 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43830904 889372672 199537 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 617.21
Current children cumulated vsize (KiB) 868528

[startup+618.901 s]
/proc/loadavg: 2.14 1.78 0.97 3/90 18083
/proc/meminfo: memFree=394568/2055920 swapFree=4180952/4192956
[pid=18065] ppid=18063 vsize=0 CPUtime=617.37
/proc/18065/stat : 18065 (java) Z 18063 18065 18009 0 -1 12 200748 0 136 0 61589 148 0 0 16 0 2 0 43830864 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18065/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 617.37
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 619
CPU time (s): 617.48
CPU user time (s): 615.896
CPU system time (s): 1.58376
CPU usage (%): 99.7544
Max. virtual memory (cumulated for all children) (KiB): 868528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 615.896
system time used= 1.58376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200748
page faults= 136
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15296
involuntary context switches= 19783

runsolver used 0.867868 second user time and 2.01469 second system time

The end

Launcher Data (download as text)

Begin job on node68 at 2008-07-12 16:50:28
IDJOB=1112803
IDBENCH=61477
IDSOLVER=359
FILE ID=node68/1112803-1215874227
PBS_JOBID= 7903591
Free space on /tmp= 66552 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= db919c043cbe2ccf39dda4a6ced1254b
RANDOM SEED=530300111

node68.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.240
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.240
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:       1884664 kB
Buffers:         20272 kB
Cached:         100412 kB
SwapCached:       6952 kB
Active:          76516 kB
Inactive:        55028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1884664 kB
SwapTotal:     4192956 kB
SwapFree:      4180952 kB
Dirty:           12052 kB
Writeback:           0 kB
Mapped:          16480 kB
Slab:            25292 kB
Committed_AS:   100724 kB
PageTables:       1604 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= 66548 MiB
End job on node68 at 2008-07-12 17:00:47