Trace number 2698762

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 1118.89 1118.87

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547389--soft-0-100-0.wbo
MD5SUM24569843aeaad08e546ecaba09eee200
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 benchmark148.653
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 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 721
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.092985 19.9883 5 4885
0.09/0.10	o 420
0.49/0.53	c 0.296954 20.2227 637 8696
0.49/0.53	o 402
0.49/0.58	c 0.311952 20.457 685 9379
0.49/0.58	o 392
0.59/0.69	c 0.334949 20.457 824 10784
0.59/0.69	o 366
0.89/0.96	c 0.400939 20.457 1206 12999
0.89/0.96	o 338
0.89/1.00	c 0.410937 20.457 635 13511
0.89/1.00	o 328
1.00/1.03	c 0.418936 20.457 670 14335
1.00/1.03	o 322
1.09/1.11	c 0.439933 20.457 773 15246
1.09/1.11	o 308
1.29/1.30	c 0.488925 20.457 997 16688
1.29/1.30	o 290
1.99/2.06	c 0.879866 20.457 689 19883
1.99/2.06	o 283
1.99/2.09	c 0.898863 20.457 723 20273
1.99/2.09	o 276
2.29/2.35	c 1.07184 20.457 1036 21597
2.29/2.35	o 266
3.20/3.21	c 1.58976 20.457 913 25449
3.20/3.21	o 263
3.49/3.51	c 1.76073 20.457 1277 26863
3.49/3.51	o 254
3.49/3.53	c 1.77973 20.457 664 27177
3.49/3.53	o 251
3.49/3.56	c 1.79373 20.457 769 27518
3.49/3.56	o 250
3.49/3.58	c 1.81272 20.457 797 27984
3.49/3.58	o 237
3.69/3.75	c 1.92071 20.457 1039 28898
3.69/3.75	o 233
3.89/3.98	c 2.06469 20.457 647 30578
3.89/3.98	o 201
4.79/4.82	c 2.6036 20.5859 1243 34070
4.79/4.82	o 198
5.09/5.10	c 2.76958 20.5859 978 35517
5.09/5.10	o 187
7.49/7.60	c 4.21736 20.7148 1271 41871
7.49/7.60	o 172
7.79/7.84	c 4.29635 20.7148 908 42988
7.79/7.84	o 169
7.79/7.85	c 4.30234 20.7148 948 43535
7.79/7.85	o 153
8.09/8.17	c 4.43532 20.7148 761 44686
8.09/8.17	o 148
8.49/8.52	c 4.6163 20.7148 674 46377
8.49/8.52	o 137
12.59/12.62	c 7.17891 20.7148 1326 60628
12.59/12.62	o 135
12.79/12.84	c 7.32089 20.7148 954 61698
12.79/12.84	o 133
12.79/12.89	c 7.35188 20.7148 1096 62153
12.79/12.89	o 132
12.99/13.04	c 7.45087 20.7148 703 62734
12.99/13.04	o 129
13.29/13.35	c 7.63284 20.7148 1127 64291
13.29/13.35	o 113
15.89/15.95	c 9.04862 20.7148 1127 72552
15.89/15.95	o 111
18.80/18.88	c 10.8224 20.7148 848 80121
18.80/18.88	o 105
20.09/20.12	c 11.5742 20.7148 1160 84844
20.09/20.12	o 104
20.59/20.69	c 11.8332 20.7148 672 86974
20.59/20.69	o 101
26.79/26.84	c 15.5336 20.8438 937 106454
26.79/26.84	o 95
28.60/28.62	c 16.4235 20.8438 1033 112819
28.60/28.62	o 91
30.29/30.38	c 17.5273 20.9727 1535 118259
30.29/30.38	o 83
31.70/31.76	c 18.4122 20.9727 865 123779
31.70/31.76	o 66
33.09/33.12	c 19.3431 20.9727 2039 129940
33.09/33.12	o 56
33.59/33.67	c 19.712 20.9727 2295 132761
33.59/33.67	o 52
36.39/36.43	c 21.4707 21.1016 2440 147436
36.39/36.43	o 50
36.89/36.97	c 21.8507 21.1016 1632 150460
36.89/36.97	o 48
37.09/37.13	c 21.9697 21.1016 2140 151849
37.09/37.13	o 38
37.30/37.38	c 22.1646 21.1016 1896 153774
37.30/37.38	o 35
37.40/37.47	c 22.2336 21.1016 2364 154823
37.40/37.47	o 22
39.79/39.82	c 24.1873 22.1328 3168 176643
39.79/39.82	o 21
45.59/45.68	c 29.0676 22.1328 2359 235130
45.59/45.68	o 16
46.39/46.47	c 29.7255 22.1328 2732 243591
46.39/46.47	o 15
50.89/50.90	c 33.3219 22.1328 2765 292245
50.89/50.90	o 13
53.80/53.89	c 35.8825 22.1328 2970 325069
53.80/53.89	o 11
58.09/58.19	c 39.613 22.1328 2628 375848
58.09/58.19	o 10
62.89/62.98	c 43.7943 22.1328 3248 433290
62.89/62.98	o 9
67.19/67.29	c 47.5668 22.1328 3735 485115
67.19/67.29	o 8
80.99/81.06	c 58.6811 22.1328 2717 668616
80.99/81.06	o 5
84.89/84.90	c 62.0866 22.6484 4036 717732
84.89/84.90	o 2
205.99/206.05	c 165.406 23.4219 3461 2321016
205.99/206.05	o 1
1118.81/1118.84	c 935.218 24.2148 3143 15026540
1118.81/1118.84	s OPTIMUM FOUND
1118.81/1118.84	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-2698762-1278464491/watcher-2698762-1278464491 -o /tmp/evaluation-result-2698762-1278464491/solver-2698762-1278464491 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698762-1278464491.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: 1.92 1.98 1.93 4/178 14579
/proc/meminfo: memFree=28724444/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=2136 CPUtime=0
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14662566 2187264 174 4089446400 134512640 136422188 4291381136 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14579/statm: 534 174 144 467 0 65 0

[startup+0.093923 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 14579
/proc/meminfo: memFree=28724444/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=20176 CPUtime=0.08
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4695 0 0 0 8 0 0 0 25 0 1 0 14662566 20660224 4581 4089446400 134512640 136422188 4291381136 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5044 4581 207 467 0 4575 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20176

[startup+0.100921 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 14579
/proc/meminfo: memFree=28724444/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=20464 CPUtime=0.09
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4755 0 0 0 9 0 0 0 25 0 1 0 14662566 20955136 4641 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5116 4647 219 467 0 4647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20464

[startup+0.300887 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 14579
/proc/meminfo: memFree=28724444/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=20704 CPUtime=0.29
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4813 0 0 0 21 8 0 0 25 0 1 0 14662566 21200896 4698 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5176 4698 237 467 0 4707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20704

[startup+0.70082 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 14579
/proc/meminfo: memFree=28724444/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=20944 CPUtime=0.69
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4858 0 0 0 33 36 0 0 25 0 1 0 14662566 21446656 4740 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5236 4740 237 467 0 4767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20944

[startup+1.50069 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 14580
/proc/meminfo: memFree=28706216/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=20944 CPUtime=1.49
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4864 0 0 0 55 94 0 0 25 0 1 0 14662566 21446656 4741 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5236 4741 237 467 0 4767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20944

[startup+3.10044 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 14580
/proc/meminfo: memFree=28705968/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=20944 CPUtime=3.09
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4881 0 0 0 152 157 0 0 25 0 1 0 14662566 21446656 4755 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5236 4755 237 467 0 4767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20944

[startup+6.30088 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 14580
/proc/meminfo: memFree=28706168/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=21208 CPUtime=6.29
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4925 0 0 0 349 280 0 0 20 0 1 0 14662566 21716992 4790 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5302 4790 237 467 0 4833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21208

[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 14581
/proc/meminfo: memFree=28705792/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=21208 CPUtime=12.69
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4943 0 0 0 723 546 0 0 25 0 1 0 14662566 21716992 4802 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5302 4802 237 467 0 4833 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21208

[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 14581
/proc/meminfo: memFree=28705824/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=21340 CPUtime=25.49
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 4978 0 0 0 1466 1083 0 0 25 0 1 0 14662566 21852160 4829 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5335 4829 237 467 0 4866 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21340

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 14581
/proc/meminfo: memFree=28704300/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=22660 CPUtime=51.09
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5347 0 0 0 3348 1761 0 0 25 0 1 0 14662566 23203840 5183 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5665 5183 237 467 0 5196 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22660

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 14583
/proc/meminfo: memFree=28703904/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=23188 CPUtime=102.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5469 0 0 0 7685 2545 0 0 25 0 1 0 14662566 23744512 5299 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5797 5299 237 467 0 5328 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23188

[startup+162.301 s]
/proc/loadavg: 2.05 2.00 1.94 3/179 14585
/proc/meminfo: memFree=28702960/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=23848 CPUtime=162.29
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5646 0 0 0 12822 3407 0 0 25 0 1 0 14662566 24420352 5476 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5962 5476 237 467 0 5493 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23848

[startup+222.3 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 14614
/proc/meminfo: memFree=29605168/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=23980 CPUtime=222.29
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5686 0 0 0 17940 4289 0 0 25 0 1 0 14662566 24555520 5515 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5995 5515 237 467 0 5526 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23980

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14615
/proc/meminfo: memFree=29605100/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=23980 CPUtime=282.29
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5686 0 0 0 22992 5237 0 0 25 0 1 0 14662566 24555520 5515 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5995 5515 237 467 0 5526 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 23980

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14617
/proc/meminfo: memFree=29604524/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=23980 CPUtime=342.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5686 0 0 0 28094 6136 0 0 25 0 1 0 14662566 24555520 5515 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 5995 5515 237 467 0 5526 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23980

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14619
/proc/meminfo: memFree=29604192/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24112 CPUtime=402.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5698 0 0 0 33143 7087 0 0 25 0 1 0 14662566 24690688 5527 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6028 5527 237 467 0 5559 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24112

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 14621
/proc/meminfo: memFree=29603756/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24112 CPUtime=462.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5714 0 0 0 38153 8077 0 0 25 0 1 0 14662566 24690688 5543 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6028 5543 237 467 0 5559 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24112

[startup+522.301 s]
/proc/loadavg: 2.06 2.00 1.94 3/179 14622
/proc/meminfo: memFree=29603540/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24248 CPUtime=522.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5725 0 0 0 43138 9092 0 0 25 0 1 0 14662566 24829952 5554 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6062 5554 237 467 0 5593 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24248

[startup+582.301 s]
/proc/loadavg: 2.02 2.00 1.94 3/179 14623
/proc/meminfo: memFree=29603348/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24388 CPUtime=582.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5755 0 0 0 48128 10102 0 0 25 0 1 0 14662566 24973312 5584 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6097 5584 237 467 0 5628 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24388

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14625
/proc/meminfo: memFree=29602764/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24520 CPUtime=642.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5799 0 0 0 53222 11008 0 0 25 0 1 0 14662566 25108480 5628 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6130 5628 237 467 0 5661 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 24520

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14627
/proc/meminfo: memFree=29602940/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24520 CPUtime=702.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5810 0 0 0 58306 11924 0 0 25 0 1 0 14662566 25108480 5639 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6130 5639 237 467 0 5661 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 24520

[startup+762.305 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14629
/proc/meminfo: memFree=29602616/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24656 CPUtime=762.31
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5832 0 0 0 63454 12777 0 0 25 0 1 0 14662566 25247744 5661 4089446400 134512640 136422188 4291381136 18446744073709551615 134862343 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6164 5661 237 467 0 5695 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 24656

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14630
/proc/meminfo: memFree=29602548/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24656 CPUtime=822.31
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5841 0 0 0 68464 13767 0 0 25 0 1 0 14662566 25247744 5670 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6164 5670 237 467 0 5695 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24656

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14631
/proc/meminfo: memFree=29601964/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24656 CPUtime=882.31
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5853 0 0 0 73505 14726 0 0 25 0 1 0 14662566 25247744 5682 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6164 5682 237 467 0 5695 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 24656

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14633
/proc/meminfo: memFree=29602156/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=942.3
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5856 0 0 0 78627 15603 0 0 25 0 1 0 14662566 25387008 5685 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5685 237 467 0 5729 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 24792

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14635
/proc/meminfo: memFree=29601820/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1002.31
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 83700 16531 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 24792

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 14640
/proc/meminfo: memFree=29601444/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1062.31
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 88694 17537 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 24792

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

[startup+1075.1 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 14640
/proc/meminfo: memFree=29601412/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1075.11
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 89787 17724 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1075.11
Current children cumulated vsize (KiB) 24792

[startup+1100.7 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14640
/proc/meminfo: memFree=29601152/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1100.71
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 91945 18126 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1100.71
Current children cumulated vsize (KiB) 24792

[startup+1107.1 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14640
/proc/meminfo: memFree=29601396/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1107.11
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 92507 18204 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1107.11
Current children cumulated vsize (KiB) 24792

[startup+1113.5 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14640
/proc/meminfo: memFree=29601500/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1113.51
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 93058 18293 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1113.51
Current children cumulated vsize (KiB) 24792

[startup+1116.7 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14640
/proc/meminfo: memFree=29601492/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1116.71
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 93340 18331 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1116.71
Current children cumulated vsize (KiB) 24792

[startup+1117.5 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14641
/proc/meminfo: memFree=29601492/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1117.52
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 93408 18344 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1117.52
Current children cumulated vsize (KiB) 24792

[startup+1118.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14641
/proc/meminfo: memFree=29601492/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1118.31
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 93478 18353 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1118.31
Current children cumulated vsize (KiB) 24792

[startup+1118.71 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14641
/proc/meminfo: memFree=29601492/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1118.72
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 93511 18361 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1118.72
Current children cumulated vsize (KiB) 24792

[startup+1118.8 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14641
/proc/meminfo: memFree=29601492/32950928 swapFree=67111528/67111528
[pid=14579] ppid=14577 vsize=24792 CPUtime=1118.81
/proc/14579/stat : 14579 (pbct) R 14577 14579 13866 0 -1 4202496 5873 0 0 0 93518 18363 0 0 25 0 1 0 14662566 25387008 5702 4089446400 134512640 136422188 4291381136 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14579/statm: 6198 5702 237 467 0 5729 0
Current children cumulated CPU time (s) 1118.81
Current children cumulated vsize (KiB) 24792

Child status: 0
Real time (s): 1118.87
CPU time (s): 1118.89
CPU user time (s): 935.242
CPU system time (s): 183.644
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 935.242
system time used= 183.644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5878
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= 2
involuntary context switches= 1679

runsolver used 1.60476 second user time and 3.49047 second system time

The end

Launcher Data 

Begin job on node126 at 2010-07-07 03:01:31
IDJOB=2698762
IDBENCH=79261
IDSOLVER=1212
FILE ID=node126/2698762-1278464491
PBS_JOBID= 11233741
Free space on /tmp= 73676 MiB

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

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

MD5SUM BENCH= 24569843aeaad08e546ecaba09eee200
RANDOM SEED=1909144219

node126.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.861
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.72
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.861
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	: 5226.05
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.861
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.82
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.861
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.67
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.861
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.84
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.861
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.67
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.861
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.85
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.861
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:      28724964 kB
Buffers:        112704 kB
Cached:        2986764 kB
SwapCached:          0 kB
Active:        1766764 kB
Inactive:      2316424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28724964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:      983740 kB
Mapped:          15632 kB
Slab:            78644 kB
PageTables:       6652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1147640 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= 73676 MiB
End job on node126 at 2010-07-07 03:20:10