0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=pfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/275076-1169216456/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.51 nbVariables=680 nbDomainTypes=7 minDomainSize=6 maxDomainSize=44
0.51 => wckTime=0.181 cpuTime=0.14 mem=8M860
0.51
0.51 predicates being loaded...
0.52
0.52 constraints being loaded...
1.92 nbConstraints=3757 nbConvertedConstraints=3757 nbConvertConstraintsChecks=2941896 nbExtensionStructures=2211
1.92 nbSharedExtensionStructures=1546 nbConflictsStructures=2211 nbSharedConflictsStructures=1546
1.92 nbSharedBinaryRepresentations=159574 maxDegree=22 maxArity=2
1.92 => wckTime=1.588 cpuTime=1.4 mem=39M107
2.02
2.02 solver LocalSearchSolver being built...
2.05 => wckTime=1.722 cpuTime=1.44 mem=10M61
2.07
2.07 s SATISFIABLE
2.07 o 2120
2.07 c 1637
2.08 o 2131
2.08 c 1626
2.08 o 2142
2.08 c 1615
2.08 o 2151
2.09 c 1606
2.09 o 2160
2.09 c 1597
2.09 o 2169
2.09 c 1588
2.09 o 2177
2.09 c 1580
2.09 o 2184
2.09 c 1573
2.10 o 2192
2.10 c 1565
2.10 o 2198
2.10 c 1559
2.10 o 2205
2.10 c 1552
2.10 o 2212
2.10 c 1545
2.10 o 2218
2.10 c 1539
2.11 o 2224
2.11 c 1533
2.11 o 2230
2.11 c 1527
2.11 o 2238
2.11 c 1519
2.11 o 2245
2.11 c 1512
2.12 o 2251
2.12 c 1506
2.12 o 2256
2.12 c 1501
2.12 o 2261
2.12 c 1496
2.12 o 2265
2.12 c 1492
2.13 o 2268
2.13 c 1489
2.13 o 2271
2.13 c 1486
2.13 o 2273
2.13 c 1484
2.13 o 2280
2.13 c 1477
2.14 o 2283
2.14 c 1474
2.14 o 2290
2.14 c 1467
2.14 o 2296
2.14 c 1461
2.14 o 2302
2.14 c 1455
2.15 o 2308
2.15 c 1449
2.15 o 2314
2.15 c 1443
2.15 o 2320
2.15 c 1437
2.16 o 2326
2.16 c 1431
2.16 o 2331
2.16 c 1426
2.16 o 2336
2.16 c 1421
2.17 o 2341
2.17 c 1416
2.17 o 2345
2.17 c 1412
2.17 o 2349
2.17 c 1408
2.17 o 2353
2.17 c 1404
2.18 o 2357
2.18 c 1400
2.18 o 2361
2.18 c 1396
2.18 o 2364
2.18 c 1393
2.18 o 2367
2.18 c 1390
2.18 o 2369
2.18 c 1388
2.19 o 2374
2.19 c 1383
2.19 o 2380
2.19 c 1377
2.19 o 2384
2.19 c 1373
2.19 o 2389
2.19 c 1368
2.19 o 2391
2.19 c 1366
2.20 o 2396
2.20 c 1361
2.20 o 2398
2.20 c 1359
2.20 o 2404
2.20 c 1353
2.21 o 2410
2.21 c 1347
2.21 o 2416
2.21 c 1341
2.21 o 2422
2.21 c 1335
2.21 o 2428
2.21 c 1329
2.22 o 2433
2.22 c 1324
2.22 o 2438
2.22 c 1319
2.22 o 2441
2.22 c 1316
2.22 o 2446
2.22 c 1311
2.23 o 2451
2.23 c 1306
2.23 o 2455
2.23 c 1302
2.23 o 2457
2.23 c 1300
2.23 o 2461
2.23 c 1296
2.24 o 2464
2.24 c 1293
2.24 o 2467
2.24 c 1290
2.25 o 2468
2.25 c 1289
2.25 o 2472
2.25 c 1285
2.25 o 2474
2.25 c 1283
2.26 o 2478
2.26 c 1279
2.26 o 2481
2.26 c 1276
2.26 o 2482
2.27 c 1275
2.27 o 2486
2.27 c 1271
2.27 o 2488
2.27 c 1269
2.27 o 2489
2.27 c 1268
2.27 o 2492
2.27 c 1265
2.28 o 2494
2.28 c 1263
2.28 o 2496
2.28 c 1261
2.28 o 2500
2.28 c 1257
2.28 o 2501
2.28 c 1256
2.29 o 2503
2.29 c 1254
2.29 o 2507
2.29 c 1250
2.29 o 2511
2.29 c 1246
2.30 o 2516
2.30 c 1241
2.30 o 2521
2.30 c 1236
2.30 o 2526
2.30 c 1231
2.31 o 2531
2.31 c 1226
2.31 o 2536
2.31 c 1221
2.31 o 2541
2.31 c 1216
2.31 o 2545
2.32 c 1212
2.32 o 2549
2.32 c 1208
2.32 o 2552
2.32 c 1205
2.32 o 2553
2.32 c 1204
2.33 o 2557
2.33 c 1200
2.33 o 2560
2.33 c 1197
2.33 o 2563
2.33 c 1194
2.34 o 2567
2.34 c 1190
2.34 o 2570
2.34 c 1187
2.34 o 2573
2.34 c 1184
2.34 o 2575
2.34 c 1182
2.35 o 2577
2.35 c 1180
2.35 o 2579
2.35 c 1178
2.35 o 2583
2.36 c 1174
2.36 o 2584
2.36 c 1173
2.36 o 2588
2.36 c 1169
2.38 o 2589
2.38 c 1168
2.38 o 2590
2.38 c 1167
2.38 o 2593
2.38 c 1164
2.39 o 2595
2.39 c 1162
2.39 o 2596
2.39 c 1161
2.39 o 2598
2.39 c 1159
2.40 o 2599
2.40 c 1158
2.40 o 2602
2.40 c 1155
2.41 o 2604
2.41 c 1153
2.41 o 2609
2.41 c 1148
2.41 o 2612
2.41 c 1145
2.42 o 2616
2.42 c 1141
2.42 o 2617
2.42 c 1140
2.43 o 2618
2.43 c 1139
2.44 o 2619
2.44 c 1138
2.44 o 2624
2.44 c 1133
2.44 o 2625
2.44 c 1132
2.45 o 2628
2.45 c 1129
2.45 o 2632
2.45 c 1125
2.45 o 2636
2.45 c 1121
2.46 o 2640
2.46 c 1117
2.47 o 2644
2.47 c 1113
2.47 o 2647
2.47 c 1110
2.47 o 2651
2.48 c 1106
2.48 o 2655
2.48 c 1102
2.48 o 2659
2.48 c 1098
2.49 o 2663
2.49 c 1094
2.49 o 2666
2.49 c 1091
2.49 o 2670
2.49 c 1087
2.50 o 2674
2.50 c 1083
2.50 o 2676
2.50 c 1081
2.51 o 2679
2.51 c 1078
2.51 o 2682
2.51 c 1075
2.51 o 2685
2.51 c 1072
2.52 o 2687
2.52 c 1070
2.52 o 2689
2.52 c 1068
2.52 o 2690
2.52 c 1067
2.53 o 2692
2.53 c 1065
2.53 o 2693
2.53 c 1064
2.53 o 2694
2.53 c 1063
2.54 o 2695
2.54 c 1062
2.54 o 2696
2.54 c 1061
2.55 o 2699
2.55 c 1058
2.55 o 2702
2.55 c 1055
2.56 o 2704
2.56 c 1053
2.57 o 2705
2.57 c 1052
2.57 o 2707
2.57 c 1050
2.57 o 2709
2.57 c 1048
2.57 o 2713
2.57 c 1044
2.58 o 2714
2.58 c 1043
2.58 o 2715
2.58 c 1042
2.59 o 2718
2.59 c 1039
2.59 o 2719
2.59 c 1038
2.60 o 2722
2.60 c 1035
2.61 o 2725
2.61 c 1032
2.62 o 2726
2.62 c 1031
2.62 o 2727
2.62 c 1030
2.62 o 2729
2.62 c 1028
2.63 o 2731
2.63 c 1026
2.63 o 2732
2.63 c 1025
2.63 o 2733
2.64 c 1024
2.64 o 2737
2.64 c 1020
2.64 o 2742
2.65 c 1015
2.65 o 2743
2.65 c 1014
2.65 o 2745
2.65 c 1012
2.66 o 2749
2.66 c 1008
2.66 o 2751
2.66 c 1006
2.66 o 2754
2.66 c 1003
2.67 o 2757
2.67 c 1000
2.68 o 2760
2.68 c 997
2.68 o 2763
2.68 c 994
2.69 o 2766
2.69 c 991
2.70 o 2769
2.70 c 988
2.70 o 2770
2.70 c 987
2.71 o 2771
2.71 c 986
2.72 o 2773
2.72 c 984
2.73 o 2776
2.73 c 981
2.73 o 2779
2.73 c 978
2.74 o 2782
2.74 c 975
2.74 o 2785
2.74 c 972
2.75 o 2788
2.75 c 969
2.75 o 2790
2.75 c 967
2.76 o 2792
2.76 c 965
2.76 o 2794
2.76 c 963
2.77 o 2795
2.77 c 962
2.77 o 2797
2.77 c 960
2.78 o 2799
2.78 c 958
2.78 o 2802
2.78 c 955
2.79 o 2803
2.79 c 954
2.79 o 2804
2.79 c 953
2.80 o 2805
2.80 c 952
2.80 o 2806
2.80 c 951
2.81 o 2807
2.81 c 950
2.82 o 2808
2.82 c 949
2.82 o 2809
2.82 c 948
2.82 o 2810
2.82 c 947
2.83 o 2812
2.83 c 945
2.83 o 2813
2.83 c 944
2.84 o 2815
2.84 c 942
2.85 o 2818
2.85 c 939
2.85 o 2819
2.85 c 938
2.86 o 2821
2.86 c 936
2.86 o 2823
2.86 c 934
2.87 o 2825
2.87 c 932
2.89 o 2826
2.89 c 931
2.90 o 2827
2.90 c 930
2.91 o 2828
2.91 c 929
2.91 o 2830
2.91 c 927
2.92 o 2832
2.92 c 925
2.93 o 2834
2.93 c 923
2.93 o 2835
2.93 c 922
2.94 o 2836
2.94 c 921
2.94 o 2838
2.94 c 919
2.95 o 2840
2.95 c 917
2.95 o 2842
2.95 c 915
2.96 o 2844
2.96 c 913
2.96 o 2845
2.96 c 912
2.96 o 2846
2.96 c 911
2.97 o 2848
2.97 c 909
2.98 o 2852
2.98 c 905
2.98 o 2854
2.98 c 903
2.99 o 2855
2.99 c 902
3.00 o 2857
3.00 c 900
3.04 o 2859
3.04 c 898
3.04 o 2860
3.04 c 897
3.05 o 2863
3.05 c 894
3.06 o 2866
3.06 c 891
3.07 o 2867
3.07 c 890
3.07 o 2869
3.07 c 888
3.10 o 2870
3.10 c 887
3.10 o 2873
3.10 c 884
3.12 o 2876
3.12 c 881
3.13 o 2878
3.13 c 879
3.15 o 2880
3.15 c 877
3.15 o 2881
3.15 c 876
3.16 o 2883
3.16 c 874
3.16 o 2884
3.16 c 873
3.17 o 2886
3.17 c 871
3.22 o 2888
3.22 c 869
3.23 o 2889
3.23 c 868
3.24 o 2891
3.24 c 866
3.25 o 2892
3.25 c 865
3.27 o 2893
3.27 c 864
3.28 o 2895
3.28 c 862
3.28 o 2896
3.28 c 861
3.29 o 2897
3.29 c 860
3.29 o 2900
3.29 c 857
3.30 o 2902
3.30 c 855
3.30 o 2904
3.30 c 853
3.31 o 2906
3.31 c 851
3.31 o 2908
3.31 c 849
3.32 o 2909
3.32 c 848
3.33 o 2911
3.33 c 846
3.33 o 2913
3.33 c 844
3.34 o 2915
3.34 c 842
3.34 o 2917
3.34 c 840
3.35 o 2919
3.35 c 838
3.35 o 2920
3.35 c 837
3.35 o 2921
3.35 c 836
3.36 o 2922
3.36 c 835
3.36 o 2925
3.36 c 832
3.37 o 2926
3.37 c 831
3.39 o 2927
3.39 c 830
3.45 o 2928
3.45 c 829
3.46 o 2930
3.46 c 827
3.46 o 2931
3.46 c 826
3.47 o 2932
3.47 c 825
3.48 o 2935
3.48 c 822
3.48 o 2937
3.48 c 820
3.49 o 2939
3.49 c 818
3.50 o 2941
3.50 c 816
3.51 o 2942
3.51 c 815
3.51 o 2943
3.51 c 814
3.52 o 2946
3.52 c 811
3.53 o 2947
3.53 c 810
3.56 o 2948
3.56 c 809
3.57 o 2949
3.57 c 808
3.63 o 2950
3.63 c 807
3.65 o 2951
3.66 c 806
3.68 o 2953
3.68 c 804
3.72 o 2954
3.72 c 803
3.73 o 2955
3.73 c 802
3.74 o 2956
3.74 c 801
3.75 o 2958
3.75 c 799
3.81 o 2960
3.81 c 797
3.82 o 2962
3.82 c 795
3.83 o 2965
3.83 c 792
3.84 o 2966
3.84 c 791
3.86 o 2967
3.86 c 790
3.86 o 2968
3.86 c 789
3.87 o 2969
3.87 c 788
3.87 o 2971
3.87 c 786
3.88 o 2972
3.88 c 785
3.88 o 2973
3.88 c 784
3.89 o 2975
3.89 c 782
3.90 o 2976
3.90 c 781
3.91 o 2977
3.91 c 780
3.91 o 2978
3.91 c 779
4.01 o 2979
4.01 c 778
4.02 o 2981
4.02 c 776
4.03 o 2982
4.03 c 775
4.04 o 2984
4.04 c 773
4.13 o 2986
4.13 c 771
4.14 o 2987
4.14 c 770
4.17 o 2988
4.17 c 769
4.19 o 2989
4.20 c 768
4.20 o 2990
4.20 c 767
4.21 o 2992
4.21 c 765
4.22 o 2994
4.22 c 763
4.23 o 2995
4.23 c 762
4.25 o 2996
4.25 c 761
4.28 o 2999
4.28 c 758
4.51 o 3001
4.51 c 756
4.66 o 3002
4.66 c 755
4.66 o 3003
4.66 c 754
4.69 o 3004
4.69 c 753
4.74 o 3006
4.74 c 751
4.75 o 3008
4.75 c 749
4.76 o 3009
4.76 c 748
4.76 o 3010
4.76 c 747
4.78 o 3012
4.78 c 745
4.80 o 3014
4.80 c 743
4.80 o 3015
4.80 c 742
4.81 o 3016
4.81 c 741
4.82 o 3017
4.82 c 740
4.83 o 3018
4.83 c 739
4.90 o 3019
4.90 c 738
4.91 o 3020
4.91 c 737
4.92 o 3021
4.92 c 736
4.92 o 3022
4.92 c 735
4.93 o 3023
4.93 c 734
4.94 o 3024
4.94 c 733
4.95 o 3025
4.95 c 732
4.95 o 3026
4.95 c 731
4.96 o 3027
4.96 c 730
4.97 o 3028
4.97 c 729
5.03 o 3030
5.03 c 727
5.12 o 3032
5.12 c 725
5.13 o 3034
5.13 c 723
5.14 o 3035
5.14 c 722
5.15 o 3037
5.15 c 720
5.16 o 3040
5.16 c 717
5.17 o 3041
5.17 c 716
5.33 o 3042
5.33 c 715
5.60 o 3043
5.60 c 714
5.61 o 3045
5.61 c 712
5.66 o 3046
5.66 c 711
5.88 o 3047
5.88 c 710
5.88 o 3050
5.88 c 707
5.90 o 3051
5.90 c 706
5.91 o 3052
5.91 c 705
5.91 o 3053
5.91 c 704
5.94 o 3054
5.94 c 703
5.95 o 3055
5.95 c 702
5.96 o 3056
5.96 c 701
5.96 o 3058
5.96 c 699
5.97 o 3060
5.98 c 697
5.99 o 3062
5.99 c 695
6.01 o 3065
6.01 c 692
6.02 o 3067
6.02 c 690
6.10 o 3069
6.10 c 688
6.15 o 3073
6.15 c 684
6.15 o 3074
6.15 c 683
6.16 o 3075
6.16 c 682
6.20 o 3077
6.20 c 680
6.23 o 3079
6.23 c 678
6.24 o 3080
6.24 c 677
6.24 o 3082
6.24 c 675
6.25 o 3083
6.25 c 674
6.28 o 3085
6.28 c 672
6.29 o 3086
6.29 c 671
6.31 o 3087
6.31 c 670
6.32 o 3089
6.32 c 668
6.33 o 3091
6.33 c 666
6.37 o 3093
6.37 c 664
6.46 o 3095
6.46 c 662
6.65 o 3096
6.65 c 661
6.68 o 3097
6.68 c 660
6.70 o 3098
6.70 c 659
6.71 o 3099
6.71 c 658
6.71 o 3103
6.71 c 654
6.72 o 3104
6.72 c 653
6.73 o 3105
6.73 c 652
6.74 o 3106
6.74 c 651
6.75 o 3107
6.75 c 650
6.79 o 3109
6.79 c 648
6.79 o 3110
6.79 c 647
6.88 o 3111
6.88 c 646
6.98 o 3112
6.98 c 645
7.01 o 3113
7.01 c 644
7.02 o 3114
7.02 c 643
7.10 o 3115
7.10 c 642
7.19 o 3116
7.19 c 641
7.24 o 3117
7.24 c 640
7.25 o 3118
7.25 c 639
7.29 o 3120
7.29 c 637
7.30 o 3121
7.30 c 636
7.31 o 3124
7.31 c 633
7.31 o 3125
7.31 c 632
7.32 o 3126
7.32 c 631
7.32 o 3128
7.32 c 629
7.33 o 3129
7.33 c 628
7.34 o 3130
7.34 c 627
7.35 o 3131
7.35 c 626
7.36 o 3132
7.36 c 625
7.36 o 3134
7.36 c 623
7.37 o 3139
7.37 c 618
7.37 o 3141
7.37 c 616
7.37 o 3144
7.37 c 613
7.38 o 3148
7.38 c 609
7.38 o 3150
7.38 c 607
7.39 o 3151
7.39 c 606
7.42 o 3152
7.42 c 605
7.43 o 3153
7.43 c 604
7.44 o 3155
7.44 c 602
7.45 o 3157
7.45 c 600
7.45 o 3158
7.45 c 599
7.46 o 3161
7.46 c 596
7.48 o 3164
7.48 c 593
7.54 o 3165
7.54 c 592
7.67 o 3168
7.67 c 589
7.67 o 3169
7.67 c 588
7.68 o 3171
7.68 c 586
7.83 o 3173
7.83 c 584
7.85 o 3174
7.85 c 583
7.86 o 3177
7.86 c 580
7.89 o 3179
7.89 c 578
7.90 o 3180
7.90 c 577
7.98 o 3181
7.98 c 576
8.06 o 3182
8.06 c 575
8.07 o 3184
8.07 c 573
8.16 o 3186
8.16 c 571
8.16 o 3187
8.16 c 570
8.17 o 3189
8.17 c 568
8.18 o 3190
8.18 c 567
8.18 o 3193
8.18 c 564
8.19 o 3195
8.19 c 562
8.20 o 3198
8.20 c 559
8.21 o 3202
8.21 c 555
8.22 o 3204
8.22 c 553
8.24 o 3205
8.24 c 552
8.25 o 3206
8.25 c 551
8.29 o 3208
8.29 c 549
8.30 o 3210
8.30 c 547
8.32 o 3212
8.32 c 545
8.34 o 3213
8.34 c 544
8.35 o 3214
8.35 c 543
8.35 o 3215
8.35 c 542
8.41 o 3216
8.41 c 541
8.42 o 3217
8.42 c 540
8.47 o 3218
8.47 c 539
8.48 o 3219
8.48 c 538
8.49 o 3220
8.49 c 537
8.50 o 3221
8.50 c 536
8.51 o 3222
8.51 c 535
8.54 o 3224
8.54 c 533
8.55 o 3226
8.55 c 531
8.56 o 3227
8.56 c 530
8.60 o 3228
8.60 c 529
8.60 o 3229
8.60 c 528
8.61 o 3230
8.61 c 527
8.62 o 3231
8.62 c 526
8.62 o 3233
8.62 c 524
8.63 o 3234
8.63 c 523
8.64 o 3235
8.64 c 522
8.67 o 3237
8.67 c 520
8.75 o 3240
8.75 c 517
8.79 o 3241
8.79 c 516
8.79 o 3245
8.79 c 512
8.80 o 3248
8.80 c 509
8.80 o 3251
8.80 c 506
8.81 o 3253
8.81 c 504
8.82 o 3254
8.82 c 503
8.82 o 3257
8.82 c 500
8.83 o 3261
8.83 c 496
8.85 o 3262
8.85 c 495
8.86 o 3263
8.86 c 494
8.95 o 3265
8.95 c 492
8.96 o 3270
8.96 c 487
9.00 o 3271
9.00 c 486
9.01 o 3273
9.01 c 484
9.02 o 3274
9.02 c 483
9.12 o 3275
9.12 c 482
9.13 o 3276
9.13 c 481
9.13 o 3277
9.13 c 480
9.29 o 3279
9.29 c 478
9.31 o 3280
9.31 c 477
9.32 o 3281
9.32 c 476
9.32 o 3283
9.32 c 474
9.33 o 3286
9.33 c 471
9.38 o 3288
9.38 c 469
9.40 o 3289
9.40 c 468
9.48 o 3291
9.48 c 466
9.55 o 3292
9.55 c 465
9.59 o 3293
9.59 c 464
10.01 o 3294
10.01 c 463
10.04 o 3296
10.04 c 461
10.08 o 3298
10.08 c 459
10.09 o 3299
10.09 c 458
10.10 o 3300
10.10 c 457
10.11 o 3301
10.11 c 456
10.30 o 3302
10.30 c 455
11.29 o 3303
11.29 c 454
11.38 o 3304
11.38 c 453
11.39 o 3305
11.39 c 452
11.44 o 3306
11.44 c 451
11.46 o 3307
11.46 c 450
11.47 o 3308
11.47 c 449
11.49 o 3309
11.49 c 448
11.50 o 3312
11.50 c 445
11.54 o 3313
11.54 c 444
11.55 o 3314
11.55 c 443
11.55 o 3315
11.55 c 442
11.56 o 3316
11.56 c 441
11.63 o 3317
11.63 c 440
11.64 o 3318
11.64 c 439
11.65 o 3319
11.65 c 438
11.68 o 3320
11.68 c 437
11.71 o 3321
11.72 c 436
11.72 o 3322
11.72 c 435
11.73 o 3324
11.73 c 433
11.75 o 3325
11.75 c 432
11.75 o 3327
11.75 c 430
11.76 o 3328
11.76 c 429
11.81 o 3332
11.81 c 425
11.81 o 3333
11.81 c 424
11.91 o 3335
11.91 c 422
11.92 o 3336
11.92 c 421
11.93 o 3339
11.93 c 418
11.94 o 3340
11.94 c 417
11.95 o 3343
11.95 c 414
12.01 o 3344
12.01 c 413
12.04 o 3345
12.04 c 412
12.04 o 3346
12.04 c 411
12.05 o 3348
12.05 c 409
12.14 o 3349
12.14 c 408
12.15 o 3350
12.15 c 407
12.16 o 3352
12.16 c 405
12.18 o 3354
12.18 c 403
12.19 o 3359
12.19 c 398
12.20 o 3360
12.20 c 397
12.21 o 3364
12.21 c 393
12.22 o 3366
12.22 c 391
12.23 o 3367
12.23 c 390
12.32 o 3368
12.32 c 389
12.33 o 3369
12.33 c 388
12.34 o 3370
12.34 c 387
12.35 o 3372
12.35 c 385
12.39 o 3373
12.39 c 384
12.39 o 3376
12.39 c 381
12.40 o 3379
12.40 c 378
12.52 o 3382
12.52 c 375
12.53 o 3386
12.53 c 371
12.53 o 3388
12.53 c 369
12.56 o 3389
12.56 c 368
13.15 o 3390
13.15 c 367
13.16 o 3391
13.16 c 366
13.49 o 3392
13.49 c 365
13.56 o 3393
13.56 c 364
13.65 o 3394
13.65 c 363
13.66 o 3395
13.66 c 362
13.67 o 3396
13.67 c 361
13.70 o 3397
13.70 c 360
13.72 o 3399
13.72 c 358
13.72 o 3400
13.72 c 357
14.91 o 3401
14.91 c 356
14.92 o 3402
14.92 c 355
14.92 o 3403
14.92 c 354
14.99 o 3405
14.99 c 352
15.10 o 3407
15.10 c 350
15.11 o 3408
15.11 c 349
15.11 o 3409
15.11 c 348
15.19 o 3410
15.19 c 347
15.75 o 3411
15.75 c 346
15.76 o 3412
15.76 c 345
15.77 o 3413
15.77 c 344
15.78 o 3414
15.78 c 343
16.16 o 3415
16.16 c 342
16.16 o 3418
16.16 c 339
16.17 o 3420
16.17 c 337
16.17 o 3421
16.17 c 336
16.18 o 3423
16.18 c 334
16.18 o 3424
16.18 c 333
16.21 o 3426
16.21 c 331
16.26 o 3429
16.26 c 328
16.26 o 3431
16.26 c 326
16.27 o 3435
16.27 c 322
16.27 o 3437
16.27 c 320
16.28 o 3438
16.28 c 319
16.29 o 3441
16.29 c 316
16.31 o 3442
16.31 c 315
16.31 o 3443
16.31 c 314
16.39 o 3445
16.39 c 312
16.40 o 3447
16.40 c 310
16.42 o 3448
16.42 c 309
16.42 o 3450
16.42 c 307
16.43 o 3451
16.43 c 306
16.48 o 3452
16.48 c 305
16.49 o 3454
16.49 c 303
16.83 o 3455
16.83 c 302
16.84 o 3456
16.84 c 301
16.85 o 3457
16.85 c 300
16.86 o 3458
16.86 c 299
16.86 o 3459
16.86 c 298
16.93 o 3460
16.93 c 297
16.93 o 3461
16.93 c 296
16.96 o 3462
16.96 c 295
17.47 o 3463
17.47 c 294
17.50 o 3464
17.50 c 293
17.54 o 3465
17.54 c 292
17.55 o 3466
17.55 c 291
18.13 o 3468
18.13 c 289
18.19 o 3470
18.19 c 287
18.19 o 3471
18.19 c 286
18.20 o 3472
18.20 c 285
18.20 o 3473
18.20 c 284
18.21 o 3474
18.21 c 283
18.21 o 3475
18.21 c 282
18.25 o 3476
18.25 c 281
18.25 o 3477
18.25 c 280
18.27 o 3479
18.27 c 278
18.27 o 3480
18.27 c 277
18.28 o 3481
18.28 c 276
18.37 o 3482
18.37 c 275
18.37 o 3483
18.37 c 274
18.38 o 3485
18.38 c 272
18.39 o 3486
18.39 c 271
18.39 o 3487
18.39 c 270
18.52 o 3488
18.52 c 269
18.53 o 3489
18.53 c 268
18.56 o 3490
18.56 c 267
18.57 o 3491
18.57 c 266
18.57 o 3493
18.57 c 264
18.58 o 3494
18.58 c 263
18.59 o 3495
18.59 c 262
18.59 o 3496
18.59 c 261
18.82 o 3499
18.82 c 258
18.84 o 3502
18.84 c 255
18.86 o 3504
18.86 c 253
18.87 o 3505
18.87 c 252
18.87 o 3506
18.87 c 251
18.89 o 3507
18.89 c 250
18.89 o 3508
18.89 c 249
19.18 o 3509
19.18 c 248
19.18 o 3510
19.18 c 247
19.19 o 3512
19.19 c 245
19.22 o 3513
19.22 c 244
19.25 o 3514
19.25 c 243
19.25 o 3515
19.25 c 242
19.43 o 3516
19.43 c 241
19.43 o 3517
19.43 c 240
19.44 o 3518
19.44 c 239
19.45 o 3520
19.45 c 237
19.45 o 3521
19.45 c 236
19.46 o 3522
19.46 c 235
19.46 o 3523
19.46 c 234
19.48 o 3525
19.48 c 232
19.49 o 3526
19.49 c 231
19.51 o 3527
19.51 c 230
19.52 o 3528
19.52 c 229
19.53 o 3530
19.53 c 227
19.62 o 3531
19.62 c 226
19.63 o 3532
19.63 c 225
19.64 o 3533
19.64 c 224
19.71 o 3534
19.71 c 223
19.71 o 3538
19.71 c 219
20.91 o 3542
20.91 c 215
20.92 o 3543
20.92 c 214
20.94 o 3544
20.94 c 213
20.94 o 3546
20.94 c 211
20.97 o 3548
20.97 c 209
21.00 o 3549
21.00 c 208
21.00 o 3550
21.00 c 207
21.02 o 3551
21.02 c 206
21.08 o 3552
21.08 c 205
21.08 o 3553
21.08 c 204
21.11 o 3554
21.11 c 203
21.12 o 3556
21.12 c 201
21.12 o 3557
21.12 c 200
21.15 o 3558
21.15 c 199
21.98 o 3559
21.98 c 198
21.99 o 3560
21.99 c 197
21.99 o 3561
21.99 c 196
22.00 o 3562
22.00 c 195
22.01 o 3564
22.01 c 193
22.01 o 3565
22.01 c 192
22.29 o 3566
22.29 c 191
22.32 o 3568
22.32 c 189
22.38 o 3569
22.38 c 188
22.38 o 3570
22.38 c 187
22.89 o 3571
22.89 c 186
22.91 o 3572
22.91 c 185
22.91 o 3573
22.91 c 184
23.01 o 3574
23.01 c 183
23.01 o 3576
23.01 c 181
23.01 o 3578
23.01 c 179
23.02 o 3579
23.02 c 178
23.02 o 3582
23.02 c 175
23.02 o 3583
23.02 c 174
23.02 o 3585
23.02 c 172
23.03 o 3589
23.03 c 168
23.04 o 3590
23.04 c 167
23.05 o 3592
23.05 c 165
23.44 o 3593
23.44 c 164
23.45 o 3594
23.45 c 163
23.69 o 3596
23.69 c 161
23.70 o 3598
23.70 c 159
23.71 o 3599
23.71 c 158
23.72 o 3600
23.72 c 157
25.29 o 3601
25.29 c 156
25.56 o 3603
25.56 c 154
25.57 o 3606
25.57 c 151
25.57 o 3609
25.57 c 148
25.58 o 3611
25.58 c 146
25.58 o 3614
25.58 c 143
25.60 o 3615
25.60 c 142
25.64 o 3616
25.64 c 141
25.65 o 3617
25.65 c 140
25.97 o 3618
25.97 c 139
25.98 o 3619
25.98 c 138
26.18 o 3620
26.18 c 137
26.19 o 3622
26.19 c 135
26.28 o 3623
26.28 c 134
26.38 o 3626
26.38 c 131
26.39 o 3627
26.39 c 130
26.39 o 3628
26.39 c 129
26.40 o 3631
26.40 c 126
26.41 o 3633
26.41 c 124
26.41 o 3635
26.41 c 122
26.83 o 3636
26.83 c 121
27.51 o 3637
27.51 c 120
28.78 o 3638
28.78 c 119
28.79 o 3640
28.79 c 117
28.79 o 3642
28.79 c 115
29.07 o 3643
29.07 c 114
29.08 o 3645
29.08 c 112
29.10 o 3646
29.10 c 111
29.10 o 3647
29.10 c 110
29.23 o 3648
29.23 c 109
29.24 o 3649
29.24 c 108
29.24 o 3650
29.24 c 107
31.26 o 3651
31.26 c 106
31.27 o 3656
31.27 c 101
31.27 o 3657
31.27 c 100
31.28 o 3659
31.28 c 98
31.28 o 3663
31.28 c 94
31.29 o 3666
31.29 c 91
31.29 o 3668
31.29 c 89
31.29 o 3669
31.29 c 88
31.30 o 3670
31.30 c 87
31.30 o 3671
31.30 c 86
31.74 o 3672
31.74 c 85
32.83 o 3677
32.83 c 80
35.24 o 3681
35.24 c 76
35.25 o 3682
35.25 c 75
35.70 o 3683
35.70 c 74
37.12 o 3685
37.12 c 72
37.12 o 3689
37.12 c 68
38.52 o 3690
38.52 c 67
38.53 o 3692
38.53 c 65
38.53 o 3693
38.53 c 64
43.88 o 3695
43.88 c 62
44.49 o 3698
44.49 c 59
44.49 o 3700
44.49 c 57
44.49 o 3702
44.49 c 55
44.90
44.90 search
44.90 run=0 nbConstraintChecks=387586008 nbAssignments=10000
44.90 => wckTime=42.852 cpuTime=42.7 mem=10M61
45.92 o 3705
45.92 c 52
46.04 o 3707
46.04 c 50
46.07 o 3709
46.07 c 48
46.07 o 3712
46.07 c 45
46.43 o 3713
46.43 c 44
75.98
75.99 search
75.99 run=1 nbConstraintChecks=681655082 nbAssignments=20000
75.99 => wckTime=73.932 cpuTime=73.74 mem=10M61
76.46
76.46 search
76.46 run=2 nbConstraintChecks=686031482 nbAssignments=20419
76.46 => wckTime=74.403 cpuTime=74.22 mem=10M61
76.46
76.46 global
76.46 nbConstraintChecks=686031482 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
76.46 solvingWckTime=74.4 solvingCpuTime=74.22 expiredTime=no totalExploration=no nbFoundSolutions=0
76.46 globalCpuTime=75.7
76.46 => wckTime=76.125 cpuTime=75.66 mem=11M35
76.46
76.46 solver IterativeSystematicSolver being built...
76.62 => wckTime=76.29 cpuTime=75.79 mem=25M78
76.66
76.66 preprocessing
76.66 nbConstraintChecks=20536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
76.66 detectedInconsistency=no
76.66 => wckTime=0.035 cpuTime=0.02 mem=25M78
118.49
118.49 search
118.49 run=0 nbConstraintChecks=23096954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265
118.49 nbFailedAssignments=178 nbBacktracks=10 nbVisitedNodes=454 nbRestartNogoods=0
118.49 => wckTime=41.866 cpuTime=41.77 mem=25M78
149.45
149.45 search
149.45 run=1 nbConstraintChecks=43985992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=525
149.45 nbFailedAssignments=351 nbBacktracks=25 nbVisitedNodes=902 nbRestartNogoods=33
149.45 => wckTime=72.826 cpuTime=72.68 mem=25M78
225.89
225.89 search
225.89 run=2 nbConstraintChecks=85270083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=962
225.89 nbFailedAssignments=688 nbBacktracks=48 nbVisitedNodes=1699 nbRestartNogoods=66
225.89 => wckTime=149.27 cpuTime=149.06 mem=25M78
360.98
360.98 search
360.98 run=3 nbConstraintChecks=154488813 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1680
360.98 nbFailedAssignments=1298 nbBacktracks=81 nbVisitedNodes=3060 nbRestartNogoods=78
360.98 => wckTime=284.357 cpuTime=283.98 mem=25M78
443.27
443.27 search
443.27 run=4 nbConstraintChecks=221058886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2419
443.27 nbFailedAssignments=1911 nbBacktracks=131 nbVisitedNodes=4462 nbRestartNogoods=118
443.27 => wckTime=366.648 cpuTime=366.18 mem=25M78
487.12
487.12 search
487.12 run=5 nbConstraintChecks=248889615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2756
487.12 nbFailedAssignments=2099 nbBacktracks=206 nbVisitedNodes=5062 nbRestartNogoods=157
487.12 => wckTime=410.495 cpuTime=409.99 mem=25M78
577.45
577.45 search
577.45 run=6 nbConstraintChecks=283888010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3182
577.45 nbFailedAssignments=2346 nbBacktracks=319 nbVisitedNodes=5848 nbRestartNogoods=171
577.45 => wckTime=500.825 cpuTime=500.22 mem=25M78
837.46
837.46 search
837.46 run=7 nbConstraintChecks=377843749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4307
837.46 nbFailedAssignments=3228 nbBacktracks=489 nbVisitedNodes=7997 nbRestartNogoods=181
837.46 => wckTime=760.836 cpuTime=759.96 mem=25M78
1075.25
1075.25 search
1075.25 run=8 nbConstraintChecks=513823918 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6035
1075.25 nbFailedAssignments=4627 nbBacktracks=745 nbVisitedNodes=11380 nbRestartNogoods=232
1075.25 => wckTime=998.624 cpuTime=997.53 mem=25M78
1351.49
1351.50 search
1351.50 run=9 nbConstraintChecks=674525948 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8078
1351.50 nbFailedAssignments=6206 nbBacktracks=1129 nbVisitedNodes=15381 nbRestartNogoods=277
1351.50 => wckTime=1274.871 cpuTime=1273.39 mem=25M78
2063.06
2063.06 search
2063.06 run=10 nbConstraintChecks=913597710 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11309
2063.06 nbFailedAssignments=8818 nbBacktracks=1705 nbVisitedNodes=21799 nbRestartNogoods=319
2063.06 => wckTime=1986.431 cpuTime=1981.95 mem=25M78
2406.54 v 86 324 44 282 296 58 156 394 16 254 240 478 240 478 694 456 16 254 792 554 708 470 16 254 44 282 100 338 72 310 792 792 142 380 30 30 170 408 86 324 792 554 722 484 694 456 680 442 16 254 240 478 792 554 778 540 652 414 58 296 156 394 680 442 16 254 16 254 142 380 44 282 16 254 722 484 750 512 722 484 58 296 16 254 652 414 736 498 792 554 114 694 128 366 792 554 694 456 142 380 792 554 44 282 30 268 540 778 694 456 750 512 16 254 792 554 170 408 694 456 100 338 764 526 792 554 764 526 240 478 156 394 16 254 652 414 170 408 100 338 114 352 680 442 72 310 296 58 680 442 652 414 792 554 652 414 142 380 114 352 750 512 16 254 16 254 792 554 526 764 86 324 736 498 778 540 86 324 86 324 792 554 254 16 156 394 128 366 652 414 652 414 792 554 16 254 512 750 652 414 764 526 72 310 764 526 44 282 16 254 128 366 764 526 128 366 694 456 708 470 736 498 666 428 708 470 114 352 792 554 142 380 72 310 722 484 778 540 666 428 778 540 764 526 16 254 792 554 708 470 792 554 170 408 694 456 86 324 750 512 44 282 30 268 100 338 128 366 666 428 554 792 16 254 16 254 44 282 722 484 792 554 114 352 792 554 16 254 764 526 708 470 736 498 114 352 792 554 666 428 708 470 792 554 736 498 44 282 58 296 30 268 170 408 156 394 142 380 170 408 16 254 792 554 666 428 30 268 16 254 240 478 708 470 16 254 240 478 764 526 722 484 240 478 750 512 30 268 708 470 456 694 58 296 792 554 72 310 170 408 44 282 72 310 764 526 792 554 100 338 240 478 240 478 16 254 764 526 526 764 100 338 16 254 764 526 722 484 16 254 736 498 680 442 16 254 296 58 114 352 16 254 764 526 142 380 16 254 30 268 792 554 16 254 652 414 708 470 156 394 170 408 792 554 114 352 680 442 652 414 128 366 44 282 792 554 792 554 722 484 128 366 792 554 16 254 72 310 764 526 680 442 792 554 44 282 792 554 792 554 778 540 16 254 652 414 666 428 58 652 778 540 170 408 540 778 170 408 736 498 16 254 86 324 652 414 750 512 100 338 778 540 58 296 694 456 58 296 792 554 72 310 86 324 72 310 16 254 652 414 16 254 114 352 16 254 156 394 30 268 100 338 708 470 694 456 72 310 666 428 30 268 240 478 666 428 16 254 16 254 30 268 58 296 764 526 16 254 142 380 58 296 666 428 680 442 792 554 764 526 16 254 128 366 666 428 72 58 100 338 114 352 86 324 680 442 792 554 16 254 44 282 792 554 792 792 170 408 30 268 792 554 86 324 16 254 722 484 750 512 680 442 764 526 736 498 792 554 442 680 156 394 764 526 170 408 170 408 694 456 792 554 792 554 170 408 694 456 750 512 142 380 764 526 100 338 16 30 652 414 722 484 722 484 58 296 16 254 792 554 778 540 72 310 30 268 764 526 16 254 86 324 100 338 680 442 156 394 722 484 792 554 736 498 694 456 764 526 156 394
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-275076-1169216456 -o ROOT/results/node14/solver-275076-1169216456 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275076-1169216456/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.07 2.04 1.83 4/86 16563
/proc/meminfo: memFree=1369136/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=906644 CPUtime=0.02
/proc/16562/stat : 16562 (java) S 16560 16562 16112 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 270040597 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 226661 1817 1036 14 0 214244 0
[pid=16562/tid=16564] ppid=16560 vsize=906644 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) R 16560 16562 16112 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270040600 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104726 s]
/proc/loadavg: 2.07 2.04 1.83 4/86 16563
/proc/meminfo: memFree=1369136/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=914988 CPUtime=0.09
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 3014 0 1 0 7 2 0 0 20 0 8 0 270040597 936947712 2760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7394268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228747 2760 1434 14 0 215242 0
[pid=16562/tid=16564] ppid=16560 vsize=914988 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270040600 936947712 2760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516769 s]
/proc/loadavg: 2.07 2.04 1.83 4/86 16563
/proc/meminfo: memFree=1369136/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915332 CPUtime=0.48
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 6459 0 11 0 43 5 0 0 18 0 8 0 270040597 937299968 6208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073558715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228833 6208 2140 14 0 215303 0
[pid=16562/tid=16564] ppid=16560 vsize=915332 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270040600 937299968 6208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33984 s]
/proc/loadavg: 2.07 2.04 1.83 3/93 16572
/proc/meminfo: memFree=1330872/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915632 CPUtime=1.29
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 11728 0 11 0 115 14 0 0 25 0 8 0 270040597 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228908 11476 2171 14 0 215378 0
[pid=16562/tid=16564] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 270040600 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 270040601 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 270040601 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915632 CPUtime=0.19
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 430 0 0 0 18 1 0 0 15 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915632
[startup+2.97706 s]
/proc/loadavg: 2.07 2.04 1.83 3/93 16572
/proc/meminfo: memFree=1312184/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2.9
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15857 0 11 0 260 30 0 0 25 0 8 0 270040597 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228935 15604 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 17 0 8 0 270040600 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.24
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 458 0 0 0 23 1 0 0 15 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915740
[startup+6.2633 s]
/proc/loadavg: 2.06 2.04 1.83 2/88 16573
/proc/meminfo: memFree=1315936/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=6.15
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15865 0 11 0 581 34 0 0 18 0 8 0 270040597 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950580 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15610 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.26
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 464 0 0 0 25 1 0 0 16 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915740
[startup+12.7449 s]
/proc/loadavg: 1.98 2.02 1.83 2/88 16583
/proc/meminfo: memFree=1316008/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=12.62
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15866 0 11 0 1222 40 0 0 25 0 8 0 270040597 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15611 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.26
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 465 0 0 0 25 1 0 0 16 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915740
[startup+25.6091 s]
/proc/loadavg: 1.76 1.97 1.81 2/88 16588
/proc/meminfo: memFree=1318184/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=25.49
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15866 0 11 0 2495 54 0 0 25 0 8 0 270040597 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15611 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.26
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 465 0 0 0 25 1 0 0 16 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915740
[startup+51.2146 s]
/proc/loadavg: 1.78 1.95 1.81 3/94 16651
/proc/meminfo: memFree=1305784/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=51.05
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15870 0 11 0 5006 99 0 0 25 0 8 0 270040597 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15615 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.27
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 469 0 0 0 26 1 0 0 17 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915740
[startup+102.429 s]
/proc/loadavg: 1.90 1.96 1.82 3/94 16651
/proc/meminfo: memFree=1305784/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=102.21
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16009 0 11 0 10083 138 0 0 25 0 8 0 270040597 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15746 2542 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.35
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 520 0 0 0 33 2 0 0 16 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915740
################
# More data... #
################
Current children cumulated CPU time (s) 2019.85
Current children cumulated vsize (KiB) 915740
[startup+2084.29 s]
/proc/loadavg: 2.06 2.01 1.94 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2079.58
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 207815 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074143574 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.58
Current children cumulated vsize (KiB) 915740
[startup+2144.35 s]
/proc/loadavg: 2.02 2.01 1.94 3/94 16651
/proc/meminfo: memFree=1305400/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2139.32
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 213789 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074142712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.32
Current children cumulated vsize (KiB) 915740
[startup+2204.42 s]
/proc/loadavg: 2.04 2.02 1.95 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2199.06
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 219763 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.06
Current children cumulated vsize (KiB) 915740
[startup+2264.48 s]
/proc/loadavg: 2.01 2.01 1.95 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2258.78
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 225735 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074143565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.78
Current children cumulated vsize (KiB) 915740
[startup+2324.55 s]
/proc/loadavg: 2.05 2.02 1.95 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2318.54
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 231710 144 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074142030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.54
Current children cumulated vsize (KiB) 915740
[startup+2384.61 s]
/proc/loadavg: 2.02 2.02 1.95 3/94 16651
/proc/meminfo: memFree=1305400/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2378.29
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 237685 144 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.29
Current children cumulated vsize (KiB) 915740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.53 s]
/proc/loadavg: 2.01 2.02 1.95 3/100 16677
/proc/meminfo: memFree=1304256/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2400.06
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 239862 144 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.6
CPU time (s): 2400.12
CPU user time (s): 2398.66
CPU system time (s): 1.45778
CPU usage (%): 99.7309
Max. virtual memory (cumulated for all children) (KiB): 915776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.66
system time used= 1.45778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16079
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50399
involuntary context switches= 29898
runsolver used 2.84157 s user time and 7.8748 s system time
The end
Begin job on node14 on Fri Jan 19 14:20:57 UTC 2007
IDJOB= 275076
IDBENCH= 3288
IDSOLVER= 69
FILE ID= node14/275076-1169216456
PBS_JOBID= 3588913
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphs/graph11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275076-1169216456/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-275076-1169216456 -o ROOT/results/node14/solver-275076-1169216456 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275076-1169216456/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f99a84357d49704ce92e19e2187b6864
RANDOM SEED= 209485882
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.227
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.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1369616 kB
Buffers: 49680 kB
Cached: 527768 kB
SwapCached: 3272 kB
Active: 136288 kB
Inactive: 474072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1369616 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 2280 kB
Writeback: 0 kB
Mapped: 41940 kB
Slab: 60960 kB
Committed_AS: 8550024 kB
PageTables: 2132 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= 66560 MiB
End job on node14 on Fri Jan 19 15:01:03 UTC 2007