Trace number 2698852

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288--soft-0-100-0.wbo
MD5SUM6ba4b4283c00d7202a0c09683aff0663
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 benchmark385.756
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 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
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.11	c 0.105983 19.9805 11 5011
0.09/0.11	o 544
0.09/0.18	c 0.159975 20.2148 88 7106
0.09/0.18	o 538
0.19/0.22	c 0.180972 20.4492 193 7942
0.19/0.22	o 532
0.19/0.24	c 0.19597 20.4492 223 8498
0.19/0.24	o 523
0.19/0.25	c 0.201969 20.4492 229 8752
0.19/0.25	o 520
0.19/0.27	c 0.211967 20.4492 246 10888
0.19/0.27	o 446
0.29/0.30	c 0.230964 20.4492 282 11957
0.29/0.30	o 412
0.29/0.32	c 0.243962 20.4492 314 12291
0.29/0.32	o 406
0.29/0.38	c 0.272958 20.4492 386 12625
0.29/0.38	o 402
0.38/0.48	c 0.331949 20.4492 542 14021
0.38/0.48	o 381
0.38/0.49	c 0.340948 20.4492 559 14467
0.38/0.49	o 375
0.49/0.58	c 0.398939 20.4492 654 14912
0.49/0.58	o 374
0.59/0.67	c 0.45393 20.4492 742 16083
0.59/0.67	o 338
0.69/0.77	c 0.509922 20.4492 890 17011
0.69/0.77	o 331
0.99/1.00	c 0.647901 20.4492 699 18891
0.99/1.00	o 322
0.99/1.05	c 0.674897 20.4492 748 20127
0.99/1.05	o 290
1.29/1.35	c 0.861868 20.4492 1077 21455
1.29/1.35	o 289
1.29/1.37	c 0.884865 20.4492 1102 22006
1.29/1.37	o 276
1.59/1.63	c 1.02784 20.4492 811 23255
1.59/1.63	o 268
1.59/1.66	c 1.04784 20.4492 836 23807
1.59/1.66	o 254
1.59/1.67	c 1.05384 20.4492 842 23961
1.59/1.67	o 253
1.69/1.70	c 1.07084 20.4492 876 25142
1.69/1.70	o 215
1.69/1.71	c 1.07484 20.4492 884 25388
1.69/1.71	o 211
1.89/1.99	c 1.23281 20.4492 595 26501
1.89/1.99	o 210
2.10/2.13	c 1.3218 20.4492 752 27208
2.10/2.13	o 202
2.10/2.14	c 1.3268 20.4492 758 27401
2.10/2.14	o 200
2.10/2.15	c 1.3348 20.4492 764 27619
2.10/2.15	o 196
2.10/2.15	c 1.3358 20.4492 765 27948
2.10/2.15	o 188
2.10/2.16	c 1.3408 20.4492 767 28073
2.10/2.16	o 186
2.10/2.18	c 1.35579 20.4492 783 28282
2.10/2.18	o 183
4.19/4.24	c 2.5966 20.5781 1076 34300
4.19/4.24	o 181
4.40/4.48	c 2.74358 20.5781 724 35085
4.40/4.48	o 180
4.49/4.52	c 2.76958 20.5781 778 35295
4.49/4.52	o 178
4.59/4.60	c 2.82157 20.5781 890 35944
4.59/4.60	o 174
4.69/4.76	c 2.91456 20.5781 1098 36485
4.69/4.76	o 173
4.79/4.80	c 2.94655 20.5781 1183 36813
4.79/4.80	o 168
4.99/5.07	c 3.12153 20.5781 1015 38316
4.99/5.07	o 157
5.59/5.68	c 3.48547 20.5781 1119 40767
5.59/5.68	o 146
6.29/6.30	c 3.88141 20.5781 1272 42871
6.29/6.30	o 137
6.29/6.32	c 3.89341 20.5781 673 43307
6.29/6.32	o 127
6.39/6.48	c 3.99239 20.5781 839 44326
6.39/6.48	o 113
7.09/7.11	c 4.35334 20.5781 908 46258
7.09/7.11	o 112
7.19/7.22	c 4.42133 20.5781 1022 46881
7.19/7.22	o 109
7.29/7.32	c 4.47732 20.5781 1163 47446
7.29/7.32	o 108
7.29/7.37	c 4.50331 20.5781 1225 47761
7.29/7.37	o 102
8.00/8.08	c 4.96824 20.707 974 49829
8.00/8.08	o 101
8.49/8.59	c 5.2882 20.707 1084 52416
8.49/8.59	o 80
9.90/9.97	c 6.15806 20.9648 981 57229
9.90/9.97	o 77
10.69/10.73	c 6.66299 20.9648 1062 60231
10.69/10.73	o 60
10.79/10.86	c 6.74297 20.9648 1250 60695
10.79/10.86	o 56
11.29/11.34	c 7.09592 20.9648 2416 62843
11.29/11.34	o 54
11.29/11.39	c 7.12392 20.9648 1309 63326
11.29/11.39	o 47
11.39/11.40	c 7.12992 20.9648 1316 63776
11.39/11.40	o 33
13.09/13.14	c 8.47171 21.8672 3159 73978
13.09/13.14	o 31
13.79/13.85	c 9.03463 21.8672 2544 78071
13.79/13.85	o 19
13.89/13.98	c 9.14161 21.8672 1748 79503
13.89/13.98	o 17
15.40/15.41	c 10.3494 21.8672 2407 94254
15.40/15.41	o 15
15.40/15.43	c 10.3654 21.8672 2539 94537
15.40/15.43	o 12
16.90/16.99	c 11.7062 21.8672 3060 111589
16.90/16.99	o 11
17.19/17.25	c 11.9392 21.8672 3219 114557
17.19/17.25	o 8
19.80/19.87	c 14.2758 21.8672 2476 142427
19.80/19.87	o 6
20.49/20.59	c 14.9227 21.8672 2198 149864
20.49/20.59	o 4
32.00/32.00	c 25.3082 21.9961 3287 295780
32.00/32.00	o 3
46.40/46.48	c 38.5331 22.125 2413 466887
46.40/46.48	o 2
47.00/47.06	c 39.0771 22.125 3412 473490
47.00/47.06	o 1
1800.08/1800.00	s SATISFIABLE
1800.08/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-2698852-1278464655/watcher-2698852-1278464655 -o /tmp/evaluation-result-2698852-1278464655/solver-2698852-1278464655 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698852-1278464655.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.92 4/178 12520
/proc/meminfo: memFree=29740940/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=2136 CPUtime=0
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14677921 2187264 173 4089446400 134512640 136422188 4293760400 18446744073709551615 134548749 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12520/statm: 534 173 144 467 0 65 0

[startup+0.0515741 s]
/proc/loadavg: 1.92 1.98 1.92 4/178 12520
/proc/meminfo: memFree=29740940/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=11064 CPUtime=0.04
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 2427 0 0 0 4 0 0 0 25 0 1 0 14677921 11329536 2346 4089446400 134512640 136422188 4293760400 18446744073709551615 135642994 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 2766 2348 193 467 0 2297 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11064

[startup+0.10055 s]
/proc/loadavg: 1.92 1.98 1.92 4/178 12520
/proc/meminfo: memFree=29740940/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=20180 CPUtime=0.09
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 4687 0 0 0 9 0 0 0 25 0 1 0 14677921 20664320 4573 4089446400 134512640 136422188 4293760400 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5045 4573 207 467 0 4576 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20180

[startup+0.300523 s]
/proc/loadavg: 1.92 1.98 1.92 4/178 12520
/proc/meminfo: memFree=29740940/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=20936 CPUtime=0.29
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 4850 0 0 0 22 7 0 0 18 0 1 0 14677921 21438464 4730 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5234 4730 237 467 0 4765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20936

[startup+0.700431 s]
/proc/loadavg: 1.92 1.98 1.92 4/178 12520
/proc/meminfo: memFree=29740940/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=20936 CPUtime=0.69
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 4857 0 0 0 46 23 0 0 18 0 1 0 14677921 21438464 4730 4089446400 134512640 136422188 4293760400 18446744073709551615 135024008 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5234 4730 237 467 0 4765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20936

[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 1.92 3/179 12521
/proc/meminfo: memFree=29722588/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=20936 CPUtime=1.49
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 4871 0 0 0 95 54 0 0 19 0 1 0 14677921 21438464 4739 4089446400 134512640 136422188 4293760400 18446744073709551615 134594101 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5234 4739 237 467 0 4765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20936

[startup+3.10096 s]
/proc/loadavg: 1.93 1.98 1.92 3/179 12521
/proc/meminfo: memFree=29722216/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=21068 CPUtime=3.09
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 4898 0 0 0 191 118 0 0 23 0 1 0 14677921 21573632 4754 4089446400 134512640 136422188 4293760400 18446744073709551615 135025922 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5267 4754 237 467 0 4798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21068

[startup+6.30032 s]
/proc/loadavg: 1.93 1.98 1.92 3/179 12521
/proc/meminfo: memFree=29722812/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=21068 CPUtime=6.29
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 4925 0 0 0 387 242 0 0 25 0 1 0 14677921 21573632 4773 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5267 4773 237 467 0 4798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21068

[startup+12.701 s]
/proc/loadavg: 1.94 1.98 1.92 3/179 12522
/proc/meminfo: memFree=29722252/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=21596 CPUtime=12.69
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5076 0 0 0 812 457 0 0 25 0 1 0 14677921 22114304 4909 4089446400 134512640 136422188 4293760400 18446744073709551615 134594259 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5399 4909 237 467 0 4930 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21596

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.92 3/179 12523
/proc/meminfo: memFree=29721048/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=22388 CPUtime=25.49
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5285 0 0 0 1938 611 0 0 25 0 1 0 14677921 22925312 5109 4089446400 134512640 136422188 4293760400 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5597 5109 237 467 0 5128 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22388

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.92 3/179 12523
/proc/meminfo: memFree=29720396/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=22652 CPUtime=51.09
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5346 0 0 0 4277 832 0 0 25 0 1 0 14677921 23195648 5167 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5663 5167 237 467 0 5194 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22652

[startup+102.306 s]
/proc/loadavg: 2.06 2.01 1.93 3/179 12525
/proc/meminfo: memFree=29719120/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=23188 CPUtime=102.3
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5472 0 0 0 8946 1284 0 0 25 0 1 0 14677921 23744512 5293 4089446400 134512640 136422188 4293760400 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5797 5293 237 467 0 5328 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23188

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 12526
/proc/meminfo: memFree=29718212/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=23584 CPUtime=162.3
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5576 0 0 0 14427 1803 0 0 25 0 1 0 14677921 24150016 5397 4089446400 134512640 136422188 4293760400 18446744073709551615 135028930 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5896 5397 237 467 0 5427 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23584

[startup+222.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 12527
/proc/meminfo: memFree=29717912/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=23724 CPUtime=222.3
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5621 0 0 0 19925 2305 0 0 25 0 1 0 14677921 24293376 5442 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 5931 5442 237 467 0 5462 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23724

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 12529
/proc/meminfo: memFree=29717128/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24012 CPUtime=282.3
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5680 0 0 0 25390 2840 0 0 25 0 1 0 14677921 24588288 5501 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6003 5501 237 467 0 5534 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24012

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 12531
/proc/meminfo: memFree=29716964/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24144 CPUtime=342.3
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5727 0 0 0 30893 3337 0 0 25 0 1 0 14677921 24723456 5548 4089446400 134512640 136422188 4293760400 18446744073709551615 134643577 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6036 5548 237 467 0 5567 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24144

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12533
/proc/meminfo: memFree=29716912/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24412 CPUtime=402.31
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5768 0 0 0 36389 3842 0 0 25 0 1 0 14677921 24997888 5589 4089446400 134512640 136422188 4293760400 18446744073709551615 134864483 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6103 5589 237 467 0 5634 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24412

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12534
/proc/meminfo: memFree=29716748/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24412 CPUtime=462.31
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5794 0 0 0 41897 4334 0 0 25 0 1 0 14677921 24997888 5615 4089446400 134512640 136422188 4293760400 18446744073709551615 134862146 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6103 5615 237 467 0 5634 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24412

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12535
/proc/meminfo: memFree=29716696/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24556 CPUtime=522.31
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5805 0 0 0 47386 4845 0 0 25 0 1 0 14677921 25145344 5626 4089446400 134512640 136422188 4293760400 18446744073709551615 134862616 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6139 5626 237 467 0 5670 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24556

[startup+582.301 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 12537
/proc/meminfo: memFree=29716028/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24688 CPUtime=582.32
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5846 0 0 0 52880 5352 0 0 25 0 1 0 14677921 25280512 5667 4089446400 134512640 136422188 4293760400 18446744073709551615 135686888 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6172 5667 237 467 0 5703 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 24688

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 12539
/proc/meminfo: memFree=29715984/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24820 CPUtime=642.33
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5884 0 0 0 58399 5834 0 0 25 0 1 0 14677921 25415680 5705 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6205 5705 237 467 0 5736 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 24820

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12543
/proc/meminfo: memFree=29715736/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=24952 CPUtime=822.33
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5916 0 0 0 74929 7304 0 0 25 0 1 0 14677921 25550848 5737 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6238 5737 237 467 0 5769 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 24952

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12548
/proc/meminfo: memFree=29714896/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25088 CPUtime=882.33
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5934 0 0 0 80420 7813 0 0 25 0 1 0 14677921 25690112 5755 4089446400 134512640 136422188 4293760400 18446744073709551615 135026963 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6272 5755 237 467 0 5803 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 25088

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12550
/proc/meminfo: memFree=29714820/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25088 CPUtime=942.33
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5966 0 0 0 85935 8298 0 0 25 0 1 0 14677921 25690112 5787 4089446400 134512640 136422188 4293760400 18446744073709551615 134863980 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6272 5787 237 467 0 5803 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 25088

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12552
/proc/meminfo: memFree=29714776/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25228 CPUtime=1002.34
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5974 0 0 0 91432 8802 0 0 25 0 1 0 14677921 25833472 5795 4089446400 134512640 136422188 4293760400 18446744073709551615 134864217 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6307 5795 237 467 0 5838 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 25228

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12553
/proc/meminfo: memFree=29714744/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25228 CPUtime=1062.34
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5989 0 0 0 96959 9275 0 0 25 0 1 0 14677921 25833472 5810 4089446400 134512640 136422188 4293760400 18446744073709551615 134974271 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6307 5810 237 467 0 5838 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 25228

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 12554
/proc/meminfo: memFree=29714572/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25228 CPUtime=1122.35
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5989 0 0 0 102433 9802 0 0 25 0 1 0 14677921 25833472 5810 4089446400 134512640 136422188 4293760400 18446744073709551615 135006304 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6307 5810 237 467 0 5838 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 25228

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 12556
/proc/meminfo: memFree=29714156/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25228 CPUtime=1182.34
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 5994 0 0 0 107913 10321 0 0 25 0 1 0 14677921 25833472 5815 4089446400 134512640 136422188 4293760400 18446744073709551615 135686896 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6307 5815 237 467 0 5838 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 25228

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12558
/proc/meminfo: memFree=29713488/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25464 CPUtime=1242.35
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6043 0 0 0 113427 10808 0 0 25 0 1 0 14677921 26075136 5864 4089446400 134512640 136422188 4293760400 18446744073709551615 134583648 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6366 5864 237 467 0 5897 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 25464

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12560
/proc/meminfo: memFree=29713188/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25596 CPUtime=1302.36
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6065 0 0 0 118963 11273 0 0 25 0 1 0 14677921 26210304 5886 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6399 5886 237 467 0 5930 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 25596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12561
/proc/meminfo: memFree=29713032/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25596 CPUtime=1362.35
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6066 0 0 0 124476 11759 0 0 25 0 1 0 14677921 26210304 5887 4089446400 134512640 136422188 4293760400 18446744073709551615 134862395 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6399 5887 237 467 0 5930 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 25596

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12562
/proc/meminfo: memFree=29713220/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25596 CPUtime=1422.36
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6067 0 0 0 130013 12223 0 0 25 0 1 0 14677921 26210304 5888 4089446400 134512640 136422188 4293760400 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6399 5888 237 467 0 5930 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 25596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12564
/proc/meminfo: memFree=29713052/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25596 CPUtime=1482.36
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6067 0 0 0 135528 12708 0 0 25 0 1 0 14677921 26210304 5888 4089446400 134512640 136422188 4293760400 18446744073709551615 135021107 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6399 5888 237 467 0 5930 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 25596

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12566
/proc/meminfo: memFree=29713256/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25728 CPUtime=1542.36
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6094 0 0 0 141061 13175 0 0 25 0 1 0 14677921 26345472 5915 4089446400 134512640 136422188 4293760400 18446744073709551615 135025968 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6432 5915 237 467 0 5963 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 25728

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 12568
/proc/meminfo: memFree=29712972/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25728 CPUtime=1602.37
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6112 0 0 0 146586 13651 0 0 25 0 1 0 14677921 26345472 5933 4089446400 134512640 136422188 4293760400 18446744073709551615 135026523 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6432 5933 237 467 0 5963 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 25728

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 12569
/proc/meminfo: memFree=29713032/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25860 CPUtime=1662.37
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6131 0 0 0 152115 14122 0 0 25 0 1 0 14677921 26480640 5952 4089446400 134512640 136422188 4293760400 18446744073709551615 135686880 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6465 5952 237 467 0 5996 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 25860

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12570
/proc/meminfo: memFree=29712992/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25860 CPUtime=1722.37
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6140 0 0 0 157640 14597 0 0 25 0 1 0 14677921 26480640 5961 4089446400 134512640 136422188 4293760400 18446744073709551615 135026072 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6465 5961 237 467 0 5996 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 25860

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12572
/proc/meminfo: memFree=29712568/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25860 CPUtime=1782.37
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6140 0 0 0 163133 15104 0 0 25 0 1 0 14677921 26480640 5961 4089446400 134512640 136422188 4293760400 18446744073709551615 134862401 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6465 5961 237 467 0 5996 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 25860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 12590
/proc/meminfo: memFree=29737024/32951124 swapFree=67111528/67111528
[pid=12520] ppid=12518 vsize=25860 CPUtime=1800.08
/proc/12520/stat : 12520 (pbct) R 12518 12520 12045 0 -1 4202496 6140 0 0 0 164760 15248 0 0 25 0 1 0 14677921 26480640 5961 4089446400 134512640 136422188 4293760400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12520/statm: 6465 5961 237 467 0 5996 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 25860

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.09
CPU user time (s): 1647.61
CPU system time (s): 152.483
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 25860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1647.61
system time used= 152.483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6141
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= 4
involuntary context switches= 6614

runsolver used 2.57061 second user time and 5.62115 second system time

The end

Launcher Data 

Begin job on node143 at 2010-07-07 03:04:16
IDJOB=2698852
IDBENCH=79287
IDSOLVER=1212
FILE ID=node143/2698852-1278464655
PBS_JOBID= 11233707
Free space on /tmp= 73404 MiB

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

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

MD5SUM BENCH= 6ba4b4283c00d7202a0c09683aff0663
RANDOM SEED=1925261566

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29741468 kB
Buffers:        109492 kB
Cached:        2869756 kB
SwapCached:          0 kB
Active:        1393560 kB
Inactive:      1667472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29741468 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4080 kB
Writeback:           0 kB
AnonPages:       81308 kB
Mapped:          15656 kB
Slab:            85156 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   227172 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= 73404 MiB
End job on node143 at 2010-07-07 03:34:18