Trace number 1113019

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 99.9558 101.357

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.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-wdeg.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1113019-1215876935.xml
0.28/0.33	   
0.28/0.33	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.38/0.43	     nbVariables=350  nbDomainTypes=5  minDomainSize=50  maxDomainSize=270  nbTotalValues=79311
0.38/0.43	       =>  wckTime=0.176  cpuTime=0.14  mem=9M795
0.38/0.43	   
0.38/0.43	   predicates being loaded...
0.47/0.50	   
0.47/0.50	   constraints being loaded...
10.43/10.65	   
10.43/10.65	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 15M97)
11.13/11.36	     nbConstraints=4665  nbConvertedConstraints=750  nbConvertConstraintsChecks=37098792  nbExtensionStructures=626
11.13/11.36	     nbSharedExtensionStructures=434  nbConflictsStructures=837  nbSharedConflictsStructures=477
11.13/11.36	     nbUnbuiltConflictsStructures=1440  nbSharedBinaryRepresentations=287053  nbEvaluationManagers=1651
11.13/11.36	     nbSharedEvaluationManagers=2264  minDegree=5  maxDegree=40  minArity=2  maxArity=2
11.13/11.36	       =>  wckTime=11.104  cpuTime=10.67  mem=47M278
11.32/11.52	   
11.32/11.52	   solver LocalSearchSolver being built... 
11.32/11.56	       =>  wckTime=11.31  cpuTime=10.71  mem=15M739
11.42/11.61	
11.42/11.61	s SATISFIABLE
11.42/11.61	o 1089
11.42/11.64	o 1080
11.42/11.66	o 1071
11.42/11.67	o 1062
11.42/11.68	o 1054
11.52/11.70	o 1051
11.52/11.71	o 1050
11.52/11.72	o 1045
11.52/11.73	o 1043
11.52/11.74	o 1035
11.52/11.76	o 1029
11.52/11.77	o 1021
11.52/11.78	o 1016
11.52/11.79	o 1012
11.62/11.80	o 1009
11.62/11.81	o 1007
11.62/11.82	o 1000
11.62/11.83	o 993
11.62/11.85	o 986
11.62/11.85	o 981
11.62/11.86	o 977
11.62/11.87	o 973
11.62/11.89	o 970
11.62/11.89	o 968
11.72/11.91	o 967
11.72/11.92	o 964
11.72/11.94	o 959
11.72/11.94	o 951
11.72/11.95	o 943
11.72/11.97	o 939
11.72/11.98	o 936
11.82/12.01	o 933
11.82/12.02	o 931
11.82/12.02	o 927
11.82/12.03	o 926
11.82/12.03	o 925
11.82/12.04	o 919
11.82/12.05	o 917
11.82/12.06	o 911
11.82/12.07	o 905
11.82/12.08	o 901
11.82/12.09	o 899
11.82/12.10	o 894
11.92/12.12	o 891
11.92/12.13	o 888
11.92/12.14	o 885
11.92/12.19	o 883
12.01/12.21	o 879
12.01/12.22	o 874
12.01/12.25	o 873
12.01/12.26	o 868
12.01/12.28	o 865
12.01/12.29	o 859
12.11/12.30	o 857
12.11/12.31	o 856
12.11/12.32	o 851
12.11/12.34	o 850
12.11/12.36	o 846
12.11/12.39	o 843
12.21/12.43	o 841
12.21/12.46	o 838
12.21/12.46	o 837
12.21/12.48	o 832
12.21/12.49	o 827
12.21/12.50	o 826
12.31/12.51	o 824
12.31/12.52	o 819
12.31/12.54	o 817
12.31/12.56	o 815
12.31/12.57	o 811
12.31/12.59	o 807
12.40/12.61	o 805
12.40/12.62	o 799
12.40/12.64	o 797
12.50/12.71	o 795
12.50/12.73	o 793
12.50/12.75	o 791
12.50/12.76	o 786
12.50/12.78	o 783
12.50/12.79	o 781
12.60/12.81	o 775
12.60/12.82	o 768
12.60/12.83	o 766
12.60/12.84	o 764
12.60/12.85	o 756
12.60/12.86	o 752
12.60/12.87	o 748
12.60/12.89	o 744
12.70/12.90	o 743
12.70/12.91	o 739
12.70/12.92	o 738
12.70/12.94	o 736
12.70/12.96	o 731
12.70/12.97	o 729
12.80/13.00	o 723
12.80/13.01	o 722
12.80/13.02	o 721
12.80/13.04	o 718
12.80/13.06	o 716
12.80/13.07	o 715
12.80/13.08	o 713
12.89/13.13	o 708
12.89/13.14	o 706
12.89/13.15	o 701
12.89/13.17	o 699
12.89/13.18	o 697
12.89/13.19	o 693
12.99/13.21	o 692
12.99/13.22	o 689
12.99/13.24	o 687
12.99/13.25	o 686
12.99/13.27	o 684
13.08/13.32	o 680
13.08/13.33	o 675
13.08/13.35	o 670
13.08/13.38	o 665
13.18/13.40	o 664
13.18/13.43	o 663
13.18/13.45	o 658
13.18/13.48	o 656
13.28/13.50	o 654
13.28/13.52	o 650
13.28/13.55	o 649
13.38/13.61	o 645
13.38/13.64	o 641
13.38/13.66	o 639
13.38/13.68	o 636
13.47/13.73	o 635
13.47/13.79	o 634
13.58/13.81	o 629
13.58/13.83	o 626
13.68/13.98	o 624
13.78/14.00	o 619
13.78/14.02	o 616
13.78/14.06	o 613
13.88/14.11	o 610
13.88/14.12	o 609
13.88/14.14	o 608
13.88/14.17	o 607
13.88/14.19	o 606
13.98/14.23	o 605
13.98/14.26	o 603
13.98/14.27	o 602
13.98/14.29	o 601
14.08/14.32	o 598
14.08/14.35	o 596
14.08/14.37	o 594
14.17/14.40	o 590
14.17/14.47	o 588
14.27/14.52	o 587
14.27/14.54	o 584
14.37/14.61	o 580
14.37/14.65	o 579
14.47/14.72	o 576
14.47/14.74	o 575
14.47/14.75	o 572
14.47/14.77	o 569
14.47/14.79	o 568
14.56/14.82	o 564
14.56/14.85	o 563
14.56/14.87	o 562
14.66/14.91	o 559
14.66/14.93	o 555
14.66/14.95	o 552
14.66/14.97	o 551
14.66/14.99	o 550
14.76/15.02	o 549
14.76/15.07	o 547
14.76/15.09	o 543
14.86/15.16	o 539
14.86/15.19	o 535
14.96/15.22	o 533
14.96/15.25	o 530
15.06/15.33	o 527
15.06/15.37	o 523
15.06/15.40	o 519
15.16/15.42	o 517
15.16/15.46	o 516
15.25/15.50	o 512
15.25/15.55	o 510
15.25/15.57	o 508
15.35/15.61	o 505
15.35/15.63	o 503
15.35/15.67	o 502
15.45/15.72	o 499
15.45/15.74	o 496
15.45/15.76	o 495
15.55/15.81	o 492
15.55/15.87	o 491
15.84/16.16	o 487
15.94/16.27	o 485
16.04/16.31	o 484
16.04/16.33	o 480
16.04/16.36	o 478
16.14/16.41	o 476
16.14/16.44	o 473
16.14/16.46	o 472
16.24/16.55	o 471
16.33/16.60	o 469
16.33/16.65	o 468
16.33/16.67	o 465
16.33/16.69	o 464
16.44/16.71	o 462
16.44/16.76	o 460
16.44/16.79	o 459
16.64/16.96	o 456
16.74/17.06	o 455
16.84/17.12	o 453
16.94/17.26	o 448
17.04/17.32	o 445
17.04/17.34	o 442
17.14/17.41	o 441
17.14/17.43	o 440
17.24/17.53	o 439
17.24/17.56	o 437
17.24/17.58	o 436
17.24/17.60	o 432
17.33/17.65	o 430
17.33/17.70	o 429
17.43/17.73	o 427
17.43/17.75	o 422
17.43/17.77	o 421
17.43/17.80	o 420
17.53/17.86	o 419
17.53/17.88	o 417
17.63/17.90	o 416
17.63/17.95	o 414
17.63/17.98	o 413
17.73/18.03	o 412
17.73/18.05	o 409
17.73/18.08	o 408
17.82/18.11	o 406
17.82/18.16	o 404
17.82/18.19	o 402
17.92/18.22	o 401
17.92/18.25	o 400
18.12/18.42	o 398
18.22/18.50	o 397
18.22/18.53	o 394
18.32/18.66	o 392
18.41/18.71	o 391
19.80/20.14	o 390
19.90/20.22	o 389
19.99/20.39	o 387
20.19/20.53	o 386
20.19/20.55	o 384
20.19/20.59	o 383
20.29/20.64	o 382
22.95/23.33	o 380
23.15/23.58	o 377
23.24/23.64	o 376
23.24/23.69	o 374
23.64/24.04	o 372
23.64/24.09	o 371
23.74/24.19	o 370
23.84/24.24	o 368
23.84/24.29	o 367
23.93/24.35	o 363
24.03/24.41	o 362
24.03/24.47	o 361
24.23/24.67	o 360
24.32/24.78	o 359
24.42/24.84	o 358
24.62/25.07	o 357
24.72/25.19	o 355
24.82/25.27	o 353
24.92/25.32	o 352
25.01/25.44	o 350
25.11/25.50	o 349
25.11/25.55	o 346
26.80/27.22	o 344
26.80/27.28	o 342
27.00/27.42	o 341
28.97/29.40	o 340
29.56/30.08	o 339
29.75/30.21	o 338
29.85/30.37	o 337
30.05/30.50	o 334
30.15/30.60	o 332
30.15/30.66	o 331
30.44/30.96	o 330
30.54/31.02	o 326
30.93/31.45	o 324
31.03/31.58	o 322
31.13/31.64	o 321
31.23/31.77	o 318
31.33/31.84	o 315
31.92/32.44	o 314
33.30/33.85	o 313
33.79/34.37	o 312
34.38/34.96	o 311
35.97/36.50	o 308
36.17/36.73	o 304
36.26/36.81	o 303
36.26/36.84	o 302
36.36/36.91	o 300
37.84/38.49	o 299
38.34/38.95	o 298
38.82/39.44	o 296
38.92/39.51	o 295
39.42/40.09	o 293
39.71/40.32	o 292
39.71/40.40	o 291
40.20/40.87	o 290
40.30/40.95	o 288
44.36/45.05	o 286
44.46/45.16	o 285
44.55/45.24	o 283
46.92/47.69	o 282
50.47/51.23	o 281
50.67/51.44	o 280
50.76/51.54	o 279
51.26/52.01	o 276
56.78/57.67	o 273
57.07/57.96	o 272
57.57/58.41	o 271
57.67/58.53	o 270
57.78/58.64	o 269
58.47/59.32	o 268
60.54/61.45	o 264
60.74/61.67	o 263
61.03/61.97	o 262
61.32/62.29	o 261
61.42/62.34	o 260
61.82/62.73	o 259
62.01/62.91	o 258
62.11/63.02	o 257
62.21/63.12	o 256
62.41/63.33	o 255
62.81/63.72	o 254
92.89/94.25	   
92.89/94.25	   search
92.89/94.25	     run=0  nbConstraintChecks=270847742  nbAssignments=1219
92.89/94.25	       =>  wckTime=82.685  cpuTime=81.54  mem=16M772
92.89/94.25	   
92.89/94.25	   global
92.89/94.25	     nbConstraintChecks=270847742  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
92.89/94.25	     solvingWckTime=82.683  solvingCpuTime=81.54  expiredTime=no  totalExploration=no  nbFoundSolutions=0
92.89/94.25	     globalCpuTime=92.3
92.89/94.25	       =>  wckTime=93.995  cpuTime=92.25  mem=16M772
92.89/94.25	   
92.89/94.25	   solver DecomposerSolver being built... 
93.38/94.72	       =>  wckTime=94.463  cpuTime=92.46  mem=133M143
99.70/101.14	   
99.70/101.15	   preprocessing
99.70/101.15	     nbConstraintChecks=19691347  nbValidityChecks=113645  nbPropagations=351  nbRevisions=7378  nbUselessRevisions=7359
99.70/101.15	     nbRemovedValues=912  detectedInconsistency=no
99.70/101.15	       =>  wckTime=6.428  cpuTime=6.32  mem=133M143
99.89/101.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-1113019-1215876935/watcher-1113019-1215876935 -o /tmp/evaluation-result-1113019-1215876935/solver-1113019-1215876935 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1113019-1215876935.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.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=18572 CPUtime=0
/proc/15757/stat : 15757 (runsolver) R 15755 15757 15720 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44390662 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 270187162919 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15757/statm: 4643 292 257 25 0 2626 0

[startup+0.044439 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=861876 CPUtime=0.02
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 2237 0 1 0 1 1 0 0 20 0 5 0 44390662 882561024 1853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 215469 1853 851 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.101447 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=865988 CPUtime=0.08
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 3700 0 1 0 6 2 0 0 20 0 9 0 44390662 886771712 3175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216497 3175 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301487 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=866360 CPUtime=0.28
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 5822 0 1 0 24 4 0 0 20 0 9 0 44390662 887152640 5197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216590 5197 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360

[startup+0.701566 s]
/proc/loadavg: 1.85 1.97 2.15 4/112 15757
/proc/meminfo: memFree=1194904/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867604 CPUtime=0.67
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 9208 0 1 0 61 6 0 0 20 0 9 0 44390662 888426496 8569 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216901 8569 2010 9 0 211407 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867604

[startup+1.50272 s]
/proc/loadavg: 1.85 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1156496/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=1.46
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 12535 0 1 0 138 8 0 0 20 0 9 0 44390662 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 11893 2014 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=1.28
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 11186 0 1 0 121 7 0 0 25 0 9 0 44390664 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4126857337 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44390665 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 44390665 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 44390665 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.16
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 651 0 0 0 16 0 0 0 16 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 11893 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867720

[startup+3.10303 s]
/proc/loadavg: 1.85 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1153040/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=3.04
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 13586 0 1 0 295 9 0 0 20 0 9 0 44390662 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 12942 2014 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=2.84
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 12215 0 1 0 276 8 0 0 25 0 9 0 44390664 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4126856764 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44390665 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 44390665 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 44390665 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.19
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 673 0 0 0 19 0 0 0 16 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 12942 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867720

[startup+6.30165 s]
/proc/loadavg: 1.86 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1143448/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=6.19
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 15852 0 1 0 608 11 0 0 20 0 9 0 44390662 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 15205 2014 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=5.98
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 14477 0 1 0 588 10 0 0 25 0 9 0 44390664 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4126881689 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 44390665 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 44390665 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 677 0 0 0 20 0 0 0 15 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 15205 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 867720

[startup+12.7029 s]
/proc/loadavg: 1.87 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1117528/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=12.5
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22558 0 1 0 1235 15 0 0 20 0 9 0 44390662 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21691 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=12
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 1187 13 0 0 25 0 9 0 44390664 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4127043080 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 17 0 9 0 44390665 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 725 0 0 0 28 0 0 0 15 0 9 0 44390667 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21691 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 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.5
Current children cumulated vsize (KiB) 867720

[startup+25.5014 s]
/proc/loadavg: 1.90 1.97 2.15 3/121 15766
/proc/meminfo: memFree=1117528/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=25.11
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 2493 18 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=24.61
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 2445 16 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126856243 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 15 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 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.11
Current children cumulated vsize (KiB) 867720

[startup+51.1014 s]
/proc/loadavg: 1.93 1.97 2.14 3/121 15766
/proc/meminfo: memFree=1117528/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=50.37
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 5016 21 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=49.86
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 4967 19 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126857303 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 16 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0

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

/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 7540 23 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=75.12
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 7492 20 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4127173496 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 16 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 75.63
Current children cumulated vsize (KiB) 867720

[startup+89.5029 s]
/proc/loadavg: 1.96 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1117464/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=88.25
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 22561 0 1 0 8802 23 0 0 20 0 9 0 44390662 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 21694 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=87.75
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15875 0 1 0 8754 21 0 0 25 0 9 0 44390664 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4126856208 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.2
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 5261 0 0 0 19 1 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.28
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 728 0 0 0 28 0 0 0 16 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 21694 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 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.25
Current children cumulated vsize (KiB) 867720

[startup+95.9012 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006680/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=94.57
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9422 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=93.8
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9358 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126852962 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 17 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 94.57
Current children cumulated vsize (KiB) 867720

[startup+99.1028 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006680/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=97.72
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9737 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=96.96
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9674 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126860827 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.72
Current children cumulated vsize (KiB) 867720

[startup+100.702 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006616/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=99.3
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9895 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=98.53
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9831 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126858160 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.3
Current children cumulated vsize (KiB) 867720

[startup+101.101 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006616/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=99.7
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 50257 0 1 0 9935 35 0 0 20 0 9 0 44390662 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 49384 2641 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=98.93
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15927 0 1 0 9871 22 0 0 25 0 9 0 44390664 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4126856731 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.42
/proc/15757/task/15760/stat : 15760 (java) S 15755 15757 15720 0 -1 64 32884 0 0 0 31 11 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) R 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 49384 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (KiB) 867720

[startup+101.301 s]
/proc/loadavg: 1.97 1.97 2.13 3/121 15766
/proc/meminfo: memFree=1006616/2055920 swapFree=4192812/4192956
[pid=15757] ppid=15755 vsize=867720 CPUtime=99.89
/proc/15757/stat : 15757 (java) S 15755 15757 15720 0 -1 0 51033 0 1 0 9954 35 0 0 20 0 9 0 44390662 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15757/statm: 216930 50157 2640 9 0 211436 0
[pid=15757/tid=15759] ppid=15755 vsize=867720 CPUtime=98.98
/proc/15757/task/15759/stat : 15759 (java) R 15755 15757 15720 0 -1 64 15931 0 1 0 9876 22 0 0 25 0 9 0 44390664 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15760] ppid=15755 vsize=867720 CPUtime=0.57
/proc/15757/task/15760/stat : 15760 (java) R 15755 15757 15720 0 -1 64 33656 0 0 0 45 12 0 0 16 0 9 0 44390665 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15761] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15761/stat : 15761 (java) S 15755 15757 15720 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15762] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15762/stat : 15762 (java) S 15755 15757 15720 0 -1 64 8 0 0 0 0 0 0 0 16 0 9 0 44390665 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15763] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15763/stat : 15763 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15764] ppid=15755 vsize=867720 CPUtime=0.31
/proc/15757/task/15764/stat : 15764 (java) S 15755 15757 15720 0 -1 64 746 0 0 0 31 0 0 0 16 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15765] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15765/stat : 15765 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15757/tid=15766] ppid=15755 vsize=867720 CPUtime=0
/proc/15757/task/15766/stat : 15766 (java) S 15755 15757 15720 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44390667 888545280 50157 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (KiB) 867720

Child status: 0
Real time (s): 101.357
CPU time (s): 99.9558
CPU user time (s): 99.5579
CPU system time (s): 0.397939
CPU usage (%): 98.6176
Max. virtual memory (cumulated for all children) (KiB): 867720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.5579
system time used= 0.397939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53838
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= 3797
involuntary context switches= 8535

runsolver used 0.178972 second user time and 0.513921 second system time

The end

Launcher Data (download as text)

Begin job on node88 at 2008-07-12 17:35:35
IDJOB=1113019
IDBENCH=61513
IDSOLVER=359
FILE ID=node88/1113019-1215876935
PBS_JOBID= 7903620
Free space on /tmp= 66500 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113019-1215876935/watcher-1113019-1215876935 -o /tmp/evaluation-result-1113019-1215876935/solver-1113019-1215876935 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1113019-1215876935.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 61e96c97715b7c95a31e810829750342
RANDOM SEED=512927885

node88.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.263
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	: 5931.00
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.263
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:       1195384 kB
Buffers:         39056 kB
Cached:         570972 kB
SwapCached:          0 kB
Active:         725976 kB
Inactive:        70460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1195384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2792 kB
Writeback:           0 kB
Mapped:         207888 kB
Slab:            45284 kB
Committed_AS:   563268 kB
PageTables:       4868 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= 66496 MiB
End job on node88 at 2008-07-12 17:37:17