Trace number 2698868

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.1900552735--soft-0-100-0.wbo
MD5SUM30e25559b2b6f1151f21e207b2f87b54
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark667.905
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 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 739
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.10/0.11	c 0.093985 19.9805 110 12532
0.10/0.11	o 1142
0.10/0.12	c 0.095985 20.2148 126 18016
0.10/0.12	o 1113
0.10/0.13	c 0.096985 20.4492 128 21295
0.10/0.13	o 999
0.10/0.15	c 0.101984 20.4492 207 22365
0.10/0.15	o 977
0.10/0.16	c 0.102984 20.4492 209 25231
0.10/0.16	o 788
0.10/0.16	c 0.104984 20.4492 209 28026
0.10/0.16	o 531
0.10/0.19	c 0.107983 20.4492 244 28574
0.10/0.19	o 517
0.19/0.22	c 0.113982 20.4492 260 28970
0.19/0.22	o 515
0.19/0.27	c 0.117982 20.4492 330 29424
0.19/0.27	o 506
0.29/0.32	c 0.12698 20.4492 377 29664
0.29/0.32	o 505
0.39/0.45	c 0.147977 20.4492 615 32011
0.39/0.45	o 465
0.49/0.54	c 0.168974 20.4492 761 32959
0.49/0.54	o 458
0.59/0.60	c 0.175973 20.4492 859 33504
0.59/0.60	o 452
0.59/0.66	c 0.183972 20.4492 961 34413
0.59/0.66	o 450
0.59/0.68	c 0.185971 20.4492 977 34714
0.59/0.68	o 446
0.69/0.75	c 0.19197 20.4492 1052 35463
0.69/0.75	o 440
0.69/0.75	c 0.19197 20.4492 1054 35890
0.69/0.75	o 439
0.69/0.76	c 0.19397 20.4492 1058 36406
0.69/0.76	o 431
0.69/0.78	c 0.19497 20.4492 1073 37351
0.69/0.78	o 415
0.89/0.92	c 0.206968 20.4492 656 38946
0.89/0.92	o 385
0.89/0.93	c 0.207968 20.4492 658 39218
0.89/0.93	o 383
0.89/0.95	c 0.213967 20.4492 688 39554
0.89/0.95	o 381
0.99/1.00	c 0.223965 20.4492 749 40013
0.99/1.00	o 379
0.99/1.03	c 0.226965 20.4492 778 40574
0.99/1.03	o 365
1.89/1.96	c 0.349946 20.5781 1314 44211
1.89/1.96	o 358
1.99/2.00	c 0.355945 20.5781 769 45360
1.99/2.00	o 345
1.99/2.01	c 0.356945 20.5781 786 45552
1.99/2.01	o 343
2.09/2.15	c 0.373943 20.5781 987 46546
2.09/2.15	o 335
2.09/2.16	c 0.374943 20.5781 995 46746
2.09/2.16	o 334
2.19/2.20	c 0.379942 20.5781 1051 47069
2.19/2.20	o 330
2.59/2.60	c 0.433934 20.5781 902 49157
2.59/2.60	o 328
2.59/2.68	c 0.444932 20.5781 984 49793
2.59/2.68	o 315
2.69/2.75	c 0.452931 20.5781 1115 50550
2.69/2.75	o 312
3.19/3.25	c 0.550916 20.5781 1201 53277
3.19/3.25	o 311
3.19/3.26	c 0.552915 20.5781 607 53978
3.19/3.26	o 291
3.19/3.27	c 0.553915 20.5781 615 54151
3.19/3.27	o 290
3.59/3.68	c 0.643902 20.5781 1149 56249
3.59/3.68	o 275
3.69/3.79	c 0.669898 20.5781 1246 56579
3.69/3.79	o 274
3.89/3.93	c 0.706892 20.5781 834 57595
3.89/3.93	o 266
3.99/4.01	c 0.724889 20.5781 940 58449
3.99/4.01	o 261
4.50/4.52	c 0.801878 20.5781 849 60228
4.50/4.52	o 255
4.69/4.76	c 0.836872 20.5781 1175 62240
4.69/4.76	o 229
7.19/7.21	c 1.20682 20.5781 823 69870
7.19/7.21	o 224
7.39/7.40	c 1.23981 20.5781 1080 70856
7.39/7.40	o 220
7.59/7.66	c 1.3408 20.707 1304 72730
7.59/7.66	o 212
8.80/8.90	c 1.52377 20.707 934 77394
8.80/8.90	o 209
8.99/9.06	c 1.55776 20.707 1202 78782
8.99/9.06	o 193
9.39/9.49	c 1.63975 20.707 1466 80948
9.39/9.49	o 180
10.09/10.12	c 1.82772 20.707 1048 84206
10.09/10.12	o 155
10.39/10.44	c 1.92171 20.707 819 85377
10.39/10.44	o 152
10.89/10.91	c 2.03369 20.707 913 87427
10.89/10.91	o 147
11.00/11.01	c 2.04669 20.707 1106 87994
11.00/11.01	o 145
11.09/11.12	c 2.06269 20.707 1233 88574
11.09/11.12	o 144
11.19/11.21	c 2.07968 20.707 741 89095
11.19/11.21	o 143
11.69/11.73	c 2.17667 20.707 1056 92081
11.69/11.73	o 130
11.69/11.77	c 2.18667 20.707 1129 92512
11.69/11.77	o 120
12.79/12.86	c 2.42363 20.707 822 96934
12.79/12.86	o 112
14.59/14.67	c 2.79458 20.707 856 103299
14.59/14.67	o 106
18.49/18.54	c 3.66744 20.8359 746 118050
18.49/18.54	o 105
19.19/19.27	c 3.81742 20.8359 1326 120693
19.19/19.27	o 104
20.59/20.68	c 4.08638 20.8359 1120 126467
20.59/20.68	o 96
21.49/21.52	c 4.26035 20.8359 1083 129654
21.49/21.52	o 95
22.39/22.41	c 4.45232 20.8359 898 132799
22.39/22.41	o 94
22.79/22.81	c 4.54931 20.8359 800 134449
22.79/22.81	o 93
22.79/22.82	c 4.55531 20.8359 830 134609
22.79/22.82	o 91
23.39/23.49	c 4.77127 20.8359 1080 137322
23.39/23.49	o 88
23.50/23.59	c 4.79627 20.8359 1225 137873
23.50/23.59	o 86
24.60/24.61	c 5.03723 20.8359 1293 141821
24.60/24.61	o 78
24.99/25.07	c 5.18521 20.9648 898 144368
24.99/25.07	o 67
26.50/26.57	c 5.61015 21.0938 1464 149735
26.50/26.57	o 64
26.69/26.75	c 5.65614 21.0938 1857 150803
26.69/26.75	o 61
27.00/27.08	c 5.75912 21.0938 1395 152211
27.00/27.08	o 59
36.50/36.55	c 9.03563 21.3516 1238 196524
36.50/36.55	o 56
37.59/37.67	c 9.40757 21.3516 1259 201406
37.59/37.67	o 54
39.60/39.64	c 10.0065 21.3516 1643 211919
39.60/39.64	o 42
52.39/52.49	c 15.3157 22.5117 2091 288492
52.39/52.49	o 40
59.00/59.00	c 18.0843 22.5117 2295 328145
59.00/59.00	o 28
59.30/59.39	c 18.2722 22.5117 2995 332019
59.30/59.39	o 23
59.89/59.98	c 18.6492 22.5117 2191 338278
59.89/59.98	o 20
64.29/64.32	c 21.3787 22.5117 3205 382237
64.29/64.32	o 19
64.79/64.81	c 21.6707 22.5117 2728 386976
64.79/64.81	o 18
65.19/65.27	c 21.9487 22.5117 2309 392093
65.19/65.27	o 17
65.90/65.95	c 22.3876 22.5117 3381 399308
65.90/65.95	o 15
66.00/66.09	c 22.4746 22.5117 2677 401101
66.00/66.09	o 12
68.39/68.45	c 23.9984 22.3242 2757 426262
68.39/68.45	o 9
89.39/89.46	c 39.1211 22.7109 3671 692636
89.39/89.46	o 8
94.00/94.05	c 42.4975 22.7109 2359 747115
94.00/94.05	o 4
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	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698868-1278464657/watcher-2698868-1278464657 -o /tmp/evaluation-result-2698868-1278464657/solver-2698868-1278464657 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698868-1278464657.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 12332
/proc/meminfo: memFree=29949460/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=2136 CPUtime=0
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 254 0 0 0 0 0 0 0 21 0 1 0 14678809 2187264 174 4089446400 134512640 136422188 4293934112 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12332/statm: 534 174 144 467 0 65 0

[startup+0.107111 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 12332
/proc/meminfo: memFree=29949460/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=20456 CPUtime=0.1
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4757 0 0 0 9 1 0 0 21 0 1 0 14678809 20946944 4644 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5114 4644 214 467 0 4645 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20456

[startup+0.201093 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 12332
/proc/meminfo: memFree=29949460/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=20936 CPUtime=0.19
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4859 0 0 0 10 9 0 0 21 0 1 0 14678809 21438464 4739 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5234 4739 237 467 0 4765 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20936

[startup+0.301073 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 12332
/proc/meminfo: memFree=29949460/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=20936 CPUtime=0.29
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4861 0 0 0 12 17 0 0 21 0 1 0 14678809 21438464 4739 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5234 4739 237 467 0 4765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20936

[startup+0.701004 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 12332
/proc/meminfo: memFree=29949460/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=20936 CPUtime=0.69
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4867 0 0 0 18 51 0 0 22 0 1 0 14678809 21438464 4739 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5234 4739 237 467 0 4765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20936

[startup+1.50086 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12333
/proc/meminfo: memFree=29932260/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=21068 CPUtime=1.49
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4895 0 0 0 28 121 0 0 25 0 1 0 14678809 21573632 4758 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5267 4758 237 467 0 4798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21068

[startup+3.10058 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12333
/proc/meminfo: memFree=29931764/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=21068 CPUtime=3.09
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4915 0 0 0 51 258 0 0 25 0 1 0 14678809 21573632 4769 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5267 4769 237 467 0 4798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21068

[startup+6.30102 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12333
/proc/meminfo: memFree=29932236/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=21068 CPUtime=6.29
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4940 0 0 0 108 521 0 0 25 0 1 0 14678809 21573632 4785 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5267 4785 237 467 0 4798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21068

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12333
/proc/meminfo: memFree=29932244/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=21200 CPUtime=12.69
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 4985 0 0 0 238 1031 0 0 25 0 1 0 14678809 21708800 4816 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5300 4816 237 467 0 4831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21200

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12333
/proc/meminfo: memFree=29932636/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=21464 CPUtime=25.49
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 5054 0 0 0 532 2017 0 0 25 0 1 0 14678809 21979136 4872 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5366 4872 237 467 0 4897 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21464

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12333
/proc/meminfo: memFree=29931316/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=23048 CPUtime=51.09
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 5441 0 0 0 1474 3635 0 0 25 0 1 0 14678809 23601152 5253 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5762 5253 237 467 0 5293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23048

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12335
/proc/meminfo: memFree=29928268/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=23780 CPUtime=102.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 5673 0 0 0 4869 5361 0 0 25 0 1 0 14678809 24350720 5455 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 5945 5455 237 467 0 5476 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23780

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12337
/proc/meminfo: memFree=29927588/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=24308 CPUtime=162.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 5796 0 0 0 9394 6836 0 0 25 0 1 0 14678809 24891392 5578 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6077 5578 237 467 0 5608 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24308

[startup+222.306 s]
/proc/loadavg: 2.08 2.02 1.94 3/179 12339
/proc/meminfo: memFree=29927156/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=24572 CPUtime=222.31
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 5872 0 0 0 13913 8318 0 0 25 0 1 0 14678809 25161728 5654 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6143 5654 237 467 0 5674 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 24572

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 12339
/proc/meminfo: memFree=29926096/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=24836 CPUtime=282.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 5936 0 0 0 18377 9853 0 0 25 0 1 0 14678809 25432064 5718 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6209 5718 237 467 0 5740 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24836

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 12341
/proc/meminfo: memFree=29925784/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=25100 CPUtime=342.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 5997 0 0 0 22926 11304 0 0 25 0 1 0 14678809 25702400 5779 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6275 5779 237 467 0 5806 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 25100

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12343
/proc/meminfo: memFree=29925608/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=25136 CPUtime=402.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6054 0 0 0 27447 12783 0 0 25 0 1 0 14678809 25739264 5797 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6284 5797 237 467 0 5815 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25136

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12345
/proc/meminfo: memFree=29924188/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=25268 CPUtime=462.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6091 0 0 0 32010 14220 0 0 25 0 1 0 14678809 25874432 5834 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6317 5834 237 467 0 5848 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25268

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12346
/proc/meminfo: memFree=29923380/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=25400 CPUtime=522.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6121 0 0 0 36607 15623 0 0 25 0 1 0 14678809 26009600 5864 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6350 5864 237 467 0 5881 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 25400

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12347
/proc/meminfo: memFree=29923340/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=25532 CPUtime=582.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6150 0 0 0 41053 17177 0 0 25 0 1 0 14678809 26144768 5893 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6383 5893 237 467 0 5914 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 25532

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 12349
/proc/meminfo: memFree=29923056/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=25664 CPUtime=642.3
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6190 0 0 0 45616 18614 0 0 25 0 1 0 14678809 26279936 5933 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6416 5933 237 467 0 5947 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 25664

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 12358
/proc/meminfo: memFree=29919956/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26016 CPUtime=882.31
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6315 0 0 0 63873 24358 0 0 25 0 1 0 14678809 26640384 6004 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6504 6004 237 467 0 6035 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 26016

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12360
/proc/meminfo: memFree=29920248/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26016 CPUtime=942.31
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6325 0 0 0 68482 25749 0 0 25 0 1 0 14678809 26640384 6014 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6504 6014 237 467 0 6035 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26016

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12362
/proc/meminfo: memFree=29920196/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26016 CPUtime=1002.31
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6332 0 0 0 73021 27210 0 0 25 0 1 0 14678809 26640384 6021 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6504 6021 237 467 0 6035 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 26016

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12364
/proc/meminfo: memFree=29919008/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26280 CPUtime=1062.31
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6377 0 0 0 77605 28626 0 0 25 0 1 0 14678809 26910720 6066 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6570 6066 237 467 0 6101 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 26280

[startup+1122.3 s]
/proc/loadavg: 1.76 1.95 1.94 2/171 12388
/proc/meminfo: memFree=29960056/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26280 CPUtime=1122.31
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6377 0 0 0 82012 30219 0 0 25 0 1 0 14678809 26910720 6066 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6570 6066 237 467 0 6101 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 26280

[startup+1182.3 s]
/proc/loadavg: 1.28 1.77 1.87 2/171 12388
/proc/meminfo: memFree=29960228/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26280 CPUtime=1182.31
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6377 0 0 0 86132 32099 0 0 25 0 1 0 14678809 26910720 6066 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6570 6066 237 467 0 6101 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 26280

[startup+1242.3 s]
/proc/loadavg: 1.10 1.63 1.82 2/171 12390
/proc/meminfo: memFree=29959568/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26412 CPUtime=1242.32
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6422 0 0 0 90365 33867 0 0 25 0 1 0 14678809 27045888 6111 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6603 6111 237 467 0 6134 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 26412

[startup+1302.3 s]
/proc/loadavg: 1.04 1.51 1.76 2/171 12392
/proc/meminfo: memFree=29959276/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26544 CPUtime=1302.32
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6459 0 0 0 94569 35663 0 0 25 0 1 0 14678809 27181056 6148 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6636 6148 237 467 0 6167 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 26544

[startup+1362.3 s]
/proc/loadavg: 1.07 1.43 1.72 2/171 12394
/proc/meminfo: memFree=29959124/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26808 CPUtime=1362.32
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6505 0 0 0 98821 37411 0 0 25 0 1 0 14678809 27451392 6194 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6702 6194 237 467 0 6233 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 26808

[startup+1422.3 s]
/proc/loadavg: 1.02 1.35 1.67 2/171 12396
/proc/meminfo: memFree=29958948/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26808 CPUtime=1422.33
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6508 0 0 0 103085 39148 0 0 25 0 1 0 14678809 27451392 6197 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6702 6197 237 467 0 6233 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 26808

[startup+1482.3 s]
/proc/loadavg: 1.01 1.28 1.62 2/171 12396
/proc/meminfo: memFree=29958896/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26808 CPUtime=1482.32
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6508 0 0 0 107246 40986 0 0 25 0 1 0 14678809 27451392 6197 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6702 6197 237 467 0 6233 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 26808

[startup+1542.31 s]
/proc/loadavg: 1.00 1.23 1.58 2/171 12398
/proc/meminfo: memFree=29958860/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26808 CPUtime=1542.33
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6517 0 0 0 111471 42762 0 0 25 0 1 0 14678809 27451392 6206 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6702 6206 237 467 0 6233 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 26808

[startup+1602.3 s]
/proc/loadavg: 1.00 1.19 1.54 2/171 12400
/proc/meminfo: memFree=29958944/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26808 CPUtime=1602.32
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6518 0 0 0 115663 44569 0 0 25 0 1 0 14678809 27451392 6207 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6702 6207 237 467 0 6233 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 26808

[startup+1662.3 s]
/proc/loadavg: 1.00 1.15 1.51 2/171 12402
/proc/meminfo: memFree=29959020/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26808 CPUtime=1662.32
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6519 0 0 0 119924 46308 0 0 25 0 1 0 14678809 27451392 6208 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6702 6208 237 467 0 6233 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 26808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.12 1.47 2/171 12403
/proc/meminfo: memFree=29959104/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26808 CPUtime=1722.32
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6519 0 0 0 124074 48158 0 0 25 0 1 0 14678809 27451392 6208 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6702 6208 237 467 0 6233 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 26808

[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.44 2/171 12404
/proc/meminfo: memFree=29959052/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26940 CPUtime=1782.33
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6552 0 0 0 128282 49951 0 0 25 0 1 0 14678809 27586560 6241 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6735 6241 237 467 0 6266 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 26940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 12406
/proc/meminfo: memFree=29958904/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26940 CPUtime=1800.04
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6552 0 0 0 129519 50485 0 0 25 0 1 0 14678809 27586560 6241 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6735 6241 237 467 0 6266 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26940

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

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

[startup+1800 s]
/proc/loadavg: 1.00 1.09 1.43 2/171 12406
/proc/meminfo: memFree=29958904/32951124 swapFree=67111528/67111528
[pid=12332] ppid=12330 vsize=26940 CPUtime=1800.04
/proc/12332/stat : 12332 (pbct) R 12330 12332 11829 0 -1 4202496 6552 0 0 0 129519 50485 0 0 25 0 1 0 14678809 27586560 6241 4089446400 134512640 136422188 4293934112 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12332/statm: 6735 6241 237 467 0 6266 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 26940

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.04
CPU user time (s): 1295.19
CPU system time (s): 504.852
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 26940

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

runsolver used 2.47162 second user time and 5.72213 second system time

The end

Launcher Data 

Begin job on node136 at 2010-07-07 03:04:17
IDJOB=2698868
IDBENCH=79292
IDSOLVER=1212
FILE ID=node136/2698868-1278464657
PBS_JOBID= 11233721
Free space on /tmp= 73820 MiB

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

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

MD5SUM BENCH= 30e25559b2b6f1151f21e207b2f87b54
RANDOM SEED=704871113

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29949484 kB
Buffers:        108924 kB
Cached:        2661620 kB
SwapCached:          0 kB
Active:         548276 kB
Inactive:      2314828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29949484 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:       92976 kB
Mapped:          15448 kB
Slab:            73524 kB
PageTables:       5628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   231868 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= 73820 MiB
End job on node136 at 2010-07-07 03:34:19