Trace number 1114081

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-w? (problem) 104.492 105.066

DiagnosticValue
CHECKS4792430
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.07/0.08	
0.07/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-wdeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1114081-1215896554.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.39/0.43	     nbVariables=350  nbDomainTypes=11  minDomainSize=42  maxDomainSize=302  nbTotalValues=73016
0.39/0.43	       =>  wckTime=0.18  cpuTime=0.13  mem=9M795
0.39/0.43	   
0.39/0.43	   predicates being loaded...
0.39/0.49	   
0.39/0.49	   constraints being loaded...
10.43/10.55	   
10.43/10.55	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 14M894)
11.14/11.25	     nbConstraints=3812  nbConvertedConstraints=1127  nbConvertConstraintsChecks=37120472  nbExtensionStructures=888
11.14/11.26	     nbSharedExtensionStructures=447  nbConflictsStructures=1201  nbSharedConflictsStructures=611
11.14/11.26	     nbUnbuiltConflictsStructures=1417  nbSharedBinaryRepresentations=333281  nbEvaluationManagers=1730
11.14/11.26	     nbSharedEvaluationManagers=955  minDegree=7  maxDegree=32  minArity=2  maxArity=2
11.14/11.26	       =>  wckTime=11.009  cpuTime=10.66  mem=40M553
11.23/11.40	   
11.23/11.40	   solver LocalSearchSolver being built... 
11.33/11.44	       =>  wckTime=11.193  cpuTime=10.7  mem=15M760
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.52	o 1092
11.43/11.53	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.62	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.66	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.53/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.73/11.80	o 979
11.73/11.81	o 975
11.73/11.81	o 971
11.73/11.82	o 966
11.73/11.82	o 962
11.73/11.83	o 958
11.73/11.85	o 954
11.73/11.86	o 952
11.73/11.86	o 950
11.73/11.87	o 948
11.73/11.89	o 945
11.73/11.89	o 941
11.83/11.90	o 935
11.83/11.92	o 933
11.83/11.93	o 925
11.83/11.93	o 919
11.83/11.93	o 916
11.83/11.94	o 911
11.83/11.94	o 910
11.83/11.95	o 906
11.83/11.96	o 901
11.83/11.98	o 895
11.83/11.99	o 891
11.93/12.02	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.10	o 873
12.03/12.10	o 868
12.03/12.12	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.17	o 851
12.03/12.19	o 848
12.12/12.20	o 842
12.12/12.21	o 841
12.12/12.23	o 834
12.12/12.24	o 830
12.12/12.25	o 828
12.12/12.27	o 826
12.12/12.28	o 820
12.12/12.29	o 817
12.12/12.30	o 816
12.22/12.31	o 814
12.22/12.32	o 813
12.22/12.35	o 809
12.22/12.36	o 807
12.22/12.37	o 806
12.22/12.38	o 801
12.22/12.39	o 799
12.32/12.41	o 798
12.32/12.43	o 792
12.32/12.45	o 790
12.32/12.46	o 787
12.42/12.51	o 785
12.42/12.53	o 778
12.42/12.54	o 776
12.42/12.56	o 774
12.42/12.58	o 771
12.51/12.61	o 770
12.51/12.63	o 769
12.51/12.64	o 768
12.51/12.65	o 767
12.51/12.67	o 763
12.51/12.69	o 758
12.61/12.70	o 755
12.61/12.71	o 754
12.61/12.74	o 751
12.61/12.76	o 750
12.71/12.81	o 748
12.71/12.86	o 746
12.71/12.88	o 744
12.81/12.94	o 742
12.81/13.00	o 740
12.91/13.02	o 738
12.91/13.03	o 736
12.91/13.06	o 735
12.91/13.07	o 732
12.91/13.10	o 728
13.01/13.11	o 725
13.01/13.13	o 724
13.01/13.15	o 723
13.01/13.16	o 721
13.01/13.18	o 717
13.01/13.20	o 714
13.11/13.21	o 712
13.11/13.25	o 710
13.11/13.29	o 709
13.21/13.35	o 707
13.21/13.39	o 703
13.31/13.41	o 700
13.31/13.44	o 699
13.31/13.46	o 696
13.31/13.47	o 693
13.31/13.49	o 689
13.41/13.51	o 686
13.41/13.52	o 682
13.41/13.57	o 678
13.41/13.58	o 677
13.41/13.59	o 675
13.51/13.60	o 671
13.51/13.62	o 669
13.51/13.64	o 668
13.51/13.65	o 664
13.51/13.66	o 662
13.51/13.67	o 660
13.51/13.69	o 657
13.61/13.71	o 652
13.61/13.72	o 651
13.61/13.77	o 650
13.71/13.81	o 649
13.71/13.83	o 647
13.71/13.85	o 646
13.71/13.87	o 644
13.71/13.89	o 642
13.81/13.93	o 641
13.81/13.95	o 640
13.81/13.98	o 638
13.90/14.03	o 636
14.10/14.22	o 635
14.10/14.26	o 634
14.10/14.28	o 630
14.20/14.30	o 629
14.20/14.33	o 626
14.20/14.35	o 622
14.20/14.38	o 620
14.30/14.45	o 618
14.30/14.50	o 616
14.40/14.52	o 614
14.40/14.55	o 612
14.40/14.58	o 609
14.50/14.60	o 608
14.50/14.62	o 605
14.60/14.75	o 604
14.60/14.78	o 601
14.70/14.80	o 598
14.70/14.83	o 595
14.80/14.90	o 594
14.80/14.99	o 593
14.90/15.02	o 590
14.90/15.09	o 587
15.00/15.11	o 584
15.00/15.14	o 581
15.09/15.21	o 579
15.09/15.23	o 577
15.09/15.28	o 572
15.20/15.35	o 570
15.20/15.37	o 569
15.30/15.41	o 568
15.30/15.43	o 566
15.30/15.46	o 565
15.30/15.48	o 564
15.39/15.53	o 563
15.39/15.57	o 562
15.39/15.59	o 561
15.59/15.70	o 558
15.59/15.74	o 557
15.69/15.84	o 555
15.69/15.86	o 552
15.69/15.89	o 551
15.79/15.91	o 550
15.89/16.01	o 548
15.89/16.04	o 547
15.89/16.09	o 543
16.08/16.27	o 542
16.68/16.82	o 541
16.68/16.89	o 538
16.78/16.92	o 537
16.78/16.95	o 535
16.88/17.01	o 534
16.88/17.04	o 531
16.98/17.14	o 530
16.98/17.18	o 529
17.08/17.21	o 527
17.48/17.61	o 526
17.48/17.65	o 525
17.78/17.95	o 524
17.78/17.98	o 523
17.98/18.18	o 522
18.08/18.21	o 520
18.08/18.25	o 517
18.18/18.33	o 516
18.18/18.37	o 515
18.28/18.42	o 514
18.28/18.46	o 513
18.38/18.58	o 511
18.48/18.62	o 508
19.07/19.29	o 507
19.17/19.37	o 504
19.27/19.46	o 502
19.46/19.67	o 501
19.67/19.85	o 500
19.76/19.91	o 498
19.86/20.01	o 497
19.86/20.05	o 494
19.96/20.13	o 493
20.16/20.30	o 492
20.16/20.35	o 490
20.26/20.49	o 489
20.36/20.54	o 488
20.45/20.65	o 487
20.45/20.70	o 485
21.05/21.20	o 484
21.05/21.29	o 483
21.15/21.34	o 482
21.15/21.38	o 480
21.25/21.42	o 478
21.36/21.51	o 477
21.46/21.64	o 473
21.46/21.69	o 471
21.56/21.74	o 470
23.15/23.31	o 469
23.15/23.37	o 468
24.14/24.38	o 467
24.24/24.44	o 466
24.34/24.50	o 465
24.54/24.73	o 463
24.54/24.75	o 461
24.64/24.81	o 460
24.64/24.85	o 457
25.74/25.92	o 455
25.74/25.98	o 454
25.84/26.09	o 453
25.93/26.13	o 452
25.93/26.18	o 450
26.03/26.22	o 448
26.13/26.33	o 445
26.13/26.37	o 442
26.23/26.42	o 441
26.33/26.54	o 439
26.33/26.59	o 436
26.43/26.64	o 434
26.43/26.69	o 432
26.53/26.74	o 429
26.63/26.87	o 428
26.73/26.92	o 426
26.73/26.96	o 425
26.83/27.01	o 422
26.83/27.06	o 420
26.93/27.10	o 418
27.02/27.25	o 415
27.02/27.29	o 413
27.12/27.34	o 409
27.42/27.64	o 407
27.42/27.68	o 406
27.52/27.72	o 405
27.52/27.77	o 403
27.62/27.81	o 400
27.72/27.92	o 398
27.72/27.96	o 397
27.72/28.00	o 393
27.82/28.04	o 392
27.82/28.09	o 391
28.21/28.40	o 390
28.21/28.44	o 389
28.32/28.53	o 388
28.32/28.58	o 386
28.42/28.67	o 385
28.51/28.77	o 383
28.61/28.82	o 381
28.71/28.97	o 380
28.81/29.02	o 376
28.91/29.16	o 375
29.01/29.30	o 371
29.21/29.40	o 369
29.21/29.46	o 367
29.60/29.82	o 365
29.60/29.87	o 363
29.70/29.98	o 362
29.80/30.03	o 361
29.90/30.14	o 359
29.90/30.19	o 358
30.00/30.24	o 355
30.10/30.30	o 353
30.70/30.99	o 352
31.90/32.13	o 351
31.90/32.18	o 346
32.59/32.86	o 344
32.70/32.91	o 343
32.70/32.95	o 340
32.80/33.05	o 339
32.89/33.17	o 336
33.19/33.44	o 334
33.29/33.50	o 333
33.59/33.86	o 331
33.69/33.92	o 330
34.49/34.77	o 328
34.59/34.82	o 325
34.68/34.94	o 323
34.68/34.97	o 321
34.78/35.02	o 320
34.98/35.22	o 315
34.98/35.27	o 314
35.08/35.34	o 313
36.67/36.99	o 312
36.87/37.11	o 310
36.87/37.16	o 308
36.97/37.21	o 307
37.08/37.35	o 305
37.37/37.61	o 304
37.37/37.65	o 303
37.87/38.17	o 301
37.97/38.21	o 300
37.97/38.27	o 299
38.17/38.44	o 298
38.27/38.56	o 296
38.37/38.62	o 295
38.57/38.81	o 294
38.87/39.16	o 291
38.97/39.22	o 288
39.06/39.34	o 287
39.16/39.41	o 282
39.36/39.69	o 281
39.46/39.74	o 280
39.56/39.86	o 278
39.76/40.02	o 277
39.76/40.09	o 275
39.86/40.14	o 274
40.25/40.55	o 273
40.35/40.70	o 271
40.46/40.76	o 270
40.55/40.82	o 268
41.84/42.17	o 266
41.94/42.23	o 265
42.04/42.35	o 263
42.64/42.97	o 262
42.74/43.04	o 261
42.74/43.08	o 259
42.84/43.14	o 257
42.84/43.19	o 255
42.94/43.26	o 254
43.04/43.38	o 253
43.24/43.53	o 252
43.24/43.59	o 251
43.34/43.65	o 249
43.44/43.71	o 247
43.44/43.76	o 245
43.54/43.83	o 244
44.04/44.36	o 243
44.14/44.43	o 241
44.34/44.62	o 240
44.34/44.68	o 239
44.44/44.74	o 238
44.53/44.81	o 237
45.13/45.41	o 236
45.62/45.95	o 234
45.72/46.01	o 232
45.72/46.06	o 230
45.83/46.10	o 227
46.02/46.35	o 224
46.12/46.41	o 222
46.22/46.50	o 220
46.32/46.64	o 219
46.42/46.72	o 218
46.71/47.08	o 217
46.92/47.30	o 215
47.02/47.34	o 214
47.02/47.36	o 211
47.11/47.41	o 210
47.21/47.52	o 207
47.21/47.57	o 206
47.51/47.84	o 204
47.71/48.02	o 203
48.31/48.65	o 199
48.31/48.68	o 198
48.41/48.73	o 197
48.41/48.78	o 196
48.51/48.84	o 195
48.61/48.91	o 194
48.61/48.96	o 192
48.71/49.01	o 191
48.71/49.05	o 189
48.81/49.11	o 188
48.81/49.16	o 187
48.91/49.30	o 185
50.00/50.32	o 184
50.00/50.36	o 183
50.10/50.46	o 182
50.20/50.53	o 180
50.20/50.57	o 179
50.30/50.62	o 178
50.40/50.72	o 177
50.40/50.74	o 176
50.40/50.79	o 175
50.50/50.81	o 173
50.50/50.86	o 170
50.60/50.91	o 169
50.60/50.96	o 167
50.70/51.02	o 165
50.70/51.06	o 163
50.70/51.07	o 162
50.80/51.11	o 160
50.80/51.13	o 158
50.80/51.15	o 155
50.90/51.28	o 154
51.00/51.32	o 153
51.09/51.49	o 152
51.30/51.66	o 150
51.30/51.69	o 148
51.69/52.04	o 147
51.69/52.08	o 145
51.79/52.11	o 144
51.79/52.19	o 143
51.89/52.22	o 142
51.89/52.25	o 140
51.89/52.27	o 138
52.18/52.50	o 136
52.18/52.54	o 135
52.18/52.57	o 134
52.28/52.61	o 133
52.28/52.67	o 132
52.39/52.78	o 130
52.49/52.82	o 129
52.49/52.85	o 128
52.49/52.88	o 125
52.58/52.91	o 124
52.58/52.97	o 123
52.88/53.24	o 121
52.99/53.33	o 119
53.09/53.46	o 118
53.09/53.50	o 117
53.19/53.57	o 116
53.28/53.67	o 115
53.28/53.69	o 114
53.38/53.79	o 113
53.49/53.81	o 112
53.49/53.90	o 111
53.58/53.96	o 110
53.78/54.12	o 108
53.78/54.13	o 107
53.78/54.20	o 106
53.98/54.30	o 105
53.98/54.31	o 102
54.08/54.41	o 101
54.18/54.50	o 100
54.28/54.62	o 99
54.37/54.78	o 98
54.47/54.85	o 97
54.47/54.87	o 96
54.58/54.91	o 95
54.58/54.94	o 94
54.58/54.98	o 93
54.58/54.99	o 91
54.68/55.04	o 90
54.77/55.19	o 89
54.87/55.22	o 88
54.87/55.25	o 84
54.97/55.33	o 83
54.97/55.36	o 82
55.07/55.40	o 80
55.07/55.41	o 77
55.56/55.93	o 75
55.56/55.99	o 74
55.68/56.02	o 73
55.68/56.07	o 69
55.77/56.13	o 68
55.77/56.17	o 66
55.87/56.29	o 65
55.97/56.32	o 64
55.97/56.35	o 62
55.97/56.36	o 60
55.97/56.39	o 59
56.07/56.41	o 57
56.07/56.44	o 56
56.07/56.49	o 54
56.17/56.50	o 52
56.17/56.60	o 51
56.27/56.67	o 50
56.27/56.69	o 49
56.37/56.71	o 48
56.37/56.74	o 47
56.47/56.81	o 46
56.47/56.86	o 45
56.56/56.91	o 42
56.96/57.32	o 41
56.96/57.34	o 40
57.06/57.40	o 38
57.06/57.42	o 37
57.06/57.43	o 36
57.06/57.45	o 35
57.16/57.52	o 33
57.16/57.53	o 32
57.16/57.54	o 31
57.16/57.57	o 30
57.36/57.70	o 28
57.36/57.73	o 27
57.46/57.87	o 26
57.75/58.15	o 24
57.75/58.18	o 22
58.55/58.98	o 21
59.15/59.59	o 20
59.35/59.75	o 19
59.75/60.19	o 18
59.84/60.26	o 17
60.04/60.48	o 15
60.64/61.05	o 14
60.74/61.12	o 13
60.74/61.13	o 12
61.43/61.81	o 11
61.64/62.06	o 10
61.64/62.07	o 9
61.94/62.35	o 7
67.59/68.07	o 6
72.68/73.10	o 5
102.63/103.27	   
102.63/103.27	   search
102.63/103.27	     run=0  nbConstraintChecks=412573227  nbAssignments=5473
102.63/103.27	       =>  wckTime=91.83  cpuTime=91.3  mem=16M763
102.63/103.27	   
102.63/103.27	   global
102.63/103.27	     nbConstraintChecks=412573227  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
102.63/103.27	     solvingWckTime=91.828  solvingCpuTime=91.3  expiredTime=no  totalExploration=no  nbFoundSolutions=0
102.63/103.27	     globalCpuTime=102.04
102.63/103.27	       =>  wckTime=103.023  cpuTime=102.0  mem=16M763
102.63/103.27	   
102.63/103.27	   solver DecomposerSolver being built... 
103.03/103.61	       =>  wckTime=103.366  cpuTime=102.19  mem=121M559
104.43/105.02	   
104.43/105.02	   preprocessing
104.43/105.02	     nbConstraintChecks=4792434  nbValidityChecks=305714  nbPropagations=377  nbRevisions=7239  nbUselessRevisions=6202
104.43/105.02	     nbRemovedValues=41795  detectedInconsistency=yes
104.43/105.02	       =>  wckTime=1.408  cpuTime=1.39  mem=121M559
104.43/105.02	   
104.43/105.02	   global
104.43/105.02	     nbConstraintChecks=4792434  nbValidityChecks=305714  nbPropagations=377  nbRevisions=7239  nbUselessRevisions=6202
104.43/105.02	     solvingWckTime=1.411  solvingCpuTime=1.39  expiredTime=no  totalExploration=yes  nbFoundSolutions=0
104.43/105.02	     globalCpuTime=103.62
104.43/105.02	       =>  wckTime=104.778  cpuTime=103.58  mem=121M559
104.43/105.03	   
104.43/105.03	s UNSATISFIABLE
104.43/105.03	d NODES 0
104.43/105.03	d CHECKS 4792434
104.43/105.03	   
104.43/105.03	   totalWckTime=104.851  totalCpuTime=103.63

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-1114081-1215896554/watcher-1114081-1215896554 -o /tmp/evaluation-result-1114081-1215896554/solver-1114081-1215896554 -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-wdeg.xml 1 XSax HOME/instance-1114081-1215896554.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: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=1616 CPUtime=0
/proc/20049/stat : 20049 (java) R 20047 20049 18763 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 46357153 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20049/statm: 404 148 122 9 0 46 0

[startup+0.08812 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=865988 CPUtime=0.07
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 3635 0 1 0 5 2 0 0 18 0 9 0 46357153 886771712 3123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216497 3125 1669 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865988

[startup+0.101123 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=865988 CPUtime=0.08
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 3715 0 1 0 6 2 0 0 18 0 9 0 46357153 886771712 3189 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216497 3189 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301135 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=866388 CPUtime=0.28
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 5865 0 1 0 23 5 0 0 18 0 9 0 46357153 887181312 5240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216597 5240 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388

[startup+0.701159 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 20049
/proc/meminfo: memFree=1393088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=0.68
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 9308 0 1 0 61 7 0 0 18 0 9 0 46357153 888532992 8669 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 8670 2011 9 0 211433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867708

[startup+1.50221 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1358136/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=1.48
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 11804 0 1 0 139 9 0 0 18 0 9 0 46357153 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 11162 2014 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=1.29
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 10453 0 1 0 121 8 0 0 25 0 9 0 46357154 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4126875609 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46357155 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 46357155 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 46357155 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.17
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 654 0 0 0 17 0 0 0 15 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 11162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867708

[startup+3.10232 s]
/proc/loadavg: 1.92 1.98 1.99 4/90 20058
/proc/meminfo: memFree=1353528/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=3.07
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 13256 0 1 0 297 10 0 0 18 0 9 0 46357153 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 12612 2014 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=2.86
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 11885 0 1 0 277 9 0 0 25 0 9 0 46357154 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4126858696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46357155 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 46357155 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 46357155 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.19
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 674 0 0 0 19 0 0 0 15 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 12612 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867708

[startup+6.30153 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1342776/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=6.26
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 15775 0 1 0 613 13 0 0 18 0 9 0 46357153 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 15128 2014 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=6.02
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 14397 0 1 0 591 11 0 0 25 0 9 0 46357154 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4126864068 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 46357155 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 46357155 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.21
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 681 0 0 0 21 0 0 0 15 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 15128 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867708

[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1316152/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=12.61
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22543 0 1 0 1243 18 0 0 18 0 9 0 46357153 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21678 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=12.12
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15875 0 1 0 1197 15 0 0 25 0 9 0 46357154 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4126863161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.18
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 17 1 0 0 17 0 9 0 46357155 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.29
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 724 0 0 0 28 1 0 0 15 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867708

[startup+25.5028 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1316088/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=25.34
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22546 0 1 0 2512 22 0 0 18 0 9 0 46357153 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21681 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=24.84
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15875 0 1 0 2465 19 0 0 25 0 9 0 46357154 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4127043224 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.18
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 17 1 0 0 16 0 9 0 46357155 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.29
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 727 0 0 0 28 1 0 0 15 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867708

[startup+51.1024 s]
/proc/loadavg: 1.96 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1315896/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=50.8
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22549 0 1 0 5054 26 0 0 18 0 9 0 46357153 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21682 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=50.3
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15877 0 1 0 5007 23 0 0 25 0 9 0 46357154 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4126864583 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.19
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 18 1 0 0 16 0 9 0 46357155 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.29
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 728 0 0 0 28 1 0 0 16 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21682 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 867708

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1315768/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=101.74
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 22551 0 1 0 10127 47 0 0 18 0 9 0 46357153 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 21684 2640 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=101.23
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15877 0 1 0 10079 44 0 0 25 0 9 0 46357154 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4127176227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.19
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 5247 0 0 0 18 1 0 0 16 0 9 0 46357155 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.3
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 730 0 0 0 29 1 0 0 16 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 21684 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 867708

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

[startup+103.903 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1315704/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=103.33
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10280 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=102.65
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10221 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126862077 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 16 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 103.33
Current children cumulated vsize (KiB) 867708

[startup+104.703 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1247800/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=104.13
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10360 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=103.45
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10301 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126858752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 17 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.13
Current children cumulated vsize (KiB) 867708

[startup+104.903 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1247800/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=104.33
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10380 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=103.65
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10321 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126862064 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 17 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.33
Current children cumulated vsize (KiB) 867708

[startup+105.003 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 20058
/proc/meminfo: memFree=1247800/2055920 swapFree=4180348/4192956
[pid=20049] ppid=20047 vsize=867708 CPUtime=104.43
/proc/20049/stat : 20049 (java) S 20047 20049 18763 0 -1 0 39531 0 1 0 10390 53 0 0 18 0 9 0 46357153 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20049/statm: 216927 38659 2641 9 0 211433 0
[pid=20049/tid=20051] ppid=20047 vsize=867708 CPUtime=103.75
/proc/20049/task/20051/stat : 20051 (java) R 20047 20049 18763 0 -1 64 15928 0 1 0 10331 44 0 0 25 0 9 0 46357154 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4126863161 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20052] ppid=20047 vsize=867708 CPUtime=0.32
/proc/20049/task/20052/stat : 20052 (java) S 20047 20049 18763 0 -1 64 22154 0 0 0 25 7 0 0 17 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20053] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20053/stat : 20053 (java) S 20047 20049 18763 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20054] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20054/stat : 20054 (java) S 20047 20049 18763 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 46357155 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20055] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20055/stat : 20055 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20056] ppid=20047 vsize=867708 CPUtime=0.33
/proc/20049/task/20056/stat : 20056 (java) S 20047 20049 18763 0 -1 64 749 0 0 0 32 1 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20057] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20057/stat : 20057 (java) S 20047 20049 18763 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20049/tid=20058] ppid=20047 vsize=867708 CPUtime=0
/proc/20049/task/20058/stat : 20058 (java) S 20047 20049 18763 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46357157 888532992 38659 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.43
Current children cumulated vsize (KiB) 867708

Child status: 0
Real time (s): 105.066
CPU time (s): 104.492
CPU user time (s): 103.934
CPU system time (s): 0.557915
CPU usage (%): 99.4538
Max. virtual memory (cumulated for all children) (KiB): 867708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.934
system time used= 0.557915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39541
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= 3930
involuntary context switches= 6424

runsolver used 0.159975 second user time and 0.378942 second system time

The end

Launcher Data (download as text)

Begin job on node30 at 2008-07-12 23:02:34
IDJOB=1114081
IDBENCH=61685
IDSOLVER=359
FILE ID=node30/1114081-1215896554
PBS_JOBID= 7903545
Free space on /tmp= 66484 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114081-1215896554/watcher-1114081-1215896554 -o /tmp/evaluation-result-1114081-1215896554/solver-1114081-1215896554 -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-wdeg.xml 1 XSax HOME/instance-1114081-1215896554.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 78f33be6cc0faf5bde59c1fce35f8c02
RANDOM SEED=1893128265

node30.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.234
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.234
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:       1393504 kB
Buffers:         17280 kB
Cached:         127332 kB
SwapCached:       6144 kB
Active:         583076 kB
Inactive:        37016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1393504 kB
SwapTotal:     4192956 kB
SwapFree:      4180348 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:         491748 kB
Slab:            26496 kB
Committed_AS:   999068 kB
PageTables:       2804 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= 66480 MiB
End job on node30 at 2008-07-12 23:04:19