Trace number 2695603

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.1900573137--soft-33-100-0.wbo
MD5SUM34c2ccfe3c5c18b062797c1b5794b2d4
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 benchmark254.587
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 constraints1788
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 89002
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 89001
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 693
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 11/12 clauses 908/1776 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.083987 16.6094 20 20922
0.09/0.10	o 835
0.09/0.11	c 0.091986 16.793 25 25636
0.09/0.11	o 804
0.09/0.12	c 0.101984 16.793 33 33955
0.09/0.12	o 540
0.09/0.13	c 0.104984 16.793 36 34408
0.09/0.13	o 520
6.70/6.79	c 4.13637 17.1562 1760 1322493
6.70/6.79	o 510
6.80/6.82	c 4.15537 17.1562 933 1335356
6.80/6.82	o 481
24.59/24.69	c 15.0417 17.1562 749 5598842
24.59/24.69	o 420
24.69/24.71	c 15.0547 17.1562 758 5601177
24.69/24.71	o 410
97.69/97.75	c 59.145 17.2969 1493 23180074
97.69/97.75	o 391
98.49/98.54	c 59.6629 17.2969 917 23312058
98.49/98.54	o 386
98.49/98.55	c 59.6659 17.2969 917 23312831
98.49/98.55	o 362
98.49/98.58	c 59.6849 17.2969 936 23320586
98.49/98.58	o 349
138.69/138.71	c 84.2172 17.2969 937 31497501
138.69/138.71	o 321
139.98/140.01	c 85.0201 17.2969 1084 31555095
139.98/140.01	o 301
142.99/143.05	c 86.8768 17.2969 1106 31908342
142.99/143.05	o 294
157.30/157.37	c 95.6605 17.2969 1168 34528276
157.30/157.37	o 286
157.79/157.82	c 95.9274 17.2969 722 34604381
157.79/157.82	o 281
198.19/198.28	c 120.372 17.4219 1595 41066485
198.19/198.28	o 239
244.19/244.22	c 148.496 17.4219 714 49351642
244.19/244.22	o 235
249.99/250.01	c 152.064 17.4219 868 50107635
249.99/250.01	o 228
291.79/291.80	c 177.276 17.4219 830 57030048
291.79/291.80	o 188
294.49/294.51	c 178.919 17.4219 1332 57414913
294.49/294.51	o 187
294.49/294.58	c 178.962 17.4219 768 57415554
294.49/294.58	o 177
294.59/294.60	c 178.973 17.4219 796 57416765
294.59/294.60	o 173
294.69/294.73	c 179.056 17.4219 1011 57418187
294.69/294.73	o 172
295.90/295.99	c 179.813 17.4219 792 57457627
295.90/295.99	o 168
295.90/295.99	c 179.817 17.4219 793 57457754
295.90/295.99	o 166
295.90/296.00	c 179.82 17.4219 814 57457890
295.90/296.00	o 165
317.79/317.86	c 193.203 17.4219 950 59884938
317.79/317.86	o 149
322.89/322.98	c 196.379 17.5469 1118 60493771
322.89/322.98	o 124
323.59/323.66	c 196.809 17.5352 1251 60574715
323.59/323.66	o 118
331.39/331.41	c 201.404 17.5352 1358 60851917
331.39/331.41	o 113
358.49/358.60	c 217.325 17.5352 810 63829778
358.49/358.60	o 112
358.49/358.60	c 217.328 17.5352 811 63829990
358.49/358.60	o 106
358.60/358.63	c 217.348 17.5352 871 63830149
358.60/358.63	o 105
358.60/358.69	c 217.389 17.5352 1066 63830861
358.60/358.69	o 85
358.79/358.82	c 217.471 17.5352 733 63831605
358.79/358.82	o 81
359.00/359.09	c 217.656 17.5352 1475 63832980
359.00/359.09	o 69
359.09/359.13	c 217.687 17.5352 891 63833354
359.09/359.13	o 66
359.09/359.16	c 217.704 17.5352 969 63833757
359.09/359.16	o 52
359.40/359.41	c 217.893 17.6562 977 63835272
359.40/359.41	o 49
359.40/359.44	c 217.914 17.6562 1118 63835588
359.40/359.44	o 45
359.89/359.92	c 218.262 17.6562 2263 63839332
359.89/359.92	o 40
360.00/360.09	c 218.391 17.6562 2046 63840933
360.00/360.09	o 38
360.09/360.14	c 218.43 17.7812 2272 63841340
360.09/360.14	o 36
360.09/360.19	c 218.474 17.7812 1461 63842427
360.09/360.19	o 10
364.99/365.05	c 222.812 19.5312 1512 63899389
364.99/365.05	o 9
368.10/368.14	c 225.598 19.4531 2846 63941364
368.10/368.15	o 7
369.90/369.92	c 227.191 19.4531 2858 63965189
369.90/369.92	o 4
413.60/413.68	c 262.631 19.4531 2126 64607032
413.60/413.68	o 3
433.60/433.64	c 278.602 19.4531 2333 64912450
433.60/433.64	o 2
498.70/498.70	c 329.994 19.4531 1869 65912675
498.70/498.70	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-2695603-1277906453/watcher-2695603-1277906453 -o /tmp/evaluation-result-2695603-1277906453/solver-2695603-1277906453 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695603-1277906453.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.02 2.09 2.04 4/200 13115
/proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=2136 CPUtime=0
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 131940944 2187264 174 4089446400 134512640 136421960 4291432800 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13115/statm: 534 174 144 467 0 65 0

[startup+0.100206 s]
/proc/loadavg: 2.02 2.09 2.04 4/200 13115
/proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17004 CPUtime=0.09
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 3934 0 0 0 8 1 0 0 25 0 1 0 131940944 17412096 3853 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4251 3853 213 467 0 3782 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17004

[startup+0.201192 s]
/proc/loadavg: 2.02 2.09 2.04 4/200 13115
/proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17192 CPUtime=0.19
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4001 0 0 0 14 5 0 0 18 0 1 0 131940944 17604608 3916 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4298 3916 236 467 0 3829 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17192

[startup+0.301175 s]
/proc/loadavg: 2.02 2.09 2.04 4/200 13115
/proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17192 CPUtime=0.29
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4001 0 0 0 21 8 0 0 18 0 1 0 131940944 17604608 3916 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4298 3916 236 467 0 3829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17192

[startup+0.701098 s]
/proc/loadavg: 2.02 2.09 2.04 4/200 13115
/proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17316 CPUtime=0.69
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4017 0 0 0 44 25 0 0 18 0 1 0 131940944 17731584 3932 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4329 3932 237 467 0 3860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17316

[startup+1.50095 s]
/proc/loadavg: 2.02 2.09 2.04 3/201 13116
/proc/meminfo: memFree=30924048/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17316 CPUtime=1.49
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4029 0 0 0 93 56 0 0 19 0 1 0 131940944 17731584 3944 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4329 3944 237 467 0 3860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17316

[startup+3.10066 s]
/proc/loadavg: 2.58 2.20 2.08 3/201 13116
/proc/meminfo: memFree=30923800/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17444 CPUtime=3.09
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4041 0 0 0 188 121 0 0 24 0 1 0 131940944 17862656 3956 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4361 3956 237 467 0 3892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17444

[startup+6.30106 s]
/proc/loadavg: 2.58 2.20 2.08 3/201 13117
/proc/meminfo: memFree=30923640/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17444 CPUtime=6.29
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4046 0 0 0 381 248 0 0 25 0 1 0 131940944 17862656 3961 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4361 3961 237 467 0 3892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17444

[startup+12.7009 s]
/proc/loadavg: 2.49 2.19 2.08 3/201 13126
/proc/meminfo: memFree=30921132/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17564 CPUtime=12.69
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4093 0 0 0 770 499 0 0 25 0 1 0 131940944 17985536 4006 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4391 4006 237 467 0 3922 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17564

[startup+25.5005 s]
/proc/loadavg: 2.41 2.19 2.07 3/201 13126
/proc/meminfo: memFree=30917916/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17564 CPUtime=25.49
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4095 0 0 0 1554 995 0 0 18 0 1 0 131940944 17985536 4006 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4391 4006 237 467 0 3922 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17564

[startup+51.1008 s]
/proc/loadavg: 2.27 2.17 2.07 10/201 13127
/proc/meminfo: memFree=30908084/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17564 CPUtime=51.09
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4095 0 0 0 3106 2003 0 0 25 0 1 0 131940944 17985536 4006 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13115/statm: 4391 4006 237 467 0 3922 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17564

[startup+102.3 s]
/proc/loadavg: 2.11 2.14 2.07 3/201 13128
/proc/meminfo: memFree=30887724/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17708 CPUtime=102.29
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4116 0 0 0 6194 4035 0 0 25 0 1 0 131940944 18132992 4023 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13115/statm: 4427 4023 237 467 0 3958 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 17708

[startup+162.3 s]
/proc/loadavg: 2.16 2.14 2.07 3/201 13130
/proc/meminfo: memFree=30853960/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17708 CPUtime=162.29
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4131 0 0 0 9869 6360 0 0 25 0 1 0 131940944 18132992 4033 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13115/statm: 4427 4033 237 467 0 3958 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17708

[startup+222.306 s]
/proc/loadavg: 2.06 2.11 2.07 3/201 13131
/proc/meminfo: memFree=30836148/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17836 CPUtime=222.3
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4158 0 0 0 13501 8729 0 0 25 0 1 0 131940944 18264064 4059 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13115/statm: 4459 4059 237 467 0 3990 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 17836

[startup+282.301 s]
/proc/loadavg: 2.37 2.21 2.10 3/201 13133
/proc/meminfo: memFree=30830280/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17836 CPUtime=282.29
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4169 0 0 0 17141 11088 0 0 25 0 1 0 131940944 18264064 4068 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13115/statm: 4459 4068 237 467 0 3990 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 17836

[startup+342.301 s]
/proc/loadavg: 2.55 2.29 2.13 3/201 13135
/proc/meminfo: memFree=30824916/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=17952 CPUtime=342.29
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4198 0 0 0 20774 13455 0 0 25 0 1 0 131940944 18382848 4085 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13115/statm: 4488 4085 237 467 0 4019 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 17952

[startup+402.301 s]
/proc/loadavg: 2.43 2.28 2.14 4/204 13197
/proc/meminfo: memFree=31232788/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=402.29
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4775 0 0 0 25377 14852 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 19916

[startup+462.301 s]
/proc/loadavg: 2.75 2.40 2.18 4/204 13199
/proc/meminfo: memFree=31215112/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=462.3
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4777 0 0 0 30161 16069 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19916

[startup+522.301 s]
/proc/loadavg: 2.90 2.50 2.23 4/204 13200
/proc/meminfo: memFree=31204496/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=522.3
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 34852 17378 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19916

[startup+582.3 s]
/proc/loadavg: 2.84 2.56 2.27 4/204 13202
/proc/meminfo: memFree=31196012/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=582.3
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 39628 18602 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 19916

[startup+642.3 s]
/proc/loadavg: 3.14 2.72 2.34 4/204 13204
/proc/meminfo: memFree=31181940/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=642.3
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 44410 19820 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 19916

[startup+702.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.91 2.83 2.47 4/204 13210
/proc/meminfo: memFree=31146232/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=882.32
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 63516 24716 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 19916

[startup+942.301 s]
/proc/loadavg: 2.89 2.84 2.49 4/204 13212
/proc/meminfo: memFree=31130956/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=942.31
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 68294 25937 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 19916

[startup+1002.3 s]
/proc/loadavg: 2.85 2.84 2.51 4/204 13213
/proc/meminfo: memFree=31121340/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=1002.31
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 73062 27169 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 19916

[startup+1062.3 s]
/proc/loadavg: 2.94 2.86 2.54 4/204 13215
/proc/meminfo: memFree=31112596/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=1062.32
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 77950 28282 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 19916

[startup+1122.3 s]
/proc/loadavg: 3.03 2.89 2.56 4/204 13216
/proc/meminfo: memFree=31105948/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=1122.32
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 82812 29420 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 19916

[startup+1182.3 s]
/proc/loadavg: 2.84 2.86 2.57 4/204 13218
/proc/meminfo: memFree=31099416/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=1182.33
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 87587 30646 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4601 237 467 0 4510 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 19916

[startup+1242.3 s]
/proc/loadavg: 3.04 2.93 2.61 4/204 13220
/proc/meminfo: memFree=31093028/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=19916 CPUtime=1242.32
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4779 0 0 0 92398 31834 0 0 25 0 1 0 131940944 20393984 4602 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 4979 4602 237 467 0 4510 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 19916

[startup+1302.3 s]
/proc/loadavg: 2.90 2.90 2.62 4/204 13221
/proc/meminfo: memFree=31086908/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20048 CPUtime=1302.32
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4796 0 0 0 97178 33054 0 0 25 0 1 0 131940944 20529152 4619 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5012 4619 237 467 0 4543 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 20048

[startup+1362.3 s]
/proc/loadavg: 2.55 2.81 2.61 3/183 13253
/proc/meminfo: memFree=31373772/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20176 CPUtime=1362.33
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4802 0 0 0 101958 34275 0 0 25 0 1 0 131940944 20660224 4625 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5044 4625 237 467 0 4575 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 20176

[startup+1422.3 s]
/proc/loadavg: 2.20 2.66 2.57 3/183 13254
/proc/meminfo: memFree=31332756/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20176 CPUtime=1422.33
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4825 0 0 0 106692 35541 0 0 25 0 1 0 131940944 20660224 4648 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5044 4648 237 467 0 4575 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 20176

[startup+1482.3 s]
/proc/loadavg: 2.07 2.54 2.53 3/183 13256
/proc/meminfo: memFree=31328988/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20176 CPUtime=1482.33
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4829 0 0 0 111469 36764 0 0 25 0 1 0 131940944 20660224 4652 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5044 4652 237 467 0 4575 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 20176

[startup+1542.31 s]
/proc/loadavg: 2.02 2.44 2.50 3/183 13258
/proc/meminfo: memFree=31323252/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20308 CPUtime=1542.34
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4839 0 0 0 116235 37999 0 0 25 0 1 0 131940944 20795392 4662 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5077 4662 237 467 0 4608 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 20308

[startup+1602.3 s]
/proc/loadavg: 2.09 2.37 2.47 3/183 13259
/proc/meminfo: memFree=31319140/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20308 CPUtime=1602.34
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4852 0 0 0 121004 39230 0 0 25 0 1 0 131940944 20795392 4675 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5077 4675 237 467 0 4608 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 20308

[startup+1662.3 s]
/proc/loadavg: 2.03 2.30 2.43 3/183 13261
/proc/meminfo: memFree=31317616/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20308 CPUtime=1662.34
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4855 0 0 0 125743 40491 0 0 25 0 1 0 131940944 20795392 4678 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5077 4678 237 467 0 4608 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 20308

[startup+1722.3 s]
/proc/loadavg: 2.01 2.24 2.41 3/183 13262
/proc/meminfo: memFree=31316472/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20308 CPUtime=1722.34
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4860 0 0 0 130474 41760 0 0 25 0 1 0 131940944 20795392 4683 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5077 4683 237 467 0 4608 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 20308

[startup+1782.3 s]
/proc/loadavg: 2.00 2.20 2.38 3/183 13264
/proc/meminfo: memFree=31315332/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20308 CPUtime=1782.34
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4864 0 0 0 135231 43003 0 0 25 0 1 0 131940944 20795392 4687 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5077 4687 237 467 0 4608 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 20308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.19 2.37 3/183 13264
/proc/meminfo: memFree=31314828/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20308 CPUtime=1800.05
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4867 0 0 0 136644 43361 0 0 25 0 1 0 131940944 20795392 4690 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5077 4690 237 467 0 4608 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 20308

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.19 2.37 3/183 13264
/proc/meminfo: memFree=31314828/32951124 swapFree=67111528/67111528
[pid=13115] ppid=13113 vsize=20308 CPUtime=1800.05
/proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4867 0 0 0 136644 43361 0 0 25 0 1 0 131940944 20795392 4690 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/13115/statm: 5077 4690 237 467 0 4608 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 20308

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

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

runsolver used 3.2565 second user time and 6.38703 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 16:00:53
IDJOB=2695603
IDBENCH=78939
IDSOLVER=1208
FILE ID=node135/2695603-1277906453
PBS_JOBID= 11197225
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.1900573137--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695603-1277906453/watcher-2695603-1277906453 -o /tmp/evaluation-result-2695603-1277906453/solver-2695603-1277906453 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695603-1277906453.wbo

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

MD5SUM BENCH= 34c2ccfe3c5c18b062797c1b5794b2d4
RANDOM SEED=1616926170

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:      30939580 kB
Buffers:        188220 kB
Cached:        1100708 kB
SwapCached:          0 kB
Active:        1049232 kB
Inactive:       818376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30939580 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:      578028 kB
Mapped:          20504 kB
Slab:            80676 kB
PageTables:       5692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1659380 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 16:30:55