Trace number 2695089

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo
MD5SUMc90222590d839243781a638355a39a56
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark447.975
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 constraints2707
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 136368
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136367
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 717
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.14	c 0.095985 19.9961 67 30985
0.09/0.14	o 739
0.09/0.14	c 0.095985 20.2305 71 33191
0.09/0.14	o 704
0.09/0.15	c 0.097985 20.4648 73 36115
0.09/0.15	o 659
0.29/0.36	c 0.12598 20.4648 404 54716
0.29/0.36	o 442
0.29/0.37	c 0.12798 20.4648 409 55635
0.29/0.37	o 413
0.49/0.55	c 0.149977 20.4648 710 59493
0.49/0.55	o 363
1.10/1.18	c 0.223965 20.4648 1037 68035
1.10/1.18	o 331
1.19/1.22	c 0.226965 20.4648 1073 69010
1.19/1.22	o 328
1.19/1.29	c 0.238963 20.4648 595 70890
1.19/1.29	o 303
1.29/1.31	c 0.241963 20.4648 621 71874
1.29/1.31	o 288
2.39/2.48	c 0.368943 20.4648 937 90931
2.39/2.48	o 285
3.09/3.16	c 0.473927 20.5938 1358 94538
3.09/3.16	o 280
3.39/3.43	c 0.518921 20.5938 1059 96121
3.39/3.43	o 275
5.19/5.25	c 0.856869 20.5938 654 114060
5.19/5.25	o 271
5.49/5.58	c 0.91986 20.5938 1076 116881
5.49/5.58	o 270
6.39/6.44	c 1.04684 20.5938 1019 125065
6.39/6.44	o 267
7.59/7.67	c 1.22781 20.5938 1203 130802
7.59/7.67	o 246
8.39/8.46	c 1.34979 20.5938 948 134629
8.39/8.46	o 226
8.69/8.75	c 1.38379 20.5938 1281 136827
8.69/8.75	o 221
9.80/9.81	c 1.52677 20.5938 1117 156959
9.80/9.81	o 220
11.49/11.56	c 1.83772 20.5938 1070 173516
11.49/11.56	o 219
12.69/12.78	c 2.06768 20.5938 868 180055
12.69/12.78	o 213
12.69/12.79	c 2.06969 20.5938 870 180794
12.69/12.79	o 189
12.80/12.84	c 2.07868 20.5938 932 181150
12.80/12.84	o 183
12.99/13.04	c 2.10768 20.5938 784 182524
12.99/13.04	o 169
14.09/14.20	c 2.28965 20.5938 978 187192
14.09/14.20	o 168
14.20/14.26	c 2.31465 20.5938 1177 187771
14.20/14.26	o 164
14.59/14.67	c 2.37264 20.5938 1250 189928
14.59/14.67	o 140
15.00/15.04	c 2.43763 20.5938 961 191654
15.00/15.05	o 136
15.49/15.53	c 2.55261 20.5938 1181 193784
15.49/15.53	o 129
15.59/15.69	c 2.56961 20.5938 1001 194516
15.59/15.69	o 128
16.09/16.16	c 2.66359 20.5938 996 200339
16.09/16.16	o 120
18.29/18.32	c 3.12752 20.5938 1282 207046
18.29/18.32	o 116
18.39/18.47	c 3.15652 20.5938 1070 207918
18.39/18.47	o 114
20.38/20.43	c 3.54446 20.5938 1142 217810
20.38/20.43	o 113
22.99/23.05	c 3.9774 20.5938 1100 229372
22.99/23.05	o 105
23.69/23.71	c 4.07338 20.5938 1198 231903
23.69/23.71	o 88
24.20/24.29	c 4.24535 20.5938 878 234324
24.20/24.29	o 86
26.49/26.57	c 4.72428 20.7227 1456 260598
26.49/26.57	o 84
26.49/26.58	c 4.72628 20.7227 1459 260695
26.49/26.58	o 83
26.79/26.85	c 4.78927 20.7227 1180 262418
26.79/26.85	o 80
26.89/26.94	c 4.81327 20.7227 1345 263028
26.89/26.94	o 74
27.99/28.08	c 5.11722 20.7227 996 267869
27.99/28.08	o 58
28.69/28.77	c 5.33519 20.7227 1130 271609
28.69/28.77	o 55
29.09/29.15	c 5.47017 20.7227 2148 273169
29.09/29.15	o 52
29.09/29.17	c 5.47817 20.7227 2206 273289
29.09/29.17	o 51
31.49/31.53	c 6.37903 20.8516 2278 287105
31.49/31.53	o 46
32.39/32.49	c 6.75797 20.8516 1572 292795
32.39/32.49	o 45
32.69/32.70	c 6.84496 20.8516 2423 294314
32.69/32.70	o 43
32.79/32.80	c 6.88695 20.8516 1495 295299
32.79/32.80	o 38
33.49/33.54	c 7.20191 21.1094 1472 299876
33.49/33.54	o 34
34.69/34.78	c 7.77882 21.1094 1666 310277
34.69/34.78	o 33
34.89/34.90	c 7.83881 21.1094 2310 311497
34.89/34.90	o 32
35.09/35.18	c 7.96779 21.1094 2338 314295
35.09/35.18	o 23
36.98/37.02	c 9.08562 21.3672 2557 332193
36.98/37.02	o 19
39.50/39.52	c 10.7934 21.4961 3476 359407
39.50/39.52	o 15
41.99/42.08	c 12.5151 21.625 2173 392345
41.99/42.08	o 11
47.20/47.24	c 16.2825 22.1406 3772 464214
47.20/47.24	o 10
49.99/50.06	c 18.2772 22.1406 2047 502684
49.99/50.06	o 7
197.20/197.26	c 131.582 22.9141 2601 2672111
197.20/197.26	o 6
201.60/201.63	c 134.987 22.9141 4008 2742262
201.60/201.63	o 5
268.09/268.17	c 186.236 22.9141 2669 3803664
268.09/268.17	o 4
487.10/487.17	c 357.022 22.9141 3822 7289830
487.10/487.17	o 3
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	v -x1 -x2 -x3 x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695089-1277929010/watcher-2695089-1277929010 -o /tmp/evaluation-result-2695089-1277929010/solver-2695089-1277929010 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695089-1277929010.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.89 1.98 2.05 4/178 20725
/proc/meminfo: memFree=30158920/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=2136 CPUtime=0
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 255 0 0 0 0 0 0 0 21 0 1 0 134195708 2187264 174 4089446400 134512640 136421960 4289747008 18446744073709551615 135160256 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20725/statm: 534 174 144 467 0 65 0

[startup+0.036031 s]
/proc/loadavg: 1.89 1.98 2.05 4/178 20725
/proc/meminfo: memFree=30158920/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=7912 CPUtime=0.03
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 1668 0 0 0 3 0 0 0 21 0 1 0 134195708 8101888 1587 4089446400 134512640 136421960 4289747008 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 1978 1594 193 467 0 1509 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7912

[startup+0.101021 s]
/proc/loadavg: 1.89 1.98 2.05 4/178 20725
/proc/meminfo: memFree=30158920/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=20472 CPUtime=0.09
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4755 0 0 0 9 0 0 0 21 0 1 0 134195708 20963328 4641 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 5118 4641 213 467 0 4649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20472

[startup+0.300989 s]
/proc/loadavg: 1.89 1.98 2.05 4/178 20725
/proc/meminfo: memFree=30158920/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=20952 CPUtime=0.29
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4848 0 0 0 11 18 0 0 21 0 1 0 134195708 21454848 4731 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 5238 4731 237 467 0 4769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20952

[startup+0.700917 s]
/proc/loadavg: 1.89 1.98 2.05 4/178 20725
/proc/meminfo: memFree=30158920/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=20952 CPUtime=0.69
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4851 0 0 0 16 53 0 0 22 0 1 0 134195708 21454848 4731 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 5238 4731 237 467 0 4769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20952

[startup+1.50077 s]
/proc/loadavg: 1.89 1.98 2.05 3/179 20726
/proc/meminfo: memFree=30140932/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=20952 CPUtime=1.49
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4857 0 0 0 26 123 0 0 25 0 1 0 134195708 21454848 4733 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 5238 4733 237 467 0 4769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20952

[startup+3.10049 s]
/proc/loadavg: 1.89 1.98 2.05 3/179 20726
/proc/meminfo: memFree=30141680/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=21084 CPUtime=3.09
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4884 0 0 0 46 263 0 0 25 0 1 0 134195708 21590016 4759 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 5271 4759 237 467 0 4802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21084

[startup+6.30092 s]
/proc/loadavg: 1.90 1.98 2.05 3/179 20726
/proc/meminfo: memFree=30142268/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=21084 CPUtime=6.29
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4891 0 0 0 102 527 0 0 25 0 1 0 134195708 21590016 4762 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 5271 4762 237 467 0 4802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21084

[startup+12.7008 s]
/proc/loadavg: 1.91 1.98 2.05 3/179 20726
/proc/meminfo: memFree=30142724/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=21084 CPUtime=12.69
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4897 0 0 0 204 1065 0 0 25 0 1 0 134195708 21590016 4762 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20725/statm: 5271 4762 237 467 0 4802 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21084

[startup+25.5005 s]
/proc/loadavg: 1.93 1.98 2.05 3/179 20726
/proc/meminfo: memFree=30152632/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=21216 CPUtime=25.48
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 4945 0 0 0 456 2092 0 0 25 0 1 0 134195708 21725184 4793 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5304 4793 237 467 0 4835 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21216

[startup+51.1009 s]
/proc/loadavg: 1.95 1.98 2.04 3/179 20727
/proc/meminfo: memFree=30153556/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=22668 CPUtime=51.09
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5330 0 0 0 1912 3197 0 0 25 0 1 0 134195708 23212032 5157 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5667 5157 237 467 0 5198 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22668

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 2.04 3/179 20728
/proc/meminfo: memFree=30152896/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=22800 CPUtime=102.29
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5386 0 0 0 5836 4393 0 0 25 0 1 0 134195708 23347200 5213 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5700 5213 237 467 0 5231 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 22800

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 2.03 3/179 20730
/proc/meminfo: memFree=30153228/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23328 CPUtime=162.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5521 0 0 0 10447 5783 0 0 25 0 1 0 134195708 23887872 5348 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5832 5348 237 467 0 5363 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23328

[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/179 20732
/proc/meminfo: memFree=30152940/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23460 CPUtime=222.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5532 0 0 0 15098 7132 0 0 25 0 1 0 134195708 24023040 5357 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5865 5357 237 467 0 5396 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23460

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.03 3/179 20733
/proc/meminfo: memFree=30152776/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23460 CPUtime=282.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5533 0 0 0 19727 8503 0 0 25 0 1 0 134195708 24023040 5357 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5865 5357 237 467 0 5396 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23460

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 20734
/proc/meminfo: memFree=30152844/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23460 CPUtime=342.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5533 0 0 0 24432 9798 0 0 25 0 1 0 134195708 24023040 5357 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5865 5357 237 467 0 5396 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23460

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 20736
/proc/meminfo: memFree=30152680/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23460 CPUtime=402.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5533 0 0 0 29147 11083 0 0 25 0 1 0 134195708 24023040 5357 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5865 5357 237 467 0 5396 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23460

[startup+462.3 s]
/proc/loadavg: 1.97 1.98 2.00 3/179 20766
/proc/meminfo: memFree=31069000/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23460 CPUtime=462.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5533 0 0 0 33781 12449 0 0 25 0 1 0 134195708 24023040 5357 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5865 5357 237 467 0 5396 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23460

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 20768
/proc/meminfo: memFree=31014516/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23460 CPUtime=522.3
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5547 0 0 0 38489 13741 0 0 25 0 1 0 134195708 24023040 5370 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5865 5370 237 467 0 5396 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23460

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 20769
/proc/meminfo: memFree=30951344/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23596 CPUtime=582.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5559 0 0 0 43252 14979 0 0 25 0 1 0 134195708 24162304 5382 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5899 5382 237 467 0 5430 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 23596

[startup+642.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 20770
/proc/meminfo: memFree=30846388/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23596 CPUtime=642.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5568 0 0 0 47972 16259 0 0 25 0 1 0 134195708 24162304 5391 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5899 5391 237 467 0 5430 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 23596

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.09 2.01 2.00 3/179 20776
/proc/meminfo: memFree=30828268/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23596 CPUtime=822.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5582 0 0 0 62170 20061 0 0 25 0 1 0 134195708 24162304 5405 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5899 5405 237 467 0 5430 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 23596

[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20777
/proc/meminfo: memFree=30827224/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23596 CPUtime=882.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5587 0 0 0 66888 21343 0 0 25 0 1 0 134195708 24162304 5410 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5899 5410 237 467 0 5430 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 23596

[startup+942.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20781
/proc/meminfo: memFree=30825316/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23596 CPUtime=942.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5591 0 0 0 71548 22683 0 0 25 0 1 0 134195708 24162304 5414 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5899 5414 237 467 0 5430 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 23596

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20783
/proc/meminfo: memFree=30824768/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23728 CPUtime=1002.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5597 0 0 0 76255 23976 0 0 25 0 1 0 134195708 24297472 5420 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5932 5420 237 467 0 5463 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 23728

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20785
/proc/meminfo: memFree=30821756/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23872 CPUtime=1062.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5615 0 0 0 81001 25230 0 0 25 0 1 0 134195708 24444928 5438 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5968 5438 237 467 0 5499 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 23872

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20787
/proc/meminfo: memFree=30820460/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23872 CPUtime=1122.31
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5624 0 0 0 85777 26454 0 0 25 0 1 0 134195708 24444928 5447 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5968 5447 237 467 0 5499 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 23872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20788
/proc/meminfo: memFree=30817944/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=23872 CPUtime=1182.32
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5638 0 0 0 90534 27698 0 0 25 0 1 0 134195708 24444928 5461 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 5968 5461 237 467 0 5499 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 23872

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20789
/proc/meminfo: memFree=30815284/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1242.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5658 0 0 0 95277 28956 0 0 25 0 1 0 134195708 24580096 5481 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5481 237 467 0 5532 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 24004

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20791
/proc/meminfo: memFree=30814852/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1302.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5659 0 0 0 99988 30245 0 0 25 0 1 0 134195708 24580096 5482 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5482 237 467 0 5532 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 24004

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20793
/proc/meminfo: memFree=30814680/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1362.32
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5660 0 0 0 104683 31549 0 0 25 0 1 0 134195708 24580096 5483 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5483 237 467 0 5532 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 24004

[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 20795
/proc/meminfo: memFree=30811552/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1422.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5664 0 0 0 109426 32807 0 0 25 0 1 0 134195708 24580096 5487 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5487 237 467 0 5532 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 24004

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20796
/proc/meminfo: memFree=30810736/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1482.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5664 0 0 0 114110 34123 0 0 25 0 1 0 134195708 24580096 5487 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5487 237 467 0 5532 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 24004

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20797
/proc/meminfo: memFree=30810048/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1542.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5670 0 0 0 118866 35367 0 0 25 0 1 0 134195708 24580096 5493 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5493 237 467 0 5532 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 24004

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20799
/proc/meminfo: memFree=30807528/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1602.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5676 0 0 0 123531 36702 0 0 25 0 1 0 134195708 24580096 5499 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5499 237 467 0 5532 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 24004

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20801
/proc/meminfo: memFree=30805132/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1662.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5684 0 0 0 128330 37903 0 0 25 0 1 0 134195708 24580096 5507 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5507 237 467 0 5532 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 24004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20803
/proc/meminfo: memFree=30803232/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24004 CPUtime=1722.33
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5688 0 0 0 133055 39178 0 0 25 0 1 0 134195708 24580096 5511 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6001 5511 237 467 0 5532 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 24004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20804
/proc/meminfo: memFree=30801704/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24144 CPUtime=1782.34
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5698 0 0 0 137781 40453 0 0 25 0 1 0 134195708 24723456 5521 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6036 5521 237 467 0 5567 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 24144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20805
/proc/meminfo: memFree=30800812/32951124 swapFree=67111528/67111528
[pid=20725] ppid=20723 vsize=24144 CPUtime=1800.04
/proc/20725/stat : 20725 (pbct) R 20723 20725 20700 0 -1 4202496 5698 0 0 0 139192 40812 0 0 25 0 1 0 134195708 24723456 5521 4089446400 134512640 136421960 4289747008 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20725/statm: 6036 5521 237 467 0 5567 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 24144

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

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1391.92
system time used= 408.131
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3089

runsolver used 3.24051 second user time and 6.589 second system time

The end

Launcher Data 

Begin job on node146 at 2010-06-30 22:16:51
IDJOB=2695089
IDBENCH=79293
IDSOLVER=1208
FILE ID=node146/2695089-1277929010
PBS_JOBID= 11197431
Free space on /tmp= 74172 MiB

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

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

MD5SUM BENCH= c90222590d839243781a638355a39a56
RANDOM SEED=2114045072

node146.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.839
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.67
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.839
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.839
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.839
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.839
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.67
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.839
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.82
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.839
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.839
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:      30159068 kB
Buffers:        219180 kB
Cached:        1333948 kB
SwapCached:          0 kB
Active:        1508496 kB
Inactive:      1131752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30159068 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2040 kB
Writeback:           0 kB
AnonPages:     1087676 kB
Mapped:          16908 kB
Slab:            84008 kB
PageTables:       7328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1334012 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= 74172 MiB
End job on node146 at 2010-06-30 22:46:53