Trace number 2699419

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.03 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo
MD5SUMcb2e0a6db987ecdc06dc4066ca6b4222
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark584.43
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 717
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 6/17 clauses 897/1787 units 0
0.00/0.01	c vars 231
0.04/0.08	c 0.072988 16.7109 5 6965
0.04/0.08	o 565
0.04/0.09	c 0.079987 17.1016 39 8131
0.04/0.09	o 562
0.09/0.10	c 0.079987 17.1016 71 8775
0.09/0.10	o 537
0.09/0.11	c 0.081987 17.1016 72 10247
0.09/0.11	o 462
0.09/0.11	c 0.081987 17.1016 74 11663
0.09/0.11	o 393
0.09/0.13	c 0.089986 17.1016 171 12270
0.09/0.13	o 377
0.09/0.17	c 0.100984 17.1016 236 12692
0.09/0.17	o 371
0.19/0.20	c 0.104984 17.1016 312 13500
0.19/0.20	o 343
0.19/0.28	c 0.124981 17.1016 526 14245
0.19/0.28	o 342
0.29/0.31	c 0.132979 17.1016 629 14943
0.29/0.31	o 321
0.29/0.32	c 0.133979 17.1016 634 15206
0.29/0.32	o 313
0.29/0.39	c 0.144977 17.1016 862 16328
0.29/0.39	o 286
0.59/0.64	c 0.200969 17.2266 937 18315
0.59/0.64	o 269
0.69/0.77	c 0.224965 17.2266 648 19462
0.69/0.77	o 263
0.79/0.87	c 0.236963 17.2266 894 20508
0.79/0.87	o 251
0.89/0.90	c 0.242963 17.2266 978 20910
0.89/0.90	o 244
0.89/0.95	c 0.245962 17.2266 1105 21608
0.89/0.95	o 233
1.29/1.37	c 0.319951 17.2266 990 24660
1.29/1.37	o 217
1.49/1.52	c 0.337948 17.2266 762 25962
1.49/1.52	o 199
1.99/2.03	c 0.437933 17.2266 820 29005
1.99/2.03	o 188
2.79/2.82	c 0.573912 17.2266 996 33985
2.79/2.82	o 173
3.39/3.45	c 0.732888 17.6094 1140 37682
3.39/3.45	o 165
3.99/4.00	c 0.835872 17.6094 727 40738
3.99/4.00	o 163
3.99/4.02	c 0.837872 17.6094 759 41667
3.99/4.02	o 118
4.89/4.90	c 1.02484 17.6094 1069 45384
4.89/4.90	o 107
6.90/6.92	c 1.68074 17.6094 906 54270
6.90/6.92	o 95
7.49/7.52	c 1.91471 17.6094 1184 58696
7.49/7.52	o 91
7.49/7.57	c 1.92771 17.6094 703 59240
7.49/7.57	o 76
7.99/8.02	c 2.08568 17.6094 1118 61793
7.99/8.02	o 68
8.19/8.29	c 2.19067 17.6094 1112 63579
8.19/8.29	o 63
8.59/8.67	c 2.34264 17.6094 1672 66071
8.59/8.67	o 61
9.59/9.66	c 2.79157 17.7344 2004 73489
9.59/9.66	o 60
14.00/14.00	c 4.85226 17.7344 1646 104263
14.00/14.00	o 56
16.50/16.53	c 6.13907 18.1172 2082 124960
16.50/16.53	o 55
16.50/16.55	c 6.15606 18.1172 1195 125501
16.50/16.55	o 43
19.69/19.74	c 7.8818 18.2461 1287 155619
19.69/19.74	o 22
20.10/20.16	c 8.15376 18.2461 1982 160844
20.10/20.16	o 17
27.59/27.66	c 13.379 18.3477 2199 260476
27.59/27.66	o 15
36.89/36.99	c 19.94 18.3477 1980 396289
36.89/36.99	o 14
57.59/57.69	c 34.5357 18.3477 2357 680555
57.59/57.69	o 12
65.19/65.29	c 39.9649 18.3477 2367 784926
65.19/65.29	o 7
93.40/93.50	c 61.3777 18.9922 2917 1181424
93.40/93.50	o 3
1800.02/1800.00	s SATISFIABLE
1800.02/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	3

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699419-1278461052/watcher-2699419-1278461052 -o /tmp/evaluation-result-2699419-1278461052/solver-2699419-1278461052 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699419-1278461052.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12057
/proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=2136 CPUtime=0
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 14318312 2187264 175 4089446400 134512640 136422188 4294805248 18446744073709551615 135642115 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12057/statm: 534 175 144 467 0 65 0

[startup+0.0456829 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12057
/proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=10556 CPUtime=0.04
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 2284 0 0 0 4 0 0 0 21 0 1 0 14318312 10809344 2203 4089446400 134512640 136422188 4294805248 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 2639 2208 193 467 0 2170 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10556

[startup+0.100674 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12057
/proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=17508 CPUtime=0.09
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4049 0 0 0 7 2 0 0 21 0 1 0 14318312 17928192 3966 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4377 3966 236 467 0 3908 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17508

[startup+0.300638 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12057
/proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=17508 CPUtime=0.29
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4057 0 0 0 12 17 0 0 21 0 1 0 14318312 17928192 3967 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4377 3967 237 467 0 3908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17508

[startup+0.700579 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12057
/proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=17636 CPUtime=0.69
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4077 0 0 0 21 48 0 0 22 0 1 0 14318312 18059264 3983 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4409 3983 237 467 0 3940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17636

[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12058
/proc/meminfo: memFree=29756120/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=17636 CPUtime=1.49
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4087 0 0 0 33 116 0 0 25 0 1 0 14318312 18059264 3988 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4409 3988 237 467 0 3940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17636

[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12059
/proc/meminfo: memFree=29755624/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=17896 CPUtime=3.09
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4160 0 0 0 64 245 0 0 25 0 1 0 14318312 18325504 4058 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4474 4058 237 467 0 4005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17896

[startup+6.30058 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12087
/proc/meminfo: memFree=29956296/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=18028 CPUtime=6.29
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4197 0 0 0 146 483 0 0 25 0 1 0 14318312 18460672 4091 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4507 4091 237 467 0 4038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18028

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12087
/proc/meminfo: memFree=29956456/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=18156 CPUtime=12.69
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4248 0 0 0 425 844 0 0 25 0 1 0 14318312 18591744 4135 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4539 4135 237 467 0 4070 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18156

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12087
/proc/meminfo: memFree=29956660/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=18784 CPUtime=25.49
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4395 0 0 0 1185 1364 0 0 25 0 1 0 14318312 19234816 4277 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4696 4277 237 467 0 4227 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18784

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12087
/proc/meminfo: memFree=29955804/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=18784 CPUtime=51.09
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4397 0 0 0 2979 2130 0 0 25 0 1 0 14318312 19234816 4277 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4696 4277 237 467 0 4227 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18784

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12089
/proc/meminfo: memFree=29954908/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=19572 CPUtime=102.29
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4595 0 0 0 6835 3394 0 0 25 0 1 0 14318312 20041728 4472 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4893 4472 237 467 0 4424 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 19572

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12091
/proc/meminfo: memFree=29954240/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=19960 CPUtime=162.29
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4694 0 0 0 11553 4676 0 0 25 0 1 0 14318312 20439040 4571 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 4990 4571 237 467 0 4521 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19960

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12092
/proc/meminfo: memFree=29954300/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=20128 CPUtime=222.29
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4757 0 0 0 16259 5970 0 0 25 0 1 0 14318312 20611072 4628 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5032 4628 237 467 0 4563 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20128

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12093
/proc/meminfo: memFree=29954264/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=20388 CPUtime=282.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4818 0 0 0 20979 7251 0 0 25 0 1 0 14318312 20877312 4689 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5097 4689 237 467 0 4628 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20388

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12095
/proc/meminfo: memFree=29954208/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=20612 CPUtime=342.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4860 0 0 0 25735 8495 0 0 25 0 1 0 14318312 21106688 4730 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5153 4730 237 467 0 4684 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20612

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12097
/proc/meminfo: memFree=29954164/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=20608 CPUtime=402.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4877 0 0 0 30476 9754 0 0 25 0 1 0 14318312 21102592 4745 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5152 4745 237 467 0 4683 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20608

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12099
/proc/meminfo: memFree=29953856/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=20748 CPUtime=462.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4931 0 0 0 35211 11019 0 0 25 0 1 0 14318312 21245952 4783 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5187 4783 237 467 0 4718 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20748

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12100
/proc/meminfo: memFree=29953936/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=20876 CPUtime=522.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4949 0 0 0 39935 12295 0 0 25 0 1 0 14318312 21377024 4801 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5219 4801 237 467 0 4750 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20876

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12101
/proc/meminfo: memFree=29953620/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=20980 CPUtime=582.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5043 0 0 0 44714 13516 0 0 25 0 1 0 14318312 21483520 4841 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5245 4841 237 467 0 4776 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20980

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12103
/proc/meminfo: memFree=29953568/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21100 CPUtime=642.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5070 0 0 0 49459 14772 0 0 25 0 1 0 14318312 21606400 4868 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5275 4868 237 467 0 4806 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21100

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12108
/proc/meminfo: memFree=29952792/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21372 CPUtime=822.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5140 0 0 0 63707 18524 0 0 25 0 1 0 14318312 21884928 4938 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5343 4938 237 467 0 4874 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 21372

[startup+882.301 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 12112
/proc/meminfo: memFree=29951720/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21384 CPUtime=882.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5162 0 0 0 68487 19744 0 0 25 0 1 0 14318312 21897216 4942 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5346 4942 237 467 0 4877 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 21384

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 12114
/proc/meminfo: memFree=29951488/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21440 CPUtime=942.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5182 0 0 0 73241 20989 0 0 25 0 1 0 14318312 21954560 4949 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5360 4949 237 467 0 4891 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 21440

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12116
/proc/meminfo: memFree=29951692/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21440 CPUtime=1002.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5182 0 0 0 77972 22259 0 0 25 0 1 0 14318312 21954560 4949 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5360 4949 237 467 0 4891 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 21440

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12118
/proc/meminfo: memFree=29951640/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21440 CPUtime=1062.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5182 0 0 0 82628 23603 0 0 25 0 1 0 14318312 21954560 4949 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5360 4949 237 467 0 4891 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21440

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12173
/proc/meminfo: memFree=27112604/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21692 CPUtime=1122.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5244 0 0 0 87311 24919 0 0 25 0 1 0 14318312 22212608 4991 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5423 4991 237 467 0 4954 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 21692

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12174
/proc/meminfo: memFree=26988076/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21740 CPUtime=1182.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5295 0 0 0 91848 26383 0 0 25 0 1 0 14318312 22261760 5019 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5435 5019 237 467 0 4966 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 21740

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12176
/proc/meminfo: memFree=26983680/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21824 CPUtime=1242.3
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5323 0 0 0 96342 27888 0 0 25 0 1 0 14318312 22347776 5042 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5456 5042 237 467 0 4987 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 21824

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12178
/proc/meminfo: memFree=26980036/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21844 CPUtime=1302.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5349 0 0 0 100869 29362 0 0 25 0 1 0 14318312 22368256 5051 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5461 5051 237 467 0 4992 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 21844

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 12180
/proc/meminfo: memFree=26977232/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21972 CPUtime=1362.31
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5377 0 0 0 105327 30904 0 0 25 0 1 0 14318312 22499328 5079 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5493 5079 237 467 0 5024 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 21972

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 12181
/proc/meminfo: memFree=26975684/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21972 CPUtime=1422.32
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5379 0 0 0 109859 32373 0 0 25 0 1 0 14318312 22499328 5081 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5493 5081 237 467 0 5024 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 21972

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 12182
/proc/meminfo: memFree=26974508/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=21972 CPUtime=1482.32
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5381 0 0 0 114374 33858 0 0 25 0 1 0 14318312 22499328 5083 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5493 5083 237 467 0 5024 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 21972

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 12184
/proc/meminfo: memFree=26973328/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=22076 CPUtime=1542.32
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5389 0 0 0 118891 35341 0 0 25 0 1 0 14318312 22605824 5091 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5519 5091 237 467 0 5050 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 22076

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 12186
/proc/meminfo: memFree=26972424/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=22076 CPUtime=1602.32
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5391 0 0 0 123384 36848 0 0 25 0 1 0 14318312 22605824 5093 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5519 5093 237 467 0 5050 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 22076

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12188
/proc/meminfo: memFree=26971740/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=22076 CPUtime=1662.32
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5391 0 0 0 127891 38341 0 0 25 0 1 0 14318312 22605824 5093 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5519 5093 237 467 0 5050 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 22076

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12189
/proc/meminfo: memFree=26970692/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=22076 CPUtime=1722.32
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5400 0 0 0 132399 39833 0 0 25 0 1 0 14318312 22605824 5102 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12057/statm: 5519 5102 237 467 0 5050 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 22076

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12190
/proc/meminfo: memFree=26969520/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=22076 CPUtime=1782.32
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5409 0 0 0 136918 41314 0 0 25 0 1 0 14318312 22605824 5111 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5519 5111 237 467 0 5050 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 22076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12191
/proc/meminfo: memFree=26968880/32951124 swapFree=67111528/67111528
[pid=12057] ppid=12055 vsize=22076 CPUtime=1800.02
/proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5410 0 0 0 138243 41759 0 0 25 0 1 0 14318312 22605824 5112 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12057/statm: 5519 5112 237 467 0 5050 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22076

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.03
CPU user time (s): 1382.44
CPU system time (s): 417.599
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22100

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

runsolver used 2.55161 second user time and 5.64114 second system time

The end

Launcher Data 

Begin job on node136 at 2010-07-07 02:04:12
IDJOB=2699419
IDBENCH=78956
IDSOLVER=1212
FILE ID=node136/2699419-1278461052
PBS_JOBID= 11233721
Free space on /tmp= 73820 MiB

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

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

MD5SUM BENCH= cb2e0a6db987ecdc06dc4066ca6b4222
RANDOM SEED=497687041

node136.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.834
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.66
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.834
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	: 5332.82
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.834
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.74
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.834
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.82
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.834
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	: 5426.48
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.834
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.834
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.67
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.834
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29771776 kB
Buffers:        105824 kB
Cached:        2659948 kB
SwapCached:          0 kB
Active:         730212 kB
Inactive:      2310468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29771776 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2076 kB
Writeback:           0 kB
AnonPages:      274952 kB
Mapped:          15448 kB
Slab:            73228 kB
PageTables:       5604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   417268 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= 73804 MiB
End job on node136 at 2010-07-07 02:34:14