Trace number 2698797

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo
MD5SUM68083219a398085883a8cf7e46688b9f
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark488.736
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 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
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 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.10	c 0.094985 20 16 8173
0.09/0.10	o 676
0.09/0.11	c 0.097985 20.2344 18 10301
0.09/0.11	o 647
0.09/0.11	c 0.097985 20.4688 18 12978
0.09/0.11	o 570
0.09/0.17	c 0.134979 20.4688 123 14963
0.09/0.17	o 530
0.09/0.18	c 0.143978 20.4688 138 15242
0.09/0.18	o 528
0.09/0.19	c 0.147977 20.4688 138 16139
0.09/0.19	o 502
0.09/0.19	c 0.151976 20.4688 138 16389
0.09/0.19	o 499
0.19/0.20	c 0.153976 20.4688 139 18027
0.19/0.20	o 456
0.19/0.20	c 0.155976 20.4688 140 18499
0.19/0.20	o 446
0.19/0.21	c 0.160975 20.4688 141 18710
0.19/0.21	o 443
0.19/0.24	c 0.182972 20.4688 171 19225
0.19/0.24	o 434
0.19/0.26	c 0.19597 20.4688 196 20220
0.19/0.26	o 405
0.19/0.27	c 0.198969 20.4688 200 21071
0.19/0.27	o 382
0.39/0.41	c 0.275958 20.4688 395 22025
0.39/0.41	o 381
0.39/0.42	c 0.276957 20.4688 397 22844
0.39/0.42	o 360
0.39/0.42	c 0.278957 20.4688 399 23482
0.39/0.42	o 345
0.39/0.44	c 0.286956 20.4688 413 23714
0.39/0.44	o 344
0.69/0.77	c 0.487925 20.4688 819 25277
0.69/0.77	o 342
0.69/0.79	c 0.500923 20.4688 840 25666
0.69/0.79	o 336
0.79/0.84	c 0.529919 20.4688 890 25949
0.79/0.84	o 333
0.99/1.09	c 0.664898 20.4688 628 27168
0.99/1.09	o 329
1.10/1.10	c 0.673897 20.4688 643 27474
1.10/1.10	o 328
1.19/1.25	c 0.771882 20.4688 850 28481
1.19/1.25	o 317
1.39/1.41	c 0.871867 20.4688 1106 30621
1.39/1.41	o 291
1.39/1.44	c 0.890864 20.4688 1133 31323
1.39/1.44	o 273
1.39/1.46	c 0.896863 20.4688 1152 31995
1.39/1.46	o 255
1.89/1.99	c 1.23081 20.4688 1175 34536
1.89/1.99	o 247
2.20/2.25	c 1.39579 20.4688 925 35976
2.20/2.25	o 244
2.20/2.27	c 1.41379 20.4688 1030 37451
2.20/2.27	o 205
2.89/2.96	c 1.84372 20.5977 691 40268
2.89/2.96	o 186
2.89/2.98	c 1.85172 20.5977 707 40480
2.89/2.98	o 184
3.30/3.31	c 2.06768 20.5977 1159 41880
3.30/3.31	o 180
5.69/5.72	c 3.56546 20.7266 1051 49547
5.69/5.72	o 161
5.69/5.73	c 3.57046 20.7266 1053 49925
5.69/5.73	o 151
5.69/5.74	c 3.57446 20.7266 1055 50159
5.69/5.74	o 147
5.69/5.74	c 3.58046 20.7266 1058 50322
5.69/5.74	o 145
5.69/5.75	c 3.58446 20.7266 1062 50534
5.69/5.75	o 141
5.69/5.76	c 3.59245 20.7266 1069 50705
5.69/5.76	o 138
5.79/5.80	c 3.61745 20.7266 1120 51484
5.79/5.80	o 117
5.79/5.86	c 3.65844 20.7266 646 52159
5.79/5.86	o 107
5.79/5.89	c 3.67644 20.7266 704 52328
5.79/5.89	o 106
5.89/5.91	c 3.69744 20.7266 769 52701
5.89/5.91	o 97
5.99/6.00	c 3.76843 20.7266 937 53107
5.99/6.00	o 96
6.19/6.21	c 3.89541 20.7266 738 54334
6.19/6.21	o 94
6.69/6.71	c 4.22636 20.7266 946 56918
6.69/6.71	o 79
7.20/7.24	c 4.56131 20.7266 1073 59197
7.20/7.24	o 64
7.49/7.50	c 4.73628 20.7266 1620 60266
7.49/7.50	o 61
7.49/7.58	c 4.79327 20.7266 1792 60844
7.49/7.58	o 56
7.79/7.89	c 4.99624 20.8555 1434 62526
7.79/7.89	o 51
8.39/8.48	c 5.40818 20.9844 1732 65917
8.39/8.48	o 31
11.49/11.54	c 7.84381 22.5312 3166 85093
11.49/11.54	o 23
14.20/14.29	c 10.0445 22.5312 3008 106644
14.20/14.29	o 16
15.99/16.02	c 11.4933 22.5312 2255 124088
15.99/16.02	o 10
17.39/17.42	c 12.7031 22.5312 3308 138900
17.39/17.42	o 7
21.50/21.56	c 16.3895 22.5312 3652 186509
21.50/21.56	o 6
25.39/25.43	c 19.869 22.5312 2769 232633
25.39/25.43	o 5
25.79/25.89	c 20.2839 22.5312 3293 238892
25.79/25.89	o 2
28.80/28.88	c 23.0195 22.5312 2415 280949
28.80/28.88	o 1
1800.02/1800.00	s SATISFIABLE
1800.02/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-2698797-1278464516/watcher-2698797-1278464516 -o /tmp/evaluation-result-2698797-1278464516/solver-2698797-1278464516 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698797-1278464516.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.94 4/178 13280
/proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=2136 CPUtime=0
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14664740 2187264 173 4089446400 134512640 136422188 4289260336 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13280/statm: 534 173 144 467 0 65 0

[startup+0.0975969 s]
/proc/loadavg: 1.92 1.98 1.94 4/178 13280
/proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=20476 CPUtime=0.08
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4753 0 0 0 8 0 0 0 25 0 1 0 14664740 20967424 4640 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5119 4640 213 467 0 4650 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20476

[startup+0.100596 s]
/proc/loadavg: 1.92 1.98 1.94 4/178 13280
/proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=20476 CPUtime=0.09
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4753 0 0 0 9 0 0 0 25 0 1 0 14664740 20967424 4640 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5119 4640 213 467 0 4650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20476

[startup+0.30056 s]
/proc/loadavg: 1.92 1.98 1.94 4/178 13280
/proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=20956 CPUtime=0.29
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4856 0 0 0 21 8 0 0 25 0 1 0 14664740 21458944 4730 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5239 4730 236 467 0 4770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20956

[startup+0.700495 s]
/proc/loadavg: 1.92 1.98 1.94 4/178 13280
/proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=20956 CPUtime=0.69
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4861 0 0 0 44 25 0 0 25 0 1 0 14664740 21458944 4731 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5239 4731 237 467 0 4770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20956

[startup+1.50036 s]
/proc/loadavg: 1.92 1.98 1.94 3/179 13281
/proc/meminfo: memFree=30652952/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=20956 CPUtime=1.49
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4886 0 0 0 92 57 0 0 18 0 1 0 14664740 21458944 4747 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5239 4747 237 467 0 4770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20956

[startup+3.10109 s]
/proc/loadavg: 1.92 1.98 1.94 3/179 13281
/proc/meminfo: memFree=30652580/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=21088 CPUtime=3.1
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4902 0 0 0 193 117 0 0 20 0 1 0 14664740 21594112 4758 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5272 4758 237 467 0 4803 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 21088

[startup+6.30055 s]
/proc/loadavg: 1.93 1.98 1.94 3/179 13281
/proc/meminfo: memFree=30652552/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=21220 CPUtime=6.29
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4962 0 0 0 395 234 0 0 25 0 1 0 14664740 21729280 4805 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5305 4805 237 467 0 4836 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21220

[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.94 3/179 13282
/proc/meminfo: memFree=30650696/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=23068 CPUtime=12.69
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5429 0 0 0 878 391 0 0 25 0 1 0 14664740 23621632 5265 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5767 5265 237 467 0 5298 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23068

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.94 3/179 13282
/proc/meminfo: memFree=30650604/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=23068 CPUtime=25.49
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5434 0 0 0 1993 556 0 0 25 0 1 0 14664740 23621632 5265 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5767 5265 237 467 0 5298 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23068

[startup+51.101 s]
/proc/loadavg: 1.96 1.98 1.94 3/179 13283
/proc/meminfo: memFree=30650684/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=23068 CPUtime=51.09
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5436 0 0 0 4325 784 0 0 25 0 1 0 14664740 23621632 5265 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5767 5265 237 467 0 5298 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23068

[startup+102.305 s]
/proc/loadavg: 1.98 1.98 1.94 3/179 13284
/proc/meminfo: memFree=30649908/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=23204 CPUtime=102.29
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5476 0 0 0 9014 1215 0 0 25 0 1 0 14664740 23760896 5305 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5801 5305 237 467 0 5332 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 23204

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/179 13286
/proc/meminfo: memFree=30649496/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=23608 CPUtime=162.29
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5587 0 0 0 14488 1741 0 0 25 0 1 0 14664740 24174592 5416 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5902 5416 237 467 0 5433 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23608

[startup+222.3 s]
/proc/loadavg: 2.05 2.00 1.94 3/179 13287
/proc/meminfo: memFree=30648836/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=23876 CPUtime=222.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5652 0 0 0 19976 2254 0 0 25 0 1 0 14664740 24449024 5481 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 5969 5481 237 467 0 5500 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23876

[startup+282.301 s]
/proc/loadavg: 2.02 2.00 1.94 3/179 13289
/proc/meminfo: memFree=30648656/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=24140 CPUtime=282.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5715 0 0 0 25476 2754 0 0 25 0 1 0 14664740 24719360 5544 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6035 5544 237 467 0 5566 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24140

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13291
/proc/meminfo: memFree=30647868/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=24404 CPUtime=342.29
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5760 0 0 0 30982 3247 0 0 25 0 1 0 14664740 24989696 5589 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6101 5589 237 467 0 5632 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 24404

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13292
/proc/meminfo: memFree=30647812/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=24404 CPUtime=402.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5781 0 0 0 36495 3735 0 0 25 0 1 0 14664740 24989696 5610 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6101 5610 237 467 0 5632 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24404

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13294
/proc/meminfo: memFree=30647768/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=24536 CPUtime=462.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5799 0 0 0 41979 4251 0 0 25 0 1 0 14664740 25124864 5628 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6134 5628 237 467 0 5665 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24536

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13295
/proc/meminfo: memFree=30647616/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=24684 CPUtime=522.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5818 0 0 0 47450 4780 0 0 25 0 1 0 14664740 25276416 5647 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6171 5647 237 467 0 5702 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24684

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 13297
/proc/meminfo: memFree=30647308/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=24816 CPUtime=582.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5869 0 0 0 52950 5280 0 0 25 0 1 0 14664740 25411584 5698 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6204 5698 237 467 0 5735 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24816

[startup+642.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 13299
/proc/meminfo: memFree=30646640/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=24816 CPUtime=642.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5884 0 0 0 58436 5795 0 0 25 0 1 0 14664740 25411584 5713 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6204 5713 237 467 0 5735 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24816

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13303
/proc/meminfo: memFree=30645644/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25092 CPUtime=822.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5948 0 0 0 74933 7298 0 0 25 0 1 0 14664740 25694208 5777 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6273 5777 237 467 0 5804 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 25092

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13305
/proc/meminfo: memFree=30645348/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25188 CPUtime=882.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5995 0 0 0 80433 7797 0 0 25 0 1 0 14664740 25792512 5810 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6297 5810 237 467 0 5828 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 25188

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13307
/proc/meminfo: memFree=30645536/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25188 CPUtime=942.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5996 0 0 0 85949 8281 0 0 25 0 1 0 14664740 25792512 5811 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6297 5811 237 467 0 5828 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 25188

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13308
/proc/meminfo: memFree=30645480/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25320 CPUtime=1002.3
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6004 0 0 0 91431 8799 0 0 25 0 1 0 14664740 25927680 5819 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6330 5819 237 467 0 5861 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 25320

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 13313
/proc/meminfo: memFree=30645204/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25320 CPUtime=1062.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6005 0 0 0 96920 9311 0 0 25 0 1 0 14664740 25927680 5820 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6330 5820 237 467 0 5861 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 25320

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 13314
/proc/meminfo: memFree=30645284/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25460 CPUtime=1122.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6018 0 0 0 102418 9813 0 0 25 0 1 0 14664740 26071040 5833 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6365 5833 237 467 0 5896 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25460

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13316
/proc/meminfo: memFree=30645112/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25460 CPUtime=1182.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6033 0 0 0 107932 10299 0 0 25 0 1 0 14664740 26071040 5848 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6365 5848 237 467 0 5896 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 25460

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 13318
/proc/meminfo: memFree=30644944/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25592 CPUtime=1242.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6077 0 0 0 113440 10791 0 0 25 0 1 0 14664740 26206208 5892 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6398 5892 237 467 0 5929 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 25592

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 13319
/proc/meminfo: memFree=30644508/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25592 CPUtime=1302.32
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6079 0 0 0 118959 11273 0 0 25 0 1 0 14664740 26206208 5894 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6398 5894 237 467 0 5929 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 25592

[startup+1362.3 s]
/proc/loadavg: 1.47 1.86 1.91 2/171 13343
/proc/meminfo: memFree=30664912/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25592 CPUtime=1362.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6087 0 0 0 124470 11761 0 0 25 0 1 0 14664740 26206208 5902 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6398 5902 237 467 0 5929 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 25592

[startup+1422.31 s]
/proc/loadavg: 1.21 1.72 1.86 2/171 13344
/proc/meminfo: memFree=30664876/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25724 CPUtime=1422.32
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6101 0 0 0 129983 12249 0 0 25 0 1 0 14664740 26341376 5916 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6431 5916 237 467 0 5962 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 25724

[startup+1482.3 s]
/proc/loadavg: 1.08 1.58 1.80 2/171 13346
/proc/meminfo: memFree=30664820/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25724 CPUtime=1482.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6123 0 0 0 135482 12749 0 0 25 0 1 0 14664740 26341376 5938 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6431 5938 237 467 0 5962 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 25724

[startup+1542.3 s]
/proc/loadavg: 1.03 1.47 1.75 2/171 13348
/proc/meminfo: memFree=30664644/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25724 CPUtime=1542.32
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6124 0 0 0 141004 13228 0 0 25 0 1 0 14664740 26341376 5939 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6431 5939 237 467 0 5962 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 25724

[startup+1602.3 s]
/proc/loadavg: 1.01 1.39 1.70 2/171 13349
/proc/meminfo: memFree=30664464/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25836 CPUtime=1602.32
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6161 0 0 0 146506 13726 0 0 25 0 1 0 14664740 26456064 5968 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6459 5968 237 467 0 5990 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 25836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.31 1.65 2/171 13351
/proc/meminfo: memFree=30664404/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25836 CPUtime=1662.31
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6161 0 0 0 152008 14223 0 0 25 0 1 0 14664740 26456064 5968 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6459 5968 237 467 0 5990 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 25836

[startup+1722.3 s]
/proc/loadavg: 1.00 1.25 1.61 2/171 13352
/proc/meminfo: memFree=30664364/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25968 CPUtime=1722.32
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6173 0 0 0 157525 14707 0 0 25 0 1 0 14664740 26591232 5980 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6492 5980 237 467 0 6023 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 25968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.20 1.57 2/171 13354
/proc/meminfo: memFree=30664180/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25968 CPUtime=1782.32
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6174 0 0 0 163030 15202 0 0 25 0 1 0 14664740 26591232 5981 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6492 5981 237 467 0 6023 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 25968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.19 1.55 2/171 13354
/proc/meminfo: memFree=30664156/32951124 swapFree=67111528/67111528
[pid=13280] ppid=13278 vsize=25968 CPUtime=1800.02
/proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6174 0 0 0 164664 15338 0 0 25 0 1 0 14664740 26591232 5981 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13280/statm: 6492 5981 237 467 0 6023 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 25968

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.04
CPU user time (s): 1646.65
CPU system time (s): 153.391
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1646.65
system time used= 153.391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6175
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= 2
involuntary context switches= 3209

runsolver used 2.71959 second user time and 5.40518 second system time

The end

Launcher Data 

Begin job on node130 at 2010-07-07 03:01:56
IDJOB=2698797
IDBENCH=79269
IDSOLVER=1212
FILE ID=node130/2698797-1278464516
PBS_JOBID= 11233732
Free space on /tmp= 73484 MiB

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

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

MD5SUM BENCH= 68083219a398085883a8cf7e46688b9f
RANDOM SEED=2124492953

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.72
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.831
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.831
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.68
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30671708 kB
Buffers:        111904 kB
Cached:        1947252 kB
SwapCached:          0 kB
Active:         708136 kB
Inactive:      1428060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30671708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1816 kB
Writeback:           0 kB
AnonPages:       76720 kB
Mapped:          15664 kB
Slab:            80296 kB
PageTables:       4432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   217376 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= 73484 MiB
End job on node130 at 2010-07-07 03:31:58