Trace number 2695524

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.06 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-33-100-0.wbo
MD5SUM74a38f74cac3b14e8d36cdbf48853bbd
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 benchmark525.533
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 constraints1830
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 92327
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92326
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
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 7/16 clauses 870/1814 units 0
0.00/0.01	c vars 231
0.00/0.07	c 0.070989 16.8281 1 3751
0.00/0.08	o 550
0.09/0.11	c 0.076988 17.2266 54 8181
0.09/0.11	o 532
0.09/0.12	c 0.077988 17.2266 111 10217
0.09/0.12	o 455
0.09/0.19	c 0.086986 17.2266 315 12620
0.09/0.19	o 428
0.09/0.19	c 0.088986 17.2266 316 12884
0.09/0.19	o 423
0.19/0.20	c 0.091986 17.2266 349 15046
0.19/0.20	o 309
0.19/0.25	c 0.104984 17.2266 554 15986
0.19/0.25	o 300
0.29/0.31	c 0.112982 17.2266 665 17355
0.29/0.31	o 265
0.29/0.32	c 0.112982 17.2266 665 17855
0.29/0.32	o 242
0.29/0.32	c 0.112982 17.2266 665 18441
0.29/0.32	o 213
0.29/0.32	c 0.112982 17.2266 669 18770
0.29/0.33	o 199
2.29/2.35	c 0.491925 17.3438 1199 29042
2.29/2.35	o 179
3.30/3.31	c 0.682896 17.3438 817 34953
3.30/3.31	o 178
3.49/3.59	c 0.736887 17.3438 762 36249
3.49/3.59	o 174
3.89/3.96	c 0.808877 17.3438 1034 38808
3.89/3.96	o 139
4.50/4.53	c 0.91886 17.4648 981 41516
4.50/4.53	o 131
4.99/5.02	c 1.02684 17.4648 1272 43802
4.99/5.02	o 117
4.99/5.05	c 1.03384 17.4648 725 44223
4.99/5.05	o 105
5.19/5.21	c 1.07584 17.4648 1050 45052
5.19/5.21	o 99
5.60/5.64	c 1.16882 17.4648 946 47596
5.60/5.64	o 90
5.79/5.85	c 1.20682 17.4648 786 48703
5.79/5.85	o 75
6.09/6.15	c 1.2878 17.4648 951 50718
6.09/6.15	o 55
6.19/6.24	c 1.3138 17.4648 1384 52013
6.19/6.24	o 29
8.29/8.32	c 2.67459 18.8828 1780 76108
8.29/8.32	o 22
14.89/14.91	c 7.00094 18.8828 2638 157180
14.89/14.91	o 20
18.50/18.57	c 9.63354 18.8828 2603 205321
18.50/18.57	o 18
21.00/21.09	c 11.4533 18.8828 2523 240414
21.00/21.09	o 17
21.80/21.90	c 12.0382 18.8828 1545 251893
21.80/21.90	o 15
31.29/31.30	c 19.0541 18.8828 2062 386699
31.29/31.30	o 14
36.60/36.61	c 23.0965 18.8828 1791 456879
36.60/36.61	o 13
38.99/39.00	c 24.9722 18.8828 1943 490086
38.99/39.00	o 11
44.10/44.17	c 28.9536 18.8828 2201 562798
44.10/44.17	o 9
57.20/57.25	c 39.154 18.8828 2190 758512
57.20/57.25	o 8
65.19/65.20	c 45.1231 18.8828 1551 875326
65.19/65.20	o 7
102.19/102.22	c 73.2189 18.8828 2719 1433800
102.19/102.22	o 6
197.50/197.51	c 147.393 18.8828 2636 2882771
197.50/197.51	o 3
396.70/396.71	c 305.002 19.3672 2226 5939189
396.70/396.71	o 2
419.01/419.08	c 322.354 19.3672 2452 6306245
419.01/419.08	o 1
1800.05/1800.00	s SATISFIABLE
1800.05/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-2695524-1277902150/watcher-2695524-1277902150 -o /tmp/evaluation-result-2695524-1277902150/solver-2695524-1277902150 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695524-1277902150.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.58 2.72 2.50 2/197 10436
/proc/meminfo: memFree=30649160/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=2136 CPUtime=0
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 255 0 0 0 0 0 0 0 24 0 1 0 131512400 2187264 174 4089446400 134512640 136421960 4287818416 18446744073709551615 135809597 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10436/statm: 534 174 144 467 0 65 0

[startup+0.104538 s]
/proc/loadavg: 2.58 2.72 2.50 2/197 10436
/proc/meminfo: memFree=30649160/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=17636 CPUtime=0.09
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4065 0 0 0 7 2 0 0 24 0 1 0 131512400 18059264 3983 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4409 3983 236 467 0 3940 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17636

[startup+0.20052 s]
/proc/loadavg: 2.58 2.72 2.50 2/197 10436
/proc/meminfo: memFree=30649160/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=17636 CPUtime=0.19
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4077 0 0 0 9 10 0 0 24 0 1 0 131512400 18059264 3991 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4409 3991 237 467 0 3940 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17636

[startup+0.300496 s]
/proc/loadavg: 2.58 2.72 2.50 2/197 10436
/proc/meminfo: memFree=30649160/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=17636 CPUtime=0.29
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4079 0 0 0 11 18 0 0 25 0 1 0 131512400 18059264 3991 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4409 3991 237 467 0 3940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17636

[startup+0.700408 s]
/proc/loadavg: 2.58 2.72 2.50 2/197 10436
/proc/meminfo: memFree=30649160/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=17636 CPUtime=0.69
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4091 0 0 0 17 52 0 0 25 0 1 0 131512400 18059264 3999 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4409 3999 237 467 0 3940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17636

[startup+1.50018 s]
/proc/loadavg: 2.58 2.72 2.50 2/198 10439
/proc/meminfo: memFree=30597320/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=17756 CPUtime=1.49
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4102 0 0 0 34 115 0 0 25 0 1 0 131512400 18182144 4010 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4439 4010 237 467 0 3970 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17756

[startup+3.10089 s]
/proc/loadavg: 2.58 2.72 2.50 2/198 10441
/proc/meminfo: memFree=30585540/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=17756 CPUtime=3.09
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4124 0 0 0 64 245 0 0 25 0 1 0 131512400 18182144 4031 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4439 4031 237 467 0 3970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17756

[startup+6.30079 s]
/proc/loadavg: 2.54 2.70 2.50 2/198 10447
/proc/meminfo: memFree=30558456/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=17880 CPUtime=6.29
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4156 0 0 0 134 495 0 0 25 0 1 0 131512400 18309120 4052 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4470 4052 237 467 0 4001 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17880

[startup+12.7011 s]
/proc/loadavg: 2.57 2.71 2.50 4/200 10451
/proc/meminfo: memFree=30523364/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19332 CPUtime=12.7
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4526 0 0 0 553 717 0 0 25 0 1 0 131512400 19795968 4421 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4833 4421 237 467 0 4364 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 19332

[startup+25.5007 s]
/proc/loadavg: 2.67 2.72 2.51 4/200 10452
/proc/meminfo: memFree=30516904/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19332 CPUtime=25.49
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4530 0 0 0 1468 1081 0 0 25 0 1 0 131512400 19795968 4421 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4833 4421 237 467 0 4364 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19332

[startup+51.101 s]
/proc/loadavg: 2.71 2.73 2.51 4/200 10452
/proc/meminfo: memFree=30510036/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19332 CPUtime=51.09
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4534 0 0 0 3430 1679 0 0 25 0 1 0 131512400 19795968 4421 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4833 4421 237 467 0 4364 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19332

[startup+102.301 s]
/proc/loadavg: 2.73 2.73 2.53 4/200 10454
/proc/meminfo: memFree=30496596/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19332 CPUtime=102.3
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4537 0 0 0 7327 2903 0 0 25 0 1 0 131512400 19795968 4421 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4833 4421 237 467 0 4364 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19332

[startup+162.3 s]
/proc/loadavg: 2.77 2.75 2.55 4/200 10455
/proc/meminfo: memFree=30488728/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19332 CPUtime=162.3
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4537 0 0 0 12023 4207 0 0 25 0 1 0 131512400 19795968 4421 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4833 4421 237 467 0 4364 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19332

[startup+222.306 s]
/proc/loadavg: 2.91 2.79 2.57 4/200 10457
/proc/meminfo: memFree=30480704/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19560 CPUtime=222.31
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4591 0 0 0 16674 5557 0 0 25 0 1 0 131512400 20029440 4474 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4890 4474 237 467 0 4421 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 19560

[startup+282.301 s]
/proc/loadavg: 2.94 2.83 2.59 4/200 10458
/proc/meminfo: memFree=30473056/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19720 CPUtime=282.3
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4624 0 0 0 21502 6728 0 0 25 0 1 0 131512400 20193280 4507 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4930 4507 237 467 0 4461 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19720

[startup+342.301 s]
/proc/loadavg: 2.89 2.83 2.61 4/200 10460
/proc/meminfo: memFree=30465548/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19828 CPUtime=342.31
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4643 0 0 0 26313 7918 0 0 25 0 1 0 131512400 20303872 4526 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4957 4526 237 467 0 4488 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 19828

[startup+402.301 s]
/proc/loadavg: 2.96 2.85 2.63 4/200 10462
/proc/meminfo: memFree=30461880/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19828 CPUtime=402.31
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4644 0 0 0 30936 9295 0 0 25 0 1 0 131512400 20303872 4526 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4957 4526 237 467 0 4488 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 19828

[startup+462.301 s]
/proc/loadavg: 2.62 2.77 2.62 4/200 10463
/proc/meminfo: memFree=30457836/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19828 CPUtime=462.31
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4647 0 0 0 35585 10646 0 0 25 0 1 0 131512400 20303872 4528 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4957 4528 237 467 0 4488 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 19828

[startup+522.3 s]
/proc/loadavg: 2.58 2.73 2.61 4/200 10465
/proc/meminfo: memFree=30454768/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19828 CPUtime=522.31
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4652 0 0 0 40337 11894 0 0 25 0 1 0 131512400 20303872 4533 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4957 4533 237 467 0 4488 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 19828

[startup+582.3 s]
/proc/loadavg: 2.79 2.77 2.63 3/200 10466
/proc/meminfo: memFree=30451228/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19828 CPUtime=582.31
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4664 0 0 0 45066 13165 0 0 25 0 1 0 131512400 20303872 4545 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4957 4545 237 467 0 4488 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 19828

[startup+642.3 s]
/proc/loadavg: 2.87 2.79 2.65 4/200 10468
/proc/meminfo: memFree=30446824/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19828 CPUtime=642.31
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4667 0 0 0 49697 14534 0 0 25 0 1 0 131512400 20303872 4548 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4957 4548 237 467 0 4488 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 19828

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.75 2.78 2.67 4/200 10483
/proc/meminfo: memFree=30433936/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=19964 CPUtime=882.32
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4681 0 0 0 68614 19618 0 0 25 0 1 0 131512400 20443136 4562 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 4991 4562 237 467 0 4522 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 19964

[startup+942.3 s]
/proc/loadavg: 2.69 2.76 2.66 4/200 10485
/proc/meminfo: memFree=30431020/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20096 CPUtime=942.32
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4700 0 0 0 73323 20909 0 0 25 0 1 0 131512400 20578304 4581 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5024 4581 237 467 0 4555 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20096

[startup+1002.3 s]
/proc/loadavg: 2.41 2.68 2.64 3/179 10517
/proc/meminfo: memFree=30602236/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20096 CPUtime=1002.32
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4701 0 0 0 78509 21723 0 0 25 0 1 0 131512400 20578304 4582 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/10436/statm: 5024 4582 237 467 0 4555 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20096

[startup+1062.3 s]
/proc/loadavg: 2.15 2.55 2.60 3/179 10518
/proc/meminfo: memFree=30490960/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20096 CPUtime=1062.32
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4717 0 0 0 84009 22223 0 0 25 0 1 0 131512400 20578304 4598 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/10436/statm: 5024 4598 237 467 0 4555 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20096

[startup+1122.3 s]
/proc/loadavg: 2.05 2.45 2.56 3/179 10520
/proc/meminfo: memFree=30349568/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20228 CPUtime=1122.32
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4729 0 0 0 89512 22720 0 0 25 0 1 0 131512400 20713472 4610 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/10436/statm: 5057 4610 237 467 0 4588 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20228

[startup+1182.3 s]
/proc/loadavg: 2.02 2.36 2.52 3/179 10521
/proc/meminfo: memFree=30305008/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20228 CPUtime=1182.33
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4733 0 0 0 95004 23229 0 0 25 0 1 0 131512400 20713472 4614 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/10436/statm: 5057 4614 237 467 0 4588 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 20228

[startup+1242.3 s]
/proc/loadavg: 2.31 2.36 2.51 4/200 10575
/proc/meminfo: memFree=30528688/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20228 CPUtime=1242.32
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4745 0 0 0 100349 23883 0 0 25 0 1 0 131512400 20713472 4626 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5057 4626 237 467 0 4588 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 20228

[startup+1302.3 s]
/proc/loadavg: 2.74 2.47 2.53 4/200 10577
/proc/meminfo: memFree=30501420/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20228 CPUtime=1302.33
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4747 0 0 0 105093 25140 0 0 25 0 1 0 131512400 20713472 4628 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5057 4628 237 467 0 4588 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20228

[startup+1362.3 s]
/proc/loadavg: 2.74 2.52 2.55 4/200 10578
/proc/meminfo: memFree=30492548/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20228 CPUtime=1362.33
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4751 0 0 0 110079 26154 0 0 25 0 1 0 131512400 20713472 4632 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5057 4632 237 467 0 4588 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 20228

[startup+1422.3 s]
/proc/loadavg: 2.78 2.56 2.56 4/200 10580
/proc/meminfo: memFree=30483440/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20228 CPUtime=1422.34
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4754 0 0 0 114869 27365 0 0 25 0 1 0 131512400 20713472 4635 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5057 4635 237 467 0 4588 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 20228

[startup+1482.3 s]
/proc/loadavg: 2.78 2.60 2.56 4/200 10581
/proc/meminfo: memFree=30477800/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1482.33
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4764 0 0 0 119825 28408 0 0 25 0 1 0 131512400 20848640 4645 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4645 237 467 0 4621 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 20360

[startup+1542.31 s]
/proc/loadavg: 3.13 2.70 2.60 4/200 10583
/proc/meminfo: memFree=30472404/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1542.34
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4769 0 0 0 124701 29533 0 0 25 0 1 0 131512400 20848640 4650 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4650 237 467 0 4621 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 20360

[startup+1602.3 s]
/proc/loadavg: 2.88 2.71 2.60 4/200 10585
/proc/meminfo: memFree=30466400/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1602.34
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4777 0 0 0 129461 30773 0 0 25 0 1 0 131512400 20848640 4658 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4658 237 467 0 4621 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 20360

[startup+1662.3 s]
/proc/loadavg: 2.80 2.71 2.61 4/200 10586
/proc/meminfo: memFree=30462436/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1662.34
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4781 0 0 0 134138 32096 0 0 25 0 1 0 131512400 20848640 4662 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4662 237 467 0 4621 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 20360

[startup+1722.3 s]
/proc/loadavg: 3.13 2.81 2.65 4/200 10588
/proc/meminfo: memFree=30458876/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1722.35
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4786 0 0 0 138829 33406 0 0 25 0 1 0 131512400 20848640 4667 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4667 237 467 0 4621 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 20360

[startup+1782.3 s]
/proc/loadavg: 2.87 2.80 2.65 3/200 10589
/proc/meminfo: memFree=30454224/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1782.35
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4791 0 0 0 143566 34669 0 0 25 0 1 0 131512400 20848640 4672 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4672 237 467 0 4621 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 20360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.78 2.78 2.65 4/200 10590
/proc/meminfo: memFree=30453212/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1800.05
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4791 0 0 0 144958 35047 0 0 25 0 1 0 131512400 20848640 4672 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4672 237 467 0 4621 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 20360

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

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

[startup+1800 s]
/proc/loadavg: 2.78 2.78 2.65 4/200 10590
/proc/meminfo: memFree=30453212/32951124 swapFree=67111528/67111528
[pid=10436] ppid=10434 vsize=20360 CPUtime=1800.05
/proc/10436/stat : 10436 (pbct) R 10434 10436 9931 0 -1 4202496 4791 0 0 0 144958 35047 0 0 25 0 1 0 131512400 20848640 4672 4089446400 134512640 136421960 4287818416 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/10436/statm: 5090 4672 237 467 0 4621 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 20360

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1449.58
CPU system time (s): 350.479
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1449.58
system time used= 350.479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4792
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= 1
involuntary context switches= 4946

runsolver used 2.6036 second user time and 5.83311 second system time

The end

Launcher Data 

Begin job on node105 at 2010-06-30 14:49:10
IDJOB=2695524
IDBENCH=78898
IDSOLVER=1208
FILE ID=node105/2695524-1277902150
PBS_JOBID= 11197217
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.1900670234--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695524-1277902150/watcher-2695524-1277902150 -o /tmp/evaluation-result-2695524-1277902150/solver-2695524-1277902150 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695524-1277902150.wbo

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

MD5SUM BENCH= 74a38f74cac3b14e8d36cdbf48853bbd
RANDOM SEED=567156799

node105.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.840
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.68
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.840
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.15
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.840
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.840
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.75
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.840
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.94
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.840
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.70
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.840
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.840
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30649688 kB
Buffers:        186412 kB
Cached:        1812944 kB
SwapCached:          0 kB
Active:         628536 kB
Inactive:      1527704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30649688 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2404 kB
Writeback:           0 kB
AnonPages:      156864 kB
Mapped:          20236 kB
Slab:            80392 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1658976 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= 74208 MiB
End job on node105 at 2010-06-30 15:19:12