Trace number 2695517

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.1900571761--soft-33-100-0.wbo
MD5SUM91e040f5c30df15d8a8ea402735ab864
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 benchmark465.682
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 constraints1848
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 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 713
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 8/15 clauses 851/1833 units 0
0.00/0.01	c vars 231
0.09/0.12	c 0.102984 16.8906 23 26796
0.09/0.12	o 586
0.09/0.13	c 0.104984 17.2891 25 28813
0.09/0.13	o 425
0.19/0.21	c 0.153976 17.2891 299 32037
0.19/0.21	o 394
0.19/0.28	c 0.19197 17.2891 513 33486
0.19/0.28	o 389
0.19/0.29	c 0.199969 17.2891 529 33738
0.19/0.29	o 386
0.29/0.38	c 0.254961 17.2891 753 35727
0.29/0.38	o 383
0.39/0.40	c 0.267959 17.2891 794 36327
0.39/0.40	o 363
0.39/0.41	c 0.281957 17.2891 818 37357
0.39/0.41	o 361
0.49/0.59	c 0.381941 17.4102 1313 38390
0.49/0.59	o 360
0.59/0.61	c 0.397939 17.4102 684 40396
0.59/0.61	o 344
0.59/0.64	c 0.416936 17.4102 742 41334
0.59/0.64	o 336
0.79/0.81	c 0.531919 17.4102 1185 43721
0.79/0.81	o 295
1.19/1.24	c 0.805877 17.4102 987 48226
1.19/1.24	o 280
1.29/1.38	c 0.887865 17.4102 697 49934
1.29/1.38	o 271
1.69/1.72	c 1.09783 17.4102 1639 52259
1.69/1.72	o 231
2.39/2.44	c 1.54076 17.4102 790 57439
2.39/2.44	o 230
2.49/2.54	c 1.60976 17.4102 1062 58844
2.49/2.54	o 194
3.19/3.23	c 2.03969 17.4102 897 63146
3.19/3.23	o 192
3.19/3.28	c 2.07168 17.4102 1023 63889
3.19/3.28	o 174
3.49/3.55	c 2.24666 17.4102 971 65355
3.49/3.55	o 164
4.09/4.17	c 2.6316 17.5312 1679 68006
4.09/4.17	o 159
4.30/4.33	c 2.74058 17.5312 665 69315
4.30/4.33	o 144
4.89/4.99	c 3.17252 17.5312 937 72417
4.89/4.99	o 143
4.99/5.00	c 3.18252 17.5312 1010 72645
4.99/5.00	o 137
5.40/5.44	c 3.45947 17.5312 964 75121
5.40/5.44	o 130
5.40/5.49	c 3.48647 17.5312 1050 75421
5.40/5.49	o 126
6.19/6.21	c 3.9554 17.5312 1295 78525
6.19/6.21	o 118
6.39/6.49	c 4.12837 17.5312 688 80769
6.39/6.49	o 107
6.89/6.98	c 4.43233 17.5312 1162 83281
6.89/6.98	o 81
7.29/7.39	c 4.71128 17.5312 881 85450
7.29/7.39	o 80
7.39/7.40	c 4.71528 17.5312 883 85668
7.39/7.40	o 74
7.39/7.40	c 4.71728 17.5312 883 85840
7.39/7.40	o 70
7.39/7.40	c 4.71928 17.5312 883 85969
7.39/7.40	o 68
7.39/7.41	c 4.72428 17.5312 889 86127
7.39/7.41	o 66
7.39/7.42	c 4.73328 17.5312 959 86383
7.39/7.42	o 60
7.79/7.85	c 5.04223 17.6562 1892 89646
7.79/7.85	o 52
8.19/8.29	c 5.37618 17.6562 1919 92607
8.19/8.29	o 46
8.39/8.41	c 5.46217 17.6562 1300 93518
8.39/8.41	o 40
8.99/9.08	c 6.01509 17.9023 1842 99436
8.99/9.08	o 37
9.49/9.52	c 6.36203 17.9023 1762 102823
9.49/9.52	o 36
9.49/9.56	c 6.39803 17.9023 1989 103299
9.49/9.56	o 30
9.69/9.74	c 6.53601 17.9023 1748 105281
9.69/9.74	o 28
10.89/10.99	c 7.58885 17.9023 1601 119106
10.89/10.99	o 27
13.10/13.10	c 9.29459 17.9023 2231 139899
13.10/13.10	o 20
13.59/13.68	c 9.80551 17.9023 1547 146657
13.59/13.68	o 15
13.79/13.82	c 9.92049 17.9023 2622 148429
13.79/13.82	o 12
14.79/14.84	c 10.8384 18.0273 2513 160747
14.79/14.84	o 9
15.09/15.13	c 11.0953 18.0273 2037 164453
15.09/15.13	o 7
52.80/52.88	c 45.2441 18.5273 3069 700932
52.80/52.88	o 2
208.19/208.23	c 177.827 19.5664 2538 2974627
208.19/208.23	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-2695517-1277901538/watcher-2695517-1277901538 -o /tmp/evaluation-result-2695517-1277901538/solver-2695517-1277901538 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695517-1277901538.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 4/200 12732
/proc/meminfo: memFree=31118912/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=2136 CPUtime=0
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 131449372 2187264 175 4089446400 134512640 136421960 4288309504 18446744073709551615 135818206 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12732/statm: 534 175 144 467 0 65 0

[startup+0.0826909 s]
/proc/loadavg: 1.92 1.98 1.99 4/200 12732
/proc/meminfo: memFree=31118912/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=17160 CPUtime=0.07
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 3950 0 0 0 7 0 0 0 25 0 1 0 131449372 17571840 3869 4089446400 134512640 136421960 4288309504 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4290 3869 208 467 0 3821 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17160

[startup+0.100686 s]
/proc/loadavg: 1.92 1.98 1.99 4/200 12732
/proc/meminfo: memFree=31118912/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=17292 CPUtime=0.09
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4002 0 0 0 8 1 0 0 25 0 1 0 131449372 17707008 3921 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4323 3921 213 467 0 3854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17292

[startup+0.300652 s]
/proc/loadavg: 1.92 1.98 1.99 4/200 12732
/proc/meminfo: memFree=31118912/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=17700 CPUtime=0.29
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4096 0 0 0 20 9 0 0 25 0 1 0 131449372 18124800 4010 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4425 4010 236 467 0 3956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17700

[startup+0.700575 s]
/proc/loadavg: 1.92 1.98 1.99 4/200 12732
/proc/meminfo: memFree=31118912/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=17824 CPUtime=0.69
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4118 0 0 0 45 24 0 0 25 0 1 0 131449372 18251776 4026 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4456 4026 236 467 0 3987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17824

[startup+1.50043 s]
/proc/loadavg: 1.92 1.98 1.99 3/201 12733
/proc/meminfo: memFree=31103536/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=17824 CPUtime=1.49
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4121 0 0 0 96 53 0 0 25 0 1 0 131449372 18251776 4026 4089446400 134512640 136421960 4288309504 18446744073709551615 134597618 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4456 4026 236 467 0 3987 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17824

[startup+3.10013 s]
/proc/loadavg: 1.92 1.98 1.99 3/201 12733
/proc/meminfo: memFree=31103160/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=17824 CPUtime=3.09
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4147 0 0 0 195 114 0 0 25 0 1 0 131449372 18251776 4049 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4456 4049 236 467 0 3987 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17824

[startup+6.30054 s]
/proc/loadavg: 1.93 1.98 1.99 3/201 12733
/proc/meminfo: memFree=31103168/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=17948 CPUtime=6.29
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4171 0 0 0 400 229 0 0 21 0 1 0 131449372 18378752 4063 4089446400 134512640 136421960 4288309504 18446744073709551615 135023688 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4487 4063 237 467 0 4018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17948

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/201 12733
/proc/meminfo: memFree=31102632/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=18328 CPUtime=12.69
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4300 0 0 0 898 371 0 0 20 0 1 0 131449372 18767872 4176 4089446400 134512640 136421960 4288309504 18446744073709551615 135686635 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4582 4176 237 467 0 4113 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18328

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/201 12733
/proc/meminfo: memFree=31102504/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=18712 CPUtime=25.49
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4373 0 0 0 2041 508 0 0 25 0 1 0 131449372 19161088 4244 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4678 4244 237 467 0 4209 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18712

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/201 12734
/proc/meminfo: memFree=31102564/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=18968 CPUtime=51.09
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4444 0 0 0 4362 747 0 0 25 0 1 0 131449372 19423232 4315 4089446400 134512640 136421960 4288309504 18446744073709551615 135686321 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4742 4315 237 467 0 4273 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18968

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/201 12735
/proc/meminfo: memFree=31100800/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=19584 CPUtime=102.3
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4620 0 0 0 9048 1182 0 0 25 0 1 0 131449372 20054016 4490 4089446400 134512640 136421960 4288309504 18446744073709551615 134861950 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12732/statm: 4896 4490 237 467 0 4427 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19584

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 12767
/proc/meminfo: memFree=31332932/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=19904 CPUtime=162.3
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4703 0 0 0 14158 2072 0 0 25 0 1 0 131449372 20381696 4570 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 4976 4570 237 467 0 4507 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19904

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 12769
/proc/meminfo: memFree=31161400/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=222.3
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4715 0 0 0 18889 3341 0 0 25 0 1 0 131449372 20512768 4581 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4581 237 467 0 4539 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20032

[startup+282.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 12770
/proc/meminfo: memFree=31006500/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=282.3
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4715 0 0 0 23592 4638 0 0 25 0 1 0 131449372 20512768 4581 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4581 237 467 0 4539 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20032

[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 12798
/proc/meminfo: memFree=31370796/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=342.3
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4715 0 0 0 28436 5794 0 0 25 0 1 0 131449372 20512768 4581 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4581 237 467 0 4539 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20032

[startup+402.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 12800
/proc/meminfo: memFree=31225300/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=402.31
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4715 0 0 0 33445 6786 0 0 25 0 1 0 131449372 20512768 4581 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4581 237 467 0 4539 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 20032

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 12802
/proc/meminfo: memFree=31097548/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=462.3
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4715 0 0 0 38509 7721 0 0 25 0 1 0 131449372 20512768 4581 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4581 237 467 0 4539 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20032

[startup+522.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 12804
/proc/meminfo: memFree=31014444/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=522.3
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4715 0 0 0 43561 8669 0 0 25 0 1 0 131449372 20512768 4581 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4581 237 467 0 4539 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20032

[startup+582.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 12805
/proc/meminfo: memFree=30968780/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=582.31
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4715 0 0 0 48606 9625 0 0 25 0 1 0 131449372 20512768 4581 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4581 237 467 0 4539 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20032

[startup+642.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 12806
/proc/meminfo: memFree=30915176/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20032 CPUtime=642.31
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4716 0 0 0 53642 10589 0 0 25 0 1 0 131449372 20512768 4582 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5008 4582 237 467 0 4539 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20032

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12812
/proc/meminfo: memFree=30664500/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20168 CPUtime=822.31
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4743 0 0 0 68766 13465 0 0 25 0 1 0 131449372 20652032 4609 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5042 4609 237 467 0 4573 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20168

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12813
/proc/meminfo: memFree=30587596/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20168 CPUtime=882.32
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4749 0 0 0 73811 14421 0 0 25 0 1 0 131449372 20652032 4615 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5042 4615 237 467 0 4573 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 20168

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12814
/proc/meminfo: memFree=30513424/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20168 CPUtime=942.32
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4755 0 0 0 78836 15396 0 0 25 0 1 0 131449372 20652032 4621 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5042 4621 237 467 0 4573 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20168

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12843
/proc/meminfo: memFree=31377264/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20300 CPUtime=1002.32
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4780 0 0 0 83809 16423 0 0 25 0 1 0 131449372 20787200 4646 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5075 4646 237 467 0 4606 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20300

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12845
/proc/meminfo: memFree=31312568/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20432 CPUtime=1062.33
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4804 0 0 0 88683 17550 0 0 25 0 1 0 131449372 20922368 4670 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5108 4670 237 467 0 4639 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 20432

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12847
/proc/meminfo: memFree=31283148/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20432 CPUtime=1122.33
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4812 0 0 0 93509 18724 0 0 25 0 1 0 131449372 20922368 4678 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5108 4678 237 467 0 4639 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 20432

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12848
/proc/meminfo: memFree=31276796/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20432 CPUtime=1182.32
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4815 0 0 0 98343 19889 0 0 25 0 1 0 131449372 20922368 4681 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5108 4681 237 467 0 4639 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 20432

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 12849
/proc/meminfo: memFree=31273280/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20432 CPUtime=1242.33
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4820 0 0 0 103174 21059 0 0 25 0 1 0 131449372 20922368 4686 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5108 4686 237 467 0 4639 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 20432

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12851
/proc/meminfo: memFree=31267548/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20564 CPUtime=1302.34
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4829 0 0 0 108034 22200 0 0 25 0 1 0 131449372 21057536 4695 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5141 4695 237 467 0 4672 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 20564

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 12862
/proc/meminfo: memFree=31265596/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20564 CPUtime=1362.33
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4836 0 0 0 112874 23359 0 0 25 0 1 0 131449372 21057536 4702 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5141 4702 237 467 0 4672 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 20564

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12864
/proc/meminfo: memFree=31264456/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20564 CPUtime=1422.35
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4842 0 0 0 117692 24543 0 0 25 0 1 0 131449372 21057536 4708 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5141 4708 237 467 0 4672 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 20564

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 12865
/proc/meminfo: memFree=31260224/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20564 CPUtime=1482.34
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4855 0 0 0 122550 25684 0 0 25 0 1 0 131449372 21057536 4721 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5141 4721 237 467 0 4672 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 20564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12866
/proc/meminfo: memFree=31256584/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20696 CPUtime=1542.34
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4866 0 0 0 127394 26840 0 0 25 0 1 0 131449372 21192704 4732 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5174 4732 237 467 0 4705 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 20696

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12868
/proc/meminfo: memFree=31254444/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20696 CPUtime=1602.34
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4876 0 0 0 132286 27948 0 0 25 0 1 0 131449372 21192704 4742 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5174 4742 237 467 0 4705 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 20696

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12870
/proc/meminfo: memFree=31252060/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20696 CPUtime=1662.35
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4880 0 0 0 137124 29111 0 0 25 0 1 0 131449372 21192704 4746 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5174 4746 237 467 0 4705 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 20696

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12872
/proc/meminfo: memFree=31249424/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20696 CPUtime=1722.35
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4888 0 0 0 141967 30268 0 0 25 0 1 0 131449372 21192704 4754 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5174 4754 237 467 0 4705 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 20696

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 12873
/proc/meminfo: memFree=31248028/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20696 CPUtime=1782.35
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4891 0 0 0 146811 31424 0 0 25 0 1 0 131449372 21192704 4757 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5174 4757 237 467 0 4705 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 20696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 12874
/proc/meminfo: memFree=31248024/32951124 swapFree=67111528/67111528
[pid=12732] ppid=12730 vsize=20696 CPUtime=1800.05
/proc/12732/stat : 12732 (pbct) R 12730 12732 12353 0 -1 4202496 4891 0 0 0 148241 31764 0 0 25 0 1 0 131449372 21192704 4757 4089446400 134512640 136421960 4288309504 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12732/statm: 5174 4757 237 467 0 4705 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 20696

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): 1482.41
CPU system time (s): 317.651
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.41
system time used= 317.651
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4892
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= 3
involuntary context switches= 2847

runsolver used 2.6506 second user time and 5.55616 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 14:38:58
IDJOB=2695517
IDBENCH=78891
IDSOLVER=1208
FILE ID=node135/2695517-1277901538
PBS_JOBID= 11197222
Free space on /tmp= 74140 MiB

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

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

MD5SUM BENCH= 91e040f5c30df15d8a8ea402735ab864
RANDOM SEED=1251074978

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.857
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		: 2666.857
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.857
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	: 7186.14
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.857
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.75
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.857
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.857
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.857
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31119316 kB
Buffers:        183952 kB
Cached:        1100500 kB
SwapCached:          0 kB
Active:         874012 kB
Inactive:       814340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31119316 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2064 kB
Writeback:           0 kB
AnonPages:      404076 kB
Mapped:          20256 kB
Slab:            80644 kB
PageTables:       5528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1655520 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node135 at 2010-06-30 15:09:00