Trace number 2695518

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.1900548667--soft-33-100-0.wbo
MD5SUMb80542b6ea011406c368e0a53be4d6f1
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 benchmark487.411
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 constraints1804
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 90822
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90821
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
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.00/0.01	c constraints 6/17 clauses 897/1787 units 0
0.00/0.01	c vars 231
0.08/0.08	c 0.082987 16.7188 4 5522
0.08/0.08	o 439
0.49/0.54	c 0.349946 17.1094 509 104859
0.49/0.54	o 425
15.19/15.26	c 9.30259 17.3398 1515 2848951
15.19/15.26	o 417
19.70/19.77	c 12.0762 17.3398 849 3843440
19.70/19.77	o 409
20.19/20.23	c 12.3351 17.3398 786 3910729
20.19/20.23	o 408
21.49/21.51	c 13.148 17.3398 863 4066717
21.49/21.51	o 376
21.49/21.52	c 13.153 17.3398 881 4067004
21.49/21.52	o 367
23.00/23.05	c 14.0639 17.3398 1146 4147666
23.00/23.05	o 358
34.69/34.77	c 20.9808 17.3398 823 4994566
34.69/34.77	o 340
34.69/34.78	c 20.9878 17.3398 832 4996127
34.69/34.78	o 291
35.89/35.97	c 21.7237 17.3398 746 5134844
35.89/35.97	o 287
35.99/36.04	c 21.7637 17.3398 909 5135553
35.99/36.04	o 284
35.99/36.07	c 21.7827 17.3398 1005 5135976
35.99/36.07	o 273
35.99/36.08	c 21.7897 17.3398 1035 5136164
35.99/36.08	o 269
35.99/36.10	c 21.7987 17.3398 1076 5136720
35.99/36.10	o 246
36.09/36.10	c 21.8027 17.3398 1080 5137717
36.09/36.10	o 194
36.09/36.15	c 21.8277 17.3398 1175 5138058
36.09/36.15	o 187
36.20/36.23	c 21.8847 17.3398 1009 5138976
36.20/36.23	o 186
36.39/36.40	c 21.9857 17.3398 1242 5141953
36.39/36.40	o 184
36.39/36.46	c 22.0217 17.3398 832 5142423
36.39/36.46	o 182
36.39/36.46	c 22.0257 17.3398 843 5142778
36.39/36.46	o 181
36.39/36.47	c 22.0316 17.3398 857 5142959
36.39/36.47	o 178
36.39/36.49	c 22.0446 17.3398 922 5144186
36.39/36.49	o 118
36.49/36.59	c 22.1136 17.3398 776 5144834
36.49/36.59	o 117
37.09/37.19	c 22.5056 17.3398 1147 5148108
37.09/37.19	o 100
37.59/37.69	c 22.8535 17.3398 1032 5151064
37.59/37.69	o 85
37.69/37.71	c 22.8725 17.3398 1161 5151762
37.69/37.71	o 63
37.69/37.78	c 22.9215 17.3398 1550 5152633
37.69/37.78	o 48
37.69/37.79	c 22.9345 17.3398 883 5152908
37.69/37.79	o 46
37.99/38.06	c 23.1335 17.4609 1399 5155791
37.99/38.06	o 31
37.99/38.06	c 23.1375 17.4609 1437 5155884
37.99/38.06	o 30
38.79/38.80	c 23.7294 17.5898 2291 5162738
38.79/38.80	o 19
39.60/39.65	c 24.4483 17.9688 2649 5172532
39.60/39.65	o 13
40.09/40.18	c 24.9092 17.9531 2135 5179939
40.09/40.18	o 5
40.69/40.76	c 25.4341 17.9531 2790 5189322
40.69/40.76	o 4
40.79/40.89	c 25.5581 17.9531 2679 5191207
40.79/40.89	o 2
61.60/61.65	c 44.7282 18.1992 2943 5482551
61.60/61.65	o 1
1800.04/1800.00	s SATISFIABLE
1800.04/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-2695518-1277901655/watcher-2695518-1277901655 -o /tmp/evaluation-result-2695518-1277901655/solver-2695518-1277901655 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695518-1277901655.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.07 2.08 2.02 3/178 11457
/proc/meminfo: memFree=30209264/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=2136 CPUtime=0
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 131462751 2187264 175 4089446400 134512640 136421960 4289861792 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11457/statm: 534 175 144 467 0 65 0

[startup+0.086064 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 11457
/proc/meminfo: memFree=30209264/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17116 CPUtime=0.08
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 3960 0 0 0 8 0 0 0 25 0 1 0 131462751 17526784 3879 4089446400 134512640 136421960 4289861792 18446744073709551615 135025736 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4279 3879 213 467 0 3810 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17116

[startup+0.101072 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 11457
/proc/meminfo: memFree=30209264/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17516 CPUtime=0.09
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4044 0 0 0 8 1 0 0 25 0 1 0 131462751 17936384 3962 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4379 3962 236 467 0 3910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17516

[startup+0.301024 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 11457
/proc/meminfo: memFree=30209264/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17516 CPUtime=0.29
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4045 0 0 0 20 9 0 0 25 0 1 0 131462751 17936384 3963 4089446400 134512640 136421960 4289861792 18446744073709551615 134640927 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4379 3963 237 467 0 3910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17516

[startup+0.700956 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 11457
/proc/meminfo: memFree=30209264/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17516 CPUtime=0.69
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4052 0 0 0 44 25 0 0 25 0 1 0 131462751 17936384 3969 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4379 3969 237 467 0 3910 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17516

[startup+1.50082 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 11458
/proc/meminfo: memFree=30194004/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17516 CPUtime=1.49
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4052 0 0 0 89 60 0 0 25 0 1 0 131462751 17936384 3969 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4379 3969 237 467 0 3910 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17516

[startup+3.10054 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 11458
/proc/meminfo: memFree=30193552/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17516 CPUtime=3.09
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4058 0 0 0 189 120 0 0 25 0 1 0 131462751 17936384 3975 4089446400 134512640 136421960 4289861792 18446744073709551615 134869407 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4379 3975 237 467 0 3910 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17516

[startup+6.30096 s]
/proc/loadavg: 2.07 2.07 2.02 3/179 11458
/proc/meminfo: memFree=30191204/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17632 CPUtime=6.29
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4069 0 0 0 384 245 0 0 25 0 1 0 131462751 18055168 3986 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4408 3986 237 467 0 3939 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17632

[startup+12.7008 s]
/proc/loadavg: 2.06 2.07 2.02 3/179 11458
/proc/meminfo: memFree=30188080/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17632 CPUtime=12.69
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4086 0 0 0 767 502 0 0 25 0 1 0 131462751 18055168 4003 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4408 4003 237 467 0 3939 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17632

[startup+25.5006 s]
/proc/loadavg: 2.05 2.07 2.02 3/179 11458
/proc/meminfo: memFree=30177332/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=17752 CPUtime=25.49
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4110 0 0 0 1549 1000 0 0 25 0 1 0 131462751 18178048 4021 4089446400 134512640 136421960 4289861792 18446744073709551615 135026195 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4438 4021 237 467 0 3969 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17752

[startup+51.101 s]
/proc/loadavg: 2.03 2.06 2.02 3/179 11459
/proc/meminfo: memFree=30156084/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=18504 CPUtime=51.09
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4338 0 0 0 3497 1612 0 0 25 0 1 0 131462751 18948096 4221 4089446400 134512640 136421960 4289861792 18446744073709551615 134861944 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4626 4221 237 467 0 4157 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18504

[startup+102.306 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 11460
/proc/meminfo: memFree=30124308/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=18888 CPUtime=102.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4421 0 0 0 8220 2010 0 0 25 0 1 0 131462751 19341312 4303 4089446400 134512640 136421960 4289861792 18446744073709551615 135025360 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4722 4303 237 467 0 4253 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 18888

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/179 11462
/proc/meminfo: memFree=30084840/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=19248 CPUtime=162.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4503 0 0 0 13764 2466 0 0 25 0 1 0 131462751 19709952 4385 4089446400 134512640 136421960 4289861792 18446744073709551615 135021782 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4812 4385 237 467 0 4343 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19248

[startup+222.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/179 11464
/proc/meminfo: memFree=30048336/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=19328 CPUtime=222.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4527 0 0 0 19348 2882 0 0 25 0 1 0 131462751 19791872 4409 4089446400 134512640 136421960 4289861792 18446744073709551615 135686321 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4832 4409 237 467 0 4363 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19328

[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 11465
/proc/meminfo: memFree=29957872/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=19564 CPUtime=282.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4580 0 0 0 24908 3322 0 0 25 0 1 0 131462751 20033536 4462 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4891 4462 237 467 0 4422 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19564

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 11466
/proc/meminfo: memFree=29953252/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=19696 CPUtime=342.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4612 0 0 0 30472 3758 0 0 25 0 1 0 131462751 20168704 4494 4089446400 134512640 136421960 4289861792 18446744073709551615 135026330 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4924 4494 237 467 0 4455 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19696

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 11468
/proc/meminfo: memFree=29945528/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=19696 CPUtime=402.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4631 0 0 0 36021 4209 0 0 25 0 1 0 131462751 20168704 4513 4089446400 134512640 136421960 4289861792 18446744073709551615 135006405 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4924 4513 237 467 0 4455 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19696

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 11470
/proc/meminfo: memFree=29909008/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=19832 CPUtime=462.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4664 0 0 0 41584 4646 0 0 25 0 1 0 131462751 20307968 4546 4089446400 134512640 136421960 4289861792 18446744073709551615 135022062 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4958 4546 237 467 0 4489 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19832

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 11472
/proc/meminfo: memFree=29851928/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=19960 CPUtime=522.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4675 0 0 0 47161 5069 0 0 25 0 1 0 131462751 20439040 4557 4089446400 134512640 136421960 4289861792 18446744073709551615 134973866 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 4990 4557 237 467 0 4521 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19960

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11473
/proc/meminfo: memFree=29805860/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20068 CPUtime=582.3
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4707 0 0 0 52731 5499 0 0 25 0 1 0 131462751 20549632 4589 4089446400 134512640 136421960 4289861792 18446744073709551615 134860052 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5017 4589 237 467 0 4548 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20068

[startup+642.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 11502
/proc/meminfo: memFree=31339700/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20068 CPUtime=642.31
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4725 0 0 0 58277 5954 0 0 25 0 1 0 131462751 20549632 4607 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5017 4607 237 467 0 4548 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20068

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11508
/proc/meminfo: memFree=31288676/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20332 CPUtime=822.31
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4783 0 0 0 74976 7255 0 0 25 0 1 0 131462751 20819968 4665 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5083 4665 237 467 0 4614 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20332

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11509
/proc/meminfo: memFree=31285508/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20332 CPUtime=882.31
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4791 0 0 0 80546 7685 0 0 25 0 1 0 131462751 20819968 4673 4089446400 134512640 136421960 4289861792 18446744073709551615 134864225 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5083 4673 237 467 0 4614 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20332

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11510
/proc/meminfo: memFree=31284092/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20464 CPUtime=942.31
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4802 0 0 0 86125 8106 0 0 25 0 1 0 131462751 20955136 4684 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5116 4684 237 467 0 4647 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 20464

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11512
/proc/meminfo: memFree=31283164/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20464 CPUtime=1002.32
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4807 0 0 0 91682 8550 0 0 25 0 1 0 131462751 20955136 4689 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5116 4689 237 467 0 4647 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20464

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11514
/proc/meminfo: memFree=31280244/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20464 CPUtime=1062.32
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4830 0 0 0 97252 8980 0 0 25 0 1 0 131462751 20955136 4712 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5116 4712 237 467 0 4647 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20464

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11516
/proc/meminfo: memFree=31274852/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20596 CPUtime=1122.32
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4847 0 0 0 102822 9410 0 0 25 0 1 0 131462751 21090304 4729 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5149 4729 237 467 0 4680 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20596

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11517
/proc/meminfo: memFree=31271060/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20708 CPUtime=1182.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4860 0 0 0 108400 9833 0 0 25 0 1 0 131462751 21204992 4742 4089446400 134512640 136421960 4289861792 18446744073709551615 135025746 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11457/statm: 5177 4742 237 467 0 4708 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 20708

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11527
/proc/meminfo: memFree=31268200/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20708 CPUtime=1242.32
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4874 0 0 0 113985 10247 0 0 25 0 1 0 131462751 21204992 4756 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5177 4756 237 467 0 4708 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 20708

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11529
/proc/meminfo: memFree=31263672/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20836 CPUtime=1302.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4889 0 0 0 119565 10668 0 0 25 0 1 0 131462751 21336064 4771 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5209 4771 237 467 0 4740 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20836

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11531
/proc/meminfo: memFree=31263728/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20836 CPUtime=1362.32
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4894 0 0 0 125134 11098 0 0 25 0 1 0 131462751 21336064 4776 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5209 4776 237 467 0 4740 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 20836

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11533
/proc/meminfo: memFree=31263672/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20836 CPUtime=1422.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4908 0 0 0 130716 11517 0 0 25 0 1 0 131462751 21336064 4790 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5209 4790 237 467 0 4740 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 20836

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11534
/proc/meminfo: memFree=31263012/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20940 CPUtime=1482.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4920 0 0 0 136312 11921 0 0 25 0 1 0 131462751 21442560 4802 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5235 4802 237 467 0 4766 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 20940

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11535
/proc/meminfo: memFree=31263064/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20940 CPUtime=1542.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4921 0 0 0 141863 12370 0 0 25 0 1 0 131462751 21442560 4803 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5235 4803 237 467 0 4766 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 20940

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11537
/proc/meminfo: memFree=31262872/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20940 CPUtime=1602.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4922 0 0 0 147458 12775 0 0 25 0 1 0 131462751 21442560 4804 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5235 4804 237 467 0 4766 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 20940

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11539
/proc/meminfo: memFree=31262940/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20940 CPUtime=1662.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4928 0 0 0 153039 13194 0 0 25 0 1 0 131462751 21442560 4810 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5235 4810 237 467 0 4766 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 20940

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11541
/proc/meminfo: memFree=31262776/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20940 CPUtime=1722.33
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4936 0 0 0 158628 13605 0 0 25 0 1 0 131462751 21442560 4818 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5235 4818 237 467 0 4766 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 20940

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11542
/proc/meminfo: memFree=31262080/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20940 CPUtime=1782.34
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4937 0 0 0 164213 14021 0 0 25 0 1 0 131462751 21442560 4819 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5235 4819 237 467 0 4766 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 20940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11543
/proc/meminfo: memFree=31262076/32951124 swapFree=67111528/67111528
[pid=11457] ppid=11455 vsize=20940 CPUtime=1800.04
/proc/11457/stat : 11457 (pbct) R 11455 11457 10787 0 -1 4202496 4937 0 0 0 165852 14152 0 0 25 0 1 0 131462751 21442560 4819 4089446400 134512640 136421960 4289861792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11457/statm: 5235 4819 237 467 0 4766 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 20940

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): 1658.52
CPU system time (s): 141.529
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1658.52
system time used= 141.529
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4938
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= 4617

runsolver used 2.77558 second user time and 5.81511 second system time

The end

Launcher Data 

Begin job on node108 at 2010-06-30 14:40:55
IDJOB=2695518
IDBENCH=78892
IDSOLVER=1208
FILE ID=node108/2695518-1277901655
PBS_JOBID= 11197167
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= b80542b6ea011406c368e0a53be4d6f1
RANDOM SEED=1155076424

node108.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.855
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.71
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.855
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	: 5320.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.855
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.75
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.855
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.855
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.79
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.855
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.83
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.855
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.74
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.855
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:     32951124 kB
MemFree:      30209784 kB
Buffers:        185920 kB
Cached:        1169432 kB
SwapCached:          0 kB
Active:        1759440 kB
Inactive:       837312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30209784 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2156 kB
Writeback:           0 kB
AnonPages:     1241240 kB
Mapped:          15092 kB
Slab:            78756 kB
PageTables:       6996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1385916 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 node108 at 2010-06-30 15:10:57