Trace number 1113032

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 768.635 774.016

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.23	
0.18/0.23	   configuration
0.18/0.23	     name=mrdac-ddeg.xml
0.28/0.31	   
0.28/0.31	   instance
0.28/0.31	     name=HOME/instance-1113032-1215877037.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.68/0.74	     nbVariables=2550  nbDomainTypes=8  minDomainSize=42  maxDomainSize=242  nbTotalValues=588188
0.68/0.74	       =>  wckTime=0.512  cpuTime=0.37  mem=28M329
0.68/0.74	   
0.68/0.74	   predicates being loaded...
0.77/0.80	   
0.77/0.80	   constraints being loaded...
10.51/10.64	   
10.51/10.64	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 61M996)
11.41/11.58	     nbConstraints=10886  nbConvertedConstraints=1377  nbConvertConstraintsChecks=33489235  nbExtensionStructures=642
11.41/11.58	     nbSharedExtensionStructures=1034  nbConflictsStructures=691  nbSharedConflictsStructures=1106
11.41/11.58	     nbUnbuiltConflictsStructures=1360  nbSharedBinaryRepresentations=280099  nbEvaluationManagers=1409
11.41/11.58	     nbSharedEvaluationManagers=8100  minDegree=2  maxDegree=38  minArity=2  maxArity=2
11.41/11.58	       =>  wckTime=11.354  cpuTime=10.71  mem=32M878
11.61/11.78	   
11.61/11.78	   solver LocalSearchSolver being built... 
11.71/11.83	       =>  wckTime=11.598  cpuTime=10.75  mem=36M427
11.81/11.91	
11.81/11.91	s SATISFIABLE
11.81/11.91	o 3588
11.81/11.93	o 3585
11.81/11.94	o 3582
11.81/11.95	o 3580
11.81/11.97	o 3576
11.81/11.98	o 3573
11.81/11.99	o 3570
11.91/12.01	o 3567
11.91/12.03	o 3565
11.91/12.04	o 3563
11.91/12.05	o 3559
11.91/12.07	o 3557
11.91/12.09	o 3551
11.91/12.10	o 3548
12.00/12.11	o 3545
12.00/12.12	o 3543
12.00/12.13	o 3541
12.00/12.15	o 3538
12.00/12.16	o 3536
12.00/12.17	o 3533
12.00/12.18	o 3532
12.00/12.19	o 3531
12.10/12.20	o 3526
12.10/12.22	o 3524
12.10/12.24	o 3519
12.10/12.27	o 3515
12.10/12.28	o 3511
12.10/12.29	o 3507
12.10/12.30	o 3503
12.20/12.31	o 3500
12.20/12.32	o 3497
12.20/12.33	o 3495
12.20/12.34	o 3493
12.20/12.35	o 3491
12.20/12.35	o 3489
12.20/12.36	o 3487
12.20/12.37	o 3485
12.20/12.37	o 3484
12.20/12.39	o 3483
12.29/12.40	o 3482
12.29/12.41	o 3481
12.29/12.42	o 3480
12.29/12.43	o 3477
12.29/12.44	o 3476
12.29/12.45	o 3473
12.29/12.47	o 3471
12.29/12.48	o 3470
12.39/12.50	o 3465
12.39/12.52	o 3463
12.39/12.53	o 3462
12.39/12.55	o 3457
12.39/12.58	o 3452
12.50/12.60	o 3447
12.50/12.62	o 3446
12.50/12.65	o 3441
12.50/12.67	o 3436
12.50/12.69	o 3431
12.60/12.72	o 3426
12.60/12.72	o 3425
12.60/12.75	o 3420
12.60/12.78	o 3416
12.70/12.81	o 3412
12.70/12.84	o 3408
12.70/12.87	o 3404
12.70/12.90	o 3400
12.79/12.92	o 3396
12.79/12.95	o 3392
12.79/12.98	o 3388
12.89/13.00	o 3384
12.89/13.03	o 3380
12.89/13.06	o 3376
12.89/13.09	o 3374
12.99/13.12	o 3370
12.99/13.15	o 3366
12.99/13.18	o 3362
12.99/13.20	o 3361
13.09/13.23	o 3358
13.09/13.25	o 3355
13.09/13.28	o 3352
13.19/13.33	o 3349
13.19/13.36	o 3346
13.19/13.38	o 3343
13.29/13.41	o 3340
13.29/13.44	o 3337
13.29/13.46	o 3334
13.29/13.49	o 3331
13.39/13.51	o 3328
13.39/13.54	o 3325
13.39/13.56	o 3322
13.39/13.59	o 3319
13.49/13.61	o 3316
13.49/13.64	o 3313
13.49/13.66	o 3310
13.49/13.69	o 3307
13.58/13.72	o 3305
13.58/13.74	o 3303
13.58/13.76	o 3301
13.58/13.79	o 3299
13.68/13.81	o 3297
13.68/13.84	o 3295
13.68/13.86	o 3293
13.68/13.89	o 3291
13.78/13.91	o 3289
13.78/13.93	o 3287
13.78/13.96	o 3285
13.78/13.98	o 3283
13.88/14.00	o 3281
13.88/14.02	o 3279
13.88/14.05	o 3277
13.88/14.07	o 3275
13.98/14.12	o 3273
13.98/14.14	o 3271
13.98/14.16	o 3269
13.98/14.17	o 3267
13.98/14.19	o 3265
14.08/14.22	o 3263
14.08/14.23	o 3261
14.08/14.25	o 3259
14.08/14.27	o 3257
14.08/14.29	o 3255
14.08/14.30	o 3253
14.18/14.32	o 3251
14.18/14.33	o 3249
14.18/14.35	o 3248
14.18/14.36	o 3247
14.18/14.38	o 3246
14.18/14.39	o 3243
14.27/14.41	o 3242
14.27/14.42	o 3241
14.27/14.43	o 3240
14.27/14.45	o 3239
14.27/14.46	o 3238
14.27/14.48	o 3237
14.27/14.49	o 3236
14.37/14.50	o 3235
14.37/14.51	o 3234
14.37/14.53	o 3233
14.37/14.54	o 3232
14.37/14.54	o 3231
14.37/14.56	o 3230
14.37/14.57	o 3229
14.37/14.58	o 3228
14.37/14.59	o 3227
14.47/14.63	o 3223
14.47/14.65	o 3221
14.47/14.67	o 3220
14.47/14.69	o 3219
14.57/14.75	o 3218
14.57/14.78	o 3217
14.67/14.80	o 3216
14.67/14.82	o 3213
14.67/14.86	o 3211
14.67/14.89	o 3207
14.77/14.92	o 3205
14.77/14.93	o 3204
14.77/14.98	o 3200
14.87/15.02	o 3196
14.87/15.07	o 3192
14.97/15.12	o 3188
14.97/15.16	o 3184
15.07/15.21	o 3180
15.07/15.26	o 3176
15.17/15.32	o 3172
15.17/15.33	o 3170
15.17/15.38	o 3166
15.27/15.43	o 3162
15.27/15.48	o 3158
15.36/15.53	o 3154
15.36/15.56	o 3153
15.36/15.60	o 3152
15.46/15.63	o 3151
15.46/15.67	o 3147
15.56/15.72	o 3143
15.56/15.76	o 3139
15.66/15.82	o 3135
15.66/15.86	o 3131
15.76/15.90	o 3127
15.76/15.95	o 3123
15.86/16.01	o 3120
15.86/16.07	o 3117
15.96/16.12	o 3114
15.96/16.18	o 3111
16.06/16.24	o 3108
16.16/16.30	o 3105
16.16/16.34	o 3104
16.26/16.41	o 3101
16.26/16.46	o 3098
16.36/16.52	o 3095
16.36/16.57	o 3094
16.45/16.62	o 3091
16.45/16.68	o 3088
16.55/16.73	o 3085
16.55/16.79	o 3082
16.65/16.86	o 3079
16.75/16.92	o 3076
16.75/16.97	o 3073
16.85/17.02	o 3070
16.85/17.07	o 3067
16.95/17.12	o 3064
16.95/17.17	o 3061
17.05/17.22	o 3058
17.05/17.26	o 3055
17.15/17.31	o 3052
17.15/17.36	o 3049
17.25/17.41	o 3046
17.25/17.46	o 3043
17.35/17.51	o 3040
17.35/17.55	o 3039
17.35/17.60	o 3036
17.45/17.65	o 3033
17.54/17.70	o 3030
17.54/17.75	o 3027
17.54/17.79	o 3024
17.64/17.84	o 3021
17.64/17.88	o 3018
17.75/17.93	o 3015
17.75/17.98	o 3014
17.85/18.03	o 3011
17.85/18.07	o 3009
17.94/18.12	o 3007
17.94/18.17	o 3005
18.04/18.22	o 3003
18.04/18.27	o 3001
18.14/18.32	o 2999
18.14/18.37	o 2997
18.24/18.41	o 2995
18.24/18.46	o 2993
18.34/18.51	o 2991
18.34/18.56	o 2989
18.44/18.61	o 2987
18.44/18.65	o 2985
18.44/18.70	o 2983
18.54/18.74	o 2981
18.54/18.78	o 2977
18.63/18.82	o 2975
18.63/18.87	o 2973
18.73/18.91	o 2971
18.73/18.95	o 2969
18.83/19.00	o 2967
18.83/19.04	o 2965
18.83/19.09	o 2963
18.93/19.13	o 2961
18.93/19.17	o 2960
19.03/19.21	o 2958
19.03/19.25	o 2956
19.03/19.29	o 2954
19.13/19.33	o 2952
19.13/19.37	o 2950
19.23/19.41	o 2948
19.23/19.45	o 2946
19.23/19.49	o 2944
19.33/19.52	o 2942
19.33/19.56	o 2939
19.33/19.59	o 2937
19.43/19.63	o 2935
19.43/19.66	o 2933
19.43/19.69	o 2931
19.53/19.77	o 2929
19.53/19.80	o 2927
19.63/19.84	o 2925
19.63/19.87	o 2923
19.72/19.90	o 2921
19.72/19.93	o 2920
19.72/19.96	o 2918
19.72/19.99	o 2916
19.82/20.02	o 2914
19.82/20.05	o 2912
19.82/20.08	o 2910
19.92/20.11	o 2908
19.92/20.14	o 2906
19.92/20.17	o 2904
19.92/20.19	o 2902
20.02/20.22	o 2900
20.02/20.25	o 2898
20.02/20.28	o 2896
20.12/20.31	o 2894
20.12/20.33	o 2892
20.12/20.36	o 2890
20.12/20.39	o 2888
20.22/20.42	o 2886
20.22/20.44	o 2884
20.22/20.47	o 2882
20.22/20.49	o 2880
20.32/20.52	o 2878
20.32/20.55	o 2876
20.32/20.57	o 2874
20.32/20.59	o 2872
20.42/20.62	o 2870
20.42/20.64	o 2869
20.42/20.67	o 2868
20.42/20.69	o 2867
20.52/20.72	o 2866
20.52/20.74	o 2865
20.52/20.76	o 2864
20.52/20.79	o 2863
20.62/20.82	o 2862
20.62/20.83	o 2861
20.62/20.86	o 2860
20.62/20.88	o 2859
20.62/20.90	o 2858
20.71/20.92	o 2857
20.71/20.94	o 2856
20.71/20.96	o 2855
20.71/20.98	o 2854
20.81/21.00	o 2853
20.81/21.02	o 2850
20.81/21.04	o 2849
20.81/21.06	o 2848
20.81/21.08	o 2847
20.91/21.10	o 2846
20.91/21.12	o 2845
20.91/21.14	o 2844
20.91/21.16	o 2843
20.91/21.18	o 2842
20.91/21.19	o 2841
21.01/21.21	o 2840
21.01/21.23	o 2839
21.01/21.24	o 2838
21.01/21.26	o 2837
21.01/21.27	o 2836
21.01/21.29	o 2835
21.11/21.30	o 2834
21.11/21.32	o 2833
21.11/21.33	o 2832
21.11/21.35	o 2831
21.11/21.36	o 2830
21.11/21.38	o 2829
21.21/21.40	o 2828
21.21/21.41	o 2827
21.21/21.43	o 2826
21.21/21.44	o 2825
21.31/21.54	o 2823
21.31/21.57	o 2822
21.31/21.58	o 2821
21.41/21.62	o 2819
21.41/21.63	o 2818
21.41/21.64	o 2816
21.41/21.65	o 2814
21.41/21.66	o 2812
21.41/21.68	o 2810
21.41/21.69	o 2808
21.50/21.72	o 2806
21.50/21.73	o 2802
21.50/21.75	o 2801
21.50/21.76	o 2799
21.50/21.77	o 2798
21.50/21.79	o 2796
21.60/21.80	o 2795
21.60/21.82	o 2794
21.60/21.83	o 2791
21.60/21.84	o 2789
21.60/21.86	o 2787
21.60/21.87	o 2784
21.60/21.88	o 2783
21.60/21.89	o 2779
21.70/21.91	o 2776
21.70/21.93	o 2774
21.70/21.94	o 2773
21.70/21.96	o 2772
21.70/22.00	o 2770
21.80/22.02	o 2768
21.80/22.03	o 2767
21.80/22.05	o 2766
21.80/22.07	o 2763
21.80/22.08	o 2762
21.89/22.10	o 2760
21.89/22.13	o 2759
21.89/22.15	o 2757
21.89/22.16	o 2756
21.89/22.18	o 2754
21.89/22.19	o 2753
21.99/22.22	o 2752
21.99/22.24	o 2751
21.99/22.26	o 2749
22.10/22.30	o 2748
22.10/22.32	o 2747
22.10/22.34	o 2746
22.10/22.36	o 2743
22.10/22.38	o 2742
22.20/22.41	o 2739
22.20/22.43	o 2738
22.20/22.49	o 2737
22.30/22.52	o 2736
22.30/22.55	o 2734
22.30/22.57	o 2732
22.40/22.60	o 2729
22.40/22.61	o 2728
22.40/22.69	o 2726
22.50/22.70	o 2725
22.50/22.72	o 2723
22.50/22.77	o 2721
22.60/22.82	o 2720
22.60/22.88	o 2717
22.70/22.95	o 2714
22.80/23.02	o 2711
22.80/23.09	o 2708
22.90/23.15	o 2705
22.99/23.22	o 2702
22.99/23.29	o 2699
23.09/23.35	o 2696
23.19/23.42	o 2693
23.19/23.49	o 2690
23.29/23.55	o 2687
23.39/23.61	o 2684
23.49/23.71	o 2681
23.49/23.78	o 2678
23.59/23.84	o 2675
23.69/23.91	o 2672
23.69/23.97	o 2669
23.79/24.03	o 2666
23.89/24.10	o 2663
23.89/24.17	o 2660
23.89/24.19	o 2659
23.98/24.25	o 2656
24.18/24.41	o 2653
24.18/24.47	o 2650
24.28/24.53	o 2647
24.28/24.59	o 2644
24.38/24.66	o 2642
24.48/24.72	o 2639
24.48/24.75	o 2638
24.58/24.81	o 2635
24.58/24.84	o 2634
24.68/24.90	o 2631
24.68/24.96	o 2628
24.78/25.02	o 2625
24.78/25.05	o 2624
24.88/25.11	o 2621
24.88/25.17	o 2618
24.97/25.24	o 2615
24.97/25.27	o 2614
25.07/25.34	o 2611
25.17/25.40	o 2608
25.17/25.47	o 2605
25.27/25.53	o 2602
25.27/25.58	o 2599
25.37/25.64	o 2596
25.47/25.74	o 2595
25.47/25.79	o 2592
25.57/25.85	o 2589
25.66/25.91	o 2586
25.66/25.97	o 2583
25.77/26.04	o 2581
25.87/26.11	o 2579
25.87/26.18	o 2577
25.97/26.25	o 2575
26.07/26.33	o 2573
26.07/26.40	o 2571
26.17/26.48	o 2569
26.26/26.55	o 2567
26.36/26.61	o 2565
26.56/26.80	o 2563
26.56/26.86	o 2561
26.66/26.93	o 2559
26.66/27.00	o 2557
26.76/27.06	o 2555
26.86/27.13	o 2553
26.86/27.19	o 2550
26.96/27.25	o 2548
26.96/27.29	o 2545
27.06/27.35	o 2543
27.06/27.40	o 2539
27.16/27.47	o 2537
27.26/27.53	o 2535
27.26/27.60	o 2533
27.35/27.66	o 2531
27.45/27.72	o 2529
27.45/27.78	o 2527
27.55/27.85	o 2525
27.65/27.91	o 2523
27.65/27.97	o 2521
27.75/28.04	o 2519
27.75/28.10	o 2517
27.85/28.16	o 2515
27.95/28.22	o 2513
27.95/28.28	o 2511
28.05/28.34	o 2509
28.25/28.52	o 2507
28.25/28.57	o 2505
28.35/28.63	o 2503
28.35/28.68	o 2501
28.44/28.74	o 2499
28.44/28.79	o 2497
28.54/28.85	o 2495
28.64/28.90	o 2493
28.64/28.94	o 2490
28.64/29.00	o 2488
28.74/29.05	o 2486
28.84/29.10	o 2484
28.84/29.15	o 2482
28.94/29.21	o 2480
28.94/29.26	o 2478
29.04/29.31	o 2476
29.04/29.36	o 2474
29.15/29.41	o 2472
29.15/29.46	o 2470
29.24/29.51	o 2468
29.24/29.57	o 2466
29.34/29.63	o 2464
29.34/29.68	o 2462
29.44/29.73	o 2460
29.44/29.77	o 2459
29.54/29.81	o 2457
29.54/29.87	o 2455
29.64/29.91	o 2453
29.74/30.01	o 2451
29.74/30.05	o 2449
29.83/30.10	o 2447
29.83/30.15	o 2445
29.93/30.20	o 2443
29.93/30.25	o 2441
29.93/30.29	o 2439
30.03/30.34	o 2437
30.03/30.39	o 2435
30.13/30.44	o 2433
30.13/30.48	o 2431
30.23/30.53	o 2429
30.23/30.58	o 2427
30.33/30.62	o 2425
30.33/30.67	o 2423
30.43/30.72	o 2421
30.43/30.76	o 2419
30.53/30.81	o 2417
30.53/30.85	o 2415
30.53/30.89	o 2413
30.62/30.94	o 2411
30.62/30.98	o 2409
30.73/31.03	o 2407
30.73/31.06	o 2403
30.83/31.11	o 2401
30.83/31.15	o 2399
30.83/31.20	o 2397
30.93/31.27	o 2396
31.03/31.31	o 2395
31.03/31.36	o 2394
31.13/31.40	o 2393
31.13/31.45	o 2392
31.13/31.49	o 2391
31.23/31.54	o 2390
31.23/31.58	o 2389
31.33/31.62	o 2388
31.33/31.67	o 2387
31.43/31.72	o 2386
31.43/31.76	o 2385
31.53/31.81	o 2384
31.53/31.85	o 2383
31.53/31.90	o 2382
31.62/31.94	o 2381
31.62/31.98	o 2380
31.72/32.02	o 2379
31.72/32.07	o 2378
31.82/32.11	o 2377
31.82/32.15	o 2376
31.82/32.19	o 2375
31.92/32.23	o 2374
31.92/32.27	o 2373
32.02/32.31	o 2372
32.02/32.35	o 2371
32.02/32.39	o 2370
32.12/32.43	o 2369
32.22/32.54	o 2368
32.22/32.57	o 2367
32.31/32.61	o 2366
32.31/32.65	o 2365
32.31/32.68	o 2364
32.41/32.72	o 2363
32.41/32.75	o 2362
32.41/32.79	o 2361
32.51/32.82	o 2360
32.51/32.86	o 2359
32.51/32.89	o 2355
32.61/32.93	o 2354
32.61/32.96	o 2353
32.61/33.00	o 2352
32.71/33.03	o 2351
32.71/33.07	o 2350
32.80/33.10	o 2349
32.80/33.14	o 2348
32.80/33.17	o 2347
32.90/33.21	o 2346
32.90/33.24	o 2345
32.90/33.27	o 2344
33.00/33.35	o 2343
33.00/33.38	o 2342
33.11/33.41	o 2341
33.11/33.44	o 2340
33.11/33.47	o 2339
33.21/33.50	o 2338
33.21/33.53	o 2337
33.21/33.56	o 2336
33.21/33.59	o 2335
33.30/33.63	o 2334
33.30/33.65	o 2333
33.30/33.68	o 2332
33.40/33.72	o 2331
33.40/33.75	o 2330
33.40/33.77	o 2329
33.50/33.80	o 2328
33.50/33.83	o 2327
33.50/33.87	o 2326
33.50/33.89	o 2324
33.60/33.92	o 2323
33.60/33.97	o 2322
33.70/34.01	o 2321
33.70/34.04	o 2320
33.70/34.06	o 2319
33.70/34.09	o 2318
33.80/34.12	o 2317
33.80/34.14	o 2316
33.80/34.17	o 2315
33.80/34.19	o 2314
33.89/34.22	o 2313
33.89/34.24	o 2312
33.89/34.27	o 2311
33.89/34.29	o 2308
33.99/34.32	o 2307
33.99/34.34	o 2306
33.99/34.37	o 2305
33.99/34.39	o 2304
34.19/34.54	o 2303
34.29/34.64	o 2301
34.49/34.86	o 2299
34.59/34.92	o 2298
34.59/34.94	o 2297
34.59/34.96	o 2296
34.59/34.98	o 2294
34.69/35.02	o 2293
34.69/35.07	o 2291
34.69/35.09	o 2289
34.79/35.11	o 2288
34.79/35.14	o 2286
34.79/35.16	o 2283
34.79/35.17	o 2282
34.79/35.19	o 2280
34.89/35.21	o 2279
34.89/35.23	o 2278
34.89/35.25	o 2276
34.89/35.28	o 2274
34.98/35.30	o 2272
34.98/35.32	o 2270
34.98/35.34	o 2267
34.98/35.37	o 2264
34.98/35.39	o 2263
35.08/35.41	o 2261
35.08/35.44	o 2259
35.08/35.48	o 2256
35.08/35.50	o 2253
35.18/35.52	o 2251
35.18/35.56	o 2247
35.18/35.59	o 2246
35.29/35.63	o 2243
35.29/35.67	o 2242
35.39/35.71	o 2241
35.39/35.77	o 2240
35.39/35.78	o 2239
35.49/35.80	o 2236
35.49/35.82	o 2234
35.49/35.84	o 2232
35.49/35.86	o 2231
35.49/35.89	o 2230
35.59/35.93	o 2229
35.59/35.95	o 2227
35.69/36.05	o 2225
35.69/36.07	o 2223
35.69/36.09	o 2222
35.78/36.11	o 2220
35.78/36.14	o 2219
35.78/36.16	o 2218
35.78/36.18	o 2217
35.88/36.21	o 2216
35.88/36.23	o 2214
35.88/36.25	o 2212
35.88/36.27	o 2211
35.88/36.29	o 2210
35.98/36.31	o 2209
35.98/36.32	o 2207
35.98/36.34	o 2205
35.98/36.36	o 2204
35.98/36.38	o 2201
36.07/36.41	o 2200
36.07/36.45	o 2199
36.07/36.47	o 2195
36.07/36.49	o 2194
36.17/36.51	o 2193
36.17/36.52	o 2190
36.17/36.55	o 2188
36.17/36.59	o 2186
36.27/36.61	o 2185
36.27/36.65	o 2182
36.27/36.67	o 2180
36.27/36.69	o 2178
36.37/36.72	o 2176
36.37/36.73	o 2174
36.37/36.76	o 2173
36.37/36.78	o 2171
36.47/36.80	o 2169
36.47/36.82	o 2167
36.47/36.85	o 2164
36.47/36.87	o 2161
36.47/36.89	o 2159
36.57/36.91	o 2158
36.57/36.96	o 2157
36.67/37.05	o 2155
36.67/37.08	o 2154
36.77/37.10	o 2153
36.77/37.13	o 2151
36.77/37.15	o 2150
36.77/37.18	o 2149
36.87/37.20	o 2146
36.87/37.23	o 2145
36.87/37.28	o 2144
36.97/37.31	o 2143
36.97/37.34	o 2142
36.97/37.36	o 2141
36.97/37.38	o 2139
37.07/37.41	o 2138
37.07/37.43	o 2137
37.07/37.45	o 2136
37.07/37.48	o 2133
37.16/37.50	o 2131
37.16/37.53	o 2129
37.16/37.55	o 2127
37.16/37.58	o 2124
37.26/37.60	o 2123
37.26/37.63	o 2121
37.26/37.65	o 2120
37.26/37.68	o 2118
37.37/37.70	o 2117
37.37/37.73	o 2116
37.37/37.75	o 2114
37.37/37.78	o 2112
37.47/37.83	o 2111
37.47/37.86	o 2108
37.47/37.89	o 2107
37.57/37.92	o 2106
37.67/38.05	o 2104
37.67/38.07	o 2103
37.77/38.10	o 2102
37.77/38.13	o 2099
37.77/38.15	o 2098
37.77/38.18	o 2096
37.86/38.21	o 2095
37.86/38.24	o 2094
37.86/38.26	o 2093
37.86/38.29	o 2091
37.96/38.32	o 2089
37.96/38.35	o 2088
37.96/38.37	o 2087
38.06/38.41	o 2086
38.06/38.44	o 2083
38.06/38.47	o 2082
38.06/38.50	o 2080
38.16/38.53	o 2079
38.16/38.55	o 2075
38.25/38.60	o 2074
38.25/38.62	o 2073
38.25/38.65	o 2071
38.25/38.68	o 2070
38.35/38.70	o 2069
38.35/38.73	o 2068
38.35/38.75	o 2067
38.35/38.78	o 2066
38.45/38.88	o 2065
38.55/38.93	o 2063
38.55/38.96	o 2060
38.65/39.04	o 2059
38.65/39.07	o 2056
38.65/39.09	o 2055
38.75/39.15	o 2053
38.85/39.20	o 2052
38.85/39.23	o 2049
38.85/39.28	o 2048
38.95/39.31	o 2045
38.95/39.33	o 2044
38.95/39.35	o 2042
38.95/39.37	o 2040
39.05/39.40	o 2039
39.05/39.43	o 2037
39.05/39.45	o 2034
39.05/39.47	o 2033
39.05/39.50	o 2032
39.15/39.53	o 2029
39.15/39.56	o 2028
39.15/39.58	o 2026
39.26/39.63	o 2025
39.26/39.67	o 2024
39.35/39.71	o 2023
39.35/39.74	o 2022
39.35/39.76	o 2020
39.45/39.81	o 2019
39.45/39.86	o 2017
39.45/39.89	o 2016
39.55/39.93	o 2015
39.55/39.97	o 2013
39.65/40.01	o 2012
39.65/40.05	o 2010
39.75/40.12	o 2008
39.75/40.18	o 2006
39.85/40.25	o 2004
39.95/40.35	o 2002
40.05/40.41	o 2000
40.05/40.48	o 1998
40.14/40.55	o 1996
40.25/40.62	o 1994
40.25/40.68	o 1992
40.34/40.75	o 1990
40.44/40.81	o 1988
40.44/40.88	o 1986
40.54/40.94	o 1984
40.64/41.01	o 1982
40.64/41.07	o 1980
40.74/41.14	o 1978
40.84/41.20	o 1976
40.84/41.27	o 1974
40.94/41.33	o 1972
40.94/41.39	o 1970
41.04/41.46	o 1968
41.14/41.52	o 1966
41.14/41.59	o 1964
41.23/41.65	o 1962
41.33/41.72	o 1960
41.33/41.75	o 1957
41.33/41.77	o 1956
41.53/41.90	o 1954
41.53/41.97	o 1952
41.63/42.03	o 1950
41.63/42.09	o 1948
41.73/42.15	o 1946
41.82/42.21	o 1944
41.82/42.27	o 1942
41.92/42.33	o 1940
41.92/42.39	o 1938
42.02/42.45	o 1936
42.12/42.51	o 1934
42.12/42.57	o 1932
42.22/42.63	o 1930
42.22/42.66	o 1929
42.32/42.72	o 1927
42.42/42.82	o 1926
42.42/42.88	o 1924
42.52/42.94	o 1922
42.61/43.00	o 1920
42.61/43.06	o 1918
42.72/43.12	o 1916
42.72/43.18	o 1914
42.82/43.24	o 1912
42.92/43.30	o 1910
42.92/43.36	o 1908
43.02/43.42	o 1906
43.02/43.48	o 1904
43.12/43.55	o 1903
43.22/43.62	o 1902
43.22/43.68	o 1901
43.32/43.75	o 1900
43.42/43.82	o 1899
43.42/43.88	o 1898
43.52/43.95	o 1897
43.62/44.02	o 1895
43.62/44.09	o 1894
43.71/44.16	o 1893
43.81/44.23	o 1892
43.81/44.28	o 1891
43.91/44.35	o 1890
44.01/44.42	o 1889
44.01/44.48	o 1888
44.11/44.55	o 1887
44.21/44.62	o 1886
44.21/44.68	o 1885
44.31/44.75	o 1884
44.41/44.81	o 1883
44.41/44.88	o 1882
44.51/44.95	o 1881
44.61/45.02	o 1880
44.71/45.14	o 1879
44.80/45.20	o 1878
44.80/45.23	o 1876
44.80/45.29	o 1875
45.00/45.41	o 1874
45.00/45.47	o 1873
45.10/45.53	o 1872
45.10/45.59	o 1871
45.20/45.65	o 1870
45.30/45.71	o 1869
45.30/45.78	o 1868
45.40/45.84	o 1867
45.40/45.89	o 1865
45.50/45.95	o 1864
45.60/46.01	o 1863
45.60/46.07	o 1862
45.70/46.13	o 1861
45.70/46.19	o 1860
45.79/46.25	o 1859
45.90/46.31	o 1858
45.90/46.36	o 1857
46.00/46.42	o 1856
46.00/46.48	o 1855
46.10/46.53	o 1854
46.10/46.59	o 1853
46.20/46.64	o 1852
46.29/46.70	o 1851
46.29/46.75	o 1850
46.39/46.81	o 1849
46.39/46.86	o 1848
46.49/46.92	o 1847
46.59/47.01	o 1846
46.59/47.07	o 1845
46.69/47.11	o 1842
46.69/47.16	o 1841
46.79/47.22	o 1840
46.79/47.27	o 1839
46.89/47.32	o 1838
46.89/47.37	o 1837
46.99/47.42	o 1836
46.99/47.46	o 1835
47.09/47.52	o 1834
47.09/47.57	o 1833
47.18/47.61	o 1832
47.18/47.66	o 1831
47.28/47.71	o 1830
47.28/47.76	o 1829
47.38/47.81	o 1828
47.38/47.86	o 1827
47.38/47.90	o 1825
47.48/47.98	o 1824
47.58/48.03	o 1823
47.58/48.07	o 1822
47.68/48.12	o 1821
47.68/48.16	o 1820
47.78/48.24	o 1818
47.78/48.28	o 1817
47.88/48.33	o 1815
47.88/48.37	o 1814
47.98/48.45	o 1813
47.98/48.49	o 1812
48.07/48.53	o 1811
48.07/48.57	o 1810
48.17/48.61	o 1809
48.17/48.65	o 1807
48.17/48.69	o 1806
48.27/48.73	o 1805
48.67/49.18	o 1804
48.87/49.32	o 1802
49.67/50.15	o 1801
49.67/50.18	o 1799
49.77/50.21	o 1796
50.07/50.50	o 1794
50.07/50.56	o 1792
50.17/50.68	o 1790
50.26/50.71	o 1788
50.26/50.77	o 1787
50.36/50.80	o 1785
50.36/50.84	o 1784
50.36/50.87	o 1782
50.36/50.90	o 1779
50.46/50.93	o 1778
50.46/50.95	o 1777
50.46/50.98	o 1776
50.56/51.02	o 1775
50.56/51.05	o 1773
50.56/51.08	o 1772
50.66/51.11	o 1771
50.66/51.17	o 1770
50.76/51.20	o 1768
50.76/51.23	o 1766
50.76/51.30	o 1765
50.86/51.33	o 1763
50.86/51.39	o 1761
50.96/51.43	o 1759
50.96/51.46	o 1758
50.96/51.50	o 1757
51.06/51.53	o 1755
51.06/51.56	o 1753
51.16/51.61	o 1751
51.16/51.64	o 1749
51.25/51.71	o 1748
51.25/51.74	o 1747
51.25/51.78	o 1746
51.34/51.85	o 1745
51.44/51.98	o 1744
51.54/52.05	o 1743
51.54/52.09	o 1741
51.64/52.12	o 1739
51.64/52.16	o 1737
51.64/52.19	o 1736
51.74/52.23	o 1734
51.74/52.27	o 1733
51.84/52.34	o 1732
51.84/52.38	o 1731
51.94/52.41	o 1730
51.94/52.45	o 1728
51.94/52.48	o 1727
52.04/52.52	o 1725
52.04/52.55	o 1724
52.04/52.59	o 1722
52.14/52.63	o 1721
52.24/52.71	o 1719
52.24/52.74	o 1718
52.24/52.78	o 1716
52.35/52.82	o 1715
52.35/52.85	o 1714
52.44/52.99	o 1713
52.54/53.02	o 1712
52.54/53.06	o 1710
52.54/53.09	o 1708
52.64/53.16	o 1706
52.64/53.20	o 1705
52.74/53.27	o 1704
52.84/53.31	o 1703
52.84/53.34	o 1701
52.84/53.38	o 1699
52.94/53.49	o 1697
53.04/53.53	o 1696
53.04/53.60	o 1694
53.14/53.67	o 1693
53.24/53.71	o 1692
53.24/53.78	o 1691
53.33/53.83	o 1689
53.43/53.93	o 1686
53.43/53.97	o 1685
53.63/54.15	o 1684
53.63/54.18	o 1682
53.83/54.32	o 1681
53.83/54.35	o 1680
53.93/54.45	o 1679
53.93/54.49	o 1678
54.03/54.53	o 1677
54.03/54.56	o 1676
54.03/54.59	o 1675
54.12/54.63	o 1674
54.12/54.66	o 1673
54.12/54.70	o 1671
54.22/54.73	o 1670
54.32/54.80	o 1669
54.32/54.83	o 1667
54.32/54.87	o 1666
54.42/54.98	o 1665
54.52/55.01	o 1664
54.52/55.05	o 1663
54.52/55.09	o 1662
54.62/55.12	o 1660
54.62/55.16	o 1658
54.72/55.29	o 1657
54.82/55.33	o 1655
54.82/55.36	o 1654
54.92/55.50	o 1653
55.02/55.60	o 1652
55.12/55.66	o 1651
55.22/55.73	o 1650
55.32/55.80	o 1648
55.32/55.84	o 1647
55.32/55.87	o 1646
55.42/55.94	o 1644
55.52/56.02	o 1642
55.52/56.06	o 1640
55.52/56.10	o 1639
55.62/56.17	o 1638
55.71/56.28	o 1636
55.81/56.32	o 1634
55.81/56.36	o 1633
55.81/56.39	o 1632
55.91/56.43	o 1631
56.01/56.55	o 1630
56.01/56.58	o 1629
56.21/56.72	o 1628
56.31/56.83	o 1627
56.31/56.87	o 1626
56.41/56.91	o 1625
56.41/56.98	o 1624
56.51/57.02	o 1623
56.51/57.09	o 1622
56.61/57.17	o 1621
56.71/57.21	o 1620
56.71/57.25	o 1619
56.71/57.29	o 1617
56.80/57.32	o 1615
56.80/57.36	o 1614
56.80/57.40	o 1613
56.90/57.47	o 1612
57.00/57.55	o 1611
57.10/57.62	o 1609
57.10/57.66	o 1608
57.20/57.78	o 1606
57.30/57.82	o 1605
57.30/57.86	o 1604
57.30/57.90	o 1601
57.50/58.06	o 1600
57.70/58.24	o 1598
57.70/58.28	o 1596
57.89/58.46	o 1595
57.99/58.51	o 1593
57.99/58.55	o 1592
57.99/58.60	o 1591
58.09/58.68	o 1590
58.19/58.77	o 1589
58.29/58.82	o 1587
58.29/58.87	o 1586
58.39/58.92	o 1584
58.49/59.01	o 1583
58.49/59.06	o 1581
58.98/59.59	o 1579
59.08/59.64	o 1578
59.18/59.74	o 1577
59.28/59.84	o 1576
59.38/59.90	o 1575
59.48/60.00	o 1574
59.58/60.10	o 1573
59.89/60.41	o 1571
59.99/60.56	o 1570
60.08/60.67	o 1569
60.28/60.83	o 1568
60.78/61.32	o 1567
60.78/61.38	o 1566
60.88/61.48	o 1565
60.98/61.54	o 1564
60.98/61.59	o 1563
61.08/61.64	o 1560
61.08/61.70	o 1558
61.17/61.75	o 1555
61.27/61.80	o 1553
61.27/61.86	o 1552
61.37/61.96	o 1551
61.57/62.18	o 1550
61.67/62.24	o 1548
61.67/62.29	o 1547
61.77/62.35	o 1546
61.87/62.47	o 1545
61.97/62.58	o 1544
62.07/62.65	o 1543
62.46/63.04	o 1542
62.86/63.43	o 1541
62.96/63.54	o 1539
62.96/63.59	o 1538
63.06/63.65	o 1537
63.16/63.72	o 1536
63.16/63.77	o 1535
63.45/64.05	o 1534
63.55/64.11	o 1533
63.55/64.16	o 1532
63.65/64.27	o 1531
63.75/64.33	o 1529
63.75/64.38	o 1527
64.45/65.06	o 1525
64.55/65.11	o 1524
64.85/65.49	o 1523
65.05/65.66	o 1521
65.15/65.77	o 1520
65.25/65.83	o 1519
65.25/65.89	o 1518
65.35/66.00	o 1517
65.54/66.11	o 1516
65.54/66.16	o 1515
65.74/66.32	o 1514
65.84/66.43	o 1513
65.84/66.49	o 1511
65.94/66.54	o 1510
66.04/66.60	o 1508
66.04/66.66	o 1507
66.14/66.71	o 1506
66.24/66.82	o 1504
66.34/66.94	o 1503
66.34/66.99	o 1502
66.44/67.05	o 1501
66.54/67.11	o 1499
66.63/67.22	o 1497
67.03/67.66	o 1495
67.13/67.77	o 1494
67.23/67.88	o 1492
67.33/67.94	o 1490
67.33/68.00	o 1489
67.43/68.05	o 1488
67.53/68.12	o 1487
67.53/68.17	o 1485
67.63/68.23	o 1483
67.63/68.25	o 1482
67.72/68.30	o 1481
67.72/68.36	o 1478
67.82/68.47	o 1477
67.92/68.52	o 1476
67.92/68.58	o 1475
68.02/68.64	o 1473
68.02/68.69	o 1471
68.21/68.80	o 1469
68.31/68.97	o 1468
68.71/69.37	o 1467
68.80/69.43	o 1466
68.91/69.55	o 1464
69.31/69.90	o 1463
69.31/69.96	o 1461
69.41/70.06	o 1459
69.51/70.18	o 1458
69.61/70.24	o 1457
69.71/70.37	o 1456
69.81/70.43	o 1455
70.01/70.61	o 1454
70.11/70.72	o 1452
70.11/70.75	o 1451
70.31/70.92	o 1449
70.51/71.14	o 1446
70.61/71.20	o 1444
70.61/71.26	o 1442
70.71/71.32	o 1441
70.90/71.51	o 1439
70.90/71.57	o 1438
71.00/71.64	o 1437
71.40/72.06	o 1436
71.60/72.24	o 1435
71.70/72.31	o 1433
71.70/72.37	o 1432
71.80/72.50	o 1431
71.90/72.57	o 1430
72.19/72.89	o 1429
72.29/72.95	o 1428
72.39/73.01	o 1427
72.39/73.08	o 1426
72.79/73.40	o 1425
72.89/73.54	o 1424
72.99/73.61	o 1423
72.99/73.66	o 1422
73.18/73.80	o 1421
73.38/74.07	o 1420
73.68/74.32	o 1419
73.78/74.42	o 1418
73.88/74.51	o 1417
73.98/74.61	o 1416
74.08/74.80	o 1415
74.27/74.90	o 1414
74.27/75.00	o 1413
74.37/75.09	o 1412
74.47/75.19	o 1411
74.57/75.29	o 1410
74.67/75.38	o 1409
74.77/75.48	o 1407
74.97/75.65	o 1406
75.07/75.75	o 1405
75.17/75.85	o 1404
75.27/75.91	o 1403
75.36/76.01	o 1402
75.46/76.11	o 1401
75.56/76.20	o 1400
75.56/76.29	o 1399
75.67/76.39	o 1398
75.77/76.48	o 1397
75.87/76.57	o 1396
76.27/76.91	o 1395
76.37/77.01	o 1394
76.37/77.10	o 1393
76.46/77.19	o 1392
76.56/77.28	o 1391
76.66/77.36	o 1390
76.76/77.46	o 1389
76.86/77.55	o 1388
76.96/77.64	o 1387
77.06/77.73	o 1386
77.16/77.82	o 1385
77.26/77.97	o 1384
77.36/78.07	o 1383
77.46/78.15	o 1382
77.55/78.24	o 1381
77.65/78.33	o 1380
77.75/78.42	o 1379
77.85/78.50	o 1378
77.85/78.59	o 1377
77.95/78.68	o 1376
78.05/78.77	o 1375
78.15/78.86	o 1374
78.25/78.95	o 1373
78.35/79.04	o 1372
78.45/79.14	o 1371
78.55/79.22	o 1370
78.64/79.39	o 1369
78.74/79.48	o 1368
78.84/79.57	o 1367
78.94/79.66	o 1366
79.04/79.75	o 1365
79.24/79.90	o 1364
79.24/79.99	o 1363
79.44/80.15	o 1362
79.54/80.24	o 1361
79.64/80.33	o 1360
79.73/80.42	o 1359
79.83/80.50	o 1358
79.83/80.59	o 1357
80.03/80.75	o 1356
80.13/80.84	o 1355
80.23/80.93	o 1354
80.33/81.01	o 1353
80.43/81.10	o 1352
80.43/81.18	o 1351
80.53/81.27	o 1350
80.63/81.36	o 1349
80.73/81.45	o 1348
80.82/81.53	o 1347
81.02/81.77	o 1346
81.12/81.85	o 1345
81.22/81.94	o 1344
81.32/82.03	o 1343
81.42/82.12	o 1342
81.52/82.20	o 1341
81.62/82.34	o 1340
81.72/82.44	o 1338
81.91/82.68	o 1336
82.21/82.94	o 1335
83.41/84.17	o 1334
83.51/84.24	o 1333
84.01/84.77	o 1332
84.30/85.08	o 1330
84.60/85.36	o 1328
85.10/85.87	o 1327
85.19/85.90	o 1325
85.89/86.61	o 1324
85.99/86.75	o 1323
86.88/87.62	o 1322
87.97/88.71	o 1320
87.97/88.78	o 1319
88.57/89.32	o 1317
88.66/89.46	o 1316
89.16/89.91	o 1315
89.26/90.04	o 1314
89.36/90.11	o 1313
89.36/90.18	o 1312
89.46/90.24	o 1311
89.56/90.37	o 1310
89.96/90.75	o 1309
90.06/90.82	o 1308
90.06/90.88	o 1307
90.36/91.14	o 1304
90.46/91.21	o 1303
90.46/91.28	o 1302
90.66/91.41	o 1300
90.66/91.47	o 1299
90.86/91.60	o 1297
90.86/91.66	o 1296
90.96/91.72	o 1295
90.96/91.79	o 1294
91.06/91.85	o 1293
91.16/91.92	o 1292
91.26/92.05	o 1291
91.26/92.05	o 1288
91.36/92.19	o 1286
91.66/92.47	o 1285
91.85/92.61	o 1284
92.05/92.81	o 1282
92.05/92.89	o 1281
92.25/93.02	o 1280
92.25/93.09	o 1279
92.35/93.17	o 1278
92.55/93.37	o 1276
92.65/93.44	o 1274
92.75/93.51	o 1272
92.75/93.59	o 1270
92.84/93.66	o 1269
93.04/93.81	o 1268
93.24/94.03	o 1267
93.74/94.55	o 1265
93.84/94.63	o 1263
93.93/94.78	o 1262
94.23/95.08	o 1261
94.33/95.16	o 1260
94.43/95.23	o 1259
94.53/95.31	o 1258
94.63/95.46	o 1257
94.73/95.54	o 1255
95.32/96.11	o 1254
95.32/96.20	o 1252
95.42/96.23	o 1249
95.52/96.31	o 1248
95.82/96.63	o 1247
95.92/96.72	o 1246
96.02/96.81	o 1245
96.41/97.29	o 1244
96.51/97.35	o 1242
96.61/97.44	o 1241
96.81/97.60	o 1240
97.01/97.85	o 1239
97.11/97.94	o 1235
97.31/98.10	o 1234
97.31/98.19	o 1233
97.61/98.44	o 1232
97.81/98.70	o 1231
98.11/98.96	o 1230
98.30/99.12	o 1229
98.40/99.28	o 1228
98.60/99.44	o 1227
98.70/99.53	o 1226
98.90/99.70	o 1225
98.90/99.78	o 1224
99.19/100.04	o 1223
99.49/100.36	o 1221
99.69/100.59	o 1220
99.78/100.67	o 1219
100.08/100.95	o 1218
100.28/101.11	o 1217
100.48/101.32	o 1215
100.58/101.47	o 1214
100.78/101.62	o 1213
100.88/101.70	o 1211
101.18/102.07	o 1210
101.28/102.14	o 1209
101.38/102.30	o 1208
101.48/102.38	o 1206
101.57/102.45	o 1203
101.87/102.75	o 1202
102.07/102.97	o 1201
102.17/103.05	o 1200
102.27/103.12	o 1198
102.37/103.28	o 1197
102.57/103.43	o 1196
102.66/103.51	o 1195
102.76/103.66	o 1194
102.96/103.89	o 1193
103.26/104.12	o 1192
103.36/104.20	o 1190
103.36/104.26	o 1187
103.46/104.34	o 1186
103.56/104.42	o 1185
103.66/104.54	o 1184
103.75/104.61	o 1183
103.75/104.68	o 1182
103.85/104.75	o 1179
104.36/105.27	o 1175
104.46/105.33	o 1173
104.56/105.40	o 1172
104.66/105.55	o 1171
105.15/106.07	o 1170
105.55/106.43	o 1169
105.55/106.49	o 1167
105.65/106.56	o 1166
105.94/106.86	o 1164
106.14/107.00	o 1163
106.74/107.64	o 1162
106.84/107.72	o 1161
106.94/107.87	o 1159
107.14/108.09	o 1158
107.43/108.37	o 1156
107.63/108.52	o 1155
107.63/108.59	o 1153
108.23/109.13	o 1152
108.92/109.82	o 1150
109.02/109.91	o 1149
109.32/110.24	o 1148
109.42/110.32	o 1147
109.72/110.66	o 1146
109.92/110.83	o 1145
110.02/110.92	o 1144
110.12/111.01	o 1142
110.31/111.26	o 1141
110.71/111.61	o 1140
110.91/111.87	o 1139
111.70/112.67	o 1138
111.80/112.76	o 1137
112.00/112.94	o 1135
112.10/113.03	o 1134
112.59/113.58	o 1133
113.39/114.31	o 1132
113.50/114.41	o 1131
113.59/114.50	o 1130
114.09/115.05	o 1128
114.49/115.43	o 1126
114.59/115.52	o 1125
114.68/115.61	o 1124
114.78/115.71	o 1123
114.88/115.80	o 1122
114.88/115.89	o 1120
114.98/115.95	o 1118
115.28/116.22	o 1117
115.38/116.32	o 1115
115.48/116.41	o 1114
115.58/116.51	o 1112
115.58/116.60	o 1111
115.77/116.79	o 1110
115.87/116.89	o 1108
117.26/118.23	o 1107
117.36/118.33	o 1105
117.76/118.72	o 1104
118.95/119.97	o 1103
119.05/120.08	o 1102
120.15/121.17	o 1101
120.25/121.28	o 1100
120.45/121.49	o 1099
120.55/121.59	o 1097
120.74/121.70	o 1096
121.14/122.13	o 1095
121.34/122.31	o 1094
121.64/122.66	o 1093
122.63/123.61	o 1092
122.73/123.72	o 1091
122.83/123.82	o 1090
122.83/123.87	o 1088
122.93/123.98	o 1087
123.33/124.32	o 1086
123.52/124.55	o 1084
123.72/124.77	o 1083
123.82/124.88	o 1082
124.22/125.22	o 1081
124.41/125.45	o 1080
124.51/125.56	o 1079
124.71/125.78	o 1078
125.01/126.01	o 1077
125.11/126.12	o 1076
125.21/126.24	o 1075
125.41/126.47	o 1074
125.51/126.59	o 1072
125.70/126.71	o 1070
125.80/126.82	o 1069
125.90/126.94	o 1068
126.20/127.29	o 1067
126.51/127.53	o 1066
127.20/128.26	o 1064
128.19/129.28	o 1063
128.49/129.51	o 1062
129.18/130.25	o 1061
129.58/130.62	o 1060
129.78/130.87	o 1059
129.88/130.98	o 1058
130.08/131.10	o 1057
130.28/131.35	o 1056
131.37/132.49	o 1055
132.07/133.12	o 1054
132.56/133.62	o 1053
132.76/133.87	o 1052
133.45/134.51	o 1051
133.75/134.85	o 1049
135.04/136.16	o 1048
135.53/136.67	o 1047
135.93/137.06	o 1046
136.43/137.57	o 1045
136.63/137.70	o 1044
136.93/138.08	o 1043
137.92/139.09	o 1042
138.42/139.59	o 1041
138.71/139.86	o 1040
138.81/139.99	o 1039
139.21/140.39	o 1038
140.00/141.19	o 1037
140.31/141.44	o 1036
140.41/141.58	o 1035
140.71/141.86	o 1034
143.99/145.15	o 1033
144.78/145.94	o 1032
144.88/146.08	o 1031
145.08/146.22	o 1030
145.27/146.49	o 1029
145.87/147.08	o 1027
146.17/147.36	o 1026
147.26/148.43	o 1025
147.85/149.09	o 1023
148.25/149.45	o 1022
148.55/149.71	o 1021
149.45/150.65	o 1020
149.74/150.92	o 1019
150.64/151.88	o 1018
152.32/153.51	o 1016
152.72/153.97	o 1015
152.91/154.11	o 1014
155.50/156.73	o 1013
155.70/156.99	o 1012
156.00/157.27	o 1011
156.50/157.79	o 1010
156.70/157.93	o 1009
159.57/160.87	o 1007
159.97/161.26	o 1006
160.07/161.39	o 1004
160.27/161.53	o 1003
160.76/162.04	o 1001
162.15/163.49	o 1000
162.94/164.23	o 999
163.04/164.37	o 998
163.24/164.51	o 997
163.34/164.64	o 996
163.44/164.78	o 995
163.64/164.92	o 993
165.53/166.80	o 992
165.63/166.93	o 991
166.13/167.48	o 990
166.33/167.60	o 989
166.43/167.73	o 987
166.53/167.80	o 986
166.63/167.94	o 985
167.92/169.28	o 984
169.01/170.35	o 983
169.30/170.63	o 982
169.60/170.91	o 981
170.00/171.32	o 980
170.10/171.46	o 979
171.49/172.86	o 978
171.79/173.15	o 977
171.89/173.29	o 975
172.18/173.57	o 973
173.97/175.32	o 972
174.67/176.05	o 971
174.76/176.11	o 970
174.86/176.26	o 969
175.06/176.40	o 966
175.16/176.54	o 965
175.26/176.68	o 964
175.85/177.25	o 963
176.55/177.93	o 962
177.14/178.50	o 961
179.24/180.61	o 960
179.54/180.90	o 959
183.32/184.72	o 958
183.61/185.02	o 957
184.31/185.76	o 955
184.51/185.91	o 954
186.69/188.17	o 953
186.88/188.32	o 952
189.97/191.42	o 951
191.65/193.12	o 950
191.75/193.26	o 948
194.43/195.93	o 947
194.53/196.08	o 946
195.23/196.79	o 945
195.43/196.94	o 944
198.00/199.57	o 943
198.60/200.17	o 942
198.90/200.47	o 941
199.80/201.37	o 940
210.52/212.18	o 939
210.62/212.28	o 938
210.92/212.58	o 937
211.12/212.72	o 936
211.91/213.59	o 935
212.61/214.26	o 934
214.19/215.81	o 932
214.40/216.05	o 930
215.49/217.10	o 928
215.59/217.26	o 927
215.79/217.41	o 926
216.09/217.71	o 925
218.77/220.47	o 924
219.86/221.53	o 923
220.15/221.84	o 922
220.35/222.08	o 920
220.45/222.19	o 919
221.25/222.95	o 918
221.74/223.42	o 917
224.33/226.08	o 916
224.53/226.24	o 915
225.42/227.16	o 914
225.72/227.48	o 913
225.92/227.64	o 912
226.72/228.41	o 910
227.02/228.72	o 909
227.81/229.59	o 908
229.59/231.38	o 907
230.09/231.83	o 906
230.39/232.15	o 905
231.68/233.41	o 904
243.50/245.35	o 902
243.79/245.68	o 901
243.99/245.85	o 900
244.09/245.99	o 898
244.29/246.15	o 897
244.49/246.33	o 896
245.88/247.79	o 893
246.08/247.90	o 891
246.38/248.23	o 890
246.68/248.56	o 889
246.87/248.72	o 888
246.97/248.85	o 887
247.97/249.82	o 886
248.07/249.99	o 885
248.97/250.81	o 883
249.06/250.91	o 878
249.06/250.94	o 877
249.36/251.25	o 876
251.44/253.36	o 875
251.64/253.52	o 874
252.04/253.97	o 873
253.23/255.16	o 872
253.53/255.48	o 871
253.83/255.77	o 868
254.33/256.24	o 866
255.21/257.18	o 865
255.61/257.50	o 864
255.71/257.66	o 863
256.21/258.14	o 861
256.80/258.80	o 859
257.01/258.96	o 858
257.21/259.12	o 857
257.31/259.27	o 856
257.61/259.57	o 855
257.80/259.74	o 853
259.79/261.77	o 852
260.38/262.33	o 851
260.68/262.64	o 849
261.18/263.13	o 848
261.67/263.61	o 847
261.77/263.77	o 846
262.07/264.10	o 845
262.27/264.26	o 844
262.77/264.72	o 842
263.66/265.64	o 841
263.86/265.80	o 840
265.44/267.41	o 839
265.54/267.57	o 838
265.74/267.73	o 837
266.04/268.05	o 836
266.73/268.76	o 835
267.23/269.21	o 834
267.53/269.52	o 832
267.83/269.83	o 831
275.78/277.86	o 830
275.88/277.92	o 829
278.06/280.12	o 828
279.15/281.24	o 827
279.25/281.39	o 826
279.35/281.46	o 825
279.55/281.62	o 823
280.14/282.23	o 822
280.44/282.53	o 821
280.83/282.96	o 820
280.93/283.07	o 817
281.23/283.38	o 816
282.53/284.64	o 815
282.83/284.96	o 814
283.72/285.80	o 813
284.41/286.58	o 812
284.61/286.73	o 811
294.85/297.06	o 810
295.04/297.23	o 808
295.14/297.35	o 806
295.34/297.51	o 805
295.94/298.18	o 804
303.78/306.04	o 803
304.58/306.82	o 802
304.87/307.15	o 801
305.37/307.62	o 800
305.48/307.79	o 799
308.85/311.14	o 798
316.60/318.91	o 797
319.37/321.80	o 795
320.08/322.50	o 794
320.27/322.68	o 793
320.47/322.85	o 792
337.55/340.07	o 790
338.45/340.95	o 789
338.55/341.02	o 787
339.34/341.87	o 786
339.54/342.07	o 785
340.93/343.45	o 784
342.92/345.45	o 783
343.91/346.44	o 782
344.91/347.41	o 781
345.20/347.73	o 780
348.38/350.96	o 779
348.78/351.34	o 778
348.88/351.43	o 777
350.66/353.26	o 776
350.86/353.45	o 775
352.15/354.71	o 774
352.35/354.90	o 773
352.45/355.06	o 772
352.84/355.45	o 770
353.04/355.64	o 768
353.74/356.40	o 767
354.14/356.77	o 766
354.34/356.96	o 764
356.32/358.92	o 763
357.12/359.72	o 761
357.71/360.31	o 760
358.71/361.35	o 759
359.31/361.95	o 758
374.99/377.75	o 757
379.36/382.11	o 756
380.76/383.53	o 755
381.45/384.27	o 754
382.05/384.87	o 753
384.04/386.86	o 752
384.44/387.27	o 750
384.83/387.66	o 749
385.03/387.87	o 748
388.80/391.65	o 747
389.00/391.85	o 746
389.20/392.05	o 745
389.40/392.25	o 744
389.60/392.40	o 743
405.48/408.45	o 742
406.68/409.62	o 740
406.88/409.81	o 738
407.37/410.39	o 737
408.37/411.36	o 735
414.32/417.36	o 734
415.02/418.05	o 733
419.00/422.00	o 732
419.59/422.60	o 731
425.55/428.68	o 730
425.75/428.88	o 729
426.74/429.89	o 728
427.34/430.49	o 727
427.94/431.09	o 726
434.59/437.76	o 725
440.06/443.28	o 723
440.65/443.87	o 722
441.55/444.80	o 721
441.85/445.00	o 720
442.05/445.20	o 719
442.64/445.80	o 718
442.84/446.04	o 717
443.44/446.64	o 715
443.83/447.04	o 714
444.13/447.33	o 712
444.33/447.53	o 711
444.53/447.74	o 710
444.72/447.93	o 709
447.41/450.68	o 708
447.81/451.07	o 706
448.00/451.26	o 705
448.60/451.84	o 704
448.70/451.99	o 702
448.90/452.19	o 701
449.79/453.06	o 699
450.59/453.83	o 698
450.89/454.19	o 697
451.48/454.77	o 696
452.37/455.64	o 695
455.15/458.41	o 694
455.95/459.20	o 693
456.25/459.60	o 691
463.59/466.97	o 690
464.19/467.56	o 689
464.59/467.94	o 688
467.47/470.82	o 687
468.56/471.97	o 686
477.59/481.05	o 685
503.13/506.72	o 683
503.62/507.26	o 682
503.82/507.46	o 681
503.92/507.59	o 679
504.32/507.98	o 678
504.61/508.23	o 676
504.81/508.41	o 674
505.31/508.99	o 673
506.30/509.96	o 668
506.50/510.14	o 666
507.09/510.72	o 665
507.98/511.68	o 664
509.69/513.33	o 661
509.99/513.66	o 660
510.78/514.40	o 659
510.88/514.54	o 658
511.77/515.46	o 657
512.46/516.20	o 654
512.66/516.38	o 652
512.86/516.57	o 651
513.06/516.76	o 650
513.26/516.96	o 649
513.45/517.15	o 648
514.74/518.49	o 647
514.94/518.63	o 646
523.88/527.64	o 644
524.28/528.05	o 643
524.47/528.26	o 642
524.67/528.45	o 641
524.87/528.65	o 640
524.97/528.77	o 637
525.17/528.97	o 636
525.37/529.17	o 635
531.73/535.52	o 632
532.13/535.92	o 631
532.43/536.23	o 630
532.53/536.40	o 629
534.02/537.89	o 628
537.10/540.97	o 627
537.20/541.09	o 626
537.39/541.24	o 625
537.59/541.43	o 624
540.07/543.95	o 622
540.37/544.28	o 620
540.86/544.78	o 619
541.06/544.98	o 618
541.26/545.17	o 617
541.85/545.73	o 616
545.83/549.74	o 615
547.32/551.25	o 614
547.51/551.44	o 613
547.61/551.50	o 611
551.99/555.98	o 609
552.78/556.71	o 607
554.47/558.48	o 605
554.87/558.87	o 604
580.59/584.78	o 603
580.79/584.96	o 602
583.97/588.10	o 601
584.46/588.68	o 600
585.36/589.58	o 599
586.35/590.51	o 598
586.85/591.09	o 597
586.95/591.17	o 595
587.74/591.94	o 593
603.63/607.90	o 592
603.73/608.02	o 591
606.13/610.49	o 589
612.97/617.34	o 588
614.17/618.51	o 585
615.06/619.46	o 584
615.26/619.65	o 583
615.96/620.31	o 582
616.45/620.82	o 581
617.24/621.61	o 580
617.34/621.78	o 579
619.33/623.77	o 578
620.12/624.55	o 577
620.52/624.90	o 576
622.01/626.49	o 575
623.41/627.87	o 574
623.80/628.27	o 573
624.00/628.47	o 572
624.40/628.86	o 571
624.99/629.45	o 570
631.45/635.93	o 569
632.54/637.06	o 568
632.74/637.25	o 567
633.14/637.64	o 566
636.01/640.53	o 565
636.41/640.90	o 564
636.51/641.02	o 563
648.23/652.88	o 562
648.43/653.07	o 557
648.63/653.23	o 554
649.22/653.81	o 553
649.42/654.00	o 552
649.72/654.38	o 551
649.82/654.45	o 549
651.51/656.16	o 548
660.24/664.94	o 547
660.64/665.34	o 546
661.64/666.31	o 545
661.74/666.49	o 544
663.32/668.08	o 543
677.04/681.82	o 542
677.73/682.58	o 541
678.72/683.55	o 540
678.92/683.74	o 539
688.25/693.12	o 538
695.72/700.67	o 537
696.91/701.82	o 536
698.59/703.51	o 535
700.38/705.31	o 534
703.65/708.68	o 533
705.54/710.55	o 532
705.74/710.73	o 531
706.64/711.69	o 530
710.11/715.12	o 529
710.31/715.31	o 528
712.70/717.76	o 527
713.00/718.05	o 526
721.83/726.95	o 525
722.42/727.53	o 524
722.62/727.71	o 523
724.32/729.48	o 522
733.25/738.42	o 521
733.75/738.99	o 520
763.85/769.27	   
763.85/769.27	   search
763.85/769.27	     run=0  nbConstraintChecks=2502693496  nbAssignments=6038
763.85/769.27	       =>  wckTime=757.444  cpuTime=752.15  mem=37M426
763.85/769.27	   
763.85/769.27	   global
763.85/769.27	     nbConstraintChecks=2502693496  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
763.85/769.27	     solvingWckTime=757.43  solvingCpuTime=752.14  expiredTime=no  totalExploration=no  nbFoundSolutions=0
763.85/769.27	     globalCpuTime=762.96
763.85/769.27	       =>  wckTime=769.041  cpuTime=762.91  mem=37M426
763.85/769.27	   
763.85/769.27	   solver DecomposerSolver being built... 
768.41/773.90	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-1113032-1215877037/watcher-1113032-1215877037 -o /tmp/evaluation-result-1113032-1215877037/solver-1113032-1215877037 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1113032-1215877037.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.97 1.97 2.13 4/112 15792
/proc/meminfo: memFree=1193504/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=18572 CPUtime=0
/proc/15792/stat : 15792 (runsolver) R 15790 15792 15720 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44400836 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 270187162919 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15792/statm: 4643 292 257 25 0 2626 0

[startup+0.0879369 s]
/proc/loadavg: 1.97 1.97 2.13 4/112 15792
/proc/meminfo: memFree=1193504/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=865956 CPUtime=0.06
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 3593 0 1 0 5 1 0 0 18 0 9 0 44400836 886738944 3082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216489 3082 1642 9 0 211051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865956

[startup+0.101937 s]
/proc/loadavg: 1.97 1.97 2.13 4/112 15792
/proc/meminfo: memFree=1193504/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=865984 CPUtime=0.08
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 3762 0 1 0 6 2 0 0 18 0 9 0 44400836 886767616 3220 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216496 3220 1701 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301977 s]
/proc/loadavg: 1.97 1.97 2.13 4/112 15792
/proc/meminfo: memFree=1193504/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=866156 CPUtime=0.28
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 5629 0 1 0 25 3 0 0 18 0 9 0 44400836 886943744 5044 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216539 5044 1906 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701058 s]
/proc/loadavg: 1.97 1.97 2.13 4/112 15792
/proc/meminfo: memFree=1193504/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867340 CPUtime=0.68
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 9781 0 1 0 62 6 0 0 18 0 9 0 44400836 888156160 9152 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216835 9152 1972 9 0 211363 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867340

[startup+1.50221 s]
/proc/loadavg: 2.05 1.99 2.14 3/121 15801
/proc/meminfo: memFree=1145880/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867468 CPUtime=1.47
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 21179 0 1 0 136 11 0 0 18 0 9 0 44400836 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216867 20515 2005 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867468 CPUtime=1.21
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15781 0 1 0 112 9 0 0 25 0 9 0 44400838 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 102230628 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867468 CPUtime=0.07
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 4097 0 0 0 6 1 0 0 16 0 9 0 44400839 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867468 CPUtime=0.16
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 603 0 0 0 16 0 0 0 16 0 9 0 44400841 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888287232 20515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888287232 20515 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) 867468

[startup+3.10152 s]
/proc/loadavg: 2.05 1.99 2.14 3/121 15801
/proc/meminfo: memFree=1118616/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867468 CPUtime=3.07
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 21235 0 1 0 294 13 0 0 18 0 9 0 44400836 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216867 20568 2006 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867468 CPUtime=2.76
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15803 0 1 0 266 10 0 0 25 0 9 0 44400838 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4126890145 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867468 CPUtime=0.07
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 4097 0 0 0 6 1 0 0 17 0 9 0 44400839 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867468 CPUtime=0.2
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 637 0 0 0 20 0 0 0 16 0 9 0 44400841 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888287232 20568 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888287232 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.07
Current children cumulated vsize (KiB) 867468

[startup+6.30214 s]
/proc/loadavg: 2.05 1.99 2.14 3/121 15801
/proc/meminfo: memFree=1118232/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867468 CPUtime=6.25
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 21250 0 1 0 610 15 0 0 18 0 9 0 44400836 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216867 20579 2006 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867468 CPUtime=5.92
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15809 0 1 0 580 12 0 0 25 0 9 0 44400838 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4126893168 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867468 CPUtime=0.07
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 4097 0 0 0 6 1 0 0 17 0 9 0 44400839 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867468 CPUtime=0.22
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 646 0 0 0 22 0 0 0 15 0 9 0 44400841 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888287232 20579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867468

[startup+12.7024 s]
/proc/loadavg: 2.04 1.99 2.13 3/121 15801
/proc/meminfo: memFree=1091672/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867556 CPUtime=12.6
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 28645 0 1 0 1238 22 0 0 18 0 9 0 44400836 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216889 27778 2640 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867556 CPUtime=11.8
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15881 0 1 0 1165 15 0 0 25 0 9 0 44400838 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4126891292 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867556 CPUtime=0.45
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 11375 0 0 0 41 4 0 0 17 0 9 0 44400839 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867556 CPUtime=0.3
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 691 0 0 0 30 0 0 0 15 0 9 0 44400841 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888377344 27778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 867556

[startup+25.5029 s]
/proc/loadavg: 2.04 1.99 2.13 3/121 15801
/proc/meminfo: memFree=1091672/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867556 CPUtime=25.27
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 28649 0 1 0 2499 28 0 0 18 0 9 0 44400836 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216889 27780 2640 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867556 CPUtime=24.47
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15883 0 1 0 2425 22 0 0 25 0 9 0 44400838 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4127210072 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867556 CPUtime=0.45
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 11375 0 0 0 41 4 0 0 16 0 9 0 44400839 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867556 CPUtime=0.31
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 693 0 0 0 31 0 0 0 17 0 9 0 44400841 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888377344 27780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 867556

[startup+51.1029 s]
/proc/loadavg: 2.02 1.99 2.13 3/121 15801
/proc/meminfo: memFree=1091608/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867556 CPUtime=50.66
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 28659 0 1 0 5028 38 0 0 18 0 9 0 44400836 888377344 27785 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216889 27785 2640 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867556 CPUtime=49.85
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15888 0 1 0 4954 31 0 0 25 0 9 0 44400838 888377344 27785 996147200 134512640 134550740 4294955952 18446744073709551615 4127214179 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867556 CPUtime=0.45
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 11375 0 0 0 41 4 0 0 16 0 9 0 44400839 888377344 27785 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27785 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27785 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888377344 27785 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867556 CPUtime=0.32
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 698 0 0 0 31 1 0 0 16 0 9 0 44400841 888377344 27785 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867556 CPUtime=0

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

/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867556 CPUtime=0.33
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 703 0 0 0 32 1 0 0 16 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 697.4
Current children cumulated vsize (KiB) 867556

[startup+762.309 s]
/proc/loadavg: 2.00 1.99 2.04 3/121 15801
/proc/meminfo: memFree=1090520/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867556 CPUtime=757
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 28664 0 1 0 75617 83 0 0 18 0 9 0 44400836 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216889 27790 2640 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867556 CPUtime=756.18
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15888 0 1 0 75542 76 0 0 25 0 9 0 44400838 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4126888632 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867556 CPUtime=0.45
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 11375 0 0 0 41 4 0 0 16 0 9 0 44400839 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867556 CPUtime=0.33
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 703 0 0 0 32 1 0 0 16 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 757
Current children cumulated vsize (KiB) 867556

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

[startup+767.903 s]
/proc/loadavg: 2.00 1.99 2.04 3/121 15801
/proc/meminfo: memFree=1090520/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867556 CPUtime=762.55
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 28664 0 1 0 76172 83 0 0 18 0 9 0 44400836 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216889 27790 2640 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867556 CPUtime=761.73
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15888 0 1 0 76097 76 0 0 25 0 9 0 44400838 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4126893227 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867556 CPUtime=0.45
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 11375 0 0 0 41 4 0 0 16 0 9 0 44400839 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44400839 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867556 CPUtime=0.33
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 703 0 0 0 32 1 0 0 16 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867556 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888377344 27790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.55
Current children cumulated vsize (KiB) 867556

[startup+771.112 s]
/proc/loadavg: 2.08 2.01 2.04 4/121 15801
/proc/meminfo: memFree=513368/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867468 CPUtime=765.74
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 182964 0 1 0 76430 144 0 0 18 0 9 0 44400836 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216867 182011 2619 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867468 CPUtime=763.79
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15976 0 1 0 76302 77 0 0 25 0 9 0 44400838 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867468 CPUtime=1.57
/proc/15792/task/15795/stat : 15795 (java) R 15790 15792 15720 0 -1 64 165555 0 0 0 92 65 0 0 16 0 9 0 44400839 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44400839 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867468 CPUtime=0.36
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 717 0 0 0 35 1 0 0 15 0 9 0 44400841 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888287232 182011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 765.74
Current children cumulated vsize (KiB) 867468

[startup+772.703 s]
/proc/loadavg: 2.08 2.01 2.04 4/121 15801
/proc/meminfo: memFree=402712/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867468 CPUtime=767.32
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 200384 0 1 0 76582 150 0 0 18 0 9 0 44400836 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216867 199427 2618 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867468 CPUtime=763.85
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15979 0 1 0 76308 77 0 0 25 0 9 0 44400838 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867468 CPUtime=3.09
/proc/15792/task/15795/stat : 15795 (java) R 15790 15792 15720 0 -1 64 182972 0 0 0 238 71 0 0 17 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867468 CPUtime=0.36
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 717 0 0 0 35 1 0 0 15 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 767.32
Current children cumulated vsize (KiB) 867468

[startup+773.503 s]
/proc/loadavg: 2.08 2.01 2.04 4/121 15801
/proc/meminfo: memFree=402712/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867468 CPUtime=768.11
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 200385 0 1 0 76661 150 0 0 18 0 9 0 44400836 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216867 199427 2618 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867468 CPUtime=763.86
/proc/15792/task/15794/stat : 15794 (java) S 15790 15792 15720 0 -1 64 15980 0 1 0 76309 77 0 0 25 0 9 0 44400838 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867468 CPUtime=3.88
/proc/15792/task/15795/stat : 15795 (java) R 15790 15792 15720 0 -1 64 182972 0 0 0 317 71 0 0 18 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867468 CPUtime=0.36
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 717 0 0 0 35 1 0 0 15 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 768.11
Current children cumulated vsize (KiB) 867468

[startup+773.902 s]
/proc/loadavg: 2.08 2.01 2.04 4/121 15801
/proc/meminfo: memFree=402712/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=867468 CPUtime=768.51
/proc/15792/stat : 15792 (java) S 15790 15792 15720 0 -1 0 200386 0 1 0 76701 150 0 0 18 0 9 0 44400836 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 216867 199427 2618 9 0 211395 0
[pid=15792/tid=15794] ppid=15790 vsize=867468 CPUtime=763.86
/proc/15792/task/15794/stat : 15794 (java) R 15790 15792 15720 0 -1 64 15981 0 1 0 76309 77 0 0 24 0 9 0 44400838 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 103869565 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15795] ppid=15790 vsize=867468 CPUtime=4.28
/proc/15792/task/15795/stat : 15795 (java) S 15790 15792 15720 0 -1 64 182972 0 0 0 357 71 0 0 18 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15796] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15796/stat : 15796 (java) S 15790 15792 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15797] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15797/stat : 15797 (java) S 15790 15792 15720 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44400839 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15798] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15798/stat : 15798 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15799] ppid=15790 vsize=867468 CPUtime=0.36
/proc/15792/task/15799/stat : 15799 (java) S 15790 15792 15720 0 -1 64 717 0 0 0 35 1 0 0 15 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15800] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15800/stat : 15800 (java) S 15790 15792 15720 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15792/tid=15801] ppid=15790 vsize=867468 CPUtime=0
/proc/15792/task/15801/stat : 15801 (java) S 15790 15792 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44400841 888287232 199427 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 768.51
Current children cumulated vsize (KiB) 867468

[startup+774.003 s]
/proc/loadavg: 2.08 2.01 2.04 4/121 15801
/proc/meminfo: memFree=402712/2055920 swapFree=4192812/4192956
[pid=15792] ppid=15790 vsize=0 CPUtime=768.61
/proc/15792/stat : 15792 (java) Z 15790 15792 15720 0 -1 12 200393 0 1 0 76701 160 0 0 16 0 2 0 44400836 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15792/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 768.61
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 774.016
CPU time (s): 768.635
CPU user time (s): 767.018
CPU system time (s): 1.61675
CPU usage (%): 99.3048
Max. virtual memory (cumulated for all children) (KiB): 867560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 767.018
system time used= 1.61675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200393
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= 17481
involuntary context switches= 29960

runsolver used 1.26781 second user time and 3.83442 second system time

The end

Launcher Data (download as text)

Begin job on node88 at 2008-07-12 17:37:17
IDJOB=1113032
IDBENCH=61515
IDSOLVER=360
FILE ID=node88/1113032-1215877037
PBS_JOBID= 7903620
Free space on /tmp= 66496 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8eb4eb3fb4371bb64ac48dd192eca4b5
RANDOM SEED=1211657544

node88.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	: 5931.00
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:       1193984 kB
Buffers:         39212 kB
Cached:         572108 kB
SwapCached:          0 kB
Active:         727112 kB
Inactive:        70732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1193984 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3548 kB
Writeback:           0 kB
Mapped:         207996 kB
Slab:            45336 kB
Committed_AS:   563344 kB
PageTables:       4868 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= 66496 MiB
End job on node88 at 2008-07-12 17:50:11