Trace number 1112557

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? 693.797 694.875

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-24.xml
MD5SUM32c080069cd6a9f51c8c0a6f1b619a56
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints89
Best CPU time to get the best result obtained on this benchmark3600.07
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1288
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.17/0.25	
0.17/0.25	   configuration
0.17/0.25	     name=mrdac-wdeg.xml
0.17/0.29	   
0.17/0.29	   instance
0.17/0.29	     name=HOME/instance-1112557-1215870106.xml
0.27/0.32	   
0.27/0.33	   domains being loaded...
0.27/0.35	   
0.27/0.35	   variables being loaded...
0.37/0.49	     nbVariables=600  nbDomainTypes=98  minDomainSize=1190  maxDomainSize=1288  nbTotalValues=744780
0.37/0.49	       =>  wckTime=0.241  cpuTime=0.19  mem=21M587
0.37/0.49	   
0.37/0.49	   predicates being loaded...
0.47/0.55	   
0.47/0.55	   constraints being loaded...
10.61/10.78	   
10.61/10.78	   INFO : Stopping converting binary constraints (cpu=10.26, mem = 34M25)
11.51/11.61	     nbConstraints=9690  nbConvertedConstraints=75  nbConvertConstraintsChecks=41567516  nbExtensionStructures=27
11.51/11.61	     nbSharedExtensionStructures=48  nbConflictsStructures=27  nbSharedConflictsStructures=48
11.51/11.61	     nbUnbuiltConflictsStructures=2347  nbSharedBinaryRepresentations=6959  nbEvaluationManagers=2347
11.51/11.61	     nbSharedEvaluationManagers=7268  minDegree=21  maxDegree=43  minArity=2  maxArity=2
11.51/11.61	       =>  wckTime=11.356  cpuTime=10.81  mem=50M881
11.71/11.81	   
11.71/11.81	   solver LocalSearchSolver being built... 
11.71/11.85	       =>  wckTime=11.602  cpuTime=10.84  mem=44M517
11.91/12.03	
11.91/12.03	s SATISFIABLE
11.91/12.03	o 1107
12.12/12.22	o 1100
12.21/12.37	o 1093
12.41/12.56	o 1086
12.61/12.76	o 1079
12.81/12.94	o 1072
13.01/13.15	o 1067
13.21/13.37	o 1059
13.51/13.62	o 1052
13.71/13.86	o 1045
14.00/14.12	o 1038
14.21/14.33	o 1031
14.40/14.56	o 1025
14.70/14.84	o 1019
15.00/15.18	o 1012
15.50/15.67	o 1006
15.99/16.13	o 1000
16.40/16.57	o 995
16.89/17.00	o 990
17.28/17.44	o 985
17.68/17.83	o 980
17.98/18.17	o 975
18.38/18.52	o 970
18.68/18.84	o 966
19.08/19.22	o 962
19.37/19.58	o 958
19.67/19.89	o 954
20.07/20.27	o 950
20.37/20.58	o 946
20.96/21.11	o 941
21.46/21.67	o 935
21.96/22.15	o 929
22.46/22.65	o 923
22.96/23.18	o 918
23.45/23.66	o 913
24.05/24.24	o 908
24.54/24.74	o 903
25.04/25.22	o 898
25.44/25.66	o 893
25.94/26.14	o 889
26.43/26.60	o 885
26.82/27.00	o 881
27.12/27.37	o 877
27.52/27.70	o 873
27.82/28.02	o 869
28.11/28.35	o 866
28.52/28.73	o 863
28.91/29.10	o 860
29.21/29.41	o 857
29.70/29.96	o 855
30.11/30.33	o 853
30.60/30.87	o 851
31.20/31.48	o 850
31.80/32.08	o 847
32.49/32.75	o 842
32.99/33.28	o 837
33.49/33.78	o 832
34.09/34.31	o 827
34.68/34.92	o 822
35.28/35.54	o 817
35.88/36.19	o 813
36.47/36.75	o 809
36.97/37.29	o 805
37.57/37.89	o 801
38.17/38.46	o 797
38.77/39.04	o 794
39.26/39.58	o 791
39.86/40.12	o 788
40.56/40.81	o 785
41.05/41.36	o 782
41.65/41.90	o 779
42.15/42.46	o 777
42.74/43.01	o 775
43.14/43.47	o 773
43.63/43.94	o 771
44.13/44.44	o 769
44.52/44.88	o 768
45.02/45.31	o 767
45.43/45.71	o 766
45.82/46.15	o 765
46.32/46.63	o 764
47.40/47.78	o 760
47.90/48.20	o 758
48.20/48.60	o 756
49.09/49.43	o 754
49.49/49.82	o 752
50.29/50.67	o 750
50.69/51.07	o 748
51.28/51.62	o 747
51.78/52.19	o 743
52.37/52.75	o 739
52.97/53.30	o 735
53.46/53.86	o 731
54.06/54.48	o 728
54.76/55.14	o 725
55.36/55.74	o 722
55.95/56.39	o 719
56.54/56.97	o 716
57.24/57.61	o 713
57.74/58.19	o 710
58.34/58.76	o 709
59.04/59.41	o 706
59.63/60.02	o 703
60.23/60.66	o 700
60.82/61.26	o 698
61.42/61.80	o 696
61.92/62.35	o 694
62.42/62.87	o 692
62.91/63.37	o 690
63.41/63.89	o 688
63.91/64.36	o 686
64.40/64.83	o 684
64.91/65.31	o 683
65.30/65.72	o 682
65.70/66.16	o 681
66.10/66.59	o 680
66.59/67.00	o 679
66.89/67.39	o 678
67.28/67.77	o 677
68.88/69.35	o 675
69.86/70.31	o 674
72.04/72.52	o 670
72.34/72.89	o 666
72.74/73.22	o 663
74.23/74.80	o 661
74.73/75.23	o 658
75.13/75.68	o 657
75.62/76.19	o 656
76.12/76.63	o 654
76.52/77.10	o 653
77.02/77.56	o 651
77.62/78.15	o 650
78.11/78.64	o 645
78.61/79.11	o 643
79.21/79.77	o 640
79.91/80.43	o 637
80.50/81.03	o 634
81.10/81.64	o 631
81.79/82.31	o 628
82.39/82.91	o 625
82.99/83.52	o 622
83.49/84.05	o 621
83.88/84.46	o 619
84.39/84.95	o 616
84.78/85.35	o 615
85.37/85.91	o 614
86.37/86.95	o 611
86.96/87.52	o 608
87.46/88.03	o 607
88.05/88.61	o 605
88.55/89.12	o 603
89.05/89.64	o 601
89.54/90.16	o 599
90.14/90.71	o 597
90.54/91.19	o 595
91.03/91.62	o 593
91.43/92.04	o 591
91.83/92.44	o 589
92.22/92.88	o 587
92.61/93.28	o 586
93.02/93.64	o 585
93.31/93.98	o 584
93.81/94.41	o 583
94.11/94.70	o 582
94.41/95.09	o 580
94.80/95.44	o 579
95.11/95.75	o 578
95.50/96.11	o 577
95.80/96.44	o 576
96.69/97.31	o 573
97.39/98.01	o 572
97.69/98.39	o 571
98.18/98.84	o 570
98.58/99.26	o 568
101.37/102.05	o 567
102.17/102.89	o 566
102.57/103.29	o 565
103.36/104.05	o 562
106.44/107.11	o 561
106.93/107.65	o 560
107.42/108.10	o 558
107.82/108.56	o 556
108.82/109.57	o 555
109.32/110.07	o 553
109.81/110.59	o 552
110.42/111.13	o 549
111.90/112.65	o 548
112.89/113.61	o 546
113.89/114.67	o 544
114.48/115.28	o 542
116.67/117.42	o 541
118.66/119.46	o 540
120.95/121.70	o 538
121.65/122.45	o 536
122.34/123.19	o 534
123.73/124.55	o 533
124.43/125.27	o 532
125.23/126.06	o 530
125.93/126.79	o 528
126.72/127.58	o 526
127.43/128.29	o 523
128.93/129.76	o 521
129.63/130.46	o 519
130.32/131.14	o 517
130.82/131.66	o 514
131.52/132.37	o 513
132.22/133.05	o 511
132.92/133.74	o 510
134.22/135.03	o 509
134.92/135.74	o 508
135.62/136.43	o 507
136.21/137.07	o 506
137.11/137.90	o 505
137.71/138.58	o 504
138.41/139.26	o 503
139.01/139.85	o 501
150.90/151.75	o 500
152.90/153.74	o 499
173.69/174.52	o 497
201.98/202.80	o 496
202.88/203.78	o 494
203.89/204.71	o 492
204.78/205.66	o 491
207.58/208.49	o 489
210.38/211.29	o 487
211.38/212.24	o 486
214.17/215.05	o 485
219.77/220.66	o 481
221.67/222.51	o 479
226.07/226.94	o 478
226.77/227.70	o 476
227.67/228.56	o 474
229.47/230.32	o 473
231.16/232.07	o 472
231.76/232.69	o 468
232.47/233.39	o 467
234.16/235.05	o 466
234.97/235.90	o 462
239.37/240.27	o 460
241.96/242.86	o 459
242.86/243.76	o 457
243.76/244.60	o 456
244.57/245.48	o 455
245.46/246.31	o 454
248.97/249.87	o 452
251.76/252.63	o 451
259.86/260.74	o 450
260.76/261.63	o 448
261.66/262.57	o 446
267.85/268.79	o 445
268.76/269.67	o 444
270.35/271.25	o 442
271.15/272.02	o 440
272.75/273.68	o 438
274.45/275.32	o 436
278.55/279.43	o 433
279.45/280.36	o 432
281.14/282.04	o 430
281.95/282.86	o 428
293.34/294.25	o 427
294.44/295.33	o 426
295.54/296.41	o 425
296.53/297.47	o 424
297.63/298.55	o 423
298.73/299.64	o 422
299.83/300.72	o 421
300.83/301.73	o 420
301.93/302.81	o 419
302.93/303.83	o 418
303.94/304.86	o 417
334.93/335.83	o 416
336.02/336.98	o 415
337.13/338.06	o 413
338.23/339.12	o 411
339.32/340.24	o 410
343.32/344.26	o 407
344.42/345.32	o 406
345.63/346.50	o 405
346.73/347.65	o 404
347.93/348.83	o 403
349.12/350.06	o 399
350.42/351.30	o 397
351.72/352.66	o 396
355.62/356.52	o 395
368.31/369.29	o 394
372.01/372.99	o 393
388.90/389.84	o 391
389.60/390.58	o 389
390.90/391.80	o 387
392.10/393.05	o 385
397.00/397.98	o 383
427.09/428.08	o 382
428.19/429.17	o 381
431.49/432.44	o 379
432.49/433.42	o 378
437.88/438.86	o 376
438.98/439.94	o 374
440.19/441.15	o 373
448.08/449.00	o 372
472.86/473.88	o 371
478.07/479.04	o 370
479.37/480.35	o 369
480.67/481.67	o 368
491.36/492.36	o 367
492.76/493.78	o 366
496.76/497.72	o 365
503.46/504.40	o 362
504.75/505.72	o 361
507.25/508.27	o 360
508.65/509.67	o 359
514.74/515.76	o 358
516.05/517.09	o 356
518.64/519.60	o 355
519.84/520.88	o 353
521.04/522.06	o 350
524.95/525.93	o 349
545.44/546.43	o 347
557.73/558.71	o 346
575.23/576.23	o 345
578.13/579.12	o 342
579.53/580.52	o 340
580.93/581.99	o 339
587.82/588.87	o 337
590.72/591.70	o 336
593.52/594.52	o 335
594.92/595.95	o 334
597.72/598.75	o 333
599.11/600.19	o 332
600.51/601.60	o 331
602.01/603.02	o 330
626.60/627.69	o 329
632.10/633.18	o 328
633.60/634.63	o 327
635.10/636.11	o 326
649.49/650.59	o 325
651.09/652.11	o 323
652.49/653.55	o 320
656.99/658.02	o 319
658.58/659.61	o 316
688.58/689.65	   
688.58/689.65	   search
688.58/689.65	     run=0  nbConstraintChecks=1726266417  nbAssignments=766
688.58/689.65	       =>  wckTime=677.802  cpuTime=676.86  mem=44M517
688.58/689.66	   
688.58/689.66	   global
688.58/689.66	     nbConstraintChecks=1726266417  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
688.58/689.66	     solvingWckTime=677.776  solvingCpuTime=676.83  expiredTime=no  totalExploration=no  nbFoundSolutions=0
688.58/689.66	     globalCpuTime=687.73
688.58/689.66	       =>  wckTime=689.404  cpuTime=687.7  mem=44M517
688.58/689.66	   
688.58/689.66	   solver DecomposerSolver being built... 
693.63/694.73	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-1112557-1215870106/watcher-1112557-1215870106 -o /tmp/evaluation-result-1112557-1215870106/solver-1112557-1215870106 -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-1112557-1215870106.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

[startup+0 s]
/proc/loadavg: 1.00 1.00 0.92 3/82 17940
/proc/meminfo: memFree=1287768/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=18572 CPUtime=0
/proc/17940/stat : 17940 (runsolver) R 17938 17853 17853 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 43708581 19017728 290 996147200 4194304 4296836 548682068336 18446744073709551615 271635740394 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17940/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.102286 s]
/proc/loadavg: 1.00 1.00 0.92 3/82 17940
/proc/meminfo: memFree=1287768/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=865988 CPUtime=0.08
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 3703 0 1 0 6 2 0 0 18 0 9 0 43708581 886771712 3178 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216497 3178 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.2013 s]
/proc/loadavg: 1.00 1.00 0.92 3/82 17940
/proc/meminfo: memFree=1287768/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=866016 CPUtime=0.17
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 4652 0 1 0 14 3 0 0 18 0 9 0 43708581 886800384 4080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216504 4082 1861 9 0 211052 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 866016

[startup+0.301313 s]
/proc/loadavg: 1.00 1.00 0.92 3/82 17940
/proc/meminfo: memFree=1287768/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=866388 CPUtime=0.27
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 5827 0 1 0 23 4 0 0 18 0 9 0 43708581 887181312 5202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216597 5202 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866388

[startup+0.701347 s]
/proc/loadavg: 1.00 1.00 0.92 3/82 17940
/proc/meminfo: memFree=1287768/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=0.67
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 11578 0 1 0 60 7 0 0 18 0 9 0 43708581 888520704 10939 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 10939 2011 9 0 211430 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867696

[startup+1.50143 s]
/proc/loadavg: 1.00 1.00 0.92 5/91 17959
/proc/meminfo: memFree=1231120/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=1.47
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 16352 0 1 0 137 10 0 0 18 0 9 0 43708581 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 15710 2015 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=1.29
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15006 0 1 0 120 9 0 0 25 0 9 0 43708583 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4126869340 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 43708584 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 43708584 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.16
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 649 0 0 0 16 0 0 0 16 0 9 0 43708586 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 15710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 15710 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) 867696

[startup+3.10159 s]
/proc/loadavg: 1.16 1.03 0.93 3/91 17959
/proc/meminfo: memFree=1210768/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=3.05
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 17101 0 1 0 295 10 0 0 18 0 9 0 43708581 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 16458 2015 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=2.87
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15754 0 1 0 278 9 0 0 25 0 9 0 43708583 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4126889422 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 43708584 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 43708584 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.16
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 650 0 0 0 16 0 0 0 16 0 9 0 43708586 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 16458 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867696

[startup+6.30192 s]
/proc/loadavg: 1.16 1.03 0.93 3/91 17959
/proc/meminfo: memFree=1148952/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867608 CPUtime=6.24
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 22141 0 1 0 611 13 0 0 18 0 9 0 43708581 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216902 21473 2006 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867608 CPUtime=5.94
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15797 0 1 0 585 9 0 0 25 0 9 0 43708583 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4126889687 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867608 CPUtime=0.1
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 4996 0 0 0 8 2 0 0 16 0 9 0 43708584 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867608 CPUtime=0.17
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 652 0 0 0 17 0 0 0 16 0 9 0 43708586 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888430592 21473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888430592 21473 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) 867608

[startup+12.7026 s]
/proc/loadavg: 1.23 1.05 0.94 3/91 17959
/proc/meminfo: memFree=1036000/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=12.61
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 30677 0 1 0 1243 18 0 0 18 0 9 0 43708581 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 29815 2640 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=11.86
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15869 0 1 0 1176 10 0 0 25 0 9 0 43708583 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4127150211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=0.46
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 13393 0 0 0 40 6 0 0 17 0 9 0 43708584 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.27
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 719 0 0 0 26 1 0 0 15 0 9 0 43708586 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 29815 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867696

[startup+25.5029 s]
/proc/loadavg: 1.40 1.09 0.95 3/91 17959
/proc/meminfo: memFree=863200/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=25.34
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 30679 0 1 0 2515 19 0 0 18 0 9 0 43708581 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 29816 2640 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=24.58
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15870 0 1 0 2447 11 0 0 25 0 9 0 43708583 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4126863720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=0.46
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 13393 0 0 0 40 6 0 0 16 0 9 0 43708584 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.27
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 720 0 0 0 26 1 0 0 16 0 9 0 43708586 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867696

[startup+51.1025 s]
/proc/loadavg: 1.66 1.18 0.98 3/91 17959
/proc/meminfo: memFree=608544/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=50.79
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 30679 0 1 0 5053 26 0 0 18 0 9 0 43708581 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 29816 2640 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=50.03
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15870 0 1 0 4985 18 0 0 25 0 9 0 43708583 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4127159236 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=0.46
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 13393 0 0 0 40 6 0 0 16 0 9 0 43708584 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.27
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 720 0 0 0 26 1 0 0 16 0 9 0 43708586 888520704 29816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0

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

/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.27
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 721 0 0 0 26 1 0 0 16 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 664.59
Current children cumulated vsize (KiB) 867696

[startup+678.402 s]
/proc/loadavg: 2.00 1.94 1.52 3/90 18128
/proc/meminfo: memFree=1805216/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=677.38
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 30680 0 1 0 67682 56 0 0 18 0 9 0 43708581 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 29817 2640 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=676.63
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15870 0 1 0 67614 49 0 0 25 0 9 0 43708583 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4126863660 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=0.46
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 13393 0 0 0 40 6 0 0 16 0 9 0 43708584 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.27
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 721 0 0 0 26 1 0 0 16 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 677.38
Current children cumulated vsize (KiB) 867696

[startup+684.801 s]
/proc/loadavg: 2.00 1.94 1.52 3/90 18128
/proc/meminfo: memFree=1805216/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=683.79
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 30680 0 1 0 68322 57 0 0 18 0 9 0 43708581 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 29817 2640 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=683.03
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15870 0 1 0 68254 49 0 0 25 0 9 0 43708583 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4126866186 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=0.46
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 13393 0 0 0 40 6 0 0 16 0 9 0 43708584 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.27
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 721 0 0 0 26 1 0 0 16 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 29817 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.79
Current children cumulated vsize (KiB) 867696

[startup+691.203 s]
/proc/loadavg: 2.00 1.95 1.52 4/90 18128
/proc/meminfo: memFree=1460064/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867696 CPUtime=690.13
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 158459 0 1 0 68910 103 0 0 18 0 9 0 43708581 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216924 157545 2641 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867696 CPUtime=688.41
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15955 0 1 0 68792 49 0 0 25 0 9 0 43708583 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 104454905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867696 CPUtime=1.41
/proc/17940/task/17943/stat : 17943 (java) S 17938 17940 17853 0 -1 64 141064 0 0 0 89 52 0 0 16 0 9 0 43708584 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43708584 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867696 CPUtime=0.29
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 728 0 0 0 28 1 0 0 16 0 9 0 43708586 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867696 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888520704 157545 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 690.13
Current children cumulated vsize (KiB) 867696

[startup+692.802 s]
/proc/loadavg: 2.00 1.95 1.52 4/90 18128
/proc/meminfo: memFree=1150112/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867608 CPUtime=691.73
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 200388 0 1 0 69056 117 0 0 18 0 9 0 43708581 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216902 199445 2618 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867608 CPUtime=688.53
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15961 0 1 0 68804 49 0 0 25 0 9 0 43708583 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867608 CPUtime=2.88
/proc/17940/task/17943/stat : 17943 (java) R 17938 17940 17853 0 -1 64 182987 0 0 0 223 65 0 0 17 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867608 CPUtime=0.29
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 728 0 0 0 28 1 0 0 16 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 691.73
Current children cumulated vsize (KiB) 867608

[startup+693.601 s]
/proc/loadavg: 2.08 1.96 1.53 4/90 18128
/proc/meminfo: memFree=1125216/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867608 CPUtime=692.53
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 200389 0 1 0 69136 117 0 0 18 0 9 0 43708581 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216902 199445 2618 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867608 CPUtime=688.54
/proc/17940/task/17942/stat : 17942 (java) R 17938 17940 17853 0 -1 64 15962 0 1 0 68805 49 0 0 25 0 9 0 43708583 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867608 CPUtime=3.67
/proc/17940/task/17943/stat : 17943 (java) R 17938 17940 17853 0 -1 64 182987 0 0 0 302 65 0 0 18 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 101587999 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867608 CPUtime=0.29
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 728 0 0 0 28 1 0 0 16 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 692.53
Current children cumulated vsize (KiB) 867608

[startup+694.401 s]
/proc/loadavg: 2.08 1.96 1.53 3/90 18128
/proc/meminfo: memFree=1125152/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=867608 CPUtime=693.33
/proc/17940/stat : 17940 (java) S 17938 17940 17853 0 -1 0 200389 0 1 0 69216 117 0 0 18 0 9 0 43708581 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 216902 199445 2618 9 0 211430 0
[pid=17940/tid=17942] ppid=17938 vsize=867608 CPUtime=688.54
/proc/17940/task/17942/stat : 17942 (java) S 17938 17940 17853 0 -1 64 15962 0 1 0 68805 49 0 0 25 0 9 0 43708583 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17943] ppid=17938 vsize=867608 CPUtime=4.47
/proc/17940/task/17943/stat : 17943 (java) R 17938 17940 17853 0 -1 64 182987 0 0 0 382 65 0 0 19 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17944] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17944/stat : 17944 (java) S 17938 17940 17853 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17945] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17945/stat : 17945 (java) S 17938 17940 17853 0 -1 64 21 0 0 0 0 0 0 0 15 0 9 0 43708584 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17946] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17946/stat : 17946 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17947] ppid=17938 vsize=867608 CPUtime=0.29
/proc/17940/task/17947/stat : 17947 (java) S 17938 17940 17853 0 -1 64 728 0 0 0 28 1 0 0 16 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17948] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17948/stat : 17948 (java) S 17938 17940 17853 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17940/tid=17949] ppid=17938 vsize=867608 CPUtime=0
/proc/17940/task/17949/stat : 17949 (java) S 17938 17940 17853 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43708586 888430592 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 693.33
Current children cumulated vsize (KiB) 867608

[startup+694.801 s]
/proc/loadavg: 2.08 1.96 1.53 3/90 18128
/proc/meminfo: memFree=1125152/2055920 swapFree=4181048/4192956
[pid=17940] ppid=17938 vsize=0 CPUtime=693.71
/proc/17940/stat : 17940 (java) Z 17938 17940 17853 0 -1 12 200398 0 1 0 69250 121 0 0 16 0 2 0 43708581 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17940/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 693.71
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 694.875
CPU time (s): 693.797
CPU user time (s): 692.506
CPU system time (s): 1.2908
CPU usage (%): 99.8448
Max. virtual memory (cumulated for all children) (KiB): 867696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 692.506
system time used= 1.2908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200398
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= 15764
involuntary context switches= 20835

runsolver used 0.962853 second user time and 2.25266 second system time

The end

Launcher Data (download as text)

Begin job on node67 at 2008-07-12 15:41:46
IDJOB=1112557
IDBENCH=61436
IDSOLVER=359
FILE ID=node67/1112557-1215870106
PBS_JOBID= 7903557
Free space on /tmp= 66436 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-24.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-1112557-1215870106/watcher-1112557-1215870106 -o /tmp/evaluation-result-1112557-1215870106/solver-1112557-1215870106 -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-1112557-1215870106.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 32c080069cd6a9f51c8c0a6f1b619a56
RANDOM SEED=784641417

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1288312 kB
Buffers:         24228 kB
Cached:         680616 kB
SwapCached:       5824 kB
Active:         662296 kB
Inactive:        61936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1288312 kB
SwapTotal:     4192956 kB
SwapFree:      4181048 kB
Dirty:            4732 kB
Writeback:           0 kB
Mapped:          33128 kB
Slab:            28472 kB
Committed_AS:   216680 kB
PageTables:       1948 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= 66436 MiB
End job on node67 at 2008-07-12 15:53:22