Trace number 275076

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

General information on the benchmark

Namerlfap/rlfapGraphs/
graph11.xml
MD5SUMf99a84357d49704ce92e19e2187b6864
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3713
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables680
Number of constraints3757
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3757
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

44 unsatisfied constraints, 3713 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-275076-1169216456 -o ROOT/results/node14/solver-275076-1169216456 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275076-1169216456/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.07 2.04 1.83 4/86 16563
/proc/meminfo: memFree=1369136/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=906644 CPUtime=0.02
/proc/16562/stat : 16562 (java) S 16560 16562 16112 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 270040597 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 226661 1817 1036 14 0 214244 0
[pid=16562/tid=16564] ppid=16560 vsize=906644 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) R 16560 16562 16112 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270040600 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104726 s]
/proc/loadavg: 2.07 2.04 1.83 4/86 16563
/proc/meminfo: memFree=1369136/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=914988 CPUtime=0.09
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 3014 0 1 0 7 2 0 0 20 0 8 0 270040597 936947712 2760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7394268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228747 2760 1434 14 0 215242 0
[pid=16562/tid=16564] ppid=16560 vsize=914988 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270040600 936947712 2760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516769 s]
/proc/loadavg: 2.07 2.04 1.83 4/86 16563
/proc/meminfo: memFree=1369136/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915332 CPUtime=0.48
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 6459 0 11 0 43 5 0 0 18 0 8 0 270040597 937299968 6208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073558715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228833 6208 2140 14 0 215303 0
[pid=16562/tid=16564] ppid=16560 vsize=915332 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 270040600 937299968 6208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33984 s]
/proc/loadavg: 2.07 2.04 1.83 3/93 16572
/proc/meminfo: memFree=1330872/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915632 CPUtime=1.29
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 11728 0 11 0 115 14 0 0 25 0 8 0 270040597 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228908 11476 2171 14 0 215378 0
[pid=16562/tid=16564] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 270040600 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 270040601 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 270040601 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915632 CPUtime=0.19
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 430 0 0 0 18 1 0 0 15 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915632 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937607168 11476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915632

[startup+2.97706 s]
/proc/loadavg: 2.07 2.04 1.83 3/93 16572
/proc/meminfo: memFree=1312184/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2.9
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15857 0 11 0 260 30 0 0 25 0 8 0 270040597 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16562/statm: 228935 15604 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 17 0 8 0 270040600 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.24
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 458 0 0 0 23 1 0 0 15 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915740

[startup+6.2633 s]
/proc/loadavg: 2.06 2.04 1.83 2/88 16573
/proc/meminfo: memFree=1315936/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=6.15
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15865 0 11 0 581 34 0 0 18 0 8 0 270040597 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950580 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15610 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.26
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 464 0 0 0 25 1 0 0 16 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915740

[startup+12.7449 s]
/proc/loadavg: 1.98 2.02 1.83 2/88 16583
/proc/meminfo: memFree=1316008/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=12.62
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15866 0 11 0 1222 40 0 0 25 0 8 0 270040597 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15611 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.26
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 465 0 0 0 25 1 0 0 16 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915740

[startup+25.6091 s]
/proc/loadavg: 1.76 1.97 1.81 2/88 16588
/proc/meminfo: memFree=1318184/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=25.49
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15866 0 11 0 2495 54 0 0 25 0 8 0 270040597 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15611 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.26
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 465 0 0 0 25 1 0 0 16 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15611 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915740

[startup+51.2146 s]
/proc/loadavg: 1.78 1.95 1.81 3/94 16651
/proc/meminfo: memFree=1305784/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=51.05
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 15870 0 11 0 5006 99 0 0 25 0 8 0 270040597 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15615 2497 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.27
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 469 0 0 0 26 1 0 0 17 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915740

[startup+102.429 s]
/proc/loadavg: 1.90 1.96 1.82 3/94 16651
/proc/meminfo: memFree=1305784/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=102.21
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16009 0 11 0 10083 138 0 0 25 0 8 0 270040597 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15746 2542 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1293 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.35
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 520 0 0 0 33 2 0 0 16 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915740

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

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

[startup+2084.29 s]
/proc/loadavg: 2.06 2.01 1.94 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2079.58
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 207815 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074143574 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.58
Current children cumulated vsize (KiB) 915740

[startup+2144.35 s]
/proc/loadavg: 2.02 2.01 1.94 3/94 16651
/proc/meminfo: memFree=1305400/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2139.32
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 213789 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074142712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.32
Current children cumulated vsize (KiB) 915740

[startup+2204.42 s]
/proc/loadavg: 2.04 2.02 1.95 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2199.06
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 219763 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.06
Current children cumulated vsize (KiB) 915740

[startup+2264.48 s]
/proc/loadavg: 2.01 2.01 1.95 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2258.78
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 225735 143 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074143565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.78
Current children cumulated vsize (KiB) 915740

[startup+2324.55 s]
/proc/loadavg: 2.05 2.02 1.95 3/94 16651
/proc/meminfo: memFree=1305464/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2318.54
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 231710 144 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074142030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.54
Current children cumulated vsize (KiB) 915740

[startup+2384.61 s]
/proc/loadavg: 2.02 2.02 1.95 3/94 16651
/proc/meminfo: memFree=1305400/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2378.29
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 237685 144 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.29
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2406.53 s]
/proc/loadavg: 2.01 2.02 1.95 3/100 16677
/proc/meminfo: memFree=1304256/2055920 swapFree=4158792/4192956
[pid=16562] ppid=16560 vsize=915740 CPUtime=2400.06
/proc/16562/stat : 16562 (java) R 16560 16562 16112 0 -1 0 16056 0 11 0 239862 144 0 0 25 0 8 0 270040597 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16562/statm: 228935 15774 2545 14 0 215405 0
[pid=16562/tid=16564] ppid=16560 vsize=915740 CPUtime=0.07
/proc/16562/task/16564/stat : 16564 (java) S 16560 16562 16112 0 -1 64 1294 0 0 0 7 0 0 0 16 0 8 0 270040600 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16565] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16565/stat : 16565 (java) S 16560 16562 16112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16566] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16566/stat : 16566 (java) S 16560 16562 16112 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270040601 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16567] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16567/stat : 16567 (java) S 16560 16562 16112 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16568] ppid=16560 vsize=915740 CPUtime=0.4
/proc/16562/task/16568/stat : 16568 (java) S 16560 16562 16112 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16562/tid=16569] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16569/stat : 16569 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16562/tid=16570] ppid=16560 vsize=915740 CPUtime=0
/proc/16562/task/16570/stat : 16570 (java) S 16560 16562 16112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270040604 937717760 15774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915740

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

Child status: 143
Real time (s): 2406.6
CPU time (s): 2400.12
CPU user time (s): 2398.66
CPU system time (s): 1.45778
CPU usage (%): 99.7309
Max. virtual memory (cumulated for all children) (KiB): 915776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.66
system time used= 1.45778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16079
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50399
involuntary context switches= 29898

runsolver used 2.84157 s user time and 7.8748 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Jan 19 14:20:57 UTC 2007


IDJOB= 275076
IDBENCH= 3288
IDSOLVER= 69
FILE ID= node14/275076-1169216456

PBS_JOBID= 3588913

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f99a84357d49704ce92e19e2187b6864

RANDOM SEED= 209485882

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1369616 kB
Buffers:         49680 kB
Cached:         527768 kB
SwapCached:       3272 kB
Active:         136288 kB
Inactive:       474072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1369616 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            2280 kB
Writeback:           0 kB
Mapped:          41940 kB
Slab:            60960 kB
Committed_AS:  8550024 kB
PageTables:       2132 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB



End job on node14 on Fri Jan 19 15:01:03 UTC 2007