Trace number 2698809

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 1027.1 1027.07

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo
MD5SUM51cd1cd61e067c06067b10b7beeffad7
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark33.8359
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.093985 19.9805 108 11609
0.09/0.10	o 1628
0.09/0.11	c 0.094985 20.2148 111 16231
0.09/0.11	o 1252
0.09/0.12	c 0.094985 20.4492 111 19089
0.09/0.12	o 1002
0.09/0.14	c 0.097985 20.4492 141 19862
0.09/0.14	o 992
0.09/0.15	c 0.099984 20.4492 146 25319
0.09/0.15	o 794
0.09/0.16	c 0.099984 20.4492 148 28155
0.09/0.16	o 527
0.09/0.16	c 0.100984 20.4492 150 31309
0.09/0.16	o 400
0.09/0.17	c 0.101984 20.4492 151 32049
0.09/0.17	o 386
0.09/0.17	c 0.101984 20.4492 151 32211
0.09/0.17	o 384
0.09/0.18	c 0.102984 20.4492 152 32478
0.09/0.18	o 378
0.19/0.23	c 0.107983 20.4492 253 33307
0.19/0.23	o 367
0.19/0.24	c 0.107983 20.4492 255 34050
0.19/0.24	o 357
0.19/0.28	c 0.113982 20.4492 334 34391
0.19/0.28	o 355
0.49/0.56	c 0.151976 20.4492 721 36042
0.49/0.56	o 346
0.69/0.79	c 0.203968 20.4492 1162 37629
0.69/0.79	o 339
0.79/0.86	c 0.213967 20.4492 700 38311
0.79/0.86	o 338
0.89/0.97	c 0.225965 20.4492 829 39628
0.89/0.97	o 309
1.79/1.89	c 0.343947 20.5781 1369 43872
1.79/1.89	o 293
1.89/1.90	c 0.345947 20.5781 690 44143
1.89/1.90	o 292
1.89/1.91	c 0.347947 20.5781 702 44458
1.89/1.91	o 287
2.10/2.14	c 0.374943 20.5781 982 46178
2.10/2.14	o 262
2.20/2.22	c 0.38894 20.5781 1102 46963
2.20/2.22	o 252
2.49/2.56	c 0.445932 20.5781 917 48668
2.49/2.56	o 240
3.20/3.24	c 0.560914 20.5781 1129 51817
3.20/3.24	o 237
4.29/4.36	c 0.730888 20.5781 835 56621
4.29/4.36	o 231
4.49/4.52	c 0.753885 20.5781 1086 57906
4.49/4.52	o 226
4.49/4.54	c 0.755885 20.5781 1110 58188
4.49/4.54	o 222
4.69/4.75	c 0.795879 20.5781 799 59034
4.69/4.75	o 220
5.09/5.13	c 0.929858 20.5781 1274 60777
5.09/5.13	o 211
5.49/5.52	c 1.04884 20.5781 1088 62199
5.49/5.52	o 207
5.59/5.69	c 1.10783 20.5781 726 63111
5.59/5.69	o 200
5.69/5.75	c 1.12183 20.5781 782 63325
5.69/5.75	o 199
5.99/6.02	c 1.21281 20.5781 1214 64357
5.99/6.02	o 195
6.69/6.70	c 1.39579 20.5781 1010 67295
6.69/6.70	o 193
11.20/11.21	c 2.16667 20.707 647 81671
11.20/11.21	o 182
11.49/11.54	c 2.21966 20.707 1105 82919
11.49/11.54	o 181
11.59/11.64	c 2.23866 20.707 609 83680
11.59/11.64	o 174
11.89/11.90	c 2.32065 20.707 709 85526
11.89/11.90	o 171
11.89/11.97	c 2.33764 20.707 779 85921
11.89/11.97	o 169
12.99/13.10	c 2.71459 20.707 798 89853
12.99/13.10	o 167
14.09/14.18	c 2.89756 20.8359 1236 93311
14.09/14.18	o 164
14.89/14.90	c 3.01454 20.8359 880 96154
14.89/14.90	o 153
17.19/17.22	c 3.39848 20.8359 900 103809
17.19/17.22	o 152
19.79/19.85	c 4.13937 21.0938 1171 113223
19.79/19.85	o 144
19.89/19.96	c 4.16437 21.0938 740 113778
19.89/19.96	o 143
20.69/20.77	c 4.28835 21.0938 1137 116987
20.69/20.77	o 141
20.90/20.98	c 4.32934 21.0938 789 118135
20.90/20.98	o 139
21.00/21.09	c 4.34234 21.0938 908 118721
21.00/21.09	o 138
21.99/22.01	c 4.49932 21.0938 989 122358
21.99/22.01	o 125
23.69/23.77	c 4.80627 21.0938 984 128069
23.69/23.77	o 122
24.20/24.20	c 4.88226 21.0938 832 130069
24.20/24.20	o 105
24.30/24.39	c 4.93925 21.0938 1215 130936
24.30/24.39	o 103
27.69/27.75	c 5.81611 21.0938 1300 143838
27.69/27.75	o 87
28.79/28.89	c 6.08308 21.0938 769 148938
28.79/28.89	o 82
30.50/30.55	c 6.51201 21.0938 1524 156339
30.50/30.55	o 52
33.59/33.60	c 7.80781 21.7383 1574 168536
33.59/33.60	o 51
35.59/35.62	c 8.5707 21.7383 1708 178419
35.59/35.62	o 38
36.20/36.30	c 8.84666 21.7383 2365 182051
36.20/36.30	o 32
41.09/41.12	c 11.2953 21.7383 2935 214412
41.09/41.12	o 31
43.80/43.81	c 12.5291 21.7383 2787 231132
43.80/43.81	o 30
45.29/45.35	c 13.328 21.7383 2153 244252
45.29/45.35	o 28
47.49/47.52	c 14.4148 21.7383 1870 259767
47.49/47.52	o 27
48.49/48.55	c 14.9207 21.7383 3195 267750
48.49/48.55	o 19
52.99/53.09	c 17.7723 22.7695 3067 314095
52.99/53.09	o 18
62.49/62.53	c 23.3924 22.7695 1927 417241
62.49/62.53	o 15
68.30/68.31	c 27.1459 22.7695 3450 490957
68.30/68.31	o 13
74.80/74.86	c 31.6902 22.7695 1843 578630
74.80/74.86	o 8
75.70/75.79	c 32.3651 22.7695 2081 589940
75.70/75.79	o 5
80.79/80.89	c 36.2255 22.7695 3843 666922
80.79/80.89	o 3
84.60/84.63	c 39.0931 22.7695 2370 717784
84.60/84.64	o 2
102.20/102.28	c 52.509 22.7695 2680 971899
102.20/102.28	o 1
1027.02/1027.04	c 785.465 24.3398 2752 14837528
1027.02/1027.04	s OPTIMUM FOUND
1027.02/1027.04	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698809-1278464527/watcher-2698809-1278464527 -o /tmp/evaluation-result-2698809-1278464527/solver-2698809-1278464527 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698809-1278464527.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13802
/proc/meminfo: memFree=30427500/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=2136 CPUtime=0
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 253 0 0 0 0 0 0 0 23 0 1 0 14666489 2187264 173 4089446400 134512640 136422188 4286858160 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13802/statm: 534 173 144 467 0 65 0

[startup+0.0429439 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13802
/proc/meminfo: memFree=30427500/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=9716 CPUtime=0.04
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 2129 0 0 0 4 0 0 0 24 0 1 0 14666489 9949184 2049 4089446400 134512640 136422188 4286858160 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 2429 2055 193 467 0 1960 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9716

[startup+0.100932 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13802
/proc/meminfo: memFree=30427500/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=20456 CPUtime=0.09
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 4757 0 0 0 9 0 0 0 24 0 1 0 14666489 20946944 4644 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5114 4644 214 467 0 4645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20456

[startup+0.300893 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13802
/proc/meminfo: memFree=30427500/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=20936 CPUtime=0.29
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 4865 0 0 0 11 18 0 0 25 0 1 0 14666489 21438464 4739 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5234 4739 237 467 0 4765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20936

[startup+0.700815 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13802
/proc/meminfo: memFree=30427500/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=20936 CPUtime=0.69
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 4866 0 0 0 17 52 0 0 25 0 1 0 14666489 21438464 4739 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5234 4739 237 467 0 4765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20936

[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13803
/proc/meminfo: memFree=30409140/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=21068 CPUtime=1.49
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 4886 0 0 0 28 121 0 0 18 0 1 0 14666489 21573632 4756 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5267 4756 237 467 0 4798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21068

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13803
/proc/meminfo: memFree=30409564/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=21068 CPUtime=3.09
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 4895 0 0 0 53 256 0 0 21 0 1 0 14666489 21573632 4759 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5267 4759 237 467 0 4798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21068

[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13803
/proc/meminfo: memFree=30409440/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=21068 CPUtime=6.29
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 4919 0 0 0 131 498 0 0 25 0 1 0 14666489 21573632 4773 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5267 4773 237 467 0 4798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21068

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13803
/proc/meminfo: memFree=30409656/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=21200 CPUtime=12.69
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 4957 0 0 0 257 1012 0 0 25 0 1 0 14666489 21708800 4805 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5300 4805 237 467 0 4831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21200

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13803
/proc/meminfo: memFree=30410100/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=21596 CPUtime=25.49
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5053 0 0 0 525 2024 0 0 25 0 1 0 14666489 22114304 4888 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5399 4888 237 467 0 4930 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21596

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13803
/proc/meminfo: memFree=30408532/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=23312 CPUtime=51.1
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5518 0 0 0 1647 3463 0 0 25 0 1 0 14666489 23871488 5342 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5828 5342 237 467 0 5359 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 23312

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13805
/proc/meminfo: memFree=30408108/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=23312 CPUtime=102.3
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5526 0 0 0 5252 4978 0 0 25 0 1 0 14666489 23871488 5342 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5828 5342 237 467 0 5359 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23312

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13807
/proc/meminfo: memFree=30408540/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=23448 CPUtime=162.3
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5544 0 0 0 9803 6427 0 0 25 0 1 0 14666489 24010752 5360 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13802/statm: 5862 5360 237 467 0 5393 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23448

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13809
/proc/meminfo: memFree=30408220/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=23580 CPUtime=222.29
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5589 0 0 0 14399 7830 0 0 25 0 1 0 14666489 24145920 5405 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 5895 5405 237 467 0 5426 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23580

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13809
/proc/meminfo: memFree=30408172/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=23844 CPUtime=282.3
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5656 0 0 0 18957 9273 0 0 25 0 1 0 14666489 24416256 5472 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 5961 5472 237 467 0 5492 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23844

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13811
/proc/meminfo: memFree=30408076/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=23976 CPUtime=342.3
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5685 0 0 0 23560 10670 0 0 25 0 1 0 14666489 24551424 5501 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 5994 5501 237 467 0 5525 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23976

[startup+402.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 13813
/proc/meminfo: memFree=30407776/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24108 CPUtime=402.3
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5728 0 0 0 28170 12060 0 0 25 0 1 0 14666489 24686592 5544 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6027 5544 237 467 0 5558 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24108

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 13842
/proc/meminfo: memFree=30390400/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24240 CPUtime=462.3
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5744 0 0 0 33001 13229 0 0 25 0 1 0 14666489 24821760 5560 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6060 5560 237 467 0 5591 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24240

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13844
/proc/meminfo: memFree=30389756/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24240 CPUtime=522.31
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5744 0 0 0 37781 14450 0 0 25 0 1 0 14666489 24821760 5560 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6060 5560 237 467 0 5591 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24240

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13844
/proc/meminfo: memFree=30389328/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24372 CPUtime=582.3
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5787 0 0 0 42636 15594 0 0 25 0 1 0 14666489 24956928 5603 4089446400 134512640 136422188 4286858160 18446744073709551615 134862233 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6093 5603 237 467 0 5624 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24372

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13846
/proc/meminfo: memFree=30389532/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24504 CPUtime=642.32
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5817 0 0 0 47473 16759 0 0 25 0 1 0 14666489 25092096 5633 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6126 5633 237 467 0 5657 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 24504

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13848
/proc/meminfo: memFree=30389228/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24644 CPUtime=702.31
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5852 0 0 0 52342 17889 0 0 25 0 1 0 14666489 25235456 5668 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6161 5668 237 467 0 5692 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24644

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13850
/proc/meminfo: memFree=30389280/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24644 CPUtime=762.32
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5855 0 0 0 57179 19053 0 0 25 0 1 0 14666489 25235456 5671 4089446400 134512640 136422188 4286858160 18446744073709551615 134643929 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6161 5671 237 467 0 5692 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 24644

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13852
/proc/meminfo: memFree=30389220/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24788 CPUtime=822.32
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5880 0 0 0 62025 20207 0 0 25 0 1 0 14666489 25382912 5696 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6197 5696 237 467 0 5728 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 24788

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13852
/proc/meminfo: memFree=30389024/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=882.32
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5906 0 0 0 66890 21342 0 0 25 0 1 0 14666489 25518080 5722 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5722 237 467 0 5761 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24920

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13854
/proc/meminfo: memFree=30388964/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=942.32
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5916 0 0 0 71757 22475 0 0 25 0 1 0 14666489 25518080 5732 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5732 237 467 0 5761 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 24920

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387744/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1002.32
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5924 0 0 0 76579 23653 0 0 25 0 1 0 14666489 25518080 5740 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5740 237 467 0 5761 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 24920

Solver just ended. Dumping a history of the last processes samples

[startup+1011.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387616/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1011.12
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 77279 23833 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1011.12
Current children cumulated vsize (KiB) 24920

[startup+1017.51 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387616/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1017.53
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 77791 23962 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1017.53
Current children cumulated vsize (KiB) 24920

[startup+1023.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387364/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1023.92
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 78300 24092 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1023.92
Current children cumulated vsize (KiB) 24920

[startup+1025.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387364/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1025.52
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 78426 24126 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1025.52
Current children cumulated vsize (KiB) 24920

[startup+1026.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387452/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1026.33
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 78489 24144 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1026.33
Current children cumulated vsize (KiB) 24920

[startup+1026.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387452/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1026.73
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 78520 24153 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1026.73
Current children cumulated vsize (KiB) 24920

[startup+1026.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387452/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1026.92
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 78535 24157 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1026.92
Current children cumulated vsize (KiB) 24920

[startup+1027 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13859
/proc/meminfo: memFree=30387452/32950928 swapFree=67111528/67111528
[pid=13802] ppid=13800 vsize=24920 CPUtime=1027.02
/proc/13802/stat : 13802 (pbct) R 13800 13802 13115 0 -1 4202496 5927 0 0 0 78542 24160 0 0 25 0 1 0 14666489 25518080 5743 4089446400 134512640 136422188 4286858160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13802/statm: 6230 5743 237 467 0 5761 0
Current children cumulated CPU time (s) 1027.02
Current children cumulated vsize (KiB) 24920

Child status: 0
Real time (s): 1027.07
CPU time (s): 1027.1
CPU user time (s): 785.489
CPU system time (s): 241.616
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 785.489
system time used= 241.616
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1573

runsolver used 1.48377 second user time and 3.19151 second system time

The end

Launcher Data 

Begin job on node127 at 2010-07-07 03:02:07
IDJOB=2698809
IDBENCH=79273
IDSOLVER=1212
FILE ID=node127/2698809-1278464527
PBS_JOBID= 11233739
Free space on /tmp= 73388 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698809-1278464527/watcher-2698809-1278464527 -o /tmp/evaluation-result-2698809-1278464527/solver-2698809-1278464527 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698809-1278464527.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 51cd1cd61e067c06067b10b7beeffad7
RANDOM SEED=2138790247

node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5424.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.804
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30428516 kB
Buffers:        112476 kB
Cached:        2194672 kB
SwapCached:          0 kB
Active:         740028 kB
Inactive:      1635040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30428516 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:       67796 kB
Mapped:          15616 kB
Slab:            83848 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   210480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73384 MiB
End job on node127 at 2010-07-07 03:19:14