Trace number 2695629

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1MSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-33-100-0.wbo
MD5SUM88fe2d235d496f5582f591254b27e0dd
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark401.846
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 constraints1868
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 94981
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94980
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 5/18 clauses 834/1850 units 0
0.00/0.01	c vars 231
0.06/0.09	c 0.084987 16.9727 12 13065
0.06/0.09	o 624
23.69/23.72	c 13.457 17.5234 3007 6892103
23.69/23.72	o 596
23.69/23.79	c 13.5039 17.5234 866 6905887
23.69/23.79	o 530
53.19/53.24	c 30.0704 17.5234 1332 13765726
53.19/53.24	o 527
56.29/56.33	c 31.6772 17.5234 800 14443615
56.29/56.33	o 521
56.29/56.34	c 31.6832 17.5234 808 14444367
56.29/56.34	o 515
56.29/56.34	c 31.6852 17.5234 815 14444582
56.29/56.34	o 512
56.29/56.34	c 31.6882 17.5234 817 14444832
56.29/56.34	o 506
56.29/56.35	c 31.6922 17.5234 822 14445184
56.29/56.35	o 497
56.29/56.35	c 31.6942 17.5234 823 14445323
56.29/56.35	o 496
56.29/56.36	c 31.6992 17.5234 843 14447678
56.29/56.36	o 369
56.29/56.37	c 31.7042 17.5234 844 14448027
56.29/56.37	o 355
56.29/56.37	c 31.7092 17.5234 847 14448779
56.29/56.37	o 322
56.29/56.38	c 31.7132 17.5234 848 14449110
56.29/56.38	o 312
56.29/56.38	c 31.7152 17.5234 850 14449741
56.29/56.38	o 283
56.29/56.39	c 31.7212 17.5234 853 14449922
56.29/56.39	o 281
56.29/56.39	c 31.7242 17.5234 856 14450308
56.29/56.39	o 265
56.29/56.39	c 31.7282 17.5234 868 14450488
56.29/56.39	o 260
56.39/56.40	c 31.7332 17.5234 870 14451280
56.39/56.40	o 221
56.59/56.67	c 31.9051 17.5234 833 14452573
56.59/56.67	o 205
56.79/56.82	c 32.0031 17.5234 1210 14453611
56.79/56.82	o 187
56.79/56.89	c 32.0431 17.5234 930 14454160
56.79/56.89	o 172
56.89/56.93	c 32.0701 17.5234 1000 14454453
56.89/56.93	o 164
57.10/57.18	c 32.1971 17.5234 871 14455901
57.10/57.18	o 160
57.69/57.70	c 32.5261 17.5234 828 14458567
57.69/57.70	o 150
57.69/57.76	c 32.573 17.5234 1120 14459205
57.69/57.76	o 142
57.69/57.78	c 32.584 17.5234 1149 14459348
57.69/57.78	o 140
57.89/57.90	c 32.655 17.5234 1010 14460119
57.89/57.90	o 139
57.89/57.91	c 32.657 17.5234 1013 14460244
57.89/57.91	o 136
57.89/57.91	c 32.66 17.5234 1013 14460417
57.89/57.91	o 130
57.89/57.92	c 32.662 17.5234 1016 14460775
57.89/57.92	o 114
58.39/58.42	c 32.976 17.5234 952 14463674
58.39/58.42	o 113
68.49/68.56	c 38.6261 17.6445 826 15185061
68.49/68.56	o 109
70.59/70.66	c 39.716 17.6445 957 15314763
70.59/70.66	o 103
70.79/70.85	c 39.8319 17.6445 1395 15315724
70.79/70.85	o 92
71.39/71.42	c 40.2099 17.6445 1201 15319246
71.39/71.42	o 90
71.50/71.54	c 40.2809 17.6445 1372 15320173
71.50/71.54	o 88
71.79/71.90	c 40.5118 17.6445 1107 15322213
71.79/71.90	o 80
72.09/72.15	c 40.6878 17.6445 1196 15323768
72.09/72.15	o 76
72.39/72.46	c 40.8858 17.6445 1216 15325222
72.39/72.46	o 73
72.79/72.81	c 41.1048 17.6445 1355 15326924
72.79/72.81	o 72
72.89/72.90	c 41.1637 17.6445 1659 15327762
72.89/72.90	o 56
72.89/72.91	c 41.1717 17.6445 1699 15328013
72.89/72.91	o 48
72.89/72.93	c 41.1927 17.6445 1796 15328208
72.89/72.93	o 46
73.89/73.98	c 41.9896 17.7734 1451 15336702
73.89/73.98	o 44
75.90/75.99	c 43.3534 17.8945 2250 15352562
75.90/75.99	o 40
76.09/76.11	c 43.4414 17.8945 1808 15353917
76.09/76.11	o 27
76.79/76.81	c 44.0073 18.1484 2523 15363077
76.79/76.81	o 23
77.28/77.38	c 44.4732 18.1484 1857 15370416
77.28/77.38	o 21
77.39/77.44	c 44.5302 18.1484 2380 15371289
77.39/77.44	o 18
77.79/77.83	c 44.8742 18.1484 1747 15376921
77.79/77.83	o 16
77.79/77.87	c 44.9142 18.1484 2260 15377804
77.79/77.87	o 14
77.79/77.88	c 44.9192 18.1484 2324 15377987
77.79/77.88	o 13
78.09/78.15	c 45.1611 18.1484 2072 15381983
78.09/78.15	o 10
78.09/78.18	c 45.1821 18.1484 2289 15382358
78.09/78.18	o 7
78.19/78.26	c 45.2521 18.1484 1616 15383460
78.19/78.26	o 6
78.99/79.08	c 46.006 18.1484 2763 15396071
78.99/79.08	o 5
80.30/80.35	c 47.1698 18.1484 3108 15415784
80.30/80.35	o 4
83.69/83.76	c 50.2604 18.1484 2519 15467183
83.69/83.76	o 3
84.39/84.44	c 50.8673 18.1484 2403 15478543
84.39/84.44	o 2
84.49/84.57	c 50.9772 18.1484 2003 15480207
84.49/84.57	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-2695629-1277907825/watcher-2695629-1277907825 -o /tmp/evaluation-result-2695629-1277907825/solver-2695629-1277907825 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695629-1277907825.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.01 2.17 2.32 4/178 13606
/proc/meminfo: memFree=31379376/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=2136 CPUtime=0
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 132078844 2187264 174 4089446400 134512640 136421960 4286759712 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13606/statm: 534 174 144 467 0 65 0

[startup+0.0637941 s]
/proc/loadavg: 2.01 2.17 2.32 4/178 13606
/proc/meminfo: memFree=31379376/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=16820 CPUtime=0.06
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 3853 0 0 0 6 0 0 0 25 0 1 0 132078844 17223680 3773 4089446400 134512640 136421960 4286759712 18446744073709551615 134785927 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4205 3773 203 467 0 3736 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16820

[startup+0.100788 s]
/proc/loadavg: 2.01 2.17 2.32 4/178 13606
/proc/meminfo: memFree=31379376/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17568 CPUtime=0.09
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4073 0 0 0 8 1 0 0 25 0 1 0 132078844 17989632 3992 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4392 3992 236 467 0 3923 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17568

[startup+0.300753 s]
/proc/loadavg: 2.01 2.17 2.32 4/178 13606
/proc/meminfo: memFree=31379376/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17568 CPUtime=0.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4074 0 0 0 20 9 0 0 25 0 1 0 132078844 17989632 3993 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4392 3993 237 467 0 3923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17568

[startup+0.700682 s]
/proc/loadavg: 2.01 2.17 2.32 4/178 13606
/proc/meminfo: memFree=31379376/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17568 CPUtime=0.69
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4074 0 0 0 44 25 0 0 25 0 1 0 132078844 17989632 3993 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4392 3993 237 467 0 3923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17568

[startup+1.50054 s]
/proc/loadavg: 2.01 2.17 2.32 3/179 13607
/proc/meminfo: memFree=31364604/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17684 CPUtime=1.49
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4099 0 0 0 93 56 0 0 25 0 1 0 132078844 18108416 4018 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4421 4018 237 467 0 3952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17684

[startup+3.10026 s]
/proc/loadavg: 2.01 2.17 2.32 3/179 13607
/proc/meminfo: memFree=31364480/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17684 CPUtime=3.09
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4104 0 0 0 185 124 0 0 25 0 1 0 132078844 18108416 4023 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4421 4023 237 467 0 3952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17684

[startup+6.30077 s]
/proc/loadavg: 2.00 2.16 2.32 3/179 13607
/proc/meminfo: memFree=31364664/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17684 CPUtime=6.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4110 0 0 0 361 268 0 0 25 0 1 0 132078844 18108416 4029 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4421 4029 237 467 0 3952 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17684

[startup+12.7006 s]
/proc/loadavg: 2.00 2.16 2.31 3/179 13607
/proc/meminfo: memFree=31364432/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17804 CPUtime=12.69
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4133 0 0 0 727 542 0 0 25 0 1 0 132078844 18231296 4052 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13606/statm: 4451 4052 237 467 0 3982 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17804

[startup+25.5004 s]
/proc/loadavg: 2.00 2.15 2.31 3/179 13608
/proc/meminfo: memFree=31364592/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17940 CPUtime=25.48
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4158 0 0 0 1453 1095 0 0 25 0 1 0 132078844 18370560 4075 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4485 4075 237 467 0 4016 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17940

[startup+51.1008 s]
/proc/loadavg: 2.00 2.14 2.30 3/179 13609
/proc/meminfo: memFree=31364572/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=17940 CPUtime=51.09
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4162 0 0 0 2883 2226 0 0 25 0 1 0 132078844 18370560 4079 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4485 4079 237 467 0 4016 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17940

[startup+102.307 s]
/proc/loadavg: 2.07 2.13 2.29 3/179 13610
/proc/meminfo: memFree=31363040/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=18836 CPUtime=102.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4463 0 0 0 6714 3515 0 0 25 0 1 0 132078844 19288064 4322 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4709 4322 237 467 0 4240 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 18836

[startup+162.3 s]
/proc/loadavg: 2.02 2.11 2.26 2/177 13612
/proc/meminfo: memFree=31440652/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=19356 CPUtime=162.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4576 0 0 0 12108 4121 0 0 25 0 1 0 132078844 19820544 4435 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4839 4435 237 467 0 4370 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19356

[startup+222.3 s]
/proc/loadavg: 2.04 2.10 2.25 3/197 13659
/proc/meminfo: memFree=31360236/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=19460 CPUtime=222.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4624 0 0 0 17424 4805 0 0 25 0 1 0 132078844 19927040 4483 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4865 4483 237 467 0 4396 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 19460

[startup+282.301 s]
/proc/loadavg: 2.06 2.09 2.24 3/197 13661
/proc/meminfo: memFree=31358800/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=19688 CPUtime=282.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4671 0 0 0 22813 5416 0 0 25 0 1 0 132078844 20160512 4530 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4922 4530 237 467 0 4453 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19688

[startup+342.3 s]
/proc/loadavg: 2.02 2.07 2.22 3/197 13663
/proc/meminfo: memFree=31357768/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=19792 CPUtime=342.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4703 0 0 0 28229 6000 0 0 25 0 1 0 132078844 20267008 4562 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4948 4562 237 467 0 4479 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 19792

[startup+402.301 s]
/proc/loadavg: 2.16 2.10 2.22 3/197 13664
/proc/meminfo: memFree=31356960/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=19924 CPUtime=402.29
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4737 0 0 0 33642 6587 0 0 25 0 1 0 132078844 20402176 4596 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 4981 4596 237 467 0 4512 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 19924

[startup+462.301 s]
/proc/loadavg: 2.06 2.08 2.20 3/197 13665
/proc/meminfo: memFree=31356772/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20056 CPUtime=462.3
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4752 0 0 0 39041 7189 0 0 25 0 1 0 132078844 20537344 4611 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5014 4611 237 467 0 4545 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20056

[startup+522.3 s]
/proc/loadavg: 2.02 2.06 2.19 3/197 13670
/proc/meminfo: memFree=31355680/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20212 CPUtime=522.3
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4777 0 0 0 44490 7740 0 0 25 0 1 0 132078844 20697088 4636 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5053 4636 237 467 0 4584 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20212

[startup+582.301 s]
/proc/loadavg: 2.00 2.05 2.17 3/197 13672
/proc/meminfo: memFree=31354488/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20344 CPUtime=582.3
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4828 0 0 0 49915 8315 0 0 25 0 1 0 132078844 20832256 4687 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5086 4687 237 467 0 4617 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20344

[startup+642.3 s]
/proc/loadavg: 2.00 2.04 2.16 3/197 13674
/proc/meminfo: memFree=31354304/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20476 CPUtime=642.31
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4845 0 0 0 55382 8849 0 0 25 0 1 0 132078844 20967424 4704 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5119 4704 237 467 0 4650 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20476

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.06 2.03 2.13 3/197 13678
/proc/meminfo: memFree=31353508/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20616 CPUtime=822.3
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4893 0 0 0 71660 10570 0 0 25 0 1 0 132078844 21110784 4752 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5154 4752 237 467 0 4685 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 20616

[startup+882.301 s]
/proc/loadavg: 2.02 2.02 2.12 3/197 13680
/proc/meminfo: memFree=31353452/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20616 CPUtime=882.31
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4902 0 0 0 77074 11157 0 0 25 0 1 0 132078844 21110784 4761 4089446400 134512640 136421960 4286759712 18446744073709551615 134861921 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5154 4761 237 467 0 4685 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20616

[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.11 3/197 13682
/proc/meminfo: memFree=31353116/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20616 CPUtime=942.31
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4911 0 0 0 82495 11736 0 0 25 0 1 0 132078844 21110784 4770 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5154 4770 237 467 0 4685 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 20616

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/197 13683
/proc/meminfo: memFree=31352928/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20616 CPUtime=1002.32
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4916 0 0 0 87863 12369 0 0 25 0 1 0 132078844 21110784 4775 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5154 4775 237 467 0 4685 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20616

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/197 13684
/proc/meminfo: memFree=31352612/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20872 CPUtime=1062.32
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4952 0 0 0 93225 13007 0 0 25 0 1 0 132078844 21372928 4811 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5218 4811 237 467 0 4749 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20872

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 13686
/proc/meminfo: memFree=31352212/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=20872 CPUtime=1122.32
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4967 0 0 0 98657 13575 0 0 25 0 1 0 132078844 21372928 4826 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5218 4826 237 467 0 4749 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 13688
/proc/meminfo: memFree=31351896/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21004 CPUtime=1182.32
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4992 0 0 0 104074 14158 0 0 25 0 1 0 132078844 21508096 4851 4089446400 134512640 136421960 4286759712 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5251 4851 237 467 0 4782 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 21004

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/197 13690
/proc/meminfo: memFree=31351352/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21004 CPUtime=1242.32
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 4993 0 0 0 109485 14747 0 0 25 0 1 0 132078844 21508096 4852 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5251 4852 237 467 0 4782 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 21004

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/197 13691
/proc/meminfo: memFree=31351172/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21088 CPUtime=1302.33
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5008 0 0 0 114892 15341 0 0 25 0 1 0 132078844 21594112 4867 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5272 4867 237 467 0 4803 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 21088

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/197 13692
/proc/meminfo: memFree=31351104/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21088 CPUtime=1362.32
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5014 0 0 0 120255 15977 0 0 25 0 1 0 132078844 21594112 4873 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5272 4873 237 467 0 4803 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 21088

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.06 3/197 13694
/proc/meminfo: memFree=31350528/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21088 CPUtime=1422.33
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5022 0 0 0 125590 16643 0 0 25 0 1 0 132078844 21594112 4881 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5272 4881 237 467 0 4803 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 21088

[startup+1482.3 s]
/proc/loadavg: 2.30 2.08 2.08 3/197 13696
/proc/meminfo: memFree=31350588/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21088 CPUtime=1482.32
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5023 0 0 0 130929 17303 0 0 25 0 1 0 132078844 21594112 4882 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5272 4882 237 467 0 4803 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 21088

[startup+1542.3 s]
/proc/loadavg: 2.11 2.07 2.07 3/197 13698
/proc/meminfo: memFree=31350424/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21196 CPUtime=1542.33
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5036 0 0 0 136316 17917 0 0 25 0 1 0 132078844 21704704 4895 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5299 4895 237 467 0 4830 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 21196

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/197 13699
/proc/meminfo: memFree=31350108/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21196 CPUtime=1602.33
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5042 0 0 0 141683 18550 0 0 25 0 1 0 132078844 21704704 4901 4089446400 134512640 136421960 4286759712 18446744073709551615 134861999 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5299 4901 237 467 0 4830 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 21196

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/197 13700
/proc/meminfo: memFree=31349908/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21196 CPUtime=1662.33
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5050 0 0 0 147072 19161 0 0 25 0 1 0 132078844 21704704 4909 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5299 4909 237 467 0 4830 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 21196

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/197 13702
/proc/meminfo: memFree=31349820/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21196 CPUtime=1722.33
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5051 0 0 0 152429 19804 0 0 25 0 1 0 132078844 21704704 4910 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5299 4910 237 467 0 4830 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 21196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/197 13704
/proc/meminfo: memFree=31349628/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21196 CPUtime=1782.33
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5061 0 0 0 157837 20396 0 0 25 0 1 0 132078844 21704704 4920 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5299 4920 237 467 0 4830 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 21196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.05 3/197 13704
/proc/meminfo: memFree=31349612/32950928 swapFree=4192956/4192956
[pid=13606] ppid=13604 vsize=21196 CPUtime=1800.04
/proc/13606/stat : 13606 (pbct) R 13604 13606 12796 0 -1 4202496 5062 0 0 0 159450 20554 0 0 25 0 1 0 132078844 21704704 4921 4089446400 134512640 136421960 4286759712 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13606/statm: 5299 4921 237 467 0 4830 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 21196

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1594.51
CPU system time (s): 205.543
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 21216

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

runsolver used 2.48262 second user time and 5.71313 second system time

The end

Launcher Data 

Begin job on node124 at 2010-06-30 16:23:45
IDJOB=2695629
IDBENCH=78952
IDSOLVER=1208
FILE ID=node124/2695629-1277907825
PBS_JOBID= 11197228
Free space on /tmp= 130616 MiB

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

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

MD5SUM BENCH= 88fe2d235d496f5582f591254b27e0dd
RANDOM SEED=1889519522

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31379772 kB
Buffers:        194800 kB
Cached:        1121968 kB
SwapCached:          0 kB
Active:         633116 kB
Inactive:       825604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31379772 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:      141748 kB
Mapped:          17404 kB
Slab:            79564 kB
PageTables:       5252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   290344 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130620 MiB
End job on node124 at 2010-06-30 16:53:47