Trace number 3715267

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
npSolver inc-topDownOPTIMUM 235.094 235.23

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
MD5SUMeefb750387a2df9ca152a94906c66d6e
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 benchmark0.510921
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1230
Number of bits of the biggest sum of numbers11
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.05	c run usual solver
0.00/0.39	o 924
1.58/1.86	o 887
3.26/3.33	o 816
4.45/4.70	o 724
5.79/6.05	o 708
7.11/7.36	o 706
8.43/8.67	o 648
9.83/9.96	o 642
11.02/11.25	o 568
12.23/12.44	o 552
13.42/13.63	o 546
14.65/14.85	o 536
15.80/16.01	o 530
17.00/17.22	o 527
18.22/18.43	o 521
19.40/19.62	o 505
20.60/20.80	o 490
21.82/21.94	o 489
23.03/23.11	o 485
24.03/24.24	o 469
25.23/25.43	o 467
26.36/26.56	o 465
27.60/27.80	o 463
28.83/29.03	o 454
30.21/30.41	o 448
31.44/31.63	o 425
32.84/33.03	o 417
34.60/34.79	o 389
36.15/36.32	o 385
37.96/38.13	o 382
39.67/39.84	o 369
41.19/41.36	o 368
43.01/43.18	o 356
44.49/44.66	o 328
45.82/45.97	o 319
47.13/47.24	o 317
48.47/48.61	o 316
49.75/49.91	o 303
51.13/51.28	o 302
52.33/52.47	o 301
53.99/54.14	o 294
55.32/55.49	o 284
56.70/56.84	o 265
57.98/58.12	o 264
59.07/59.21	o 256
60.33/60.49	o 243
61.93/62.08	o 231
63.99/64.11	o 225
66.24/66.39	o 224
68.44/68.55	o 222
70.13/70.30	o 217
72.33/72.48	o 204
73.99/74.11	o 202
75.74/75.85	o 198
77.15/77.27	o 197
78.33/78.47	o 192
79.64/79.79	o 189
81.13/81.24	o 188
83.74/83.88	o 187
86.13/86.26	o 186
88.33/88.44	o 180
89.51/89.61	o 168
95.55/95.68	o 161
102.26/102.39	o 160
106.85/106.95	o 157
112.71/112.81	o 156
117.55/117.66	o 151
121.74/121.84	o 137
125.25/125.37	o 136
128.94/129.06	o 135
133.54/133.69	o 134
138.22/138.31	o 131
142.23/142.37	o 110
145.63/145.79	o 107
149.43/149.57	o 104
152.03/152.18	o 103
156.05/156.18	o 92
156.73/156.81	o 84
157.24/157.36	o 74
159.24/159.34	o 65
160.85/160.92	o 63
163.63/163.72	o 60
164.85/164.92	o 58
168.44/168.51	o 57
172.44/172.58	o 55
176.24/176.34	o 53
177.04/177.20	o 52
178.33/178.48	o 49
181.46/181.56	o 46
184.89/185.03	o 44
187.39/187.50	o 28
188.78/188.91	o 27
189.48/189.67	o 26
192.70/192.81	o 25
195.18/195.30	o 17
195.88/196.03	o 16
197.28/197.47	o 15
199.28/199.49	o 14
201.77/201.99	o 11
207.38/207.50	o 9
213.98/214.16	o 6
221.57/221.79	o 4
223.87/224.03	o 3
229.65/229.84	o 1
229.65/229.84	c [SWC] exit 4
235.03/235.22	c display solution
235.03/235.22	s OPTIMUM FOUND
235.03/235.25	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

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715267-1338215790/watcher-3715267-1338215790 -o /tmp/evaluation-result-3715267-1338215790/solver-3715267-1338215790 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715267-1338215790.wbo 995487394 HOME HOME 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.94 1.95 1.97 3/179 24225
/proc/meminfo: memFree=30601528/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0

[startup+0.082762 s]
/proc/loadavg: 1.94 1.95 1.97 3/179 24225
/proc/meminfo: memFree=30601528/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100194 s]
/proc/loadavg: 1.94 1.95 1.97 3/179 24225
/proc/meminfo: memFree=30601528/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300119 s]
/proc/loadavg: 1.94 1.95 1.97 3/179 24225
/proc/meminfo: memFree=30601528/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700291 s]
/proc/loadavg: 1.94 1.95 1.97 3/179 24225
/proc/meminfo: memFree=30601528/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.94 1.95 1.97 3/183 24239
/proc/meminfo: memFree=30541004/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=13540 CPUtime=0.47 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 3489 7357 0 0 13 3 28 3 20 0 1 0 287703893 13864960 2643 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24226/statm: 3385 2643 160 439 0 2942 0
[pid=24238] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24238/stat : 24238 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287703941 9367552 267 33554432000 4194304 5064252 140735562549616 140735562548528 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24238/statm: 2287 267 226 213 0 72 0
[pid=24239] ppid=24238 vsize=52664 CPUtime=1 cores=1,3,5,7
/proc/24239/stat : 24239 (glucose) R 24238 24225 16422 0 -1 4202496 10831 0 0 0 98 2 0 0 20 0 1 0 287703941 53927936 11208 33554432000 4194304 5208918 140735929625904 140735929623752 4212690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24239/statm: 13166 11208 95 248 0 12915 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 84500

[startup+3.10029 s]
/proc/loadavg: 1.95 1.95 1.97 3/183 24246
/proc/meminfo: memFree=30537732/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=20684 CPUtime=3.06 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 5413 35378 0 0 20 5 261 20 20 0 1 0 287703893 21180416 4332 33554432000 4194304 5990268 140734090297168 140734090288080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24226/statm: 5171 4332 160 439 0 4728 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 29832

[startup+6.30032 s]
/proc/loadavg: 1.95 1.95 1.97 3/183 24260
/proc/meminfo: memFree=30546720/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=20564 CPUtime=6.07 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 11150 67643 0 0 39 8 503 57 20 0 1 0 287703893 21057536 3820 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24226/statm: 5141 3820 160 439 0 4698 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 29712

[startup+12.7003 s]
/proc/loadavg: 1.95 1.95 1.97 3/183 24295
/proc/meminfo: memFree=30555376/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=12.44 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 19326 130751 0 0 65 12 1062 105 20 0 1 0 287703893 12632064 2533 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24226/statm: 3084 2533 160 439 0 2641 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 21484

[startup+25.5003 s]
/proc/loadavg: 1.96 1.95 1.97 3/183 24372
/proc/meminfo: memFree=30548580/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=25.41 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 29833 247569 0 0 111 18 2212 200 20 0 1 0 287703893 12632064 2540 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2540 160 439 0 2641 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 21484

[startup+51.1004 s]
/proc/loadavg: 1.97 1.95 1.97 3/183 24498
/proc/meminfo: memFree=30543312/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=49.88 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 36230 413428 0 0 163 25 4481 319 20 0 1 0 287703893 12632064 2548 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2548 160 439 0 2641 0
[pid=24497] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24497/stat : 24497 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287708886 9367552 266 33554432000 4194304 5064252 140737248440656 140737248439568 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24497/statm: 2287 266 226 213 0 72 0
[pid=24498] ppid=24497 vsize=21180 CPUtime=1.15 cores=1,3,5,7
/proc/24498/stat : 24498 (glucose) R 24497 24225 16422 0 -1 4202496 5512 0 0 0 115 0 0 0 20 0 1 0 287708886 21688320 4506 33554432000 4194304 5208918 140735977909024 140735977907176 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24498/statm: 5295 4506 104 248 0 5044 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 51812

[startup+102.307 s]
/proc/loadavg: 1.94 1.94 1.97 3/183 24673
/proc/meminfo: memFree=30531120/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=95.66 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 45599 619361 0 0 208 31 8892 435 20 0 1 0 287703893 12632064 2548 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2548 160 439 0 2641 0
[pid=24672] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24672/stat : 24672 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287713463 9367552 267 33554432000 4194304 5064252 140734160611376 140734160610288 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24672/statm: 2287 267 226 213 0 72 0
[pid=24673] ppid=24672 vsize=23444 CPUtime=6.6 cores=1,3,5,7
/proc/24673/stat : 24673 (glucose) R 24672 24225 16422 0 -1 4202496 4832 0 0 0 659 1 0 0 20 0 1 0 287713463 24006656 5501 33554432000 4194304 5208918 140735783246976 140735783244840 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24673/statm: 5861 5501 105 248 0 5610 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54076

[startup+162.3 s]
/proc/loadavg: 1.98 1.95 1.97 3/183 24799
/proc/meminfo: memFree=30517960/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=160.87 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 51837 756802 0 0 223 34 15337 493 20 0 1 0 287703893 12632064 2548 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2548 160 439 0 2641 0
[pid=24798] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24798/stat : 24798 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 287719985 9367552 266 33554432000 4194304 5064252 140737456561872 140737456560784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24798/statm: 2287 266 226 213 0 72 0
[pid=24799] ppid=24798 vsize=10488 CPUtime=1.36 cores=1,3,5,7
/proc/24799/stat : 24799 (glucose) R 24798 24225 16422 0 -1 4202496 2975 0 0 0 136 0 0 0 20 0 1 0 287719985 10739712 2055 33554432000 4194304 5208918 140734236033920 140734236031768 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24799/statm: 2622 2055 104 248 0 2371 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 41120

[startup+222.3 s]
/proc/loadavg: 2.06 1.97 1.97 3/184 24950
/proc/meminfo: memFree=30502796/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=221.68 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54764 890047 0 0 226 36 21377 529 20 0 1 0 287703893 12632064 2548 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2548 160 439 0 2641 0
[pid=24949] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24949/stat : 24949 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287726072 9367552 267 33554432000 4194304 5064252 140736219240896 140736219239808 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24949/statm: 2287 267 226 213 0 72 0
[pid=24950] ppid=24949 vsize=5852 CPUtime=0.49 cores=1,3,5,7
/proc/24950/stat : 24950 (glucose) R 24949 24225 16422 0 -1 4202496 1376 0 0 0 49 0 0 0 20 0 1 0 287726072 5992448 1016 33554432000 4194304 5208918 140734296225680 140736219239832 4228924 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24950/statm: 1463 1016 104 248 0 1212 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 36484

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

[startup+223.9 s]
/proc/loadavg: 2.06 1.97 1.97 3/184 24950
/proc/meminfo: memFree=30498712/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=221.68 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54764 890047 0 0 226 36 21377 529 20 0 1 0 287703893 12632064 2548 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2548 160 439 0 2641 0
[pid=24949] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24949/stat : 24949 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287726072 9367552 267 33554432000 4194304 5064252 140736219240896 140736219239808 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24949/statm: 2287 267 226 213 0 72 0
[pid=24950] ppid=24949 vsize=10500 CPUtime=2.09 cores=1,3,5,7
/proc/24950/stat : 24950 (glucose) R 24949 24225 16422 0 -1 4202496 2926 0 0 0 209 0 0 0 20 0 1 0 287726072 10752000 2142 33554432000 4194304 5208918 140734296225680 140734296223544 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24950/statm: 2625 2142 105 248 0 2374 0
Current children cumulated CPU time (s) 223.77
Current children cumulated vsize (KiB) 41132

[startup+230.3 s]
/proc/loadavg: 2.06 1.97 1.97 3/184 24957
/proc/meminfo: memFree=30496040/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=229.69 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54939 903114 0 0 226 36 22175 532 20 0 1 0 287703893 12632064 2549 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2549 161 439 0 2641 0
Current children cumulated CPU time (s) 229.69
Current children cumulated vsize (KiB) 21484

[startup+233.5 s]
/proc/loadavg: 2.05 1.97 1.97 4/184 25016
/proc/meminfo: memFree=30661756/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=229.69 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54939 903114 0 0 226 36 22175 532 20 0 1 0 287703893 12632064 2549 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2549 161 439 0 2641 0
[pid=24963] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24963/stat : 24963 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287726877 9367552 266 33554432000 4194304 5064252 140737152031472 140737152030384 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24963/statm: 2287 266 226 213 0 72 0
[pid=24964] ppid=24963 vsize=11428 CPUtime=3.64 cores=1,3,5,7
/proc/24964/stat : 24964 (glucose) R 24963 24225 16422 0 -1 4202496 2686 0 0 0 364 0 0 0 20 0 1 0 287726877 11702272 2433 33554432000 4194304 5208918 140737436023280 140737436021224 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24964/statm: 2857 2433 103 248 0 2606 0
Current children cumulated CPU time (s) 233.33
Current children cumulated vsize (KiB) 42060

[startup+234.307 s]
/proc/loadavg: 2.05 1.97 1.97 3/182 25028
/proc/meminfo: memFree=30675952/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=229.69 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54939 903114 0 0 226 36 22175 532 20 0 1 0 287703893 12632064 2549 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2549 161 439 0 2641 0
[pid=24963] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24963/stat : 24963 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287726877 9367552 266 33554432000 4194304 5064252 140737152031472 140737152030384 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24963/statm: 2287 266 226 213 0 72 0
[pid=24964] ppid=24963 vsize=11428 CPUtime=4.44 cores=1,3,5,7
/proc/24964/stat : 24964 (glucose) R 24963 24225 16422 0 -1 4202496 2761 0 0 0 444 0 0 0 20 0 1 0 287726877 11702272 2505 33554432000 4194304 5208918 140737436023280 140737436021144 4229507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24964/statm: 2857 2505 103 248 0 2606 0
Current children cumulated CPU time (s) 234.13
Current children cumulated vsize (KiB) 42060

[startup+234.7 s]
/proc/loadavg: 2.05 1.97 1.97 3/182 25028
/proc/meminfo: memFree=30675952/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=229.69 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54939 903114 0 0 226 36 22175 532 20 0 1 0 287703893 12632064 2549 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2549 161 439 0 2641 0
[pid=24963] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24963/stat : 24963 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287726877 9367552 266 33554432000 4194304 5064252 140737152031472 140737152030384 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24963/statm: 2287 266 226 213 0 72 0
[pid=24964] ppid=24963 vsize=12772 CPUtime=4.84 cores=1,3,5,7
/proc/24964/stat : 24964 (glucose) R 24963 24225 16422 0 -1 4202496 2762 0 0 0 484 0 0 0 20 0 1 0 287726877 13078528 2506 33554432000 4194304 5208918 140737436023280 140737436021144 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24964/statm: 3193 2506 103 248 0 2942 0
Current children cumulated CPU time (s) 234.53
Current children cumulated vsize (KiB) 43404

[startup+235.1 s]
/proc/loadavg: 2.05 1.97 1.97 3/182 25028
/proc/meminfo: memFree=30675952/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=229.69 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54939 903114 0 0 226 36 22175 532 20 0 1 0 287703893 12632064 2549 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2549 161 439 0 2641 0
[pid=24963] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24963/stat : 24963 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287726877 9367552 266 33554432000 4194304 5064252 140737152031472 140737152030384 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24963/statm: 2287 266 226 213 0 72 0
[pid=24964] ppid=24963 vsize=12772 CPUtime=5.24 cores=1,3,5,7
/proc/24964/stat : 24964 (glucose) R 24963 24225 16422 0 -1 4202496 2762 0 0 0 524 0 0 0 20 0 1 0 287726877 13078528 2506 33554432000 4194304 5208918 140737436023280 140737436021224 4213234 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24964/statm: 3193 2506 103 248 0 2942 0
Current children cumulated CPU time (s) 234.93
Current children cumulated vsize (KiB) 43404

[startup+235.2 s]
/proc/loadavg: 2.05 1.97 1.97 3/182 25028
/proc/meminfo: memFree=30675952/32873844 swapFree=6600/6600
[pid=24225] ppid=24223 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24225/stat : 24225 (npSolver-wbo-It) S 24223 24225 16422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287703892 9367552 274 33554432000 4194304 5064252 140735603909072 140735603907984 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24225/statm: 2287 274 233 213 0 72 0
[pid=24226] ppid=24225 vsize=12336 CPUtime=229.69 cores=1,3,5,7
/proc/24226/stat : 24226 (npSolver-wbo) S 24225 24225 16422 0 -1 4202496 54939 903114 0 0 226 36 22175 532 20 0 1 0 287703893 12632064 2549 33554432000 4194304 5990268 140734090297168 140734090288592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/24226/statm: 3084 2549 161 439 0 2641 0
[pid=24963] ppid=24226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24963/stat : 24963 (satsolver.sh) S 24226 24225 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287726877 9367552 266 33554432000 4194304 5064252 140737152031472 140737152030384 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24963/statm: 2287 266 226 213 0 72 0
[pid=24964] ppid=24963 vsize=12772 CPUtime=5.34 cores=1,3,5,7
/proc/24964/stat : 24964 (glucose) R 24963 24225 16422 0 -1 4202496 2762 0 0 0 534 0 0 0 20 0 1 0 287726877 13078528 2506 33554432000 4194304 5208918 140737436023280 140737436021224 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24964/statm: 3193 2506 103 248 0 2942 0
Current children cumulated CPU time (s) 235.03
Current children cumulated vsize (KiB) 43404

Child status: 0
Real time (s): 235.23
CPU time (s): 235.094
CPU user time (s): 229.38
CPU system time (s): 5.71413
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 91996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.38
system time used= 5.71413
maximum resident set size= 46764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 964749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 486832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8157
involuntary context switches= 1435

runsolver used 0.441932 second user time and 1.13383 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 16:36:30
IDJOB=3715267
IDBENCH=79237
IDSOLVER=2296
FILE ID=node140/3715267-1338215790
RUNJOBID= node140-1338193685-16439
PBS_JOBID= 14624590
Free space on /tmp= 71312 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715267-1338215790/watcher-3715267-1338215790 -o /tmp/evaluation-result-3715267-1338215790/solver-3715267-1338215790 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715267-1338215790.wbo 995487394 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= eefb750387a2df9ca152a94906c66d6e
RANDOM SEED=995487394

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30601892 kB
Buffers:          500820 kB
Cached:           784352 kB
SwapCached:         1516 kB
Active:          1080628 kB
Inactive:         306608 kB
Active(anon):      93480 kB
Inactive(anon):     8636 kB
Active(file):     987148 kB
Inactive(file):   297972 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105308 kB
Dirty:              8344 kB
Writeback:             0 kB
AnonPages:        100832 kB
Mapped:            13020 kB
Shmem:                 8 kB
Slab:             741112 kB
SReclaimable:     182680 kB
SUnreclaim:       558432 kB
KernelStack:        1528 kB
PageTables:         4204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     229468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71316 MiB
End job on node140 at 2012-05-28 16:40:26