Trace number 1112457

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? 157.916 158.062

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.05/0.09	
0.05/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-wdeg.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1112457-1215868575.xml
0.28/0.33	   
0.28/0.33	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.48/0.54	     nbVariables=800  nbDomainTypes=98  minDomainSize=1186  maxDomainSize=1284  nbTotalValues=986230
0.48/0.54	       =>  wckTime=0.284  cpuTime=0.2  mem=26M481
0.48/0.54	   
0.48/0.54	   predicates being loaded...
0.48/0.60	   
0.48/0.60	   constraints being loaded...
10.58/10.66	   
10.58/10.66	   INFO : Stopping converting binary constraints (cpu=10.19, mem = 65M728)
12.27/12.36	     nbConstraints=23200  nbConvertedConstraints=50  nbConvertConstraintsChecks=36776776  nbExtensionStructures=25
12.27/12.37	     nbSharedExtensionStructures=25  nbConflictsStructures=25  nbSharedConflictsStructures=25
12.27/12.37	     nbUnbuiltConflictsStructures=3510  nbSharedBinaryRepresentations=7439  nbEvaluationManagers=3510
12.27/12.37	     nbSharedEvaluationManagers=19640  minDegree=39  maxDegree=77  minArity=2  maxArity=2
12.27/12.37	       =>  wckTime=12.114  cpuTime=11.3  mem=66M738
12.58/12.70	   
12.58/12.70	   solver LocalSearchSolver being built... 
12.68/12.74	       =>  wckTime=12.49  cpuTime=11.34  mem=63M606
12.87/12.97	
12.87/12.97	s SATISFIABLE
12.87/12.97	o 1900
12.97/13.10	o 1886
13.18/13.20	o 1872
13.18/13.28	o 1860
13.37/13.47	o 1847
13.67/13.72	o 1835
13.87/13.96	o 1825
14.07/14.16	o 1815
14.37/14.43	o 1806
14.47/14.54	o 1796
14.57/14.63	o 1784
14.77/14.85	o 1774
14.97/15.04	o 1763
15.28/15.31	o 1752
15.48/15.53	o 1742
15.68/15.79	o 1732
15.88/15.99	o 1723
16.18/16.20	o 1715
16.18/16.23	o 1707
16.48/16.51	o 1698
16.67/16.78	o 1687
16.97/17.03	o 1677
17.17/17.28	o 1668
17.48/17.51	o 1659
17.58/17.69	o 1650
17.87/17.90	o 1641
18.07/18.18	o 1633
18.27/18.39	o 1625
18.47/18.54	o 1617
18.67/18.72	o 1609
18.77/18.81	o 1601
18.87/18.98	o 1594
19.17/19.22	o 1584
19.27/19.36	o 1575
19.57/19.69	o 1567
19.87/19.92	o 1559
20.07/20.18	o 1551
20.36/20.43	o 1544
20.56/20.63	o 1537
20.66/20.78	o 1530
20.87/20.93	o 1523
21.16/21.24	o 1517
21.46/21.53	o 1512
21.76/21.84	o 1504
22.06/22.19	o 1496
22.46/22.52	o 1489
22.86/22.95	o 1483
23.16/23.26	o 1477
23.46/23.53	o 1471
23.76/23.86	o 1465
24.07/24.15	o 1459
24.26/24.34	o 1454
24.56/24.62	o 1449
24.86/24.91	o 1444
24.96/25.06	o 1439
25.26/25.36	o 1435
25.46/25.58	o 1431
25.86/25.92	o 1427
25.96/26.06	o 1423
26.17/26.24	o 1420
26.37/26.44	o 1415
26.46/26.53	o 1408
26.66/26.71	o 1400
26.86/26.99	o 1395
27.26/27.37	o 1388
27.66/27.74	o 1381
27.96/28.06	o 1374
28.26/28.33	o 1367
28.56/28.63	o 1360
28.86/28.91	o 1354
29.06/29.19	o 1348
29.36/29.49	o 1342
29.66/29.71	o 1337
29.96/30.02	o 1332
30.26/30.32	o 1327
30.46/30.51	o 1322
30.86/30.93	o 1317
30.96/31.05	o 1312
31.26/31.34	o 1308
31.36/31.47	o 1305
31.56/31.66	o 1302
31.66/31.76	o 1297
31.76/31.82	o 1295
31.96/32.09	o 1291
32.36/32.41	o 1288
32.46/32.55	o 1285
32.66/32.79	o 1280
33.06/33.17	o 1276
33.36/33.41	o 1269
33.56/33.69	o 1262
33.96/34.02	o 1256
34.35/34.43	o 1250
34.75/34.87	o 1245
35.25/35.31	o 1240
35.65/35.72	o 1235
35.95/36.02	o 1230
36.26/36.34	o 1225
36.55/36.69	o 1220
36.95/37.03	o 1216
37.26/37.31	o 1212
37.55/37.70	o 1208
37.85/37.99	o 1204
38.15/38.25	o 1200
38.36/38.47	o 1196
38.65/38.71	o 1193
38.95/39.03	o 1190
39.05/39.19	o 1187
39.25/39.39	o 1185
39.46/39.54	o 1183
39.65/39.78	o 1181
39.85/39.93	o 1179
39.95/40.09	o 1176
40.15/40.22	o 1170
40.25/40.32	o 1167
40.35/40.45	o 1161
40.56/40.63	o 1155
40.75/40.88	o 1151
40.95/41.10	o 1148
41.25/41.32	o 1143
41.35/41.42	o 1137
41.55/41.65	o 1134
41.66/41.79	o 1132
41.85/41.90	o 1127
42.05/42.19	o 1121
42.35/42.45	o 1115
42.45/42.58	o 1109
42.76/42.82	o 1103
43.05/43.16	o 1098
43.35/43.44	o 1093
43.65/43.71	o 1088
44.05/44.12	o 1084
44.45/44.55	o 1080
44.85/44.91	o 1077
45.05/45.17	o 1074
45.36/45.48	o 1071
45.66/45.77	o 1068
45.86/45.98	o 1065
46.16/46.20	o 1063
46.36/46.47	o 1061
46.66/46.76	o 1059
46.96/47.01	o 1057
47.16/47.21	o 1056
47.26/47.39	o 1055
47.56/47.60	o 1054
47.96/48.02	o 1053
47.96/48.08	o 1052
48.16/48.20	o 1048
48.26/48.32	o 1044
48.36/48.42	o 1042
48.56/48.69	o 1040
48.76/48.82	o 1036
48.86/48.95	o 1032
49.05/49.11	o 1029
49.25/49.33	o 1027
49.65/49.72	o 1022
50.05/50.12	o 1018
50.35/50.47	o 1014
50.85/50.96	o 1011
51.25/51.34	o 1008
51.66/51.73	o 1005
51.95/52.09	o 1002
52.35/52.41	o 999
52.55/52.68	o 996
52.85/52.96	o 993
53.15/53.21	o 990
53.45/53.52	o 987
53.65/53.77	o 985
53.85/53.99	o 983
54.05/54.16	o 981
54.25/54.32	o 980
54.45/54.50	o 979
54.55/54.65	o 978
55.05/55.19	o 975
55.45/55.56	o 971
55.65/55.73	o 969
55.85/55.97	o 967
56.05/56.12	o 965
56.15/56.23	o 964
56.25/56.33	o 960
56.45/56.57	o 958
56.54/56.68	o 956
56.74/56.89	o 954
56.94/57.09	o 949
57.15/57.27	o 946
57.34/57.45	o 941
57.44/57.59	o 940
57.64/57.78	o 938
57.84/57.96	o 934
58.04/58.19	o 931
58.44/58.52	o 926
58.54/58.67	o 925
59.14/59.20	o 922
59.24/59.35	o 919
59.44/59.55	o 916
59.54/59.67	o 915
59.74/59.82	o 914
59.84/59.90	o 911
59.94/60.07	o 907
60.04/60.14	o 906
60.24/60.31	o 905
60.44/60.52	o 901
60.54/60.69	o 897
60.64/60.79	o 892
60.84/60.95	o 888
61.04/61.14	o 884
61.14/61.25	o 882
61.33/61.45	o 879
61.54/61.68	o 878
61.63/61.73	o 873
61.73/61.85	o 869
61.93/62.10	o 866
62.13/62.26	o 865
62.33/62.42	o 863
62.54/62.62	o 859
62.73/62.81	o 854
62.93/63.06	o 850
63.23/63.33	o 847
63.53/63.65	o 844
63.74/63.87	o 841
64.03/64.12	o 838
64.23/64.30	o 836
64.43/64.51	o 834
64.53/64.69	o 832
64.74/64.85	o 830
64.84/64.98	o 828
65.03/65.14	o 827
65.73/65.84	o 826
65.84/65.91	o 823
65.94/66.05	o 819
66.13/66.26	o 817
66.53/66.60	o 814
66.83/66.99	o 811
67.13/67.20	o 808
67.24/67.39	o 805
67.34/67.47	o 801
67.54/67.67	o 800
67.84/67.92	o 797
68.14/68.23	o 795
68.64/68.78	o 793
68.84/68.96	o 791
68.94/69.03	o 788
68.94/69.08	o 786
69.44/69.54	o 784
69.74/69.82	o 782
69.84/69.91	o 780
69.94/70.03	o 777
70.04/70.13	o 776
70.44/70.57	o 773
71.04/71.15	o 770
71.34/71.48	o 769
71.63/71.73	o 767
71.93/72.04	o 766
72.13/72.29	o 763
72.33/72.50	o 762
72.54/72.63	o 760
72.83/72.91	o 759
73.03/73.11	o 756
73.23/73.33	o 755
73.33/73.43	o 752
73.33/73.49	o 748
73.54/73.62	o 745
73.83/73.96	o 742
74.13/74.24	o 739
74.43/74.56	o 737
74.83/74.92	o 735
75.13/75.26	o 733
75.53/75.60	o 731
75.73/75.86	o 729
76.03/76.13	o 728
76.33/76.43	o 727
76.63/76.73	o 726
76.93/77.02	o 725
77.03/77.19	o 724
78.63/78.72	o 723
79.82/79.97	o 722
80.23/80.35	o 721
80.73/80.80	o 720
80.93/81.05	o 718
81.03/81.17	o 715
81.34/81.47	o 713
81.63/81.79	o 711
81.83/81.99	o 710
82.13/82.23	o 707
82.34/82.49	o 705
82.44/82.58	o 702
82.73/82.81	o 699
83.23/83.39	o 696
83.63/83.77	o 694
84.13/84.27	o 693
84.33/84.41	o 690
84.54/84.62	o 689
85.03/85.19	o 687
85.53/85.69	o 684
85.63/85.79	o 681
85.93/86.00	o 680
86.13/86.28	o 679
86.33/86.44	o 677
87.23/87.33	o 676
87.53/87.66	o 673
87.72/87.83	o 671
87.83/87.99	o 669
88.02/88.11	o 666
89.12/89.23	o 665
89.32/89.41	o 664
89.72/89.86	o 663
92.82/92.92	o 661
93.22/93.33	o 660
93.92/94.00	o 657
94.02/94.16	o 656
94.22/94.31	o 654
94.32/94.48	o 653
97.02/97.15	o 652
97.22/97.31	o 649
97.31/97.41	o 647
97.41/97.54	o 646
97.51/97.65	o 645
100.62/100.74	o 644
102.92/103.00	o 643
102.92/103.07	o 642
103.02/103.16	o 641
103.42/103.54	o 639
103.82/103.97	o 637
104.32/104.42	o 636
105.01/105.10	o 635
105.01/105.16	o 632
106.52/106.66	o 630
106.62/106.78	o 629
106.91/107.02	o 628
107.31/107.41	o 627
117.71/117.89	o 626
117.91/118.06	o 625
118.01/118.19	o 624
118.30/118.48	o 621
118.61/118.73	o 619
118.71/118.83	o 618
118.80/118.95	o 614
118.90/119.08	o 611
119.10/119.30	o 610
119.30/119.45	o 608
119.40/119.60	o 607
119.50/119.67	o 604
119.90/120.10	o 603
120.40/120.58	o 601
150.50/150.66	   
150.50/150.66	   search
150.50/150.66	     run=0  nbConstraintChecks=308863091  nbAssignments=837
150.50/150.66	       =>  wckTime=137.923  cpuTime=137.82  mem=64M656
150.50/150.66	   
150.50/150.66	   global
150.50/150.66	     nbConstraintChecks=308863091  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
150.50/150.66	     solvingWckTime=137.888  solvingCpuTime=137.79  expiredTime=no  totalExploration=no  nbFoundSolutions=0
150.50/150.67	     globalCpuTime=149.2
150.50/150.67	       =>  wckTime=150.414  cpuTime=149.16  mem=64M656
150.50/150.67	   
150.50/150.67	   solver DecomposerSolver being built... 
157.79/157.90	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-1112457-1215868575/watcher-1112457-1215868575 -o /tmp/evaluation-result-1112457-1215868575/solver-1112457-1215868575 -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-1112457-1215868575.xml 

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


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.00 3/74 17795
/proc/meminfo: memFree=1514832/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=148 CPUtime=0
/proc/17795/stat : 17795 (java) R 17793 17795 17179 0 -1 0 199 0 0 0 0 0 0 0 18 0 1 0 43560418 151552 20 996147200 134512640 134550740 4294955952 18446744073709551615 8895551 0 0 4096 0 0 0 0 17 0 0 0
/proc/17795/statm: 38 26 19 9 0 4 0

[startup+0.0604191 s]
/proc/loadavg: 2.08 2.03 2.00 3/74 17795
/proc/meminfo: memFree=1514832/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=864076 CPUtime=0.05
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 2797 0 1 0 3 2 0 0 18 0 9 0 43560418 884813824 2336 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216019 2336 1118 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076

[startup+0.101423 s]
/proc/loadavg: 2.08 2.03 2.00 3/74 17795
/proc/meminfo: memFree=1514832/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=865988 CPUtime=0.08
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 3707 0 1 0 6 2 0 0 18 0 9 0 43560418 886771712 3182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216497 3182 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301452 s]
/proc/loadavg: 2.08 2.03 2.00 3/74 17795
/proc/meminfo: memFree=1514832/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=866360 CPUtime=0.28
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 5829 0 1 0 24 4 0 0 18 0 9 0 43560418 887152640 5204 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216590 5204 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360

[startup+0.701506 s]
/proc/loadavg: 2.08 2.03 2.00 3/74 17795
/proc/meminfo: memFree=1514832/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867608 CPUtime=0.68
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 12422 0 1 0 61 7 0 0 18 0 9 0 43560418 888430592 11783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216902 11784 2011 9 0 211408 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867608

[startup+1.50161 s]
/proc/loadavg: 2.08 2.03 2.00 3/83 17804
/proc/meminfo: memFree=1459336/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867520 CPUtime=1.49
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 22220 0 1 0 137 12 0 0 18 0 9 0 43560418 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216880 21556 2004 9 0 211408 0
[pid=17795/tid=17797] ppid=17793 vsize=867520 CPUtime=1.2
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15769 0 1 0 112 8 0 0 25 0 9 0 43560420 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 104689078 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867520 CPUtime=0.09
/proc/17795/task/17798/stat : 17798 (java) S 17793 17795 17179 0 -1 64 5123 0 0 0 7 2 0 0 17 0 9 0 43560421 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867520 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867520 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867520 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867520 CPUtime=0.16
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 631 0 0 0 16 0 0 0 16 0 9 0 43560423 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867520 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888340480 21556 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867520 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 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.49
Current children cumulated vsize (KiB) 867520

[startup+3.10283 s]
/proc/loadavg: 2.08 2.03 2.00 3/83 17804
/proc/meminfo: memFree=1435720/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867636 CPUtime=3.09
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 22271 0 1 0 297 12 0 0 18 0 9 0 43560418 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216909 21604 2006 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867636 CPUtime=2.78
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15804 0 1 0 270 8 0 0 25 0 9 0 43560420 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4126869744 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867636 CPUtime=0.09
/proc/17795/task/17798/stat : 17798 (java) S 17793 17795 17179 0 -1 64 5123 0 0 0 7 2 0 0 17 0 9 0 43560421 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867636 CPUtime=0.18
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 647 0 0 0 18 0 0 0 15 0 9 0 43560423 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888459264 21604 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 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.09
Current children cumulated vsize (KiB) 867636

[startup+6.30226 s]
/proc/loadavg: 2.07 2.03 2.00 3/83 17804
/proc/meminfo: memFree=1435528/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867636 CPUtime=6.28
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 22276 0 1 0 616 12 0 0 18 0 9 0 43560418 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216909 21607 2006 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867636 CPUtime=5.97
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15807 0 1 0 589 8 0 0 25 0 9 0 43560420 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4126892791 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867636 CPUtime=0.09
/proc/17795/task/17798/stat : 17798 (java) S 17793 17795 17179 0 -1 64 5123 0 0 0 7 2 0 0 16 0 9 0 43560421 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867636 CPUtime=0.19
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 649 0 0 0 19 0 0 0 16 0 9 0 43560423 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888459264 21607 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 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.7021 s]
/proc/loadavg: 2.07 2.03 2.00 3/83 17804
/proc/meminfo: memFree=1403592/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867724 CPUtime=12.68
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 35305 0 1 0 1249 19 0 0 18 0 9 0 43560418 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216931 34441 2637 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867724 CPUtime=11.5
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15860 0 1 0 1141 9 0 0 25 0 9 0 43560420 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 102877418 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867724 CPUtime=0.89
/proc/17795/task/17798/stat : 17798 (java) S 17793 17795 17179 0 -1 64 18048 0 0 0 82 7 0 0 19 0 9 0 43560421 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 43560421 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867724 CPUtime=0.25
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 700 0 0 0 25 0 0 0 16 0 9 0 43560423 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888549376 34441 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 888549376 34441 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.05 2.03 2.00 3/83 17804
/proc/meminfo: memFree=1386440/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867724 CPUtime=25.46
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 35341 0 1 0 2526 20 0 0 18 0 9 0 43560418 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216931 34475 2640 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867724 CPUtime=24.25
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15877 0 1 0 2415 10 0 0 25 0 9 0 43560420 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4127160352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867724 CPUtime=0.89
/proc/17795/task/17798/stat : 17798 (java) S 17793 17795 17179 0 -1 64 18048 0 0 0 82 7 0 0 16 0 9 0 43560421 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 43560421 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867724 CPUtime=0.29
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 719 0 0 0 28 1 0 0 16 0 9 0 43560423 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 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.1013 s]
/proc/loadavg: 2.03 2.03 2.00 3/83 17804
/proc/meminfo: memFree=1386184/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867724 CPUtime=51.05
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 35341 0 1 0 5083 22 0 0 18 0 9 0 43560418 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216931 34475 2640 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867724 CPUtime=49.85
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15877 0 1 0 4973 12 0 0 25 0 9 0 43560420 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4126899215 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867724 CPUtime=0.89
/proc/17795/task/17798/stat : 17798 (java) S 17793 17795 17179 0 -1 64 18048 0 0 0 82 7 0 0 16 0 9 0 43560421 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 43560421 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867724 CPUtime=0.29
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 719 0 0 0 28 1 0 0 16 0 9 0 43560423 888549376 34475 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867724 CPUtime=0

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

/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867724 CPUtime=0.29
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 720 0 0 0 28 1 0 0 16 0 9 0 43560423 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 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.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 17806
/proc/meminfo: memFree=1385352/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867724 CPUtime=147
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 35342 0 1 0 14673 27 0 0 18 0 9 0 43560418 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216931 34476 2640 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867724 CPUtime=145.79
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15877 0 1 0 14562 17 0 0 25 0 9 0 43560420 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4126898641 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867724 CPUtime=0.89
/proc/17795/task/17798/stat : 17798 (java) S 17793 17795 17179 0 -1 64 18048 0 0 0 82 7 0 0 16 0 9 0 43560421 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 43560421 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43560421 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867724 CPUtime=0.29
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 720 0 0 0 28 1 0 0 16 0 9 0 43560423 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888549376 34476 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867724 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 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+153.501 s]
/proc/loadavg: 2.00 2.02 2.00 4/83 17806
/proc/meminfo: memFree=853064/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867888 CPUtime=153.39
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 197582 0 1 0 15240 99 0 0 18 0 9 0 43560418 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216972 196613 2618 9 0 211500 0
[pid=17795/tid=17797] ppid=17793 vsize=867888 CPUtime=150.34
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15990 0 1 0 15017 17 0 0 25 0 9 0 43560420 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867888 CPUtime=2.7
/proc/17795/task/17798/stat : 17798 (java) R 17793 17795 17179 0 -1 64 180134 0 0 0 191 79 0 0 16 0 9 0 43560421 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 22 0 0 0 0 0 0 0 15 0 9 0 43560421 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867888 CPUtime=0.33
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 744 0 0 0 32 1 0 0 15 0 9 0 43560423 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888717312 196613 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 888717312 196613 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) 867888

[startup+155.107 s]
/proc/loadavg: 2.08 2.03 2.01 4/83 17806
/proc/meminfo: memFree=723912/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867888 CPUtime=155
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 200611 0 1 0 15400 100 0 0 18 0 9 0 43560418 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216972 199514 2618 9 0 211500 0
[pid=17795/tid=17797] ppid=17793 vsize=867888 CPUtime=150.35
/proc/17795/task/17797/stat : 17797 (java) R 17793 17795 17179 0 -1 64 15992 0 1 0 15018 17 0 0 25 0 9 0 43560420 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867888 CPUtime=4.29
/proc/17795/task/17798/stat : 17798 (java) R 17793 17795 17179 0 -1 64 183161 0 0 0 349 80 0 0 17 0 9 0 43560421 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 43560421 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867888 CPUtime=0.33
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 744 0 0 0 32 1 0 0 15 0 9 0 43560423 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867888 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 888717312 199514 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 155
Current children cumulated vsize (KiB) 867888

[startup+156.703 s]
/proc/loadavg: 2.08 2.03 2.01 4/83 17806
/proc/meminfo: memFree=723912/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867636 CPUtime=156.59
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 200739 0 1 0 15559 100 0 0 18 0 9 0 43560418 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216909 199451 2618 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867636 CPUtime=150.36
/proc/17795/task/17797/stat : 17797 (java) S 17793 17795 17179 0 -1 64 15994 0 1 0 15019 17 0 0 24 0 9 0 43560420 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867636 CPUtime=5.88
/proc/17795/task/17798/stat : 17798 (java) R 17793 17795 17179 0 -1 64 183287 0 0 0 508 80 0 0 20 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 9371297 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867636 CPUtime=0.33
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 744 0 0 0 32 1 0 0 15 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 156.59
Current children cumulated vsize (KiB) 867636

[startup+157.503 s]
/proc/loadavg: 2.08 2.03 2.01 3/83 17806
/proc/meminfo: memFree=723976/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867636 CPUtime=157.39
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 200739 0 1 0 15639 100 0 0 18 0 9 0 43560418 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216909 199451 2618 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867636 CPUtime=150.36
/proc/17795/task/17797/stat : 17797 (java) S 17793 17795 17179 0 -1 64 15994 0 1 0 15019 17 0 0 24 0 9 0 43560420 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867636 CPUtime=6.68
/proc/17795/task/17798/stat : 17798 (java) R 17793 17795 17179 0 -1 64 183287 0 0 0 588 80 0 0 21 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867636 CPUtime=0.33
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 744 0 0 0 32 1 0 0 15 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 157.39
Current children cumulated vsize (KiB) 867636

[startup+157.903 s]
/proc/loadavg: 2.08 2.03 2.01 3/83 17806
/proc/meminfo: memFree=723976/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=867636 CPUtime=157.79
/proc/17795/stat : 17795 (java) S 17793 17795 17179 0 -1 0 200739 0 1 0 15679 100 0 0 18 0 9 0 43560418 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 216909 199451 2618 9 0 211437 0
[pid=17795/tid=17797] ppid=17793 vsize=867636 CPUtime=150.36
/proc/17795/task/17797/stat : 17797 (java) S 17793 17795 17179 0 -1 64 15994 0 1 0 15019 17 0 0 17 0 9 0 43560420 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17798] ppid=17793 vsize=867636 CPUtime=7.07
/proc/17795/task/17798/stat : 17798 (java) R 17793 17795 17179 0 -1 64 183287 0 0 0 627 80 0 0 22 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 103736885 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17799] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17799/stat : 17799 (java) S 17793 17795 17179 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17800] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17800/stat : 17800 (java) S 17793 17795 17179 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 43560421 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17801] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17801/stat : 17801 (java) S 17793 17795 17179 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17802] ppid=17793 vsize=867636 CPUtime=0.33
/proc/17795/task/17802/stat : 17802 (java) S 17793 17795 17179 0 -1 64 744 0 0 0 32 1 0 0 15 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17803] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17803/stat : 17803 (java) S 17793 17795 17179 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17795/tid=17804] ppid=17793 vsize=867636 CPUtime=0
/proc/17795/task/17804/stat : 17804 (java) S 17793 17795 17179 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43560423 888459264 199451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 157.79
Current children cumulated vsize (KiB) 867636

[startup+158.003 s]
/proc/loadavg: 2.08 2.03 2.01 3/83 17806
/proc/meminfo: memFree=723976/2055920 swapFree=4192812/4192956
[pid=17795] ppid=17793 vsize=0 CPUtime=157.84
/proc/17795/stat : 17795 (java) Z 17793 17795 17179 0 -1 12 200747 0 1 0 15679 105 0 0 16 0 2 0 43560418 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17795/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 157.84
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 158.062
CPU time (s): 157.916
CPU user time (s): 156.798
CPU system time (s): 1.11783
CPU usage (%): 99.9079
Max. virtual memory (cumulated for all children) (KiB): 867888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.798
system time used= 1.11783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200747
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= 4982
involuntary context switches= 6277

runsolver used 0.179972 second user time and 0.569913 second system time

The end

Launcher Data (download as text)

Begin job on node10 at 2008-07-12 15:16:15
IDJOB=1112457
IDBENCH=61421
IDSOLVER=359
FILE ID=node10/1112457-1215868575
PBS_JOBID= 7903512
Free space on /tmp= 66408 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112457-1215868575/watcher-1112457-1215868575 -o /tmp/evaluation-result-1112457-1215868575/solver-1112457-1215868575 -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-1112457-1215868575.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= ec22dd72fedf3b6844826e496bf5d03b
RANDOM SEED=1287502982

node10.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.236
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.236
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:       1515312 kB
Buffers:         49080 kB
Cached:         194428 kB
SwapCached:          0 kB
Active:         410256 kB
Inactive:        71184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1515312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4880 kB
Writeback:           0 kB
Mapped:         248968 kB
Slab:            44148 kB
Committed_AS:   432608 kB
PageTables:       2256 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= 66408 MiB
End job on node10 at 2008-07-12 15:18:53