Trace number 1112458

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 154.219 154.323

General information on the benchmark

Namecsp/super-os/super-os-taillard-20/
normalized-super-os-taillard-20-27.xml
MD5SUMec22dd72fedf3b6844826e496bf5d03b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints90
Best CPU time to get the best result obtained on this benchmark3600.07
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints23200
Maximum constraint arity2
Maximum domain size1284
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23200
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.04/0.09	
0.04/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-ddeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1112458-1215868576.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.48/0.52	     nbVariables=800  nbDomainTypes=98  minDomainSize=1186  maxDomainSize=1284  nbTotalValues=986230
0.48/0.52	       =>  wckTime=0.275  cpuTime=0.2  mem=26M481
0.48/0.52	   
0.48/0.52	   predicates being loaded...
0.48/0.58	   
0.48/0.58	   constraints being loaded...
10.38/10.49	   
10.38/10.49	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 65M728)
12.09/12.14	     nbConstraints=23200  nbConvertedConstraints=50  nbConvertConstraintsChecks=36776776  nbExtensionStructures=25
12.09/12.14	     nbSharedExtensionStructures=25  nbConflictsStructures=25  nbSharedConflictsStructures=25
12.09/12.14	     nbUnbuiltConflictsStructures=3510  nbSharedBinaryRepresentations=7439  nbEvaluationManagers=3510
12.09/12.14	     nbSharedEvaluationManagers=19640  minDegree=39  maxDegree=77  minArity=2  maxArity=2
12.09/12.14	       =>  wckTime=11.895  cpuTime=11.15  mem=66M738
12.38/12.44	   
12.38/12.44	   solver LocalSearchSolver being built... 
12.38/12.48	       =>  wckTime=12.238  cpuTime=11.19  mem=63M606
12.68/12.71	
12.68/12.71	s SATISFIABLE
12.68/12.71	o 1900
12.78/12.83	o 1886
12.88/12.94	o 1872
12.98/13.01	o 1860
13.19/13.20	o 1847
13.38/13.45	o 1835
13.58/13.68	o 1825
13.78/13.88	o 1815
14.08/14.14	o 1806
14.18/14.25	o 1796
14.28/14.33	o 1784
14.48/14.55	o 1774
14.68/14.73	o 1763
14.97/15.00	o 1752
15.17/15.21	o 1742
15.38/15.47	o 1732
15.57/15.67	o 1723
15.77/15.87	o 1715
15.87/15.91	o 1707
16.07/16.17	o 1698
16.38/16.44	o 1687
16.57/16.69	o 1677
16.87/16.93	o 1668
17.07/17.15	o 1659
17.27/17.33	o 1650
17.47/17.54	o 1641
17.77/17.81	o 1633
17.97/18.02	o 1625
18.07/18.17	o 1617
18.27/18.35	o 1609
18.37/18.44	o 1601
18.57/18.61	o 1594
18.77/18.84	o 1584
18.87/18.98	o 1575
19.27/19.31	o 1567
19.47/19.53	o 1559
19.67/19.79	o 1551
19.96/20.03	o 1544
20.16/20.23	o 1537
20.26/20.37	o 1530
20.46/20.52	o 1523
20.77/20.82	o 1517
21.06/21.11	o 1512
21.36/21.42	o 1504
21.66/21.75	o 1496
21.97/22.08	o 1489
22.46/22.50	o 1483
22.76/22.80	o 1477
22.96/23.07	o 1471
23.36/23.40	o 1465
23.56/23.68	o 1459
23.76/23.87	o 1454
24.06/24.14	o 1449
24.36/24.42	o 1444
24.46/24.57	o 1439
24.76/24.87	o 1435
24.96/25.08	o 1431
25.36/25.42	o 1427
25.46/25.56	o 1423
25.66/25.73	o 1420
25.87/25.92	o 1415
25.97/26.01	o 1408
26.07/26.19	o 1400
26.37/26.47	o 1395
26.77/26.84	o 1388
27.17/27.20	o 1381
27.47/27.52	o 1374
27.67/27.78	o 1367
27.97/28.08	o 1360
28.27/28.36	o 1354
28.57/28.63	o 1348
28.87/28.92	o 1342
29.07/29.14	o 1337
29.37/29.44	o 1332
29.67/29.74	o 1327
29.86/29.93	o 1322
30.26/30.34	o 1317
30.36/30.46	o 1312
30.67/30.74	o 1308
30.77/30.86	o 1305
30.96/31.05	o 1302
31.06/31.15	o 1297
31.16/31.22	o 1295
31.36/31.48	o 1291
31.66/31.79	o 1288
31.87/31.93	o 1285
32.06/32.16	o 1280
32.46/32.53	o 1276
32.66/32.77	o 1269
32.97/33.05	o 1262
33.26/33.37	o 1256
33.66/33.78	o 1250
34.16/34.20	o 1245
34.56/34.63	o 1240
34.96/35.04	o 1235
35.26/35.33	o 1230
35.56/35.65	o 1225
35.86/35.99	o 1220
36.26/36.33	o 1216
36.56/36.61	o 1212
36.86/36.98	o 1208
37.16/37.27	o 1204
37.46/37.53	o 1200
37.66/37.75	o 1196
37.86/37.98	o 1193
38.16/38.29	o 1190
38.36/38.45	o 1187
38.56/38.65	o 1185
38.76/38.80	o 1183
38.96/39.04	o 1181
39.06/39.18	o 1179
39.26/39.34	o 1176
39.36/39.47	o 1170
39.46/39.57	o 1167
39.56/39.69	o 1161
39.76/39.87	o 1155
40.06/40.12	o 1151
40.26/40.33	o 1148
40.46/40.55	o 1143
40.56/40.65	o 1137
40.76/40.87	o 1134
40.96/41.01	o 1132
41.06/41.12	o 1127
41.36/41.41	o 1121
41.55/41.66	o 1115
41.66/41.79	o 1109
41.95/42.02	o 1103
42.25/42.35	o 1098
42.56/42.63	o 1093
42.76/42.89	o 1088
43.15/43.29	o 1084
43.65/43.72	o 1080
43.96/44.08	o 1077
44.25/44.32	o 1074
44.55/44.63	o 1071
44.85/44.92	o 1068
45.06/45.12	o 1065
45.25/45.34	o 1063
45.55/45.60	o 1061
45.75/45.89	o 1059
46.06/46.14	o 1057
46.25/46.33	o 1056
46.45/46.50	o 1055
46.65/46.71	o 1054
47.05/47.13	o 1053
47.05/47.18	o 1052
47.26/47.31	o 1048
47.35/47.42	o 1044
47.45/47.51	o 1042
47.65/47.78	o 1040
47.85/47.91	o 1036
47.95/48.03	o 1032
48.15/48.20	o 1029
48.36/48.41	o 1027
48.65/48.80	o 1022
49.05/49.19	o 1018
49.46/49.53	o 1014
49.95/50.01	o 1011
50.25/50.38	o 1008
50.65/50.77	o 1005
51.05/51.12	o 1002
51.35/51.43	o 999
51.55/51.69	o 996
51.85/51.97	o 993
52.15/52.22	o 990
52.45/52.53	o 987
52.65/52.77	o 985
52.85/52.98	o 983
53.05/53.15	o 981
53.25/53.31	o 980
53.35/53.48	o 979
53.55/53.63	o 978
54.05/54.16	o 975
54.45/54.52	o 971
54.55/54.69	o 969
54.85/54.93	o 967
54.95/55.07	o 965
55.05/55.19	o 964
55.15/55.29	o 960
55.45/55.53	o 958
55.55/55.63	o 956
55.75/55.83	o 954
55.95/56.03	o 949
56.15/56.21	o 946
56.25/56.38	o 941
56.45/56.52	o 940
56.65/56.71	o 938
56.75/56.88	o 934
57.05/57.11	o 931
57.34/57.44	o 926
57.44/57.58	o 925
58.04/58.10	o 922
58.15/58.25	o 919
58.34/58.44	o 916
58.44/58.56	o 915
58.64/58.71	o 914
58.64/58.79	o 911
58.84/58.96	o 907
58.94/59.02	o 906
59.04/59.19	o 905
59.25/59.40	o 901
59.45/59.56	o 897
59.55/59.66	o 892
59.75/59.82	o 888
59.95/60.00	o 884
60.05/60.11	o 882
60.25/60.31	o 879
60.46/60.53	o 878
60.46/60.58	o 873
60.55/60.70	o 869
60.85/60.95	o 866
61.05/61.11	o 865
61.15/61.26	o 863
61.35/61.46	o 859
61.56/61.65	o 854
61.85/61.90	o 850
62.05/62.16	o 847
62.35/62.48	o 844
62.56/62.69	o 841
62.85/62.94	o 838
63.05/63.12	o 836
63.25/63.32	o 834
63.45/63.50	o 832
63.55/63.65	o 830
63.65/63.79	o 828
63.85/63.94	o 827
64.54/64.63	o 826
64.64/64.70	o 823
64.75/64.84	o 819
64.94/65.05	o 817
65.24/65.38	o 814
65.64/65.76	o 811
65.85/65.97	o 808
66.04/66.15	o 805
66.14/66.23	o 801
66.34/66.43	o 800
66.54/66.67	o 797
66.84/66.98	o 795
67.44/67.51	o 793
67.54/67.69	o 791
67.64/67.76	o 788
67.74/67.81	o 786
68.14/68.26	o 784
68.44/68.54	o 782
68.54/68.63	o 780
68.64/68.74	o 777
68.74/68.84	o 776
69.14/69.27	o 773
69.74/69.84	o 770
70.04/70.17	o 769
70.34/70.41	o 767
70.64/70.71	o 766
70.84/70.96	o 763
71.04/71.17	o 762
71.13/71.30	o 760
71.44/71.57	o 759
71.63/71.77	o 756
71.83/71.98	o 755
71.93/72.08	o 752
72.03/72.14	o 748
72.13/72.27	o 745
72.53/72.61	o 742
72.73/72.88	o 739
73.03/73.19	o 737
73.43/73.55	o 735
73.73/73.88	o 733
74.13/74.21	o 731
74.33/74.47	o 729
74.63/74.74	o 728
74.93/75.02	o 727
75.23/75.33	o 726
75.53/75.61	o 725
75.63/75.78	o 724
77.13/77.28	o 723
78.33/78.50	o 722
78.73/78.88	o 721
79.22/79.32	o 720
79.42/79.55	o 718
79.52/79.67	o 715
79.82/79.97	o 713
80.13/80.28	o 711
80.32/80.48	o 710
80.62/80.71	o 707
80.82/80.96	o 705
80.92/81.06	o 702
81.13/81.28	o 699
81.73/81.85	o 696
82.13/82.23	o 694
82.63/82.71	o 693
82.73/82.85	o 690
82.93/83.05	o 689
83.53/83.61	o 687
84.03/84.10	o 684
84.13/84.20	o 681
84.33/84.41	o 680
84.53/84.68	o 679
84.73/84.84	o 677
85.63/85.71	o 676
85.93/86.04	o 673
86.13/86.21	o 671
86.22/86.37	o 669
86.32/86.47	o 666
87.42/87.58	o 665
87.62/87.75	o 664
88.12/88.21	o 663
91.13/91.22	o 661
91.52/91.61	o 660
92.12/92.27	o 657
92.32/92.43	o 656
92.42/92.58	o 654
92.62/92.75	o 653
95.22/95.37	o 652
95.42/95.52	o 649
95.52/95.62	o 647
95.62/95.75	o 646
95.72/95.86	o 645
98.72/98.88	o 644
100.92/101.10	o 643
101.03/101.17	o 642
101.13/101.25	o 641
101.52/101.62	o 639
101.92/102.04	o 637
102.32/102.49	o 636
103.02/103.16	o 635
103.12/103.22	o 632
104.52/104.68	o 630
104.72/104.80	o 629
104.92/105.04	o 628
105.31/105.42	o 627
115.61/115.73	o 626
115.71/115.89	o 625
115.91/116.03	o 624
116.21/116.31	o 621
116.41/116.56	o 619
116.51/116.65	o 618
116.61/116.77	o 614
116.71/116.90	o 611
117.01/117.11	o 610
117.11/117.27	o 608
117.31/117.40	o 607
117.31/117.47	o 604
117.71/117.89	o 603
118.21/118.36	o 601
148.20/148.37	   
148.20/148.37	   search
148.20/148.37	     run=0  nbConstraintChecks=310017409  nbAssignments=840
148.20/148.37	       =>  wckTime=135.891  cpuTime=135.8  mem=64M656
148.20/148.38	   
148.20/148.38	   global
148.20/148.38	     nbConstraintChecks=310017409  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
148.20/148.38	     solvingWckTime=135.858  solvingCpuTime=135.76  expiredTime=no  totalExploration=no  nbFoundSolutions=0
148.20/148.38	     globalCpuTime=147.02
148.20/148.38	       =>  wckTime=148.129  cpuTime=146.98  mem=64M656
148.20/148.38	   
148.20/148.38	   solver DecomposerSolver being built... 
154.09/154.20	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-1112458-1215868576/watcher-1112458-1215868576 -o /tmp/evaluation-result-1112458-1215868576/solver-1112458-1215868576 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112458-1215868576.xml 

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 15722
/proc/meminfo: memFree=1849360/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=1612 CPUtime=0
/proc/15722/stat : 15722 (java) D 15720 15722 15324 0 -1 0 147 0 0 0 0 0 0 0 18 0 1 0 43559375 1650688 120 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/15722/statm: 403 120 95 9 0 45 0

[startup+0.067165 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 15722
/proc/meminfo: memFree=1849360/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=864076 CPUtime=0.04
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 2855 0 1 0 3 1 0 0 18 0 9 0 43559375 884813824 2381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216019 2381 1138 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076

[startup+0.101166 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 15722
/proc/meminfo: memFree=1849360/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=865988 CPUtime=0.08
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 3706 0 1 0 6 2 0 0 18 0 9 0 43559375 886771712 3181 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216497 3181 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301178 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 15722
/proc/meminfo: memFree=1849360/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=866360 CPUtime=0.28
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 5851 0 1 0 25 3 0 0 18 0 9 0 43559375 887152640 5226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216590 5226 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360

[startup+0.701204 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 15722
/proc/meminfo: memFree=1849360/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867608 CPUtime=0.68
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 12598 0 1 0 62 6 0 0 18 0 9 0 43559375 888430592 11959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216902 11960 2011 9 0 211408 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867608

[startup+1.50226 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 15731
/proc/meminfo: memFree=1792904/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867520 CPUtime=1.48
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 22219 0 1 0 138 10 0 0 18 0 9 0 43559375 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216880 21556 2004 9 0 211408 0
[pid=15722/tid=15724] ppid=15720 vsize=867520 CPUtime=1.22
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15766 0 1 0 115 7 0 0 25 0 9 0 43559377 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4126398561 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867520 CPUtime=0.08
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 5123 0 0 0 7 1 0 0 17 0 9 0 43559378 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867520 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867520 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867520 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867520 CPUtime=0.15
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 633 0 0 0 15 0 0 0 16 0 9 0 43559380 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867520 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867520 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867520

[startup+3.10236 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 15731
/proc/meminfo: memFree=1770568/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867636 CPUtime=3.08
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 22270 0 1 0 298 10 0 0 18 0 9 0 43559375 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216909 21604 2006 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867636 CPUtime=2.8
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15801 0 1 0 273 7 0 0 25 0 9 0 43559377 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4126892951 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867636 CPUtime=0.08
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 5123 0 0 0 7 1 0 0 17 0 9 0 43559378 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867636 CPUtime=0.17
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 649 0 0 0 17 0 0 0 15 0 9 0 43559380 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867636

[startup+6.30156 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 15731
/proc/meminfo: memFree=1770248/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867636 CPUtime=6.28
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 22275 0 1 0 618 10 0 0 18 0 9 0 43559375 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216909 21607 2006 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867636 CPUtime=6
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15804 0 1 0 593 7 0 0 25 0 9 0 43559377 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4126900518 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867636 CPUtime=0.08
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 5123 0 0 0 7 1 0 0 16 0 9 0 43559378 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867636 CPUtime=0.17
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 651 0 0 0 17 0 0 0 16 0 9 0 43559380 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867636

[startup+12.702 s]
/proc/loadavg: 1.93 1.98 1.99 4/90 15731
/proc/meminfo: memFree=1731784/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867724 CPUtime=12.68
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 35335 0 1 0 1252 16 0 0 18 0 9 0 43559375 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216931 34471 2640 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867724 CPUtime=11.57
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15873 0 1 0 1149 8 0 0 25 0 9 0 43559377 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4126871091 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867724 CPUtime=0.82
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 18048 0 0 0 76 6 0 0 18 0 9 0 43559378 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867724 CPUtime=0.26
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 717 0 0 0 26 0 0 0 16 0 9 0 43559380 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888549376 34471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867724

[startup+25.5018 s]
/proc/loadavg: 2.01 2.00 2.00 3/90 15731
/proc/meminfo: memFree=1721288/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867724 CPUtime=25.46
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 35340 0 1 0 2530 16 0 0 18 0 9 0 43559375 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216931 34475 2640 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867724 CPUtime=24.34
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15874 0 1 0 2426 8 0 0 25 0 9 0 43559377 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4127166319 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867724 CPUtime=0.82
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 18048 0 0 0 76 6 0 0 16 0 9 0 43559378 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867724 CPUtime=0.27
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 721 0 0 0 27 0 0 0 16 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 867724

[startup+51.1014 s]
/proc/loadavg: 2.01 2.00 2.00 3/90 15731
/proc/meminfo: memFree=1721224/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867724 CPUtime=51.05
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 35340 0 1 0 5088 17 0 0 18 0 9 0 43559375 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216931 34475 2640 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867724 CPUtime=49.93
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15874 0 1 0 4984 9 0 0 25 0 9 0 43559377 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4127160412 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867724 CPUtime=0.82
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 18048 0 0 0 76 6 0 0 16 0 9 0 43559378 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867724 CPUtime=0.27
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 721 0 0 0 27 0 0 0 16 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867724 CPUtime=0

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

/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867724 CPUtime=0.27
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 721 0 0 0 27 0 0 0 16 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 127.8
Current children cumulated vsize (KiB) 867724

[startup+140.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15733
/proc/meminfo: memFree=1721032/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867724 CPUtime=140.61
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 35341 0 1 0 14038 23 0 0 18 0 9 0 43559375 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216931 34476 2640 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867724 CPUtime=139.49
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15874 0 1 0 13934 15 0 0 25 0 9 0 43559377 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4126869752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867724 CPUtime=0.82
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 18048 0 0 0 76 6 0 0 16 0 9 0 43559378 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867724 CPUtime=0.27
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 722 0 0 0 27 0 0 0 16 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 140.61
Current children cumulated vsize (KiB) 867724

[startup+147.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15733
/proc/meminfo: memFree=1721032/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867724 CPUtime=147
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 35341 0 1 0 14677 23 0 0 18 0 9 0 43559375 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216931 34476 2640 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867724 CPUtime=145.88
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15874 0 1 0 14573 15 0 0 25 0 9 0 43559377 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4126867244 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867724 CPUtime=0.82
/proc/15722/task/15725/stat : 15725 (java) S 15720 15722 15324 0 -1 64 18048 0 0 0 76 6 0 0 16 0 9 0 43559378 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43559378 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867724 CPUtime=0.27
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 722 0 0 0 27 0 0 0 16 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867724 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 147
Current children cumulated vsize (KiB) 867724

[startup+150.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 15733
/proc/meminfo: memFree=1427592/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867636 CPUtime=150.2
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 193670 0 1 0 14942 78 0 0 18 0 9 0 43559375 888459264 192704 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216909 192710 2619 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867636 CPUtime=147.87
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15985 0 1 0 14772 15 0 0 25 0 9 0 43559377 888459264 192716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867636 CPUtime=1.98
/proc/15722/task/15725/stat : 15725 (java) R 15720 15722 15324 0 -1 64 176244 0 0 0 138 60 0 0 16 0 9 0 43559378 888459264 192723 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 192730 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 22 0 0 0 0 0 0 0 15 0 9 0 43559378 888459264 192737 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888459264 192745 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867636 CPUtime=0.31
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 746 0 0 0 30 1 0 0 15 0 9 0 43559380 888459264 192751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888459264 192758 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888459264 192766 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 150.2
Current children cumulated vsize (KiB) 867636

[startup+151.902 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 15733
/proc/meminfo: memFree=1059656/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867636 CPUtime=151.79
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 200546 0 1 0 15099 80 0 0 18 0 9 0 43559375 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216909 199450 2618 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867636 CPUtime=147.91
/proc/15722/task/15724/stat : 15724 (java) R 15720 15722 15324 0 -1 64 15988 0 1 0 14776 15 0 0 25 0 9 0 43559377 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867636 CPUtime=3.54
/proc/15722/task/15725/stat : 15725 (java) R 15720 15722 15324 0 -1 64 183098 0 0 0 292 62 0 0 17 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867636 CPUtime=0.31
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 746 0 0 0 30 1 0 0 15 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 151.79
Current children cumulated vsize (KiB) 867636

[startup+153.502 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 15733
/proc/meminfo: memFree=1059656/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867636 CPUtime=153.39
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 200548 0 1 0 15259 80 0 0 18 0 9 0 43559375 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216909 199450 2618 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867636 CPUtime=147.92
/proc/15722/task/15724/stat : 15724 (java) S 15720 15722 15324 0 -1 64 15990 0 1 0 14777 15 0 0 24 0 9 0 43559377 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867636 CPUtime=5.13
/proc/15722/task/15725/stat : 15725 (java) R 15720 15722 15324 0 -1 64 183098 0 0 0 451 62 0 0 19 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104182582 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867636 CPUtime=0.31
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 746 0 0 0 30 1 0 0 15 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 153.39
Current children cumulated vsize (KiB) 867636

[startup+153.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15733
/proc/meminfo: memFree=1059656/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=867636 CPUtime=153.79
/proc/15722/stat : 15722 (java) S 15720 15722 15324 0 -1 0 200548 0 1 0 15299 80 0 0 18 0 9 0 43559375 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 216909 199450 2618 9 0 211437 0
[pid=15722/tid=15724] ppid=15720 vsize=867636 CPUtime=147.92
/proc/15722/task/15724/stat : 15724 (java) S 15720 15722 15324 0 -1 64 15990 0 1 0 14777 15 0 0 24 0 9 0 43559377 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15725] ppid=15720 vsize=867636 CPUtime=5.53
/proc/15722/task/15725/stat : 15725 (java) R 15720 15722 15324 0 -1 64 183098 0 0 0 491 62 0 0 20 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15726] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15726/stat : 15726 (java) S 15720 15722 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15727] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15727/stat : 15727 (java) S 15720 15722 15324 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 43559378 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15728] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15728/stat : 15728 (java) S 15720 15722 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15729] ppid=15720 vsize=867636 CPUtime=0.31
/proc/15722/task/15729/stat : 15729 (java) S 15720 15722 15324 0 -1 64 746 0 0 0 30 1 0 0 15 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15730] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15730/stat : 15730 (java) S 15720 15722 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15722/tid=15731] ppid=15720 vsize=867636 CPUtime=0
/proc/15722/task/15731/stat : 15731 (java) S 15720 15722 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43559380 888459264 199450 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 153.79
Current children cumulated vsize (KiB) 867636

[startup+154.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15733
/proc/meminfo: memFree=1059656/2055920 swapFree=4180012/4192956
[pid=15722] ppid=15720 vsize=0 CPUtime=154.19
/proc/15722/stat : 15722 (java) Z 15720 15722 15324 0 -1 12 200557 0 1 0 15329 90 0 0 16 0 2 0 43559375 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15722/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 154.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 154.323
CPU time (s): 154.219
CPU user time (s): 153.296
CPU system time (s): 0.922859
CPU usage (%): 99.9321
Max. virtual memory (cumulated for all children) (KiB): 867888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.296
system time used= 0.922859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200557
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= 4909
involuntary context switches= 8977

runsolver used 0.227965 second user time and 0.514921 second system time

The end

Launcher Data (download as text)

Begin job on node29 at 2008-07-12 15:16:17
IDJOB=1112458
IDBENCH=61421
IDSOLVER=360
FILE ID=node29/1112458-1215868576
PBS_JOBID= 7903500
Free space on /tmp= 66496 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-20/normalized-super-os-taillard-20-27.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112458-1215868576/watcher-1112458-1215868576 -o /tmp/evaluation-result-1112458-1215868576/solver-1112458-1215868576 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112458-1215868576.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= ec22dd72fedf3b6844826e496bf5d03b
RANDOM SEED=1441119415

node29.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.242
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.242
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:       1849840 kB
Buffers:         47480 kB
Cached:          89732 kB
SwapCached:       6744 kB
Active:          90476 kB
Inactive:        72696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849840 kB
SwapTotal:     4192956 kB
SwapFree:      4180012 kB
Dirty:            4868 kB
Writeback:           0 kB
Mapped:          42052 kB
Slab:            27908 kB
Committed_AS:   204580 kB
PageTables:       1984 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= 66492 MiB
End job on node29 at 2008-07-12 15:18:51