Trace number 1112942

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? 165.45 166.621

General information on the benchmark

Namecsp/fapp/fapp04/
normalized-fapp04-0300-0.xml
MD5SUM3d5c26105aab0ca21b22d7bc9b077a6e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints16
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3360
Maximum constraint arity2
Maximum domain size270
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3360
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.09/0.31	
0.09/0.31	Abscon 112 (May, 2008)
0.24/0.52	
0.24/0.52	   configuration
0.24/0.52	     name=mrdac-ddeg.xml
0.24/0.60	   
0.24/0.60	   instance
0.24/0.60	     name=HOME/instance-1112942-1215875919.xml
0.32/0.64	   
0.32/0.64	   domains being loaded...
0.32/0.66	   
0.32/0.66	   variables being loaded...
0.45/0.71	     nbVariables=300  nbDomainTypes=13  minDomainSize=50  maxDomainSize=270  nbTotalValues=61762
0.45/0.71	       =>  wckTime=0.189  cpuTime=0.14  mem=9M800
0.45/0.71	   
0.45/0.71	   predicates being loaded...
0.45/0.76	   
0.45/0.76	   constraints being loaded...
10.52/10.74	   
10.52/10.74	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 11M262)
11.33/11.51	     nbConstraints=3360  nbConvertedConstraints=852  nbConvertConstraintsChecks=35447208  nbExtensionStructures=758
11.33/11.51	     nbSharedExtensionStructures=308  nbConflictsStructures=1046  nbSharedConflictsStructures=342
11.33/11.51	     nbUnbuiltConflictsStructures=1439  nbSharedBinaryRepresentations=296132  nbEvaluationManagers=1727
11.33/11.51	     nbSharedEvaluationManagers=781  minDegree=5  maxDegree=35  minArity=2  maxArity=2
11.33/11.51	       =>  wckTime=10.985  cpuTime=10.78  mem=37M609
11.45/11.64	   
11.45/11.64	   solver LocalSearchSolver being built... 
11.45/11.67	       =>  wckTime=11.152  cpuTime=10.81  mem=14M649
11.45/11.70	
11.45/11.70	s SATISFIABLE
11.45/11.70	o 843
11.56/11.71	o 838
11.56/11.71	o 834
11.56/11.71	o 831
11.56/11.72	o 827
11.56/11.73	o 824
11.56/11.74	o 819
11.56/11.74	o 816
11.56/11.75	o 814
11.56/11.75	o 813
11.56/11.76	o 807
11.56/11.77	o 801
11.56/11.78	o 798
11.56/11.78	o 795
11.56/11.79	o 792
11.56/11.80	o 789
11.67/11.82	o 787
11.67/11.83	o 786
11.67/11.84	o 780
11.67/11.85	o 778
11.67/11.86	o 774
11.67/11.87	o 771
11.67/11.88	o 770
11.67/11.89	o 768
11.67/11.90	o 766
11.77/11.91	o 764
11.77/11.92	o 763
11.77/11.93	o 760
11.77/11.93	o 759
11.77/11.94	o 755
11.77/11.95	o 751
11.77/11.96	o 748
11.77/11.97	o 745
11.77/11.98	o 744
11.77/11.99	o 739
11.77/12.00	o 735
11.87/12.01	o 732
11.87/12.02	o 729
11.87/12.03	o 726
11.87/12.04	o 724
11.87/12.05	o 723
11.87/12.06	o 719
11.87/12.07	o 715
11.87/12.08	o 714
11.87/12.09	o 711
11.97/12.14	o 709
11.97/12.15	o 704
11.97/12.16	o 702
11.97/12.17	o 700
11.97/12.18	o 695
11.97/12.20	o 692
12.06/12.22	o 691
12.06/12.23	o 689
12.06/12.24	o 687
12.06/12.25	o 686
12.06/12.26	o 685
12.06/12.27	o 684
12.06/12.28	o 682
12.06/12.29	o 681
12.16/12.30	o 678
12.16/12.31	o 677
12.16/12.32	o 676
12.16/12.34	o 674
12.16/12.35	o 670
12.16/12.35	o 668
12.16/12.36	o 666
12.16/12.37	o 663
12.16/12.37	o 661
12.16/12.39	o 658
12.16/12.39	o 657
12.26/12.41	o 656
12.26/12.42	o 655
12.26/12.43	o 652
12.26/12.45	o 650
12.26/12.47	o 645
12.26/12.48	o 642
12.26/12.49	o 639
12.36/12.50	o 636
12.36/12.51	o 632
12.36/12.52	o 628
12.36/12.54	o 625
12.36/12.54	o 622
12.36/12.55	o 619
12.36/12.56	o 617
12.36/12.58	o 616
12.46/12.64	o 615
12.46/12.64	o 612
12.46/12.67	o 608
12.46/12.68	o 603
12.46/12.70	o 600
12.56/12.71	o 599
12.56/12.74	o 597
12.56/12.75	o 593
12.56/12.77	o 590
12.56/12.78	o 587
12.56/12.79	o 586
12.66/12.81	o 585
12.66/12.83	o 583
12.66/12.85	o 580
12.66/12.87	o 579
12.66/12.88	o 576
12.77/12.92	o 574
12.77/12.94	o 571
12.77/12.98	o 570
12.77/12.99	o 568
12.87/13.01	o 563
12.87/13.03	o 561
12.87/13.06	o 558
12.87/13.07	o 556
12.97/13.11	o 554
12.97/13.19	o 552
13.07/13.20	o 548
13.07/13.22	o 547
13.07/13.24	o 545
13.07/13.27	o 544
13.07/13.28	o 543
13.16/13.30	o 542
13.16/13.33	o 540
13.16/13.34	o 537
13.16/13.36	o 535
13.16/13.37	o 531
13.26/13.40	o 530
13.26/13.45	o 529
13.26/13.46	o 528
13.26/13.47	o 527
13.36/13.52	o 524
13.36/13.54	o 522
13.36/13.56	o 521
13.36/13.57	o 518
13.46/13.61	o 516
13.46/13.63	o 515
13.46/13.65	o 514
13.46/13.67	o 512
13.46/13.68	o 508
13.55/13.77	o 507
13.55/13.79	o 504
13.65/13.81	o 501
13.65/13.88	o 499
13.75/13.90	o 496
13.75/13.92	o 495
13.85/14.01	o 493
13.85/14.04	o 492
13.85/14.06	o 488
13.85/14.09	o 487
13.95/14.11	o 486
13.95/14.15	o 485
14.05/14.22	o 483
14.05/14.25	o 481
14.05/14.27	o 480
14.05/14.29	o 479
14.15/14.31	o 478
14.15/14.35	o 477
14.15/14.37	o 474
14.24/14.40	o 473
14.34/14.54	o 472
14.34/14.58	o 471
14.44/14.60	o 470
14.44/14.62	o 467
14.44/14.68	o 466
14.55/14.72	o 462
14.55/14.74	o 459
14.55/14.77	o 457
14.65/14.83	o 455
14.65/14.85	o 454
14.65/14.87	o 451
14.75/14.94	o 450
14.75/14.96	o 448
14.95/15.11	o 447
14.95/15.13	o 446
14.95/15.15	o 444
15.05/15.21	o 443
15.05/15.24	o 441
15.05/15.26	o 438
15.15/15.32	o 436
15.34/15.57	o 434
15.44/15.64	o 432
15.44/15.67	o 430
15.54/15.72	o 429
15.54/15.77	o 428
15.54/15.79	o 425
15.64/15.84	o 424
15.64/15.88	o 422
15.74/15.91	o 421
16.04/16.23	o 419
16.04/16.28	o 418
16.14/16.31	o 417
16.14/16.36	o 415
16.24/16.48	o 412
16.34/16.51	o 410
16.34/16.54	o 409
16.34/16.56	o 408
16.34/16.59	o 405
16.43/16.61	o 404
16.43/16.64	o 402
16.43/16.67	o 401
16.53/16.72	o 400
16.53/16.74	o 399
16.53/16.77	o 398
16.63/16.81	o 397
16.63/16.83	o 396
16.73/16.91	o 392
16.73/16.96	o 391
16.83/17.00	o 390
16.83/17.06	o 388
17.03/17.24	o 385
17.03/17.26	o 382
17.14/17.31	o 380
17.14/17.33	o 379
17.14/17.36	o 377
17.14/17.38	o 375
17.24/17.41	o 374
17.24/17.43	o 372
17.34/17.52	o 371
17.73/17.92	o 370
17.83/18.01	o 369
17.83/18.05	o 367
17.83/18.09	o 366
17.93/18.15	o 365
18.03/18.27	o 363
18.23/18.40	o 362
18.92/19.15	o 361
18.92/19.18	o 358
19.02/19.23	o 356
19.62/19.89	o 355
19.71/19.91	o 354
19.71/19.94	o 352
19.81/20.02	o 350
19.91/20.16	o 347
19.91/20.19	o 341
20.01/20.24	o 339
20.01/20.28	o 338
20.11/20.31	o 336
20.21/20.45	o 335
20.31/20.52	o 334
20.31/20.59	o 333
20.51/20.70	o 331
20.61/20.87	o 330
20.61/20.90	o 328
20.71/20.94	o 326
20.71/20.97	o 324
20.71/20.99	o 323
20.80/21.02	o 320
20.80/21.08	o 319
20.90/21.12	o 318
21.70/21.96	o 317
21.70/21.99	o 314
21.80/22.01	o 313
21.80/22.05	o 311
21.80/22.07	o 310
21.89/22.19	o 309
21.99/22.22	o 308
21.99/22.25	o 307
21.99/22.28	o 305
22.09/22.31	o 304
22.09/22.34	o 303
22.09/22.37	o 302
22.20/22.45	o 301
22.20/22.47	o 296
22.30/22.53	o 295
22.30/22.55	o 294
22.40/22.63	o 293
22.40/22.66	o 292
22.40/22.68	o 291
22.50/22.70	o 290
22.60/22.84	o 289
22.70/22.92	o 288
22.70/22.95	o 286
22.70/22.99	o 285
22.80/23.04	o 284
22.80/23.07	o 282
22.99/23.20	o 281
23.19/23.42	o 280
23.19/23.48	o 279
23.29/23.55	o 275
23.59/23.80	o 272
23.79/24.02	o 269
23.79/24.05	o 268
23.79/24.09	o 266
23.89/24.13	o 264
23.89/24.17	o 263
24.28/24.50	o 261
24.28/24.53	o 259
24.28/24.60	o 257
26.36/26.69	o 256
26.46/26.73	o 255
26.46/26.78	o 254
26.96/27.25	o 253
27.07/27.30	o 252
27.07/27.39	o 250
27.17/27.47	o 248
27.27/27.51	o 247
27.27/27.56	o 246
27.46/27.78	o 245
27.56/27.83	o 244
27.56/27.87	o 242
27.66/27.93	o 241
27.76/28.08	o 240
27.86/28.13	o 239
28.06/28.32	o 238
28.06/28.36	o 237
28.16/28.43	o 236
28.16/28.47	o 235
28.16/28.49	o 234
28.36/28.64	o 232
28.36/28.68	o 231
28.45/28.78	o 230
28.55/28.89	o 229
28.75/29.05	o 228
28.85/29.14	o 226
29.15/29.49	o 225
29.65/29.99	o 222
29.75/30.04	o 220
29.85/30.13	o 219
29.95/30.23	o 218
30.15/30.42	o 217
30.45/30.76	o 216
30.54/30.81	o 215
32.52/32.82	o 214
32.82/33.16	o 211
32.92/33.21	o 208
32.92/33.26	o 207
33.02/33.31	o 206
33.12/33.49	o 205
33.21/33.54	o 203
33.21/33.56	o 202
35.01/35.31	o 200
35.01/35.36	o 199
38.28/38.62	o 198
38.28/38.68	o 193
38.38/38.73	o 190
38.38/38.75	o 188
38.58/38.91	o 185
38.68/39.04	o 184
38.68/39.10	o 181
39.19/39.51	o 180
39.19/39.56	o 179
39.29/39.62	o 178
40.17/40.54	o 177
40.17/40.59	o 176
41.17/41.52	o 175
41.17/41.58	o 174
42.36/42.74	o 173
42.46/42.88	o 171
42.56/42.95	o 170
42.65/43.09	o 168
42.85/43.20	o 166
42.95/43.34	o 165
43.15/43.55	o 163
43.25/43.62	o 162
43.36/43.75	o 160
43.85/44.23	o 158
44.05/44.47	o 156
44.15/44.53	o 155
44.65/45.08	o 154
45.74/46.13	o 153
55.67/56.18	o 152
55.87/56.30	o 150
55.87/56.36	o 149
56.66/57.19	o 148
72.55/73.14	o 147
73.15/73.71	o 146
73.24/73.85	o 145
85.86/86.57	o 144
85.96/86.64	o 143
86.06/86.71	o 142
86.16/86.85	o 141
86.26/86.92	o 138
86.65/87.35	o 137
86.65/87.39	o 136
86.75/87.44	o 134
98.47/99.26	o 133
99.57/100.38	o 132
100.06/100.84	o 130
100.36/101.11	o 129
116.16/117.09	o 128
116.26/117.15	o 127
125.10/126.05	o 126
125.60/126.57	o 124
126.09/127.03	o 122
126.29/127.22	o 121
127.87/128.90	o 120
130.06/131.07	o 119
130.16/131.14	o 117
160.25/161.40	   
160.25/161.40	   search
160.25/161.40	     run=0  nbConstraintChecks=534742345  nbAssignments=2676
160.25/161.40	       =>  wckTime=149.732  cpuTime=148.7  mem=15M663
160.25/161.40	   
160.25/161.40	   global
160.25/161.40	     nbConstraintChecks=534742345  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
160.25/161.40	     solvingWckTime=149.73  solvingCpuTime=148.69  expiredTime=no  totalExploration=no  nbFoundSolutions=0
160.25/161.40	     globalCpuTime=159.54
160.25/161.40	       =>  wckTime=160.884  cpuTime=159.51  mem=15M663
160.25/161.40	   
160.25/161.40	   solver DecomposerSolver being built... 
160.57/161.73	       =>  wckTime=161.208  cpuTime=159.68  mem=91M24
165.24/166.42	   
165.24/166.42	   preprocessing
165.24/166.42	     nbConstraintChecks=13448303  nbValidityChecks=67122  nbPropagations=301  nbRevisions=4401  nbUselessRevisions=4391
165.24/166.42	     nbRemovedValues=1056  detectedInconsistency=no
165.24/166.42	       =>  wckTime=4.693  cpuTime=4.66  mem=92M68
165.34/166.57	s UNKNOWN

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-1112942-1215875919/watcher-1112942-1215875919 -o /tmp/evaluation-result-1112942-1215875919/solver-1112942-1215875919 -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-1112942-1215875919.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.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=18572 CPUtime=0
/proc/18491/stat : 18491 (runsolver) D 18489 18491 17862 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44289859 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 271638392103 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/18491/statm: 4643 292 257 25 0 2626 0

[startup+0.080885 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=10196 CPUtime=0
/proc/18491/stat : 18491 (java) D 18489 18491 17862 0 -1 0 351 0 6 0 0 0 0 0 18 0 1 0 44289859 10440704 161 996147200 134512640 134550740 4294955952 18446744073709551615 6890404 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/18491/statm: 2549 161 134 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10196

[startup+0.101888 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=10336 CPUtime=0.01
/proc/18491/stat : 18491 (java) D 18489 18491 17862 0 -1 0 379 0 19 0 0 1 0 0 18 0 1 0 44289859 10584064 201 996147200 134512640 134550740 4294955952 18446744073709551615 6861610 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/18491/statm: 2584 201 143 9 0 1102 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10336

[startup+0.301915 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=865856 CPUtime=0.09
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 3466 0 49 0 5 4 0 0 18 0 9 0 44289859 886636544 3004 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 216464 3004 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865856

[startup+0.701952 s]
/proc/loadavg: 1.00 1.31 1.76 3/82 18491
/proc/meminfo: memFree=1203152/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=867476 CPUtime=0.45
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 6705 0 62 0 37 8 0 0 18 0 9 0 44289859 888295424 6137 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 216869 6138 1967 9 0 211397 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 867476

[startup+1.50203 s]
/proc/loadavg: 1.00 1.31 1.76 2/91 18500
/proc/meminfo: memFree=1159880/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868716 CPUtime=1.35
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 11267 0 62 0 125 10 0 0 18 0 9 0 44289859 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217179 10686 2014 9 0 211685 0
[pid=18491/tid=18493] ppid=18489 vsize=868716 CPUtime=1.14
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 9921 0 37 0 105 9 0 0 23 0 9 0 44289869 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4126865008 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44289881 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44289881 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44289881 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868716 CPUtime=0.18
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 673 0 0 0 18 0 0 0 16 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) R 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889565184 10686 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 868716

[startup+3.10219 s]
/proc/loadavg: 1.00 1.31 1.76 2/91 18500
/proc/meminfo: memFree=1155208/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868716 CPUtime=2.95
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 12387 0 62 0 284 11 0 0 18 0 9 0 44289859 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217179 11805 2014 9 0 211685 0
[pid=18491/tid=18493] ppid=18489 vsize=868716 CPUtime=2.71
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 11019 0 37 0 262 9 0 0 25 0 9 0 44289869 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4126860648 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44289881 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44289881 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44289881 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868716 CPUtime=0.21
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 695 0 0 0 21 0 0 0 16 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868716 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889565184 11805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 868716

[startup+6.30152 s]
/proc/loadavg: 1.00 1.30 1.76 2/91 18500
/proc/meminfo: memFree=1146376/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868652 CPUtime=6.14
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 14587 0 62 0 601 13 0 0 18 0 9 0 44289859 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217163 14002 2014 9 0 211669 0
[pid=18491/tid=18493] ppid=18489 vsize=868652 CPUtime=5.89
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 13213 0 37 0 578 11 0 0 25 0 9 0 44289869 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4126887511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44289881 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44289881 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868652 CPUtime=0.22
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 701 0 0 0 22 0 0 0 15 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868652 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889499648 14002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 868652

[startup+12.7022 s]
/proc/loadavg: 1.00 1.29 1.75 2/91 18500
/proc/meminfo: memFree=1116232/2055920 swapFree=4181048/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=12.56
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 22210 0 63 0 1237 19 0 0 18 0 9 0 44289859 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 21392 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=12.04
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15829 0 38 0 1189 15 0 0 17 0 9 0 44289869 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4126457579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.17
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 4960 0 0 0 16 1 0 0 16 0 9 0 44289881 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.3
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 749 0 0 0 30 0 0 0 15 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 21392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868588

[startup+25.5015 s]
/proc/loadavg: 1.00 1.28 1.74 2/91 18502
/proc/meminfo: memFree=1113224/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=25.27
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 22213 0 63 0 2504 23 0 0 18 0 9 0 44289859 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 21395 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=24.74
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15829 0 38 0 2455 19 0 0 25 0 9 0 44289869 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4127179302 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.17
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 4960 0 0 0 16 1 0 0 16 0 9 0 44289881 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 752 0 0 0 31 0 0 0 16 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 21395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 868588

[startup+51.1011 s]
/proc/loadavg: 1.00 1.26 1.72 2/91 18502
/proc/meminfo: memFree=1113224/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=50.7
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 22214 0 63 0 5042 28 0 0 18 0 9 0 44289859 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 21396 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=50.17
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15829 0 38 0 4993 24 0 0 25 0 9 0 44289869 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4127179295 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.17
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 4960 0 0 0 16 1 0 0 16 0 9 0 44289881 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 753 0 0 0 31 0 0 0 16 0 9 0 44289884 889434112 21396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0

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

/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 756 0 0 0 31 0 0 0 16 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 21399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 868588

[startup+162.301 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1091912/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=161.17
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39437 0 63 0 16070 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=160.46
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15883 0 38 0 16009 37 0 0 21 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126867383 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 16 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 868588

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

[startup+163.102 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=161.96
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16149 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=161.25
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16088 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126865041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 17 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.96
Current children cumulated vsize (KiB) 868588

[startup+164.703 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=163.55
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16308 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=162.85
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16248 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4127265452 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 163.55
Current children cumulated vsize (KiB) 868588

[startup+165.503 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=164.35
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16388 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=163.64
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16327 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126864439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.35
Current children cumulated vsize (KiB) 868588

[startup+166.303 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=165.14
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39438 0 63 0 16467 47 0 0 18 0 9 0 44289859 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38614 2641 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=164.43
/proc/18491/task/18493/stat : 18493 (java) R 18489 18491 17862 0 -1 64 15884 0 38 0 16406 37 0 0 25 0 9 0 44289869 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4126860637 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.31
/proc/18491/task/18494/stat : 18494 (java) S 18489 18491 17862 0 -1 64 22109 0 0 0 24 7 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38614 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.14
Current children cumulated vsize (KiB) 868588

[startup+166.503 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=868588 CPUtime=165.34
/proc/18491/stat : 18491 (java) S 18489 18491 17862 0 -1 0 39448 0 63 0 16487 47 0 0 18 0 9 0 44289859 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 217147 38622 2640 9 0 211653 0
[pid=18491/tid=18493] ppid=18489 vsize=868588 CPUtime=164.56
/proc/18491/task/18493/stat : 18493 (java) S 18489 18491 17862 0 -1 64 15885 0 38 0 16419 37 0 0 25 0 9 0 44289869 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18491/tid=18494] ppid=18489 vsize=868588 CPUtime=0.39
/proc/18491/task/18494/stat : 18494 (java) R 18489 18491 17862 0 -1 64 22118 0 0 0 32 7 0 0 16 0 9 0 44289881 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 102745437 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18495] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18495/stat : 18495 (java) S 18489 18491 17862 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44289881 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18496] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18496/stat : 18496 (java) S 18489 18491 17862 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44289881 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18497] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18497/stat : 18497 (java) S 18489 18491 17862 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18498] ppid=18489 vsize=868588 CPUtime=0.34
/proc/18491/task/18498/stat : 18498 (java) S 18489 18491 17862 0 -1 64 773 0 0 0 34 0 0 0 16 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18499] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18499/stat : 18499 (java) S 18489 18491 17862 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18491/tid=18500] ppid=18489 vsize=868588 CPUtime=0
/proc/18491/task/18500/stat : 18500 (java) S 18489 18491 17862 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44289884 889434112 38622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.34
Current children cumulated vsize (KiB) 868588

[startup+166.603 s]
/proc/loadavg: 1.00 1.17 1.63 2/91 18502
/proc/meminfo: memFree=1044104/2055920 swapFree=4181052/4192956
[pid=18491] ppid=18489 vsize=0 CPUtime=165.42
/proc/18491/stat : 18491 (java) Z 18489 18491 17862 0 -1 12 43525 0 63 0 16492 50 0 0 16 0 2 0 44289859 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18491/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 165.42
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 166.621
CPU time (s): 165.45
CPU user time (s): 164.928
CPU system time (s): 0.52192
CPU usage (%): 99.2972
Max. virtual memory (cumulated for all children) (KiB): 868716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.928
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43525
page faults= 63
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4544
involuntary context switches= 6408

runsolver used 0.226965 second user time and 0.570913 second system time

The end

Launcher Data (download as text)

Begin job on node67 at 2008-07-12 17:18:39
IDJOB=1112942
IDBENCH=61500
IDSOLVER=360
FILE ID=node67/1112942-1215875919
PBS_JOBID= 7903558
Free space on /tmp= 66432 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp04/normalized-fapp04-0300-0.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-1112942-1215875919/watcher-1112942-1215875919 -o /tmp/evaluation-result-1112942-1215875919/solver-1112942-1215875919 -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-1112942-1215875919.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3d5c26105aab0ca21b22d7bc9b077a6e
RANDOM SEED=387527887

node67.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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1203832 kB
Buffers:          3008 kB
Cached:          28836 kB
SwapCached:       4672 kB
Active:         802496 kB
Inactive:         6604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1203832 kB
SwapTotal:     4192956 kB
SwapFree:      4181048 kB
Dirty:            2588 kB
Writeback:           0 kB
Mapped:         794564 kB
Slab:            26628 kB
Committed_AS:   972488 kB
PageTables:       3392 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= 66432 MiB
End job on node67 at 2008-07-12 17:21:26