Trace number 1114082

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? (problem) 103.779 104.353

DiagnosticValue
CHECKS4783750
NODES0

General information on the benchmark

Namecsp/fapp/fapp18/
normalized-fapp18-0350-6.xml
MD5SUM78f33be6cc0faf5bde59c1fce35f8c02
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints15
Best CPU time to get the best result obtained on this benchmark3600.06
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of constraints3812
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3812
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.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-ddeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1114082-1215896562.xml
0.29/0.32	   
0.29/0.32	   domains being loaded...
0.29/0.35	   
0.29/0.35	   variables being loaded...
0.38/0.42	     nbVariables=350  nbDomainTypes=11  minDomainSize=42  maxDomainSize=302  nbTotalValues=73016
0.38/0.42	       =>  wckTime=0.179  cpuTime=0.13  mem=9M795
0.38/0.42	   
0.38/0.42	   predicates being loaded...
0.38/0.49	   
0.38/0.49	   constraints being loaded...
10.44/10.56	   
10.44/10.56	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 15M879)
11.13/11.26	     nbConstraints=3812  nbConvertedConstraints=1141  nbConvertConstraintsChecks=37396424  nbExtensionStructures=894
11.13/11.26	     nbSharedExtensionStructures=455  nbConflictsStructures=1207  nbSharedConflictsStructures=619
11.13/11.26	     nbUnbuiltConflictsStructures=1413  nbSharedBinaryRepresentations=335629  nbEvaluationManagers=1726
11.13/11.26	     nbSharedEvaluationManagers=945  minDegree=7  maxDegree=32  minArity=2  maxArity=2
11.13/11.26	       =>  wckTime=11.012  cpuTime=10.66  mem=40M535
11.23/11.40	   
11.33/11.40	   solver LocalSearchSolver being built... 
11.33/11.44	       =>  wckTime=11.197  cpuTime=10.7  mem=15M798
11.33/11.49	
11.33/11.49	s SATISFIABLE
11.33/11.49	o 1109
11.43/11.51	o 1101
11.43/11.53	o 1092
11.43/11.54	o 1091
11.43/11.55	o 1087
11.43/11.56	o 1083
11.43/11.57	o 1079
11.43/11.58	o 1077
11.43/11.59	o 1071
11.53/11.60	o 1066
11.53/11.61	o 1062
11.53/11.62	o 1058
11.53/11.63	o 1054
11.53/11.63	o 1050
11.53/11.64	o 1048
11.53/11.65	o 1046
11.53/11.65	o 1042
11.53/11.66	o 1037
11.53/11.67	o 1035
11.53/11.67	o 1030
11.53/11.68	o 1025
11.53/11.69	o 1022
11.53/11.69	o 1018
11.63/11.70	o 1014
11.63/11.70	o 1011
11.63/11.72	o 1010
11.63/11.73	o 1004
11.63/11.74	o 996
11.63/11.75	o 994
11.63/11.76	o 989
11.63/11.76	o 986
11.63/11.78	o 984
11.63/11.79	o 980
11.74/11.80	o 979
11.74/11.80	o 975
11.74/11.81	o 971
11.74/11.81	o 966
11.74/11.82	o 962
11.74/11.83	o 958
11.74/11.84	o 954
11.74/11.85	o 952
11.74/11.86	o 950
11.74/11.87	o 948
11.74/11.88	o 945
11.74/11.89	o 941
11.74/11.89	o 935
11.83/11.92	o 933
11.83/11.92	o 925
11.83/11.92	o 919
11.83/11.93	o 916
11.83/11.93	o 911
11.83/11.94	o 910
11.83/11.94	o 906
11.83/11.95	o 901
11.83/11.97	o 895
11.83/11.98	o 891
11.93/12.01	o 890
11.93/12.04	o 888
11.93/12.05	o 884
11.93/12.07	o 881
11.93/12.08	o 877
11.93/12.09	o 873
11.93/12.10	o 868
12.03/12.11	o 867
12.03/12.13	o 865
12.03/12.14	o 863
12.03/12.15	o 859
12.03/12.16	o 855
12.03/12.16	o 851
12.03/12.19	o 848
12.13/12.20	o 842
12.13/12.21	o 841
12.13/12.23	o 834
12.13/12.24	o 830
12.13/12.25	o 828
12.13/12.26	o 826
12.13/12.27	o 820
12.13/12.28	o 817
12.13/12.29	o 816
12.23/12.30	o 814
12.23/12.31	o 813
12.23/12.34	o 809
12.23/12.35	o 807
12.23/12.36	o 806
12.23/12.37	o 801
12.23/12.39	o 799
12.33/12.40	o 798
12.33/12.43	o 792
12.33/12.44	o 790
12.33/12.46	o 787
12.42/12.50	o 785
12.42/12.53	o 778
12.42/12.54	o 776
12.42/12.55	o 774
12.42/12.57	o 771
12.52/12.60	o 770
12.52/12.62	o 769
12.52/12.63	o 768
12.52/12.64	o 767
12.52/12.67	o 763
12.52/12.68	o 758
12.52/12.69	o 755
12.62/12.71	o 754
12.62/12.73	o 751
12.62/12.76	o 750
12.72/12.81	o 748
12.72/12.85	o 746
12.72/12.87	o 744
12.82/12.93	o 742
12.82/12.98	o 740
12.92/13.00	o 738
12.92/13.02	o 736
12.92/13.04	o 735
12.92/13.06	o 732
12.92/13.09	o 728
13.02/13.10	o 725
13.02/13.12	o 724
13.02/13.14	o 723
13.02/13.15	o 721
13.02/13.17	o 717
13.02/13.19	o 714
13.12/13.21	o 712
13.12/13.24	o 710
13.12/13.28	o 709
13.21/13.34	o 707
13.21/13.38	o 703
13.21/13.40	o 700
13.31/13.43	o 699
13.31/13.44	o 696
13.31/13.46	o 693
13.31/13.48	o 689
13.31/13.50	o 686
13.42/13.51	o 682
13.42/13.55	o 678
13.42/13.57	o 677
13.42/13.58	o 675
13.42/13.59	o 671
13.52/13.61	o 669
13.52/13.63	o 668
13.52/13.64	o 664
13.52/13.65	o 662
13.52/13.66	o 660
13.52/13.68	o 657
13.52/13.69	o 652
13.62/13.71	o 651
13.62/13.75	o 650
13.62/13.79	o 649
13.72/13.82	o 647
13.72/13.84	o 646
13.72/13.86	o 644
13.72/13.88	o 642
13.82/13.92	o 641
13.82/13.94	o 640
13.82/13.96	o 638
13.92/14.01	o 636
14.02/14.20	o 635
14.12/14.24	o 634
14.12/14.27	o 630
14.12/14.29	o 629
14.22/14.31	o 626
14.22/14.34	o 622
14.22/14.37	o 620
14.31/14.43	o 618
14.31/14.48	o 616
14.41/14.51	o 614
14.41/14.54	o 612
14.41/14.56	o 609
14.41/14.59	o 608
14.51/14.61	o 605
14.61/14.73	o 604
14.61/14.76	o 601
14.61/14.79	o 598
14.71/14.82	o 595
14.71/14.88	o 594
14.81/14.98	o 593
14.91/15.01	o 590
14.91/15.07	o 587
14.91/15.09	o 584
15.01/15.12	o 581
15.01/15.19	o 579
15.11/15.21	o 577
15.11/15.26	o 572
15.21/15.33	o 570
15.21/15.36	o 569
15.21/15.39	o 568
15.31/15.41	o 566
15.31/15.44	o 565
15.31/15.46	o 564
15.40/15.52	o 563
15.40/15.55	o 562
15.40/15.57	o 561
15.50/15.68	o 558
15.60/15.72	o 557
15.70/15.82	o 555
15.70/15.84	o 552
15.70/15.87	o 551
15.70/15.89	o 550
15.80/15.99	o 548
15.90/16.02	o 547
15.90/16.07	o 543
16.10/16.24	o 542
16.69/16.81	o 541
16.69/16.87	o 538
16.79/16.90	o 537
16.79/16.93	o 535
16.79/16.99	o 534
16.89/17.03	o 531
16.99/17.13	o 530
16.99/17.17	o 529
16.99/17.20	o 527
17.39/17.60	o 526
17.49/17.63	o 525
17.80/17.93	o 524
17.80/17.97	o 523
18.00/18.17	o 522
18.10/18.20	o 520
18.10/18.23	o 517
18.20/18.32	o 516
18.20/18.36	o 515
18.20/18.40	o 514
18.29/18.44	o 513
18.39/18.56	o 511
18.49/18.60	o 508
19.09/19.27	o 507
19.19/19.34	o 504
19.29/19.44	o 502
19.49/19.65	o 501
19.68/19.83	o 500
19.68/19.89	o 498
19.78/19.99	o 497
19.88/20.03	o 494
19.98/20.11	o 493
20.08/20.27	o 492
20.18/20.32	o 490
20.28/20.46	o 489
20.38/20.51	o 488
20.48/20.61	o 487
20.48/20.66	o 485
20.97/21.17	o 484
21.07/21.25	o 483
21.17/21.30	o 482
21.17/21.34	o 480
21.17/21.39	o 478
21.27/21.47	o 477
21.47/21.60	o 473
21.47/21.65	o 471
21.47/21.69	o 470
23.07/23.25	o 469
23.17/23.31	o 468
24.16/24.31	o 467
24.16/24.37	o 466
24.26/24.42	o 465
24.46/24.65	o 463
24.46/24.67	o 461
24.56/24.73	o 460
24.56/24.77	o 457
25.65/25.82	o 455
25.65/25.87	o 454
25.75/25.98	o 453
25.85/26.02	o 452
25.85/26.06	o 450
25.95/26.11	o 448
26.05/26.21	o 445
26.05/26.25	o 442
26.05/26.30	o 441
26.26/26.43	o 439
26.26/26.48	o 436
26.36/26.52	o 434
26.36/26.57	o 432
26.46/26.62	o 429
26.55/26.75	o 428
26.55/26.79	o 426
26.65/26.84	o 425
26.65/26.89	o 422
26.75/26.93	o 420
26.75/26.98	o 418
26.95/27.12	o 415
26.95/27.16	o 413
27.05/27.20	o 409
27.25/27.50	o 407
27.35/27.54	o 406
27.35/27.58	o 405
27.45/27.62	o 403
27.45/27.67	o 400
27.54/27.77	o 398
27.64/27.81	o 397
27.64/27.85	o 393
27.64/27.90	o 392
27.74/27.94	o 391
28.04/28.24	o 390
28.04/28.29	o 389
28.14/28.37	o 388
28.24/28.42	o 386
28.34/28.51	o 385
28.44/28.61	o 383
28.44/28.66	o 381
28.63/28.81	o 380
28.63/28.86	o 376
28.73/28.99	o 375
28.93/29.13	o 371
29.03/29.23	o 369
29.03/29.29	o 367
29.43/29.65	o 365
29.43/29.69	o 363
29.54/29.80	o 362
29.63/29.85	o 361
29.73/29.96	o 359
29.83/30.01	o 358
29.83/30.06	o 355
29.93/30.11	o 353
30.53/30.80	o 352
31.73/31.92	o 351
31.73/31.97	o 346
32.42/32.64	o 344
32.42/32.69	o 343
32.52/32.73	o 340
32.62/32.83	o 339
32.72/32.95	o 336
33.02/33.22	o 334
33.02/33.28	o 333
33.41/33.64	o 331
33.51/33.70	o 330
34.31/34.54	o 328
34.31/34.59	o 325
34.51/34.71	o 323
34.51/34.74	o 321
34.51/34.79	o 320
34.71/34.98	o 315
34.81/35.04	o 314
34.91/35.11	o 313
36.50/36.76	o 312
36.60/36.87	o 310
36.70/36.92	o 308
36.70/36.97	o 307
36.90/37.11	o 305
37.10/37.37	o 304
37.20/37.41	o 303
37.70/37.93	o 301
37.70/37.97	o 300
37.80/38.02	o 299
37.90/38.19	o 298
38.09/38.31	o 296
38.09/38.38	o 295
38.29/38.57	o 294
38.69/38.92	o 291
38.69/38.98	o 288
38.79/39.09	o 287
38.89/39.16	o 282
39.19/39.44	o 281
39.19/39.49	o 280
39.39/39.61	o 278
39.48/39.77	o 277
39.58/39.84	o 275
39.58/39.88	o 274
39.98/40.29	o 273
40.18/40.43	o 271
40.18/40.49	o 270
40.28/40.55	o 268
41.57/41.89	o 266
41.67/41.95	o 265
41.76/42.07	o 263
42.36/42.68	o 262
42.46/42.75	o 261
42.46/42.78	o 259
42.56/42.85	o 257
42.56/42.90	o 255
42.67/42.97	o 254
42.77/43.09	o 253
42.97/43.24	o 252
43.07/43.30	o 251
43.07/43.36	o 249
43.17/43.41	o 247
43.17/43.46	o 245
43.27/43.52	o 244
43.76/44.06	o 243
43.86/44.12	o 241
44.06/44.31	o 240
44.06/44.37	o 239
44.16/44.43	o 238
44.16/44.49	o 237
44.76/45.09	o 236
45.35/45.61	o 234
45.35/45.67	o 232
45.45/45.72	o 230
45.45/45.76	o 227
45.75/46.00	o 224
45.75/46.06	o 222
45.85/46.15	o 220
45.95/46.29	o 219
46.04/46.37	o 218
46.44/46.73	o 217
46.64/46.94	o 215
46.64/46.98	o 214
46.74/47.00	o 211
46.74/47.05	o 210
46.84/47.15	o 207
46.94/47.21	o 206
47.14/47.47	o 204
47.34/47.65	o 203
47.94/48.26	o 199
47.94/48.29	o 198
48.04/48.34	o 197
48.04/48.39	o 196
48.14/48.45	o 195
48.24/48.53	o 194
48.24/48.57	o 192
48.34/48.62	o 191
48.34/48.66	o 189
48.44/48.72	o 188
48.44/48.76	o 187
48.54/48.90	o 185
49.63/49.90	o 184
49.63/49.94	o 183
49.73/50.04	o 182
49.83/50.11	o 180
49.83/50.15	o 179
49.93/50.20	o 178
49.93/50.30	o 177
50.03/50.32	o 176
50.03/50.37	o 175
50.03/50.39	o 173
50.13/50.44	o 170
50.13/50.48	o 169
50.23/50.54	o 167
50.33/50.60	o 165
50.33/50.64	o 163
50.33/50.65	o 162
50.33/50.70	o 160
50.42/50.71	o 158
50.42/50.74	o 155
50.52/50.85	o 154
50.52/50.89	o 153
50.72/51.06	o 152
50.92/51.23	o 150
50.92/51.26	o 148
51.32/51.61	o 147
51.32/51.65	o 145
51.32/51.68	o 144
51.42/51.76	o 143
51.42/51.79	o 142
51.51/51.82	o 140
51.51/51.84	o 138
51.71/52.06	o 136
51.71/52.10	o 135
51.81/52.13	o 134
51.81/52.17	o 133
51.91/52.23	o 132
52.01/52.34	o 130
52.01/52.37	o 129
52.11/52.41	o 128
52.11/52.44	o 125
52.11/52.46	o 124
52.21/52.52	o 123
52.42/52.79	o 121
52.52/52.88	o 119
52.71/53.01	o 118
52.71/53.04	o 117
52.81/53.12	o 116
52.91/53.21	o 115
52.91/53.23	o 114
53.01/53.32	o 113
53.01/53.34	o 112
53.11/53.43	o 111
53.11/53.50	o 110
53.31/53.66	o 108
53.31/53.66	o 107
53.41/53.73	o 106
53.51/53.84	o 105
53.51/53.84	o 102
53.61/53.94	o 101
53.70/54.03	o 100
53.80/54.15	o 99
54.00/54.30	o 98
54.00/54.37	o 97
54.00/54.40	o 96
54.10/54.43	o 95
54.10/54.46	o 94
54.10/54.50	o 93
54.20/54.51	o 91
54.20/54.56	o 90
54.40/54.71	o 89
54.40/54.74	o 88
54.40/54.77	o 84
54.50/54.85	o 83
54.50/54.88	o 82
54.60/54.92	o 80
54.60/54.94	o 77
55.09/55.44	o 75
55.19/55.50	o 74
55.19/55.53	o 73
55.19/55.58	o 69
55.30/55.64	o 68
55.30/55.68	o 66
55.50/55.80	o 65
55.50/55.83	o 64
55.50/55.85	o 62
55.50/55.87	o 60
55.60/55.90	o 59
55.60/55.92	o 57
55.60/55.94	o 56
55.60/56.00	o 54
55.70/56.01	o 52
55.80/56.11	o 51
55.80/56.18	o 50
55.89/56.20	o 49
55.89/56.22	o 48
55.89/56.25	o 47
55.99/56.32	o 46
55.99/56.37	o 45
56.09/56.42	o 42
56.49/56.82	o 41
56.49/56.84	o 40
56.59/56.91	o 38
56.59/56.92	o 37
56.59/56.94	o 36
56.59/56.95	o 35
56.69/57.02	o 33
56.69/57.03	o 32
56.69/57.04	o 31
56.69/57.07	o 30
56.89/57.20	o 28
56.89/57.23	o 27
56.99/57.37	o 26
57.28/57.65	o 24
57.28/57.68	o 22
58.08/58.48	o 21
58.68/59.08	o 20
58.88/59.24	o 19
59.27/59.68	o 18
59.37/59.75	o 17
59.57/59.97	o 15
60.18/60.53	o 14
60.27/60.60	o 13
60.27/60.61	o 12
60.87/61.28	o 11
61.17/61.53	o 10
61.17/61.54	o 9
61.46/61.82	o 7
67.04/67.41	o 6
71.92/72.35	o 5
101.97/102.53	   
101.97/102.53	   search
101.97/102.53	     run=0  nbConstraintChecks=414610306  nbAssignments=5500
101.97/102.53	       =>  wckTime=91.088  cpuTime=90.59  mem=16M801
101.97/102.53	   
101.97/102.53	   global
101.97/102.53	     nbConstraintChecks=414610306  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
101.97/102.53	     solvingWckTime=91.086  solvingCpuTime=90.59  expiredTime=no  totalExploration=no  nbFoundSolutions=0
101.97/102.53	     globalCpuTime=101.34
101.97/102.53	       =>  wckTime=102.284  cpuTime=101.29  mem=16M801
101.97/102.53	   
101.97/102.53	   solver DecomposerSolver being built... 
102.26/102.87	       =>  wckTime=102.625  cpuTime=101.48  mem=121M633
103.66/104.27	   
103.66/104.27	   preprocessing
103.66/104.27	     nbConstraintChecks=4783753  nbValidityChecks=304317  nbPropagations=377  nbRevisions=7225  nbUselessRevisions=6188
103.66/104.27	     nbRemovedValues=41795  detectedInconsistency=yes
103.66/104.27	       =>  wckTime=1.398  cpuTime=1.37  mem=121M633
103.66/104.27	   
103.66/104.27	   global
103.66/104.27	     nbConstraintChecks=4783753  nbValidityChecks=304317  nbPropagations=377  nbRevisions=7225  nbUselessRevisions=6188
103.66/104.27	     solvingWckTime=1.401  solvingCpuTime=1.37  expiredTime=no  totalExploration=yes  nbFoundSolutions=0
103.66/104.27	     globalCpuTime=102.9
103.66/104.27	       =>  wckTime=104.027  cpuTime=102.85  mem=121M633
103.66/104.28	   
103.66/104.28	s UNSATISFIABLE
103.66/104.28	d NODES 0
103.66/104.28	d CHECKS 4783753
103.66/104.28	   
103.66/104.28	   totalWckTime=104.1  totalCpuTime=102.91

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114082-1215896562/watcher-1114082-1215896562 -o /tmp/evaluation-result-1114082-1215896562/solver-1114082-1215896562 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1114082-1215896562.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.45 2.55 2.54 4/73 19004
/proc/meminfo: memFree=1504008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=18572 CPUtime=0
/proc/19004/stat : 19004 (runsolver) R 19002 19004 18398 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 46359707 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19004/statm: 4643 292 257 25 0 2626 0

[startup+0.0450859 s]
/proc/loadavg: 2.45 2.55 2.54 4/73 19004
/proc/meminfo: memFree=1504008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=861876 CPUtime=0.02
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 2251 0 1 0 1 1 0 0 18 0 5 0 46359707 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.102867 s]
/proc/loadavg: 2.45 2.55 2.54 4/73 19004
/proc/meminfo: memFree=1504008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=865984 CPUtime=0.09
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 3750 0 1 0 7 2 0 0 18 0 9 0 46359707 886767616 3213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216496 3213 1697 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301773 s]
/proc/loadavg: 2.45 2.55 2.54 4/73 19004
/proc/meminfo: memFree=1504008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=866360 CPUtime=0.29
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 5879 0 1 0 25 4 0 0 18 0 9 0 46359707 887152640 5254 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216590 5254 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866360

[startup+0.701821 s]
/proc/loadavg: 2.45 2.55 2.54 4/73 19004
/proc/meminfo: memFree=1504008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867604 CPUtime=0.69
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 9365 0 1 0 63 6 0 0 18 0 9 0 46359707 888426496 8726 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216901 8726 2011 9 0 211407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867604

[startup+1.50291 s]
/proc/loadavg: 2.45 2.55 2.54 3/82 19013
/proc/meminfo: memFree=1469056/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=1.49
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 11816 0 1 0 141 8 0 0 18 0 9 0 46359707 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 11174 2014 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=1.28
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 10466 0 1 0 122 6 0 0 20 0 9 0 46359709 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4126875609 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46359710 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46359710 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.18
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 653 0 0 0 18 0 0 0 15 0 9 0 46359712 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 11174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867720

[startup+3.1021 s]
/proc/loadavg: 2.45 2.55 2.54 3/82 19013
/proc/meminfo: memFree=1464448/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=3.08
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 13256 0 1 0 299 9 0 0 18 0 9 0 46359707 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 12612 2014 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=2.85
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 11886 0 1 0 278 7 0 0 17 0 9 0 46359709 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4126861159 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46359710 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46359710 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.21
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 673 0 0 0 21 0 0 0 15 0 9 0 46359712 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867720

[startup+6.30147 s]
/proc/loadavg: 2.41 2.54 2.53 3/82 19013
/proc/meminfo: memFree=1453760/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=6.26
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 15789 0 1 0 614 12 0 0 18 0 9 0 46359707 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 15142 2014 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=6.03
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 14412 0 1 0 592 11 0 0 25 0 9 0 46359709 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4126863096 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46359710 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46359710 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.22
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 680 0 0 0 22 0 0 0 15 0 9 0 46359712 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 15142 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867720

[startup+12.7022 s]
/proc/loadavg: 2.38 2.53 2.53 3/82 19013
/proc/meminfo: memFree=1427008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=12.62
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 22550 0 2 0 1245 17 0 0 18 0 9 0 46359707 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 21686 2640 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=12.12
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 15876 0 1 0 1198 14 0 0 25 0 9 0 46359709 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4127174371 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0.18
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 5255 0 1 0 17 1 0 0 17 0 9 0 46359710 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.29
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 723 0 0 0 29 0 0 0 15 0 9 0 46359712 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 21686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867720

[startup+25.5017 s]
/proc/loadavg: 2.30 2.50 2.52 3/82 19013
/proc/meminfo: memFree=1427008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=25.35
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 22553 0 2 0 2515 20 0 0 18 0 9 0 46359707 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 21689 2640 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=24.84
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 15876 0 1 0 2467 17 0 0 25 0 9 0 46359709 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4126858566 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0.18
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 5255 0 1 0 17 1 0 0 16 0 9 0 46359710 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.29
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 726 0 0 0 29 0 0 0 15 0 9 0 46359712 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 21689 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867720

[startup+51.1017 s]
/proc/loadavg: 2.19 2.46 2.51 3/82 19013
/proc/meminfo: memFree=1427008/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=50.82
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 22555 0 2 0 5057 25 0 0 18 0 9 0 46359707 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 21690 2640 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=50.31
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 15877 0 1 0 5009 22 0 0 25 0 9 0 46359709 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4127169696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0.19
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 5255 0 1 0 18 1 0 0 16 0 9 0 46359710 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.3
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 727 0 0 0 30 0 0 0 16 0 9 0 46359712 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 21690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 867720

[startup+102.307 s]
/proc/loadavg: 2.08 2.39 2.48 3/82 19013
/proc/meminfo: memFree=1426880/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=101.78
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 22557 0 2 0 10128 50 0 0 18 0 9 0 46359707 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 21692 2640 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=101.25
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 15877 0 1 0 10079 46 0 0 25 0 9 0 46359709 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4127169678 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0.19
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 5255 0 1 0 18 1 0 0 16 0 9 0 46359710 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.3
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 729 0 0 0 30 0 0 0 16 0 9 0 46359712 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 21692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 867720

Solver just ended. Dumping a history of the last processes samples

[startup+103.103 s]
/proc/loadavg: 2.08 2.39 2.48 3/82 19013
/proc/meminfo: memFree=1426880/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=102.57
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 39542 0 2 0 10200 57 0 0 18 0 9 0 46359707 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 38672 2641 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=101.88
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 15928 0 1 0 10141 47 0 0 25 0 9 0 46359709 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4126858780 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0.32
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 22169 0 1 0 25 7 0 0 16 0 9 0 46359710 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46359710 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.33
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 746 0 0 0 33 0 0 0 16 0 9 0 46359712 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 38672 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.57
Current children cumulated vsize (KiB) 867720

[startup+103.903 s]
/proc/loadavg: 2.08 2.38 2.48 3/82 19013
/proc/meminfo: memFree=1358976/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=103.36
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 39544 0 2 0 10279 57 0 0 18 0 9 0 46359707 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 38674 2641 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=102.67
/proc/19004/task/19006/stat : 19006 (java) R 19002 19004 18398 0 -1 64 15928 0 1 0 10220 47 0 0 25 0 9 0 46359709 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4126882000 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0.32
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 22169 0 1 0 25 7 0 0 17 0 9 0 46359710 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46359710 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.33
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 748 0 0 0 33 0 0 0 15 0 9 0 46359712 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 38674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 103.36
Current children cumulated vsize (KiB) 867720

[startup+104.303 s]
/proc/loadavg: 2.08 2.38 2.48 3/82 19013
/proc/meminfo: memFree=1358976/2055920 swapFree=4180656/4192956
[pid=19004] ppid=19002 vsize=867720 CPUtime=103.74
/proc/19004/stat : 19004 (java) S 19002 19004 18398 0 -1 0 39550 0 2 0 10317 57 0 0 18 0 9 0 46359707 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19004/statm: 216930 38678 2641 9 0 211436 0
[pid=19004/tid=19006] ppid=19002 vsize=867720 CPUtime=103.05
/proc/19004/task/19006/stat : 19006 (java) S 19002 19004 18398 0 -1 64 15932 0 1 0 10258 47 0 0 25 0 9 0 46359709 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19007] ppid=19002 vsize=867720 CPUtime=0.32
/proc/19004/task/19007/stat : 19007 (java) S 19002 19004 18398 0 -1 64 22169 0 1 0 25 7 0 0 17 0 9 0 46359710 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19008] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19008/stat : 19008 (java) S 19002 19004 18398 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46359710 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19009] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19009/stat : 19009 (java) S 19002 19004 18398 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46359710 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19010] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19010/stat : 19010 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46359712 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19011] ppid=19002 vsize=867720 CPUtime=0.33
/proc/19004/task/19011/stat : 19011 (java) S 19002 19004 18398 0 -1 64 750 0 0 0 33 0 0 0 16 0 9 0 46359712 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19004/tid=19012] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19012/stat : 19012 (java) S 19002 19004 18398 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46359712 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19004/tid=19013] ppid=19002 vsize=867720 CPUtime=0
/proc/19004/task/19013/stat : 19013 (java) S 19002 19004 18398 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46359712 888545280 38678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 103.74
Current children cumulated vsize (KiB) 867720

Child status: 0
Real time (s): 104.353
CPU time (s): 103.779
CPU user time (s): 103.179
CPU system time (s): 0.599908
CPU usage (%): 99.4502
Max. virtual memory (cumulated for all children) (KiB): 867724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.179
system time used= 0.599908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39555
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3908
involuntary context switches= 4378

runsolver used 0.152976 second user time and 0.345947 second system time

The end

Launcher Data (download as text)

Begin job on node1 at 2008-07-12 23:02:42
IDJOB=1114082
IDBENCH=61685
IDSOLVER=360
FILE ID=node1/1114082-1215896562
PBS_JOBID= 7903653
Free space on /tmp= 66444 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp18/normalized-fapp18-0350-6.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114082-1215896562/watcher-1114082-1215896562 -o /tmp/evaluation-result-1114082-1215896562/solver-1114082-1215896562 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1114082-1215896562.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 78f33be6cc0faf5bde59c1fce35f8c02
RANDOM SEED=604862440

node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.244
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.244
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:       1504424 kB
Buffers:         16844 kB
Cached:         143048 kB
SwapCached:       5824 kB
Active:         473916 kB
Inactive:        34040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1504424 kB
SwapTotal:     4192956 kB
SwapFree:      4180656 kB
Dirty:            2624 kB
Writeback:           0 kB
Mapped:         355316 kB
Slab:            27984 kB
Committed_AS:   533440 kB
PageTables:       2556 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= 66444 MiB
End job on node1 at 2008-07-12 23:04:27