Trace number 2699413

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo
MD5SUM9fdf6a24194e0c0ae14212c193866ebe
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 benchmark403.22
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 constraints1830
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 92327
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92326
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
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 7/16 clauses 870/1814 units 0
0.00/0.01	c vars 231
0.04/0.08	c 0.085986 16.8281 1 3767
0.04/0.08	o 550
0.04/0.09	c 0.089986 17.2266 2 5592
0.04/0.09	o 540
0.04/0.09	c 0.091986 17.2266 2 7268
0.04/0.09	o 461
0.09/0.14	c 0.118981 17.2266 104 8801
0.09/0.14	o 405
0.09/0.14	c 0.124981 17.2266 110 9405
0.09/0.14	o 391
0.09/0.15	c 0.12798 17.2266 118 10118
0.09/0.15	o 357
0.09/0.16	c 0.134979 17.2266 135 10297
0.09/0.16	o 354
0.59/0.68	c 0.462929 17.3477 1332 13259
0.59/0.68	o 351
0.79/0.87	c 0.577912 17.3477 1026 14484
0.79/0.87	o 346
0.79/0.87	c 0.582911 17.3477 1047 14870
0.79/0.87	o 334
0.89/0.90	c 0.602908 17.3477 1166 15519
0.89/0.90	o 320
0.89/0.98	c 0.6539 17.3477 789 16585
0.89/0.98	o 304
0.89/0.99	c 0.658899 17.3477 793 16741
0.89/0.99	o 303
1.00/1.00	c 0.667898 17.3477 814 17060
1.00/1.00	o 299
1.00/1.05	c 0.692894 17.3477 915 17686
1.00/1.05	o 285
1.00/1.06	c 0.700893 17.3477 928 18467
1.00/1.06	o 249
1.09/1.15	c 0.752885 17.3477 1166 19285
1.09/1.15	o 236
1.29/1.38	c 0.895863 17.3477 1046 20457
1.29/1.38	o 233
1.39/1.46	c 0.940856 17.3477 1240 21053
1.39/1.46	o 228
1.39/1.48	c 0.951855 17.3477 647 21424
1.39/1.48	o 215
1.59/1.63	c 1.05984 17.3477 1090 22620
1.59/1.63	o 213
1.69/1.71	c 1.09583 17.3477 671 23114
1.69/1.71	o 211
2.29/2.30	c 1.46678 17.3477 1178 25734
2.29/2.30	o 207
2.70/2.77	c 1.74973 17.3477 826 28230
2.70/2.77	o 198
3.19/3.28	c 2.04769 17.3477 1167 30656
3.19/3.28	o 190
4.59/4.61	c 2.87456 17.5859 1384 37013
4.59/4.61	o 169
4.79/4.85	c 3.01854 17.5859 639 38378
4.79/4.85	o 167
4.99/5.07	c 3.14952 17.5859 1095 39915
4.99/5.07	o 159
5.29/5.37	c 3.35749 17.5859 1184 41644
5.29/5.37	o 142
5.49/5.57	c 3.46847 17.5859 1031 42736
5.49/5.57	o 141
5.99/6.04	c 3.77043 17.5859 739 45055
5.99/6.04	o 127
6.19/6.24	c 3.90941 17.5859 1126 46031
6.19/6.24	o 124
6.50/6.55	c 4.11937 17.5859 1184 47389
6.50/6.55	o 112
6.89/6.98	c 4.40033 17.5859 980 49651
6.89/6.98	o 97
7.09/7.15	c 4.50731 17.5859 677 50362
7.09/7.15	o 94
7.19/7.29	c 4.6013 17.5859 1036 51158
7.19/7.29	o 88
9.90/9.92	c 6.34803 17.5859 1494 62614
9.90/9.92	o 80
11.79/11.82	c 7.67083 17.8359 1335 71364
11.79/11.82	o 78
12.39/12.46	c 8.09577 17.8359 1147 74505
12.39/12.46	o 63
13.20/13.23	c 8.66368 18.2227 1172 78782
13.20/13.23	o 62
13.20/13.25	c 8.67668 18.2227 1225 78924
13.20/13.25	o 60
14.69/14.73	c 9.75252 18.2227 1278 86772
14.69/14.73	o 55
15.40/15.43	c 10.2654 18.2227 1885 91187
15.40/15.43	o 50
15.59/15.69	c 10.4424 18.2227 2014 93445
15.59/15.69	o 37
17.69/17.79	c 12.1342 19.125 2478 112493
17.69/17.79	o 35
19.19/19.25	c 13.328 19.125 2216 126196
19.19/19.25	o 33
21.60/21.68	c 15.2787 19.125 2268 151077
21.60/21.68	o 29
22.09/22.19	c 15.7046 19.125 1646 156376
22.09/22.19	o 22
24.40/24.44	c 17.5813 19.125 2443 182048
24.40/24.44	o 11
26.79/26.80	c 19.656 19.125 1758 212424
26.79/26.80	o 10
27.09/27.10	c 19.927 19.125 2973 216619
27.09/27.10	o 8
32.29/32.39	c 24.6453 19.125 2668 293149
32.29/32.39	o 7
33.49/33.59	c 25.7001 19.125 2910 309910
33.49/33.59	o 5
35.69/35.77	c 27.6718 19.125 2461 334598
35.69/35.77	o 4
35.79/35.81	c 27.7108 19.125 2754 335015
35.79/35.81	o 2
61.09/61.11	c 50.3833 19.125 2273 667940
61.09/61.11	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-2699413-1278461051/watcher-2699413-1278461051 -o /tmp/evaluation-result-2699413-1278461051/solver-2699413-1278461051 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699413-1278461051.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.90 4/178 15139
/proc/meminfo: memFree=29107320/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=2136 CPUtime=0
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14317617 2187264 174 4089446400 134512640 136422188 4289785680 18446744073709551615 135372805 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15139/statm: 534 174 144 467 0 65 0

[startup+0.0445379 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 15139
/proc/meminfo: memFree=29107320/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=9200 CPUtime=0.04
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 1996 0 0 0 4 0 0 0 25 0 1 0 14317617 9420800 1916 4089446400 134512640 136422188 4289785680 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 2300 1923 193 467 0 1831 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9200

[startup+0.100537 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 15139
/proc/meminfo: memFree=29107320/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=17636 CPUtime=0.09
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4074 0 0 0 9 0 0 0 25 0 1 0 14317617 18059264 3991 4089446400 134512640 136422188 4289785680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4409 3991 236 467 0 3940 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17636

[startup+0.300494 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 15139
/proc/meminfo: memFree=29107320/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=17636 CPUtime=0.29
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4079 0 0 0 22 7 0 0 25 0 1 0 14317617 18059264 3992 4089446400 134512640 136422188 4289785680 18446744073709551615 134862056 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4409 3992 237 467 0 3940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17636

[startup+0.700417 s]
/proc/loadavg: 1.92 1.98 1.90 4/178 15139
/proc/meminfo: memFree=29107320/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=17760 CPUtime=0.69
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4102 0 0 0 47 22 0 0 25 0 1 0 14317617 18186240 4014 4089446400 134512640 136422188 4289785680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4440 4014 237 467 0 3971 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17760

[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 15140
/proc/meminfo: memFree=29092424/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=17760 CPUtime=1.49
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4120 0 0 0 96 53 0 0 25 0 1 0 14317617 18186240 4020 4089446400 134512640 136422188 4289785680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4440 4020 237 467 0 3971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17760

[startup+3.10098 s]
/proc/loadavg: 1.92 1.98 1.90 4/180 15141
/proc/meminfo: memFree=29113284/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=17760 CPUtime=3.09
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4133 0 0 0 194 115 0 0 25 0 1 0 14317617 18186240 4029 4089446400 134512640 136422188 4289785680 18446744073709551615 135006510 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4440 4029 237 467 0 3971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17760

[startup+6.30039 s]
/proc/loadavg: 1.85 1.97 1.90 4/179 15168
/proc/meminfo: memFree=29252308/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=18004 CPUtime=6.29
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4199 0 0 0 395 234 0 0 25 0 1 0 14317617 18436096 4087 4089446400 134512640 136422188 4289785680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4501 4087 237 467 0 4032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18004

[startup+12.7002 s]
/proc/loadavg: 1.86 1.97 1.90 4/179 15168
/proc/meminfo: memFree=29251344/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=18260 CPUtime=12.69
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4262 0 0 0 826 443 0 0 18 0 1 0 14317617 18698240 4143 4089446400 134512640 136422188 4289785680 18446744073709551615 135021107 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4565 4143 237 467 0 4096 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18260

[startup+25.5009 s]
/proc/loadavg: 1.96 1.98 1.91 4/179 15169
/proc/meminfo: memFree=29251180/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=19580 CPUtime=25.49
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4591 0 0 0 1850 699 0 0 25 0 1 0 14317617 20049920 4462 4089446400 134512640 136422188 4289785680 18446744073709551615 134862264 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4895 4462 237 467 0 4426 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19580

[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.91 4/179 15170
/proc/meminfo: memFree=29251256/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=19580 CPUtime=51.09
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4597 0 0 0 4144 965 0 0 25 0 1 0 14317617 20049920 4462 4089446400 134512640 136422188 4289785680 18446744073709551615 135022105 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4895 4462 237 467 0 4426 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19580

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.91 4/179 15171
/proc/meminfo: memFree=29250572/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=19580 CPUtime=102.29
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4598 0 0 0 8735 1494 0 0 25 0 1 0 14317617 20049920 4462 4089446400 134512640 136422188 4289785680 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4895 4462 237 467 0 4426 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 19580

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 4/179 15172
/proc/meminfo: memFree=29250144/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=19712 CPUtime=162.3
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4630 0 0 0 14136 2094 0 0 25 0 1 0 14317617 20185088 4494 4089446400 134512640 136422188 4289785680 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4928 4494 237 467 0 4459 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19712

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 4/179 15174
/proc/meminfo: memFree=29249832/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=19844 CPUtime=222.3
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4663 0 0 0 19548 2682 0 0 25 0 1 0 14317617 20320256 4527 4089446400 134512640 136422188 4289785680 18446744073709551615 134862236 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4961 4527 237 467 0 4492 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19844

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 15176
/proc/meminfo: memFree=29249528/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=19972 CPUtime=282.3
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4704 0 0 0 24967 3263 0 0 25 0 1 0 14317617 20451328 4568 4089446400 134512640 136422188 4289785680 18446744073709551615 135022117 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 4993 4568 237 467 0 4524 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19972

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 4/179 15178
/proc/meminfo: memFree=29249592/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20104 CPUtime=342.3
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4748 0 0 0 30376 3854 0 0 25 0 1 0 14317617 20586496 4612 4089446400 134512640 136422188 4289785680 18446744073709551615 135022111 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5026 4612 237 467 0 4557 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20104

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 4/179 15179
/proc/meminfo: memFree=29249156/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20236 CPUtime=402.3
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4770 0 0 0 35778 4452 0 0 25 0 1 0 14317617 20721664 4634 4089446400 134512640 136422188 4289785680 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5059 4634 237 467 0 4590 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20236

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 15180
/proc/meminfo: memFree=29249236/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20236 CPUtime=462.3
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4788 0 0 0 41207 5023 0 0 25 0 1 0 14317617 20721664 4652 4089446400 134512640 136422188 4289785680 18446744073709551615 134862270 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5059 4652 237 467 0 4590 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20236

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.91 4/179 15182
/proc/meminfo: memFree=29249044/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20372 CPUtime=522.31
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4801 0 0 0 46601 5630 0 0 25 0 1 0 14317617 20860928 4665 4089446400 134512640 136422188 4289785680 18446744073709551615 134862270 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5093 4665 237 467 0 4624 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20372

[startup+582.3 s]
/proc/loadavg: 2.13 2.02 1.92 4/179 15184
/proc/meminfo: memFree=29248608/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20500 CPUtime=582.31
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4837 0 0 0 52019 6212 0 0 25 0 1 0 14317617 20992000 4701 4089446400 134512640 136422188 4289785680 18446744073709551615 134872988 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5125 4701 237 467 0 4656 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20500

[startup+642.3 s]
/proc/loadavg: 2.05 2.01 1.92 4/179 15186
/proc/meminfo: memFree=29248784/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20500 CPUtime=642.32
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4840 0 0 0 57452 6780 0 0 25 0 1 0 14317617 20992000 4704 4089446400 134512640 136422188 4289785680 18446744073709551615 135032930 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5125 4704 237 467 0 4656 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 20500

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 15190
/proc/meminfo: memFree=29248212/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20760 CPUtime=822.32
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4890 0 0 0 73722 8510 0 0 25 0 1 0 14317617 21258240 4754 4089446400 134512640 136422188 4289785680 18446744073709551615 135032342 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5190 4754 237 467 0 4721 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 20760

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 15195
/proc/meminfo: memFree=29247148/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20760 CPUtime=882.31
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4903 0 0 0 79165 9066 0 0 25 0 1 0 14317617 21258240 4767 4089446400 134512640 136422188 4289785680 18446744073709551615 134641304 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5190 4767 237 467 0 4721 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20760

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 15197
/proc/meminfo: memFree=29247008/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20760 CPUtime=942.32
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4915 0 0 0 84610 9622 0 0 25 0 1 0 14317617 21258240 4779 4089446400 134512640 136422188 4289785680 18446744073709551615 134862616 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5190 4779 237 467 0 4721 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20760

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 15198
/proc/meminfo: memFree=29247064/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20760 CPUtime=1002.32
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4920 0 0 0 90039 10193 0 0 25 0 1 0 14317617 21258240 4784 4089446400 134512640 136422188 4289785680 18446744073709551615 135007014 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5190 4784 237 467 0 4721 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20760

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 15199
/proc/meminfo: memFree=29247004/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20888 CPUtime=1062.32
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4924 0 0 0 95459 10773 0 0 25 0 1 0 14317617 21389312 4788 4089446400 134512640 136422188 4289785680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5222 4788 237 467 0 4753 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20888

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.93 4/179 15201
/proc/meminfo: memFree=29246684/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=20888 CPUtime=1122.32
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4925 0 0 0 100907 11325 0 0 25 0 1 0 14317617 21389312 4789 4089446400 134512640 136422188 4289785680 18446744073709551615 135028660 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5222 4789 237 467 0 4753 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20888

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.93 4/179 15203
/proc/meminfo: memFree=29246728/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21020 CPUtime=1182.33
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4945 0 0 0 106326 11907 0 0 25 0 1 0 14317617 21524480 4809 4089446400 134512640 136422188 4289785680 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5255 4809 237 467 0 4786 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 21020

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.93 4/179 15205
/proc/meminfo: memFree=29246196/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21124 CPUtime=1242.33
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4978 0 0 0 111757 12476 0 0 25 0 1 0 14317617 21630976 4842 4089446400 134512640 136422188 4289785680 18446744073709551615 135032448 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5281 4842 237 467 0 4812 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 21124

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 15206
/proc/meminfo: memFree=29246136/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21124 CPUtime=1302.33
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4982 0 0 0 117196 13037 0 0 25 0 1 0 14317617 21630976 4846 4089446400 134512640 136422188 4289785680 18446744073709551615 134862418 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5281 4846 237 467 0 4812 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 21124

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 15207
/proc/meminfo: memFree=29245952/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21124 CPUtime=1362.33
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 4995 0 0 0 122662 13571 0 0 25 0 1 0 14317617 21630976 4859 4089446400 134512640 136422188 4289785680 18446744073709551615 134643354 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5281 4859 237 467 0 4812 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 21124

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 15209
/proc/meminfo: memFree=29245880/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21124 CPUtime=1422.34
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5000 0 0 0 128081 14153 0 0 25 0 1 0 14317617 21630976 4864 4089446400 134512640 136422188 4289785680 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5281 4864 237 467 0 4812 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 21124

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 15211
/proc/meminfo: memFree=29245696/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21256 CPUtime=1482.33
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5007 0 0 0 133529 14704 0 0 25 0 1 0 14317617 21766144 4871 4089446400 134512640 136422188 4289785680 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5314 4871 237 467 0 4845 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 21256

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 15213
/proc/meminfo: memFree=29246024/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21256 CPUtime=1542.34
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5020 0 0 0 138958 15276 0 0 25 0 1 0 14317617 21766144 4884 4089446400 134512640 136422188 4289785680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5314 4884 237 467 0 4845 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 21256

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 15214
/proc/meminfo: memFree=29246084/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21256 CPUtime=1602.34
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5034 0 0 0 144392 15842 0 0 25 0 1 0 14317617 21766144 4898 4089446400 134512640 136422188 4289785680 18446744073709551615 135032458 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5314 4898 237 467 0 4845 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 21256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 15215
/proc/meminfo: memFree=29245884/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21256 CPUtime=1662.34
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5034 0 0 0 149818 16416 0 0 25 0 1 0 14317617 21766144 4898 4089446400 134512640 136422188 4289785680 18446744073709551615 135019286 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5314 4898 237 467 0 4845 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 21256

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 15217
/proc/meminfo: memFree=29245564/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21256 CPUtime=1722.34
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5035 0 0 0 155242 16992 0 0 25 0 1 0 14317617 21766144 4899 4089446400 134512640 136422188 4289785680 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5314 4899 237 467 0 4845 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 21256

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.93 4/179 15219
/proc/meminfo: memFree=29245492/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21388 CPUtime=1782.35
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5039 0 0 0 160685 17550 0 0 25 0 1 0 14317617 21901312 4903 4089446400 134512640 136422188 4289785680 18446744073709551615 134862270 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5347 4903 237 467 0 4878 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 21388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 15219
/proc/meminfo: memFree=29245580/32951124 swapFree=67111528/67111528
[pid=15139] ppid=15137 vsize=21388 CPUtime=1800.05
/proc/15139/stat : 15139 (pbct) R 15137 15139 14909 0 -1 4202496 5039 0 0 0 162283 17722 0 0 25 0 1 0 14317617 21901312 4903 4089446400 134512640 136422188 4289785680 18446744073709551615 134902538 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15139/statm: 5347 4903 237 467 0 4878 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 21388

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1622.83
system time used= 177.228
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5040
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= 6
involuntary context switches= 6273

runsolver used 2.5956 second user time and 5.59515 second system time

The end

Launcher Data 

Begin job on node139 at 2010-07-07 02:04:11
IDJOB=2699413
IDBENCH=78953
IDSOLVER=1212
FILE ID=node139/2699413-1278461051
PBS_JOBID= 11233715
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= 9fdf6a24194e0c0ae14212c193866ebe
RANDOM SEED=923086636

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29107848 kB
Buffers:        110936 kB
Cached:        3358004 kB
SwapCached:          0 kB
Active:         989356 kB
Inactive:      2716536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29107848 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2040 kB
Writeback:           0 kB
AnonPages:      236720 kB
Mapped:          15460 kB
Slab:            74280 kB
PageTables:       5120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   383132 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= 73884 MiB
End job on node139 at 2010-07-07 02:34:13