Trace number 275073

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 PFCMSAT (TO) 2400.11 2423

General information on the benchmark

Namerlfap/rlfapGraphs/
graph12.xml
MD5SUMbcaa2df6e1cf105739aab9f695d60b2f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3957
Best CPU time to get the best result obtained on this benchmark2400.11
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables680
Number of constraints4017
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4017
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.55	   
0.55	Abscon 109 (November, 2006)
0.55	   
0.55	   configuration
0.55	     name=pfc.xml
0.86	   
0.86	   instance
0.86	     name=/tmp/evaluation/275073-1169216450/unknown.xml
0.89	   
0.89	   domains being loaded...
0.90	   
0.90	   variables being loaded...
1.00	     nbVariables=680  nbDomainTypes=7  minDomainSize=6  maxDomainSize=44
1.00	       =>  wckTime=0.318  cpuTime=0.14  mem=8M860
1.00	   
1.00	   predicates being loaded...
1.01	   
1.01	   constraints being loaded...
2.30	     nbConstraints=4017  nbConvertedConstraints=4017  nbConvertConstraintsChecks=2551924  nbExtensionStructures=2055
2.30	     nbSharedExtensionStructures=1962  nbConflictsStructures=2055  nbSharedConflictsStructures=1962
2.30	     nbSharedBinaryRepresentations=143555  maxDegree=20  maxArity=2
2.30	       =>  wckTime=1.612  cpuTime=1.27  mem=39M124
2.39	   
2.39	   solver LocalSearchSolver being built... 
2.43	       =>  wckTime=1.744  cpuTime=1.32  mem=10M7
2.45	
2.45	s SATISFIABLE
2.45	o 2225
2.45	c 1792
2.45	o 2234
2.45	c 1783
2.46	o 2243
2.46	c 1774
2.46	o 2252
2.46	c 1765
2.46	o 2261
2.46	c 1756
2.47	o 2270
2.47	c 1747
2.47	o 2278
2.47	c 1739
2.47	o 2286
2.47	c 1731
2.47	o 2293
2.47	c 1724
2.47	o 2300
2.48	c 1717
2.48	o 2307
2.48	c 1710
2.48	o 2314
2.48	c 1703
2.48	o 2320
2.48	c 1697
2.48	o 2326
2.48	c 1691
2.49	o 2334
2.49	c 1683
2.49	o 2342
2.49	c 1675
2.49	o 2350
2.49	c 1667
2.49	o 2357
2.49	c 1660
2.49	o 2364
2.49	c 1653
2.50	o 2371
2.50	c 1646
2.50	o 2378
2.50	c 1639
2.50	o 2385
2.50	c 1632
2.50	o 2392
2.50	c 1625
2.50	o 2398
2.50	c 1619
2.51	o 2404
2.51	c 1613
2.51	o 2410
2.51	c 1607
2.51	o 2414
2.51	c 1603
2.51	o 2421
2.51	c 1596
2.51	o 2425
2.51	c 1592
2.52	o 2429
2.52	c 1588
2.52	o 2435
2.52	c 1582
2.52	o 2442
2.52	c 1575
2.52	o 2449
2.52	c 1568
2.53	o 2455
2.53	c 1562
2.53	o 2461
2.53	c 1556
2.53	o 2467
2.53	c 1550
2.53	o 2473
2.53	c 1544
2.54	o 2479
2.54	c 1538
2.54	o 2485
2.54	c 1532
2.54	o 2490
2.54	c 1527
2.54	o 2495
2.54	c 1522
2.55	o 2500
2.55	c 1517
2.55	o 2505
2.55	c 1512
2.55	o 2510
2.55	c 1507
2.55	o 2515
2.55	c 1502
2.56	o 2520
2.56	c 1497
2.56	o 2524
2.56	c 1493
2.56	o 2526
2.56	c 1491
2.56	o 2531
2.56	c 1486
2.57	o 2534
2.57	c 1483
2.57	o 2540
2.57	c 1477
2.57	o 2546
2.57	c 1471
2.58	o 2552
2.58	c 1465
2.58	o 2554
2.58	c 1463
2.58	o 2559
2.58	c 1458
2.59	o 2564
2.59	c 1453
2.59	o 2569
2.59	c 1448
2.59	o 2574
2.59	c 1443
2.60	o 2578
2.60	c 1439
2.60	o 2582
2.60	c 1435
2.61	o 2586
2.61	c 1431
2.61	o 2591
2.61	c 1426
2.61	o 2595
2.61	c 1422
2.62	o 2599
2.62	c 1418
2.62	o 2604
2.62	c 1413
2.62	o 2608
2.62	c 1409
2.63	o 2611
2.63	c 1406
2.63	o 2614
2.63	c 1403
2.63	o 2617
2.63	c 1400
2.64	o 2620
2.64	c 1397
2.64	o 2623
2.64	c 1394
2.64	o 2626
2.64	c 1391
2.64	o 2628
2.64	c 1389
2.65	o 2629
2.65	c 1388
2.65	o 2630
2.65	c 1387
2.65	o 2634
2.65	c 1383
2.66	o 2639
2.66	c 1378
2.66	o 2642
2.66	c 1375
2.66	o 2644
2.66	c 1373
2.67	o 2645
2.67	c 1372
2.67	o 2646
2.67	c 1371
2.67	o 2648
2.67	c 1369
2.67	o 2652
2.67	c 1365
2.68	o 2658
2.68	c 1359
2.68	o 2660
2.68	c 1357
2.68	o 2663
2.68	c 1354
2.69	o 2666
2.69	c 1351
2.69	o 2668
2.69	c 1349
2.70	o 2673
2.70	c 1344
2.70	o 2678
2.70	c 1339
2.71	o 2683
2.71	c 1334
2.71	o 2686
2.71	c 1331
2.71	o 2691
2.71	c 1326
2.72	o 2695
2.72	c 1322
2.72	o 2699
2.72	c 1318
2.73	o 2703
2.73	c 1314
2.73	o 2707
2.73	c 1310
2.73	o 2711
2.73	c 1306
2.74	o 2715
2.74	c 1302
2.74	o 2719
2.74	c 1298
2.75	o 2723
2.75	c 1294
2.75	o 2727
2.75	c 1290
2.75	o 2731
2.75	c 1286
2.76	o 2734
2.76	c 1283
2.76	o 2737
2.76	c 1280
2.77	o 2740
2.77	c 1277
2.77	o 2743
2.77	c 1274
2.77	o 2746
2.77	c 1271
2.78	o 2749
2.78	c 1268
2.78	o 2751
2.78	c 1266
2.79	o 2753
2.79	c 1264
2.79	o 2755
2.79	c 1262
2.79	o 2758
2.79	c 1259
2.79	o 2760
2.79	c 1257
2.80	o 2761
2.80	c 1256
2.80	o 2762
2.80	c 1255
2.80	o 2764
2.80	c 1253
2.81	o 2768
2.81	c 1249
2.81	o 2770
2.81	c 1247
2.82	o 2771
2.82	c 1246
2.83	o 2773
2.83	c 1244
2.83	o 2775
2.83	c 1242
2.83	o 2778
2.83	c 1239
2.83	o 2784
2.83	c 1233
2.84	o 2788
2.84	c 1229
2.84	o 2790
2.84	c 1227
2.84	o 2792
2.84	c 1225
2.85	o 2795
2.85	c 1222
2.85	o 2797
2.85	c 1220
2.85	o 2801
2.85	c 1216
2.86	o 2802
2.86	c 1215
2.86	o 2804
2.86	c 1213
2.86	o 2807
2.86	c 1210
2.86	o 2809
2.86	c 1208
2.87	o 2813
2.87	c 1204
2.87	o 2814
2.87	c 1203
2.87	o 2816
2.87	c 1201
2.88	o 2818
2.88	c 1199
2.88	o 2821
2.88	c 1196
2.88	o 2825
2.88	c 1192
2.89	o 2826
2.89	c 1191
2.89	o 2830
2.89	c 1187
2.89	o 2831
2.89	c 1186
2.89	o 2835
2.89	c 1182
2.90	o 2838
2.90	c 1179
2.90	o 2841
2.90	c 1176
2.90	o 2843
2.90	c 1174
2.91	o 2847
2.91	c 1170
2.91	o 2851
2.91	c 1166
2.92	o 2855
2.92	c 1162
2.92	o 2859
2.92	c 1158
2.93	o 2863
2.93	c 1154
2.93	o 2866
2.93	c 1151
2.93	o 2869
2.93	c 1148
2.94	o 2872
2.94	c 1145
2.94	o 2875
2.94	c 1142
2.95	o 2878
2.95	c 1139
2.95	o 2881
2.95	c 1136
2.96	o 2883
2.96	c 1134
2.96	o 2885
2.96	c 1132
2.97	o 2887
2.97	c 1130
2.97	o 2890
2.97	c 1127
2.98	o 2892
2.98	c 1125
2.98	o 2894
2.98	c 1123
2.98	o 2896
2.98	c 1121
2.99	o 2898
2.99	c 1119
2.99	o 2900
2.99	c 1117
3.00	o 2902
3.00	c 1115
3.00	o 2903
3.00	c 1114
3.00	o 2904
3.00	c 1113
3.01	o 2905
3.01	c 1112
3.01	o 2906
3.01	c 1111
3.02	o 2907
3.02	c 1110
3.03	o 2908
3.03	c 1109
3.03	o 2911
3.03	c 1106
3.04	o 2914
3.04	c 1103
3.04	o 2916
3.04	c 1101
3.05	o 2919
3.05	c 1098
3.05	o 2922
3.05	c 1095
3.06	o 2923
3.06	c 1094
3.06	o 2924
3.06	c 1093
3.07	o 2928
3.07	c 1089
3.07	o 2933
3.07	c 1084
3.08	o 2935
3.08	c 1082
3.08	o 2936
3.08	c 1081
3.08	o 2938
3.08	c 1079
3.09	o 2939
3.09	c 1078
3.09	o 2942
3.09	c 1075
3.09	o 2945
3.09	c 1072
3.10	o 2946
3.10	c 1071
3.10	o 2947
3.10	c 1070
3.10	o 2950
3.10	c 1067
3.11	o 2954
3.11	c 1063
3.11	o 2957
3.11	c 1060
3.12	o 2960
3.12	c 1057
3.12	o 2963
3.12	c 1054
3.12	o 2966
3.12	c 1051
3.13	o 2968
3.13	c 1049
3.13	o 2971
3.13	c 1046
3.13	o 2972
3.13	c 1045
3.14	o 2974
3.14	c 1043
3.14	o 2975
3.14	c 1042
3.15	o 2976
3.15	c 1041
3.15	o 2977
3.15	c 1040
3.15	o 2979
3.15	c 1038
3.16	o 2981
3.16	c 1036
3.16	o 2983
3.16	c 1034
3.17	o 2984
3.17	c 1033
3.17	o 2987
3.17	c 1030
3.17	o 2988
3.17	c 1029
3.18	o 2990
3.18	c 1027
3.19	o 2994
3.19	c 1023
3.19	o 2996
3.19	c 1021
3.19	o 2997
3.19	c 1020
3.20	o 2998
3.20	c 1019
3.21	o 2999
3.21	c 1018
3.21	o 3000
3.21	c 1017
3.21	o 3001
3.21	c 1016
3.22	o 3003
3.22	c 1014
3.23	o 3004
3.23	c 1013
3.23	o 3006
3.23	c 1011
3.24	o 3009
3.24	c 1008
3.24	o 3011
3.24	c 1006
3.25	o 3014
3.25	c 1003
3.25	o 3016
3.25	c 1001
3.25	o 3018
3.25	c 999
3.26	o 3020
3.26	c 997
3.26	o 3022
3.26	c 995
3.26	o 3024
3.27	c 993
3.27	o 3025
3.27	c 992
3.27	o 3027
3.27	c 990
3.28	o 3029
3.28	c 988
3.28	o 3030
3.28	c 987
3.29	o 3033
3.29	c 984
3.29	o 3034
3.29	c 983
3.29	o 3036
3.29	c 981
3.30	o 3037
3.30	c 980
3.30	o 3039
3.30	c 978
3.30	o 3040
3.30	c 977
3.31	o 3044
3.31	c 973
3.34	o 3046
3.34	c 971
3.34	o 3049
3.34	c 968
3.35	o 3050
3.35	c 967
3.35	o 3052
3.35	c 965
3.35	o 3054
3.35	c 963
3.36	o 3055
3.36	c 962
3.37	o 3056
3.37	c 961
3.38	o 3057
3.38	c 960
3.38	o 3058
3.38	c 959
3.39	o 3061
3.39	c 956
3.41	o 3062
3.41	c 955
3.41	o 3063
3.41	c 954
3.42	o 3064
3.42	c 953
3.42	o 3065
3.42	c 952
3.43	o 3068
3.43	c 949
3.43	o 3069
3.43	c 948
3.43	o 3072
3.43	c 945
3.46	o 3074
3.46	c 943
3.46	o 3077
3.46	c 940
3.47	o 3080
3.47	c 937
3.47	o 3084
3.47	c 933
3.49	o 3085
3.49	c 932
3.50	o 3087
3.50	c 930
3.50	o 3088
3.50	c 929
3.50	o 3090
3.50	c 927
3.51	o 3094
3.51	c 923
3.51	o 3096
3.51	c 921
3.52	o 3098
3.52	c 919
3.52	o 3100
3.52	c 917
3.56	o 3101
3.56	c 916
3.56	o 3103
3.56	c 914
3.56	o 3106
3.56	c 911
3.59	o 3107
3.59	c 910
3.59	o 3109
3.59	c 908
3.60	o 3110
3.60	c 907
3.63	o 3111
3.63	c 906
3.63	o 3112
3.63	c 905
3.65	o 3113
3.65	c 904
3.67	o 3114
3.67	c 903
3.68	o 3115
3.68	c 902
3.69	o 3117
3.69	c 900
3.69	o 3118
3.69	c 899
3.70	o 3120
3.70	c 897
3.71	o 3121
3.71	c 896
3.71	o 3123
3.71	c 894
3.72	o 3124
3.72	c 893
3.73	o 3125
3.73	c 892
3.73	o 3127
3.73	c 890
3.74	o 3128
3.74	c 889
3.75	o 3131
3.75	c 886
3.75	o 3134
3.75	c 883
3.76	o 3135
3.76	c 882
3.77	o 3137
3.77	c 880
3.77	o 3139
3.77	c 878
3.78	o 3140
3.78	c 877
3.78	o 3141
3.78	c 876
3.79	o 3142
3.79	c 875
3.79	o 3143
3.79	c 874
3.80	o 3146
3.80	c 871
3.80	o 3150
3.80	c 867
3.85	o 3152
3.85	c 865
3.86	o 3153
3.86	c 864
3.86	o 3156
3.86	c 861
3.86	o 3157
3.86	c 860
3.88	o 3158
3.88	c 859
3.88	o 3159
3.88	c 858
3.89	o 3161
3.89	c 856
3.90	o 3162
3.90	c 855
3.90	o 3163
3.90	c 854
3.92	o 3166
3.92	c 851
3.92	o 3168
3.92	c 849
3.94	o 3169
3.94	c 848
3.95	o 3171
3.95	c 846
3.96	o 3173
3.96	c 844
4.00	o 3174
4.00	c 843
4.01	o 3176
4.01	c 841
4.01	o 3178
4.01	c 839
4.02	o 3179
4.02	c 838
4.03	o 3180
4.03	c 837
4.04	o 3182
4.04	c 835
4.04	o 3183
4.04	c 834
4.05	o 3184
4.05	c 833
4.10	o 3185
4.10	c 832
4.11	o 3186
4.11	c 831
4.15	o 3188
4.15	c 829
4.15	o 3190
4.15	c 827
4.16	o 3191
4.16	c 826
4.16	o 3193
4.16	c 824
4.18	o 3194
4.18	c 823
4.18	o 3195
4.18	c 822
4.20	o 3196
4.20	c 821
4.21	o 3198
4.21	c 819
4.29	o 3199
4.29	c 818
4.30	o 3200
4.30	c 817
4.31	o 3202
4.31	c 815
4.31	o 3205
4.31	c 812
4.33	o 3209
4.33	c 808
4.34	o 3210
4.34	c 807
4.36	o 3211
4.36	c 806
4.41	o 3212
4.41	c 805
4.42	o 3213
4.42	c 804
4.43	o 3214
4.43	c 803
4.44	o 3216
4.44	c 801
4.47	o 3218
4.47	c 799
4.50	o 3219
4.50	c 798
4.51	o 3220
4.51	c 797
4.53	o 3222
4.53	c 795
4.54	o 3224
4.54	c 793
4.55	o 3226
4.55	c 791
4.55	o 3228
4.55	c 789
4.56	o 3229
4.56	c 788
4.62	o 3230
4.62	c 787
4.63	o 3231
4.63	c 786
4.72	o 3232
4.72	c 785
4.73	o 3234
4.73	c 783
4.74	o 3237
4.74	c 780
4.84	o 3241
4.84	c 776
4.85	o 3243
4.85	c 774
4.86	o 3247
4.86	c 770
4.87	o 3251
4.87	c 766
4.90	o 3252
4.90	c 765
4.91	o 3254
4.91	c 763
4.92	o 3256
4.92	c 761
4.95	o 3259
4.95	c 758
4.95	o 3260
4.95	c 757
5.02	o 3262
5.02	c 755
5.03	o 3263
5.03	c 754
5.04	o 3264
5.04	c 753
5.05	o 3266
5.05	c 751
5.05	o 3267
5.05	c 750
5.06	o 3270
5.06	c 747
5.06	o 3271
5.06	c 746
5.08	o 3272
5.08	c 745
5.08	o 3273
5.08	c 744
5.09	o 3274
5.09	c 743
5.10	o 3275
5.10	c 742
5.11	o 3276
5.11	c 741
5.11	o 3277
5.11	c 740
5.12	o 3278
5.12	c 739
5.13	o 3279
5.13	c 738
5.14	o 3280
5.14	c 737
5.70	o 3281
5.70	c 736
5.81	o 3282
5.81	c 735
5.82	o 3284
5.82	c 733
5.83	o 3286
5.83	c 731
5.84	o 3288
5.84	c 729
5.96	o 3289
5.96	c 728
5.97	o 3292
5.97	c 725
6.00	o 3293
6.00	c 724
6.01	o 3295
6.01	c 722
6.09	o 3296
6.09	c 721
6.09	o 3299
6.09	c 718
6.13	o 3300
6.13	c 717
6.16	o 3302
6.16	c 715
6.19	o 3303
6.19	c 714
6.21	o 3305
6.21	c 712
6.22	o 3307
6.22	c 710
6.23	o 3308
6.23	c 709
6.24	o 3310
6.24	c 707
6.25	o 3311
6.25	c 706
6.25	o 3314
6.25	c 703
6.26	o 3315
6.26	c 702
6.27	o 3318
6.27	c 699
6.43	o 3319
6.43	c 698
6.50	o 3321
6.50	c 696
6.76	o 3322
6.76	c 695
6.76	o 3323
6.76	c 694
6.78	o 3324
6.78	c 693
6.79	o 3325
6.79	c 692
6.80	o 3326
6.80	c 691
6.81	o 3327
6.81	c 690
6.82	o 3328
6.82	c 689
6.82	o 3331
6.82	c 686
6.98	o 3332
6.98	c 685
6.99	o 3333
6.99	c 684
7.00	o 3335
7.00	c 682
7.01	o 3336
7.01	c 681
7.04	o 3338
7.04	c 679
7.06	o 3339
7.07	c 678
7.12	o 3340
7.12	c 677
7.14	o 3341
7.14	c 676
7.38	o 3342
7.38	c 675
7.42	o 3344
7.42	c 673
7.46	o 3345
7.46	c 672
7.51	o 3346
7.51	c 671
7.52	o 3347
7.52	c 670
8.08	o 3349
8.08	c 668
8.09	o 3352
8.09	c 665
8.13	o 3353
8.13	c 664
8.23	o 3356
8.23	c 661
8.24	o 3357
8.24	c 660
8.25	o 3360
8.25	c 657
8.26	o 3361
8.26	c 656
8.30	o 3363
8.30	c 654
8.31	o 3364
8.31	c 653
8.34	o 3367
8.35	c 650
8.36	o 3368
8.36	c 649
8.36	o 3370
8.36	c 647
8.37	o 3374
8.37	c 643
8.38	o 3377
8.38	c 640
8.39	o 3378
8.39	c 639
8.45	o 3379
8.45	c 638
8.46	o 3380
8.46	c 637
8.47	o 3381
8.47	c 636
8.58	o 3382
8.58	c 635
8.60	o 3384
8.60	c 633
8.63	o 3385
8.63	c 632
8.67	o 3386
8.67	c 631
8.67	o 3387
8.67	c 630
8.68	o 3389
8.68	c 628
8.69	o 3391
8.69	c 626
8.72	o 3393
8.72	c 624
8.73	o 3395
8.73	c 622
8.73	o 3397
8.73	c 620
8.77	o 3398
8.77	c 619
8.78	o 3399
8.78	c 618
8.81	o 3400
8.81	c 617
8.84	o 3401
8.84	c 616
8.85	o 3403
8.85	c 614
8.85	o 3404
8.85	c 613
8.86	o 3406
8.86	c 611
8.87	o 3407
8.87	c 610
8.88	o 3408
8.88	c 609
8.89	o 3412
8.89	c 605
8.90	o 3413
8.90	c 604
8.92	o 3414
8.92	c 603
8.92	o 3415
8.92	c 602
8.93	o 3418
8.93	c 599
8.94	o 3419
8.94	c 598
8.98	o 3421
8.98	c 596
9.01	o 3422
9.01	c 595
9.01	o 3423
9.01	c 594
9.07	o 3424
9.07	c 593
9.24	o 3427
9.24	c 590
9.30	o 3430
9.30	c 587
9.59	o 3431
9.59	c 586
9.60	o 3432
9.60	c 585
9.77	o 3433
9.77	c 584
9.80	o 3434
9.80	c 583
9.81	o 3435
9.81	c 582
9.81	o 3436
9.81	c 581
9.82	o 3437
9.82	c 580
9.92	o 3438
9.92	c 579
9.93	o 3439
9.93	c 578
9.94	o 3440
9.94	c 577
10.03	o 3441
10.03	c 576
10.04	o 3442
10.04	c 575
10.06	o 3446
10.06	c 571
10.08	o 3447
10.08	c 570
10.11	o 3448
10.11	c 569
10.12	o 3450
10.12	c 567
10.14	o 3451
10.14	c 566
10.15	o 3454
10.15	c 563
10.17	o 3455
10.17	c 562
10.32	o 3457
10.32	c 560
10.33	o 3458
10.33	c 559
10.34	o 3459
10.34	c 558
10.35	o 3460
10.35	c 557
10.36	o 3462
10.36	c 555
10.37	o 3463
10.37	c 554
10.39	o 3464
10.39	c 553
10.39	o 3467
10.39	c 550
10.40	o 3468
10.40	c 549
10.41	o 3469
10.41	c 548
10.49	o 3471
10.49	c 546
10.50	o 3472
10.50	c 545
10.51	o 3474
10.51	c 543
10.71	o 3475
10.71	c 542
10.72	o 3477
10.72	c 540
10.73	o 3480
10.73	c 537
11.38	o 3481
11.38	c 536
11.39	o 3485
11.39	c 532
11.40	o 3487
11.40	c 530
11.51	o 3490
11.51	c 527
11.52	o 3491
11.52	c 526
11.71	o 3493
11.71	c 524
11.72	o 3495
11.72	c 522
11.74	o 3496
11.74	c 521
11.81	o 3497
11.81	c 520
12.08	o 3498
12.08	c 519
12.40	o 3499
12.40	c 518
12.43	o 3500
12.43	c 517
12.48	o 3501
12.48	c 516
13.42	o 3503
13.42	c 514
13.45	o 3507
13.45	c 510
13.47	o 3508
13.47	c 509
13.48	o 3509
13.48	c 508
13.48	o 3511
13.48	c 506
13.50	o 3513
13.50	c 504
13.51	o 3514
13.51	c 503
13.51	o 3517
13.51	c 500
13.57	o 3518
13.57	c 499
13.58	o 3519
13.58	c 498
13.60	o 3521
13.60	c 496
13.64	o 3523
13.64	c 494
13.68	o 3524
13.69	c 493
13.70	o 3525
13.70	c 492
13.71	o 3526
13.71	c 491
13.72	o 3528
13.72	c 489
13.73	o 3530
13.73	c 487
13.82	o 3532
13.82	c 485
13.84	o 3533
13.84	c 484
13.85	o 3535
13.85	c 482
13.87	o 3538
13.87	c 479
13.88	o 3540
13.88	c 477
13.89	o 3541
13.89	c 476
13.90	o 3542
13.90	c 475
14.73	o 3543
14.73	c 474
14.78	o 3544
14.78	c 473
14.78	o 3545
14.78	c 472
14.80	o 3547
14.80	c 470
14.82	o 3548
14.82	c 469
14.85	o 3549
14.85	c 468
14.91	o 3550
14.91	c 467
14.92	o 3551
14.92	c 466
14.94	o 3552
14.94	c 465
15.03	o 3554
15.03	c 463
15.04	o 3555
15.04	c 462
15.12	o 3556
15.12	c 461
15.13	o 3557
15.13	c 460
15.15	o 3559
15.15	c 458
15.34	o 3560
15.34	c 457
15.80	o 3562
15.80	c 455
15.96	o 3564
15.96	c 453
15.97	o 3566
15.97	c 451
15.98	o 3567
15.98	c 450
16.00	o 3569
16.00	c 448
16.03	o 3570
16.03	c 447
16.03	o 3572
16.03	c 445
16.05	o 3573
16.05	c 444
16.08	o 3574
16.08	c 443
16.10	o 3576
16.10	c 441
16.14	o 3577
16.14	c 440
16.21	o 3578
16.21	c 439
16.23	o 3579
16.23	c 438
16.24	o 3580
16.24	c 437
16.26	o 3581
16.26	c 436
16.39	o 3582
16.39	c 435
16.45	o 3583
16.45	c 434
16.46	o 3585
16.46	c 432
16.68	o 3586
16.68	c 431
16.69	o 3587
16.69	c 430
16.71	o 3588
16.71	c 429
16.72	o 3589
16.72	c 428
18.61	o 3590
18.61	c 427
19.18	o 3591
19.18	c 426
19.20	o 3593
19.20	c 424
19.24	o 3594
19.24	c 423
19.25	o 3595
19.25	c 422
19.40	o 3597
19.40	c 420
19.41	o 3599
19.41	c 418
19.42	o 3600
19.42	c 417
19.43	o 3601
19.43	c 416
19.51	o 3602
19.51	c 415
19.54	o 3603
19.54	c 414
19.56	o 3604
19.56	c 413
19.57	o 3606
19.57	c 411
19.58	o 3609
19.58	c 408
19.92	o 3610
19.92	c 407
20.02	o 3611
20.02	c 406
20.04	o 3612
20.04	c 405
20.10	o 3614
20.10	c 403
20.11	o 3615
20.11	c 402
20.12	o 3617
20.12	c 400
20.13	o 3618
20.13	c 399
20.14	o 3620
20.14	c 397
20.15	o 3621
20.15	c 396
20.18	o 3624
20.18	c 393
20.80	o 3625
20.80	c 392
20.80	o 3627
20.80	c 390
20.81	o 3628
20.81	c 389
20.83	o 3629
20.83	c 388
20.94	o 3630
20.94	c 387
20.95	o 3631
20.95	c 386
20.96	o 3632
20.96	c 385
20.98	o 3633
20.98	c 384
21.10	o 3634
21.10	c 383
21.13	o 3635
21.13	c 382
21.18	o 3637
21.18	c 380
21.18	o 3639
21.18	c 378
21.19	o 3641
21.19	c 376
21.20	o 3642
21.20	c 375
21.27	o 3643
21.27	c 374
21.28	o 3645
21.28	c 372
21.32	o 3646
21.32	c 371
21.34	o 3647
21.34	c 370
21.34	o 3649
21.34	c 368
21.46	o 3651
21.46	c 366
21.50	o 3652
21.50	c 365
21.56	o 3653
21.56	c 364
21.57	o 3655
21.57	c 362
22.17	o 3659
22.17	c 358
22.18	o 3660
22.18	c 357
22.20	o 3663
22.20	c 354
22.29	o 3664
22.29	c 353
22.30	o 3667
22.30	c 350
22.32	o 3668
22.32	c 349
22.33	o 3670
22.33	c 347
22.34	o 3671
22.34	c 346
22.36	o 3673
22.36	c 344
22.40	o 3674
22.40	c 343
22.42	o 3675
22.42	c 342
22.44	o 3676
22.44	c 341
22.45	o 3677
22.45	c 340
22.46	o 3679
22.46	c 338
22.47	o 3680
22.47	c 337
22.48	o 3681
22.48	c 336
22.49	o 3682
22.49	c 335
22.50	o 3683
22.50	c 334
22.51	o 3684
22.51	c 333
22.53	o 3686
22.53	c 331
22.55	o 3687
22.55	c 330
22.56	o 3688
22.56	c 329
22.58	o 3689
22.58	c 328
22.58	o 3690
22.58	c 327
23.04	o 3691
23.04	c 326
23.19	o 3694
23.19	c 323
23.20	o 3697
23.20	c 320
23.20	o 3699
23.20	c 318
23.34	o 3700
23.34	c 317
23.37	o 3701
23.37	c 316
23.38	o 3702
23.38	c 315
23.39	o 3703
23.39	c 314
23.40	o 3704
23.40	c 313
23.47	o 3705
23.47	c 312
23.53	o 3706
23.53	c 311
23.54	o 3708
23.54	c 309
23.55	o 3710
23.55	c 307
23.56	o 3711
23.56	c 306
23.62	o 3713
23.62	c 304
23.78	o 3714
23.78	c 303
23.81	o 3715
23.81	c 302
24.42	o 3716
24.42	c 301
24.46	o 3717
24.46	c 300
24.49	o 3718
24.49	c 299
24.53	o 3720
24.53	c 297
24.77	o 3721
24.77	c 296
24.78	o 3723
24.78	c 294
24.79	o 3725
24.79	c 292
25.20	o 3726
25.20	c 291
25.21	o 3727
25.21	c 290
25.22	o 3728
25.22	c 289
25.23	o 3729
25.23	c 288
25.24	o 3730
25.24	c 287
25.25	o 3731
25.25	c 286
25.25	o 3732
25.25	c 285
25.26	o 3735
25.26	c 282
25.27	o 3741
25.27	c 276
25.29	o 3742
25.29	c 275
25.30	o 3743
25.30	c 274
25.49	o 3744
25.49	c 273
25.49	o 3746
25.49	c 271
26.15	o 3747
26.15	c 270
26.16	o 3748
26.16	c 269
26.19	o 3749
26.19	c 268
26.19	o 3750
26.19	c 267
26.20	o 3751
26.20	c 266
26.21	o 3752
26.21	c 265
26.24	o 3753
26.24	c 264
26.28	o 3755
26.28	c 262
26.91	o 3757
26.91	c 260
26.91	o 3758
26.91	c 259
26.92	o 3759
26.92	c 258
26.93	o 3761
26.93	c 256
26.94	o 3762
26.94	c 255
26.94	o 3764
26.94	c 253
26.95	o 3765
26.95	c 252
26.96	o 3766
26.96	c 251
26.97	o 3767
26.97	c 250
26.98	o 3769
26.98	c 248
26.99	o 3770
26.99	c 247
27.01	o 3771
27.01	c 246
27.02	o 3772
27.02	c 245
27.10	o 3774
27.10	c 243
27.11	o 3775
27.11	c 242
27.16	o 3776
27.16	c 241
27.19	o 3777
27.19	c 240
27.38	o 3778
27.38	c 239
27.47	o 3779
27.47	c 238
27.49	o 3780
27.49	c 237
27.50	o 3782
27.50	c 235
27.50	o 3783
27.50	c 234
27.52	o 3785
27.52	c 232
27.54	o 3786
27.54	c 231
27.60	o 3787
27.60	c 230
27.61	o 3788
27.61	c 229
27.61	o 3789
27.61	c 228
27.62	o 3791
27.62	c 226
27.63	o 3792
27.63	c 225
27.64	o 3793
27.64	c 224
27.84	o 3795
27.84	c 222
27.84	o 3796
27.84	c 221
27.85	o 3798
27.85	c 219
27.92	o 3801
27.92	c 216
27.93	o 3802
27.93	c 215
27.94	o 3804
27.94	c 213
29.65	o 3807
29.65	c 210
29.70	o 3808
29.70	c 209
29.71	o 3809
29.71	c 208
29.71	o 3811
29.71	c 206
29.72	o 3813
29.72	c 204
29.73	o 3814
29.73	c 203
29.73	o 3815
29.73	c 202
29.74	o 3817
29.74	c 200
29.74	o 3818
29.74	c 199
29.75	o 3820
29.75	c 197
30.41	o 3823
30.41	c 194
30.41	o 3824
30.41	c 193
30.42	o 3826
30.42	c 191
30.42	o 3827
30.42	c 190
30.43	o 3828
30.43	c 189
30.43	o 3830
30.43	c 187
30.44	o 3831
30.44	c 186
31.11	o 3834
31.11	c 183
31.12	o 3835
31.12	c 182
31.12	o 3837
31.12	c 180
31.13	o 3839
31.13	c 178
31.13	o 3840
31.13	c 177
31.29	o 3843
31.29	c 174
31.44	o 3844
31.44	c 173
31.45	o 3845
31.45	c 172
31.47	o 3846
31.47	c 171
31.48	o 3847
31.48	c 170
31.48	o 3848
31.48	c 169
31.49	o 3850
31.49	c 167
31.50	o 3851
31.50	c 166
31.51	o 3852
31.51	c 165
33.15	o 3853
33.15	c 164
33.16	o 3855
33.16	c 162
33.17	o 3857
33.17	c 160
33.17	o 3858
33.17	c 159
33.18	o 3860
33.18	c 157
33.20	o 3862
33.20	c 155
34.64	o 3864
34.64	c 153
36.37	o 3865
36.37	c 152
36.37	o 3866
36.37	c 151
36.38	o 3868
36.38	c 149
36.40	o 3869
36.40	c 148
36.50	o 3870
36.50	c 147
36.50	o 3871
36.50	c 146
36.51	o 3872
36.51	c 145
36.52	o 3876
36.52	c 141
36.52	o 3878
36.52	c 139
36.53	o 3880
36.53	c 137
36.53	o 3881
36.53	c 136
36.54	o 3882
36.54	c 135
36.55	o 3883
36.55	c 134
37.17	o 3885
37.17	c 132
37.18	o 3888
37.18	c 129
37.18	o 3889
37.18	c 128
37.19	o 3890
37.19	c 127
37.19	o 3891
37.19	c 126
37.20	o 3892
37.20	c 125
37.22	o 3893
37.22	c 124
37.23	o 3896
37.23	c 121
37.24	o 3897
37.24	c 120
37.37	o 3898
37.37	c 119
37.37	o 3899
37.37	c 118
37.38	o 3900
37.38	c 117
37.39	o 3901
37.39	c 116
37.41	o 3903
37.41	c 114
37.43	o 3905
37.43	c 112
37.61	o 3907
37.61	c 110
37.61	o 3909
37.61	c 108
37.62	o 3910
37.62	c 107
37.62	o 3911
37.62	c 106
40.09	o 3912
40.09	c 105
40.09	o 3914
40.09	c 103
41.18	o 3915
41.18	c 102
41.88	o 3916
41.88	c 101
41.88	o 3917
41.88	c 100
41.89	o 3920
41.89	c 97
42.69	o 3921
42.69	c 96
42.70	o 3922
42.70	c 95
42.72	o 3923
42.72	c 94
42.72	o 3926
42.72	c 91
42.74	o 3929
42.74	c 88
42.74	o 3930
42.74	c 87
44.61	o 3931
44.61	c 86
50.85	o 3932
50.85	c 85
50.85	o 3933
50.85	c 84
50.85	o 3934
50.85	c 83
51.01	o 3936
51.01	c 81
51.02	o 3937
51.02	c 80
51.02	o 3938
51.02	c 79
51.11	o 3939
51.11	c 78
51.11	o 3940
51.11	c 77
52.38	o 3944
52.38	c 73
52.38	o 3948
52.38	c 69
52.39	o 3949
52.39	c 68
54.46	   
54.46	   search
54.46	     run=0  nbConstraintChecks=460031355  nbAssignments=10000
54.46	       =>  wckTime=52.034  cpuTime=51.59  mem=10M981
57.54	o 3951
57.54	c 66
57.54	o 3954
57.54	c 63
57.55	o 3955
57.55	c 62
57.55	o 3956
57.55	c 61
57.55	o 3957
57.55	c 60
87.86	   
87.86	   search
87.86	     run=1  nbConstraintChecks=773857845  nbAssignments=19095
87.86	       =>  wckTime=85.43  cpuTime=84.67  mem=10M981
87.86	   
87.86	   global
87.86	     nbConstraintChecks=773857845  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
87.86	     solvingWckTime=85.427  solvingCpuTime=84.67  expiredTime=no  totalExploration=no  nbFoundSolutions=0
87.86	     globalCpuTime=86.04
87.86	       =>  wckTime=87.174  cpuTime=85.99  mem=10M981
87.86	   
87.86	   solver IterativeSystematicSolver being built... 
88.03	       =>  wckTime=87.348  cpuTime=86.12  mem=25M125
88.07	   
88.07	   preprocessing
88.07	     nbConstraintChecks=29482  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
88.07	     detectedInconsistency=no
88.07	       =>  wckTime=0.036  cpuTime=0.02  mem=25M125
125.64	   
125.64	   search
125.64	     run=0  nbConstraintChecks=29514832  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=275
125.64	     nbFailedAssignments=153  nbBacktracks=10  nbVisitedNodes=439  nbRestartNogoods=0
125.64	       =>  wckTime=37.604  cpuTime=37.2  mem=25M125
240.02	   
240.02	   search
240.02	     run=1  nbConstraintChecks=78882867  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=664
240.02	     nbFailedAssignments=409  nbBacktracks=25  nbVisitedNodes=1099  nbRestartNogoods=44
240.02	       =>  wckTime=151.99  cpuTime=150.54  mem=25M125
435.22	   
435.23	   search
435.23	     run=2  nbConstraintChecks=154726983  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1225
435.23	     nbFailedAssignments=832  nbBacktracks=47  nbVisitedNodes=2105  nbRestartNogoods=127
435.23	       =>  wckTime=347.19  cpuTime=343.9  mem=25M125
717.05	   
717.05	   search
717.05	     run=3  nbConstraintChecks=262086388  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1978
717.05	     nbFailedAssignments=1439  nbBacktracks=80  nbVisitedNodes=3498  nbRestartNogoods=176
717.05	       =>  wckTime=629.017  cpuTime=623.19  mem=25M125
822.26	   
822.26	   search
822.26	     run=4  nbConstraintChecks=350423956  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2667
822.26	     nbFailedAssignments=1966  nbBacktracks=130  nbVisitedNodes=4764  nbRestartNogoods=237
822.26	       =>  wckTime=734.225  cpuTime=727.44  mem=25M125
1234.14	   
1234.14	   search
1234.14	     run=5  nbConstraintChecks=530604213  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3920
1234.14	     nbFailedAssignments=3027  nbBacktracks=205  nbVisitedNodes=7153  nbRestartNogoods=300
1234.14	       =>  wckTime=1146.103  cpuTime=1135.55  mem=25M125
1764.45	   
1764.45	   search
1764.45	     run=6  nbConstraintChecks=835375089  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6043
1764.45	     nbFailedAssignments=4926  nbBacktracks=318  nbVisitedNodes=11288  nbRestartNogoods=378
1764.45	       =>  wckTime=1676.411  cpuTime=1661.04  mem=25M125
2216.50	   
2216.50	   search
2216.50	     run=7  nbConstraintChecks=1130459667  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8090
2216.50	     nbFailedAssignments=6686  nbBacktracks=488  nbVisitedNodes=15265  nbRestartNogoods=413
2216.50	       =>  wckTime=2128.465  cpuTime=2108.8  mem=25M125
2422.96	v 16 254 666 428 764 526 72 310 72 310 708 470 792 554 170 408 792 554 128 366 142 380 736 498 16 254 708 470 142 380 58 296 16 254 750 512 156 394 16 254 750 512 156 394 764 526 30 268 16 16 72 310 240 478 694 456 16 254 792 792 666 428 722 484 722 484 16 254 764 526 86 324 792 554 680 442 44 282 72 310 736 498 680 442 142 380 792 554 240 478 128 366 694 456 72 310 792 792 16 254 170 408 792 554 16 254 16 254 792 554 114 352 792 554 750 512 792 554 156 394 736 498 30 268 652 414 72 310 792 554 16 254 16 254 240 478 680 442 16 254 680 442 792 554 652 414 708 470 680 442 680 442 666 428 16 254 58 296 666 428 128 366 750 512 16 254 792 750 652 414 156 394 30 268 44 282 16 254 792 554 16 254 30 268 680 442 736 498 128 366 708 470 722 484 16 16 16 254 736 498 86 100 16 254 72 310 324 86 58 296 58 296 170 408 708 470 792 554 736 498 792 554 16 254 100 338 652 414 16 254 16 254 750 512 72 310 778 540 16 254 680 442 778 540 30 268 666 428 16 254 778 540 86 324 764 526 778 540 792 554 44 282 114 352 792 554 128 366 128 366 142 380 708 470 44 282 792 722 722 484 72 310 100 338 694 456 792 554 100 338 792 554 156 394 128 366 240 478 16 16 100 338 694 456 792 554 764 526 156 394 792 554 652 414 750 512 156 394 16 254 792 554 792 554 240 478 792 554 30 268 792 554 240 478 792 554 170 408 86 324 72 310 792 554 16 254 792 554 778 540 58 296 114 352 58 296 240 478 30 268 792 554 16 254 736 498 666 428 792 554 750 512 694 456 708 470 114 352 16 254 792 554 750 512 666 428 16 254 72 310 16 30 680 442 764 526 240 478 86 324 44 282 16 254 44 282 736 498 792 554 778 540 652 414 792 554 44 282 58 296 114 352 792 554 736 498 764 526 792 554 16 254 72 310 792 554 792 554 764 526 240 478 114 352 680 442 680 442 240 478 750 512 694 456 16 254 764 526 156 394 240 478 16 254 736 498 792 554 240 478 16 254 708 470 156 394 240 478 128 366 16 44 156 394 792 554 694 456 722 484 16 254 666 428 792 554 792 58 100 338 792 554 778 540 694 456 16 254 16 254 764 526 16 254 16 254 16 254 764 526 156 394 750 512 86 324 16 254 750 512 792 554 30 268 170 408 736 498 44 282 792 554 792 554 778 540 666 428 666 428 16 254 72 310 114 352 16 254 16 254 764 526 652 414 30 268 114 352 666 428 170 408 792 554 792 554 114 352 792 554 778 540 240 478 16 254 128 366 792 554 16 254 58 296 142 380 792 554 708 470 792 554 16 254 16 470 792 554 792 792 666 428 666 428 16 254 170 408 778 540 792 554 170 408 750 512 100 338 100 338 652 414 722 484 708 470 170 408 86 324 750 512 736 498 736 498 792 554 58 296 694 456 86 324 128 366 652 414 142 380 778 540 680 442 114 352 16 254 142 380 16 254 16 254 170 408 792 554 156 394

Verifier Data (download as text)

60 unsatisfied constraints, 3957 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/node2/watcher-275073-1169216450 -o ROOT/results/node2/solver-275073-1169216450 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275073-1169216450/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.85 1.97 1.81 4/87 10614
/proc/meminfo: memFree=1089680/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=18540 CPUtime=0
/proc/10613/stat : 10613 (runsolver) D 10611 10613 10151 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270040929 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/10613/statm: 4635 279 244 17 0 2626 0

[startup+0.107242 s]
/proc/loadavg: 1.85 1.97 1.81 4/87 10614
/proc/meminfo: memFree=1089680/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=912272 CPUtime=0.06
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 2642 0 1 0 6 0 0 0 23 0 8 0 270040929 934166528 2389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228068 2389 1287 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272

[startup+0.515319 s]
/proc/loadavg: 1.85 1.97 1.81 4/87 10614
/proc/meminfo: memFree=1089680/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915148 CPUtime=0.29
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 5092 0 9 0 26 3 0 0 18 0 8 0 270040929 937111552 4846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154157601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228787 4846 1966 14 0 215275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 915148

[startup+1.33747 s]
/proc/loadavg: 1.85 1.97 1.81 3/94 10621
/proc/meminfo: memFree=1065304/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915632 CPUtime=0.79
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 10050 0 15 0 72 7 0 0 20 0 8 0 270040929 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228908 9802 2170 14 0 215378 0
[pid=10613/tid=10615] ppid=10611 vsize=915632 CPUtime=0
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 270040934 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915632 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 270040934 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915632 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 270040934 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915632 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915632 CPUtime=0.15
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 408 0 0 0 15 0 0 0 15 0 8 0 270040938 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915632 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915632 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937607168 9802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 915632

[startup+2.98977 s]
/proc/loadavg: 1.85 1.97 1.81 3/94 10621
/proc/meminfo: memFree=1037912/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2.42
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 15881 0 15 0 214 28 0 0 25 0 8 0 270040929 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949417 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15631 2497 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.23
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 455 0 0 0 23 0 0 0 15 0 8 0 270040938 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 915740

[startup+6.27437 s]
/proc/loadavg: 1.86 1.97 1.81 3/94 10621
/proc/meminfo: memFree=1032088/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=5.65
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 15891 0 15 0 532 33 0 0 25 0 8 0 270040929 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951786 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15639 2497 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1280 0 0 0 7 0 0 0 17 0 8 0 270040934 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.25
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 463 0 0 0 25 0 0 0 16 0 8 0 270040938 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 915740

[startup+12.7586 s]
/proc/loadavg: 1.87 1.97 1.81 2/88 10632
/proc/meminfo: memFree=1249864/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=12.07
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 15892 0 15 0 1168 39 0 0 25 0 8 0 270040929 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10613/statm: 228935 15640 2497 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915744 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937721856 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915744 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937721856 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.25
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 464 0 0 0 25 0 0 0 16 0 8 0 270040938 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 915740

[startup+25.6019 s]
/proc/loadavg: 1.68 1.92 1.80 2/88 10642
/proc/meminfo: memFree=1251992/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=24.89
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 15892 0 15 0 2440 49 0 0 25 0 8 0 270040929 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951741 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10613/statm: 228935 15640 2497 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.25
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 464 0 0 0 25 0 0 0 16 0 8 0 270040938 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 915740

[startup+51.2056 s]
/proc/loadavg: 1.96 1.97 1.82 3/94 10705
/proc/meminfo: memFree=1247592/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=50.28
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 15894 0 15 0 4944 84 0 0 25 0 8 0 270040929 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949397 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15642 2497 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.25
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 466 0 0 0 25 0 0 0 16 0 8 0 270040938 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 915740

[startup+102.414 s]
/proc/loadavg: 1.98 1.97 1.82 3/94 10705
/proc/meminfo: memFree=1247528/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=101.01
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16032 0 15 0 9967 134 0 0 25 0 8 0 270040929 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074135190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15774 2542 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.33
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 514 0 0 0 32 1 0 0 16 0 8 0 270040938 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 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) 101.01
Current children cumulated vsize (KiB) 915740

[startup+162.476 s]
/proc/loadavg: 2.05 1.99 1.83 3/94 10705
/proc/meminfo: memFree=1247464/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=160.5
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16050 0 15 0 15916 134 0 0 25 0 8 0 270040929 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.11 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 10705
/proc/meminfo: memFree=1247080/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2064.54
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16082 0 15 0 206316 138 0 0 25 0 8 0 270040929 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15801 2545 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.38
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2064.54
Current children cumulated vsize (KiB) 915740

[startup+2144.17 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 10705
/proc/meminfo: memFree=1247080/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2124
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16082 0 15 0 212262 138 0 0 25 0 8 0 270040929 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15801 2545 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.38
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2124
Current children cumulated vsize (KiB) 915740

[startup+2204.23 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 10705
/proc/meminfo: memFree=1247080/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2183.47
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16082 0 15 0 218209 138 0 0 25 0 8 0 270040929 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15801 2545 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.38
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2183.47
Current children cumulated vsize (KiB) 915740

[startup+2264.29 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 10705
/proc/meminfo: memFree=1247080/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2242.95
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16082 0 15 0 224157 138 0 0 25 0 8 0 270040929 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15801 2545 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.38
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2242.95
Current children cumulated vsize (KiB) 915740

[startup+2324.34 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 10705
/proc/meminfo: memFree=1247080/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2302.4
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16082 0 15 0 230102 138 0 0 25 0 8 0 270040929 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140980 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15801 2545 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.38
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2302.4
Current children cumulated vsize (KiB) 915740

[startup+2384.38 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 10705
/proc/meminfo: memFree=1247080/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2361.9
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16082 0 15 0 236051 139 0 0 25 0 8 0 270040929 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15801 2545 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.38
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2361.9
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2422.95 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 10779
/proc/meminfo: memFree=1245712/2055920 swapFree=4180552/4192956
[pid=10613] ppid=10611 vsize=915740 CPUtime=2400.06
/proc/10613/stat : 10613 (java) R 10611 10613 10151 0 -1 0 16082 0 15 0 239864 142 0 0 25 0 8 0 270040929 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074142396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10613/statm: 228935 15801 2545 14 0 215405 0
[pid=10613/tid=10615] ppid=10611 vsize=915740 CPUtime=0.07
/proc/10613/task/10615/stat : 10615 (java) S 10611 10613 10151 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10616] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10616/stat : 10616 (java) S 10611 10613 10151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10617] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10617/stat : 10617 (java) S 10611 10613 10151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040934 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10618] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10618/stat : 10618 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10619] ppid=10611 vsize=915740 CPUtime=0.38
/proc/10613/task/10619/stat : 10619 (java) S 10611 10613 10151 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10620] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10620/stat : 10620 (java) S 10611 10613 10151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270040938 937717760 15801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10613/tid=10621] ppid=10611 vsize=915740 CPUtime=0
/proc/10613/task/10621/stat : 10621 (java) S 10611 10613 10151 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040938 937717760 15801 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): 2423
CPU time (s): 2400.11
CPU user time (s): 2398.67
CPU system time (s): 1.43878
CPU usage (%): 99.0552
Max. virtual memory (cumulated for all children) (KiB): 915776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.67
system time used= 1.43878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16104
page faults= 15
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50794
involuntary context switches= 111415

runsolver used 2.94255 s user time and 7.62984 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Fri Jan 19 14:20:51 UTC 2007


IDJOB= 275073
IDBENCH= 3286
IDSOLVER= 69
FILE ID= node2/275073-1169216450

PBS_JOBID= 3588934

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphs/graph12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275073-1169216450/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-275073-1169216450 -o ROOT/results/node2/solver-275073-1169216450 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275073-1169216450/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bcaa2df6e1cf105739aab9f695d60b2f

RANDOM SEED= 128183970

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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:       1090280 kB
Buffers:         43420 kB
Cached:         582448 kB
SwapCached:        548 kB
Active:         352552 kB
Inactive:       539796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1090280 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            2284 kB
Writeback:           0 kB
Mapped:         279000 kB
Slab:            57512 kB
Committed_AS:  7176936 kB
PageTables:       2820 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 node2 on Fri Jan 19 15:01:16 UTC 2007