Trace number 1113031

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? 787.213 796.414

General information on the benchmark

Namecsp/fapp/fapp27/
normalized-fapp27-2550-3.xml
MD5SUM8eb4eb3fb4371bb64ac48dd192eca4b5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints262
Best CPU time to get the best result obtained on this benchmark3600
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints10886
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10886
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.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-wdeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1113031-1215877033.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.34	   
0.28/0.34	   variables being loaded...
0.77/0.86	     nbVariables=2550  nbDomainTypes=8  minDomainSize=42  maxDomainSize=242  nbTotalValues=588188
0.77/0.86	       =>  wckTime=0.619  cpuTime=0.47  mem=28M333
0.77/0.86	   
0.77/0.86	   predicates being loaded...
0.88/0.92	   
0.88/0.92	   constraints being loaded...
10.46/10.69	   
10.46/10.69	   INFO : Stopping converting binary constraints (cpu=10.08, mem = 61M451)
11.45/11.65	     nbConstraints=10886  nbConvertedConstraints=1343  nbConvertConstraintsChecks=32786467  nbExtensionStructures=629
11.45/11.65	     nbSharedExtensionStructures=1003  nbConflictsStructures=678  nbSharedConflictsStructures=1075
11.45/11.65	     nbUnbuiltConflictsStructures=1362  nbSharedBinaryRepresentations=274049  nbEvaluationManagers=1411
11.45/11.65	     nbSharedEvaluationManagers=8132  minDegree=2  maxDegree=38  minArity=2  maxArity=2
11.45/11.65	       =>  wckTime=11.413  cpuTime=10.72  mem=32M949
11.65/11.86	   
11.65/11.86	   solver LocalSearchSolver being built... 
11.75/11.90	       =>  wckTime=11.664  cpuTime=10.76  mem=36M425
11.75/11.99	
11.75/11.99	s SATISFIABLE
11.75/11.99	o 3588
11.85/12.01	o 3585
11.85/12.03	o 3582
11.85/12.04	o 3580
11.85/12.05	o 3576
11.85/12.07	o 3573
11.85/12.08	o 3570
11.85/12.09	o 3567
11.95/12.11	o 3565
11.95/12.12	o 3563
11.95/12.13	o 3559
11.95/12.15	o 3557
11.95/12.17	o 3551
11.95/12.18	o 3548
11.95/12.19	o 3545
12.04/12.20	o 3543
12.04/12.21	o 3541
12.04/12.24	o 3538
12.04/12.24	o 3536
12.04/12.25	o 3533
12.04/12.27	o 3532
12.04/12.28	o 3531
12.04/12.29	o 3526
12.14/12.30	o 3524
12.14/12.32	o 3519
12.14/12.35	o 3515
12.14/12.36	o 3511
12.14/12.37	o 3507
12.14/12.38	o 3503
12.14/12.39	o 3500
12.24/12.40	o 3497
12.24/12.41	o 3495
12.24/12.42	o 3493
12.24/12.43	o 3491
12.24/12.44	o 3489
12.24/12.45	o 3487
12.24/12.45	o 3485
12.24/12.47	o 3484
12.24/12.48	o 3483
12.24/12.49	o 3482
12.33/12.50	o 3481
12.33/12.52	o 3480
12.33/12.52	o 3477
12.33/12.54	o 3476
12.33/12.54	o 3473
12.33/12.56	o 3471
12.33/12.58	o 3470
12.33/12.60	o 3465
12.43/12.62	o 3463
12.43/12.62	o 3462
12.43/12.65	o 3457
12.43/12.67	o 3452
12.43/12.70	o 3447
12.53/12.72	o 3446
12.53/12.74	o 3441
12.53/12.76	o 3436
12.53/12.79	o 3431
12.63/12.81	o 3426
12.63/12.82	o 3425
12.63/12.85	o 3420
12.63/12.88	o 3416
12.73/12.91	o 3412
12.73/12.94	o 3408
12.73/12.97	o 3404
12.83/13.00	o 3400
12.83/13.03	o 3396
12.83/13.06	o 3392
12.83/13.08	o 3388
12.93/13.12	o 3384
12.93/13.14	o 3380
12.93/13.18	o 3376
13.03/13.21	o 3374
13.03/13.23	o 3370
13.03/13.26	o 3366
13.03/13.29	o 3362
13.12/13.31	o 3361
13.12/13.34	o 3358
13.12/13.37	o 3355
13.12/13.40	o 3352
13.22/13.45	o 3349
13.22/13.48	o 3346
13.32/13.50	o 3343
13.32/13.53	o 3340
13.32/13.56	o 3337
13.32/13.59	o 3334
13.41/13.62	o 3331
13.41/13.64	o 3328
13.41/13.67	o 3325
13.41/13.69	o 3322
13.51/13.72	o 3319
13.51/13.75	o 3316
13.51/13.77	o 3313
13.51/13.80	o 3310
13.61/13.82	o 3307
13.61/13.85	o 3305
13.61/13.88	o 3303
13.71/13.90	o 3301
13.71/13.93	o 3299
13.71/13.95	o 3297
13.71/13.98	o 3295
13.81/14.00	o 3293
13.81/14.03	o 3291
13.81/14.05	o 3289
13.81/14.08	o 3287
13.90/14.10	o 3285
13.90/14.12	o 3283
13.90/14.14	o 3281
13.90/14.17	o 3279
13.90/14.19	o 3277
14.00/14.22	o 3275
14.00/14.27	o 3273
14.00/14.29	o 3271
14.11/14.31	o 3269
14.11/14.33	o 3267
14.11/14.35	o 3265
14.11/14.36	o 3263
14.11/14.38	o 3261
14.20/14.40	o 3259
14.20/14.42	o 3257
14.20/14.44	o 3255
14.20/14.45	o 3253
14.20/14.47	o 3251
14.20/14.48	o 3249
14.30/14.50	o 3248
14.30/14.52	o 3247
14.30/14.53	o 3246
14.30/14.55	o 3243
14.30/14.56	o 3242
14.30/14.58	o 3241
14.30/14.59	o 3240
14.40/14.60	o 3239
14.40/14.62	o 3238
14.40/14.63	o 3237
14.40/14.64	o 3236
14.40/14.66	o 3235
14.40/14.68	o 3234
14.40/14.69	o 3233
14.49/14.70	o 3232
14.49/14.71	o 3231
14.49/14.72	o 3230
14.49/14.73	o 3229
14.49/14.74	o 3228
14.49/14.75	o 3227
14.59/14.80	o 3223
14.59/14.82	o 3221
14.59/14.83	o 3220
14.59/14.86	o 3219
14.69/14.92	o 3218
14.69/14.95	o 3217
14.69/14.97	o 3216
14.69/14.98	o 3213
14.79/15.03	o 3211
14.79/15.06	o 3207
14.79/15.09	o 3205
14.89/15.10	o 3204
14.89/15.15	o 3200
14.99/15.20	o 3196
14.99/15.25	o 3192
14.99/15.29	o 3188
15.09/15.35	o 3184
15.09/15.39	o 3180
15.19/15.45	o 3176
15.28/15.50	o 3172
15.28/15.51	o 3170
15.28/15.56	o 3166
15.38/15.62	o 3162
15.38/15.67	o 3158
15.48/15.72	o 3154
15.48/15.75	o 3153
15.48/15.79	o 3152
15.58/15.82	o 3151
15.58/15.87	o 3147
15.68/15.91	o 3143
15.68/15.96	o 3139
15.78/16.02	o 3135
15.78/16.06	o 3131
15.87/16.11	o 3127
15.87/16.16	o 3123
15.97/16.22	o 3120
15.97/16.28	o 3117
16.07/16.34	o 3114
16.07/16.39	o 3111
16.17/16.46	o 3108
16.27/16.52	o 3105
16.27/16.56	o 3104
16.37/16.62	o 3101
16.37/16.68	o 3098
16.47/16.74	o 3095
16.47/16.79	o 3094
16.57/16.85	o 3091
16.67/16.91	o 3088
16.67/16.97	o 3085
16.77/17.02	o 3082
16.77/17.10	o 3079
16.87/17.16	o 3076
16.97/17.21	o 3073
16.97/17.26	o 3070
17.07/17.32	o 3067
17.07/17.37	o 3064
17.17/17.42	o 3061
17.17/17.47	o 3058
17.27/17.52	o 3055
17.27/17.57	o 3052
17.37/17.62	o 3049
17.37/17.67	o 3046
17.46/17.72	o 3043
17.46/17.77	o 3040
17.56/17.81	o 3039
17.56/17.86	o 3036
17.66/17.91	o 3033
17.66/17.97	o 3030
17.75/18.02	o 3027
17.75/18.06	o 3024
17.85/18.11	o 3021
17.85/18.16	o 3018
17.95/18.20	o 3015
17.95/18.25	o 3014
18.05/18.30	o 3011
18.05/18.35	o 3009
18.15/18.40	o 3007
18.15/18.45	o 3005
18.25/18.50	o 3003
18.25/18.55	o 3001
18.35/18.61	o 2999
18.35/18.66	o 2997
18.45/18.71	o 2995
18.45/18.76	o 2993
18.54/18.80	o 2991
18.54/18.85	o 2989
18.64/18.90	o 2987
18.64/18.94	o 2985
18.64/18.99	o 2983
18.74/19.03	o 2981
18.74/19.08	o 2977
18.83/19.12	o 2975
18.83/19.17	o 2973
18.94/19.22	o 2971
18.94/19.26	o 2969
19.04/19.30	o 2967
19.04/19.35	o 2965
19.04/19.39	o 2963
19.14/19.44	o 2961
19.14/19.47	o 2960
19.24/19.51	o 2958
19.24/19.55	o 2956
19.34/19.60	o 2954
19.34/19.64	o 2952
19.34/19.68	o 2950
19.44/19.73	o 2948
19.44/19.77	o 2946
19.54/19.81	o 2944
19.54/19.84	o 2942
19.54/19.88	o 2939
19.63/19.92	o 2937
19.63/19.95	o 2935
19.63/19.99	o 2933
19.73/20.02	o 2931
19.73/20.09	o 2929
19.83/20.12	o 2927
19.83/20.15	o 2925
19.83/20.19	o 2923
19.92/20.23	o 2921
19.92/20.26	o 2920
19.92/20.29	o 2918
20.02/20.32	o 2916
20.02/20.35	o 2914
20.02/20.38	o 2912
20.12/20.41	o 2910
20.12/20.44	o 2908
20.12/20.47	o 2906
20.22/20.50	o 2904
20.22/20.53	o 2902
20.22/20.56	o 2900
20.22/20.58	o 2898
20.32/20.61	o 2896
20.32/20.64	o 2894
20.32/20.67	o 2892
20.42/20.70	o 2890
20.42/20.73	o 2888
20.42/20.75	o 2886
20.42/20.78	o 2884
20.52/20.82	o 2882
20.52/20.84	o 2880
20.52/20.87	o 2878
20.52/20.90	o 2876
20.62/20.92	o 2874
20.62/20.94	o 2872
20.62/20.97	o 2870
20.62/20.99	o 2869
20.71/21.02	o 2868
20.71/21.04	o 2867
20.71/21.07	o 2866
20.71/21.09	o 2865
20.81/21.12	o 2864
20.81/21.14	o 2863
20.81/21.16	o 2862
20.81/21.18	o 2861
20.92/21.20	o 2860
20.92/21.23	o 2859
20.92/21.25	o 2858
20.92/21.27	o 2857
20.92/21.29	o 2856
21.01/21.31	o 2855
21.01/21.33	o 2854
21.01/21.36	o 2853
21.01/21.38	o 2850
21.11/21.40	o 2849
21.11/21.42	o 2848
21.11/21.44	o 2847
21.11/21.46	o 2846
21.11/21.48	o 2845
21.21/21.50	o 2844
21.21/21.52	o 2843
21.21/21.54	o 2842
21.21/21.55	o 2841
21.21/21.57	o 2840
21.21/21.58	o 2839
21.31/21.60	o 2838
21.31/21.61	o 2837
21.31/21.63	o 2836
21.31/21.65	o 2835
21.31/21.66	o 2834
21.31/21.68	o 2833
21.31/21.69	o 2832
21.40/21.71	o 2831
21.40/21.73	o 2830
21.40/21.74	o 2829
21.40/21.76	o 2828
21.40/21.78	o 2827
21.40/21.79	o 2826
21.50/21.80	o 2825
21.60/21.91	o 2823
21.60/21.94	o 2822
21.60/21.95	o 2821
21.60/21.99	o 2819
21.60/22.00	o 2818
21.70/22.02	o 2816
21.70/22.03	o 2814
21.70/22.04	o 2812
21.70/22.06	o 2810
21.70/22.07	o 2808
21.70/22.10	o 2806
21.79/22.11	o 2802
21.79/22.12	o 2801
21.79/22.13	o 2799
21.79/22.15	o 2798
21.79/22.16	o 2796
21.79/22.18	o 2795
21.79/22.19	o 2794
21.89/22.21	o 2791
21.89/22.22	o 2789
21.89/22.23	o 2787
21.89/22.25	o 2784
21.89/22.26	o 2783
21.89/22.27	o 2779
21.89/22.28	o 2776
21.89/22.30	o 2774
21.99/22.31	o 2773
21.99/22.33	o 2772
21.99/22.38	o 2770
21.99/22.40	o 2768
22.08/22.41	o 2767
22.08/22.43	o 2766
22.08/22.45	o 2763
22.08/22.46	o 2762
22.08/22.48	o 2760
22.19/22.51	o 2759
22.19/22.53	o 2757
22.19/22.54	o 2756
22.19/22.56	o 2754
22.19/22.57	o 2753
22.29/22.60	o 2752
22.29/22.62	o 2751
22.29/22.64	o 2749
22.29/22.68	o 2748
22.39/22.70	o 2747
22.39/22.72	o 2746
22.39/22.74	o 2743
22.39/22.76	o 2742
22.39/22.79	o 2739
22.49/22.81	o 2738
22.49/22.87	o 2737
22.59/22.91	o 2736
22.59/22.94	o 2734
22.59/22.96	o 2732
22.59/22.98	o 2729
22.59/23.00	o 2728
22.69/23.08	o 2726
22.69/23.09	o 2725
22.79/23.11	o 2723
22.79/23.16	o 2721
22.88/23.21	o 2720
22.88/23.27	o 2717
22.98/23.34	o 2714
23.08/23.41	o 2711
23.08/23.48	o 2708
23.17/23.55	o 2705
23.27/23.62	o 2702
23.27/23.69	o 2699
23.37/23.75	o 2696
23.47/23.82	o 2693
23.47/23.89	o 2690
23.57/23.95	o 2687
23.67/24.02	o 2684
23.77/24.12	o 2681
23.77/24.19	o 2678
23.87/24.25	o 2675
23.97/24.32	o 2672
23.97/24.39	o 2669
24.07/24.45	o 2666
24.16/24.51	o 2663
24.16/24.58	o 2660
24.26/24.61	o 2659
24.26/24.67	o 2656
24.46/24.83	o 2653
24.46/24.89	o 2650
24.56/24.95	o 2647
24.66/25.02	o 2644
24.66/25.08	o 2642
24.76/25.14	o 2639
24.76/25.18	o 2638
24.86/25.25	o 2635
24.86/25.27	o 2634
24.96/25.33	o 2631
24.96/25.39	o 2628
25.05/25.46	o 2625
25.05/25.49	o 2624
25.15/25.55	o 2621
25.25/25.61	o 2618
25.25/25.68	o 2615
25.34/25.71	o 2614
25.34/25.78	o 2611
25.44/25.84	o 2608
25.54/25.91	o 2605
25.54/25.97	o 2602
25.64/26.02	o 2599
25.64/26.09	o 2596
25.74/26.18	o 2595
25.84/26.24	o 2592
25.84/26.30	o 2589
25.94/26.37	o 2586
26.04/26.42	o 2583
26.13/26.50	o 2581
26.13/26.57	o 2579
26.23/26.64	o 2577
26.33/26.72	o 2575
26.33/26.80	o 2573
26.43/26.87	o 2571
26.53/26.94	o 2569
26.63/27.01	o 2567
26.63/27.08	o 2565
26.83/27.27	o 2563
26.93/27.34	o 2561
27.03/27.41	o 2559
27.03/27.48	o 2557
27.13/27.55	o 2555
27.23/27.61	o 2553
27.23/27.67	o 2550
27.33/27.74	o 2548
27.33/27.77	o 2545
27.43/27.84	o 2543
27.43/27.89	o 2539
27.52/27.96	o 2537
27.62/28.02	o 2535
27.62/28.09	o 2533
27.72/28.15	o 2531
27.82/28.22	o 2529
27.82/28.28	o 2527
27.92/28.35	o 2525
28.02/28.41	o 2523
28.02/28.47	o 2521
28.12/28.54	o 2519
28.22/28.60	o 2517
28.22/28.67	o 2515
28.31/28.73	o 2513
28.31/28.79	o 2511
28.41/28.85	o 2509
28.61/29.03	o 2507
28.61/29.09	o 2505
28.71/29.15	o 2503
28.81/29.21	o 2501
28.81/29.27	o 2499
28.91/29.32	o 2497
28.91/29.38	o 2495
29.00/29.43	o 2493
29.00/29.48	o 2490
29.10/29.53	o 2488
29.10/29.59	o 2486
29.20/29.65	o 2484
29.20/29.70	o 2482
29.30/29.75	o 2480
29.40/29.81	o 2478
29.40/29.86	o 2476
29.50/29.91	o 2474
29.50/29.96	o 2472
29.59/30.02	o 2470
29.59/30.08	o 2468
29.69/30.13	o 2466
29.69/30.19	o 2464
29.79/30.24	o 2462
29.79/30.29	o 2460
29.89/30.33	o 2459
29.89/30.38	o 2457
29.99/30.43	o 2455
29.99/30.48	o 2453
30.09/30.58	o 2451
30.19/30.63	o 2449
30.19/30.68	o 2447
30.29/30.73	o 2445
30.29/30.78	o 2443
30.39/30.83	o 2441
30.39/30.88	o 2439
30.49/30.93	o 2437
30.49/30.98	o 2435
30.59/31.03	o 2433
30.59/31.08	o 2431
30.69/31.13	o 2429
30.69/31.18	o 2427
30.78/31.23	o 2425
30.78/31.27	o 2423
30.88/31.32	o 2421
30.88/31.36	o 2419
30.98/31.41	o 2417
30.98/31.45	o 2415
31.07/31.50	o 2413
31.07/31.54	o 2411
31.07/31.59	o 2409
31.17/31.64	o 2407
31.17/31.67	o 2403
31.27/31.72	o 2401
31.27/31.76	o 2399
31.38/31.82	o 2397
31.38/31.89	o 2396
31.47/31.94	o 2395
31.47/31.98	o 2394
31.57/32.03	o 2393
31.57/32.08	o 2392
31.67/32.12	o 2391
31.67/32.17	o 2390
31.77/32.21	o 2389
31.77/32.26	o 2388
31.86/32.31	o 2387
31.86/32.36	o 2386
31.96/32.40	o 2385
31.96/32.45	o 2384
31.96/32.49	o 2383
32.06/32.54	o 2382
32.06/32.58	o 2381
32.16/32.62	o 2380
32.16/32.67	o 2379
32.26/32.71	o 2378
32.26/32.76	o 2377
32.36/32.80	o 2376
32.36/32.84	o 2375
32.36/32.88	o 2374
32.46/32.93	o 2373
32.46/32.97	o 2372
32.56/33.01	o 2371
32.56/33.05	o 2370
32.56/33.10	o 2369
32.75/33.21	o 2368
32.75/33.25	o 2367
32.75/33.28	o 2366
32.85/33.32	o 2365
32.85/33.36	o 2364
32.95/33.40	o 2363
32.95/33.44	o 2362
32.95/33.47	o 2361
33.05/33.51	o 2360
33.05/33.55	o 2359
33.05/33.58	o 2355
33.15/33.61	o 2354
33.15/33.65	o 2353
33.15/33.68	o 2352
33.24/33.72	o 2351
33.24/33.76	o 2350
33.24/33.79	o 2349
33.35/33.83	o 2348
33.35/33.87	o 2347
33.45/33.90	o 2346
33.45/33.93	o 2345
33.45/33.97	o 2344
33.55/34.05	o 2343
33.55/34.08	o 2342
33.65/34.12	o 2341
33.65/34.15	o 2340
33.65/34.18	o 2339
33.74/34.22	o 2338
33.74/34.25	o 2337
33.74/34.28	o 2336
33.84/34.31	o 2335
33.84/34.34	o 2334
33.84/34.37	o 2333
33.94/34.40	o 2332
33.94/34.43	o 2331
33.94/34.47	o 2330
34.03/34.50	o 2329
34.03/34.53	o 2328
34.03/34.56	o 2327
34.13/34.60	o 2326
34.13/34.63	o 2324
34.13/34.65	o 2323
34.23/34.71	o 2322
34.23/34.74	o 2321
34.23/34.77	o 2320
34.23/34.79	o 2319
34.33/34.82	o 2318
34.33/34.85	o 2317
34.33/34.88	o 2316
34.43/34.90	o 2315
34.43/34.93	o 2314
34.43/34.95	o 2313
34.43/34.98	o 2312
34.53/35.01	o 2311
34.53/35.03	o 2308
34.53/35.06	o 2307
34.53/35.08	o 2306
34.62/35.11	o 2305
34.62/35.14	o 2304
34.72/35.29	o 2303
34.92/35.40	o 2301
35.12/35.63	o 2299
35.12/35.69	o 2298
35.22/35.71	o 2297
35.22/35.73	o 2296
35.22/35.75	o 2294
35.22/35.79	o 2293
35.32/35.84	o 2291
35.32/35.86	o 2289
35.32/35.88	o 2288
35.41/35.90	o 2286
35.41/35.92	o 2283
35.41/35.94	o 2282
35.41/35.96	o 2280
35.41/35.98	o 2279
35.51/36.00	o 2278
35.51/36.02	o 2276
35.51/36.05	o 2274
35.51/36.07	o 2272
35.51/36.09	o 2270
35.61/36.12	o 2267
35.61/36.14	o 2264
35.61/36.16	o 2263
35.61/36.19	o 2261
35.71/36.22	o 2259
35.71/36.26	o 2256
35.71/36.28	o 2253
35.71/36.30	o 2251
35.81/36.34	o 2247
35.81/36.38	o 2246
35.90/36.42	o 2243
35.90/36.46	o 2242
36.00/36.50	o 2241
36.00/36.56	o 2240
36.00/36.57	o 2239
36.00/36.59	o 2236
36.10/36.61	o 2234
36.10/36.63	o 2232
36.10/36.65	o 2231
36.10/36.69	o 2230
36.19/36.73	o 2229
36.19/36.75	o 2227
36.29/36.86	o 2225
36.29/36.88	o 2223
36.29/36.90	o 2222
36.39/36.91	o 2220
36.39/36.95	o 2219
36.39/36.97	o 2218
36.39/36.99	o 2217
36.49/37.02	o 2216
36.49/37.03	o 2214
36.49/37.05	o 2212
36.49/37.07	o 2211
36.49/37.09	o 2210
36.59/37.11	o 2209
36.59/37.13	o 2207
36.59/37.15	o 2205
36.59/37.16	o 2204
36.59/37.18	o 2201
36.69/37.22	o 2200
36.69/37.26	o 2199
36.69/37.27	o 2195
36.69/37.29	o 2194
36.79/37.32	o 2193
36.79/37.34	o 2190
36.79/37.36	o 2188
36.90/37.41	o 2186
36.90/37.43	o 2185
36.90/37.47	o 2182
36.90/37.49	o 2180
36.99/37.51	o 2178
36.99/37.53	o 2176
36.99/37.55	o 2174
36.99/37.57	o 2173
37.09/37.60	o 2171
37.09/37.62	o 2169
37.09/37.64	o 2167
37.09/37.67	o 2164
37.09/37.69	o 2161
37.19/37.71	o 2159
37.19/37.73	o 2158
37.19/37.79	o 2157
37.28/37.88	o 2155
37.38/37.91	o 2154
37.38/37.93	o 2153
37.38/37.96	o 2151
37.38/37.99	o 2150
37.48/38.01	o 2149
37.48/38.04	o 2146
37.48/38.06	o 2145
37.58/38.12	o 2144
37.58/38.14	o 2143
37.58/38.17	o 2142
37.58/38.19	o 2141
37.68/38.22	o 2139
37.68/38.24	o 2138
37.68/38.26	o 2137
37.68/38.29	o 2136
37.78/38.31	o 2133
37.78/38.34	o 2131
37.78/38.36	o 2129
37.78/38.39	o 2127
37.88/38.42	o 2124
37.88/38.44	o 2123
37.88/38.47	o 2121
37.88/38.50	o 2120
37.98/38.52	o 2118
37.98/38.55	o 2117
37.98/38.57	o 2116
38.07/38.60	o 2114
38.07/38.63	o 2112
38.07/38.68	o 2111
38.17/38.71	o 2108
38.17/38.74	o 2107
38.17/38.77	o 2106
38.36/38.91	o 2104
38.36/38.94	o 2103
38.36/38.96	o 2102
38.36/38.99	o 2099
38.47/39.02	o 2098
38.47/39.05	o 2096
38.47/39.07	o 2095
38.57/39.10	o 2094
38.57/39.13	o 2093
38.57/39.16	o 2091
38.57/39.19	o 2089
38.66/39.22	o 2088
38.66/39.24	o 2087
38.66/39.27	o 2086
38.76/39.30	o 2083
38.76/39.33	o 2082
38.76/39.36	o 2080
38.76/39.39	o 2079
38.86/39.42	o 2075
38.86/39.47	o 2074
38.86/39.49	o 2073
38.96/39.53	o 2071
38.96/39.55	o 2070
38.96/39.58	o 2069
38.96/39.60	o 2068
39.06/39.63	o 2067
39.06/39.65	o 2066
39.16/39.75	o 2065
39.26/39.81	o 2063
39.26/39.84	o 2060
39.36/39.92	o 2059
39.36/39.95	o 2056
39.36/39.98	o 2055
39.45/40.04	o 2053
39.45/40.09	o 2052
39.55/40.12	o 2049
39.55/40.17	o 2048
39.65/40.20	o 2045
39.65/40.22	o 2044
39.65/40.25	o 2042
39.65/40.27	o 2040
39.65/40.29	o 2039
39.75/40.32	o 2037
39.75/40.35	o 2034
39.75/40.37	o 2033
39.75/40.39	o 2032
39.85/40.42	o 2029
39.85/40.45	o 2028
39.85/40.47	o 2026
39.94/40.52	o 2025
39.94/40.57	o 2024
40.04/40.61	o 2023
40.04/40.64	o 2022
40.04/40.67	o 2020
40.14/40.72	o 2019
40.14/40.77	o 2017
40.14/40.79	o 2016
40.23/40.83	o 2015
40.23/40.88	o 2013
40.33/40.92	o 2012
40.33/40.96	o 2010
40.43/41.03	o 2008
40.53/41.10	o 2006
40.53/41.17	o 2004
40.63/41.26	o 2002
40.73/41.33	o 2000
40.83/41.40	o 1998
40.83/41.47	o 1996
40.93/41.54	o 1994
41.03/41.60	o 1992
41.03/41.67	o 1990
41.13/41.74	o 1988
41.23/41.81	o 1986
41.23/41.87	o 1984
41.32/41.94	o 1982
41.42/42.01	o 1980
41.42/42.07	o 1978
41.52/42.14	o 1976
41.62/42.21	o 1974
41.62/42.27	o 1972
41.71/42.34	o 1970
41.81/42.40	o 1968
41.81/42.47	o 1966
41.92/42.53	o 1964
41.92/42.59	o 1962
42.02/42.66	o 1960
42.02/42.69	o 1957
42.12/42.71	o 1956
42.22/42.85	o 1954
42.32/42.91	o 1952
42.32/42.97	o 1950
42.41/43.03	o 1948
42.41/43.09	o 1946
42.51/43.16	o 1944
42.61/43.22	o 1942
42.61/43.28	o 1940
42.70/43.35	o 1938
42.80/43.41	o 1936
42.80/43.47	o 1934
42.90/43.53	o 1932
42.90/43.59	o 1930
43.00/43.62	o 1929
43.00/43.68	o 1927
43.10/43.77	o 1926
43.20/43.83	o 1924
43.20/43.89	o 1922
43.30/43.96	o 1920
43.40/44.02	o 1918
43.40/44.08	o 1916
43.50/44.14	o 1914
43.60/44.20	o 1912
43.60/44.26	o 1910
43.70/44.32	o 1908
43.70/44.40	o 1906
43.79/44.45	o 1904
43.89/44.52	o 1903
43.89/44.59	o 1902
43.99/44.66	o 1901
44.09/44.73	o 1900
44.09/44.79	o 1899
44.19/44.86	o 1898
44.29/44.92	o 1897
44.29/44.99	o 1895
44.39/45.07	o 1894
44.48/45.14	o 1893
44.58/45.21	o 1892
44.58/45.26	o 1891
44.68/45.33	o 1890
44.78/45.40	o 1889
44.78/45.47	o 1888
44.87/45.54	o 1887
44.97/45.61	o 1886
44.97/45.67	o 1885
45.07/45.74	o 1884
45.17/45.81	o 1883
45.17/45.87	o 1882
45.27/45.94	o 1881
45.37/46.00	o 1880
45.47/46.13	o 1879
45.47/46.19	o 1878
45.58/46.22	o 1876
45.58/46.29	o 1875
45.77/46.40	o 1874
45.77/46.47	o 1873
45.87/46.53	o 1872
45.96/46.60	o 1871
45.96/46.66	o 1870
46.06/46.72	o 1869
46.06/46.78	o 1868
46.16/46.85	o 1867
46.26/46.90	o 1865
46.26/46.96	o 1864
46.36/47.02	o 1863
46.36/47.08	o 1862
46.46/47.14	o 1861
46.46/47.20	o 1860
46.56/47.26	o 1859
46.66/47.32	o 1858
46.66/47.37	o 1857
46.75/47.43	o 1856
46.75/47.49	o 1855
46.85/47.55	o 1854
46.95/47.60	o 1853
46.95/47.67	o 1852
47.05/47.72	o 1851
47.05/47.78	o 1850
47.15/47.83	o 1849
47.15/47.89	o 1848
47.25/47.94	o 1847
47.35/48.04	o 1846
47.35/48.09	o 1845
47.45/48.14	o 1842
47.45/48.19	o 1841
47.55/48.23	o 1840
47.55/48.29	o 1839
47.65/48.34	o 1838
47.65/48.39	o 1837
47.74/48.44	o 1836
47.74/48.49	o 1835
47.84/48.54	o 1834
47.84/48.59	o 1833
47.94/48.64	o 1832
47.94/48.69	o 1831
48.04/48.74	o 1830
48.04/48.80	o 1829
48.13/48.85	o 1828
48.13/48.89	o 1827
48.23/48.93	o 1825
48.33/49.02	o 1824
48.33/49.07	o 1823
48.43/49.11	o 1822
48.43/49.16	o 1821
48.53/49.20	o 1820
48.53/49.28	o 1818
48.62/49.32	o 1817
48.62/49.36	o 1815
48.72/49.41	o 1814
48.72/49.49	o 1813
48.82/49.54	o 1812
48.82/49.58	o 1811
48.92/49.62	o 1810
48.92/49.66	o 1809
49.02/49.70	o 1807
49.02/49.74	o 1806
49.02/49.78	o 1805
49.51/50.25	o 1804
49.61/50.39	o 1802
50.50/51.24	o 1801
50.50/51.27	o 1799
50.60/51.30	o 1796
50.80/51.59	o 1794
50.90/51.66	o 1792
51.00/51.78	o 1790
51.09/51.81	o 1788
51.09/51.87	o 1787
51.19/51.91	o 1785
51.19/51.94	o 1784
51.19/51.97	o 1782
51.29/52.00	o 1779
51.29/52.03	o 1778
51.29/52.06	o 1777
51.29/52.09	o 1776
51.38/52.13	o 1775
51.38/52.16	o 1773
51.38/52.19	o 1772
51.48/52.22	o 1771
51.48/52.28	o 1770
51.58/52.32	o 1768
51.58/52.35	o 1766
51.68/52.41	o 1765
51.68/52.44	o 1763
51.78/52.51	o 1761
51.78/52.55	o 1759
51.78/52.58	o 1758
51.88/52.62	o 1757
51.88/52.65	o 1755
51.88/52.68	o 1753
51.98/52.73	o 1751
51.98/52.76	o 1749
52.08/52.83	o 1748
52.08/52.87	o 1747
52.18/52.90	o 1746
52.18/52.97	o 1745
52.38/53.11	o 1744
52.38/53.19	o 1743
52.48/53.23	o 1741
52.48/53.27	o 1739
52.58/53.30	o 1737
52.58/53.34	o 1736
52.58/53.38	o 1734
52.68/53.41	o 1733
52.68/53.49	o 1732
52.78/53.53	o 1731
52.78/53.56	o 1730
52.88/53.60	o 1728
52.88/53.63	o 1727
52.88/53.67	o 1725
52.97/53.71	o 1724
52.97/53.75	o 1722
52.97/53.78	o 1721
53.07/53.86	o 1719
53.07/53.90	o 1718
53.17/53.94	o 1716
53.17/53.98	o 1715
53.27/54.01	o 1714
53.36/54.15	o 1713
53.36/54.19	o 1712
53.46/54.22	o 1710
53.46/54.26	o 1708
53.56/54.34	o 1706
53.56/54.37	o 1705
53.66/54.44	o 1704
53.66/54.48	o 1703
53.76/54.52	o 1701
53.76/54.56	o 1699
53.86/54.67	o 1697
53.96/54.71	o 1696
53.96/54.78	o 1694
54.06/54.86	o 1693
54.06/54.90	o 1692
54.16/54.98	o 1691
54.26/55.02	o 1689
54.35/55.13	o 1686
54.35/55.16	o 1685
54.56/55.34	o 1684
54.56/55.38	o 1682
54.75/55.52	o 1681
54.75/55.56	o 1680
54.85/55.67	o 1679
54.95/55.70	o 1678
54.95/55.74	o 1677
54.95/55.77	o 1676
55.05/55.81	o 1675
55.05/55.84	o 1674
55.05/55.88	o 1673
55.15/55.91	o 1671
55.15/55.95	o 1670
55.25/56.02	o 1669
55.25/56.06	o 1667
55.25/56.09	o 1666
55.44/56.20	o 1665
55.44/56.24	o 1664
55.44/56.27	o 1663
55.54/56.31	o 1662
55.54/56.35	o 1660
55.54/56.38	o 1658
55.74/56.53	o 1657
55.74/56.56	o 1655
55.84/56.60	o 1654
55.93/56.74	o 1653
56.03/56.84	o 1652
56.13/56.91	o 1651
56.13/56.98	o 1650
56.23/57.05	o 1648
56.23/57.09	o 1647
56.33/57.13	o 1646
56.33/57.20	o 1644
56.43/57.27	o 1642
56.53/57.31	o 1640
56.53/57.35	o 1639
56.62/57.43	o 1638
56.72/57.54	o 1636
56.72/57.59	o 1634
56.82/57.63	o 1633
56.82/57.66	o 1632
56.92/57.70	o 1631
57.02/57.82	o 1630
57.02/57.86	o 1629
57.21/58.00	o 1628
57.31/58.11	o 1627
57.31/58.15	o 1626
57.31/58.18	o 1625
57.42/58.26	o 1624
57.42/58.30	o 1623
57.52/58.38	o 1622
57.62/58.46	o 1621
57.62/58.50	o 1620
57.72/58.54	o 1619
57.72/58.57	o 1617
57.82/58.61	o 1615
57.82/58.65	o 1614
57.82/58.69	o 1613
57.91/58.77	o 1612
58.01/58.85	o 1611
58.11/58.92	o 1609
58.11/58.96	o 1608
58.21/59.08	o 1606
58.31/59.13	o 1605
58.31/59.17	o 1604
58.41/59.21	o 1601
58.51/59.38	o 1600
58.70/59.56	o 1598
58.80/59.61	o 1596
58.90/59.80	o 1595
59.00/59.84	o 1593
59.00/59.89	o 1592
59.10/59.93	o 1591
59.20/60.02	o 1590
59.29/60.12	o 1589
59.29/60.17	o 1587
59.39/60.22	o 1586
59.39/60.26	o 1584
59.49/60.36	o 1583
59.59/60.41	o 1581
60.08/60.96	o 1579
60.18/61.01	o 1578
60.28/61.12	o 1577
60.38/61.22	o 1576
60.38/61.28	o 1575
60.48/61.38	o 1574
60.58/61.48	o 1573
60.97/61.80	o 1571
61.07/61.97	o 1570
61.16/62.07	o 1569
61.36/62.24	o 1568
61.86/62.75	o 1567
61.96/62.80	o 1566
62.06/62.91	o 1565
62.06/62.97	o 1564
62.16/63.02	o 1563
62.16/63.07	o 1560
62.25/63.13	o 1558
62.25/63.18	o 1555
62.35/63.23	o 1553
62.35/63.29	o 1552
62.45/63.40	o 1551
62.75/63.62	o 1550
62.75/63.67	o 1548
62.85/63.74	o 1547
62.85/63.80	o 1546
63.04/63.91	o 1545
63.14/64.03	o 1544
63.14/64.09	o 1543
63.54/64.49	o 1542
63.94/64.89	o 1541
64.13/65.00	o 1539
64.13/65.06	o 1538
64.23/65.12	o 1537
64.23/65.18	o 1536
64.33/65.24	o 1535
64.62/65.52	o 1534
64.62/65.58	o 1533
64.72/65.63	o 1532
64.82/65.75	o 1531
64.92/65.81	o 1529
64.92/65.86	o 1527
65.61/66.55	o 1525
65.71/66.61	o 1524
66.01/66.99	o 1523
66.21/67.17	o 1521
66.30/67.28	o 1520
66.40/67.34	o 1519
66.50/67.40	o 1518
66.59/67.51	o 1517
66.69/67.62	o 1516
66.69/67.67	o 1515
66.89/67.83	o 1514
66.99/67.95	o 1513
67.09/68.00	o 1511
67.09/68.06	o 1510
67.19/68.12	o 1508
67.19/68.18	o 1507
67.29/68.24	o 1506
67.39/68.35	o 1504
67.49/68.46	o 1503
67.59/68.52	o 1502
67.59/68.58	o 1501
67.68/68.64	o 1499
67.78/68.75	o 1497
68.18/69.20	o 1495
68.38/69.32	o 1494
68.48/69.43	o 1492
68.48/69.49	o 1490
68.58/69.55	o 1489
68.68/69.60	o 1488
68.68/69.67	o 1487
68.77/69.73	o 1485
68.77/69.78	o 1483
68.87/69.80	o 1482
68.87/69.85	o 1481
68.97/69.91	o 1478
69.07/70.02	o 1477
69.07/70.08	o 1476
69.17/70.14	o 1475
69.17/70.19	o 1473
69.27/70.25	o 1471
69.37/70.37	o 1469
69.56/70.54	o 1468
69.95/70.95	o 1467
70.05/71.01	o 1466
70.15/71.13	o 1464
70.45/71.50	o 1463
70.55/71.56	o 1461
70.65/71.67	o 1459
70.75/71.79	o 1458
70.85/71.85	o 1457
70.94/71.98	o 1456
71.04/72.04	o 1455
71.24/72.22	o 1454
71.34/72.34	o 1452
71.34/72.36	o 1451
71.54/72.55	o 1449
71.74/72.78	o 1446
71.84/72.84	o 1444
71.94/72.90	o 1442
71.94/72.97	o 1441
72.14/73.16	o 1439
72.24/73.23	o 1438
72.24/73.29	o 1437
72.74/73.73	o 1436
72.93/73.92	o 1435
72.93/73.99	o 1433
73.03/74.05	o 1432
73.12/74.19	o 1431
73.22/74.26	o 1430
73.52/74.59	o 1429
73.62/74.65	o 1428
73.72/74.73	o 1427
73.72/74.79	o 1426
74.12/75.13	o 1425
74.21/75.27	o 1424
74.31/75.34	o 1423
74.31/75.39	o 1422
74.51/75.54	o 1421
74.81/75.82	o 1420
75.00/76.08	o 1419
75.10/76.18	o 1418
75.20/76.29	o 1417
75.29/76.39	o 1416
75.49/76.58	o 1415
75.59/76.68	o 1414
75.69/76.78	o 1413
75.79/76.88	o 1412
75.89/76.99	o 1411
75.99/77.09	o 1410
76.08/77.19	o 1409
76.18/77.29	o 1407
76.38/77.48	o 1406
76.48/77.57	o 1405
76.58/77.67	o 1404
76.68/77.74	o 1403
76.78/77.84	o 1402
76.88/77.94	o 1401
76.98/78.04	o 1400
77.08/78.14	o 1399
77.17/78.24	o 1398
77.27/78.33	o 1397
77.37/78.43	o 1396
77.67/78.78	o 1395
77.77/78.88	o 1394
77.87/78.97	o 1393
77.96/79.07	o 1392
78.06/79.17	o 1391
78.16/79.25	o 1390
78.26/79.35	o 1389
78.36/79.44	o 1388
78.46/79.53	o 1387
78.55/79.63	o 1386
78.65/79.73	o 1385
78.75/79.89	o 1384
78.85/79.98	o 1383
78.95/80.07	o 1382
79.05/80.16	o 1381
79.15/80.26	o 1380
79.25/80.35	o 1379
79.34/80.44	o 1378
79.44/80.53	o 1377
79.54/80.62	o 1376
79.64/80.72	o 1375
79.74/80.81	o 1374
79.83/80.90	o 1373
79.83/80.99	o 1372
79.93/81.08	o 1371
80.03/81.17	o 1370
80.23/81.35	o 1369
80.33/81.44	o 1368
80.43/81.53	o 1367
80.53/81.63	o 1366
80.63/81.72	o 1365
80.72/81.88	o 1364
80.82/81.97	o 1363
81.02/82.14	o 1362
81.12/82.23	o 1361
81.22/82.32	o 1360
81.32/82.41	o 1359
81.32/82.50	o 1358
81.42/82.58	o 1357
81.61/82.75	o 1356
81.71/82.84	o 1355
81.81/82.93	o 1354
81.91/83.02	o 1353
82.01/83.11	o 1352
82.01/83.20	o 1351
82.11/83.28	o 1350
82.21/83.37	o 1349
82.31/83.46	o 1348
82.42/83.55	o 1347
82.61/83.79	o 1346
82.71/83.88	o 1345
82.81/83.97	o 1344
82.90/84.06	o 1343
83.00/84.15	o 1342
83.10/84.24	o 1341
83.20/84.38	o 1340
83.30/84.47	o 1338
83.60/84.72	o 1336
83.80/84.99	o 1335
85.08/86.25	o 1334
85.18/86.32	o 1333
85.68/86.86	o 1332
85.97/87.17	o 1330
86.26/87.47	o 1328
86.76/87.99	o 1327
86.86/88.01	o 1325
87.55/88.74	o 1324
87.65/88.88	o 1323
88.54/89.78	o 1322
89.62/90.89	o 1320
89.72/90.96	o 1319
90.31/91.52	o 1317
90.41/91.65	o 1316
90.91/92.13	o 1315
91.01/92.26	o 1314
91.11/92.33	o 1313
91.11/92.40	o 1312
91.22/92.47	o 1311
91.41/92.60	o 1310
91.80/93.01	o 1309
91.80/93.08	o 1308
91.90/93.13	o 1307
92.20/93.41	o 1304
92.20/93.48	o 1303
92.30/93.55	o 1302
92.40/93.68	o 1300
92.50/93.74	o 1299
92.60/93.88	o 1297
92.69/93.95	o 1296
92.79/94.01	o 1295
92.79/94.08	o 1294
92.89/94.15	o 1293
92.99/94.21	o 1292
93.09/94.35	o 1291
93.09/94.35	o 1288
93.19/94.50	o 1286
93.48/94.78	o 1285
93.68/94.93	o 1284
93.87/95.15	o 1282
93.97/95.22	o 1281
94.07/95.36	o 1280
94.17/95.44	o 1279
94.27/95.51	o 1278
94.47/95.73	o 1276
94.47/95.80	o 1274
94.56/95.87	o 1272
94.66/95.94	o 1270
94.76/96.02	o 1269
94.86/96.18	o 1268
95.16/96.41	o 1267
95.66/96.95	o 1265
95.76/97.03	o 1263
95.86/97.19	o 1262
96.25/97.50	o 1261
96.25/97.58	o 1260
96.35/97.66	o 1259
96.45/97.73	o 1258
96.55/97.90	o 1257
96.65/97.98	o 1255
97.24/98.57	o 1254
97.34/98.66	o 1252
97.34/98.69	o 1249
97.44/98.77	o 1248
97.83/99.11	o 1247
97.93/99.20	o 1246
97.93/99.28	o 1245
98.43/99.79	o 1244
98.53/99.85	o 1242
98.63/99.94	o 1241
98.83/100.12	o 1240
99.02/100.37	o 1239
99.12/100.46	o 1235
99.31/100.63	o 1234
99.41/100.72	o 1233
99.61/100.98	o 1232
99.91/101.25	o 1231
100.21/101.51	o 1230
100.30/101.68	o 1229
100.50/101.84	o 1228
100.70/102.01	o 1227
100.70/102.10	o 1226
100.90/102.28	o 1225
101.00/102.36	o 1224
101.29/102.62	o 1223
101.59/102.95	o 1221
101.79/103.18	o 1220
101.89/103.27	o 1219
102.18/103.56	o 1218
102.38/103.71	o 1217
102.58/103.93	o 1215
102.68/104.09	o 1214
102.88/104.24	o 1213
102.98/104.32	o 1211
103.37/104.70	o 1210
103.37/104.76	o 1209
103.56/104.92	o 1208
103.66/105.01	o 1206
103.66/105.08	o 1203
103.96/105.38	o 1202
104.26/105.62	o 1201
104.26/105.69	o 1200
104.36/105.77	o 1198
104.55/105.92	o 1197
104.65/106.08	o 1196
104.75/106.16	o 1195
104.95/106.31	o 1194
105.15/106.54	o 1193
105.35/106.78	o 1192
105.44/106.87	o 1190
105.54/106.92	o 1187
105.64/107.00	o 1186
105.64/107.09	o 1185
105.83/107.21	o 1184
105.83/107.28	o 1183
105.93/107.35	o 1182
106.03/107.43	o 1179
106.53/107.95	o 1175
106.62/108.02	o 1173
106.62/108.09	o 1172
106.82/108.24	o 1171
107.32/108.76	o 1170
107.71/109.14	o 1169
107.71/109.20	o 1167
107.82/109.28	o 1166
108.11/109.58	o 1164
108.31/109.72	o 1163
108.90/110.38	o 1162
109.00/110.46	o 1161
109.20/110.61	o 1159
109.40/110.82	o 1158
109.69/111.11	o 1156
109.79/111.27	o 1155
109.89/111.35	o 1153
110.38/111.89	o 1152
111.17/112.61	o 1150
111.27/112.70	o 1149
111.57/113.04	o 1148
111.66/113.13	o 1147
111.96/113.48	o 1146
112.16/113.66	o 1145
112.26/113.75	o 1144
112.36/113.84	o 1142
112.66/114.10	o 1141
112.96/114.47	o 1140
113.25/114.74	o 1139
114.04/115.58	o 1138
114.14/115.67	o 1137
114.34/115.85	o 1135
114.43/115.95	o 1134
115.03/116.51	o 1133
115.71/117.27	o 1132
115.81/117.37	o 1131
115.91/117.46	o 1130
116.51/118.04	o 1128
116.90/118.42	o 1126
117.00/118.52	o 1125
117.10/118.61	o 1124
117.20/118.72	o 1123
117.30/118.81	o 1122
117.40/118.91	o 1120
117.40/118.97	o 1118
117.69/119.25	o 1117
117.79/119.35	o 1115
117.89/119.45	o 1114
117.99/119.54	o 1112
118.09/119.64	o 1111
118.29/119.84	o 1110
118.39/119.94	o 1108
119.77/121.32	o 1107
119.86/121.43	o 1105
120.26/121.83	o 1104
121.55/123.11	o 1103
121.65/123.22	o 1102
122.74/124.34	o 1101
122.84/124.44	o 1100
123.04/124.65	o 1099
123.13/124.77	o 1097
123.23/124.87	o 1096
123.73/125.31	o 1095
123.83/125.49	o 1094
124.22/125.86	o 1093
125.21/126.81	o 1092
125.30/126.93	o 1091
125.40/127.04	o 1090
125.40/127.08	o 1088
125.50/127.19	o 1087
125.90/127.54	o 1086
126.10/127.77	o 1084
126.30/128.00	o 1083
126.49/128.12	o 1082
126.79/128.46	o 1081
126.99/128.69	o 1080
127.09/128.80	o 1079
127.38/129.02	o 1078
127.58/129.26	o 1077
127.68/129.38	o 1076
127.78/129.49	o 1075
128.08/129.73	o 1074
128.18/129.85	o 1072
128.27/129.97	o 1070
128.37/130.09	o 1069
128.57/130.21	o 1068
128.86/130.57	o 1067
129.16/130.81	o 1066
129.85/131.55	o 1064
130.93/132.60	o 1063
131.13/132.84	o 1062
131.93/133.61	o 1061
132.23/133.99	o 1060
132.53/134.25	o 1059
132.63/134.37	o 1058
132.73/134.49	o 1057
133.02/134.75	o 1056
134.21/135.93	o 1055
134.80/136.59	o 1054
135.39/137.11	o 1053
135.59/137.37	o 1052
136.28/138.04	o 1051
136.58/138.38	o 1049
137.97/139.75	o 1048
138.46/140.27	o 1047
138.86/140.67	o 1046
139.44/141.21	o 1045
139.54/141.34	o 1044
139.94/141.73	o 1043
140.93/142.76	o 1042
141.42/143.28	o 1041
141.71/143.56	o 1040
141.81/143.69	o 1039
142.21/144.10	o 1038
143.10/144.90	o 1037
143.30/145.17	o 1036
143.50/145.30	o 1035
143.70/145.59	o 1034
147.05/148.94	o 1033
147.84/149.74	o 1032
147.94/149.89	o 1031
148.14/150.03	o 1030
148.44/150.31	o 1029
149.03/150.91	o 1027
149.22/151.19	o 1026
150.31/152.28	o 1025
151.02/152.97	o 1023
151.41/153.34	o 1022
151.71/153.61	o 1021
152.59/154.59	o 1020
152.89/154.86	o 1019
153.88/155.86	o 1018
155.56/157.55	o 1016
156.05/158.02	o 1015
156.15/158.16	o 1014
158.82/160.88	o 1013
159.11/161.16	o 1012
159.41/161.44	o 1011
159.90/161.99	o 1010
160.10/162.14	o 1009
163.08/165.14	o 1007
163.47/165.54	o 1006
163.57/165.67	o 1004
163.77/165.81	o 1003
164.26/166.33	o 1001
165.74/167.81	o 1000
166.44/168.57	o 999
166.63/168.71	o 998
166.73/168.85	o 997
166.83/168.99	o 996
167.03/169.13	o 995
167.13/169.26	o 993
169.01/171.19	o 992
169.21/171.32	o 991
169.70/171.88	o 990
169.89/172.00	o 989
169.99/172.13	o 987
170.09/172.21	o 986
170.19/172.35	o 985
171.58/173.75	o 984
172.67/174.85	o 983
172.96/175.14	o 982
173.25/175.43	o 981
173.65/175.85	o 980
173.75/176.00	o 979
175.23/177.45	o 978
175.52/177.75	o 977
175.63/177.89	o 975
175.93/178.19	o 973
177.81/180.00	o 972
178.50/180.76	o 971
178.59/180.83	o 970
178.69/180.98	o 969
178.89/181.12	o 966
178.99/181.27	o 965
179.19/181.42	o 964
179.78/182.01	o 963
180.47/182.72	o 962
181.06/183.30	o 961
183.14/185.44	o 960
183.44/185.74	o 959
187.29/189.64	o 958
187.59/189.94	o 957
188.28/190.70	o 955
188.47/190.85	o 954
190.75/193.15	o 953
190.95/193.30	o 952
194.12/196.52	o 951
195.80/198.28	o 950
195.99/198.43	o 948
198.67/201.19	o 947
198.87/201.34	o 946
199.55/202.09	o 945
199.75/202.23	o 944
202.42/204.92	o 943
203.01/205.53	o 942
203.31/205.84	o 941
204.20/206.76	o 940
215.18/217.84	o 939
215.27/217.94	o 938
215.57/218.25	o 937
215.67/218.39	o 936
216.56/219.29	o 935
217.25/219.99	o 934
218.82/221.59	o 932
219.12/221.84	o 930
220.21/222.93	o 928
220.31/223.09	o 927
220.51/223.24	o 926
220.80/223.54	o 925
223.57/226.37	o 924
224.66/227.45	o 923
224.96/227.77	o 922
225.25/228.02	o 920
225.35/228.12	o 919
226.14/228.90	o 918
226.54/229.38	o 917
229.21/232.10	o 916
229.41/232.26	o 915
230.30/233.20	o 914
230.69/233.53	o 913
230.78/233.70	o 912
231.58/234.48	o 910
231.97/234.81	o 909
232.88/235.71	o 908
234.66/237.57	o 907
235.14/238.05	o 906
235.44/238.37	o 905
236.73/239.67	o 904
248.89/251.94	o 902
249.18/252.29	o 901
249.38/252.45	o 900
249.48/252.60	o 898
249.67/252.77	o 897
249.87/252.94	o 896
251.36/254.45	o 893
251.46/254.57	o 891
251.85/254.91	o 890
252.16/255.25	o 889
252.35/255.41	o 888
252.45/255.55	o 887
253.44/256.56	o 886
253.63/256.74	o 885
254.43/257.59	o 883
254.53/257.69	o 878
254.63/257.73	o 877
254.92/258.05	o 876
257.09/260.25	o 875
257.29/260.41	o 874
257.69/260.89	o 873
258.97/262.12	o 872
259.27/262.46	o 871
259.57/262.75	o 868
260.06/263.23	o 866
261.05/264.22	o 865
261.34/264.55	o 864
261.54/264.71	o 863
262.04/265.21	o 861
262.63/265.87	o 859
262.83/266.04	o 858
263.03/266.21	o 857
263.12/266.37	o 856
263.42/266.67	o 855
263.62/266.84	o 853
265.69/268.91	o 852
266.19/269.49	o 851
266.59/269.81	o 849
267.08/270.30	o 848
267.47/270.79	o 847
267.67/270.96	o 846
267.97/271.29	o 845
268.16/271.45	o 844
268.66/271.93	o 842
269.56/272.87	o 841
269.75/273.04	o 840
271.33/274.68	o 839
271.53/274.85	o 838
271.73/275.02	o 837
272.02/275.35	o 836
272.72/276.09	o 835
273.20/276.56	o 834
273.50/276.87	o 832
273.80/277.20	o 831
282.11/285.51	o 830
282.11/285.57	o 829
284.38/287.82	o 828
285.47/288.97	o 827
285.67/289.12	o 826
285.67/289.19	o 825
285.87/289.35	o 823
286.45/289.98	o 822
286.75/290.28	o 821
287.25/290.71	o 820
287.34/290.84	o 817
287.64/291.15	o 816
288.93/292.43	o 815
289.22/292.76	o 814
290.12/293.63	o 813
290.90/294.43	o 812
291.00/294.59	o 811
301.58/305.27	o 810
301.78/305.44	o 808
301.88/305.56	o 806
302.08/305.74	o 805
302.77/306.43	o 804
310.68/314.45	o 803
311.47/315.27	o 802
311.87/315.61	o 801
312.26/316.10	o 800
312.46/316.27	o 799
315.92/319.75	o 798
323.84/327.77	o 797
326.80/330.72	o 795
327.49/331.43	o 794
327.68/331.62	o 793
327.78/331.79	o 792
345.39/349.54	o 790
346.28/350.45	o 789
346.38/350.51	o 787
347.16/351.39	o 786
347.36/351.59	o 785
348.75/352.99	o 784
350.82/355.05	o 783
351.81/356.07	o 782
352.79/357.08	o 781
353.19/357.41	o 780
356.45/360.75	o 779
356.85/361.15	o 778
356.94/361.24	o 777
358.83/363.14	o 776
359.03/363.33	o 775
360.31/364.63	o 774
360.51/364.83	o 773
360.61/364.99	o 772
361.01/365.39	o 770
361.20/365.59	o 768
362.00/366.37	o 767
362.38/366.75	o 766
362.58/366.95	o 764
364.56/368.96	o 763
365.35/369.77	o 761
365.94/370.37	o 760
367.03/371.44	o 759
367.63/372.04	o 758
383.75/388.37	o 757
388.19/392.83	o 756
389.67/394.31	o 755
390.36/395.06	o 754
390.96/395.69	o 753
393.04/397.74	o 752
393.44/398.16	o 750
393.83/398.56	o 749
394.03/398.77	o 748
397.89/402.69	o 747
398.08/402.90	o 746
398.38/403.11	o 745
398.58/403.31	o 744
398.68/403.46	o 743
414.99/420.00	o 742
416.28/421.22	o 740
416.47/421.42	o 738
417.06/422.02	o 737
418.05/423.02	o 735
424.18/429.21	o 734
424.87/429.92	o 733
428.82/433.98	o 732
429.42/434.59	o 731
435.65/440.87	o 730
435.85/441.09	o 729
436.94/442.13	o 728
437.53/442.76	o 727
438.13/443.37	o 726
444.95/450.24	o 725
450.58/455.93	o 723
451.17/456.54	o 722
452.06/457.49	o 721
452.35/457.71	o 720
452.55/457.91	o 719
453.15/458.53	o 718
453.35/458.78	o 717
454.04/459.40	o 715
454.44/459.81	o 714
454.73/460.11	o 712
454.92/460.33	o 711
455.12/460.53	o 710
455.32/460.73	o 709
458.08/463.59	o 708
458.48/463.98	o 706
458.68/464.18	o 705
459.28/464.79	o 704
459.48/464.93	o 702
459.68/465.13	o 701
460.57/466.04	o 699
461.35/466.83	o 698
461.75/467.21	o 697
462.35/467.81	o 696
463.23/468.70	o 695
466.00/471.57	o 694
466.79/472.38	o 693
467.19/472.78	o 691
474.70/480.37	o 690
475.29/480.97	o 689
475.69/481.38	o 688
478.65/484.34	o 687
479.84/485.54	o 686
489.04/494.89	o 685
515.24/521.33	o 683
515.73/521.88	o 682
515.93/522.08	o 681
516.13/522.22	o 679
516.52/522.63	o 678
516.72/522.88	o 676
516.92/523.06	o 674
517.52/523.66	o 673
518.50/524.66	o 668
518.70/524.85	o 666
519.29/525.44	o 665
520.28/526.43	o 664
521.96/528.13	o 661
522.25/528.46	o 660
523.04/529.23	o 659
523.14/529.37	o 658
524.13/530.32	o 657
524.83/531.07	o 654
525.03/531.27	o 652
525.22/531.46	o 651
525.42/531.67	o 650
525.61/531.86	o 649
525.81/532.05	o 648
527.20/533.44	o 647
527.30/533.59	o 646
536.49/542.87	o 644
536.89/543.28	o 643
537.09/543.49	o 642
537.29/543.69	o 641
537.58/543.90	o 640
537.68/544.02	o 637
537.88/544.23	o 636
538.08/544.43	o 635
544.50/550.98	o 632
544.90/551.38	o 631
545.29/551.71	o 630
545.39/551.88	o 629
546.97/553.41	o 628
550.04/556.60	o 627
550.23/556.73	o 626
550.33/556.87	o 625
550.53/557.07	o 624
553.10/559.67	o 622
553.50/560.02	o 620
553.99/560.53	o 619
554.19/560.73	o 618
554.39/560.93	o 617
554.98/561.50	o 616
559.03/565.63	o 615
560.52/567.18	o 614
560.72/567.38	o 613
560.82/567.44	o 611
565.37/572.06	o 609
566.15/572.81	o 607
567.93/574.66	o 605
568.33/575.05	o 604
594.74/601.78	o 603
594.93/601.96	o 602
598.09/605.18	o 601
598.68/605.77	o 600
599.57/606.69	o 599
600.56/607.66	o 598
601.16/608.25	o 597
601.26/608.33	o 595
602.05/609.12	o 593
618.26/625.58	o 592
618.46/625.70	o 591
620.93/628.24	o 589
627.94/635.31	o 588
629.13/636.53	o 585
630.12/637.51	o 584
630.32/637.71	o 583
630.91/638.39	o 582
631.51/638.90	o 581
632.30/639.73	o 580
632.40/639.89	o 579
634.48/641.94	o 578
635.27/642.75	o 577
635.66/643.11	o 576
637.24/644.73	o 575
638.62/646.15	o 574
639.02/646.55	o 573
639.22/646.76	o 572
639.61/647.16	o 571
640.21/647.77	o 570
646.83/654.46	o 569
648.02/655.63	o 568
648.21/655.83	o 567
648.61/656.24	o 566
651.57/659.22	o 565
651.97/659.61	o 564
652.07/659.73	o 563
664.14/671.91	o 562
664.34/672.11	o 557
664.43/672.27	o 554
665.02/672.87	o 553
665.22/673.07	o 552
665.61/673.47	o 551
665.71/673.53	o 549
667.49/675.32	o 548
676.40/684.37	o 547
676.79/684.78	o 546
677.78/685.77	o 545
677.98/685.96	o 544
679.56/687.57	o 543
693.60/701.79	o 542
694.38/702.57	o 541
695.37/703.56	o 540
695.57/703.75	o 539
705.07/713.39	o 538
712.87/721.22	o 537
714.06/722.41	o 536
715.74/724.13	o 535
717.52/725.98	o 534
720.99/729.43	o 533
722.87/731.35	o 532
723.07/731.55	o 531
724.06/732.53	o 530
727.61/736.10	o 529
727.80/736.30	o 528
730.28/738.85	o 527
730.58/739.15	o 526
739.57/748.29	o 525
740.16/748.88	o 524
740.36/749.07	o 523
742.14/750.88	o 522
751.34/760.16	o 521
751.93/760.76	o 520
782.09/791.21	   
782.09/791.21	   search
782.09/791.21	     run=0  nbConstraintChecks=2500485276  nbAssignments=6034
782.09/791.21	       =>  wckTime=779.305  cpuTime=770.3  mem=37M434
782.09/791.21	   
782.09/791.21	   global
782.09/791.21	     nbConstraintChecks=2500485276  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
782.09/791.21	     solvingWckTime=779.29  solvingCpuTime=770.29  expiredTime=no  totalExploration=no  nbFoundSolutions=0
782.09/791.21	     globalCpuTime=781.12
782.09/791.21	       =>  wckTime=790.969  cpuTime=781.06  mem=37M434
782.09/791.21	   
782.09/791.21	   solver DecomposerSolver being built... 
787.03/796.26	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-1113031-1215877033/watcher-1113031-1215877033 -o /tmp/evaluation-result-1113031-1215877033/solver-1113031-1215877033 -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-1113031-1215877033.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.90 2.03 2.03 4/106 12480
/proc/meminfo: memFree=1259832/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=152 CPUtime=0
/proc/12480/stat : 12480 (java) R 12478 12480 12443 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 44400325 155648 26 996147200 134512640 134550740 4294956128 18446744073709551615 6549803 0 0 4096 0 0 0 0 17 0 0 0
/proc/12480/statm: 38 26 19 9 0 4 0

[startup+0.076476 s]
/proc/loadavg: 1.90 2.03 2.03 4/106 12480
/proc/meminfo: memFree=1259832/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=865856 CPUtime=0.06
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 3362 0 1 0 4 2 0 0 18 0 9 0 44400325 886636544 2876 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216464 2876 1561 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.101479 s]
/proc/loadavg: 1.90 2.03 2.03 4/106 12480
/proc/meminfo: memFree=1259832/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=865984 CPUtime=0.08
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 3759 0 1 0 6 2 0 0 18 0 9 0 44400325 886767616 3218 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216496 3218 1701 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301517 s]
/proc/loadavg: 1.90 2.03 2.03 4/106 12480
/proc/meminfo: memFree=1259832/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=866304 CPUtime=0.28
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 5820 0 1 0 24 4 0 0 18 0 9 0 44400325 887095296 5195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216576 5195 1954 9 0 211104 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866304

[startup+0.701597 s]
/proc/loadavg: 1.90 2.03 2.03 4/106 12480
/proc/meminfo: memFree=1259832/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=866464 CPUtime=0.68
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 8377 0 1 0 62 6 0 0 18 0 9 0 44400325 887259136 7748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216616 7748 1967 9 0 211144 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866464

[startup+1.50274 s]
/proc/loadavg: 1.90 2.03 2.03 3/115 12489
/proc/meminfo: memFree=1217776/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867484 CPUtime=1.47
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 21169 0 1 0 134 13 0 0 18 0 9 0 44400325 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216871 20505 2004 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867484 CPUtime=1.2
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15760 0 1 0 110 10 0 0 25 0 9 0 44400327 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 103813005 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867484 CPUtime=0.08
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 4097 0 0 0 6 2 0 0 16 0 9 0 44400328 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867484 CPUtime=0.16
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 614 0 0 0 16 0 0 0 16 0 9 0 44400330 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888303616 20505 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867484

[startup+3.10204 s]
/proc/loadavg: 1.91 2.03 2.03 3/115 12489
/proc/meminfo: memFree=1184304/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867484 CPUtime=3.05
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 21235 0 1 0 291 14 0 0 18 0 9 0 44400325 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216871 20568 2006 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867484 CPUtime=2.75
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15796 0 1 0 264 11 0 0 25 0 9 0 44400327 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4126917209 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867484 CPUtime=0.08
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 4097 0 0 0 6 2 0 0 17 0 9 0 44400328 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867484 CPUtime=0.19
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 644 0 0 0 19 0 0 0 16 0 9 0 44400330 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) R 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888303616 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867484

[startup+6.30163 s]
/proc/loadavg: 1.91 2.03 2.03 3/115 12489
/proc/meminfo: memFree=1183920/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867484 CPUtime=6.21
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 21257 0 1 0 605 16 0 0 18 0 9 0 44400325 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216871 20586 2006 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867484 CPUtime=5.88
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15802 0 1 0 576 12 0 0 25 0 9 0 44400327 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4126917209 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867484 CPUtime=0.08
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 4097 0 0 0 6 2 0 0 17 0 9 0 44400328 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867484 CPUtime=0.22
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 660 0 0 0 22 0 0 0 15 0 9 0 44400330 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888303616 20586 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867484

[startup+12.7028 s]
/proc/loadavg: 2.00 2.04 2.04 3/115 12489
/proc/meminfo: memFree=1157696/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867572 CPUtime=12.53
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 28646 0 1 0 1231 22 0 0 18 0 9 0 44400325 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216893 27779 2640 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867572 CPUtime=11.73
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15874 0 1 0 1157 16 0 0 25 0 9 0 44400327 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4126894141 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867572 CPUtime=0.47
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 11372 0 0 0 43 4 0 0 17 0 9 0 44400328 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867572 CPUtime=0.3
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 702 0 0 0 29 1 0 0 15 0 9 0 44400330 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888393728 27779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867572

[startup+25.5012 s]
/proc/loadavg: 2.00 2.04 2.04 3/115 12489
/proc/meminfo: memFree=1157696/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867572 CPUtime=25.15
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 28653 0 1 0 2487 28 0 0 18 0 9 0 44400325 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216893 27784 2640 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867572 CPUtime=24.35
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15876 0 1 0 2413 22 0 0 25 0 9 0 44400327 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4127100656 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867572 CPUtime=0.47
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 11372 0 0 0 43 4 0 0 16 0 9 0 44400328 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867572 CPUtime=0.31
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 707 0 0 0 30 1 0 0 17 0 9 0 44400330 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888393728 27784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 867572

[startup+51.102 s]
/proc/loadavg: 2.00 2.03 2.03 3/115 12489
/proc/meminfo: memFree=1157696/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867572 CPUtime=50.4
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 28663 0 1 0 5004 36 0 0 18 0 9 0 44400325 888393728 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216893 27790 2640 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867572 CPUtime=49.59
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15880 0 1 0 4929 30 0 0 25 0 9 0 44400327 888393728 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4126893223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867572 CPUtime=0.47
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 11372 0 0 0 43 4 0 0 16 0 9 0 44400328 888393728 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888393728 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867572 CPUtime=0.32
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 713 0 0 0 31 1 0 0 15 0 9 0 44400330 888393728 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867572 CPUtime=0

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

Current children cumulated CPU time (s) 759.05
Current children cumulated vsize (KiB) 867572

[startup+780.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 12489
/proc/meminfo: memFree=1156352/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867572 CPUtime=771.71
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 28666 0 1 0 77092 79 0 0 18 0 9 0 44400325 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216893 27793 2640 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867572 CPUtime=770.88
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15880 0 1 0 77016 72 0 0 25 0 9 0 44400327 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4127100737 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867572 CPUtime=0.47
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 11372 0 0 0 43 4 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867572 CPUtime=0.32
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 716 0 0 0 31 1 0 0 16 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 771.71
Current children cumulated vsize (KiB) 867572

[startup+787.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 12489
/proc/meminfo: memFree=1156352/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867572 CPUtime=778.03
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 28666 0 1 0 77724 79 0 0 18 0 9 0 44400325 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216893 27793 2640 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867572 CPUtime=777.2
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15880 0 1 0 77648 72 0 0 25 0 9 0 44400327 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4126896138 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867572 CPUtime=0.47
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 11372 0 0 0 43 4 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867572 CPUtime=0.32
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 716 0 0 0 31 1 0 0 16 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 778.03
Current children cumulated vsize (KiB) 867572

[startup+790.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/115 12489
/proc/meminfo: memFree=1156352/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867572 CPUtime=781.19
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 28666 0 1 0 78040 79 0 0 18 0 9 0 44400325 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216893 27793 2640 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867572 CPUtime=780.37
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15880 0 1 0 77964 73 0 0 25 0 9 0 44400327 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4126895225 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867572 CPUtime=0.47
/proc/12480/task/12483/stat : 12483 (java) S 12478 12480 12443 0 -1 64 11372 0 0 0 43 4 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400328 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867572 CPUtime=0.32
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 716 0 0 0 31 1 0 0 16 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867572 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888393728 27793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 781.19
Current children cumulated vsize (KiB) 867572

[startup+793.502 s]
/proc/loadavg: 2.08 2.02 2.01 3/115 12489
/proc/meminfo: memFree=607232/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867484 CPUtime=784.36
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 189483 0 1 0 78286 150 0 0 18 0 9 0 44400325 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216871 188530 2618 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867484 CPUtime=782.04
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15969 0 1 0 78131 73 0 0 25 0 9 0 44400327 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867484 CPUtime=1.93
/proc/12480/task/12483/stat : 12483 (java) R 12478 12480 12443 0 -1 64 172067 0 0 0 119 74 0 0 16 0 9 0 44400328 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44400328 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867484 CPUtime=0.35
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 731 0 0 0 34 1 0 0 15 0 9 0 44400330 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888303616 188530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 784.36
Current children cumulated vsize (KiB) 867484

[startup+795.103 s]
/proc/loadavg: 2.08 2.02 2.01 4/115 12489
/proc/meminfo: memFree=468480/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867484 CPUtime=785.94
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 200391 0 1 0 78440 154 0 0 18 0 9 0 44400325 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216871 199435 2618 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867484 CPUtime=782.08
/proc/12480/task/12482/stat : 12482 (java) R 12478 12480 12443 0 -1 64 15972 0 1 0 78135 73 0 0 25 0 9 0 44400327 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867484 CPUtime=3.48
/proc/12480/task/12483/stat : 12483 (java) R 12478 12480 12443 0 -1 64 182972 0 0 0 270 78 0 0 17 0 9 0 44400328 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867484 CPUtime=0.35
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 731 0 0 0 34 1 0 0 15 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 785.94
Current children cumulated vsize (KiB) 867484

[startup+795.902 s]
/proc/loadavg: 2.08 2.02 2.01 4/115 12489
/proc/meminfo: memFree=468480/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=867484 CPUtime=786.73
/proc/12480/stat : 12480 (java) S 12478 12480 12443 0 -1 0 200391 0 1 0 78519 154 0 0 18 0 9 0 44400325 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 216871 199435 2618 9 0 211399 0
[pid=12480/tid=12482] ppid=12478 vsize=867484 CPUtime=782.08
/proc/12480/task/12482/stat : 12482 (java) S 12478 12480 12443 0 -1 64 15972 0 1 0 78135 73 0 0 25 0 9 0 44400327 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12483] ppid=12478 vsize=867484 CPUtime=4.27
/proc/12480/task/12483/stat : 12483 (java) R 12478 12480 12443 0 -1 64 182972 0 0 0 349 78 0 0 18 0 9 0 44400328 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12484] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12484/stat : 12484 (java) S 12478 12480 12443 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12485] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12485/stat : 12485 (java) S 12478 12480 12443 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44400328 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12486] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12486/stat : 12486 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12487] ppid=12478 vsize=867484 CPUtime=0.35
/proc/12480/task/12487/stat : 12487 (java) S 12478 12480 12443 0 -1 64 731 0 0 0 34 1 0 0 15 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12488] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12488/stat : 12488 (java) S 12478 12480 12443 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12480/tid=12489] ppid=12478 vsize=867484 CPUtime=0
/proc/12480/task/12489/stat : 12489 (java) S 12478 12480 12443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400330 888303616 199435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 786.73
Current children cumulated vsize (KiB) 867484

[startup+796.303 s]
/proc/loadavg: 2.08 2.02 2.01 3/108 12489
/proc/meminfo: memFree=516736/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=0 CPUtime=787.1
/proc/12480/stat : 12480 (java) Z 12478 12480 12443 0 -1 12 200399 0 1 0 78555 155 0 0 16 0 2 0 44400325 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 787.1
Current children cumulated vsize (KiB) 0

[startup+796.41 s]
/proc/loadavg: 2.08 2.02 2.01 3/108 12489
/proc/meminfo: memFree=516736/2055920 swapFree=4192812/4192956
[pid=12480] ppid=12478 vsize=0 CPUtime=787.2
/proc/12480/stat : 12480 (java) Z 12478 12480 12443 0 -1 12 200399 0 1 0 78555 165 0 0 16 0 2 0 44400325 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12480/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 787.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 796.414
CPU time (s): 787.213
CPU user time (s): 785.559
CPU system time (s): 1.65475
CPU usage (%): 98.8447
Max. virtual memory (cumulated for all children) (KiB): 867576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 785.559
system time used= 1.65475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200399
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17850
involuntary context switches= 38464

runsolver used 1.15782 second user time and 3.39048 second system time

The end

Launcher Data (download as text)

Begin job on node82 at 2008-07-12 17:37:13
IDJOB=1113031
IDBENCH=61515
IDSOLVER=359
FILE ID=node82/1113031-1215877033
PBS_JOBID= 7903621
Free space on /tmp= 66556 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp27/normalized-fapp27-2550-3.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-1113031-1215877033/watcher-1113031-1215877033 -o /tmp/evaluation-result-1113031-1215877033/solver-1113031-1215877033 -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-1113031-1215877033.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8eb4eb3fb4371bb64ac48dd192eca4b5
RANDOM SEED=1845022344

node82.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.263
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.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1260312 kB
Buffers:          4616 kB
Cached:          45024 kB
SwapCached:          0 kB
Active:         738724 kB
Inactive:         8336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1260312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3704 kB
Writeback:           0 kB
Mapped:         718904 kB
Slab:            29680 kB
Committed_AS:  1064932 kB
PageTables:       5204 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB
End job on node82 at 2008-07-12 17:50:30