Trace number 275075

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.17 2413.31

General information on the benchmark

Namerlfap/rlfapGraphs/
graph11.xml
MD5SUMf99a84357d49704ce92e19e2187b6864
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3713
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables680
Number of constraints3757
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3757
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275075-1169216454/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.49	     nbVariables=680  nbDomainTypes=7  minDomainSize=6  maxDomainSize=44
0.49	       =>  wckTime=0.173  cpuTime=0.12  mem=8M828
0.49	   
0.49	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
1.81	     nbConstraints=3757  nbConvertedConstraints=3757  nbConvertConstraintsChecks=2941896  nbExtensionStructures=2211
1.81	     nbSharedExtensionStructures=1546  nbConflictsStructures=2211  nbSharedConflictsStructures=1546
1.81	     nbSharedBinaryRepresentations=159574  maxDegree=22  maxArity=2
1.81	       =>  wckTime=1.494  cpuTime=1.3  mem=39M59
1.90	   
1.90	   solver LocalSearchSolver being built... 
1.94	       =>  wckTime=1.621  cpuTime=1.34  mem=10M64
1.96	
1.96	s SATISFIABLE
1.96	o 2120
1.96	c 1637
1.96	o 2131
1.96	c 1626
1.97	o 2142
1.97	c 1615
1.97	o 2151
1.97	c 1606
1.97	o 2160
1.97	c 1597
1.97	o 2169
1.97	c 1588
1.98	o 2177
1.98	c 1580
1.98	o 2184
1.98	c 1573
1.98	o 2192
1.98	c 1565
1.98	o 2198
1.98	c 1559
1.98	o 2205
1.98	c 1552
1.99	o 2212
1.99	c 1545
1.99	o 2218
1.99	c 1539
1.99	o 2224
1.99	c 1533
1.99	o 2230
1.99	c 1527
1.99	o 2238
1.99	c 1519
2.00	o 2245
2.00	c 1512
2.00	o 2251
2.00	c 1506
2.00	o 2256
2.00	c 1501
2.00	o 2261
2.00	c 1496
2.01	o 2265
2.01	c 1492
2.01	o 2268
2.01	c 1489
2.01	o 2271
2.01	c 1486
2.01	o 2273
2.01	c 1484
2.02	o 2280
2.02	c 1477
2.02	o 2283
2.02	c 1474
2.02	o 2290
2.02	c 1467
2.02	o 2296
2.02	c 1461
2.03	o 2302
2.03	c 1455
2.03	o 2308
2.03	c 1449
2.03	o 2314
2.03	c 1443
2.04	o 2320
2.04	c 1437
2.04	o 2326
2.04	c 1431
2.04	o 2331
2.04	c 1426
2.04	o 2336
2.04	c 1421
2.05	o 2341
2.05	c 1416
2.05	o 2345
2.05	c 1412
2.05	o 2349
2.05	c 1408
2.05	o 2353
2.05	c 1404
2.06	o 2357
2.06	c 1400
2.06	o 2361
2.06	c 1396
2.06	o 2364
2.06	c 1393
2.06	o 2367
2.06	c 1390
2.06	o 2369
2.06	c 1388
2.07	o 2374
2.07	c 1383
2.07	o 2380
2.07	c 1377
2.07	o 2384
2.07	c 1373
2.07	o 2389
2.07	c 1368
2.07	o 2391
2.07	c 1366
2.08	o 2396
2.08	c 1361
2.08	o 2398
2.08	c 1359
2.08	o 2404
2.08	c 1353
2.08	o 2410
2.09	c 1347
2.09	o 2416
2.09	c 1341
2.09	o 2422
2.09	c 1335
2.09	o 2428
2.09	c 1329
2.10	o 2433
2.10	c 1324
2.10	o 2438
2.10	c 1319
2.10	o 2441
2.10	c 1316
2.10	o 2446
2.10	c 1311
2.11	o 2451
2.11	c 1306
2.11	o 2455
2.11	c 1302
2.11	o 2457
2.11	c 1300
2.11	o 2461
2.11	c 1296
2.12	o 2464
2.12	c 1293
2.12	o 2467
2.12	c 1290
2.13	o 2468
2.13	c 1289
2.13	o 2472
2.13	c 1285
2.13	o 2474
2.13	c 1283
2.13	o 2478
2.13	c 1279
2.14	o 2481
2.14	c 1276
2.14	o 2482
2.14	c 1275
2.14	o 2486
2.14	c 1271
2.14	o 2488
2.14	c 1269
2.14	o 2489
2.14	c 1268
2.15	o 2492
2.15	c 1265
2.15	o 2494
2.15	c 1263
2.15	o 2496
2.15	c 1261
2.15	o 2500
2.15	c 1257
2.16	o 2501
2.16	c 1256
2.16	o 2503
2.16	c 1254
2.16	o 2507
2.16	c 1250
2.16	o 2511
2.16	c 1246
2.17	o 2516
2.17	c 1241
2.17	o 2521
2.17	c 1236
2.17	o 2526
2.17	c 1231
2.18	o 2531
2.18	c 1226
2.18	o 2536
2.18	c 1221
2.18	o 2541
2.18	c 1216
2.19	o 2545
2.19	c 1212
2.19	o 2549
2.19	c 1208
2.19	o 2552
2.19	c 1205
2.19	o 2553
2.19	c 1204
2.20	o 2557
2.20	c 1200
2.20	o 2560
2.20	c 1197
2.20	o 2563
2.20	c 1194
2.21	o 2567
2.21	c 1190
2.21	o 2570
2.21	c 1187
2.21	o 2573
2.21	c 1184
2.21	o 2575
2.21	c 1182
2.22	o 2577
2.22	c 1180
2.22	o 2579
2.22	c 1178
2.23	o 2583
2.23	c 1174
2.23	o 2584
2.23	c 1173
2.23	o 2588
2.23	c 1169
2.25	o 2589
2.25	c 1168
2.25	o 2590
2.25	c 1167
2.26	o 2593
2.26	c 1164
2.26	o 2595
2.26	c 1162
2.26	o 2596
2.26	c 1161
2.27	o 2598
2.27	c 1159
2.27	o 2599
2.27	c 1158
2.28	o 2602
2.28	c 1155
2.28	o 2604
2.28	c 1153
2.28	o 2609
2.28	c 1148
2.29	o 2612
2.29	c 1145
2.29	o 2616
2.29	c 1141
2.30	o 2617
2.30	c 1140
2.31	o 2618
2.31	c 1139
2.31	o 2619
2.31	c 1138
2.31	o 2624
2.31	c 1133
2.32	o 2625
2.32	c 1132
2.32	o 2628
2.32	c 1129
2.32	o 2632
2.32	c 1125
2.33	o 2636
2.33	c 1121
2.33	o 2640
2.33	c 1117
2.34	o 2644
2.34	c 1113
2.34	o 2647
2.34	c 1110
2.35	o 2651
2.35	c 1106
2.35	o 2655
2.35	c 1102
2.35	o 2659
2.35	c 1098
2.36	o 2663
2.36	c 1094
2.36	o 2666
2.36	c 1091
2.36	o 2670
2.36	c 1087
2.37	o 2674
2.37	c 1083
2.37	o 2676
2.37	c 1081
2.38	o 2679
2.38	c 1078
2.38	o 2682
2.38	c 1075
2.38	o 2685
2.38	c 1072
2.39	o 2687
2.39	c 1070
2.39	o 2689
2.39	c 1068
2.39	o 2690
2.39	c 1067
2.40	o 2692
2.40	c 1065
2.40	o 2693
2.40	c 1064
2.40	o 2694
2.40	c 1063
2.41	o 2695
2.41	c 1062
2.41	o 2696
2.41	c 1061
2.42	o 2699
2.42	c 1058
2.42	o 2702
2.42	c 1055
2.43	o 2704
2.43	c 1053
2.43	o 2705
2.43	c 1052
2.44	o 2707
2.44	c 1050
2.44	o 2709
2.44	c 1048
2.44	o 2713
2.44	c 1044
2.45	o 2714
2.45	c 1043
2.45	o 2715
2.45	c 1042
2.45	o 2718
2.45	c 1039
2.46	o 2719
2.46	c 1038
2.47	o 2722
2.47	c 1035
2.48	o 2725
2.48	c 1032
2.48	o 2726
2.48	c 1031
2.49	o 2727
2.49	c 1030
2.49	o 2729
2.49	c 1028
2.49	o 2731
2.49	c 1026
2.50	o 2732
2.50	c 1025
2.50	o 2733
2.50	c 1024
2.51	o 2737
2.51	c 1020
2.51	o 2742
2.51	c 1015
2.51	o 2743
2.51	c 1014
2.52	o 2745
2.52	c 1012
2.52	o 2749
2.52	c 1008
2.53	o 2751
2.53	c 1006
2.53	o 2754
2.53	c 1003
2.54	o 2757
2.54	c 1000
2.54	o 2760
2.54	c 997
2.55	o 2763
2.55	c 994
2.55	o 2766
2.55	c 991
2.56	o 2769
2.56	c 988
2.56	o 2770
2.56	c 987
2.57	o 2771
2.57	c 986
2.58	o 2773
2.58	c 984
2.59	o 2776
2.59	c 981
2.59	o 2779
2.59	c 978
2.60	o 2782
2.60	c 975
2.60	o 2785
2.60	c 972
2.61	o 2788
2.61	c 969
2.61	o 2790
2.61	c 967
2.62	o 2792
2.62	c 965
2.62	o 2794
2.62	c 963
2.63	o 2795
2.63	c 962
2.63	o 2797
2.63	c 960
2.64	o 2799
2.64	c 958
2.64	o 2802
2.64	c 955
2.65	o 2803
2.65	c 954
2.65	o 2804
2.65	c 953
2.66	o 2805
2.66	c 952
2.66	o 2806
2.66	c 951
2.67	o 2807
2.67	c 950
2.67	o 2808
2.68	c 949
2.68	o 2809
2.68	c 948
2.68	o 2810
2.68	c 947
2.69	o 2812
2.69	c 945
2.69	o 2813
2.69	c 944
2.70	o 2815
2.70	c 942
2.71	o 2818
2.71	c 939
2.72	o 2819
2.72	c 938
2.72	o 2821
2.72	c 936
2.73	o 2823
2.73	c 934
2.74	o 2825
2.74	c 932
2.75	o 2826
2.75	c 931
2.76	o 2827
2.76	c 930
2.77	o 2828
2.77	c 929
2.77	o 2830
2.77	c 927
2.78	o 2832
2.78	c 925
2.79	o 2834
2.79	c 923
2.80	o 2835
2.80	c 922
2.80	o 2836
2.80	c 921
2.80	o 2838
2.80	c 919
2.81	o 2840
2.81	c 917
2.81	o 2842
2.81	c 915
2.82	o 2844
2.82	c 913
2.82	o 2845
2.82	c 912
2.82	o 2846
2.82	c 911
2.83	o 2848
2.83	c 909
2.83	o 2852
2.83	c 905
2.84	o 2854
2.84	c 903
2.85	o 2855
2.85	c 902
2.85	o 2857
2.85	c 900
2.90	o 2859
2.90	c 898
2.90	o 2860
2.90	c 897
2.90	o 2863
2.90	c 894
2.92	o 2866
2.92	c 891
2.92	o 2867
2.92	c 890
2.93	o 2869
2.93	c 888
2.95	o 2870
2.95	c 887
2.95	o 2873
2.95	c 884
2.98	o 2876
2.98	c 881
2.98	o 2878
2.98	c 879
3.00	o 2880
3.00	c 877
3.00	o 2881
3.00	c 876
3.01	o 2883
3.01	c 874
3.01	o 2884
3.01	c 873
3.02	o 2886
3.02	c 871
3.07	o 2888
3.07	c 869
3.08	o 2889
3.08	c 868
3.09	o 2891
3.09	c 866
3.10	o 2892
3.10	c 865
3.12	o 2893
3.12	c 864
3.12	o 2895
3.12	c 862
3.13	o 2896
3.13	c 861
3.13	o 2897
3.13	c 860
3.14	o 2900
3.14	c 857
3.14	o 2902
3.14	c 855
3.15	o 2904
3.15	c 853
3.15	o 2906
3.15	c 851
3.16	o 2908
3.16	c 849
3.17	o 2909
3.17	c 848
3.17	o 2911
3.17	c 846
3.17	o 2913
3.18	c 844
3.18	o 2915
3.18	c 842
3.18	o 2917
3.18	c 840
3.19	o 2919
3.19	c 838
3.19	o 2920
3.19	c 837
3.20	o 2921
3.20	c 836
3.20	o 2922
3.20	c 835
3.20	o 2925
3.20	c 832
3.21	o 2926
3.21	c 831
3.23	o 2927
3.23	c 830
3.29	o 2928
3.29	c 829
3.29	o 2930
3.29	c 827
3.30	o 2931
3.30	c 826
3.31	o 2932
3.31	c 825
3.31	o 2935
3.31	c 822
3.32	o 2937
3.32	c 820
3.32	o 2939
3.32	c 818
3.33	o 2941
3.33	c 816
3.34	o 2942
3.34	c 815
3.34	o 2943
3.34	c 814
3.35	o 2946
3.35	c 811
3.36	o 2947
3.36	c 810
3.39	o 2948
3.39	c 809
3.40	o 2949
3.40	c 808
3.46	o 2950
3.46	c 807
3.48	o 2951
3.48	c 806
3.51	o 2953
3.51	c 804
3.55	o 2954
3.55	c 803
3.55	o 2955
3.55	c 802
3.57	o 2956
3.57	c 801
3.57	o 2958
3.57	c 799
3.63	o 2960
3.63	c 797
3.64	o 2962
3.64	c 795
3.65	o 2965
3.65	c 792
3.66	o 2966
3.66	c 791
3.67	o 2967
3.67	c 790
3.68	o 2968
3.68	c 789
3.69	o 2969
3.69	c 788
3.69	o 2971
3.69	c 786
3.70	o 2972
3.70	c 785
3.70	o 2973
3.70	c 784
3.71	o 2975
3.71	c 782
3.71	o 2976
3.71	c 781
3.72	o 2977
3.72	c 780
3.73	o 2978
3.73	c 779
3.82	o 2979
3.82	c 778
3.83	o 2981
3.83	c 776
3.85	o 2982
3.85	c 775
3.85	o 2984
3.85	c 773
3.94	o 2986
3.94	c 771
3.95	o 2987
3.95	c 770
3.98	o 2988
3.98	c 769
4.00	o 2989
4.00	c 768
4.01	o 2990
4.01	c 767
4.02	o 2992
4.02	c 765
4.02	o 2994
4.02	c 763
4.03	o 2995
4.03	c 762
4.06	o 2996
4.06	c 761
4.08	o 2999
4.08	c 758
4.30	o 3001
4.30	c 756
4.44	o 3002
4.44	c 755
4.45	o 3003
4.45	c 754
4.47	o 3004
4.47	c 753
4.53	o 3006
4.53	c 751
4.53	o 3008
4.53	c 749
4.54	o 3009
4.54	c 748
4.55	o 3010
4.55	c 747
4.56	o 3012
4.56	c 745
4.58	o 3014
4.58	c 743
4.59	o 3015
4.59	c 742
4.59	o 3016
4.59	c 741
4.60	o 3017
4.60	c 740
4.62	o 3018
4.62	c 739
4.68	o 3019
4.68	c 738
4.69	o 3020
4.69	c 737
4.70	o 3021
4.70	c 736
4.71	o 3022
4.71	c 735
4.71	o 3023
4.71	c 734
4.72	o 3024
4.72	c 733
4.73	o 3025
4.73	c 732
4.73	o 3026
4.73	c 731
4.74	o 3027
4.74	c 730
4.75	o 3028
4.75	c 729
4.81	o 3030
4.81	c 727
4.90	o 3032
4.90	c 725
4.91	o 3034
4.91	c 723
4.92	o 3035
4.92	c 722
4.93	o 3037
4.93	c 720
4.94	o 3040
4.94	c 717
4.95	o 3041
4.95	c 716
5.11	o 3042
5.11	c 715
5.38	o 3043
5.38	c 714
5.39	o 3045
5.39	c 712
5.44	o 3046
5.44	c 711
5.67	o 3047
5.67	c 710
5.68	o 3050
5.68	c 707
5.69	o 3051
5.69	c 706
5.70	o 3052
5.70	c 705
5.71	o 3053
5.71	c 704
5.74	o 3054
5.74	c 703
5.74	o 3055
5.74	c 702
5.75	o 3056
5.75	c 701
5.76	o 3058
5.76	c 699
5.77	o 3060
5.77	c 697
5.78	o 3062
5.78	c 695
5.80	o 3065
5.80	c 692
5.82	o 3067
5.82	c 690
5.90	o 3069
5.90	c 688
5.95	o 3073
5.95	c 684
5.96	o 3074
5.96	c 683
5.97	o 3075
5.97	c 682
6.02	o 3077
6.02	c 680
6.04	o 3079
6.04	c 678
6.05	o 3080
6.05	c 677
6.06	o 3082
6.06	c 675
6.07	o 3083
6.07	c 674
6.10	o 3085
6.10	c 672
6.11	o 3086
6.11	c 671
6.12	o 3087
6.12	c 670
6.14	o 3089
6.14	c 668
6.15	o 3091
6.15	c 666
6.19	o 3093
6.19	c 664
6.29	o 3095
6.29	c 662
6.49	o 3096
6.49	c 661
6.52	o 3097
6.52	c 660
6.54	o 3098
6.54	c 659
6.55	o 3099
6.55	c 658
6.55	o 3103
6.55	c 654
6.56	o 3104
6.56	c 653
6.57	o 3105
6.57	c 652
6.58	o 3106
6.58	c 651
6.59	o 3107
6.59	c 650
6.63	o 3109
6.63	c 648
6.64	o 3110
6.64	c 647
6.73	o 3111
6.73	c 646
6.84	o 3112
6.84	c 645
6.87	o 3113
6.87	c 644
6.88	o 3114
6.88	c 643
6.96	o 3115
6.96	c 642
7.06	o 3116
7.06	c 641
7.12	o 3117
7.12	c 640
7.13	o 3118
7.13	c 639
7.17	o 3120
7.17	c 637
7.18	o 3121
7.18	c 636
7.19	o 3124
7.19	c 633
7.19	o 3125
7.19	c 632
7.19	o 3126
7.19	c 631
7.20	o 3128
7.20	c 629
7.21	o 3129
7.21	c 628
7.22	o 3130
7.22	c 627
7.23	o 3131
7.23	c 626
7.24	o 3132
7.24	c 625
7.24	o 3134
7.24	c 623
7.25	o 3139
7.25	c 618
7.25	o 3141
7.25	c 616
7.25	o 3144
7.25	c 613
7.26	o 3148
7.26	c 609
7.26	o 3150
7.26	c 607
7.27	o 3151
7.27	c 606
7.30	o 3152
7.30	c 605
7.31	o 3153
7.31	c 604
7.33	o 3155
7.33	c 602
7.33	o 3157
7.33	c 600
7.34	o 3158
7.34	c 599
7.35	o 3161
7.35	c 596
7.37	o 3164
7.37	c 593
7.44	o 3165
7.44	c 592
7.57	o 3168
7.57	c 589
7.58	o 3169
7.58	c 588
7.58	o 3171
7.58	c 586
7.74	o 3173
7.74	c 584
7.76	o 3174
7.76	c 583
7.77	o 3177
7.77	c 580
7.81	o 3179
7.81	c 578
7.82	o 3180
7.82	c 577
7.90	o 3181
7.90	c 576
7.99	o 3182
7.99	c 575
8.00	o 3184
8.00	c 573
8.09	o 3186
8.09	c 571
8.10	o 3187
8.10	c 570
8.11	o 3189
8.11	c 568
8.11	o 3190
8.11	c 567
8.12	o 3193
8.12	c 564
8.13	o 3195
8.13	c 562
8.14	o 3198
8.14	c 559
8.15	o 3202
8.15	c 555
8.16	o 3204
8.16	c 553
8.18	o 3205
8.18	c 552
8.19	o 3206
8.19	c 551
8.23	o 3208
8.23	c 549
8.24	o 3210
8.24	c 547
8.26	o 3212
8.26	c 545
8.29	o 3213
8.29	c 544
8.30	o 3214
8.30	c 543
8.30	o 3215
8.30	c 542
8.37	o 3216
8.37	c 541
8.38	o 3217
8.38	c 540
8.43	o 3218
8.43	c 539
8.44	o 3219
8.44	c 538
8.44	o 3220
8.44	c 537
8.45	o 3221
8.45	c 536
8.47	o 3222
8.47	c 535
8.51	o 3224
8.51	c 533
8.51	o 3226
8.51	c 531
8.52	o 3227
8.52	c 530
8.56	o 3228
8.56	c 529
8.57	o 3229
8.57	c 528
8.57	o 3230
8.57	c 527
8.58	o 3231
8.58	c 526
8.59	o 3233
8.59	c 524
8.59	o 3234
8.59	c 523
8.61	o 3235
8.61	c 522
8.64	o 3237
8.64	c 520
8.72	o 3240
8.72	c 517
8.76	o 3241
8.76	c 516
8.76	o 3245
8.76	c 512
8.77	o 3248
8.77	c 509
8.77	o 3251
8.77	c 506
8.78	o 3253
8.78	c 504
8.79	o 3254
8.79	c 503
8.79	o 3257
8.79	c 500
8.80	o 3261
8.80	c 496
8.83	o 3262
8.83	c 495
8.83	o 3263
8.83	c 494
8.93	o 3265
8.93	c 492
8.94	o 3270
8.94	c 487
8.98	o 3271
8.98	c 486
8.98	o 3273
8.98	c 484
8.99	o 3274
8.99	c 483
9.10	o 3275
9.10	c 482
9.11	o 3276
9.11	c 481
9.11	o 3277
9.11	c 480
9.29	o 3279
9.29	c 478
9.31	o 3280
9.31	c 477
9.31	o 3281
9.31	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.56	o 3292
9.56	c 465
9.61	o 3293
9.61	c 464
10.05	o 3294
10.05	c 463
10.09	o 3296
10.09	c 461
10.13	o 3298
10.13	c 459
10.14	o 3299
10.14	c 458
10.15	o 3300
10.15	c 457
10.15	o 3301
10.15	c 456
10.36	o 3302
10.36	c 455
11.42	o 3303
11.42	c 454
11.52	o 3304
11.52	c 453
11.53	o 3305
11.53	c 452
11.58	o 3306
11.58	c 451
11.60	o 3307
11.60	c 450
11.61	o 3308
11.61	c 449
11.64	o 3309
11.64	c 448
11.65	o 3312
11.65	c 445
11.68	o 3313
11.68	c 444
11.69	o 3314
11.69	c 443
11.70	o 3315
11.70	c 442
11.71	o 3316
11.71	c 441
11.78	o 3317
11.78	c 440
11.79	o 3318
11.79	c 439
11.80	o 3319
11.80	c 438
11.84	o 3320
11.84	c 437
11.87	o 3321
11.87	c 436
11.88	o 3322
11.88	c 435
11.89	o 3324
11.89	c 433
11.90	o 3325
11.90	c 432
11.91	o 3327
11.91	c 430
11.92	o 3328
11.92	c 429
11.97	o 3332
11.97	c 425
11.98	o 3333
11.98	c 424
12.08	o 3335
12.08	c 422
12.09	o 3336
12.09	c 421
12.10	o 3339
12.10	c 418
12.11	o 3340
12.11	c 417
12.12	o 3343
12.12	c 414
12.18	o 3344
12.18	c 413
12.21	o 3345
12.21	c 412
12.22	o 3346
12.22	c 411
12.23	o 3348
12.23	c 409
12.32	o 3349
12.32	c 408
12.33	o 3350
12.33	c 407
12.35	o 3352
12.35	c 405
12.36	o 3354
12.36	c 403
12.37	o 3359
12.37	c 398
12.38	o 3360
12.38	c 397
12.40	o 3364
12.40	c 393
12.41	o 3366
12.41	c 391
12.41	o 3367
12.41	c 390
12.51	o 3368
12.51	c 389
12.52	o 3369
12.52	c 388
12.53	o 3370
12.53	c 387
12.54	o 3372
12.54	c 385
12.59	o 3373
12.59	c 384
12.59	o 3376
12.59	c 381
12.60	o 3379
12.60	c 378
12.73	o 3382
12.73	c 375
12.73	o 3386
12.73	c 371
12.74	o 3388
12.74	c 369
12.77	o 3389
12.77	c 368
13.39	o 3390
13.39	c 367
13.41	o 3391
13.41	c 366
13.76	o 3392
13.76	c 365
13.83	o 3393
13.83	c 364
13.93	o 3394
13.93	c 363
13.94	o 3395
13.94	c 362
13.95	o 3396
13.95	c 361
13.99	o 3397
13.99	c 360
14.00	o 3399
14.00	c 358
14.01	o 3400
14.01	c 357
15.20	o 3401
15.20	c 356
15.21	o 3402
15.21	c 355
15.22	o 3403
15.22	c 354
15.29	o 3405
15.29	c 352
15.41	o 3407
15.41	c 350
15.41	o 3408
15.41	c 349
15.42	o 3409
15.42	c 348
15.50	o 3410
15.50	c 347
16.10	o 3411
16.10	c 346
16.11	o 3412
16.11	c 345
16.12	o 3413
16.12	c 344
16.13	o 3414
16.13	c 343
16.53	o 3415
16.53	c 342
16.54	o 3418
16.54	c 339
16.54	o 3420
16.54	c 337
16.55	o 3421
16.55	c 336
16.55	o 3423
16.55	c 334
16.56	o 3424
16.56	c 333
16.59	o 3426
16.59	c 331
16.64	o 3429
16.64	c 328
16.65	o 3431
16.65	c 326
16.65	o 3435
16.65	c 322
16.66	o 3437
16.66	c 320
16.66	o 3438
16.66	c 319
16.67	o 3441
16.67	c 316
16.69	o 3442
16.69	c 315
16.70	o 3443
16.70	c 314
16.78	o 3445
16.78	c 312
16.79	o 3447
16.79	c 310
16.81	o 3448
16.81	c 309
16.82	o 3450
16.82	c 307
16.82	o 3451
16.82	c 306
16.88	o 3452
16.88	c 305
16.89	o 3454
16.89	c 303
17.25	o 3455
17.25	c 302
17.26	o 3456
17.26	c 301
17.27	o 3457
17.27	c 300
17.27	o 3458
17.27	c 299
17.28	o 3459
17.28	c 298
17.35	o 3460
17.35	c 297
17.36	o 3461
17.36	c 296
17.38	o 3462
17.38	c 295
17.93	o 3463
17.93	c 294
17.96	o 3464
17.96	c 293
18.00	o 3465
18.00	c 292
18.01	o 3466
18.01	c 291
18.62	o 3468
18.62	c 289
18.68	o 3470
18.68	c 287
18.69	o 3471
18.69	c 286
18.70	o 3472
18.70	c 285
18.70	o 3473
18.70	c 284
18.71	o 3474
18.71	c 283
18.71	o 3475
18.71	c 282
18.75	o 3476
18.75	c 281
18.76	o 3477
18.76	c 280
18.77	o 3479
18.77	c 278
18.78	o 3480
18.78	c 277
18.78	o 3481
18.78	c 276
18.88	o 3482
18.88	c 275
18.88	o 3483
18.88	c 274
18.89	o 3485
18.89	c 272
18.90	o 3486
18.90	c 271
18.91	o 3487
18.91	c 270
19.04	o 3488
19.04	c 269
19.05	o 3489
19.05	c 268
19.09	o 3490
19.09	c 267
19.10	o 3491
19.10	c 266
19.10	o 3493
19.10	c 264
19.10	o 3494
19.10	c 263
19.11	o 3495
19.11	c 262
19.12	o 3496
19.12	c 261
19.36	o 3499
19.36	c 258
19.38	o 3502
19.38	c 255
19.40	o 3504
19.40	c 253
19.41	o 3505
19.41	c 252
19.42	o 3506
19.42	c 251
19.43	o 3507
19.43	c 250
19.44	o 3508
19.44	c 249
19.74	o 3509
19.74	c 248
19.75	o 3510
19.75	c 247
19.75	o 3512
19.75	c 245
19.79	o 3513
19.79	c 244
19.81	o 3514
19.82	c 243
19.82	o 3515
19.82	c 242
20.02	o 3516
20.02	c 241
20.02	o 3517
20.02	c 240
20.03	o 3518
20.03	c 239
20.03	o 3520
20.03	c 237
20.04	o 3521
20.04	c 236
20.05	o 3522
20.05	c 235
20.05	o 3523
20.05	c 234
20.07	o 3525
20.07	c 232
20.09	o 3526
20.09	c 231
20.11	o 3527
20.11	c 230
20.11	o 3528
20.11	c 229
20.13	o 3530
20.13	c 227
20.22	o 3531
20.22	c 226
20.23	o 3532
20.23	c 225
20.25	o 3533
20.25	c 224
20.31	o 3534
20.31	c 223
20.32	o 3538
20.32	c 219
21.60	o 3542
21.60	c 215
21.61	o 3543
21.61	c 214
21.62	o 3544
21.62	c 213
21.63	o 3546
21.63	c 211
21.65	o 3548
21.66	c 209
21.69	o 3549
21.69	c 208
21.69	o 3550
21.69	c 207
21.71	o 3551
21.71	c 206
21.77	o 3552
21.77	c 205
21.78	o 3553
21.78	c 204
21.81	o 3554
21.81	c 203
21.82	o 3556
21.82	c 201
21.82	o 3557
21.82	c 200
21.85	o 3558
21.85	c 199
22.73	o 3559
22.73	c 198
22.74	o 3560
22.74	c 197
22.74	o 3561
22.74	c 196
22.75	o 3562
22.75	c 195
22.76	o 3564
22.76	c 193
22.77	o 3565
22.77	c 192
23.06	o 3566
23.06	c 191
23.09	o 3568
23.09	c 189
23.15	o 3569
23.15	c 188
23.16	o 3570
23.16	c 187
23.70	o 3571
23.70	c 186
23.72	o 3572
23.72	c 185
23.72	o 3573
23.72	c 184
23.82	o 3574
23.82	c 183
23.83	o 3576
23.83	c 181
23.83	o 3578
23.83	c 179
23.83	o 3579
23.83	c 178
23.84	o 3582
23.84	c 175
23.84	o 3583
23.84	c 174
23.84	o 3585
23.84	c 172
23.85	o 3589
23.85	c 168
23.86	o 3590
23.86	c 167
23.87	o 3592
23.87	c 165
24.29	o 3593
24.29	c 164
24.30	o 3594
24.30	c 163
24.55	o 3596
24.55	c 161
24.56	o 3598
24.56	c 159
24.57	o 3599
24.57	c 158
24.58	o 3600
24.58	c 157
26.25	o 3601
26.25	c 156
26.54	o 3603
26.54	c 154
26.55	o 3606
26.55	c 151
26.55	o 3609
26.55	c 148
26.56	o 3611
26.56	c 146
26.56	o 3614
26.56	c 143
26.58	o 3615
26.58	c 142
26.63	o 3616
26.63	c 141
26.64	o 3617
26.64	c 140
26.98	o 3618
26.98	c 139
26.99	o 3619
26.99	c 138
27.20	o 3620
27.20	c 137
27.21	o 3622
27.21	c 135
27.31	o 3623
27.31	c 134
27.42	o 3626
27.42	c 131
27.43	o 3627
27.43	c 130
27.43	o 3628
27.43	c 129
27.45	o 3631
27.45	c 126
27.45	o 3633
27.45	c 124
27.46	o 3635
27.46	c 122
27.91	o 3636
27.91	c 121
28.63	o 3637
28.63	c 120
29.99	o 3638
29.99	c 119
30.00	o 3640
30.00	c 117
30.00	o 3642
30.00	c 115
30.30	o 3643
30.30	c 114
30.31	o 3645
30.31	c 112
30.33	o 3646
30.33	c 111
30.33	o 3647
30.33	c 110
30.47	o 3648
30.47	c 109
30.47	o 3649
30.47	c 108
30.48	o 3650
30.48	c 107
32.49	o 3651
32.49	c 106
32.49	o 3656
32.49	c 101
32.49	o 3657
32.49	c 100
32.50	o 3659
32.50	c 98
32.51	o 3663
32.51	c 94
32.51	o 3666
32.51	c 91
32.51	o 3668
32.51	c 89
32.52	o 3669
32.52	c 88
32.52	o 3670
32.52	c 87
32.52	o 3671
32.52	c 86
32.99	o 3672
32.99	c 85
34.11	o 3677
34.11	c 80
36.60	o 3681
36.60	c 76
36.60	o 3682
36.60	c 75
37.07	o 3683
37.07	c 74
38.53	o 3685
38.53	c 72
38.53	o 3689
38.53	c 68
39.96	o 3690
39.96	c 67
39.96	o 3692
39.96	c 65
39.96	o 3693
39.96	c 64
45.35	o 3695
45.35	c 62
45.95	o 3698
45.95	c 59
45.96	o 3700
45.96	c 57
45.96	o 3702
45.96	c 55
46.38	   
46.38	   search
46.38	     run=0  nbConstraintChecks=387586008  nbAssignments=10000
46.38	       =>  wckTime=44.442  cpuTime=44.21  mem=10M64
47.41	o 3705
47.41	c 52
47.53	o 3707
47.53	c 50
47.56	o 3709
47.56	c 48
47.56	o 3712
47.56	c 45
47.92	o 3713
47.92	c 44
77.93	   
77.93	   search
77.93	     run=1  nbConstraintChecks=681655082  nbAssignments=20000
77.93	       =>  wckTime=75.995  cpuTime=75.59  mem=10M64
78.10	   
78.10	   search
78.10	     run=2  nbConstraintChecks=683064103  nbAssignments=20214
78.10	       =>  wckTime=76.164  cpuTime=75.75  mem=10M64
78.10	   
78.10	   global
78.10	     nbConstraintChecks=683064103  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
78.10	     solvingWckTime=76.161  solvingCpuTime=75.75  expiredTime=no  totalExploration=no  nbFoundSolutions=0
78.10	     globalCpuTime=77.14
78.10	       =>  wckTime=77.785  cpuTime=77.09  mem=11M39
78.10	   
78.10	   solver IterativeSystematicSolver being built... 
78.27	       =>  wckTime=77.954  cpuTime=77.23  mem=25M84
90.63	   
90.63	   preprocessing
90.63	     nbConstraintChecks=22527272  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
90.63	     detectedInconsistency=no
90.63	       =>  wckTime=12.349  cpuTime=12.25  mem=25M84
126.48	   
126.48	   search
126.48	     run=0  nbConstraintChecks=19949016  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=239
126.48	     nbFailedAssignments=154  nbBacktracks=10  nbVisitedNodes=404  nbRestartNogoods=0
126.48	       =>  wckTime=48.207  cpuTime=47.91  mem=25M84
161.71	   
161.71	   search
161.71	     run=1  nbConstraintChecks=42104337  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=533
161.71	     nbFailedAssignments=370  nbBacktracks=25  nbVisitedNodes=929  nbRestartNogoods=26
161.71	       =>  wckTime=83.437  cpuTime=82.94  mem=25M84
204.57	   
204.57	   search
204.57	     run=2  nbConstraintChecks=57826409  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=755
204.57	     nbFailedAssignments=520  nbBacktracks=47  nbVisitedNodes=1323  nbRestartNogoods=57
204.57	       =>  wckTime=126.292  cpuTime=125.56  mem=25M84
352.65	   
352.65	   search
352.65	     run=3  nbConstraintChecks=103516500  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1312
352.65	     nbFailedAssignments=991  nbBacktracks=80  nbVisitedNodes=2384  nbRestartNogoods=96
352.65	       =>  wckTime=274.37  cpuTime=272.83  mem=25M84
427.63	   
427.63	   search
427.63	     run=4  nbConstraintChecks=137320745  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1765
427.63	     nbFailedAssignments=1337  nbBacktracks=130  nbVisitedNodes=3233  nbRestartNogoods=115
427.63	       =>  wckTime=349.36  cpuTime=347.37  mem=25M84
549.42	   
549.42	   search
549.42	     run=5  nbConstraintChecks=194079696  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2484
549.42	     nbFailedAssignments=1922  nbBacktracks=207  nbVisitedNodes=4614  nbRestartNogoods=150
549.42	       =>  wckTime=471.147  cpuTime=468.49  mem=25M84
720.25	   
720.25	   search
720.25	     run=6  nbConstraintChecks=277386858  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3639
720.25	     nbFailedAssignments=2921  nbBacktracks=320  nbVisitedNodes=6881  nbRestartNogoods=168
720.25	       =>  wckTime=641.973  cpuTime=638.41  mem=25M84
923.56	   
923.56	   search
923.56	     run=7  nbConstraintChecks=355072943  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4783
923.56	     nbFailedAssignments=3864  nbBacktracks=490  nbVisitedNodes=9138  nbRestartNogoods=182
923.56	       =>  wckTime=845.286  cpuTime=840.6  mem=25M84
1425.00	   
1425.00	   search
1425.00	     run=8  nbConstraintChecks=563438525  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8050
1425.00	     nbFailedAssignments=6848  nbBacktracks=746  nbVisitedNodes=15645  nbRestartNogoods=191
1425.00	       =>  wckTime=1346.722  cpuTime=1339.32  mem=25M84
2055.29	   
2055.29	   search
2055.29	     run=9  nbConstraintChecks=751455589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11246
2055.29	     nbFailedAssignments=9641  nbBacktracks=1130  nbVisitedNodes=22014  nbRestartNogoods=250
2055.29	       =>  wckTime=1977.014  cpuTime=1966.19  mem=25M84
2413.24	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

Verifier Data (download as text)

44 unsatisfied constraints, 3713 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-275075-1169216454 -o ROOT/results/node9/solver-275075-1169216454 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275075-1169216454/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: 1.92 1.98 1.81 4/94 24327
/proc/meminfo: memFree=1335896/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=18540 CPUtime=0
/proc/24326/stat : 24326 (runsolver) R 24324 24326 23890 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270040804 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24326/statm: 4635 279 244 17 0 2626 0

[startup+0.10739 s]
/proc/loadavg: 1.92 1.98 1.81 4/94 24327
/proc/meminfo: memFree=1335896/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=912432 CPUtime=0.06
/proc/24326/stat : 24326 (java) D 24324 24326 23890 0 -1 0 2746 0 1 0 5 1 0 0 25 0 8 0 270040804 934330368 2492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228108 2492 1379 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912432

[startup+0.515437 s]
/proc/loadavg: 1.92 1.98 1.81 4/94 24327
/proc/meminfo: memFree=1335896/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915332 CPUtime=0.45
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 6536 0 1 0 41 4 0 0 25 0 8 0 270040804 937299968 6275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228833 6275 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33653 s]
/proc/loadavg: 1.92 1.98 1.81 3/101 24334
/proc/meminfo: memFree=1300704/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915632 CPUtime=1.27
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 12031 0 1 0 113 14 0 0 25 0 8 0 270040804 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155201188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228908 11769 2174 14 0 215378 0
[pid=24326/tid=24328] ppid=24324 vsize=915632 CPUtime=0
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 270040808 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915632 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 270040809 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915632 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 270040809 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915632 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915632 CPUtime=0.19
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 434 0 0 0 18 1 0 0 15 0 8 0 270040813 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915632 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915632 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937607168 11769 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915632

[startup+2.97372 s]
/proc/loadavg: 1.93 1.98 1.82 3/101 24334
/proc/meminfo: memFree=1283168/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2.88
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 15872 0 1 0 261 27 0 0 25 0 8 0 270040804 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15608 2500 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1293 0 0 0 7 0 0 0 17 0 8 0 270040808 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.23
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 455 0 0 0 22 1 0 0 15 0 8 0 270040813 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915740

[startup+6.26108 s]
/proc/loadavg: 1.93 1.98 1.82 2/88 24337
/proc/meminfo: memFree=1293016/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=6.13
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 15880 0 1 0 581 32 0 0 19 0 8 0 270040804 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24326/statm: 228935 15615 2500 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.24
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 462 0 0 0 23 1 0 0 16 0 8 0 270040813 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915740

[startup+12.7348 s]
/proc/loadavg: 1.78 1.95 1.81 2/88 24345
/proc/meminfo: memFree=1293208/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=12.59
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 15881 0 1 0 1219 40 0 0 25 0 8 0 270040804 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24326/statm: 228935 15616 2500 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.24
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 463 0 0 0 23 1 0 0 16 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915740

[startup+25.5943 s]
/proc/loadavg: 1.66 1.92 1.80 2/88 24349
/proc/meminfo: memFree=1293152/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=25.43
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 15881 0 1 0 2489 54 0 0 25 0 8 0 270040804 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24326/statm: 228935 15616 2500 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.24
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 463 0 0 0 23 1 0 0 16 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915740

[startup+51.2042 s]
/proc/loadavg: 1.72 1.91 1.80 3/101 24408
/proc/meminfo: memFree=1284408/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=50.9
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 15887 0 1 0 4997 93 0 0 25 0 8 0 270040804 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15622 2500 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.25
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 467 0 0 0 24 1 0 0 17 0 8 0 270040813 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915740

[startup+102.423 s]
/proc/loadavg: 1.89 1.92 1.81 3/101 24410
/proc/meminfo: memFree=1284152/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=101.85
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16028 0 1 0 10050 135 0 0 25 0 8 0 270040804 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074135958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15758 2547 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.33
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 518 0 0 0 31 2 0 0 16 0 8 0 270040813 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915740

[startup+162.492 s]
/proc/loadavg: 2.00 1.95 1.82 3/101 24410
/proc/meminfo: memFree=1284088/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=161.6
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16045 0 1 0 16025 135 0 0 25 0 8 0 270040804 937717760 15772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2013.36
Current children cumulated vsize (KiB) 915740

[startup+2084.43 s]
/proc/loadavg: 2.00 2.02 1.94 3/101 24410
/proc/meminfo: memFree=1283768/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2073.09
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16073 0 1 0 207171 138 0 0 25 0 8 0 270040804 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15785 2550 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.37
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 552 0 0 0 35 2 0 0 16 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.09
Current children cumulated vsize (KiB) 915740

[startup+2144.49 s]
/proc/loadavg: 2.03 2.02 1.94 3/101 24410
/proc/meminfo: memFree=1283704/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2132.84
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16073 0 1 0 213145 139 0 0 25 0 8 0 270040804 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15785 2550 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.37
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 552 0 0 0 35 2 0 0 16 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2132.84
Current children cumulated vsize (KiB) 915740

[startup+2204.55 s]
/proc/loadavg: 2.01 2.02 1.94 3/101 24410
/proc/meminfo: memFree=1283704/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2192.58
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16073 0 1 0 219119 139 0 0 25 0 8 0 270040804 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15785 2550 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.37
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 552 0 0 0 35 2 0 0 16 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.58
Current children cumulated vsize (KiB) 915740

[startup+2264.61 s]
/proc/loadavg: 2.00 2.01 1.94 3/101 24410
/proc/meminfo: memFree=1283704/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2252.3
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16073 0 1 0 225091 139 0 0 25 0 8 0 270040804 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15785 2550 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.37
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 552 0 0 0 35 2 0 0 16 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.3
Current children cumulated vsize (KiB) 915740

[startup+2324.67 s]
/proc/loadavg: 2.00 2.01 1.94 3/101 24410
/proc/meminfo: memFree=1283704/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2312.04
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16073 0 1 0 231065 139 0 0 25 0 8 0 270040804 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15785 2550 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.37
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 552 0 0 0 35 2 0 0 16 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2312.04
Current children cumulated vsize (KiB) 915740

[startup+2384.73 s]
/proc/loadavg: 2.09 2.03 1.95 3/101 24410
/proc/meminfo: memFree=1283640/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2371.77
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16073 0 1 0 237038 139 0 0 25 0 8 0 270040804 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15785 2550 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.37
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 552 0 0 0 35 2 0 0 16 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.77
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.24 s]
/proc/loadavg: 2.06 2.03 1.95 4/107 24476
/proc/meminfo: memFree=1282336/2055920 swapFree=4191880/4192956
[pid=24326] ppid=24324 vsize=915740 CPUtime=2400.09
/proc/24326/stat : 24326 (java) R 24324 24326 23890 0 -1 0 16073 0 1 0 239868 141 0 0 25 0 8 0 270040804 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24326/statm: 228935 15785 2550 14 0 215405 0
[pid=24326/tid=24328] ppid=24324 vsize=915740 CPUtime=0.07
/proc/24326/task/24328/stat : 24328 (java) S 24324 24326 23890 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040808 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24329] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24329/stat : 24329 (java) S 24324 24326 23890 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24330] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24330/stat : 24330 (java) S 24324 24326 23890 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040809 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24331] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24331/stat : 24331 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24332] ppid=24324 vsize=915740 CPUtime=0.37
/proc/24326/task/24332/stat : 24332 (java) S 24324 24326 23890 0 -1 64 552 0 0 0 35 2 0 0 16 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24333] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24333/stat : 24333 (java) S 24324 24326 23890 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24326/tid=24334] ppid=24324 vsize=915740 CPUtime=0
/proc/24326/task/24334/stat : 24334 (java) S 24324 24326 23890 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270040813 937717760 15785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915740

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2413.31
CPU time (s): 2400.17
CPU user time (s): 2398.74
CPU system time (s): 1.42878
CPU usage (%): 99.4556
Max. virtual memory (cumulated for all children) (KiB): 915776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.74
system time used= 1.42878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16096
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= 50555
involuntary context switches= 91605

runsolver used 3.12752 s user time and 7.58785 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Fri Jan 19 14:20:55 UTC 2007


IDJOB= 275075
IDBENCH= 3288
IDSOLVER= 68
FILE ID= node9/275075-1169216454

PBS_JOBID= 3588923

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphs/graph11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275075-1169216454/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-275075-1169216454 -o ROOT/results/node9/solver-275075-1169216454 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275075-1169216454/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f99a84357d49704ce92e19e2187b6864

RANDOM SEED= 944467676

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.231
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.231
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:       1336568 kB
Buffers:         56884 kB
Cached:         522140 kB
SwapCached:        268 kB
Active:         239532 kB
Inactive:       396276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1336568 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:          76064 kB
Slab:            68128 kB
Committed_AS:  7807968 kB
PageTables:       2388 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= 66562 MiB



End job on node9 on Fri Jan 19 15:01:10 UTC 2007