Trace number 2695563

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.1900565534--soft-33-100-0.wbo
MD5SUM2edeaf6035297ee59e9643c9979a8871
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 benchmark270.287
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 constraints1783
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 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 685
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 11/12 clauses 913/1771 units 0
0.00/0.01	c vars 231
0.09/0.11	c 0.070989 16.5938 28 29028
0.09/0.11	o 598
0.09/0.13	c 0.074988 16.7773 67 29972
0.09/0.13	o 582
0.09/0.13	c 0.074988 16.7773 69 31997
0.09/0.13	o 402
0.09/0.14	c 0.074988 16.7773 69 32712
0.09/0.14	o 371
0.09/0.14	c 0.074988 16.7773 69 34289
0.09/0.14	o 297
0.09/0.15	c 0.075988 16.7773 74 34809
0.09/0.15	o 276
0.09/0.15	c 0.077988 16.7773 93 35050
0.09/0.15	o 268
0.09/0.16	c 0.077988 16.7773 95 35232
0.09/0.16	o 266
0.09/0.16	c 0.077988 16.7773 95 35608
0.09/0.16	o 251
0.09/0.16	c 0.080987 16.7773 100 36053
0.09/0.16	o 233
0.19/0.25	c 0.091986 16.9023 326 37473
0.19/0.25	o 218
0.29/0.33	c 0.109983 16.9023 507 38036
0.29/0.33	o 210
0.39/0.43	c 0.12898 16.9023 792 38898
0.39/0.43	o 206
0.39/0.44	c 0.131979 16.9023 813 39454
0.39/0.44	o 185
0.39/0.46	c 0.135979 16.9023 846 39653
0.39/0.46	o 181
0.39/0.46	c 0.136979 16.9023 853 39917
0.39/0.46	o 169
0.49/0.50	c 0.146977 17.1328 944 40224
0.49/0.50	o 163
0.79/0.81	c 0.215967 17.1328 1170 42117
0.79/0.81	o 162
0.79/0.83	c 0.217966 17.1328 609 42444
0.79/0.83	o 149
1.00/1.01	c 0.26296 17.1328 1190 43649
1.00/1.01	o 146
1.49/1.53	c 0.360945 17.1328 635 46238
1.49/1.53	o 145
1.59/1.60	c 0.375942 17.1328 831 46708
1.59/1.60	o 138
1.69/1.74	c 0.409937 17.2617 623 47882
1.69/1.74	o 121
2.69/2.76	c 0.622905 17.2617 654 53159
2.69/2.76	o 115
2.69/2.77	c 0.623905 17.2617 666 53439
2.69/2.77	o 104
2.89/2.98	c 0.661899 17.2617 1134 54697
2.89/2.98	o 91
2.99/3.02	c 0.676897 17.2617 1216 54980
2.99/3.02	o 85
3.09/3.16	c 0.705892 17.2617 1051 55958
3.09/3.16	o 77
3.20/3.23	c 0.728889 17.2617 1438 56675
3.20/3.23	o 74
3.30/3.39	c 0.781881 17.2617 1117 57599
3.30/3.39	o 71
3.49/3.53	c 0.839872 17.2617 1486 58418
3.49/3.53	o 67
3.60/3.68	c 0.891864 17.3867 1014 59468
3.60/3.68	o 57
3.89/3.94	c 1.02984 17.3867 1182 61906
3.89/3.94	o 55
4.69/4.71	c 1.40079 17.3867 2173 66983
4.69/4.71	o 51
4.99/5.06	c 1.57676 17.5117 1299 69389
4.99/5.06	o 49
4.99/5.07	c 1.57976 17.5117 1346 69516
4.99/5.07	o 47
5.09/5.19	c 1.64375 17.5117 1825 70588
5.09/5.19	o 32
5.29/5.32	c 1.72574 17.5117 1347 71844
5.29/5.32	o 26
5.29/5.36	c 1.74573 17.5117 1574 72502
5.29/5.36	o 9
5.59/5.64	c 1.93171 17.8945 2408 75804
5.59/5.64	o 5
5.89/5.94	c 2.13867 17.8945 2223 79763
5.89/5.94	o 2
7.39/7.42	c 3.2545 17.8945 2336 101947
7.39/7.42	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-2695563-1277904411/watcher-2695563-1277904411 -o /tmp/evaluation-result-2695563-1277904411/solver-2695563-1277904411 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695563-1277904411.wbo 

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/197 17132
/proc/meminfo: memFree=30952036/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=2136 CPUtime=0
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 255 0 0 0 0 0 0 0 23 0 1 0 131736195 2187264 174 4089446400 134512640 136421960 4286811664 18446744073709551615 135818222 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17132/statm: 534 174 144 467 0 65 0

[startup+0.0228209 s]
/proc/loadavg: 1.92 1.98 1.99 2/197 17132
/proc/meminfo: memFree=30952036/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=4372 CPUtime=0.02
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 792 0 0 0 2 0 0 0 23 0 1 0 131736195 4476928 711 4089446400 134512640 136421960 4286811664 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 1093 714 193 467 0 624 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4372

[startup+0.100835 s]
/proc/loadavg: 1.92 1.98 1.99 2/197 17132
/proc/meminfo: memFree=30952036/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=16988 CPUtime=0.09
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 3932 0 0 0 7 2 0 0 23 0 1 0 131736195 17395712 3851 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4247 3851 213 467 0 3778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16988

[startup+0.30076 s]
/proc/loadavg: 1.92 1.98 1.99 2/197 17132
/proc/meminfo: memFree=30952036/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=17304 CPUtime=0.29
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4014 0 0 0 10 19 0 0 23 0 1 0 131736195 17719296 3922 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4326 3922 236 467 0 3857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17304

[startup+0.700689 s]
/proc/loadavg: 1.92 1.98 1.99 2/197 17132
/proc/meminfo: memFree=30952036/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=17540 CPUtime=0.69
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4072 0 0 0 19 50 0 0 25 0 1 0 131736195 17960960 3974 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4385 3974 236 467 0 3916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17540

[startup+1.50059 s]
/proc/loadavg: 1.85 1.97 1.99 2/198 17135
/proc/meminfo: memFree=30918300/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=17540 CPUtime=1.49
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4076 0 0 0 35 114 0 0 25 0 1 0 131736195 17960960 3975 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4385 3975 236 467 0 3916 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17540

[startup+3.1003 s]
/proc/loadavg: 1.85 1.97 1.99 2/198 17137
/proc/meminfo: memFree=30899576/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=17672 CPUtime=3.09
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4104 0 0 0 69 240 0 0 25 0 1 0 131736195 18096128 3996 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4418 3996 236 467 0 3949 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17672

[startup+6.30068 s]
/proc/loadavg: 1.94 1.98 1.99 3/199 17141
/proc/meminfo: memFree=30859880/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=18320 CPUtime=6.29
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4287 0 0 0 238 391 0 0 25 0 1 0 131736195 18759680 4165 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4580 4165 236 467 0 4111 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18320

[startup+12.7005 s]
/proc/loadavg: 1.86 1.97 1.99 4/200 17149
/proc/meminfo: memFree=30834420/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=18320 CPUtime=12.69
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4288 0 0 0 724 545 0 0 25 0 1 0 131736195 18759680 4165 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4580 4165 236 467 0 4111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18320

[startup+25.5011 s]
/proc/loadavg: 2.03 2.00 2.00 4/200 17152
/proc/meminfo: memFree=30825644/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=18708 CPUtime=25.49
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4371 0 0 0 1703 846 0 0 25 0 1 0 131736195 19156992 4248 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4677 4248 236 467 0 4208 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18708

[startup+51.1004 s]
/proc/loadavg: 2.36 2.08 2.02 4/200 17153
/proc/meminfo: memFree=30816372/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=18968 CPUtime=51.1
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4457 0 0 0 3665 1445 0 0 25 0 1 0 131736195 19423232 4334 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4742 4334 236 467 0 4273 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 18968

[startup+102.306 s]
/proc/loadavg: 2.56 2.17 2.06 5/200 17154
/proc/meminfo: memFree=30802656/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=19356 CPUtime=102.3
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4555 0 0 0 7718 2512 0 0 25 0 1 0 131736195 19820544 4432 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4839 4432 236 467 0 4370 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19356

[startup+162.301 s]
/proc/loadavg: 2.69 2.28 2.10 4/200 17155
/proc/meminfo: memFree=30788808/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=19884 CPUtime=162.3
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4670 0 0 0 12413 3817 0 0 25 0 1 0 131736195 20361216 4547 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 4971 4547 236 467 0 4502 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19884

[startup+222.301 s]
/proc/loadavg: 2.87 2.40 2.15 4/200 17157
/proc/meminfo: memFree=30781292/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=20148 CPUtime=222.3
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4726 0 0 0 17092 5138 0 0 25 0 1 0 131736195 20631552 4603 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5037 4603 236 467 0 4568 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20148

[startup+282.301 s]
/proc/loadavg: 3.29 2.58 2.23 3/200 17159
/proc/meminfo: memFree=30774296/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=20276 CPUtime=282.3
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4783 0 0 0 21803 6427 0 0 25 0 1 0 131736195 20762624 4660 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5069 4660 236 467 0 4600 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20276

[startup+342.301 s]
/proc/loadavg: 2.88 2.59 2.25 3/200 17164
/proc/meminfo: memFree=30765884/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=20540 CPUtime=342.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4820 0 0 0 26480 7751 0 0 25 0 1 0 131736195 21032960 4697 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5135 4697 236 467 0 4666 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 20540

[startup+402.301 s]
/proc/loadavg: 2.74 2.59 2.27 4/200 17165
/proc/meminfo: memFree=30757888/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=20668 CPUtime=402.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4874 0 0 0 31190 9041 0 0 25 0 1 0 131736195 21164032 4751 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5167 4751 236 467 0 4698 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 20668

[startup+462.301 s]
/proc/loadavg: 2.68 2.59 2.29 4/200 17166
/proc/meminfo: memFree=30753344/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=20804 CPUtime=462.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4899 0 0 0 35891 10340 0 0 25 0 1 0 131736195 21303296 4776 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5201 4776 236 467 0 4732 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20804

[startup+522.301 s]
/proc/loadavg: 2.63 2.60 2.31 3/200 17168
/proc/meminfo: memFree=30748080/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=20968 CPUtime=522.3
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4945 0 0 0 40606 11624 0 0 25 0 1 0 131736195 21471232 4822 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5242 4822 236 467 0 4773 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20968

[startup+582.3 s]
/proc/loadavg: 2.81 2.65 2.34 3/200 17170
/proc/meminfo: memFree=30742044/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21104 CPUtime=582.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 4979 0 0 0 45338 12893 0 0 25 0 1 0 131736195 21610496 4856 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5276 4856 236 467 0 4807 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 21104

[startup+642.302 s]
/proc/loadavg: 2.89 2.70 2.38 4/200 17172
/proc/meminfo: memFree=30737404/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21244 CPUtime=642.32
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5018 0 0 0 50104 14128 0 0 25 0 1 0 131736195 21753856 4895 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5311 4895 236 467 0 4842 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 21244

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.89 2.81 2.47 3/200 17176
/proc/meminfo: memFree=30724148/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21388 CPUtime=822.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5058 0 0 0 64605 17626 0 0 25 0 1 0 131736195 21901312 4935 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5347 4935 236 467 0 4878 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 21388

[startup+882.301 s]
/proc/loadavg: 2.87 2.82 2.49 4/200 17178
/proc/meminfo: memFree=30720848/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21516 CPUtime=882.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5071 0 0 0 69353 18878 0 0 25 0 1 0 131736195 22032384 4948 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5379 4948 236 467 0 4910 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 21516

[startup+942.301 s]
/proc/loadavg: 2.94 2.87 2.53 4/200 17180
/proc/meminfo: memFree=30718172/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21516 CPUtime=942.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5083 0 0 0 74121 20110 0 0 25 0 1 0 131736195 22032384 4960 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17132/statm: 5379 4960 236 467 0 4910 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21516

[startup+1002.3 s]
/proc/loadavg: 2.68 2.83 2.54 3/179 17211
/proc/meminfo: memFree=30981680/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21516 CPUtime=1002.32
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5083 0 0 0 79048 21184 0 0 25 0 1 0 131736195 22032384 4960 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17132/statm: 5379 4960 236 467 0 4910 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 21516

[startup+1062.3 s]
/proc/loadavg: 2.25 2.67 2.50 3/179 17212
/proc/meminfo: memFree=30956200/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21648 CPUtime=1062.31
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5105 0 0 0 84530 21701 0 0 25 0 1 0 131736195 22167552 4982 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5412 4982 236 467 0 4943 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21648

[startup+1122.3 s]
/proc/loadavg: 2.09 2.55 2.47 3/179 17214
/proc/meminfo: memFree=30948348/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21892 CPUtime=1122.32
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5172 0 0 0 90067 22165 0 0 25 0 1 0 131736195 22417408 5049 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5473 5049 236 467 0 5004 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 21892

[startup+1182.3 s]
/proc/loadavg: 2.11 2.46 2.44 3/179 17216
/proc/meminfo: memFree=30940248/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21892 CPUtime=1182.32
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5173 0 0 0 95591 22641 0 0 25 0 1 0 131736195 22417408 5050 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5473 5050 236 467 0 5004 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 21892

[startup+1242.3 s]
/proc/loadavg: 2.04 2.38 2.41 3/179 17218
/proc/meminfo: memFree=30932024/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21992 CPUtime=1242.32
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5186 0 0 0 101109 23123 0 0 25 0 1 0 131736195 22519808 5063 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5498 5063 236 467 0 5029 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 21992

[startup+1302.3 s]
/proc/loadavg: 2.01 2.31 2.38 3/179 17219
/proc/meminfo: memFree=30931112/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21992 CPUtime=1302.33
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5192 0 0 0 106627 23606 0 0 25 0 1 0 131736195 22519808 5069 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5498 5069 236 467 0 5029 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 21992

[startup+1362.3 s]
/proc/loadavg: 2.00 2.25 2.35 3/179 17220
/proc/meminfo: memFree=30930084/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=21992 CPUtime=1362.33
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5199 0 0 0 112140 24093 0 0 25 0 1 0 131736195 22519808 5076 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5498 5076 236 467 0 5029 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 21992

[startup+1422.31 s]
/proc/loadavg: 2.00 2.20 2.33 3/179 17222
/proc/meminfo: memFree=30929924/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22128 CPUtime=1422.33
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5216 0 0 0 117648 24585 0 0 25 0 1 0 131736195 22659072 5093 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5532 5093 236 467 0 5063 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 22128

[startup+1482.3 s]
/proc/loadavg: 2.00 2.16 2.31 3/179 17224
/proc/meminfo: memFree=30927408/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22128 CPUtime=1482.33
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5228 0 0 0 123187 25046 0 0 25 0 1 0 131736195 22659072 5105 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5532 5105 236 467 0 5063 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 22128

[startup+1542.3 s]
/proc/loadavg: 2.00 2.13 2.28 3/179 17226
/proc/meminfo: memFree=30926868/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22184 CPUtime=1542.33
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5238 0 0 0 128708 25525 0 0 25 0 1 0 131736195 22716416 5115 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5546 5115 236 467 0 5077 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 22184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.10 2.26 3/179 17227
/proc/meminfo: memFree=30924488/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22184 CPUtime=1602.33
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5239 0 0 0 134200 26033 0 0 25 0 1 0 131736195 22716416 5116 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5546 5116 236 467 0 5077 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 22184

[startup+1662.3 s]
/proc/loadavg: 2.00 2.08 2.25 3/179 17228
/proc/meminfo: memFree=30919124/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22312 CPUtime=1662.34
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5253 0 0 0 139717 26517 0 0 25 0 1 0 131736195 22847488 5130 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5578 5130 236 467 0 5109 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 22312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.06 2.23 3/179 17230
/proc/meminfo: memFree=30916976/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22308 CPUtime=1722.34
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5273 0 0 0 145254 26980 0 0 25 0 1 0 131736195 22843392 5150 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5577 5150 236 467 0 5108 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 22308

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.22 3/179 17232
/proc/meminfo: memFree=30914092/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22308 CPUtime=1782.34
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5275 0 0 0 150781 27453 0 0 25 0 1 0 131736195 22843392 5152 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5577 5152 236 467 0 5108 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 22308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.06 2.21 3/179 17232
/proc/meminfo: memFree=30914088/32951124 swapFree=67111528/67111528
[pid=17132] ppid=17130 vsize=22308 CPUtime=1800.05
/proc/17132/stat : 17132 (pbct) R 17130 17132 15765 0 -1 4202496 5275 0 0 0 152408 27597 0 0 25 0 1 0 131736195 22843392 5152 4089446400 134512640 136421960 4286811664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/17132/statm: 5577 5152 236 467 0 5108 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 22308

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.06
CPU user time (s): 1524.08
CPU system time (s): 275.975
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 22312

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

runsolver used 2.80357 second user time and 5.53416 second system time

The end

Launcher Data 

Begin job on node147 at 2010-06-30 15:26:51
IDJOB=2695563
IDBENCH=78919
IDSOLVER=1208
FILE ID=node147/2695563-1277904411
PBS_JOBID= 11197162
Free space on /tmp= 74200 MiB

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

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

MD5SUM BENCH= 2edeaf6035297ee59e9643c9979a8871
RANDOM SEED=54690739

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30952556 kB
Buffers:        190060 kB
Cached:        1498200 kB
SwapCached:          0 kB
Active:         645000 kB
Inactive:      1208340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30952556 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2504 kB
Writeback:           0 kB
AnonPages:      165476 kB
Mapped:          20292 kB
Slab:            81024 kB
PageTables:       4624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1656720 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= 74192 MiB
End job on node147 at 2010-06-30 15:56:53