Trace number 275072

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.12 2402.89

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.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=epfc.xml
0.46	   
0.46	   instance
0.46	     name=/tmp/evaluation/275072-1169216449/unknown.xml
0.49	   
0.49	   domains being loaded...
0.50	   
0.50	   variables being loaded...
0.61	     nbVariables=680  nbDomainTypes=7  minDomainSize=6  maxDomainSize=44
0.61	       =>  wckTime=0.198  cpuTime=0.14  mem=8M827
0.61	   
0.61	   predicates being loaded...
0.61	   
0.61	   constraints being loaded...
1.97	     nbConstraints=4017  nbConvertedConstraints=4017  nbConvertConstraintsChecks=2551924  nbExtensionStructures=2055
1.97	     nbSharedExtensionStructures=1962  nbConflictsStructures=2055  nbSharedConflictsStructures=1962
1.97	     nbSharedBinaryRepresentations=143555  maxDegree=20  maxArity=2
1.97	       =>  wckTime=1.562  cpuTime=1.35  mem=39M75
2.07	   
2.07	   solver LocalSearchSolver being built... 
2.11	       =>  wckTime=1.696  cpuTime=1.4  mem=10M10
2.13	
2.13	s SATISFIABLE
2.13	o 2225
2.13	c 1792
2.13	o 2234
2.13	c 1783
2.13	o 2243
2.13	c 1774
2.14	o 2252
2.14	c 1765
2.14	o 2261
2.14	c 1756
2.14	o 2270
2.14	c 1747
2.15	o 2278
2.15	c 1739
2.15	o 2286
2.15	c 1731
2.15	o 2293
2.15	c 1724
2.15	o 2300
2.15	c 1717
2.16	o 2307
2.16	c 1710
2.16	o 2314
2.16	c 1703
2.16	o 2320
2.16	c 1697
2.16	o 2326
2.16	c 1691
2.16	o 2334
2.16	c 1683
2.17	o 2342
2.17	c 1675
2.17	o 2350
2.17	c 1667
2.17	o 2357
2.17	c 1660
2.17	o 2364
2.17	c 1653
2.18	o 2371
2.18	c 1646
2.18	o 2378
2.18	c 1639
2.18	o 2385
2.18	c 1632
2.18	o 2392
2.18	c 1625
2.18	o 2398
2.18	c 1619
2.19	o 2404
2.19	c 1613
2.19	o 2410
2.19	c 1607
2.19	o 2414
2.19	c 1603
2.19	o 2421
2.19	c 1596
2.19	o 2425
2.19	c 1592
2.20	o 2429
2.20	c 1588
2.20	o 2435
2.20	c 1582
2.20	o 2442
2.20	c 1575
2.20	o 2449
2.20	c 1568
2.21	o 2455
2.21	c 1562
2.21	o 2461
2.21	c 1556
2.21	o 2467
2.21	c 1550
2.21	o 2473
2.21	c 1544
2.22	o 2479
2.22	c 1538
2.22	o 2485
2.22	c 1532
2.22	o 2490
2.22	c 1527
2.23	o 2495
2.23	c 1522
2.23	o 2500
2.23	c 1517
2.23	o 2505
2.23	c 1512
2.23	o 2510
2.23	c 1507
2.24	o 2515
2.24	c 1502
2.24	o 2520
2.24	c 1497
2.24	o 2524
2.24	c 1493
2.24	o 2526
2.24	c 1491
2.25	o 2531
2.25	c 1486
2.25	o 2534
2.25	c 1483
2.26	o 2540
2.26	c 1477
2.26	o 2546
2.26	c 1471
2.27	o 2552
2.27	c 1465
2.27	o 2554
2.27	c 1463
2.27	o 2559
2.27	c 1458
2.28	o 2564
2.28	c 1453
2.28	o 2569
2.28	c 1448
2.28	o 2574
2.28	c 1443
2.29	o 2578
2.29	c 1439
2.29	o 2582
2.29	c 1435
2.30	o 2586
2.30	c 1431
2.30	o 2591
2.30	c 1426
2.30	o 2595
2.30	c 1422
2.31	o 2599
2.31	c 1418
2.31	o 2604
2.31	c 1413
2.31	o 2608
2.31	c 1409
2.32	o 2611
2.32	c 1406
2.32	o 2614
2.32	c 1403
2.32	o 2617
2.32	c 1400
2.33	o 2620
2.33	c 1397
2.33	o 2623
2.33	c 1394
2.33	o 2626
2.33	c 1391
2.34	o 2628
2.34	c 1389
2.34	o 2629
2.34	c 1388
2.34	o 2630
2.34	c 1387
2.35	o 2634
2.35	c 1383
2.35	o 2639
2.35	c 1378
2.35	o 2642
2.35	c 1375
2.36	o 2644
2.36	c 1373
2.36	o 2645
2.36	c 1372
2.36	o 2646
2.36	c 1371
2.36	o 2648
2.36	c 1369
2.37	o 2652
2.37	c 1365
2.37	o 2658
2.37	c 1359
2.37	o 2660
2.37	c 1357
2.38	o 2663
2.38	c 1354
2.38	o 2666
2.38	c 1351
2.39	o 2668
2.39	c 1349
2.39	o 2673
2.39	c 1344
2.40	o 2678
2.40	c 1339
2.40	o 2683
2.40	c 1334
2.40	o 2686
2.40	c 1331
2.41	o 2691
2.41	c 1326
2.41	o 2695
2.41	c 1322
2.42	o 2699
2.42	c 1318
2.42	o 2703
2.42	c 1314
2.43	o 2707
2.43	c 1310
2.43	o 2711
2.43	c 1306
2.44	o 2715
2.44	c 1302
2.44	o 2719
2.44	c 1298
2.44	o 2723
2.44	c 1294
2.45	o 2727
2.45	c 1290
2.45	o 2731
2.45	c 1286
2.46	o 2734
2.46	c 1283
2.46	o 2737
2.46	c 1280
2.47	o 2740
2.47	c 1277
2.47	o 2743
2.47	c 1274
2.47	o 2746
2.47	c 1271
2.48	o 2749
2.48	c 1268
2.48	o 2751
2.48	c 1266
2.49	o 2753
2.49	c 1264
2.49	o 2755
2.49	c 1262
2.49	o 2758
2.49	c 1259
2.50	o 2760
2.50	c 1257
2.50	o 2761
2.50	c 1256
2.50	o 2762
2.50	c 1255
2.51	o 2764
2.51	c 1253
2.51	o 2768
2.51	c 1249
2.52	o 2770
2.52	c 1247
2.52	o 2771
2.52	c 1246
2.53	o 2773
2.53	c 1244
2.53	o 2775
2.53	c 1242
2.53	o 2778
2.53	c 1239
2.54	o 2784
2.54	c 1233
2.54	o 2788
2.54	c 1229
2.55	o 2790
2.55	c 1227
2.55	o 2792
2.55	c 1225
2.55	o 2795
2.55	c 1222
2.55	o 2797
2.55	c 1220
2.56	o 2801
2.56	c 1216
2.56	o 2802
2.56	c 1215
2.56	o 2804
2.56	c 1213
2.57	o 2807
2.57	c 1210
2.57	o 2809
2.57	c 1208
2.57	o 2813
2.57	c 1204
2.58	o 2814
2.58	c 1203
2.58	o 2816
2.58	c 1201
2.58	o 2818
2.58	c 1199
2.59	o 2821
2.59	c 1196
2.59	o 2825
2.59	c 1192
2.59	o 2826
2.59	c 1191
2.59	o 2830
2.59	c 1187
2.60	o 2831
2.60	c 1186
2.60	o 2835
2.60	c 1182
2.60	o 2838
2.60	c 1179
2.61	o 2841
2.61	c 1176
2.61	o 2843
2.61	c 1174
2.62	o 2847
2.62	c 1170
2.62	o 2851
2.62	c 1166
2.62	o 2855
2.62	c 1162
2.63	o 2859
2.63	c 1158
2.63	o 2863
2.63	c 1154
2.64	o 2866
2.64	c 1151
2.64	o 2869
2.64	c 1148
2.65	o 2872
2.65	c 1145
2.65	o 2875
2.65	c 1142
2.66	o 2878
2.66	c 1139
2.66	o 2881
2.66	c 1136
2.67	o 2883
2.67	c 1134
2.67	o 2885
2.67	c 1132
2.68	o 2887
2.68	c 1130
2.68	o 2890
2.68	c 1127
2.69	o 2892
2.69	c 1125
2.69	o 2894
2.69	c 1123
2.70	o 2896
2.70	c 1121
2.70	o 2898
2.70	c 1119
2.70	o 2900
2.70	c 1117
2.71	o 2902
2.71	c 1115
2.71	o 2903
2.71	c 1114
2.72	o 2904
2.72	c 1113
2.72	o 2905
2.72	c 1112
2.73	o 2906
2.73	c 1111
2.73	o 2907
2.73	c 1110
2.74	o 2908
2.74	c 1109
2.74	o 2911
2.75	c 1106
2.75	o 2914
2.75	c 1103
2.76	o 2916
2.76	c 1101
2.76	o 2919
2.76	c 1098
2.76	o 2922
2.76	c 1095
2.77	o 2923
2.77	c 1094
2.78	o 2924
2.78	c 1093
2.78	o 2928
2.78	c 1089
2.78	o 2933
2.78	c 1084
2.79	o 2935
2.79	c 1082
2.79	o 2936
2.79	c 1081
2.79	o 2938
2.79	c 1079
2.80	o 2939
2.80	c 1078
2.80	o 2942
2.80	c 1075
2.80	o 2945
2.80	c 1072
2.81	o 2946
2.81	c 1071
2.81	o 2947
2.81	c 1070
2.82	o 2950
2.82	c 1067
2.82	o 2954
2.82	c 1063
2.82	o 2957
2.82	c 1060
2.83	o 2960
2.83	c 1057
2.83	o 2963
2.83	c 1054
2.84	o 2966
2.84	c 1051
2.84	o 2968
2.84	c 1049
2.84	o 2971
2.84	c 1046
2.85	o 2972
2.85	c 1045
2.85	o 2974
2.85	c 1043
2.86	o 2975
2.86	c 1042
2.86	o 2976
2.86	c 1041
2.86	o 2977
2.86	c 1040
2.87	o 2979
2.87	c 1038
2.87	o 2981
2.87	c 1036
2.88	o 2983
2.88	c 1034
2.88	o 2984
2.88	c 1033
2.89	o 2987
2.89	c 1030
2.89	o 2988
2.89	c 1029
2.90	o 2990
2.90	c 1027
2.91	o 2994
2.91	c 1023
2.91	o 2996
2.91	c 1021
2.92	o 2997
2.92	c 1020
2.92	o 2998
2.92	c 1019
2.93	o 2999
2.93	c 1018
2.94	o 3000
2.94	c 1017
2.94	o 3001
2.94	c 1016
2.94	o 3003
2.94	c 1014
2.96	o 3004
2.96	c 1013
2.96	o 3006
2.96	c 1011
2.97	o 3009
2.97	c 1008
2.97	o 3011
2.97	c 1006
2.97	o 3014
2.97	c 1003
2.98	o 3016
2.98	c 1001
2.98	o 3018
2.98	c 999
2.99	o 3020
2.99	c 997
2.99	o 3022
2.99	c 995
2.99	o 3024
2.99	c 993
3.00	o 3025
3.00	c 992
3.00	o 3027
3.00	c 990
3.01	o 3029
3.01	c 988
3.01	o 3030
3.01	c 987
3.02	o 3033
3.02	c 984
3.02	o 3034
3.02	c 983
3.02	o 3036
3.02	c 981
3.03	o 3037
3.03	c 980
3.03	o 3039
3.03	c 978
3.03	o 3040
3.03	c 977
3.04	o 3044
3.04	c 973
3.07	o 3046
3.07	c 971
3.08	o 3049
3.08	c 968
3.08	o 3050
3.08	c 967
3.08	o 3052
3.08	c 965
3.09	o 3054
3.09	c 963
3.10	o 3055
3.10	c 962
3.10	o 3056
3.10	c 961
3.11	o 3057
3.11	c 960
3.12	o 3058
3.12	c 959
3.12	o 3061
3.12	c 956
3.14	o 3062
3.14	c 955
3.14	o 3063
3.14	c 954
3.15	o 3064
3.15	c 953
3.15	o 3065
3.15	c 952
3.16	o 3068
3.16	c 949
3.16	o 3069
3.16	c 948
3.16	o 3072
3.16	c 945
3.19	o 3074
3.19	c 943
3.19	o 3077
3.20	c 940
3.20	o 3080
3.20	c 937
3.21	o 3084
3.21	c 933
3.22	o 3085
3.22	c 932
3.23	o 3087
3.23	c 930
3.23	o 3088
3.23	c 929
3.24	o 3090
3.24	c 927
3.24	o 3094
3.24	c 923
3.25	o 3096
3.25	c 921
3.25	o 3098
3.25	c 919
3.25	o 3100
3.25	c 917
3.29	o 3101
3.29	c 916
3.30	o 3103
3.30	c 914
3.30	o 3106
3.30	c 911
3.32	o 3107
3.32	c 910
3.33	o 3109
3.33	c 908
3.34	o 3110
3.34	c 907
3.37	o 3111
3.37	c 906
3.37	o 3112
3.37	c 905
3.40	o 3113
3.40	c 904
3.42	o 3114
3.42	c 903
3.42	o 3115
3.42	c 902
3.43	o 3117
3.43	c 900
3.44	o 3118
3.44	c 899
3.44	o 3120
3.44	c 897
3.45	o 3121
3.45	c 896
3.46	o 3123
3.46	c 894
3.47	o 3124
3.47	c 893
3.47	o 3125
3.47	c 892
3.48	o 3127
3.48	c 890
3.49	o 3128
3.49	c 889
3.50	o 3131
3.50	c 886
3.50	o 3134
3.50	c 883
3.51	o 3135
3.51	c 882
3.52	o 3137
3.52	c 880
3.52	o 3139
3.52	c 878
3.53	o 3140
3.53	c 877
3.53	o 3141
3.53	c 876
3.54	o 3142
3.54	c 875
3.54	o 3143
3.54	c 874
3.55	o 3146
3.55	c 871
3.55	o 3150
3.55	c 867
3.60	o 3152
3.60	c 865
3.61	o 3153
3.61	c 864
3.61	o 3156
3.61	c 861
3.62	o 3157
3.62	c 860
3.63	o 3158
3.63	c 859
3.64	o 3159
3.64	c 858
3.64	o 3161
3.64	c 856
3.65	o 3162
3.65	c 855
3.66	o 3163
3.66	c 854
3.68	o 3166
3.68	c 851
3.68	o 3168
3.68	c 849
3.70	o 3169
3.70	c 848
3.71	o 3171
3.71	c 846
3.71	o 3173
3.72	c 844
3.76	o 3174
3.76	c 843
3.77	o 3176
3.77	c 841
3.77	o 3178
3.77	c 839
3.78	o 3179
3.78	c 838
3.79	o 3180
3.79	c 837
3.79	o 3182
3.79	c 835
3.80	o 3183
3.80	c 834
3.80	o 3184
3.81	c 833
3.87	o 3185
3.87	c 832
3.87	o 3186
3.87	c 831
3.91	o 3188
3.91	c 829
3.92	o 3190
3.92	c 827
3.92	o 3191
3.92	c 826
3.93	o 3193
3.93	c 824
3.94	o 3194
3.94	c 823
3.95	o 3195
3.95	c 822
3.96	o 3196
3.96	c 821
3.97	o 3198
3.97	c 819
4.06	o 3199
4.06	c 818
4.07	o 3200
4.07	c 817
4.08	o 3202
4.08	c 815
4.08	o 3205
4.08	c 812
4.10	o 3209
4.10	c 808
4.11	o 3210
4.11	c 807
4.14	o 3211
4.14	c 806
4.19	o 3212
4.19	c 805
4.19	o 3213
4.19	c 804
4.21	o 3214
4.21	c 803
4.21	o 3216
4.21	c 801
4.25	o 3218
4.25	c 799
4.28	o 3219
4.28	c 798
4.29	o 3220
4.29	c 797
4.31	o 3222
4.31	c 795
4.31	o 3224
4.31	c 793
4.32	o 3226
4.32	c 791
4.33	o 3228
4.33	c 789
4.34	o 3229
4.34	c 788
4.40	o 3230
4.40	c 787
4.41	o 3231
4.41	c 786
4.50	o 3232
4.50	c 785
4.51	o 3234
4.51	c 783
4.52	o 3237
4.52	c 780
4.64	o 3241
4.64	c 776
4.65	o 3243
4.65	c 774
4.66	o 3247
4.66	c 770
4.66	o 3251
4.66	c 766
4.69	o 3252
4.69	c 765
4.70	o 3254
4.71	c 763
4.72	o 3256
4.72	c 761
4.74	o 3259
4.74	c 758
4.75	o 3260
4.75	c 757
4.82	o 3262
4.82	c 755
4.83	o 3263
4.83	c 754
4.84	o 3264
4.84	c 753
4.85	o 3266
4.85	c 751
4.85	o 3267
4.85	c 750
4.86	o 3270
4.86	c 747
4.86	o 3271
4.86	c 746
4.88	o 3272
4.88	c 745
4.89	o 3273
4.89	c 744
4.89	o 3274
4.89	c 743
4.90	o 3275
4.90	c 742
4.91	o 3276
4.91	c 741
4.92	o 3277
4.92	c 740
4.92	o 3278
4.92	c 739
4.93	o 3279
4.93	c 738
4.94	o 3280
4.95	c 737
5.52	o 3281
5.52	c 736
5.64	o 3282
5.64	c 735
5.65	o 3284
5.65	c 733
5.66	o 3286
5.66	c 731
5.67	o 3288
5.67	c 729
5.80	o 3289
5.80	c 728
5.81	o 3292
5.81	c 725
5.85	o 3293
5.85	c 724
5.85	o 3295
5.85	c 722
5.93	o 3296
5.93	c 721
5.94	o 3299
5.94	c 718
5.98	o 3300
5.98	c 717
6.01	o 3302
6.01	c 715
6.04	o 3303
6.04	c 714
6.06	o 3305
6.06	c 712
6.07	o 3307
6.07	c 710
6.08	o 3308
6.08	c 709
6.09	o 3310
6.09	c 707
6.10	o 3311
6.10	c 706
6.11	o 3314
6.11	c 703
6.11	o 3315
6.11	c 702
6.12	o 3318
6.12	c 699
6.29	o 3319
6.29	c 698
6.36	o 3321
6.36	c 696
6.63	o 3322
6.63	c 695
6.64	o 3323
6.64	c 694
6.66	o 3324
6.66	c 693
6.66	o 3325
6.66	c 692
6.67	o 3326
6.67	c 691
6.68	o 3327
6.68	c 690
6.69	o 3328
6.69	c 689
6.70	o 3331
6.70	c 686
6.86	o 3332
6.86	c 685
6.87	o 3333
6.87	c 684
6.88	o 3335
6.88	c 682
6.89	o 3336
6.89	c 681
6.93	o 3338
6.93	c 679
6.95	o 3339
6.95	c 678
7.01	o 3340
7.01	c 677
7.02	o 3341
7.02	c 676
7.28	o 3342
7.28	c 675
7.32	o 3344
7.32	c 673
7.36	o 3345
7.36	c 672
7.41	o 3346
7.41	c 671
7.42	o 3347
7.42	c 670
8.01	o 3349
8.01	c 668
8.01	o 3352
8.01	c 665
8.06	o 3353
8.06	c 664
8.16	o 3356
8.16	c 661
8.17	o 3357
8.17	c 660
8.18	o 3360
8.18	c 657
8.19	o 3361
8.19	c 656
8.24	o 3363
8.24	c 654
8.25	o 3364
8.25	c 653
8.28	o 3367
8.28	c 650
8.29	o 3368
8.30	c 649
8.30	o 3370
8.30	c 647
8.31	o 3374
8.31	c 643
8.32	o 3377
8.32	c 640
8.33	o 3378
8.33	c 639
8.40	o 3379
8.40	c 638
8.40	o 3380
8.40	c 637
8.42	o 3381
8.42	c 636
8.53	o 3382
8.53	c 635
8.55	o 3384
8.55	c 633
8.59	o 3385
8.59	c 632
8.62	o 3386
8.62	c 631
8.63	o 3387
8.63	c 630
8.64	o 3389
8.64	c 628
8.65	o 3391
8.65	c 626
8.67	o 3393
8.67	c 624
8.68	o 3395
8.68	c 622
8.68	o 3397
8.68	c 620
8.72	o 3398
8.72	c 619
8.73	o 3399
8.73	c 618
8.76	o 3400
8.76	c 617
8.79	o 3401
8.79	c 616
8.80	o 3403
8.80	c 614
8.81	o 3404
8.81	c 613
8.82	o 3406
8.82	c 611
8.82	o 3407
8.82	c 610
8.84	o 3408
8.84	c 609
8.85	o 3412
8.85	c 605
8.86	o 3413
8.86	c 604
8.87	o 3414
8.87	c 603
8.88	o 3415
8.88	c 602
8.89	o 3418
8.89	c 599
8.90	o 3419
8.90	c 598
8.95	o 3421
8.95	c 596
8.97	o 3422
8.97	c 595
8.98	o 3423
8.98	c 594
9.03	o 3424
9.03	c 593
9.21	o 3427
9.21	c 590
9.28	o 3430
9.28	c 587
9.58	o 3431
9.58	c 586
9.59	o 3432
9.59	c 585
9.78	o 3433
9.78	c 584
9.80	o 3434
9.80	c 583
9.81	o 3435
9.81	c 582
9.82	o 3436
9.82	c 581
9.83	o 3437
9.83	c 580
9.93	o 3438
9.93	c 579
9.94	o 3439
9.94	c 578
9.95	o 3440
9.95	c 577
10.04	o 3441
10.04	c 576
10.05	o 3442
10.05	c 575
10.07	o 3446
10.07	c 571
10.09	o 3447
10.09	c 570
10.12	o 3448
10.12	c 569
10.13	o 3450
10.13	c 567
10.16	o 3451
10.16	c 566
10.17	o 3454
10.17	c 563
10.20	o 3455
10.20	c 562
10.34	o 3457
10.34	c 560
10.36	o 3458
10.36	c 559
10.36	o 3459
10.36	c 558
10.37	o 3460
10.37	c 557
10.39	o 3462
10.39	c 555
10.40	o 3463
10.40	c 554
10.42	o 3464
10.42	c 553
10.42	o 3467
10.42	c 550
10.43	o 3468
10.43	c 549
10.44	o 3469
10.44	c 548
10.52	o 3471
10.52	c 546
10.53	o 3472
10.53	c 545
10.54	o 3474
10.54	c 543
10.76	o 3475
10.76	c 542
10.77	o 3477
10.77	c 540
10.78	o 3480
10.78	c 537
11.46	o 3481
11.46	c 536
11.47	o 3485
11.47	c 532
11.48	o 3487
11.48	c 530
11.58	o 3490
11.58	c 527
11.59	o 3491
11.59	c 526
11.77	o 3493
11.77	c 524
11.78	o 3495
11.78	c 522
11.79	o 3496
11.79	c 521
11.87	o 3497
11.87	c 520
12.12	o 3498
12.12	c 519
12.43	o 3499
12.43	c 518
12.45	o 3500
12.45	c 517
12.50	o 3501
12.50	c 516
13.39	o 3503
13.39	c 514
13.42	o 3507
13.42	c 510
13.43	o 3508
13.43	c 509
13.44	o 3509
13.44	c 508
13.45	o 3511
13.45	c 506
13.46	o 3513
13.46	c 504
13.47	o 3514
13.47	c 503
13.47	o 3517
13.47	c 500
13.53	o 3518
13.53	c 499
13.54	o 3519
13.54	c 498
13.56	o 3521
13.56	c 496
13.60	o 3523
13.60	c 494
13.64	o 3524
13.64	c 493
13.65	o 3525
13.65	c 492
13.66	o 3526
13.66	c 491
13.67	o 3528
13.67	c 489
13.68	o 3530
13.68	c 487
13.76	o 3532
13.76	c 485
13.78	o 3533
13.78	c 484
13.79	o 3535
13.79	c 482
13.81	o 3538
13.81	c 479
13.82	o 3540
13.82	c 477
13.83	o 3541
13.83	c 476
13.84	o 3542
13.84	c 475
14.62	o 3543
14.62	c 474
14.66	o 3544
14.66	c 473
14.66	o 3545
14.66	c 472
14.68	o 3547
14.68	c 470
14.70	o 3548
14.70	c 469
14.73	o 3549
14.73	c 468
14.78	o 3550
14.78	c 467
14.79	o 3551
14.79	c 466
14.80	o 3552
14.80	c 465
14.90	o 3554
14.90	c 463
14.90	o 3555
14.90	c 462
14.98	o 3556
14.98	c 461
14.99	o 3557
14.99	c 460
15.01	o 3559
15.01	c 458
15.18	o 3560
15.18	c 457
15.62	o 3562
15.62	c 455
15.77	o 3564
15.77	c 453
15.78	o 3566
15.78	c 451
15.79	o 3567
15.79	c 450
15.81	o 3569
15.81	c 448
15.83	o 3570
15.83	c 447
15.84	o 3572
15.84	c 445
15.86	o 3573
15.86	c 444
15.89	o 3574
15.89	c 443
15.90	o 3576
15.90	c 441
15.94	o 3577
15.94	c 440
16.01	o 3578
16.01	c 439
16.02	o 3579
16.02	c 438
16.03	o 3580
16.03	c 437
16.05	o 3581
16.05	c 436
16.17	o 3582
16.17	c 435
16.23	o 3583
16.23	c 434
16.24	o 3585
16.24	c 432
16.44	o 3586
16.44	c 431
16.45	o 3587
16.45	c 430
16.47	o 3588
16.47	c 429
16.48	o 3589
16.48	c 428
18.26	o 3590
18.26	c 427
18.80	o 3591
18.80	c 426
18.82	o 3593
18.82	c 424
18.86	o 3594
18.86	c 423
18.86	o 3595
18.86	c 422
19.01	o 3597
19.01	c 420
19.01	o 3599
19.01	c 418
19.02	o 3600
19.02	c 417
19.03	o 3601
19.03	c 416
19.11	o 3602
19.11	c 415
19.13	o 3603
19.13	c 414
19.15	o 3604
19.15	c 413
19.16	o 3606
19.16	c 411
19.17	o 3609
19.17	c 408
19.50	o 3610
19.50	c 407
19.59	o 3611
19.59	c 406
19.61	o 3612
19.61	c 405
19.66	o 3614
19.66	c 403
19.68	o 3615
19.68	c 402
19.69	o 3617
19.69	c 400
19.70	o 3618
19.70	c 399
19.71	o 3620
19.71	c 397
19.71	o 3621
19.71	c 396
19.74	o 3624
19.74	c 393
20.33	o 3625
20.33	c 392
20.33	o 3627
20.33	c 390
20.34	o 3628
20.34	c 389
20.36	o 3629
20.36	c 388
20.47	o 3630
20.47	c 387
20.48	o 3631
20.48	c 386
20.49	o 3632
20.49	c 385
20.51	o 3633
20.51	c 384
20.63	o 3634
20.63	c 383
20.66	o 3635
20.66	c 382
20.71	o 3637
20.71	c 380
20.71	o 3639
20.71	c 378
20.72	o 3641
20.72	c 376
20.73	o 3642
20.73	c 375
20.80	o 3643
20.80	c 374
20.81	o 3645
20.81	c 372
20.85	o 3646
20.85	c 371
20.86	o 3647
20.86	c 370
20.87	o 3649
20.87	c 368
20.99	o 3651
20.99	c 366
21.02	o 3652
21.02	c 365
21.08	o 3653
21.08	c 364
21.09	o 3655
21.09	c 362
21.65	o 3659
21.65	c 358
21.66	o 3660
21.66	c 357
21.69	o 3663
21.69	c 354
21.77	o 3664
21.77	c 353
21.77	o 3667
21.78	c 350
21.79	o 3668
21.79	c 349
21.80	o 3670
21.80	c 347
21.81	o 3671
21.81	c 346
21.83	o 3673
21.83	c 344
21.87	o 3674
21.87	c 343
21.89	o 3675
21.89	c 342
21.90	o 3676
21.90	c 341
21.92	o 3677
21.92	c 340
21.92	o 3679
21.93	c 338
21.94	o 3680
21.94	c 337
21.95	o 3681
21.95	c 336
21.96	o 3682
21.96	c 335
21.96	o 3683
21.96	c 334
21.97	o 3684
21.97	c 333
21.99	o 3686
21.99	c 331
22.01	o 3687
22.01	c 330
22.02	o 3688
22.02	c 329
22.03	o 3689
22.03	c 328
22.04	o 3690
22.04	c 327
22.47	o 3691
22.47	c 326
22.61	o 3694
22.61	c 323
22.62	o 3697
22.62	c 320
22.62	o 3699
22.62	c 318
22.75	o 3700
22.75	c 317
22.78	o 3701
22.78	c 316
22.79	o 3702
22.79	c 315
22.79	o 3703
22.79	c 314
22.81	o 3704
22.81	c 313
22.87	o 3705
22.87	c 312
22.93	o 3706
22.93	c 311
22.94	o 3708
22.94	c 309
22.95	o 3710
22.95	c 307
22.95	o 3711
22.95	c 306
23.01	o 3713
23.01	c 304
23.17	o 3714
23.17	c 303
23.19	o 3715
23.19	c 302
23.76	o 3716
23.76	c 301
23.80	o 3717
23.80	c 300
23.83	o 3718
23.83	c 299
23.87	o 3720
23.87	c 297
24.11	o 3721
24.11	c 296
24.12	o 3723
24.12	c 294
24.13	o 3725
24.13	c 292
24.51	o 3726
24.51	c 291
24.52	o 3727
24.52	c 290
24.53	o 3728
24.53	c 289
24.54	o 3729
24.54	c 288
24.55	o 3730
24.55	c 287
24.55	o 3731
24.55	c 286
24.56	o 3732
24.56	c 285
24.57	o 3735
24.57	c 282
24.58	o 3741
24.58	c 276
24.60	o 3742
24.60	c 275
24.60	o 3743
24.61	c 274
24.78	o 3744
24.78	c 273
24.78	o 3746
24.78	c 271
25.40	o 3747
25.40	c 270
25.41	o 3748
25.41	c 269
25.43	o 3749
25.43	c 268
25.44	o 3750
25.44	c 267
25.45	o 3751
25.45	c 266
25.46	o 3752
25.46	c 265
25.49	o 3753
25.49	c 264
25.52	o 3755
25.52	c 262
26.11	o 3757
26.11	c 260
26.12	o 3758
26.12	c 259
26.12	o 3759
26.12	c 258
26.13	o 3761
26.13	c 256
26.14	o 3762
26.14	c 255
26.15	o 3764
26.15	c 253
26.15	o 3765
26.15	c 252
26.16	o 3766
26.16	c 251
26.17	o 3767
26.17	c 250
26.18	o 3769
26.18	c 248
26.19	o 3770
26.19	c 247
26.21	o 3771
26.21	c 246
26.22	o 3772
26.22	c 245
26.29	o 3774
26.29	c 243
26.30	o 3775
26.30	c 242
26.35	o 3776
26.35	c 241
26.38	o 3777
26.38	c 240
26.55	o 3778
26.55	c 239
26.64	o 3779
26.64	c 238
26.65	o 3780
26.65	c 237
26.66	o 3782
26.66	c 235
26.67	o 3783
26.67	c 234
26.68	o 3785
26.68	c 232
26.71	o 3786
26.71	c 231
26.76	o 3787
26.76	c 230
26.76	o 3788
26.76	c 229
26.77	o 3789
26.77	c 228
26.78	o 3791
26.78	c 226
26.78	o 3792
26.78	c 225
26.79	o 3793
26.79	c 224
26.98	o 3795
26.98	c 222
26.99	o 3796
26.99	c 221
26.99	o 3798
26.99	c 219
27.06	o 3801
27.06	c 216
27.07	o 3802
27.07	c 215
27.07	o 3804
27.07	c 213
28.69	o 3807
28.70	c 210
28.74	o 3808
28.74	c 209
28.75	o 3809
28.75	c 208
28.75	o 3811
28.75	c 206
28.76	o 3813
28.76	c 204
28.77	o 3814
28.77	c 203
28.77	o 3815
28.77	c 202
28.78	o 3817
28.78	c 200
28.78	o 3818
28.78	c 199
28.79	o 3820
28.79	c 197
29.41	o 3823
29.41	c 194
29.41	o 3824
29.41	c 193
29.42	o 3826
29.42	c 191
29.42	o 3827
29.42	c 190
29.43	o 3828
29.43	c 189
29.43	o 3830
29.43	c 187
29.44	o 3831
29.44	c 186
30.06	o 3834
30.06	c 183
30.07	o 3835
30.07	c 182
30.07	o 3837
30.07	c 180
30.08	o 3839
30.08	c 178
30.08	o 3840
30.08	c 177
30.23	o 3843
30.23	c 174
30.36	o 3844
30.36	c 173
30.37	o 3845
30.37	c 172
30.39	o 3846
30.39	c 171
30.40	o 3847
30.40	c 170
30.41	o 3848
30.41	c 169
30.41	o 3850
30.41	c 167
30.42	o 3851
30.42	c 166
30.43	o 3852
30.43	c 165
31.96	o 3853
31.96	c 164
31.96	o 3855
31.96	c 162
31.97	o 3857
31.97	c 160
31.97	o 3858
31.97	c 159
31.98	o 3860
31.98	c 157
32.00	o 3862
32.00	c 155
33.39	o 3864
33.40	c 153
35.10	o 3865
35.10	c 152
35.11	o 3866
35.11	c 151
35.11	o 3868
35.11	c 149
35.13	o 3869
35.13	c 148
35.23	o 3870
35.23	c 147
35.24	o 3871
35.24	c 146
35.25	o 3872
35.25	c 145
35.25	o 3876
35.25	c 141
35.26	o 3878
35.26	c 139
35.26	o 3880
35.26	c 137
35.26	o 3881
35.26	c 136
35.27	o 3882
35.27	c 135
35.29	o 3883
35.29	c 134
35.90	o 3885
35.90	c 132
35.90	o 3888
35.90	c 129
35.91	o 3889
35.91	c 128
35.91	o 3890
35.91	c 127
35.92	o 3891
35.92	c 126
35.92	o 3892
35.92	c 125
35.94	o 3893
35.94	c 124
35.96	o 3896
35.96	c 121
35.97	o 3897
35.97	c 120
36.09	o 3898
36.09	c 119
36.09	o 3899
36.09	c 118
36.10	o 3900
36.10	c 117
36.11	o 3901
36.11	c 116
36.12	o 3903
36.12	c 114
36.15	o 3905
36.15	c 112
36.33	o 3907
36.33	c 110
36.33	o 3909
36.33	c 108
36.34	o 3910
36.34	c 107
36.34	o 3911
36.34	c 106
38.77	o 3912
38.77	c 105
38.77	o 3914
38.77	c 103
39.84	o 3915
39.84	c 102
40.52	o 3916
40.52	c 101
40.52	o 3917
40.52	c 100
40.53	o 3920
40.53	c 97
41.31	o 3921
41.31	c 96
41.32	o 3922
41.32	c 95
41.34	o 3923
41.34	c 94
41.35	o 3926
41.35	c 91
41.37	o 3929
41.37	c 88
41.37	o 3930
41.37	c 87
43.19	o 3931
43.19	c 86
49.25	o 3932
49.25	c 85
49.25	o 3933
49.25	c 84
49.25	o 3934
49.25	c 83
49.40	o 3936
49.40	c 81
49.41	o 3937
49.41	c 80
49.41	o 3938
49.41	c 79
49.50	o 3939
49.50	c 78
49.50	o 3940
49.50	c 77
50.74	o 3944
50.74	c 73
50.74	o 3948
50.74	c 69
50.75	o 3949
50.75	c 68
52.84	   
52.84	   search
52.84	     run=0  nbConstraintChecks=460031355  nbAssignments=10000
52.84	       =>  wckTime=50.735  cpuTime=50.52  mem=10M985
56.00	o 3951
56.00	c 66
56.01	o 3954
56.01	c 63
56.01	o 3955
56.01	c 62
56.01	o 3956
56.01	c 61
56.02	o 3957
56.02	c 60
86.07	   
86.07	   search
86.07	     run=1  nbConstraintChecks=768591209  nbAssignments=18957
86.07	       =>  wckTime=83.962  cpuTime=83.7  mem=10M985
86.07	   
86.07	   global
86.07	     nbConstraintChecks=768591209  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
86.07	     solvingWckTime=83.96  solvingCpuTime=83.7  expiredTime=no  totalExploration=no  nbFoundSolutions=0
86.07	     globalCpuTime=85.14
86.07	       =>  wckTime=85.659  cpuTime=85.1  mem=10M985
86.07	   
86.07	   solver IterativeSystematicSolver being built... 
86.25	       =>  wckTime=85.839  cpuTime=85.23  mem=25M124
99.40	   
99.40	   preprocessing
99.40	     nbConstraintChecks=35790964  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
99.40	     detectedInconsistency=no
99.40	       =>  wckTime=13.15  cpuTime=13.1  mem=25M124
213.84	   
213.84	   search
213.84	     run=0  nbConstraintChecks=62149518  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=491
213.84	     nbFailedAssignments=373  nbBacktracks=10  nbVisitedNodes=875  nbRestartNogoods=0
213.84	       =>  wckTime=127.593  cpuTime=127.42  mem=25M124
358.79	   
358.79	   search
358.79	     run=1  nbConstraintChecks=133685848  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1034
358.79	     nbFailedAssignments=788  nbBacktracks=25  nbVisitedNodes=1848  nbRestartNogoods=17
358.79	       =>  wckTime=272.539  cpuTime=272.2  mem=25M124
529.27	   
529.27	   search
529.27	     run=2  nbConstraintChecks=215210505  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1647
529.27	     nbFailedAssignments=1264  nbBacktracks=47  nbVisitedNodes=2959  nbRestartNogoods=43
529.27	       =>  wckTime=443.018  cpuTime=442.47  mem=25M124
806.44	   
806.44	   search
806.44	     run=3  nbConstraintChecks=345395031  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2583
806.44	     nbFailedAssignments=2045  nbBacktracks=80  nbVisitedNodes=4709  nbRestartNogoods=72
806.44	       =>  wckTime=720.19  cpuTime=719.36  mem=25M124
1386.89	   
1386.89	   search
1386.89	     run=4  nbConstraintChecks=609311748  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4351
1386.89	     nbFailedAssignments=3634  nbBacktracks=130  nbVisitedNodes=8116  nbRestartNogoods=176
1386.89	       =>  wckTime=1300.636  cpuTime=1299.21  mem=25M124
2107.39	   
2107.39	   search
2107.39	     run=5  nbConstraintChecks=917907192  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6425
2107.39	     nbFailedAssignments=5509  nbBacktracks=205  nbVisitedNodes=12140  nbRestartNogoods=314
2107.39	       =>  wckTime=2021.145  cpuTime=2018.97  mem=25M124
2402.86	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/node4/watcher-275072-1169216449 -o ROOT/results/node4/solver-275072-1169216449 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275072-1169216449/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.96 1.98 1.81 3/86 23846
/proc/meminfo: memFree=1397872/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=18540 CPUtime=0
/proc/23845/stat : 23845 (runsolver) R 23843 23845 23464 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270040501 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23845/statm: 4635 279 244 17 0 2626 0

[startup+0.102663 s]
/proc/loadavg: 1.96 1.98 1.81 3/86 23846
/proc/meminfo: memFree=1397872/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=907676 CPUtime=0.04
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 2295 0 1 0 3 1 0 0 16 0 4 0 270040501 929460224 2042 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153792930 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23845/statm: 226919 2042 1148 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.510738 s]
/proc/loadavg: 1.96 1.98 1.81 3/86 23846
/proc/meminfo: memFree=1397872/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915332 CPUtime=0.38
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 5865 0 19 0 34 4 0 0 18 0 8 0 270040501 937299968 5622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152174429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23845/statm: 228833 5622 2117 14 0 215303 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915332

[startup+1.33178 s]
/proc/loadavg: 1.96 1.98 1.81 3/93 23853
/proc/meminfo: memFree=1358712/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915636 CPUtime=1.18
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 11481 0 19 0 107 11 0 0 24 0 8 0 270040501 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23845/statm: 228909 11237 2174 14 0 215379 0
[pid=23845/tid=23847] ppid=23843 vsize=915636 CPUtime=0
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 270040510 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915636 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 270040511 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915636 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 270040511 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915636 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915636 CPUtime=0.18
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 428 0 0 0 18 0 0 0 15 0 8 0 270040514 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915636 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915636 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937611264 11237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 915636

[startup+2.97794 s]
/proc/loadavg: 1.96 1.98 1.81 3/93 23853
/proc/meminfo: memFree=1339064/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915744 CPUtime=2.79
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 15884 0 19 0 251 28 0 0 25 0 8 0 270040501 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23845/statm: 228936 15639 2500 14 0 215406 0
[pid=23845/tid=23847] ppid=23843 vsize=915744 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1280 0 0 0 7 0 0 0 17 0 8 0 270040510 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915744 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915744 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915744 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915744 CPUtime=0.23
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 456 0 0 0 23 0 0 0 15 0 8 0 270040514 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915744 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915744 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937721856 15639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 915744

[startup+6.18424 s]
/proc/loadavg: 1.97 1.98 1.81 3/93 23853
/proc/meminfo: memFree=1338936/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=5.96
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 15892 0 19 0 562 34 0 0 25 0 8 0 270040501 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23845/statm: 228935 15645 2500 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.24
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 462 0 0 0 24 0 0 0 16 0 8 0 270040514 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 915740

[startup+12.6589 s]
/proc/loadavg: 1.89 1.97 1.81 2/88 23854
/proc/meminfo: memFree=1342752/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=12.36
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 15893 0 19 0 1196 40 0 0 25 0 8 0 270040501 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15646 2500 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.24
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 463 0 0 0 24 0 0 0 16 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 915740

[startup+25.5111 s]
/proc/loadavg: 1.75 1.93 1.80 2/88 23869
/proc/meminfo: memFree=1344928/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=25.21
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 15893 0 19 0 2467 54 0 0 25 0 8 0 270040501 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955254 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15646 2500 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.24
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 463 0 0 0 24 0 0 0 16 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915740

[startup+51.1255 s]
/proc/loadavg: 1.72 1.91 1.80 3/94 23944
/proc/meminfo: memFree=1055088/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=50.8
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 15897 0 19 0 4990 90 0 0 25 0 8 0 270040501 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15650 2500 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.25
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 465 0 0 0 25 0 0 0 16 0 8 0 270040514 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 915740

[startup+102.394 s]
/proc/loadavg: 1.88 1.92 1.81 3/94 23944
/proc/meminfo: memFree=1037104/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=101.99
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16040 0 19 0 10052 147 0 0 25 0 8 0 270040501 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15787 2547 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1280 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.33
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 516 0 0 0 32 1 0 0 16 0 8 0 270040514 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915740

[startup+162.408 s]
/proc/loadavg: 1.95 1.93 1.82 3/94 23944
/proc/meminfo: memFree=1037104/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=161.96
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16041 0 19 0 16048 148 0 0 25 0 8 0 270040501 937717760 15787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2082.89 s]
/proc/loadavg: 2.04 2.01 1.93 3/94 23944
/proc/meminfo: memFree=1036784/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=2080.45
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16082 0 19 0 207893 152 0 0 25 0 8 0 270040501 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15813 2550 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.38
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 544 0 0 0 37 1 0 0 16 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.45
Current children cumulated vsize (KiB) 915740

[startup+2142.91 s]
/proc/loadavg: 2.01 2.01 1.93 3/94 23944
/proc/meminfo: memFree=1036784/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=2140.43
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16082 0 19 0 213890 153 0 0 25 0 8 0 270040501 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15813 2550 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.38
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 544 0 0 0 37 1 0 0 16 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.43
Current children cumulated vsize (KiB) 915740

[startup+2202.93 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 23944
/proc/meminfo: memFree=1036720/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=2200.36
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16082 0 19 0 219883 153 0 0 25 0 8 0 270040501 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15813 2550 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.38
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 544 0 0 0 37 1 0 0 16 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.36
Current children cumulated vsize (KiB) 915740

[startup+2262.94 s]
/proc/loadavg: 2.00 2.00 1.93 4/94 23944
/proc/meminfo: memFree=1036784/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=2260.31
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16082 0 19 0 225878 153 0 0 25 0 8 0 270040501 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15813 2550 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.38
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 544 0 0 0 37 1 0 0 16 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.31
Current children cumulated vsize (KiB) 915740

[startup+2322.96 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 23944
/proc/meminfo: memFree=1036784/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=2320.27
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16082 0 19 0 231874 153 0 0 25 0 8 0 270040501 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15813 2550 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.38
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 544 0 0 0 37 1 0 0 16 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.27
Current children cumulated vsize (KiB) 915740

[startup+2382.97 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 23944
/proc/meminfo: memFree=1036784/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=2380.23
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16082 0 19 0 237869 154 0 0 25 0 8 0 270040501 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15813 2550 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.38
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 544 0 0 0 37 1 0 0 16 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.23
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.84 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 23944
/proc/meminfo: memFree=1036720/2055920 swapFree=4182144/4192956
[pid=23845] ppid=23843 vsize=915740 CPUtime=2400.09
/proc/23845/stat : 23845 (java) R 23843 23845 23464 0 -1 0 16082 0 19 0 239855 154 0 0 25 0 8 0 270040501 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074140280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23845/statm: 228935 15813 2550 14 0 215405 0
[pid=23845/tid=23847] ppid=23843 vsize=915740 CPUtime=0.07
/proc/23845/task/23847/stat : 23847 (java) S 23843 23845 23464 0 -1 64 1281 0 0 0 7 0 0 0 16 0 8 0 270040510 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23848] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23848/stat : 23848 (java) S 23843 23845 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23849] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23849/stat : 23849 (java) S 23843 23845 23464 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040511 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23850] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23850/stat : 23850 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23851] ppid=23843 vsize=915740 CPUtime=0.38
/proc/23845/task/23851/stat : 23851 (java) S 23843 23845 23464 0 -1 64 544 0 0 0 37 1 0 0 16 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23845/tid=23852] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23852/stat : 23852 (java) S 23843 23845 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23845/tid=23853] ppid=23843 vsize=915740 CPUtime=0
/proc/23845/task/23853/stat : 23853 (java) S 23843 23845 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040514 937717760 15813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 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): 2402.89
CPU time (s): 2400.12
CPU user time (s): 2398.57
CPU system time (s): 1.55176
CPU usage (%): 99.8849
Max. virtual memory (cumulated for all children) (KiB): 915776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.57
system time used= 1.55176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16105
page faults= 19
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50357
involuntary context switches= 67904

runsolver used 2.65759 s user time and 8.03978 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Fri Jan 19 14:20:49 UTC 2007


IDJOB= 275072
IDBENCH= 3286
IDSOLVER= 68
FILE ID= node4/275072-1169216449

PBS_JOBID= 3588931

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bcaa2df6e1cf105739aab9f695d60b2f

RANDOM SEED= 328375479

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.223
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.223
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:       1398352 kB
Buffers:         62912 kB
Cached:         466700 kB
SwapCached:       2148 kB
Active:         144088 kB
Inactive:       431312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1398352 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          56960 kB
Slab:            66912 kB
Committed_AS:  7316148 kB
PageTables:       2356 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 node4 on Fri Jan 19 15:00:53 UTC 2007