Trace number 1113020

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? 99.7098 100.356

General information on the benchmark

Namecsp/fapp/fapp05/
normalized-fapp05-0350-1.xml
MD5SUM61e96c97715b7c95a31e810829750342
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints3
Best CPU time to get the best result obtained on this benchmark3600.09
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of constraints4665
Maximum constraint arity2
Maximum domain size270
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4665
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.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-ddeg.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1113020-1215876937.xml
0.27/0.33	   
0.27/0.33	   domains being loaded...
0.27/0.36	   
0.27/0.36	   variables being loaded...
0.37/0.44	     nbVariables=350  nbDomainTypes=5  minDomainSize=50  maxDomainSize=270  nbTotalValues=79311
0.37/0.44	       =>  wckTime=0.179  cpuTime=0.14  mem=9M795
0.37/0.44	   
0.37/0.44	   predicates being loaded...
0.47/0.50	   
0.47/0.50	   constraints being loaded...
10.41/10.59	   
10.41/10.59	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 15M97)
11.11/11.28	     nbConstraints=4665  nbConvertedConstraints=747  nbConvertConstraintsChecks=36880092  nbExtensionStructures=623
11.11/11.28	     nbSharedExtensionStructures=431  nbConflictsStructures=834  nbSharedConflictsStructures=474
11.11/11.28	     nbUnbuiltConflictsStructures=1440  nbSharedBinaryRepresentations=285433  nbEvaluationManagers=1651
11.11/11.28	     nbSharedEvaluationManagers=2267  minDegree=5  maxDegree=40  minArity=2  maxArity=2
11.11/11.28	       =>  wckTime=11.028  cpuTime=10.68  mem=46M369
11.30/11.45	   
11.30/11.45	   solver LocalSearchSolver being built... 
11.30/11.50	       =>  wckTime=11.239  cpuTime=10.72  mem=15M736
11.41/11.54	
11.41/11.54	s SATISFIABLE
11.41/11.54	o 1089
11.41/11.57	o 1080
11.41/11.59	o 1071
11.50/11.60	o 1062
11.50/11.62	o 1054
11.50/11.63	o 1051
11.50/11.64	o 1050
11.50/11.65	o 1045
11.50/11.66	o 1043
11.50/11.67	o 1035
11.50/11.69	o 1029
11.60/11.70	o 1021
11.60/11.71	o 1016
11.60/11.72	o 1012
11.60/11.73	o 1009
11.60/11.74	o 1007
11.60/11.75	o 1000
11.60/11.76	o 993
11.60/11.78	o 986
11.60/11.79	o 981
11.60/11.80	o 977
11.70/11.80	o 973
11.70/11.82	o 970
11.70/11.82	o 968
11.70/11.84	o 967
11.70/11.85	o 964
11.70/11.87	o 959
11.70/11.87	o 951
11.70/11.88	o 943
11.70/11.90	o 939
11.80/11.91	o 936
11.80/11.93	o 933
11.80/11.94	o 931
11.80/11.95	o 927
11.80/11.95	o 926
11.80/11.96	o 925
11.80/11.97	o 919
11.80/11.97	o 917
11.80/11.99	o 911
11.80/11.99	o 905
11.80/12.00	o 901
11.90/12.01	o 899
11.90/12.03	o 894
11.90/12.04	o 891
11.90/12.05	o 888
11.90/12.06	o 885
12.00/12.12	o 883
12.00/12.13	o 879
12.00/12.15	o 874
12.00/12.18	o 873
12.00/12.18	o 868
12.09/12.20	o 865
12.09/12.21	o 859
12.09/12.23	o 857
12.09/12.23	o 856
12.09/12.25	o 851
12.09/12.26	o 850
12.09/12.29	o 846
12.19/12.31	o 843
12.19/12.35	o 841
12.19/12.38	o 838
12.19/12.39	o 837
12.29/12.40	o 832
12.29/12.41	o 827
12.29/12.42	o 826
12.29/12.43	o 824
12.29/12.44	o 819
12.29/12.46	o 817
12.29/12.48	o 815
12.29/12.50	o 811
12.38/12.51	o 807
12.38/12.53	o 805
12.38/12.54	o 799
12.38/12.56	o 797
12.49/12.63	o 795
12.49/12.64	o 793
12.49/12.66	o 791
12.49/12.68	o 786
12.49/12.69	o 783
12.59/12.70	o 781
12.59/12.72	o 775
12.59/12.73	o 768
12.59/12.74	o 766
12.59/12.76	o 764
12.59/12.77	o 756
12.59/12.78	o 752
12.59/12.79	o 748
12.69/12.80	o 744
12.69/12.81	o 743
12.69/12.83	o 739
12.69/12.84	o 738
12.69/12.86	o 736
12.69/12.87	o 731
12.69/12.89	o 729
12.79/12.92	o 723
12.79/12.93	o 722
12.79/12.94	o 721
12.79/12.95	o 718
12.79/12.97	o 716
12.79/12.98	o 715
12.79/12.99	o 713
12.89/13.03	o 708
12.89/13.05	o 706
12.89/13.06	o 701
12.89/13.08	o 699
12.89/13.09	o 697
12.89/13.10	o 693
12.99/13.12	o 692
12.99/13.12	o 689
12.99/13.15	o 687
12.99/13.16	o 686
12.99/13.18	o 684
13.09/13.23	o 680
13.09/13.25	o 675
13.09/13.26	o 670
13.09/13.29	o 665
13.18/13.32	o 664
13.18/13.34	o 663
13.18/13.36	o 658
13.18/13.39	o 656
13.28/13.41	o 654
13.28/13.44	o 650
13.28/13.46	o 649
13.38/13.52	o 645
13.38/13.55	o 641
13.38/13.57	o 639
13.38/13.59	o 636
13.48/13.64	o 635
13.48/13.69	o 634
13.58/13.71	o 629
13.58/13.74	o 626
13.68/13.88	o 624
13.78/13.90	o 619
13.78/13.93	o 616
13.78/13.96	o 613
13.87/14.01	o 610
13.87/14.03	o 609
13.87/14.04	o 608
13.87/14.07	o 607
13.87/14.09	o 606
13.97/14.13	o 605
13.97/14.15	o 603
13.97/14.17	o 602
13.97/14.19	o 601
14.08/14.21	o 598
14.08/14.24	o 596
14.08/14.26	o 594
14.08/14.29	o 590
14.18/14.37	o 588
14.27/14.42	o 587
14.27/14.44	o 584
14.37/14.50	o 580
14.37/14.54	o 579
14.47/14.61	o 576
14.47/14.63	o 575
14.47/14.65	o 572
14.47/14.66	o 569
14.47/14.68	o 568
14.57/14.71	o 564
14.57/14.74	o 563
14.57/14.76	o 562
14.66/14.80	o 559
14.66/14.82	o 555
14.66/14.84	o 552
14.66/14.86	o 551
14.66/14.88	o 550
14.76/14.91	o 549
14.76/14.95	o 547
14.76/14.97	o 543
14.86/15.05	o 539
14.86/15.07	o 535
14.96/15.11	o 533
14.96/15.13	o 530
15.06/15.20	o 527
15.06/15.24	o 523
15.06/15.28	o 519
15.06/15.30	o 517
15.18/15.34	o 516
15.18/15.37	o 512
15.28/15.43	o 510
15.28/15.45	o 508
15.28/15.49	o 505
15.36/15.51	o 503
15.36/15.55	o 502
15.46/15.60	o 499
15.46/15.62	o 496
15.46/15.64	o 495
15.46/15.69	o 492
15.56/15.75	o 491
15.86/16.03	o 487
15.96/16.14	o 485
15.96/16.17	o 484
16.06/16.20	o 480
16.06/16.23	o 478
16.06/16.27	o 476
16.06/16.29	o 473
16.16/16.32	o 472
16.26/16.41	o 471
16.26/16.45	o 469
16.36/16.50	o 468
16.36/16.53	o 465
16.36/16.55	o 464
16.36/16.57	o 462
16.45/16.62	o 460
16.45/16.65	o 459
16.65/16.82	o 456
16.75/16.91	o 455
16.75/16.97	o 453
16.95/17.11	o 448
16.95/17.17	o 445
16.95/17.20	o 442
17.05/17.26	o 441
17.05/17.29	o 440
17.15/17.38	o 439
17.25/17.41	o 437
17.25/17.43	o 436
17.25/17.45	o 432
17.25/17.49	o 430
17.35/17.54	o 429
17.35/17.57	o 427
17.35/17.59	o 422
17.45/17.62	o 421
17.45/17.65	o 420
17.54/17.71	o 419
17.54/17.73	o 417
17.54/17.75	o 416
17.54/17.79	o 414
17.64/17.83	o 413
17.64/17.88	o 412
17.74/17.90	o 409
17.74/17.93	o 408
17.74/17.95	o 406
17.84/18.00	o 404
17.84/18.03	o 402
17.84/18.06	o 401
17.84/18.08	o 400
18.04/18.26	o 398
18.14/18.33	o 397
18.14/18.37	o 394
18.24/18.48	o 392
18.34/18.53	o 391
19.73/19.96	o 390
19.83/20.04	o 389
20.03/20.21	o 387
20.13/20.35	o 386
20.13/20.37	o 384
20.23/20.41	o 383
20.23/20.46	o 382
22.92/23.14	o 380
23.11/23.39	o 377
23.21/23.44	o 376
23.21/23.49	o 374
23.61/23.84	o 372
23.61/23.89	o 371
23.71/23.98	o 370
23.81/24.03	o 368
23.81/24.08	o 367
23.91/24.14	o 363
23.91/24.19	o 362
24.01/24.26	o 361
24.20/24.46	o 360
24.30/24.57	o 359
24.40/24.62	o 358
24.60/24.85	o 357
24.70/24.97	o 355
24.80/25.05	o 353
24.80/25.10	o 352
25.01/25.22	o 350
25.01/25.27	o 349
25.11/25.34	o 346
26.69/26.97	o 344
26.79/27.04	o 342
26.89/27.17	o 341
28.88/29.13	o 340
29.57/29.81	o 339
29.67/29.93	o 338
29.77/30.09	o 337
29.97/30.22	o 334
30.07/30.32	o 332
30.07/30.38	o 331
30.37/30.66	o 330
30.47/30.72	o 326
30.86/31.15	o 324
30.96/31.27	o 322
31.06/31.33	o 321
31.16/31.46	o 318
31.26/31.52	o 315
31.85/32.12	o 314
33.25/33.50	o 313
33.76/34.01	o 312
34.34/34.60	o 311
35.84/36.11	o 308
36.04/36.35	o 304
36.13/36.42	o 303
36.13/36.45	o 302
36.23/36.52	o 300
37.72/38.08	o 299
38.22/38.56	o 298
38.71/39.04	o 296
38.81/39.11	o 295
39.32/39.69	o 293
39.60/39.91	o 292
39.60/39.99	o 291
40.11/40.46	o 290
40.21/40.54	o 288
44.28/44.60	o 286
44.38/44.71	o 285
44.38/44.79	o 283
46.87/47.22	o 282
50.34/50.70	o 281
50.54/50.91	o 280
50.64/51.01	o 279
51.04/51.47	o 276
56.60/57.07	o 273
56.89/57.37	o 272
57.39/57.81	o 271
57.49/57.93	o 270
57.59/58.05	o 269
58.29/58.71	o 268
60.38/60.84	o 264
60.58/61.05	o 263
60.88/61.35	o 262
61.19/61.68	o 261
61.28/61.73	o 260
61.68/62.11	o 259
61.78/62.29	o 258
61.88/62.39	o 257
61.97/62.50	o 256
62.18/62.70	o 255
62.57/63.09	o 254
92.59/93.27	   
92.59/93.27	   search
92.59/93.27	     run=0  nbConstraintChecks=270847742  nbAssignments=1219
92.59/93.27	       =>  wckTime=81.783  cpuTime=81.25  mem=16M768
92.59/93.27	   
92.59/93.27	   global
92.59/93.27	     nbConstraintChecks=270847742  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
92.59/93.27	     solvingWckTime=81.776  solvingCpuTime=81.25  expiredTime=no  totalExploration=no  nbFoundSolutions=0
92.59/93.27	     globalCpuTime=92.0
92.59/93.27	       =>  wckTime=93.017  cpuTime=91.97  mem=16M768
92.59/93.27	   
92.59/93.27	   solver DecomposerSolver being built... 
93.28/93.93	       =>  wckTime=93.675  cpuTime=92.26  mem=133M212
99.46/100.14	   
99.46/100.14	   preprocessing
99.46/100.14	     nbConstraintChecks=19702262  nbValidityChecks=113734  nbPropagations=351  nbRevisions=7384  nbUselessRevisions=7365
99.46/100.14	     nbRemovedValues=912  detectedInconsistency=no
99.46/100.14	       =>  wckTime=6.21  cpuTime=6.15  mem=133M212
99.65/100.32	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-1113020-1215876937/watcher-1113020-1215876937 -o /tmp/evaluation-result-1113020-1215876937/solver-1113020-1215876937 -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-1113020-1215876937.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.09 2.11 2.14 4/100 15379
/proc/meminfo: memFree=1134016/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=18572 CPUtime=0
/proc/15379/stat : 15379 (runsolver) R 15377 15379 14871 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44390307 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 226686987559 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15379/statm: 4643 292 257 25 0 2626 0

[startup+0.0910061 s]
/proc/loadavg: 2.09 2.11 2.14 4/100 15379
/proc/meminfo: memFree=1134016/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=865960 CPUtime=0.06
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 3583 0 1 0 4 2 0 0 18 0 9 0 44390307 886743040 3073 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216490 3073 1641 9 0 211052 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865960

[startup+0.101007 s]
/proc/loadavg: 2.09 2.11 2.14 4/100 15379
/proc/meminfo: memFree=1134016/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=865988 CPUtime=0.07
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 3692 0 1 0 5 2 0 0 18 0 9 0 44390307 886771712 3167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216497 3171 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865988

[startup+0.30103 s]
/proc/loadavg: 2.09 2.11 2.14 4/100 15379
/proc/meminfo: memFree=1134016/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=866388 CPUtime=0.27
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 5804 0 1 0 23 4 0 0 18 0 9 0 44390307 887181312 5179 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216597 5179 1953 9 0 211125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866388

[startup+0.701081 s]
/proc/loadavg: 2.09 2.11 2.14 4/100 15379
/proc/meminfo: memFree=1134016/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=0.67
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 9154 0 1 0 60 7 0 0 18 0 9 0 44390307 888532992 8516 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 8516 2010 9 0 211433 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867708

[startup+1.50218 s]
/proc/loadavg: 2.09 2.11 2.14 3/109 15388
/proc/meminfo: memFree=1095736/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=1.47
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 12520 0 1 0 138 9 0 0 18 0 9 0 44390307 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 11878 2014 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=1.27
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 11169 0 1 0 120 7 0 0 25 0 9 0 44390308 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4126881766 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44390310 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 44390310 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 44390310 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.17
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 653 0 0 0 17 0 0 0 15 0 9 0 44390312 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 11878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867708

[startup+3.10238 s]
/proc/loadavg: 2.09 2.11 2.14 3/109 15388
/proc/meminfo: memFree=1092344/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=3.06
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 13573 0 1 0 295 11 0 0 18 0 9 0 44390307 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 12929 2014 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=2.84
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 12199 0 1 0 275 9 0 0 25 0 9 0 44390308 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4126857384 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44390310 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 44390310 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 44390310 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.19
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 676 0 0 0 19 0 0 0 16 0 9 0 44390312 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 12929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867708

[startup+6.30177 s]
/proc/loadavg: 2.09 2.11 2.14 3/109 15388
/proc/meminfo: memFree=1082744/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=6.24
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 15841 0 1 0 612 12 0 0 18 0 9 0 44390307 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 15194 2014 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=6.01
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 14463 0 1 0 591 10 0 0 25 0 9 0 44390308 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4126881584 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 44390310 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 44390310 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.2
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 680 0 0 0 20 0 0 0 15 0 9 0 44390312 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 15194 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867708

[startup+12.7026 s]
/proc/loadavg: 2.08 2.11 2.13 3/109 15388
/proc/meminfo: memFree=1056824/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=12.59
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 22558 0 1 0 1241 18 0 0 18 0 9 0 44390307 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 21691 2640 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=12.07
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15873 0 1 0 1193 14 0 0 25 0 9 0 44390308 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4126858185 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.2
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5261 0 0 0 19 1 0 0 17 0 9 0 44390310 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.29
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 727 0 0 0 28 1 0 0 15 0 9 0 44390312 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 867708

[startup+25.5012 s]
/proc/loadavg: 2.06 2.10 2.13 3/109 15388
/proc/meminfo: memFree=1056824/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=25.3
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 22561 0 1 0 2508 22 0 0 18 0 9 0 44390307 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 21694 2640 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=24.77
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15873 0 1 0 2459 18 0 0 25 0 9 0 44390308 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126857337 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.2
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.29
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 730 0 0 0 28 1 0 0 15 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 867708

[startup+51.1013 s]
/proc/loadavg: 2.04 2.09 2.13 3/109 15388
/proc/meminfo: memFree=1056696/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=50.74
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 22561 0 1 0 5050 24 0 0 18 0 9 0 44390307 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 21694 2640 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=50.22
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15873 0 1 0 5001 21 0 0 25 0 9 0 44390308 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4127042480 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.2
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.29
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 730 0 0 0 28 1 0 0 16 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0

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

/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 22561 0 1 0 7593 26 0 0 18 0 9 0 44390307 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 21694 2640 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=75.67
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15873 0 1 0 7545 22 0 0 25 0 9 0 44390308 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126457607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.2
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.29
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 730 0 0 0 28 1 0 0 16 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.19
Current children cumulated vsize (KiB) 867708

[startup+89.5021 s]
/proc/loadavg: 2.09 2.10 2.13 3/109 15388
/proc/meminfo: memFree=1056504/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=88.91
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 22561 0 1 0 8864 27 0 0 18 0 9 0 44390307 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 21694 2640 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=88.39
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15873 0 1 0 8816 23 0 0 25 0 9 0 44390308 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4127171356 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.2
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.29
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 730 0 0 0 28 1 0 0 16 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.91
Current children cumulated vsize (KiB) 867708

[startup+95.9029 s]
/proc/loadavg: 2.07 2.09 2.12 3/109 15388
/proc/meminfo: memFree=945656/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=95.28
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 50275 0 1 0 9484 44 0 0 18 0 9 0 44390307 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 49402 2641 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=94.38
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15926 0 1 0 9414 24 0 0 25 0 9 0 44390308 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4126860784 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.54
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 32902 0 0 0 37 17 0 0 17 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.32
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 747 0 0 0 31 1 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.28
Current children cumulated vsize (KiB) 867708

[startup+97.5021 s]
/proc/loadavg: 2.07 2.09 2.12 3/109 15388
/proc/meminfo: memFree=945656/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=96.87
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 50275 0 1 0 9643 44 0 0 18 0 9 0 44390307 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 49402 2641 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=95.98
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15926 0 1 0 9574 24 0 0 25 0 9 0 44390308 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4126857303 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.54
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 32902 0 0 0 37 17 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.32
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 747 0 0 0 31 1 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.87
Current children cumulated vsize (KiB) 867708

[startup+99.1023 s]
/proc/loadavg: 2.07 2.09 2.12 3/109 15388
/proc/meminfo: memFree=945656/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=98.46
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 50275 0 1 0 9802 44 0 0 18 0 9 0 44390307 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 49402 2641 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=97.56
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15926 0 1 0 9732 24 0 0 25 0 9 0 44390308 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4126858273 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.54
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 32902 0 0 0 37 17 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.32
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 747 0 0 0 31 1 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.46
Current children cumulated vsize (KiB) 867708

[startup+99.9014 s]
/proc/loadavg: 2.07 2.09 2.12 3/109 15388
/proc/meminfo: memFree=945656/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=99.26
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 50275 0 1 0 9882 44 0 0 18 0 9 0 44390307 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 49402 2641 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=98.36
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15926 0 1 0 9812 24 0 0 25 0 9 0 44390308 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4126852872 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.54
/proc/15379/task/15382/stat : 15382 (java) S 15377 15379 14871 0 -1 64 32902 0 0 0 37 17 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.32
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 747 0 0 0 31 1 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 49402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.26
Current children cumulated vsize (KiB) 867708

[startup+100.301 s]
/proc/loadavg: 2.07 2.09 2.12 3/109 15388
/proc/meminfo: memFree=945656/2055920 swapFree=4192812/4192956
[pid=15379] ppid=15377 vsize=867708 CPUtime=99.65
/proc/15379/stat : 15379 (java) S 15377 15379 14871 0 -1 0 51226 0 1 0 9921 44 0 0 18 0 9 0 44390307 888532992 50350 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15379/statm: 216927 50360 2640 9 0 211433 0
[pid=15379/tid=15381] ppid=15377 vsize=867708 CPUtime=98.6
/proc/15379/task/15381/stat : 15381 (java) R 15377 15379 14871 0 -1 64 15928 0 1 0 9836 24 0 0 25 0 9 0 44390308 888532992 50365 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15382] ppid=15377 vsize=867708 CPUtime=0.69
/proc/15379/task/15382/stat : 15382 (java) R 15377 15379 14871 0 -1 64 33874 0 0 0 52 17 0 0 16 0 9 0 44390310 888532992 50373 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15383] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15383/stat : 15383 (java) S 15377 15379 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 50380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15384] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15384/stat : 15384 (java) S 15377 15379 14871 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390310 888532992 50387 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15385] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15385/stat : 15385 (java) S 15377 15379 14871 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44390312 888532992 50395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15386] ppid=15377 vsize=867708 CPUtime=0.32
/proc/15379/task/15386/stat : 15386 (java) S 15377 15379 14871 0 -1 64 747 0 0 0 31 1 0 0 16 0 9 0 44390312 888532992 50401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15387] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15387/stat : 15387 (java) S 15377 15379 14871 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44390312 888532992 50408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15379/tid=15388] ppid=15377 vsize=867708 CPUtime=0
/proc/15379/task/15388/stat : 15388 (java) S 15377 15379 14871 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390312 888532992 50415 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.65
Current children cumulated vsize (KiB) 867708

Child status: 0
Real time (s): 100.356
CPU time (s): 99.7098
CPU user time (s): 99.2189
CPU system time (s): 0.490925
CPU usage (%): 99.3566
Max. virtual memory (cumulated for all children) (KiB): 867712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.2189
system time used= 0.490925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53837
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= 3772
involuntary context switches= 7668

runsolver used 0.171973 second user time and 0.421935 second system time

The end

Launcher Data (download as text)

Begin job on node80 at 2008-07-12 17:35:37
IDJOB=1113020
IDBENCH=61513
IDSOLVER=360
FILE ID=node80/1113020-1215876937
PBS_JOBID= 7903532
Free space on /tmp= 66552 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp05/normalized-fapp05-0350-1.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-1113020-1215876937/watcher-1113020-1215876937 -o /tmp/evaluation-result-1113020-1215876937/solver-1113020-1215876937 -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-1113020-1215876937.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 61e96c97715b7c95a31e810829750342
RANDOM SEED=58819586

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1134504 kB
Buffers:         11360 kB
Cached:          49296 kB
SwapCached:          0 kB
Active:         849912 kB
Inactive:        14576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1134504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2608 kB
Writeback:           0 kB
Mapped:         823368 kB
Slab:            38460 kB
Committed_AS:  1054148 kB
PageTables:       4968 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= 66552 MiB
End job on node80 at 2008-07-12 17:37:17