Trace number 275720

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.13 2413.21

General information on the benchmark

NamepseudoSeries/
ssa/ssa-2670-141.xml
MD5SUM0c506b62d09cb6d96e76e839d1a3bf47
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3296
Best CPU time to get the best result obtained on this benchmark2400.02
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables1972
Number of constraints3297
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3297
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/275720-1169225934/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.54	     nbVariables=1972  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.54	       =>  wckTime=0.236  cpuTime=0.16  mem=9M819
0.54	   
0.54	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
1.08	     nbConstraints=3297  nbSingletonDomainVariables=30  nbConvertedConstraints=2828  nbConvertConstraintsChecks=779
1.08	     nbExtensionStructures=7  nbSharedExtensionStructures=2821  nbConflictsStructures=53
1.08	     nbSharedConflictsStructures=3244  nbSharedBinaryRepresentations=15  nbEvaluationManagers=46
1.08	     nbSharedEvaluationManagers=423  maxDegree=32  maxArity=5
1.08	       =>  wckTime=0.775  cpuTime=0.62  mem=29M372
1.16	   
1.16	   solver LocalSearchSolver being built... 
1.20	       =>  wckTime=0.893  cpuTime=0.66  mem=8M748
1.22	
1.22	s SATISFIABLE
1.22	o 2541
1.22	c 756
1.22	o 2554
1.22	c 743
1.22	o 2566
1.22	c 731
1.22	o 2578
1.22	c 719
1.23	o 2590
1.23	c 707
1.23	o 2602
1.23	c 695
1.23	o 2612
1.23	c 685
1.23	o 2622
1.23	c 675
1.23	o 2630
1.23	c 667
1.23	o 2638
1.23	c 659
1.23	o 2646
1.23	c 651
1.23	o 2653
1.23	c 644
1.23	o 2660
1.23	c 637
1.24	o 2667
1.24	c 630
1.24	o 2673
1.24	c 624
1.24	o 2679
1.24	c 618
1.24	o 2685
1.24	c 612
1.24	o 2690
1.24	c 607
1.24	o 2695
1.24	c 602
1.24	o 2700
1.24	c 597
1.24	o 2705
1.24	c 592
1.25	o 2709
1.25	c 588
1.25	o 2713
1.25	c 584
1.25	o 2717
1.25	c 580
1.25	o 2721
1.25	c 576
1.25	o 2725
1.25	c 572
1.25	o 2729
1.25	c 568
1.25	o 2733
1.25	c 564
1.25	o 2737
1.25	c 560
1.25	o 2740
1.25	c 557
1.26	o 2743
1.26	c 554
1.26	o 2746
1.26	c 551
1.26	o 2749
1.26	c 548
1.26	o 2752
1.26	c 545
1.26	o 2755
1.26	c 542
1.26	o 2758
1.26	c 539
1.26	o 2761
1.26	c 536
1.26	o 2764
1.26	c 533
1.26	o 2767
1.26	c 530
1.26	o 2770
1.26	c 527
1.26	o 2773
1.26	c 524
1.26	o 2776
1.26	c 521
1.27	o 2779
1.27	c 518
1.27	o 2782
1.27	c 515
1.27	o 2785
1.27	c 512
1.27	o 2788
1.27	c 509
1.27	o 2791
1.27	c 506
1.27	o 2794
1.27	c 503
1.27	o 2796
1.27	c 501
1.27	o 2798
1.27	c 499
1.27	o 2800
1.27	c 497
1.27	o 2802
1.27	c 495
1.27	o 2804
1.27	c 493
1.28	o 2806
1.28	c 491
1.28	o 2808
1.28	c 489
1.28	o 2810
1.28	c 487
1.28	o 2812
1.28	c 485
1.28	o 2814
1.28	c 483
1.28	o 2816
1.28	c 481
1.28	o 2818
1.28	c 479
1.28	o 2820
1.28	c 477
1.28	o 2822
1.28	c 475
1.28	o 2824
1.28	c 473
1.28	o 2826
1.28	c 471
1.28	o 2828
1.28	c 469
1.29	o 2830
1.29	c 467
1.29	o 2832
1.29	c 465
1.29	o 2834
1.29	c 463
1.29	o 2836
1.29	c 461
1.29	o 2838
1.29	c 459
1.29	o 2840
1.29	c 457
1.29	o 2842
1.29	c 455
1.29	o 2844
1.29	c 453
1.29	o 2846
1.29	c 451
1.29	o 2848
1.29	c 449
1.29	o 2850
1.29	c 447
1.30	o 2852
1.30	c 445
1.30	o 2854
1.30	c 443
1.30	o 2856
1.30	c 441
1.30	o 2858
1.30	c 439
1.30	o 2860
1.30	c 437
1.30	o 2862
1.30	c 435
1.30	o 2864
1.30	c 433
1.30	o 2866
1.30	c 431
1.30	o 2868
1.30	c 429
1.30	o 2870
1.30	c 427
1.30	o 2872
1.30	c 425
1.31	o 2874
1.31	c 423
1.31	o 2876
1.31	c 421
1.31	o 2878
1.31	c 419
1.31	o 2879
1.31	c 418
1.31	o 2880
1.31	c 417
1.31	o 2881
1.31	c 416
1.31	o 2882
1.31	c 415
1.31	o 2883
1.31	c 414
1.31	o 2884
1.31	c 413
1.31	o 2885
1.31	c 412
1.31	o 2886
1.31	c 411
1.32	o 2887
1.32	c 410
1.32	o 2888
1.32	c 409
1.32	o 2889
1.32	c 408
1.32	o 2890
1.32	c 407
1.32	o 2891
1.32	c 406
1.32	o 2892
1.32	c 405
1.32	o 2893
1.32	c 404
1.32	o 2894
1.32	c 403
1.32	o 2895
1.32	c 402
1.32	o 2896
1.32	c 401
1.32	o 2897
1.32	c 400
1.33	o 2898
1.33	c 399
1.33	o 2899
1.33	c 398
1.33	o 2900
1.33	c 397
1.33	o 2901
1.33	c 396
1.33	o 2902
1.33	c 395
1.33	o 2903
1.33	c 394
1.33	o 2904
1.33	c 393
1.33	o 2905
1.33	c 392
1.33	o 2906
1.33	c 391
1.34	o 2907
1.34	c 390
1.34	o 2908
1.34	c 389
1.34	o 2909
1.34	c 388
1.34	o 2910
1.34	c 387
1.34	o 2911
1.34	c 386
1.34	o 2912
1.34	c 385
1.34	o 2913
1.34	c 384
1.35	o 2914
1.35	c 383
1.35	o 2915
1.35	c 382
1.35	o 2916
1.35	c 381
1.35	o 2917
1.35	c 380
1.35	o 2918
1.35	c 379
1.35	o 2919
1.35	c 378
1.36	o 2920
1.36	c 377
1.36	o 2921
1.36	c 376
1.36	o 2922
1.36	c 375
1.36	o 2923
1.36	c 374
1.36	o 2924
1.36	c 373
1.36	o 2925
1.36	c 372
1.36	o 2926
1.36	c 371
1.37	o 2927
1.37	c 370
1.37	o 2928
1.37	c 369
1.37	o 2929
1.37	c 368
1.37	o 2930
1.37	c 367
1.37	o 2931
1.37	c 366
1.37	o 2932
1.37	c 365
1.37	o 2933
1.38	c 364
1.38	o 2934
1.38	c 363
1.38	o 2935
1.38	c 362
1.38	o 2936
1.38	c 361
1.38	o 2937
1.38	c 360
1.38	o 2938
1.38	c 359
1.38	o 2939
1.38	c 358
1.39	o 2940
1.39	c 357
1.39	o 2941
1.39	c 356
1.39	o 2942
1.39	c 355
1.39	o 2943
1.39	c 354
1.39	o 2944
1.39	c 353
1.39	o 2945
1.39	c 352
1.40	o 2946
1.40	c 351
1.40	o 2947
1.40	c 350
1.40	o 2948
1.40	c 349
1.40	o 2949
1.40	c 348
1.40	o 2950
1.40	c 347
1.40	o 2951
1.40	c 346
1.40	o 2952
1.40	c 345
1.41	o 2953
1.41	c 344
1.41	o 2954
1.41	c 343
1.41	o 2955
1.41	c 342
1.41	o 2956
1.41	c 341
1.41	o 2957
1.41	c 340
1.41	o 2958
1.41	c 339
1.41	o 2959
1.41	c 338
1.42	o 2960
1.42	c 337
1.42	o 2961
1.42	c 336
1.42	o 2962
1.42	c 335
1.42	o 2963
1.42	c 334
1.42	o 2964
1.42	c 333
1.42	o 2965
1.42	c 332
1.43	o 2966
1.43	c 331
1.43	o 2967
1.43	c 330
1.43	o 2968
1.43	c 329
1.43	o 2969
1.43	c 328
1.43	o 2970
1.43	c 327
1.43	o 2971
1.43	c 326
1.43	o 2972
1.43	c 325
1.44	o 2973
1.44	c 324
1.44	o 2974
1.44	c 323
1.44	o 2975
1.44	c 322
1.44	o 2976
1.44	c 321
1.44	o 2977
1.44	c 320
1.44	o 2978
1.44	c 319
1.44	o 2979
1.44	c 318
1.45	o 2980
1.45	c 317
1.45	o 2981
1.45	c 316
1.45	o 2982
1.45	c 315
1.45	o 2983
1.45	c 314
1.45	o 2984
1.45	c 313
1.45	o 2985
1.45	c 312
1.45	o 2986
1.45	c 311
1.45	o 2987
1.45	c 310
1.46	o 2988
1.46	c 309
1.46	o 2989
1.46	c 308
1.46	o 2990
1.46	c 307
1.46	o 2991
1.46	c 306
1.46	o 2992
1.46	c 305
1.46	o 2993
1.46	c 304
1.46	o 2994
1.46	c 303
1.47	o 2995
1.47	c 302
1.47	o 2996
1.47	c 301
1.47	o 2997
1.47	c 300
1.47	o 2998
1.47	c 299
1.47	o 2999
1.47	c 298
1.47	o 3000
1.47	c 297
1.47	o 3001
1.47	c 296
1.48	o 3002
1.48	c 295
1.48	o 3003
1.48	c 294
1.48	o 3004
1.48	c 293
1.48	o 3005
1.48	c 292
1.48	o 3006
1.48	c 291
1.48	o 3007
1.48	c 290
1.48	o 3008
1.48	c 289
1.48	o 3009
1.48	c 288
1.49	o 3010
1.49	c 287
1.49	o 3011
1.49	c 286
1.49	o 3012
1.49	c 285
1.49	o 3013
1.49	c 284
1.49	o 3014
1.49	c 283
1.49	o 3015
1.49	c 282
1.49	o 3016
1.49	c 281
1.49	o 3017
1.49	c 280
1.50	o 3018
1.50	c 279
1.50	o 3019
1.50	c 278
1.50	o 3020
1.50	c 277
1.50	o 3021
1.50	c 276
1.50	o 3022
1.50	c 275
1.50	o 3023
1.50	c 274
1.50	o 3024
1.50	c 273
1.51	o 3025
1.51	c 272
1.51	o 3026
1.51	c 271
1.51	o 3027
1.51	c 270
1.51	o 3028
1.51	c 269
1.51	o 3029
1.51	c 268
1.51	o 3030
1.51	c 267
1.51	o 3031
1.51	c 266
1.51	o 3032
1.51	c 265
1.51	o 3033
1.51	c 264
1.52	o 3034
1.52	c 263
1.52	o 3035
1.52	c 262
1.52	o 3036
1.52	c 261
1.52	o 3037
1.52	c 260
1.52	o 3038
1.52	c 259
1.52	o 3039
1.52	c 258
1.52	o 3040
1.52	c 257
1.52	o 3041
1.52	c 256
1.53	o 3042
1.53	c 255
1.53	o 3043
1.53	c 254
1.53	o 3044
1.53	c 253
1.53	o 3045
1.53	c 252
1.53	o 3046
1.53	c 251
1.53	o 3047
1.53	c 250
1.53	o 3048
1.53	c 249
1.53	o 3049
1.53	c 248
1.53	o 3050
1.53	c 247
1.54	o 3051
1.54	c 246
1.54	o 3052
1.54	c 245
1.54	o 3053
1.54	c 244
1.54	o 3054
1.54	c 243
1.54	o 3055
1.54	c 242
1.54	o 3056
1.54	c 241
1.54	o 3057
1.54	c 240
1.54	o 3058
1.54	c 239
1.55	o 3059
1.55	c 238
1.55	o 3060
1.55	c 237
1.55	o 3061
1.55	c 236
1.55	o 3062
1.55	c 235
1.55	o 3063
1.55	c 234
1.55	o 3064
1.55	c 233
1.55	o 3065
1.55	c 232
1.55	o 3066
1.55	c 231
1.55	o 3067
1.55	c 230
1.56	o 3068
1.56	c 229
1.56	o 3069
1.56	c 228
1.56	o 3070
1.56	c 227
1.56	o 3071
1.56	c 226
1.56	o 3072
1.56	c 225
1.56	o 3073
1.56	c 224
1.56	o 3074
1.56	c 223
1.56	o 3075
1.56	c 222
1.56	o 3076
1.56	c 221
1.57	o 3077
1.57	c 220
1.57	o 3078
1.57	c 219
1.57	o 3079
1.57	c 218
1.57	o 3080
1.57	c 217
1.57	o 3081
1.57	c 216
1.57	o 3082
1.57	c 215
1.57	o 3083
1.57	c 214
1.57	o 3084
1.57	c 213
1.57	o 3085
1.57	c 212
1.57	o 3086
1.57	c 211
1.58	o 3087
1.58	c 210
1.58	o 3088
1.58	c 209
1.58	o 3089
1.58	c 208
1.58	o 3090
1.58	c 207
1.58	o 3091
1.58	c 206
1.58	o 3092
1.58	c 205
1.58	o 3093
1.58	c 204
1.58	o 3094
1.58	c 203
1.58	o 3095
1.58	c 202
1.59	o 3096
1.59	c 201
1.59	o 3097
1.59	c 200
1.59	o 3098
1.59	c 199
1.59	o 3099
1.59	c 198
1.59	o 3100
1.59	c 197
1.59	o 3101
1.59	c 196
1.59	o 3102
1.59	c 195
1.59	o 3103
1.59	c 194
1.59	o 3104
1.59	c 193
1.60	o 3105
1.60	c 192
1.60	o 3106
1.60	c 191
1.60	o 3107
1.60	c 190
1.60	o 3108
1.60	c 189
1.60	o 3109
1.60	c 188
1.60	o 3110
1.60	c 187
1.60	o 3111
1.60	c 186
1.60	o 3112
1.60	c 185
1.60	o 3113
1.60	c 184
1.61	o 3114
1.61	c 183
1.61	o 3115
1.61	c 182
1.61	o 3116
1.61	c 181
1.61	o 3117
1.61	c 180
1.61	o 3118
1.61	c 179
1.61	o 3119
1.61	c 178
1.61	o 3120
1.61	c 177
1.62	o 3121
1.62	c 176
1.62	o 3122
1.62	c 175
1.62	o 3123
1.62	c 174
1.62	o 3124
1.62	c 173
1.62	o 3125
1.62	c 172
1.62	o 3126
1.62	c 171
1.62	o 3127
1.62	c 170
1.62	o 3128
1.62	c 169
1.62	o 3129
1.62	c 168
1.62	o 3130
1.62	c 167
1.63	o 3131
1.63	c 166
1.63	o 3132
1.63	c 165
1.63	o 3133
1.63	c 164
1.63	o 3134
1.63	c 163
1.63	o 3135
1.63	c 162
1.63	o 3136
1.63	c 161
1.63	o 3137
1.63	c 160
1.63	o 3138
1.63	c 159
1.63	o 3139
1.63	c 158
1.63	o 3140
1.63	c 157
1.63	o 3141
1.63	c 156
1.64	o 3142
1.64	c 155
1.64	o 3143
1.64	c 154
1.64	o 3144
1.64	c 153
1.65	o 3145
1.65	c 152
1.65	o 3146
1.65	c 151
1.65	o 3147
1.65	c 150
1.65	o 3148
1.65	c 149
1.71	o 3149
1.71	c 148
1.72	o 3150
1.72	c 147
1.72	o 3151
1.72	c 146
1.72	o 3152
1.72	c 145
1.72	o 3153
1.72	c 144
1.72	o 3154
1.72	c 143
1.72	o 3155
1.72	c 142
1.73	o 3156
1.73	c 141
1.73	o 3157
1.73	c 140
1.73	o 3158
1.73	c 139
1.73	o 3160
1.73	c 137
1.73	o 3165
1.73	c 132
1.73	o 3166
1.73	c 131
1.73	o 3167
1.73	c 130
1.73	o 3168
1.73	c 129
1.73	o 3170
1.73	c 127
1.74	o 3171
1.74	c 126
1.74	o 3172
1.74	c 125
1.74	o 3173
1.74	c 124
1.74	o 3174
1.74	c 123
1.74	o 3175
1.74	c 122
1.74	o 3176
1.74	c 121
1.74	o 3177
1.74	c 120
1.74	o 3178
1.74	c 119
1.75	o 3179
1.75	c 118
1.75	o 3180
1.75	c 117
1.75	o 3181
1.75	c 116
1.75	o 3182
1.75	c 115
1.75	o 3183
1.75	c 114
1.75	o 3184
1.75	c 113
1.75	o 3185
1.76	c 112
1.76	o 3186
1.76	c 111
1.76	o 3187
1.76	c 110
1.76	o 3188
1.76	c 109
1.76	o 3189
1.76	c 108
1.76	o 3190
1.76	c 107
1.76	o 3191
1.76	c 106
1.76	o 3192
1.76	c 105
1.76	o 3193
1.76	c 104
1.76	o 3194
1.76	c 103
1.77	o 3195
1.77	c 102
1.77	o 3196
1.77	c 101
1.77	o 3197
1.77	c 100
1.77	o 3198
1.77	c 99
1.77	o 3199
1.77	c 98
1.77	o 3200
1.77	c 97
1.77	o 3201
1.77	c 96
1.78	o 3202
1.78	c 95
1.78	o 3204
1.78	c 93
1.79	o 3207
1.79	c 90
1.79	o 3208
1.79	c 89
1.79	o 3209
1.79	c 88
1.79	o 3210
1.79	c 87
1.79	o 3211
1.79	c 86
1.79	o 3212
1.79	c 85
1.79	o 3213
1.79	c 84
1.81	o 3214
1.81	c 83
1.82	o 3215
1.82	c 82
1.82	o 3216
1.82	c 81
1.84	o 3217
1.84	c 80
1.84	o 3218
1.84	c 79
1.84	o 3219
1.84	c 78
1.87	o 3220
1.87	c 77
1.87	o 3221
1.87	c 76
1.87	o 3223
1.87	c 74
1.87	o 3224
1.87	c 73
1.87	o 3225
1.87	c 72
1.88	o 3226
1.88	c 71
1.89	o 3227
1.89	c 70
1.90	o 3228
1.90	c 69
1.90	o 3229
1.90	c 68
1.90	o 3230
1.90	c 67
1.90	o 3231
1.90	c 66
1.90	o 3232
1.90	c 65
1.90	o 3233
1.90	c 64
1.90	o 3234
1.90	c 63
1.90	o 3235
1.90	c 62
1.90	o 3236
1.90	c 61
1.90	o 3237
1.90	c 60
1.93	o 3238
1.93	c 59
1.93	o 3239
1.93	c 58
1.93	o 3240
1.93	c 57
1.93	o 3241
1.93	c 56
1.95	o 3242
1.95	c 55
1.95	o 3243
1.95	c 54
1.95	o 3248
1.95	c 49
1.97	o 3249
1.97	c 48
1.98	o 3250
1.98	c 47
1.98	o 3251
1.98	c 46
1.98	o 3252
1.98	c 45
1.98	o 3253
1.98	c 44
1.99	o 3254
1.99	c 43
1.99	o 3255
1.99	c 42
1.99	o 3256
1.99	c 41
1.99	o 3257
1.99	c 40
1.99	o 3258
1.99	c 39
1.99	o 3259
1.99	c 38
2.03	o 3260
2.03	c 37
2.03	o 3261
2.03	c 36
2.03	o 3262
2.03	c 35
2.04	o 3263
2.04	c 34
2.05	o 3264
2.05	c 33
2.14	o 3265
2.14	c 32
2.17	o 3268
2.17	c 29
2.17	o 3269
2.17	c 28
2.17	o 3270
2.17	c 27
2.18	o 3271
2.18	c 26
2.20	o 3272
2.20	c 25
2.20	o 3273
2.20	c 24
2.22	o 3274
2.22	c 23
2.22	o 3275
2.22	c 22
2.24	o 3276
2.24	c 21
2.30	o 3277
2.30	c 20
2.30	o 3278
2.30	c 19
2.32	o 3279
2.32	c 18
2.33	o 3280
2.33	c 17
2.35	o 3281
2.35	c 16
2.35	o 3282
2.35	c 15
2.39	o 3283
2.39	c 14
2.41	o 3284
2.41	c 13
2.43	o 3285
2.43	c 12
2.48	o 3286
2.48	c 11
2.51	o 3287
2.51	c 10
2.53	o 3288
2.53	c 9
2.68	o 3289
2.68	c 8
2.68	o 3290
2.68	c 7
2.70	o 3291
2.70	c 6
2.70	o 3292
2.70	c 5
2.73	o 3293
2.73	c 4
2.78	o 3294
2.78	c 3
3.24	   
3.25	   search
3.25	     run=0  nbConstraintChecks=2361241  nbAssignments=10000
3.25	       =>  wckTime=2.047  cpuTime=1.97  mem=8M748
4.18	o 3295
4.18	c 2
4.43	o 3296
4.43	c 1
4.43	   
4.43	   search
4.43	     run=1  nbConstraintChecks=4065284  nbAssignments=15783
4.43	       =>  wckTime=3.231  cpuTime=3.14  mem=8M748
4.43	   
4.43	   global
4.43	     nbConstraintChecks=4065284  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.43	     solvingWckTime=3.226  solvingCpuTime=3.14  expiredTime=no  totalExploration=no  nbFoundSolutions=0
4.43	     globalCpuTime=3.84
4.43	       =>  wckTime=4.125  cpuTime=3.8  mem=8M748
4.43	   
4.43	   solver IterativeSystematicSolver being built... 
4.68	       =>  wckTime=4.377  cpuTime=3.99  mem=30M282
14.59	   
14.59	   preprocessing
14.59	     nbConstraintChecks=2994563  nbValidityChecks=508475  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
14.59	     nbRemovedValues=0  detectedInconsistency=no
14.59	       =>  wckTime=9.906  cpuTime=9.83  mem=31M255
16.41	   
16.41	   search
16.41	     run=0  nbConstraintChecks=1025714  nbValidityChecks=226223  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
16.41	     nbAssignments=324  nbFailedAssignments=3  nbBacktracks=14  nbVisitedNodes=328  nbRestartNogoods=0
16.41	       =>  wckTime=11.729  cpuTime=11.63  mem=31M255
18.15	   
18.15	   search
18.15	     run=1  nbConstraintChecks=2042909  nbValidityChecks=450510  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
18.15	     nbAssignments=647  nbFailedAssignments=4  nbBacktracks=47  nbVisitedNodes=652  nbRestartNogoods=3
18.15	       =>  wckTime=13.463  cpuTime=13.35  mem=31M255
19.76	   
19.76	   search
19.76	     run=2  nbConstraintChecks=2975226  nbValidityChecks=654173  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
19.76	     nbAssignments=947  nbFailedAssignments=5  nbBacktracks=69  nbVisitedNodes=953  nbRestartNogoods=4
19.76	       =>  wckTime=15.077  cpuTime=14.96  mem=31M255
21.46	   
21.46	   search
21.46	     run=3  nbConstraintChecks=3972414  nbValidityChecks=874785  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
21.46	     nbAssignments=1257  nbFailedAssignments=7  nbBacktracks=106  nbVisitedNodes=1265  nbRestartNogoods=5
21.46	       =>  wckTime=16.77  cpuTime=16.64  mem=31M255
23.33	   
23.33	   search
23.33	     run=4  nbConstraintChecks=5007881  nbValidityChecks=1105473  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
23.33	     nbAssignments=1578  nbFailedAssignments=12  nbBacktracks=158  nbVisitedNodes=1591  nbRestartNogoods=7
23.33	       =>  wckTime=18.645  cpuTime=18.5  mem=31M255
25.51	   
25.51	   search
25.51	     run=5  nbConstraintChecks=6246794  nbValidityChecks=1391871  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
25.51	     nbAssignments=1946  nbFailedAssignments=21  nbBacktracks=245  nbVisitedNodes=1968  nbRestartNogoods=12
25.51	       =>  wckTime=20.825  cpuTime=20.67  mem=31M255
27.84	   
27.84	   search
27.84	     run=6  nbConstraintChecks=7511776  nbValidityChecks=1674827  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
27.84	     nbAssignments=2332  nbFailedAssignments=35  nbBacktracks=375  nbVisitedNodes=2370  nbRestartNogoods=15
27.84	       =>  wckTime=23.153  cpuTime=22.98  mem=31M255
30.66	   
30.66	   search
30.66	     run=7  nbConstraintChecks=9014391  nbValidityChecks=2019140  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.66	     nbAssignments=2793  nbFailedAssignments=48  nbBacktracks=546  nbVisitedNodes=2845  nbRestartNogoods=16
30.66	       =>  wckTime=25.974  cpuTime=25.79  mem=31M255
33.92	   
33.92	   search
33.92	     run=8  nbConstraintChecks=10640173  nbValidityChecks=2392566  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.92	     nbAssignments=3274  nbFailedAssignments=71  nbBacktracks=802  nbVisitedNodes=3352  nbRestartNogoods=21
33.92	       =>  wckTime=29.24  cpuTime=29.03  mem=31M255
37.99	   
37.99	   search
37.99	     run=9  nbConstraintChecks=12840193  nbValidityChecks=2912903  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.99	     nbAssignments=3909  nbFailedAssignments=99  nbBacktracks=1197  nbVisitedNodes=4015  nbRestartNogoods=23
37.99	       =>  wckTime=33.31  cpuTime=33.09  mem=31M255
44.76	   
44.76	   search
44.76	     run=10  nbConstraintChecks=15818258  nbValidityChecks=3601879  nbPropagations=0  nbRevisions=0
44.76	     nbUselessRevisions=0  nbAssignments=4751  nbFailedAssignments=156  nbBacktracks=1787  nbVisitedNodes=4918
44.76	     nbRestartNogoods=26
44.76	       =>  wckTime=40.072  cpuTime=39.81  mem=31M255
53.94	   
53.94	   search
53.94	     run=11  nbConstraintChecks=20013049  nbValidityChecks=4583840  nbPropagations=0  nbRevisions=0
53.94	     nbUselessRevisions=0  nbAssignments=5907  nbFailedAssignments=239  nbBacktracks=2662  nbVisitedNodes=6166
53.94	     nbRestartNogoods=30
53.94	       =>  wckTime=49.258  cpuTime=48.95  mem=31M255
65.04	   
65.04	   search
65.04	     run=12  nbConstraintChecks=25290933  nbValidityChecks=5763668  nbPropagations=0  nbRevisions=0
65.04	     nbUselessRevisions=0  nbAssignments=7470  nbFailedAssignments=366  nbBacktracks=3997  nbVisitedNodes=7859
65.04	     nbRestartNogoods=35
65.04	       =>  wckTime=60.358  cpuTime=60.01  mem=31M255
84.08	   
84.08	   search
84.08	     run=13  nbConstraintChecks=34087701  nbValidityChecks=7857874  nbPropagations=0  nbRevisions=0
84.08	     nbUselessRevisions=0  nbAssignments=9820  nbFailedAssignments=546  nbBacktracks=5950  nbVisitedNodes=10412
84.08	     nbRestartNogoods=37
84.08	       =>  wckTime=79.401  cpuTime=78.95  mem=31M255
110.82	   
110.82	   search
110.82	     run=14  nbConstraintChecks=46943897  nbValidityChecks=10952837  nbPropagations=0  nbRevisions=0
110.82	     nbUselessRevisions=0  nbAssignments=13202  nbFailedAssignments=814  nbBacktracks=8884  nbVisitedNodes=14086
110.82	     nbRestartNogoods=41
110.82	       =>  wckTime=106.134  cpuTime=105.58  mem=31M255
152.43	   
152.43	   search
152.43	     run=15  nbConstraintChecks=66150382  nbValidityChecks=15594413  nbPropagations=0  nbRevisions=0
152.43	     nbUselessRevisions=0  nbAssignments=18258  nbFailedAssignments=1247  nbBacktracks=13268  nbVisitedNodes=19613
152.43	     nbRestartNogoods=44
152.43	       =>  wckTime=147.747  cpuTime=146.9  mem=31M255
211.34	   
211.34	   search
211.34	     run=16  nbConstraintChecks=93936708  nbValidityChecks=22413681  nbPropagations=0  nbRevisions=0
211.34	     nbUselessRevisions=0  nbAssignments=25617  nbFailedAssignments=1838  nbBacktracks=19839  nbVisitedNodes=27623
211.34	     nbRestartNogoods=52
211.34	       =>  wckTime=206.658  cpuTime=205.45  mem=31M255
306.62	   
306.62	   search
306.62	     run=17  nbConstraintChecks=136578802  nbValidityChecks=32630642  nbPropagations=0  nbRevisions=0
306.62	     nbUselessRevisions=0  nbAssignments=36663  nbFailedAssignments=2830  nbBacktracks=29709  nbVisitedNodes=39758
306.62	     nbRestartNogoods=58
306.62	       =>  wckTime=301.937  cpuTime=300.17  mem=31M255
441.50	   
441.50	   search
441.50	     run=18  nbConstraintChecks=200596443  nbValidityChecks=48200185  nbPropagations=0  nbRevisions=0
441.50	     nbUselessRevisions=0  nbAssignments=53018  nbFailedAssignments=4176  nbBacktracks=44510  nbVisitedNodes=57570
441.50	     nbRestartNogoods=69
441.50	       =>  wckTime=436.82  cpuTime=433.83  mem=31M255
661.46	   
661.46	   search
661.46	     run=19  nbConstraintChecks=299099524  nbValidityChecks=71877559  nbPropagations=0  nbRevisions=0
661.46	     nbUselessRevisions=0  nbAssignments=77665  nbFailedAssignments=6434  nbBacktracks=66690  nbVisitedNodes=84738
661.46	     nbRestartNogoods=80
661.46	       =>  wckTime=656.779  cpuTime=651.78  mem=31M255
981.81	   
981.81	   search
981.81	     run=20  nbConstraintChecks=443417474  nbValidityChecks=106910999  nbPropagations=0  nbRevisions=0
981.81	     nbUselessRevisions=0  nbAssignments=114387  nbFailedAssignments=9670  nbBacktracks=99955  nbVisitedNodes=125066
981.81	     nbRestartNogoods=89
981.81	       =>  wckTime=977.131  cpuTime=969.11  mem=31M255
1477.61	   
1477.61	   search
1477.61	     run=21  nbConstraintChecks=662190694  nbValidityChecks=159348993  nbPropagations=0  nbRevisions=0
1477.61	     nbUselessRevisions=0  nbAssignments=169896  nbFailedAssignments=15076  nbBacktracks=149833  nbVisitedNodes=186711
1477.61	     nbRestartNogoods=106
1477.61	       =>  wckTime=1472.93  cpuTime=1460.37  mem=31M255
2186.01	   
2186.01	   search
2186.01	     run=22  nbConstraintChecks=955018432  nbValidityChecks=221365075  nbPropagations=0  nbRevisions=0
2186.01	     nbUselessRevisions=0  nbAssignments=252913  nbFailedAssignments=23100  nbBacktracks=224652  nbVisitedNodes=278590
2186.01	     nbRestartNogoods=114
2186.01	       =>  wckTime=2181.322  cpuTime=2168.3  mem=31M255
2413.17	v 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0

Verifier Data (download as text)

1 unsatisfied constraints, 3296 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/node75/watcher-275720-1169225934 -o ROOT/results/node75/solver-275720-1169225934 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275720-1169225934/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.04 1.96 1.62 4/74 31105
/proc/meminfo: memFree=746304/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=18540 CPUtime=0
/proc/31104/stat : 31104 (runsolver) R 31102 31104 30870 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270992822 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31104/statm: 4635 279 244 17 0 2626 0

[startup+0.107737 s]
/proc/loadavg: 2.04 1.96 1.62 4/74 31105
/proc/meminfo: memFree=746304/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=914988 CPUtime=0.09
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 3047 0 1 0 8 1 0 0 22 0 8 0 270992822 936947712 2793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228747 2794 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515784 s]
/proc/loadavg: 2.04 1.96 1.62 4/74 31105
/proc/meminfo: memFree=746304/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915332 CPUtime=0.48
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 6731 0 1 0 45 3 0 0 25 0 8 0 270992822 937299968 6470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228833 6470 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33688 s]
/proc/loadavg: 2.04 1.96 1.62 4/81 31112
/proc/meminfo: memFree=708616/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915740 CPUtime=1.28
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13079 0 1 0 109 19 0 0 25 0 8 0 270992822 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228935 12816 2499 14 0 215405 0
[pid=31104/tid=31106] ppid=31102 vsize=915740 CPUtime=0.05
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 966 0 0 0 5 0 0 0 16 0 8 0 270992826 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915740 CPUtime=0.21
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 445 0 0 0 21 0 0 0 15 0 8 0 270992829 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937717760 12816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915740

[startup+2.97708 s]
/proc/loadavg: 2.04 1.96 1.62 3/81 31112
/proc/meminfo: memFree=704648/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915740 CPUtime=2.89
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13091 0 1 0 239 50 0 0 25 0 8 0 270992822 937717760 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228936 12827 2499 14 0 215406 0
[pid=31104/tid=31106] ppid=31102 vsize=915740 CPUtime=0.05
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 966 0 0 0 5 0 0 0 17 0 8 0 270992826 937717760 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937717760 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937717760 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937717760 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915744 CPUtime=0.23
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 456 0 0 0 23 0 0 0 16 0 8 0 270992829 937721856 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915740 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937717760 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915744 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937721856 12827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915740

[startup+6.18246 s]
/proc/loadavg: 2.04 1.96 1.62 3/81 31112
/proc/meminfo: memFree=704136/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=6.09
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13270 0 1 0 527 82 0 0 25 0 8 0 270992822 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074218944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228970 13005 2547 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.05
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 966 0 0 0 5 0 0 0 17 0 8 0 270992826 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.33
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 521 0 0 0 32 1 0 0 15 0 8 0 270992829 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915880

[startup+12.6542 s]
/proc/loadavg: 2.04 1.96 1.62 3/81 31112
/proc/meminfo: memFree=704136/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=12.54
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13281 0 1 0 1172 82 0 0 25 0 8 0 270992822 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074209315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228970 13012 2547 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.05
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 966 0 0 0 5 0 0 0 17 0 8 0 270992826 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.35
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 529 0 0 0 34 1 0 0 15 0 8 0 270992829 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915880

[startup+25.5177 s]
/proc/loadavg: 2.11 1.98 1.64 3/81 31112
/proc/meminfo: memFree=704072/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=25.35
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13314 0 1 0 2453 82 0 0 25 0 8 0 270992822 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228970 13036 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.38
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 547 0 0 0 37 1 0 0 16 0 8 0 270992829 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915880

[startup+51.1378 s]
/proc/loadavg: 2.07 1.98 1.64 3/81 31112
/proc/meminfo: memFree=704072/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=50.84
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13322 0 1 0 5001 83 0 0 25 0 8 0 270992822 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228970 13040 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 554 0 0 0 38 1 0 0 17 0 8 0 270992829 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915880

[startup+102.372 s]
/proc/loadavg: 2.10 2.00 1.66 3/81 31112
/proc/meminfo: memFree=704072/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=101.84
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13324 0 1 0 10101 83 0 0 25 0 8 0 270992822 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31104/statm: 228970 13041 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 555 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915880

[startup+162.465 s]
/proc/loadavg: 2.08 2.01 1.69 3/87 31236
/proc/meminfo: memFree=702608/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=161.56
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13324 0 1 0 16065 91 0 0 25 0 8 0 270992822 937861120 13041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074174243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2012.12
Current children cumulated vsize (KiB) 915880

[startup+2085.18 s]
/proc/loadavg: 2.05 2.03 1.95 3/88 31387
/proc/meminfo: memFree=1083552/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=2072.19
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13328 0 1 0 207116 103 0 0 25 0 8 0 270992822 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31104/statm: 228970 13043 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 558 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2072.19
Current children cumulated vsize (KiB) 915880

[startup+2145.18 s]
/proc/loadavg: 2.09 2.04 1.95 3/88 31387
/proc/meminfo: memFree=1083488/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=2132.18
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13328 0 1 0 213115 103 0 0 25 0 8 0 270992822 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074281645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31104/statm: 228970 13043 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 558 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2132.18
Current children cumulated vsize (KiB) 915880

[startup+2205.18 s]
/proc/loadavg: 2.09 2.05 1.96 3/88 31387
/proc/meminfo: memFree=1083552/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=2192.17
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13328 0 1 0 219113 104 0 0 25 0 8 0 270992822 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074183984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31104/statm: 228970 13043 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 558 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.17
Current children cumulated vsize (KiB) 915880

[startup+2265.28 s]
/proc/loadavg: 2.03 2.03 1.96 3/88 31387
/proc/meminfo: memFree=1083552/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=2252.24
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13328 0 1 0 225120 104 0 0 25 0 8 0 270992822 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31104/statm: 228970 13043 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 558 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.24
Current children cumulated vsize (KiB) 915880

[startup+2325.28 s]
/proc/loadavg: 2.20 2.07 1.97 3/88 31387
/proc/meminfo: memFree=1083488/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=2312.23
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13328 0 1 0 231119 104 0 0 25 0 8 0 270992822 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074174243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31104/statm: 228970 13043 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 558 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2312.23
Current children cumulated vsize (KiB) 915880

[startup+2385.38 s]
/proc/loadavg: 2.11 2.07 1.98 3/88 31387
/proc/meminfo: memFree=1083552/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=2372.3
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13328 0 1 0 237126 104 0 0 25 0 8 0 270992822 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31104/statm: 228970 13043 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 558 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2372.3
Current children cumulated vsize (KiB) 915880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.16 s]
/proc/loadavg: 2.07 2.06 1.98 3/88 31387
/proc/meminfo: memFree=1083488/2055920 swapFree=4184548/4192956
[pid=31104] ppid=31102 vsize=915880 CPUtime=2400.09
/proc/31104/stat : 31104 (java) R 31102 31104 30870 0 -1 0 13328 0 1 0 239905 104 0 0 25 0 8 0 270992822 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31104/statm: 228970 13043 2552 14 0 215440 0
[pid=31104/tid=31106] ppid=31102 vsize=915880 CPUtime=0.06
/proc/31104/task/31106/stat : 31106 (java) S 31102 31104 30870 0 -1 64 967 0 0 0 6 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31107] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31107/stat : 31107 (java) S 31102 31104 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31108] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31108/stat : 31108 (java) S 31102 31104 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270992826 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31109] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31109/stat : 31109 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31110] ppid=31102 vsize=915880 CPUtime=0.39
/proc/31104/task/31110/stat : 31110 (java) S 31102 31104 30870 0 -1 64 558 0 0 0 38 1 0 0 16 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31111] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31111/stat : 31111 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31104/tid=31112] ppid=31102 vsize=915880 CPUtime=0
/proc/31104/task/31112/stat : 31112 (java) S 31102 31104 30870 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270992829 937861120 13043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915880

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

Child status: 143
Real time (s): 2413.21
CPU time (s): 2400.13
CPU user time (s): 2399.08
CPU system time (s): 1.05084
CPU usage (%): 99.4581
Max. virtual memory (cumulated for all children) (KiB): 915880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.08
system time used= 1.05084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13358
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50705
involuntary context switches= 63438

runsolver used 2.70159 s user time and 8.01478 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Fri Jan 19 16:58:54 UTC 2007


IDJOB= 275720
IDBENCH= 4597
IDSOLVER= 68
FILE ID= node75/275720-1169225934

PBS_JOBID= 3589221

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ssa/ssa-2670-141.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275720-1169225934/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-275720-1169225934 -o ROOT/results/node75/solver-275720-1169225934 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275720-1169225934/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0c506b62d09cb6d96e76e839d1a3bf47

RANDOM SEED= 468694452

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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        746656 kB
Buffers:         48524 kB
Cached:         780256 kB
SwapCached:       2452 kB
Active:         785588 kB
Inactive:       450444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        746656 kB
SwapTotal:     4192956 kB
SwapFree:      4184548 kB
Dirty:            2132 kB
Writeback:           0 kB
Mapped:         414888 kB
Slab:            57724 kB
Committed_AS:  5672676 kB
PageTables:       2576 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB



End job on node75 on Fri Jan 19 17:39:08 UTC 2007