Trace number 3699171

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 NameAnswerobjective functionCPU timeWall clock time
npSolver incOPT45008 377.713 378.021

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__32.opb
MD5SUMa9de06eb109955ed8ed5086d04c7f5e9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark1.49477
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3248
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint32
Maximum length of a constraint289
Number of terms in the objective function 3200
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 107409120
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 107409120
Number of bits of the biggest sum of numbers27
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.02	c run inc solver
0.00/0.02	c [INC SYSTEM] run initial solver
0.00/0.02	c [INC SYSTEM] preprocess with white file
0.00/0.20	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.20	c [INC SYSTEM] execute solver
0.00/0.22	c [INC SEARCH] formula is SAT
0.00/0.22	c [INC SYSTEM] solved the initial formula
0.00/0.23	c model valid
0.00/0.23	c current solution ok
0.00/0.32	o 302596
0.00/0.32	c execute binary inc search
0.00/0.32	c [INC SEARCH] current bound: 151298
0.00/0.32	c [INC SEARCH] iteration: 0
0.00/0.32	c [INC SEARCH] lower bound: 0 upperbound 302596 current bound: 151298 best value:302596
0.00/0.32	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.32	c write failed with 2
0.00/0.32	c [INC SYSTEM] create new solver instance
0.00/0.32	c [INC] encode full formula
0.00/0.32	c fallback to adder encoding
0.00/0.63	c set iterative enc to: adder
0.00/0.63	c set iterative enc to: none
0.00/0.68	c [INC SEARCH] isOptimum variable: 0
242.73/242.89	c [INC SEARCH] formula is SAT
242.73/242.89	c [INC SEARCH] copied best model
242.73/242.89	c sat variable: 1 optimum/unsat variable: 0
242.83/242.90	c model valid
242.83/242.90	c current solution ok
242.83/242.90	o 141815
242.83/242.90	c [INC SEARCH] current bound: 70907
242.83/242.90	c [INC SEARCH] iteration: 1
242.83/242.90	c [INC SEARCH] lower bound: 0 upperbound 141815 current bound: 70907 best value:141815
242.83/242.90	c [INC SYSTEM] there exists a inc, kill it!
242.83/242.90	c write failed with 2
242.83/242.90	c [INC SYSTEM] create new solver instance
242.83/242.90	c [INC] encode full formula
242.83/242.90	c fallback to adder encoding
243.05/243.18	c set iterative enc to: adder
243.05/243.18	c set iterative enc to: none
243.16/243.22	c [INC SEARCH] isOptimum variable: 0
286.63/286.71	c [INC SEARCH] formula is SAT
286.63/286.72	c [INC SEARCH] copied best model
286.63/286.72	c sat variable: 1 optimum/unsat variable: 0
286.63/286.72	c model valid
286.63/286.72	c current solution ok
286.63/286.72	o 45008
286.63/286.72	c [INC SEARCH] current bound: 22504
286.63/286.72	c [INC SEARCH] iteration: 2
286.63/286.72	c [INC SEARCH] lower bound: 0 upperbound 45008 current bound: 22504 best value:45008
286.63/286.72	c [INC SYSTEM] there exists a inc, kill it!
286.63/286.72	c write failed with 2
286.63/286.73	c [INC SYSTEM] create new solver instance
286.63/286.73	c [INC] encode full formula
286.63/286.73	c fallback to adder encoding
286.74/286.82	c set iterative enc to: adder
286.74/286.82	c set iterative enc to: none
286.74/286.84	c [INC SEARCH] isOptimum variable: 0
286.78/286.96	c [INC SEARCH] formula is UNSAT
286.78/286.96	c [INC SYSTEM] there exists a inc, kill it!
286.78/286.96	c write failed with 2
286.78/286.97	c sat variable: 0 optimum/unsat variable: 1
286.78/286.97	c [INC SEARCH] set lower bound to 22505 upperbound 45008
286.78/286.97	c [INC SEARCH] current bound: 33756
286.78/286.97	c [INC SEARCH] iteration: 3
286.78/286.97	c [INC SEARCH] lower bound: 22505 upperbound 45008 current bound: 33756 best value:45008
286.78/286.97	c [INC SYSTEM] create new solver instance
286.78/286.97	c [INC] encode full formula
286.78/286.97	c fallback to adder encoding
287.04/287.11	c set iterative enc to: adder
287.04/287.11	c set iterative enc to: none
287.04/287.14	c [INC SEARCH] isOptimum variable: 0
287.08/287.42	c [INC SEARCH] formula is UNSAT
287.08/287.42	c [INC SYSTEM] there exists a inc, kill it!
287.08/287.42	c write failed with 2
287.08/287.42	c sat variable: 0 optimum/unsat variable: 1
287.08/287.42	c [INC SEARCH] set lower bound to 33757 upperbound 45008
287.08/287.42	c [INC SEARCH] current bound: 39382
287.08/287.42	c [INC SEARCH] iteration: 4
287.08/287.42	c [INC SEARCH] lower bound: 33757 upperbound 45008 current bound: 39382 best value:45008
287.08/287.42	c [INC SYSTEM] create new solver instance
287.08/287.42	c [INC] encode full formula
287.44/287.54	c fallback to adder encoding
287.44/287.59	c set iterative enc to: adder
287.44/287.59	c set iterative enc to: none
287.53/287.62	c [INC SEARCH] isOptimum variable: 0
288.82/288.98	c [INC SEARCH] formula is UNSAT
288.82/288.98	c [INC SYSTEM] there exists a inc, kill it!
288.82/288.98	c write failed with 2
288.82/288.99	c sat variable: 0 optimum/unsat variable: 1
288.82/288.99	c [INC SEARCH] set lower bound to 39383 upperbound 45008
288.82/288.99	c [INC SEARCH] current bound: 42195
288.82/288.99	c [INC SEARCH] iteration: 5
288.82/288.99	c [INC SEARCH] lower bound: 39383 upperbound 45008 current bound: 42195 best value:45008
288.82/288.99	c [INC SYSTEM] create new solver instance
288.82/288.99	c [INC] encode full formula
288.82/288.99	c fallback to adder encoding
289.04/289.16	c set iterative enc to: adder
289.04/289.16	c set iterative enc to: none
289.04/289.19	c [INC SEARCH] isOptimum variable: 0
291.13/291.29	c [INC SEARCH] formula is UNSAT
291.13/291.29	c [INC SYSTEM] there exists a inc, kill it!
291.13/291.29	c write failed with 2
291.22/291.30	c sat variable: 0 optimum/unsat variable: 1
291.22/291.30	c [INC SEARCH] set lower bound to 42196 upperbound 45008
291.22/291.30	c [INC SEARCH] current bound: 43602
291.22/291.30	c [INC SEARCH] iteration: 6
291.22/291.30	c [INC SEARCH] lower bound: 42196 upperbound 45008 current bound: 43602 best value:45008
291.22/291.30	c [INC SYSTEM] create new solver instance
291.22/291.30	c [INC] encode full formula
291.22/291.30	c fallback to adder encoding
291.32/291.48	c set iterative enc to: adder
291.32/291.48	c set iterative enc to: none
291.43/291.51	c [INC SEARCH] isOptimum variable: 0
297.31/297.46	c [INC SEARCH] formula is UNSAT
297.31/297.46	c [INC SYSTEM] there exists a inc, kill it!
297.31/297.46	c write failed with 2
297.31/297.46	c sat variable: 0 optimum/unsat variable: 1
297.31/297.46	c [INC SEARCH] set lower bound to 43603 upperbound 45008
297.31/297.46	c [INC SEARCH] current bound: 44305
297.31/297.46	c [INC SEARCH] iteration: 7
297.31/297.46	c [INC SEARCH] lower bound: 43603 upperbound 45008 current bound: 44305 best value:45008
297.31/297.46	c [INC SYSTEM] create new solver instance
297.31/297.46	c [INC] encode full formula
297.31/297.46	c fallback to adder encoding
297.54/297.65	c set iterative enc to: adder
297.54/297.65	c set iterative enc to: none
297.54/297.68	c [INC SEARCH] isOptimum variable: 0
302.22/302.32	c [INC SEARCH] formula is UNSAT
302.22/302.32	c [INC SYSTEM] there exists a inc, kill it!
302.22/302.32	c write failed with 2
302.22/302.32	c sat variable: 0 optimum/unsat variable: 1
302.22/302.32	c [INC SEARCH] set lower bound to 44306 upperbound 45008
302.22/302.32	c [INC SEARCH] current bound: 44657
302.22/302.32	c [INC SEARCH] iteration: 8
302.22/302.32	c [INC SEARCH] lower bound: 44306 upperbound 45008 current bound: 44657 best value:45008
302.22/302.32	c [INC SYSTEM] create new solver instance
302.22/302.32	c [INC] encode full formula
302.22/302.32	c fallback to adder encoding
302.43/302.51	c set iterative enc to: adder
302.43/302.51	c set iterative enc to: none
302.44/302.74	c [INC SEARCH] isOptimum variable: 0
309.41/309.76	c [INC SEARCH] formula is UNSAT
309.41/309.76	c [INC SYSTEM] there exists a inc, kill it!
309.41/309.76	c write failed with 2
309.41/309.77	c sat variable: 0 optimum/unsat variable: 1
309.41/309.77	c [INC SEARCH] set lower bound to 44658 upperbound 45008
309.41/309.77	c [INC SEARCH] current bound: 44833
309.41/309.77	c [INC SEARCH] iteration: 9
309.41/309.77	c [INC SEARCH] lower bound: 44658 upperbound 45008 current bound: 44833 best value:45008
309.41/309.77	c [INC SYSTEM] create new solver instance
309.41/309.77	c [INC] encode full formula
309.41/309.77	c fallback to adder encoding
309.63/309.95	c set iterative enc to: adder
309.63/309.95	c set iterative enc to: none
309.63/309.99	c [INC SEARCH] isOptimum variable: 0
316.51/316.88	c [INC SEARCH] formula is UNSAT
316.51/316.88	c [INC SYSTEM] there exists a inc, kill it!
316.51/316.88	c write failed with 2
316.51/316.88	c sat variable: 0 optimum/unsat variable: 1
316.51/316.88	c [INC SEARCH] set lower bound to 44834 upperbound 45008
316.51/316.88	c [INC SEARCH] current bound: 44921
316.51/316.88	c [INC SEARCH] iteration: 10
316.51/316.88	c [INC SEARCH] lower bound: 44834 upperbound 45008 current bound: 44921 best value:45008
316.51/316.88	c [INC SYSTEM] create new solver instance
316.51/316.88	c [INC] encode full formula
316.51/316.88	c fallback to adder encoding
316.72/317.07	c set iterative enc to: adder
316.72/317.07	c set iterative enc to: none
316.82/317.10	c [INC SEARCH] isOptimum variable: 0
324.40/324.79	c [INC SEARCH] formula is UNSAT
324.40/324.79	c [INC SYSTEM] there exists a inc, kill it!
324.40/324.79	c write failed with 2
324.40/324.79	c sat variable: 0 optimum/unsat variable: 1
324.40/324.79	c [INC SEARCH] set lower bound to 44922 upperbound 45008
324.40/324.79	c [INC SEARCH] current bound: 44965
324.40/324.79	c [INC SEARCH] iteration: 11
324.40/324.79	c [INC SEARCH] lower bound: 44922 upperbound 45008 current bound: 44965 best value:45008
324.40/324.79	c [INC SYSTEM] create new solver instance
324.40/324.79	c [INC] encode full formula
324.40/324.79	c fallback to adder encoding
324.61/324.98	c set iterative enc to: adder
324.61/324.98	c set iterative enc to: none
324.72/325.01	c [INC SEARCH] isOptimum variable: 0
329.51/329.80	c [INC SEARCH] formula is UNSAT
329.51/329.80	c [INC SYSTEM] there exists a inc, kill it!
329.51/329.80	c write failed with 2
329.51/329.80	c sat variable: 0 optimum/unsat variable: 1
329.51/329.80	c [INC SEARCH] set lower bound to 44966 upperbound 45008
329.51/329.80	c [INC SEARCH] current bound: 44987
329.51/329.80	c [INC SEARCH] iteration: 12
329.51/329.80	c [INC SEARCH] lower bound: 44966 upperbound 45008 current bound: 44987 best value:45008
329.51/329.80	c [INC SYSTEM] create new solver instance
329.51/329.80	c [INC] encode full formula
329.61/329.94	c fallback to adder encoding
329.61/329.99	c set iterative enc to: adder
329.61/329.99	c set iterative enc to: none
329.70/330.06	c [INC SEARCH] isOptimum variable: 0
334.96/335.39	c [INC SEARCH] formula is UNSAT
334.96/335.39	c [INC SYSTEM] there exists a inc, kill it!
334.96/335.39	c write failed with 2
334.96/335.39	c sat variable: 0 optimum/unsat variable: 1
334.96/335.39	c [INC SEARCH] set lower bound to 44988 upperbound 45008
334.96/335.39	c [INC SEARCH] current bound: 44998
334.96/335.39	c [INC SEARCH] iteration: 13
334.96/335.39	c [INC SEARCH] lower bound: 44988 upperbound 45008 current bound: 44998 best value:45008
334.96/335.39	c [INC SYSTEM] create new solver instance
334.96/335.39	c [INC] encode full formula
334.96/335.39	c fallback to adder encoding
335.18/335.58	c set iterative enc to: adder
335.18/335.58	c set iterative enc to: none
335.28/335.61	c [INC SEARCH] isOptimum variable: 0
358.27/358.61	c [INC SEARCH] formula is UNSAT
358.27/358.61	c [INC SYSTEM] there exists a inc, kill it!
358.27/358.61	c write failed with 2
358.27/358.61	c sat variable: 0 optimum/unsat variable: 1
358.27/358.61	c [INC SEARCH] set lower bound to 44999 upperbound 45008
358.27/358.61	c [INC SEARCH] current bound: 45003
358.27/358.61	c [INC SEARCH] iteration: 14
358.27/358.61	c [INC SEARCH] lower bound: 44999 upperbound 45008 current bound: 45003 best value:45008
358.27/358.61	c [INC SYSTEM] create new solver instance
358.27/358.61	c [INC] encode full formula
358.27/358.61	c fallback to adder encoding
358.38/358.79	c set iterative enc to: adder
358.38/358.79	c set iterative enc to: none
358.47/358.83	c [INC SEARCH] isOptimum variable: 0
361.85/362.24	c [INC SEARCH] formula is UNSAT
361.85/362.24	c [INC SYSTEM] there exists a inc, kill it!
361.85/362.24	c write failed with 2
361.85/362.24	c sat variable: 0 optimum/unsat variable: 1
361.85/362.24	c [INC SEARCH] set lower bound to 45004 upperbound 45008
361.85/362.24	c [INC SEARCH] current bound: 45006
361.85/362.24	c [INC SEARCH] iteration: 15
361.85/362.24	c [INC SEARCH] lower bound: 45004 upperbound 45008 current bound: 45006 best value:45008
361.85/362.24	c [INC SYSTEM] create new solver instance
361.85/362.24	c [INC] encode full formula
361.85/362.24	c fallback to adder encoding
362.07/362.43	c set iterative enc to: adder
362.07/362.43	c set iterative enc to: none
362.07/362.46	c [INC SEARCH] isOptimum variable: 0
371.48/371.90	c [INC SEARCH] formula is UNSAT
371.48/371.90	c [INC SYSTEM] there exists a inc, kill it!
371.48/371.90	c write failed with 2
371.48/371.90	c sat variable: 0 optimum/unsat variable: 1
371.48/371.90	c [INC SEARCH] set lower bound to 45007 upperbound 45008
371.48/371.90	c [INC SEARCH] current bound: 45007
371.48/371.90	c [INC SEARCH] iteration: 16
371.48/371.90	c [INC SEARCH] lower bound: 45007 upperbound 45008 current bound: 45007 best value:45008
371.48/371.90	c [INC SYSTEM] create new solver instance
371.48/371.90	c [INC] encode full formula
371.48/371.90	c fallback to adder encoding
371.68/372.08	c set iterative enc to: adder
371.68/372.08	c set iterative enc to: none
371.77/372.12	c [INC SEARCH] isOptimum variable: 0
377.67/378.00	c [INC SEARCH] formula is UNSAT
377.67/378.00	c [INC SYSTEM] there exists a inc, kill it!
377.67/378.00	c write failed with 2
377.67/378.01	c sat variable: 0 optimum/unsat variable: 1
377.67/378.01	c [INC SEARCH] set lower bound to 45008 upperbound 45008
377.67/378.01	c display solution
377.67/378.01	s OPTIMUM FOUND
377.67/378.01	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 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248

Verifier Data 

OK	45008

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-3699171-1338085224/watcher-3699171-1338085224 -o /tmp/evaluation-result-3699171-1338085224/solver-3699171-1338085224 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699171-1338085224.opb 639219920 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: 2.00 2.00 2.00 4/179 6103
/proc/meminfo: memFree=27160544/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0

[startup+0.105255 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 6103
/proc/meminfo: memFree=27160544/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200383 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 6103
/proc/meminfo: memFree=27160544/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300277 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 6103
/proc/meminfo: memFree=27160544/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700314 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 6103
/proc/meminfo: memFree=27160544/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6112
/proc/meminfo: memFree=27074328/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=67960 CPUtime=0.8 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 13788 0 0 0 77 3 0 0 20 0 1 0 274649426 69591040 14716 33554432000 4194304 5654031 140734565848032 140734565845640 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 16990 14716 141 357 0 16630 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 85068

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6112
/proc/meminfo: memFree=27073948/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=67960 CPUtime=2.4 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 13793 0 0 0 237 3 0 0 20 0 1 0 274649426 69591040 14721 33554432000 4194304 5654031 140734565848032 140734565845816 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 16990 14721 141 357 0 16630 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 85068

[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6112
/proc/meminfo: memFree=27070536/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=69304 CPUtime=5.6 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 14131 0 0 0 557 3 0 0 20 0 1 0 274649426 70967296 15570 33554432000 4194304 5654031 140734565848032 140734565835848 4232880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 17326 15570 141 357 0 16966 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 86412

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 6112
/proc/meminfo: memFree=27070544/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=69568 CPUtime=12 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 14184 0 0 0 1197 3 0 0 20 0 1 0 274649426 71237632 15623 33554432000 4194304 5654031 140734565848032 140734565835848 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 17392 15623 141 357 0 17032 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86676

[startup+25.5005 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 6113
/proc/meminfo: memFree=27066816/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=72752 CPUtime=24.81 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 15859 0 0 0 2476 5 0 0 20 0 1 0 274649426 74498048 16538 33554432000 4194304 5654031 140734565848032 140734565835848 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 18188 16538 141 357 0 17828 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 89860

[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 6113
/proc/meminfo: memFree=27024752/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=122048 CPUtime=50.4 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 17289 0 0 0 5034 6 0 0 20 0 1 0 274649426 124977152 27082 33554432000 4194304 5654031 140734565848032 140734565835848 4215188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 30512 27082 141 357 0 30152 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 139156

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6113
/proc/meminfo: memFree=27017740/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=122048 CPUtime=101.6 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 17453 0 0 0 10154 6 0 0 20 0 1 0 274649426 124977152 28266 33554432000 4194304 5654031 140734565848032 140734565835848 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 30512 28266 141 357 0 30152 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 139156

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6113
/proc/meminfo: memFree=26980568/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=171368 CPUtime=161.58 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 18008 0 0 0 16152 6 0 0 20 0 1 0 274649426 175480832 37502 33554432000 4194304 5654031 140734565848032 140734565835848 4215033 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 42842 37502 141 357 0 42482 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 188476

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6113
/proc/meminfo: memFree=26978272/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=7960 CPUtime=0.66 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 4993 6791 0 0 34 13 17 2 20 0 1 0 274649358 8151040 1646 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 1990 1646 184 440 0 1546 0
[pid=6112] ppid=6104 vsize=171368 CPUtime=221.58 cores=1,3,5,7
/proc/6112/stat : 6112 (glucosInc) R 6104 6103 2277 0 -1 4202496 18454 0 0 0 22151 7 0 0 20 0 1 0 274649426 175480832 37505 33554432000 4194304 5654031 140734565848032 140734565835848 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6112/statm: 42842 37505 141 357 0 42482 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 188476

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6115
/proc/meminfo: memFree=27017112/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=243.18 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 11301 25780 0 0 62 18 24227 11 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6115] ppid=6104 vsize=86336 CPUtime=39.06 cores=1,3,5,7
/proc/6115/stat : 6115 (glucosInc) R 6104 6103 2277 0 -1 4202496 14062 0 0 0 3903 3 0 0 20 0 1 0 274673680 88408064 19007 33554432000 4194304 5654031 140736774737488 140736774725304 4215188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6115/statm: 21584 19007 141 357 0 21224 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 136248

[startup+342.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 6140
/proc/meminfo: memFree=27051280/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=335.29 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 75902 153885 0 0 272 43 33159 55 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6140] ppid=6104 vsize=48032 CPUtime=6.67 cores=1,3,5,7
/proc/6140/stat : 6140 (glucosInc) R 6104 6103 2277 0 -1 4202496 10566 0 0 0 665 2 0 0 20 0 1 0 274682919 49184768 10920 33554432000 4194304 5654031 140737434030272 140737434018088 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6140/statm: 12008 10920 141 357 0 11648 0
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (KiB) 97944

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

[startup+358.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 6140
/proc/meminfo: memFree=27046752/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=335.29 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 75902 153885 0 0 272 43 33159 55 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6140] ppid=6104 vsize=55212 CPUtime=22.78 cores=1,3,5,7
/proc/6140/stat : 6140 (glucosInc) R 6104 6103 2277 0 -1 4202496 11200 0 0 0 2275 3 0 0 20 0 1 0 274682919 56537088 12061 33554432000 4194304 5654031 140737434030272 140737434018088 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6140/statm: 13803 12061 141 357 0 13443 0
Current children cumulated CPU time (s) 358.07
Current children cumulated vsize (KiB) 105124

[startup+371.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6144
/proc/meminfo: memFree=27052200/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=362.15 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 87021 177801 0 0 309 48 35795 63 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6144] ppid=6104 vsize=47620 CPUtime=8.72 cores=1,3,5,7
/proc/6144/stat : 6144 (glucosInc) R 6104 6103 2277 0 -1 4202496 10570 0 0 0 869 3 0 0 20 0 1 0 274685604 48762880 10933 33554432000 4194304 5654031 140733225756896 140733225744712 4214469 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6144/statm: 11905 10933 141 357 0 11545 0
Current children cumulated CPU time (s) 370.87
Current children cumulated vsize (KiB) 97532

[startup+374.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6146
/proc/meminfo: memFree=27053876/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=371.8 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 92582 189605 0 0 328 50 36734 68 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6146] ppid=6104 vsize=46720 CPUtime=2.26 cores=1,3,5,7
/proc/6146/stat : 6146 (glucosInc) R 6104 6103 2277 0 -1 4202496 10158 0 0 0 224 2 0 0 20 0 1 0 274686570 47841280 10483 33554432000 4194304 5654031 140736545140224 140736545128040 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6146/statm: 11680 10483 141 357 0 11320 0
Current children cumulated CPU time (s) 374.06
Current children cumulated vsize (KiB) 96632

[startup+376 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6146
/proc/meminfo: memFree=27053132/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=371.8 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 92582 189605 0 0 328 50 36734 68 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6146] ppid=6104 vsize=47608 CPUtime=3.86 cores=1,3,5,7
/proc/6146/stat : 6146 (glucosInc) R 6104 6103 2277 0 -1 4202496 10319 0 0 0 384 2 0 0 20 0 1 0 274686570 48750592 10643 33554432000 4194304 5654031 140736545140224 140736545128040 4214977 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6146/statm: 11902 10643 141 357 0 11542 0
Current children cumulated CPU time (s) 375.66
Current children cumulated vsize (KiB) 97520

[startup+376.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6146
/proc/meminfo: memFree=27052884/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=371.8 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 92582 189605 0 0 328 50 36734 68 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6146] ppid=6104 vsize=47608 CPUtime=4.66 cores=1,3,5,7
/proc/6146/stat : 6146 (glucosInc) R 6104 6103 2277 0 -1 4202496 10375 0 0 0 464 2 0 0 20 0 1 0 274686570 48750592 10698 33554432000 4194304 5654031 140736545140224 140736545128040 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6146/statm: 11902 10698 141 357 0 11542 0
Current children cumulated CPU time (s) 376.46
Current children cumulated vsize (KiB) 97520

[startup+377.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6146
/proc/meminfo: memFree=27051892/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=371.8 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 92582 189605 0 0 328 50 36734 68 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6146] ppid=6104 vsize=47608 CPUtime=5.46 cores=1,3,5,7
/proc/6146/stat : 6146 (glucosInc) R 6104 6103 2277 0 -1 4202496 10442 0 0 0 544 2 0 0 20 0 1 0 274686570 48750592 10765 33554432000 4194304 5654031 140736545140224 140736545128040 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6146/statm: 11902 10765 141 357 0 11542 0
Current children cumulated CPU time (s) 377.26
Current children cumulated vsize (KiB) 97520

[startup+378 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 6146
/proc/meminfo: memFree=27051892/32873844 swapFree=7100/7100
[pid=6103] ppid=6101 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6103/stat : 6103 (npSolver-pbo-I.) S 6101 6103 2277 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274649357 9367552 275 33554432000 4194304 5064252 140736161939792 140736161938704 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6103/statm: 2287 275 233 213 0 72 0
[pid=6104] ppid=6103 vsize=40764 CPUtime=371.8 cores=1,3,5,7
/proc/6104/stat : 6104 (npSolver-pbo) S 6103 6103 2277 0 -1 4202496 92582 189605 0 0 328 50 36734 68 20 0 1 0 274649358 41742336 9848 33554432000 4194304 5992684 140735120588240 140735120573144 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6104/statm: 10191 9848 185 440 0 9747 0
[pid=6146] ppid=6104 vsize=43056 CPUtime=5.87 cores=1,3,5,7
/proc/6146/stat : 6146 (glucosInc) R 6104 6103 2277 0 -1 4202496 11069 0 0 0 584 3 0 0 20 0 1 0 274686570 44089344 9689 33554432000 4194304 5654031 140736545140224 140736545128040 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6146/statm: 10764 9689 141 357 0 10404 0
Current children cumulated CPU time (s) 377.67
Current children cumulated vsize (KiB) 92968

Child status: 0
Real time (s): 378.021
CPU time (s): 377.713
CPU user time (s): 376.476
CPU system time (s): 1.23681
CPU usage (%): 99.9184
Max. virtual memory (cumulated for all children) (KiB): 188484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.476
system time used= 1.23681
maximum resident set size= 156224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 454168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 635
involuntary context switches= 458

runsolver used 0.693894 second user time and 1.88271 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-27 04:20:24
IDJOB=3699171
IDBENCH=71902
IDSOLVER=2276
FILE ID=node111/3699171-1338085224
RUNJOBID= node111-1338052066-2294
PBS_JOBID= 14624388
Free space on /tmp= 71276 MiB

SOLVER NAME= npSolver inc
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__32.opb
COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3699171-1338085224/watcher-3699171-1338085224 -o /tmp/evaluation-result-3699171-1338085224/solver-3699171-1338085224 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3699171-1338085224.opb 639219920 HOME HOME

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

MD5SUM BENCH= a9de06eb109955ed8ed5086d04c7f5e9
RANDOM SEED=639219920

node111.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		: 2666.152
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	: 5332.30
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		: 2666.152
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		: 2666.152
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.92
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		: 2666.152
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		: 2666.152
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.91
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		: 2666.152
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.91
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		: 2666.152
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.91
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		: 2666.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27160816 kB
Buffers:          303256 kB
Cached:          3685676 kB
SwapCached:            0 kB
Active:          2215748 kB
Inactive:        2675796 kB
Active(anon):     904832 kB
Inactive(anon):        0 kB
Active(file):    1310916 kB
Inactive(file):  2675796 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8196 kB
Writeback:             0 kB
AnonPages:        897476 kB
Mapped:            15752 kB
Shmem:               200 kB
Slab:             676708 kB
SReclaimable:     119352 kB
SUnreclaim:       557356 kB
KernelStack:        1512 kB
PageTables:         6020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1226884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    817152 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= 71264 MiB
End job on node111 at 2012-05-27 04:26:42