Trace number 2698898

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.06 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676--soft-0-100-0.wbo
MD5SUMb818ef86615e3f5ee29c4c2fadd6f1fe
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 benchmark368.019
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
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.10	c 0.094985 19.9883 24 5950
0.09/0.10	o 1010
0.09/0.11	c 0.101984 20.2227 26 10330
0.09/0.11	o 1009
0.09/0.12	c 0.108983 20.457 77 13960
0.09/0.12	o 905
0.09/0.13	c 0.113982 20.457 81 14777
0.09/0.13	o 892
0.09/0.14	c 0.119981 20.457 85 16681
0.09/0.14	o 874
0.09/0.14	c 0.123981 20.457 86 17957
0.09/0.14	o 843
0.09/0.15	c 0.12998 20.457 90 21689
0.09/0.15	o 724
0.29/0.32	c 0.232964 20.457 402 24893
0.29/0.32	o 685
0.29/0.35	c 0.244962 20.457 445 25571
0.29/0.35	o 680
0.29/0.35	c 0.246962 20.457 446 25963
0.29/0.35	o 675
0.29/0.36	c 0.250961 20.457 446 27704
0.29/0.36	o 627
0.29/0.36	c 0.251961 20.457 446 28508
0.29/0.36	o 621
0.29/0.37	c 0.254961 20.457 447 29889
0.29/0.37	o 578
0.29/0.39	c 0.266959 20.457 479 30351
0.29/0.39	o 573
0.29/0.39	c 0.269958 20.457 480 31045
0.29/0.39	o 563
0.39/0.40	c 0.272958 20.457 480 32309
0.39/0.40	o 524
0.39/0.40	c 0.273958 20.457 480 33616
0.39/0.40	o 482
0.39/0.41	c 0.276957 20.457 484 33904
0.39/0.41	o 479
0.49/0.57	c 0.367944 20.457 732 34937
0.49/0.57	o 476
0.49/0.58	c 0.372943 20.457 735 35971
0.49/0.58	o 457
0.49/0.59	c 0.376942 20.457 735 36471
0.49/0.59	o 447
0.59/0.60	c 0.382941 20.457 737 36992
0.59/0.60	o 436
0.69/0.78	c 0.504923 20.457 957 38196
0.69/0.78	o 430
0.89/0.94	c 0.604908 20.457 1186 39277
0.89/0.94	o 421
0.89/0.96	c 0.612906 20.457 617 39547
0.89/0.96	o 420
1.19/1.25	c 0.776881 20.457 996 41335
1.19/1.25	o 401
1.29/1.32	c 0.830873 20.457 1115 42556
1.29/1.32	o 380
1.29/1.33	c 0.836872 20.457 1121 42855
1.29/1.33	o 374
1.69/1.72	c 1.07284 20.457 1017 45410
1.69/1.72	o 363
1.89/1.98	c 1.22281 20.457 1297 47558
1.89/1.98	o 324
2.99/3.02	c 1.84872 20.5859 856 52789
2.99/3.02	o 322
3.30/3.39	c 2.08468 20.5859 683 54722
3.30/3.39	o 317
3.39/3.41	c 2.08968 20.5859 693 55031
3.39/3.41	o 315
3.59/3.66	c 2.23666 20.5859 1010 56858
3.59/3.66	o 284
3.69/3.77	c 2.30265 20.5859 1150 57860
3.69/3.77	o 270
3.79/3.84	c 2.34364 20.5859 1240 58354
3.79/3.84	o 264
3.99/4.09	c 2.51362 20.5859 1007 59486
3.99/4.09	o 262
4.09/4.19	c 2.59161 20.5859 1154 60239
4.09/4.19	o 254
5.09/5.12	c 3.15752 20.5859 1066 64777
5.09/5.12	o 253
5.40/5.41	c 3.33149 20.5859 1532 66213
5.40/5.41	o 244
6.39/6.49	c 3.9684 20.5859 1084 71671
6.39/6.49	o 242
6.50/6.54	c 3.99539 20.5859 1138 72142
6.50/6.54	o 235
6.89/6.95	c 4.24935 20.5859 1134 74020
6.89/6.95	o 234
7.20/7.26	c 4.43933 20.5859 943 75563
7.20/7.26	o 233
7.30/7.36	c 4.49432 20.5859 1088 76268
7.30/7.36	o 226
7.90/7.95	c 4.85126 20.5859 678 78549
7.90/7.95	o 223
11.19/11.24	c 6.87195 20.5859 814 90260
11.19/11.24	o 216
12.99/13.02	c 7.96479 20.7148 1296 95352
12.99/13.02	o 203
14.30/14.36	c 8.76667 20.7148 885 100019
14.30/14.36	o 195
14.30/14.37	c 8.77067 20.7148 890 100312
14.30/14.37	o 187
14.50/14.58	c 8.89865 20.7148 1158 100954
14.50/14.58	o 183
15.39/15.41	c 9.43857 20.7148 861 103920
15.39/15.41	o 169
15.49/15.51	c 9.50455 20.7148 978 104572
15.49/15.51	o 162
15.59/15.61	c 9.57254 20.7148 1081 105096
15.59/15.61	o 158
16.09/16.18	c 9.92849 20.7148 1189 107463
16.09/16.18	o 156
16.19/16.28	c 9.98648 20.7148 699 107983
16.19/16.28	o 154
16.39/16.43	c 10.0765 20.7148 968 109505
16.39/16.43	o 123
17.89/17.93	c 11.0523 20.8438 718 116860
17.89/17.93	o 114
18.59/18.65	c 11.5212 20.8438 1052 119612
18.59/18.65	o 104
19.70/19.80	c 12.2461 20.8438 1299 123580
19.70/19.80	o 102
19.89/19.94	c 12.3431 20.8438 1209 124695
19.89/19.94	o 101
22.99/23.08	c 14.3838 20.8438 843 137666
22.99/23.08	o 100
23.09/23.12	c 14.4128 20.8438 951 138025
23.09/23.12	o 99
25.19/25.21	c 15.7266 20.8438 1271 145017
25.19/25.21	o 94
26.19/26.21	c 16.3395 20.8438 801 148896
26.19/26.21	o 88
27.89/27.92	c 17.4313 20.8438 1571 154011
27.89/27.92	o 79
29.29/29.39	c 18.3932 20.9727 2017 158792
29.29/29.39	o 68
29.89/29.95	c 18.7851 20.9727 1405 162217
29.89/29.95	o 44
30.39/30.46	c 19.1611 21.1016 1792 165510
30.39/30.46	o 29
31.59/31.61	c 20.0839 21.875 1666 175547
31.59/31.61	o 27
31.90/31.94	c 20.3549 21.875 1900 178451
31.90/31.94	o 22
32.29/32.35	c 20.7079 21.875 2951 182928
32.29/32.35	o 8
39.99/40.01	c 27.6348 24.4531 2995 270570
39.99/40.01	o 5
43.20/43.23	c 30.5194 24.4531 2743 311042
43.20/43.23	o 3
49.99/50.06	c 36.7984 24.4531 2293 398012
49.99/50.06	o 2
52.39/52.46	c 39.0011 24.4531 2912 426679
52.39/52.46	o 1
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	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-2698898-1278464678/watcher-2698898-1278464678 -o /tmp/evaluation-result-2698898-1278464678/solver-2698898-1278464678 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698898-1278464678.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.99 2.00 1.95 4/178 13127
/proc/meminfo: memFree=29845312/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=2136 CPUtime=0
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14680695 2187264 174 4089446400 134512640 136422188 4290177360 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13127/statm: 534 174 144 467 0 65 0

[startup+0.0793861 s]
/proc/loadavg: 1.99 2.00 1.95 4/178 13127
/proc/meminfo: memFree=29845312/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=19676 CPUtime=0.07
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4566 0 0 0 7 0 0 0 25 0 1 0 14680695 20148224 4453 4089446400 134512640 136422188 4290177360 18446744073709551615 134589604 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 4919 4454 203 467 0 4450 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19676

[startup+0.100382 s]
/proc/loadavg: 1.99 2.00 1.95 4/178 13127
/proc/meminfo: memFree=29845312/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=20464 CPUtime=0.09
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4754 0 0 0 9 0 0 0 25 0 1 0 14680695 20955136 4641 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5116 4641 213 467 0 4647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20464

[startup+0.300345 s]
/proc/loadavg: 1.99 2.00 1.95 4/178 13127
/proc/meminfo: memFree=29845312/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=20944 CPUtime=0.29
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4851 0 0 0 21 8 0 0 18 0 1 0 14680695 21446656 4731 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5236 4731 237 467 0 4767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20944

[startup+0.700282 s]
/proc/loadavg: 1.99 2.00 1.95 4/178 13127
/proc/meminfo: memFree=29845312/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=20944 CPUtime=0.69
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4866 0 0 0 44 25 0 0 18 0 1 0 14680695 21446656 4731 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5236 4731 237 467 0 4767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20944

[startup+1.50113 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13128
/proc/meminfo: memFree=29827328/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=20944 CPUtime=1.5
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4883 0 0 0 94 56 0 0 19 0 1 0 14680695 21446656 4742 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5236 4742 237 467 0 4767 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 20944

[startup+3.10083 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13128
/proc/meminfo: memFree=29827204/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=21076 CPUtime=3.09
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4908 0 0 0 189 120 0 0 25 0 1 0 14680695 21581824 4764 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5269 4764 237 467 0 4800 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21076

[startup+6.30026 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13128
/proc/meminfo: memFree=29827200/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=21076 CPUtime=6.29
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4930 0 0 0 385 244 0 0 21 0 1 0 14680695 21581824 4777 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5269 4777 237 467 0 4800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21076

[startup+12.7011 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13129
/proc/meminfo: memFree=29827204/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=21208 CPUtime=12.69
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 4962 0 0 0 775 494 0 0 20 0 1 0 14680695 21716992 4802 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5302 4802 237 467 0 4833 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21208

[startup+25.5007 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13129
/proc/meminfo: memFree=29827272/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=21340 CPUtime=25.49
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5024 0 0 0 1590 959 0 0 25 0 1 0 14680695 21852160 4847 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13127/statm: 5335 4847 237 467 0 4866 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21340

[startup+51.1011 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13129
/proc/meminfo: memFree=29823704/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=51.09
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5959 0 0 0 3775 1334 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25036

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13131
/proc/meminfo: memFree=29817608/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=102.3
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 8467 1763 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25036

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13133
/proc/meminfo: memFree=29817560/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=162.29
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 13954 2275 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 134864374 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25036

[startup+222.301 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 13134
/proc/meminfo: memFree=29817388/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=222.3
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 19440 2790 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135011328 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25036

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 13135
/proc/meminfo: memFree=29816708/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=282.3
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 24918 3312 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 25036

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13137
/proc/meminfo: memFree=29816656/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=342.3
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 30436 3794 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135027311 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 25036

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13139
/proc/meminfo: memFree=29813132/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=402.3
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 35926 4304 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135025922 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25036

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13141
/proc/meminfo: memFree=29812816/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=462.31
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 41423 4808 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 134862241 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 25036

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13142
/proc/meminfo: memFree=29812892/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=522.3
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 46915 5315 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135021973 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 25036

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13143
/proc/meminfo: memFree=29811712/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=582.31
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 52383 5848 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 134862253 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25036

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13145
/proc/meminfo: memFree=29811680/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=642.32
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 57878 6354 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 25036

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13150
/proc/meminfo: memFree=29810040/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25036 CPUtime=822.32
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5960 0 0 0 74369 7863 0 0 25 0 1 0 14680695 25636864 5771 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6259 5771 237 467 0 5790 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25036

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13154
/proc/meminfo: memFree=29809200/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25168 CPUtime=882.32
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 5982 0 0 0 79863 8369 0 0 25 0 1 0 14680695 25772032 5793 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6292 5793 237 467 0 5823 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25168

[startup+942.301 s]
/proc/loadavg: 1.92 1.98 1.95 2/177 13157
/proc/meminfo: memFree=29916176/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25300 CPUtime=942.32
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6012 0 0 0 85377 8855 0 0 25 0 1 0 14680695 25907200 5823 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6325 5823 237 467 0 5856 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25300

[startup+1002.3 s]
/proc/loadavg: 1.34 1.80 1.89 2/171 13180
/proc/meminfo: memFree=29921928/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25300 CPUtime=1002.31
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6012 0 0 0 90869 9362 0 0 25 0 1 0 14680695 25907200 5823 4089446400 134512640 136422188 4290177360 18446744073709551615 134863989 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6325 5823 237 467 0 5856 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 25300

[startup+1062.3 s]
/proc/loadavg: 1.20 1.67 1.84 2/171 13182
/proc/meminfo: memFree=29922004/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25300 CPUtime=1062.32
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6012 0 0 0 96383 9849 0 0 25 0 1 0 14680695 25907200 5823 4089446400 134512640 136422188 4290177360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6325 5823 237 467 0 5856 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25300

[startup+1122.3 s]
/proc/loadavg: 1.07 1.55 1.78 2/171 13183
/proc/meminfo: memFree=29921964/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25300 CPUtime=1122.33
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6012 0 0 0 101883 10350 0 0 25 0 1 0 14680695 25907200 5823 4089446400 134512640 136422188 4290177360 18446744073709551615 134903718 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6325 5823 237 467 0 5856 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 25300

[startup+1182.3 s]
/proc/loadavg: 1.02 1.44 1.73 2/171 13184
/proc/meminfo: memFree=29922156/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25300 CPUtime=1182.33
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6012 0 0 0 107373 10860 0 0 25 0 1 0 14680695 25907200 5823 4089446400 134512640 136422188 4290177360 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6325 5823 237 467 0 5856 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 25300

[startup+1242.3 s]
/proc/loadavg: 1.01 1.36 1.68 2/171 13186
/proc/meminfo: memFree=29921868/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25300 CPUtime=1242.33
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6012 0 0 0 112876 11357 0 0 25 0 1 0 14680695 25907200 5823 4089446400 134512640 136422188 4290177360 18446744073709551615 135006487 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6325 5823 237 467 0 5856 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 25300

[startup+1302.3 s]
/proc/loadavg: 1.00 1.29 1.63 2/171 13188
/proc/meminfo: memFree=29921828/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25620 CPUtime=1302.33
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6091 0 0 0 118388 11845 0 0 25 0 1 0 14680695 26234880 5902 4089446400 134512640 136422188 4290177360 18446744073709551615 135029200 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6405 5902 237 467 0 5936 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 25620

[startup+1362.3 s]
/proc/loadavg: 1.00 1.24 1.59 2/171 13190
/proc/meminfo: memFree=29921908/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25620 CPUtime=1362.33
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6097 0 0 0 123910 12323 0 0 25 0 1 0 14680695 26234880 5908 4089446400 134512640 136422188 4290177360 18446744073709551615 135026966 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6405 5908 237 467 0 5936 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 25620

[startup+1422.31 s]
/proc/loadavg: 1.00 1.19 1.55 2/171 13191
/proc/meminfo: memFree=29921852/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25620 CPUtime=1422.34
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6098 0 0 0 129423 12811 0 0 25 0 1 0 14680695 26234880 5909 4089446400 134512640 136422188 4290177360 18446744073709551615 135025994 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6405 5909 237 467 0 5936 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 25620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.15 1.52 2/171 13192
/proc/meminfo: memFree=29921680/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25752 CPUtime=1482.33
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6120 0 0 0 134931 13302 0 0 25 0 1 0 14680695 26370048 5931 4089446400 134512640 136422188 4290177360 18446744073709551615 134864012 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6438 5931 237 467 0 5969 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 25752

[startup+1542.3 s]
/proc/loadavg: 1.00 1.12 1.48 2/171 13194
/proc/meminfo: memFree=29921648/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25884 CPUtime=1542.33
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6136 0 0 0 140432 13801 0 0 25 0 1 0 14680695 26505216 5947 4089446400 134512640 136422188 4290177360 18446744073709551615 135687093 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6471 5947 237 467 0 6002 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 25884

[startup+1602.3 s]
/proc/loadavg: 1.00 1.10 1.45 2/171 13196
/proc/meminfo: memFree=29921608/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25884 CPUtime=1602.34
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6137 0 0 0 145941 14293 0 0 25 0 1 0 14680695 26505216 5948 4089446400 134512640 136422188 4290177360 18446744073709551615 134862260 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6471 5948 237 467 0 6002 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 25884

[startup+1662.3 s]
/proc/loadavg: 1.04 1.09 1.42 2/171 13198
/proc/meminfo: memFree=29921432/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25884 CPUtime=1662.34
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6156 0 0 0 151447 14787 0 0 25 0 1 0 14680695 26505216 5967 4089446400 134512640 136422188 4290177360 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6471 5967 237 467 0 6002 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 25884

[startup+1722.3 s]
/proc/loadavg: 1.01 1.07 1.39 2/171 13199
/proc/meminfo: memFree=29921520/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25884 CPUtime=1722.34
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6160 0 0 0 156950 15284 0 0 25 0 1 0 14680695 26505216 5971 4089446400 134512640 136422188 4290177360 18446744073709551615 134974279 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6471 5971 237 467 0 6002 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 25884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.06 1.36 2/171 13200
/proc/meminfo: memFree=29921592/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25884 CPUtime=1782.34
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6169 0 0 0 162447 15787 0 0 25 0 1 0 14680695 26505216 5980 4089446400 134512640 136422188 4290177360 18446744073709551615 134862276 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6471 5980 237 467 0 6002 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 25884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.05 1.36 2/171 13201
/proc/meminfo: memFree=29921568/32951124 swapFree=67111528/67111528
[pid=13127] ppid=13125 vsize=25884 CPUtime=1800.04
/proc/13127/stat : 13127 (pbct) R 13125 13127 12527 0 -1 4202496 6169 0 0 0 164074 15930 0 0 25 0 1 0 14680695 26505216 5980 4089446400 134512640 136422188 4290177360 18446744073709551615 134903714 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13127/statm: 6471 5980 237 467 0 6002 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 25884

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1640.75
CPU system time (s): 159.309
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1640.75
system time used= 159.309
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 4678

runsolver used 2.54161 second user time and 5.65614 second system time

The end

Launcher Data 

Begin job on node142 at 2010-07-07 03:04:38
IDJOB=2698898
IDBENCH=79302
IDSOLVER=1212
FILE ID=node142/2698898-1278464678
PBS_JOBID= 11233708
Free space on /tmp= 73516 MiB

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

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

MD5SUM BENCH= b818ef86615e3f5ee29c4c2fadd6f1fe
RANDOM SEED=853158806

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
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:      29845964 kB
Buffers:        110948 kB
Cached:        2690044 kB
SwapCached:          0 kB
Active:         732204 kB
Inactive:      2227492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29845964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:      159104 kB
Mapped:          15224 kB
Slab:            81684 kB
PageTables:       4988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   302716 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= 73516 MiB
End job on node142 at 2010-07-07 03:34:40