Trace number 2699343

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
MD5SUM469cd609ab798a94b23843d73b73e9c6
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 benchmark340.634
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 constraints1837
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 93832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93831
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
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 5/18 clauses 865/1819 units 0
0.00/0.01	c vars 231
0.03/0.09	c 0.073988 16.8438 18 14595
0.03/0.09	o 795
0.09/0.10	c 0.073988 17.2422 21 20732
0.09/0.10	o 514
0.09/0.14	c 0.079987 17.2422 126 21287
0.09/0.14	o 513
0.09/0.15	c 0.080987 17.2422 131 21688
0.09/0.15	o 505
0.09/0.16	c 0.081987 17.2422 151 22089
0.09/0.16	o 497
0.09/0.16	c 0.082987 17.2422 171 22332
0.09/0.16	o 490
0.19/0.20	c 0.086986 17.2422 254 22628
0.19/0.20	o 488
0.19/0.24	c 0.089986 17.2422 335 23033
0.19/0.24	o 485
0.19/0.25	c 0.090986 17.2422 342 23261
0.19/0.25	o 484
0.29/0.30	c 0.095985 17.2422 478 23832
0.29/0.30	o 478
0.29/0.31	c 0.096985 17.2422 481 24323
0.29/0.31	o 465
0.29/0.31	c 0.096985 17.2422 482 26190
0.29/0.31	o 375
0.29/0.31	c 0.097985 17.2422 484 27487
0.29/0.31	o 315
0.29/0.32	c 0.098984 17.2422 488 27698
0.29/0.32	o 311
0.29/0.35	c 0.105983 17.2422 570 28466
0.29/0.35	o 282
0.39/0.48	c 0.12798 17.2422 896 29498
0.39/0.48	o 279
0.39/0.49	c 0.12998 17.2422 940 31491
0.39/0.49	o 171
0.69/0.77	c 0.167974 17.3594 721 32750
0.69/0.77	o 168
0.69/0.77	c 0.168974 17.3594 722 32874
0.69/0.77	o 166
0.69/0.77	c 0.168974 17.3594 722 33009
0.69/0.77	o 164
0.79/0.81	c 0.175973 17.3594 815 33423
0.79/0.81	o 154
1.99/2.09	c 0.449931 17.4805 1266 39117
1.99/2.09	o 150
2.39/2.48	c 0.51992 17.4805 880 41168
2.39/2.48	o 149
2.69/2.70	c 0.553915 17.4805 1238 42260
2.69/2.70	o 136
2.89/2.90	c 0.593909 17.4805 1083 43831
2.89/2.90	o 121
3.99/4.04	c 0.806877 17.6016 1032 50170
3.99/4.04	o 117
4.09/4.11	c 0.819875 17.6016 1170 50602
4.09/4.11	o 116
4.09/4.11	c 0.820875 17.6016 587 50705
4.09/4.11	o 114
4.09/4.11	c 0.821875 17.6016 589 51151
4.09/4.11	o 94
4.09/4.12	c 0.822874 17.6016 594 51889
4.09/4.12	o 61
4.19/4.26	c 0.861868 17.6016 1169 53306
4.19/4.26	o 44
4.40/4.40	c 0.925859 17.6016 1795 54619
4.40/4.40	o 39
4.59/4.60	c 1.01885 17.7266 1697 56883
4.59/4.60	o 25
4.79/4.87	c 1.16982 17.7266 1392 60679
4.79/4.87	o 14
4.89/4.98	c 1.23081 17.7266 2442 62635
4.89/4.98	o 13
5.39/5.44	c 1.49777 17.8516 2563 69798
5.39/5.44	o 12
5.50/5.56	c 1.57276 17.8516 2157 71343
5.50/5.57	o 10
7.00/7.04	c 2.48762 17.9766 2696 92691
7.00/7.04	o 9
7.39/7.42	c 2.72259 17.9766 1636 97651
7.39/7.42	o 6
10.99/11.09	c 5.07923 18.2305 2448 150627
10.99/11.09	o 4
20.09/20.16	c 11.1563 18.6172 1949 278605
20.09/20.16	o 3
22.19/22.26	c 12.6311 18.6172 2137 309514
22.19/22.26	o 2
47.99/48.03	c 30.0554 18.7461 1917 665705
47.99/48.03	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-2699343-1278460272/watcher-2699343-1278460272 -o /tmp/evaluation-result-2699343-1278460272/solver-2699343-1278460272 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699343-1278460272.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.00 1.00 0.91 2/170 12480
/proc/meminfo: memFree=30443920/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=2136 CPUtime=0
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14241926 2187264 174 4089446400 134512640 136422188 4292062224 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12480/statm: 534 174 144 467 0 65 0

[startup+0.0423839 s]
/proc/loadavg: 1.00 1.00 0.91 2/170 12480
/proc/meminfo: memFree=30443920/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=9372 CPUtime=0.03
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 2062 0 0 0 3 0 0 0 25 0 1 0 14241926 9596928 1982 4089446400 134512640 136422188 4292062224 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 2376 1987 193 467 0 1907 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9372

[startup+0.100423 s]
/proc/loadavg: 1.00 1.00 0.91 2/170 12480
/proc/meminfo: memFree=30443920/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=17652 CPUtime=0.09
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4076 0 0 0 7 2 0 0 25 0 1 0 14241926 18075648 3995 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4413 3995 236 467 0 3944 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17652

[startup+0.300378 s]
/proc/loadavg: 1.00 1.00 0.91 2/170 12480
/proc/meminfo: memFree=30443920/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=17652 CPUtime=0.29
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4090 0 0 0 9 20 0 0 25 0 1 0 14241926 18075648 4001 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4413 4001 236 467 0 3944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17652

[startup+0.700304 s]
/proc/loadavg: 1.00 1.00 0.91 2/170 12480
/proc/meminfo: memFree=30443920/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=17772 CPUtime=0.69
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4113 0 0 0 15 54 0 0 25 0 1 0 14241926 18198528 4016 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4443 4016 236 467 0 3974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17772

[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12481
/proc/meminfo: memFree=30428288/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=17772 CPUtime=1.49
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4131 0 0 0 33 116 0 0 25 0 1 0 14241926 18198528 4030 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4443 4030 236 467 0 3974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17772

[startup+3.10088 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12481
/proc/meminfo: memFree=30428320/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=17896 CPUtime=3.09
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4159 0 0 0 63 246 0 0 25 0 1 0 14241926 18325504 4054 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4474 4054 237 467 0 4005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17896

[startup+6.30031 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12481
/proc/meminfo: memFree=30427948/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=18276 CPUtime=6.29
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4276 0 0 0 201 428 0 0 25 0 1 0 14241926 18714624 4159 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4569 4159 237 467 0 4100 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18276

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12481
/proc/meminfo: memFree=30427708/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=18664 CPUtime=12.69
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4371 0 0 0 612 657 0 0 25 0 1 0 14241926 19111936 4251 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4666 4251 237 467 0 4197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18664

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12482
/proc/meminfo: memFree=30427728/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=19060 CPUtime=25.49
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4450 0 0 0 1477 1072 0 0 25 0 1 0 14241926 19517440 4328 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4765 4328 237 467 0 4296 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19060

[startup+51.1003 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12482
/proc/meminfo: memFree=30427692/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=19192 CPUtime=51.09
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4504 0 0 0 3203 1906 0 0 25 0 1 0 14241926 19652608 4381 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4798 4381 237 467 0 4329 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19192

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12484
/proc/meminfo: memFree=30427516/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=19328 CPUtime=102.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4542 0 0 0 6577 3653 0 0 25 0 1 0 14241926 19791872 4419 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4832 4419 237 467 0 4363 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19328

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12485
/proc/meminfo: memFree=30426964/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=19588 CPUtime=162.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4609 0 0 0 10582 5648 0 0 25 0 1 0 14241926 20058112 4486 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4897 4486 237 467 0 4428 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19588

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12487
/proc/meminfo: memFree=30427040/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=19716 CPUtime=222.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4638 0 0 0 14624 7606 0 0 25 0 1 0 14241926 20189184 4515 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 4929 4515 237 467 0 4460 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19716

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12488
/proc/meminfo: memFree=30426620/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20088 CPUtime=282.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4714 0 0 0 18653 9577 0 0 25 0 1 0 14241926 20570112 4591 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5022 4591 237 467 0 4553 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20088

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12490
/proc/meminfo: memFree=30426808/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20088 CPUtime=342.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4735 0 0 0 22690 11540 0 0 25 0 1 0 14241926 20570112 4612 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5022 4612 237 467 0 4553 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20088

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12492
/proc/meminfo: memFree=30426632/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20224 CPUtime=402.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4766 0 0 0 26788 13442 0 0 25 0 1 0 14241926 20709376 4643 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5056 4643 237 467 0 4587 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20224

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12493
/proc/meminfo: memFree=30426712/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20224 CPUtime=462.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4774 0 0 0 30838 15392 0 0 25 0 1 0 14241926 20709376 4651 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5056 4651 237 467 0 4587 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20224

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12495
/proc/meminfo: memFree=30426784/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20360 CPUtime=522.3
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4796 0 0 0 34871 17359 0 0 25 0 1 0 14241926 20848640 4673 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5090 4673 237 467 0 4621 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20360

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12496
/proc/meminfo: memFree=30426612/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20480 CPUtime=582.31
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4820 0 0 0 38991 19240 0 0 25 0 1 0 14241926 20971520 4697 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5120 4697 237 467 0 4651 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20480

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12507
/proc/meminfo: memFree=30425912/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20480 CPUtime=642.31
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4832 0 0 0 43079 21152 0 0 25 0 1 0 14241926 20971520 4709 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5120 4709 237 467 0 4651 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20480

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12512
/proc/meminfo: memFree=30425644/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20732 CPUtime=822.31
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4891 0 0 0 55367 26864 0 0 25 0 1 0 14241926 21229568 4768 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5183 4768 237 467 0 4714 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20732

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12513
/proc/meminfo: memFree=30425592/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20732 CPUtime=882.31
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4892 0 0 0 59438 28793 0 0 25 0 1 0 14241926 21229568 4769 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5183 4769 237 467 0 4714 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20732

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12515
/proc/meminfo: memFree=30425532/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20732 CPUtime=942.32
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4892 0 0 0 63556 30676 0 0 25 0 1 0 14241926 21229568 4769 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5183 4769 237 467 0 4714 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12517
/proc/meminfo: memFree=30425604/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20732 CPUtime=1002.32
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4892 0 0 0 67559 32673 0 0 25 0 1 0 14241926 21229568 4769 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5183 4769 237 467 0 4714 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20732

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12518
/proc/meminfo: memFree=30425680/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20732 CPUtime=1062.32
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4899 0 0 0 71574 34658 0 0 25 0 1 0 14241926 21229568 4776 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5183 4776 237 467 0 4714 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20732

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12520
/proc/meminfo: memFree=30425760/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20976 CPUtime=1122.32
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4921 0 0 0 75710 36522 0 0 25 0 1 0 14241926 21479424 4798 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5244 4798 237 467 0 4775 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20976

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12521
/proc/meminfo: memFree=30425720/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20976 CPUtime=1182.32
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4946 0 0 0 79887 38345 0 0 25 0 1 0 14241926 21479424 4823 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5244 4823 237 467 0 4775 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 20976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12523
/proc/meminfo: memFree=30425536/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=20976 CPUtime=1242.32
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4948 0 0 0 84019 40213 0 0 25 0 1 0 14241926 21479424 4825 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5244 4825 237 467 0 4775 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 20976

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12525
/proc/meminfo: memFree=30425376/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21104 CPUtime=1302.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4961 0 0 0 88096 42137 0 0 25 0 1 0 14241926 21610496 4838 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5276 4838 237 467 0 4807 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 21104

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12526
/proc/meminfo: memFree=30425316/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21104 CPUtime=1362.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4983 0 0 0 92244 43989 0 0 25 0 1 0 14241926 21610496 4860 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5276 4860 237 467 0 4807 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 21104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12528
/proc/meminfo: memFree=30425384/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21232 CPUtime=1422.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4991 0 0 0 96367 45866 0 0 25 0 1 0 14241926 21741568 4868 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5308 4868 237 467 0 4839 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 21232

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12529
/proc/meminfo: memFree=30425208/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21232 CPUtime=1482.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 4996 0 0 0 100464 47769 0 0 25 0 1 0 14241926 21741568 4873 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5308 4873 237 467 0 4839 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 21232

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12531
/proc/meminfo: memFree=30425276/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21232 CPUtime=1542.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 5003 0 0 0 104573 49660 0 0 25 0 1 0 14241926 21741568 4880 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5308 4880 237 467 0 4839 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 21232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12533
/proc/meminfo: memFree=30425356/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21232 CPUtime=1602.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 5009 0 0 0 108688 51545 0 0 25 0 1 0 14241926 21741568 4886 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5308 4886 237 467 0 4839 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 21232

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12537
/proc/meminfo: memFree=30425096/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21232 CPUtime=1662.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 5019 0 0 0 112868 53365 0 0 25 0 1 0 14241926 21741568 4896 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5308 4896 237 467 0 4839 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 21232

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12539
/proc/meminfo: memFree=30425140/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21364 CPUtime=1722.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 5021 0 0 0 117003 55230 0 0 25 0 1 0 14241926 21876736 4898 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5341 4898 237 467 0 4872 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 21364

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12540
/proc/meminfo: memFree=30424736/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21364 CPUtime=1782.33
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 5029 0 0 0 121156 57077 0 0 25 0 1 0 14241926 21876736 4906 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5341 4906 237 467 0 4872 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 21364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 0.91 2/171 12541
/proc/meminfo: memFree=30424584/32951124 swapFree=67111528/67111528
[pid=12480] ppid=12478 vsize=21364 CPUtime=1800.05
/proc/12480/stat : 12480 (pbct) R 12478 12480 12320 0 -1 4202496 5029 0 0 0 122354 57651 0 0 25 0 1 0 14241926 21876736 4906 4089446400 134512640 136422188 4292062224 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12480/statm: 5341 4906 237 467 0 4872 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 21364

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1223.54
CPU system time (s): 576.511
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21364

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

runsolver used 2.80457 second user time and 5.39118 second system time

The end

Launcher Data 

Begin job on node108 at 2010-07-07 01:51:12
IDJOB=2699343
IDBENCH=78918
IDSOLVER=1212
FILE ID=node108/2699343-1278460272
PBS_JOBID= 11233776
Free space on /tmp= 73748 MiB

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

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

MD5SUM BENCH= 469cd609ab798a94b23843d73b73e9c6
RANDOM SEED=520391334

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2681.499
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	: 5362.99
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		: 2681.499
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.75
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		: 2681.499
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		: 2681.499
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		: 2681.499
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		: 2681.499
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.69
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		: 2681.499
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		: 2681.499
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:      30444316 kB
Buffers:        110324 kB
Cached:        2199120 kB
SwapCached:          0 kB
Active:        1367024 kB
Inactive:      1003412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30444316 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:       61228 kB
Mapped:          14508 kB
Slab:            72824 kB
PageTables:       4376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   180064 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= 73744 MiB
End job on node108 at 2010-07-07 02:21:14