Trace number 2695519

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.1MSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
MD5SUM32bdb0ca9ee10d9e7c56deff56e319ba
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark188.053
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 constraints1777
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 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.01/0.01	c constraints 7/16 clauses 923/1761 units 0
0.01/0.01	c vars 231
0.09/0.10	c 0.070989 16.6055 33 23192
0.09/0.10	o 663
0.09/0.17	c 0.079987 16.7891 145 42689
0.09/0.17	o 450
0.19/0.22	c 0.093985 16.7891 281 45281
0.19/0.22	o 429
0.19/0.23	c 0.098984 16.7891 289 46020
0.19/0.23	o 417
0.19/0.25	c 0.105983 16.7891 359 47500
0.19/0.25	o 357
1.69/1.76	c 0.306953 16.9141 1368 139827
1.69/1.76	o 351
1.79/1.80	c 0.317951 16.9141 788 140981
1.79/1.80	o 310
1.79/1.85	c 0.32495 16.9141 974 142142
1.79/1.85	o 294
1.79/1.88	c 0.333949 16.9141 1097 142486
1.79/1.88	o 293
1.89/1.95	c 0.345947 16.9141 655 143377
1.89/1.95	o 280
2.20/2.27	c 0.414936 17.0312 1117 146051
2.20/2.27	o 253
2.29/2.34	c 0.431934 17.0312 790 146949
2.29/2.34	o 232
2.79/2.80	c 0.546916 17.0312 740 150192
2.79/2.80	o 231
3.59/3.62	c 0.680896 17.0312 773 154936
3.59/3.62	o 222
3.69/3.79	c 0.714891 17.0312 682 156357
3.69/3.79	o 215
3.79/3.86	c 0.726889 17.0312 870 157526
3.79/3.86	o 188
3.99/4.05	c 0.769882 17.0312 905 159297
3.99/4.05	o 168
3.99/4.08	c 0.775882 17.0312 987 159532
3.99/4.08	o 163
4.39/4.44	c 0.845871 17.0312 634 161517
4.39/4.44	o 153
4.39/4.49	c 0.857869 17.0312 788 162031
4.39/4.49	o 144
4.49/4.57	c 0.874867 17.0312 967 162892
4.49/4.57	o 123
5.40/5.45	c 1.09283 17.1523 929 167510
5.40/5.45	o 117
5.40/5.47	c 1.10083 17.1523 963 167674
5.40/5.47	o 112
6.79/6.86	c 1.62575 17.1523 1003 174826
6.79/6.86	o 109
6.79/6.88	c 1.63775 17.1523 1125 175113
6.79/6.88	o 107
7.09/7.12	c 1.69874 17.1523 1103 176330
7.09/7.12	o 106
7.39/7.42	c 1.76873 17.1523 1284 177906
7.39/7.42	o 88
7.89/7.94	c 1.9537 17.2812 1563 181303
7.89/7.94	o 66
8.29/8.32	c 2.08568 17.2812 1434 183996
8.29/8.32	o 60
9.69/9.78	c 2.6386 17.4023 1699 194021
9.69/9.78	o 54
9.89/9.98	c 2.73058 17.4023 1664 195641
9.89/9.98	o 53
10.19/10.24	c 2.85956 17.4023 2150 198230
10.19/10.24	o 44
11.19/11.23	c 3.31549 17.4023 1205 207822
11.19/11.23	o 26
13.50/13.53	c 4.88326 18.3008 2633 235053
13.50/13.53	o 18
20.69/20.79	c 9.91549 18.3008 2921 330285
20.69/20.79	o 13
23.30/23.30	c 11.5712 18.3008 1962 366769
23.30/23.30	o 11
24.10/24.19	c 12.2421 18.3008 2498 379986
24.10/24.19	o 10
24.39/24.47	c 12.4471 18.3008 1861 383446
24.39/24.47	o 5
34.29/34.37	c 19.947 18.3008 2583 532747
34.29/34.37	o 4
48.29/48.35	c 30.5624 18.3008 2909 754892
48.29/48.35	o 3
57.78/57.87	c 37.8153 18.3008 1672 895006
57.78/57.87	o 2
58.49/58.55	c 38.4012 18.3008 3001 905826
58.49/58.55	o 1
1800.03/1800.00	s SATISFIABLE
1800.03/1800.00	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-2695519-1277901721/watcher-2695519-1277901721 -o /tmp/evaluation-result-2695519-1277901721/solver-2695519-1277901721 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695519-1277901721.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 2.00 4/196 12374
/proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=2136 CPUtime=0
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 131469044 2187264 175 4089446400 134512640 136421960 4287188672 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12374/statm: 534 175 144 467 0 65 0

[startup+0.013032 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12374
/proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=2268 CPUtime=0.01
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 272 0 0 0 1 0 0 0 25 0 1 0 131469044 2322432 191 4089446400 134512640 136421960 4287188672 18446744073709551615 135809508 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12374/statm: 567 191 144 467 0 98 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2268

[startup+0.101082 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12374
/proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=17000 CPUtime=0.09
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 3928 0 0 0 6 3 0 0 25 0 1 0 131469044 17408000 3847 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4250 3847 213 467 0 3781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17000

[startup+0.300981 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12374
/proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=17188 CPUtime=0.29
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 3996 0 0 0 11 18 0 0 25 0 1 0 131469044 17600512 3910 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4297 3910 236 467 0 3828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17188

[startup+0.700909 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12374
/proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=17316 CPUtime=0.69
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4010 0 0 0 16 53 0 0 25 0 1 0 131469044 17731584 3924 4089446400 134512640 136421960 4287188672 18446744073709551615 134597545 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4329 3924 236 467 0 3860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17316

[startup+1.50077 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12375
/proc/meminfo: memFree=31255988/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=17316 CPUtime=1.49
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4019 0 0 0 26 123 0 0 25 0 1 0 131469044 17731584 3933 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4329 3933 237 467 0 3860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17316

[startup+3.10056 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12375
/proc/meminfo: memFree=31255616/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=17436 CPUtime=3.09
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4069 0 0 0 60 249 0 0 25 0 1 0 131469044 17854464 3975 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4359 3975 237 467 0 3890 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17436

[startup+6.30092 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12375
/proc/meminfo: memFree=31255656/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=17560 CPUtime=6.29
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4089 0 0 0 144 485 0 0 20 0 1 0 131469044 17981440 3985 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4390 3985 237 467 0 3921 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17560

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12375
/proc/meminfo: memFree=31254804/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=18736 CPUtime=12.69
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4402 0 0 0 433 836 0 0 19 0 1 0 131469044 19185664 4288 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4684 4288 237 467 0 4215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18736

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12375
/proc/meminfo: memFree=31254444/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=18736 CPUtime=25.49
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4425 0 0 0 1322 1227 0 0 25 0 1 0 131469044 19185664 4306 4089446400 134512640 136421960 4287188672 18446744073709551615 134862301 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4684 4306 237 467 0 4215 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18736

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12376
/proc/meminfo: memFree=31249168/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=18736 CPUtime=51.09
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4427 0 0 0 3259 1850 0 0 25 0 1 0 131469044 19185664 4306 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4684 4306 237 467 0 4215 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18736

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12377
/proc/meminfo: memFree=31234388/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=18736 CPUtime=102.29
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4429 0 0 0 7228 3001 0 0 25 0 1 0 131469044 19185664 4306 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4684 4306 237 467 0 4215 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 18736

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12379
/proc/meminfo: memFree=31223924/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=18980 CPUtime=162.29
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4480 0 0 0 11867 4362 0 0 25 0 1 0 131469044 19435520 4357 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4745 4357 237 467 0 4276 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18980

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12381
/proc/meminfo: memFree=31223016/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19112 CPUtime=222.29
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4521 0 0 0 16560 5669 0 0 25 0 1 0 131469044 19570688 4398 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4778 4398 237 467 0 4309 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19112

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12412
/proc/meminfo: memFree=31561148/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19240 CPUtime=282.29
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4552 0 0 0 21206 7023 0 0 25 0 1 0 131469044 19701760 4429 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4810 4429 237 467 0 4341 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19240

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12413
/proc/meminfo: memFree=31557172/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19376 CPUtime=342.3
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4585 0 0 0 25965 8265 0 0 25 0 1 0 131469044 19841024 4462 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4844 4462 237 467 0 4375 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19376

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12415
/proc/meminfo: memFree=31552924/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19508 CPUtime=402.3
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4591 0 0 0 30799 9431 0 0 25 0 1 0 131469044 19976192 4468 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4877 4468 237 467 0 4408 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19508

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12417
/proc/meminfo: memFree=31548928/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19508 CPUtime=462.29
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4622 0 0 0 35562 10667 0 0 25 0 1 0 131469044 19976192 4499 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4877 4499 237 467 0 4408 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 19508

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12419
/proc/meminfo: memFree=31544300/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19692 CPUtime=522.3
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4640 0 0 0 40379 11851 0 0 25 0 1 0 131469044 20164608 4517 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4923 4517 237 467 0 4454 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19692

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12420
/proc/meminfo: memFree=31543516/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19824 CPUtime=582.3
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4666 0 0 0 45206 13024 0 0 25 0 1 0 131469044 20299776 4543 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4956 4543 237 467 0 4487 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 19824

[startup+642.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12421
/proc/meminfo: memFree=31542988/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19824 CPUtime=642.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4696 0 0 0 50055 14176 0 0 25 0 1 0 131469044 20299776 4573 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4956 4573 237 467 0 4487 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 19824

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 12427
/proc/meminfo: memFree=31541632/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=19952 CPUtime=822.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4733 0 0 0 64527 17704 0 0 25 0 1 0 131469044 20430848 4610 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 4988 4610 237 467 0 4519 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 19952

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12428
/proc/meminfo: memFree=31540352/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20080 CPUtime=882.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4746 0 0 0 69335 18896 0 0 25 0 1 0 131469044 20561920 4623 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5020 4623 237 467 0 4551 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20080

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12429
/proc/meminfo: memFree=31540324/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20080 CPUtime=942.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4749 0 0 0 74132 20099 0 0 25 0 1 0 131469044 20561920 4626 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5020 4626 237 467 0 4551 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 20080

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12431
/proc/meminfo: memFree=31537676/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20080 CPUtime=1002.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4753 0 0 0 78935 21296 0 0 25 0 1 0 131469044 20561920 4630 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5020 4630 237 467 0 4551 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 20080

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12433
/proc/meminfo: memFree=31534920/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20212 CPUtime=1062.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4778 0 0 0 83794 22437 0 0 25 0 1 0 131469044 20697088 4655 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5053 4655 237 467 0 4584 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 20212

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12435
/proc/meminfo: memFree=31533260/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20340 CPUtime=1122.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4794 0 0 0 88666 23565 0 0 25 0 1 0 131469044 20828160 4671 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5085 4671 237 467 0 4616 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 20340

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12445
/proc/meminfo: memFree=31529076/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20340 CPUtime=1182.31
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4809 0 0 0 93515 24716 0 0 25 0 1 0 131469044 20828160 4686 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5085 4686 237 467 0 4616 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 20340

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12446
/proc/meminfo: memFree=31528432/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20476 CPUtime=1242.32
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4824 0 0 0 98367 25865 0 0 25 0 1 0 131469044 20967424 4701 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5119 4701 237 467 0 4650 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 20476

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12448
/proc/meminfo: memFree=31527780/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20476 CPUtime=1302.32
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4832 0 0 0 103203 27029 0 0 25 0 1 0 131469044 20967424 4709 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5119 4709 237 467 0 4650 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 20476

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12450
/proc/meminfo: memFree=31527720/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20476 CPUtime=1362.32
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4847 0 0 0 108029 28203 0 0 25 0 1 0 131469044 20967424 4724 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5119 4724 237 467 0 4650 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 20476

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12452
/proc/meminfo: memFree=31527420/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20476 CPUtime=1422.33
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4852 0 0 0 112918 29315 0 0 25 0 1 0 131469044 20967424 4729 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5119 4729 237 467 0 4650 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 20476

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12453
/proc/meminfo: memFree=31527140/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20476 CPUtime=1482.32
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4854 0 0 0 117696 30536 0 0 25 0 1 0 131469044 20967424 4731 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5119 4731 237 467 0 4650 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 20476

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12454
/proc/meminfo: memFree=31526736/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20612 CPUtime=1542.32
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4863 0 0 0 122580 31652 0 0 25 0 1 0 131469044 21106688 4740 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5153 4740 237 467 0 4684 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 20612

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12456
/proc/meminfo: memFree=31525940/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20612 CPUtime=1602.33
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4864 0 0 0 127474 32759 0 0 25 0 1 0 131469044 21106688 4741 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5153 4741 237 467 0 4684 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 20612

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12458
/proc/meminfo: memFree=31524048/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20612 CPUtime=1662.32
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4868 0 0 0 132404 33828 0 0 25 0 1 0 131469044 21106688 4745 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5153 4745 237 467 0 4684 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 20612

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12460
/proc/meminfo: memFree=31523768/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20612 CPUtime=1722.32
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4878 0 0 0 137249 34983 0 0 25 0 1 0 131469044 21106688 4755 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5153 4755 237 467 0 4684 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 20612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12461
/proc/meminfo: memFree=31523492/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20612 CPUtime=1782.33
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4884 0 0 0 142106 36127 0 0 25 0 1 0 131469044 21106688 4761 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5153 4761 237 467 0 4684 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 20612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12462
/proc/meminfo: memFree=31523480/32950928 swapFree=67111528/67111528
[pid=12374] ppid=12372 vsize=20612 CPUtime=1800.03
/proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4884 0 0 0 143554 36449 0 0 25 0 1 0 131469044 21106688 4761 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12374/statm: 5153 4761 237 467 0 4684 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 20612

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1435.55
CPU system time (s): 364.5
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1435.55
system time used= 364.5
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4885
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= 5
involuntary context switches= 2714

runsolver used 2.51762 second user time and 5.68614 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 14:42:01
IDJOB=2695519
IDBENCH=78893
IDSOLVER=1208
FILE ID=node120/2695519-1277901721
PBS_JOBID= 11197208
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= 32bdb0ca9ee10d9e7c56deff56e319ba
RANDOM SEED=1900720932

node120.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.820
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.64
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.820
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.07
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.820
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.80
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.820
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.74
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.820
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.82
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.820
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.820
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.75
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31271520 kB
Buffers:        188176 kB
Cached:         930864 kB
SwapCached:          0 kB
Active:         953408 kB
Inactive:       585196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31271520 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:      419504 kB
Mapped:          20448 kB
Slab:            77992 kB
PageTables:       5420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1658796 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= 74204 MiB
End job on node120 at 2010-06-30 15:12:03