Trace number 3748328

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 inc (fixed)OPT45008 350.883 351.094

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.05	c run inc solver
0.00/0.05	c [INC SYSTEM] run initial solver
0.00/0.05	c [INC SYSTEM] preprocess with white file
0.00/0.45	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.45	c [INC SYSTEM] execute solver
0.00/0.48	c [INC SEARCH] formula is SAT
0.00/0.48	c [INC SYSTEM] solved the initial formula
0.00/0.49	c model valid
0.00/0.49	c current solution ok
0.00/0.59	o 306047
0.00/0.59	c execute binary inc search
0.00/0.59	c [INC SEARCH] current bound: 153023
0.00/0.59	c [INC SEARCH] iteration: 0
0.00/0.59	c [INC SEARCH] lower bound: 0 upperbound 306047 current bound: 153023 best value:306047
0.00/0.59	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.59	c write failed with 2
0.00/0.59	c [INC SYSTEM] create new solver instance
0.00/0.59	c [INC] encode full formula
0.00/0.59	c fallback to adder encoding
0.00/0.90	c set iterative enc to: adder
0.00/0.90	c set iterative enc to: none
0.00/0.94	c [INC SEARCH] isOptimum variable: 0
235.20/235.32	c [INC SEARCH] formula is SAT
235.20/235.33	c [INC SEARCH] copied best model
235.20/235.33	c sat variable: 1 optimum/unsat variable: 0
235.20/235.33	c model valid
235.20/235.33	c current solution ok
235.20/235.33	o 145896
235.20/235.33	c [INC SEARCH] current bound: 72948
235.20/235.33	c [INC SEARCH] iteration: 1
235.20/235.33	c [INC SEARCH] lower bound: 0 upperbound 145896 current bound: 72948 best value:145896
235.20/235.33	c [INC SYSTEM] there exists a inc, kill it!
235.20/235.33	c write failed with 2
235.20/235.33	c [INC SYSTEM] create new solver instance
235.20/235.33	c [INC] encode full formula
235.20/235.33	c fallback to adder encoding
235.52/235.61	c set iterative enc to: adder
235.52/235.61	c set iterative enc to: none
235.52/235.65	c [INC SEARCH] isOptimum variable: 0
266.98/267.16	c [INC SEARCH] formula is SAT
266.98/267.17	c [INC SEARCH] copied best model
266.98/267.17	c sat variable: 1 optimum/unsat variable: 0
266.98/267.18	c model valid
266.98/267.18	c current solution ok
266.98/267.18	o 72813
266.98/267.18	c [INC SEARCH] current bound: 36406
266.98/267.18	c [INC SEARCH] iteration: 2
266.98/267.18	c [INC SEARCH] lower bound: 0 upperbound 72813 current bound: 36406 best value:72813
266.98/267.18	c [INC SYSTEM] there exists a inc, kill it!
266.98/267.18	c write failed with 2
266.98/267.18	c [INC SYSTEM] create new solver instance
266.98/267.18	c [INC] encode full formula
266.98/267.18	c fallback to adder encoding
267.19/267.34	c set iterative enc to: adder
267.19/267.34	c set iterative enc to: none
267.19/267.36	c [INC SEARCH] isOptimum variable: 0
267.27/267.77	c [INC SEARCH] formula is UNSAT
267.27/267.77	c [INC SYSTEM] there exists a inc, kill it!
267.27/267.77	c write failed with 2
267.27/267.77	c sat variable: 0 optimum/unsat variable: 1
267.27/267.77	c [INC SEARCH] set lower bound to 36407 upperbound 72813
267.27/267.77	c [INC SEARCH] current bound: 54610
267.27/267.77	c [INC SEARCH] iteration: 3
267.27/267.77	c [INC SEARCH] lower bound: 36407 upperbound 72813 current bound: 54610 best value:72813
267.27/267.77	c [INC SYSTEM] create new solver instance
267.27/267.77	c [INC] encode full formula
267.27/267.77	c fallback to adder encoding
267.81/267.98	c set iterative enc to: adder
267.81/267.98	c set iterative enc to: none
267.90/268.01	c [INC SEARCH] isOptimum variable: 0
282.19/282.30	c [INC SEARCH] formula is SAT
282.19/282.31	c [INC SEARCH] copied best model
282.19/282.31	c sat variable: 1 optimum/unsat variable: 0
282.19/282.32	c model valid
282.19/282.32	c current solution ok
282.19/282.32	o 45008
282.19/282.32	c [INC SEARCH] current bound: 40707
282.19/282.32	c [INC SEARCH] iteration: 4
282.19/282.32	c [INC SEARCH] lower bound: 36407 upperbound 45008 current bound: 40707 best value:45008
282.19/282.32	c [INC SYSTEM] there exists a inc, kill it!
282.19/282.32	c write failed with 2
282.19/282.32	c [INC SYSTEM] create new solver instance
282.19/282.32	c [INC] encode full formula
282.19/282.32	c fallback to adder encoding
282.29/282.49	c set iterative enc to: adder
282.29/282.49	c set iterative enc to: none
282.39/282.52	c [INC SEARCH] isOptimum variable: 0
283.19/283.36	c [INC SEARCH] formula is UNSAT
283.19/283.36	c [INC SYSTEM] there exists a inc, kill it!
283.19/283.36	c write failed with 2
283.19/283.36	c sat variable: 0 optimum/unsat variable: 1
283.19/283.36	c [INC SEARCH] set lower bound to 40708 upperbound 45008
283.19/283.36	c [INC SEARCH] current bound: 42858
283.19/283.36	c [INC SEARCH] iteration: 5
283.19/283.36	c [INC SEARCH] lower bound: 40708 upperbound 45008 current bound: 42858 best value:45008
283.19/283.36	c [INC SYSTEM] create new solver instance
283.19/283.36	c [INC] encode full formula
283.19/283.36	c fallback to adder encoding
283.40/283.54	c set iterative enc to: adder
283.40/283.54	c set iterative enc to: none
283.44/283.62	c [INC SEARCH] isOptimum variable: 0
284.34/284.58	c [INC SEARCH] formula is UNSAT
284.34/284.58	c [INC SYSTEM] there exists a inc, kill it!
284.34/284.58	c write failed with 2
284.34/284.58	c sat variable: 0 optimum/unsat variable: 1
284.34/284.58	c [INC SEARCH] set lower bound to 42859 upperbound 45008
284.34/284.58	c [INC SEARCH] current bound: 43933
284.34/284.58	c [INC SEARCH] iteration: 6
284.34/284.58	c [INC SEARCH] lower bound: 42859 upperbound 45008 current bound: 43933 best value:45008
284.34/284.58	c [INC SYSTEM] create new solver instance
284.34/284.58	c [INC] encode full formula
284.34/284.58	c fallback to adder encoding
284.55/284.77	c set iterative enc to: adder
284.55/284.77	c set iterative enc to: none
284.66/284.80	c [INC SEARCH] isOptimum variable: 0
290.15/290.37	c [INC SEARCH] formula is UNSAT
290.15/290.37	c [INC SYSTEM] there exists a inc, kill it!
290.15/290.37	c write failed with 2
290.15/290.37	c sat variable: 0 optimum/unsat variable: 1
290.15/290.37	c [INC SEARCH] set lower bound to 43934 upperbound 45008
290.15/290.37	c [INC SEARCH] current bound: 44471
290.15/290.37	c [INC SEARCH] iteration: 7
290.15/290.37	c [INC SEARCH] lower bound: 43934 upperbound 45008 current bound: 44471 best value:45008
290.15/290.37	c [INC SYSTEM] create new solver instance
290.15/290.37	c [INC] encode full formula
290.15/290.37	c fallback to adder encoding
290.35/290.56	c set iterative enc to: adder
290.35/290.56	c set iterative enc to: none
290.35/290.59	c [INC SEARCH] isOptimum variable: 0
293.63/293.82	c [INC SEARCH] formula is UNSAT
293.63/293.82	c [INC SYSTEM] there exists a inc, kill it!
293.63/293.82	c write failed with 2
293.63/293.82	c sat variable: 0 optimum/unsat variable: 1
293.63/293.82	c [INC SEARCH] set lower bound to 44472 upperbound 45008
293.63/293.82	c [INC SEARCH] current bound: 44740
293.63/293.82	c [INC SEARCH] iteration: 8
293.63/293.82	c [INC SEARCH] lower bound: 44472 upperbound 45008 current bound: 44740 best value:45008
293.63/293.82	c [INC SYSTEM] create new solver instance
293.63/293.82	c [INC] encode full formula
293.63/293.82	c fallback to adder encoding
293.84/294.01	c set iterative enc to: adder
293.84/294.01	c set iterative enc to: none
293.84/294.04	c [INC SEARCH] isOptimum variable: 0
300.74/300.96	c [INC SEARCH] formula is UNSAT
300.74/300.96	c [INC SYSTEM] there exists a inc, kill it!
300.74/300.96	c write failed with 2
300.74/300.96	c sat variable: 0 optimum/unsat variable: 1
300.74/300.96	c [INC SEARCH] set lower bound to 44741 upperbound 45008
300.74/300.96	c [INC SEARCH] current bound: 44874
300.74/300.96	c [INC SEARCH] iteration: 9
300.74/300.96	c [INC SEARCH] lower bound: 44741 upperbound 45008 current bound: 44874 best value:45008
300.74/300.96	c [INC SYSTEM] create new solver instance
300.74/300.96	c [INC] encode full formula
300.74/300.96	c fallback to adder encoding
300.95/301.15	c set iterative enc to: adder
300.95/301.15	c set iterative enc to: none
300.95/301.18	c [INC SEARCH] isOptimum variable: 0
305.53/305.70	c [INC SEARCH] formula is UNSAT
305.53/305.70	c [INC SYSTEM] there exists a inc, kill it!
305.53/305.70	c write failed with 2
305.53/305.70	c sat variable: 0 optimum/unsat variable: 1
305.53/305.70	c [INC SEARCH] set lower bound to 44875 upperbound 45008
305.53/305.70	c [INC SEARCH] current bound: 44941
305.53/305.70	c [INC SEARCH] iteration: 10
305.53/305.70	c [INC SEARCH] lower bound: 44875 upperbound 45008 current bound: 44941 best value:45008
305.53/305.70	c [INC SYSTEM] create new solver instance
305.53/305.70	c [INC] encode full formula
305.53/305.70	c fallback to adder encoding
305.64/305.89	c set iterative enc to: adder
305.64/305.89	c set iterative enc to: none
305.73/305.92	c [INC SEARCH] isOptimum variable: 0
309.54/309.77	c [INC SEARCH] formula is UNSAT
309.54/309.77	c [INC SYSTEM] there exists a inc, kill it!
309.54/309.77	c write failed with 2
309.54/309.77	c sat variable: 0 optimum/unsat variable: 1
309.54/309.77	c [INC SEARCH] set lower bound to 44942 upperbound 45008
309.54/309.77	c [INC SEARCH] current bound: 44975
309.54/309.77	c [INC SEARCH] iteration: 11
309.54/309.77	c [INC SEARCH] lower bound: 44942 upperbound 45008 current bound: 44975 best value:45008
309.54/309.77	c [INC SYSTEM] create new solver instance
309.54/309.77	c [INC] encode full formula
309.54/309.77	c fallback to adder encoding
309.73/309.96	c set iterative enc to: adder
309.73/309.96	c set iterative enc to: none
309.73/309.99	c [INC SEARCH] isOptimum variable: 0
315.53/315.80	c [INC SEARCH] formula is UNSAT
315.53/315.80	c [INC SYSTEM] there exists a inc, kill it!
315.53/315.80	c write failed with 2
315.63/315.80	c sat variable: 0 optimum/unsat variable: 1
315.63/315.80	c [INC SEARCH] set lower bound to 44976 upperbound 45008
315.63/315.80	c [INC SEARCH] current bound: 44992
315.63/315.80	c [INC SEARCH] iteration: 12
315.63/315.80	c [INC SEARCH] lower bound: 44976 upperbound 45008 current bound: 44992 best value:45008
315.63/315.80	c [INC SYSTEM] create new solver instance
315.63/315.80	c [INC] encode full formula
315.63/315.80	c fallback to adder encoding
315.73/315.99	c set iterative enc to: adder
315.73/315.99	c set iterative enc to: none
315.82/316.02	c [INC SEARCH] isOptimum variable: 0
320.02/320.28	c [INC SEARCH] formula is UNSAT
320.02/320.28	c [INC SYSTEM] there exists a inc, kill it!
320.02/320.28	c write failed with 2
320.02/320.28	c sat variable: 0 optimum/unsat variable: 1
320.02/320.28	c [INC SEARCH] set lower bound to 44993 upperbound 45008
320.02/320.28	c [INC SEARCH] current bound: 45000
320.02/320.28	c [INC SEARCH] iteration: 13
320.02/320.28	c [INC SEARCH] lower bound: 44993 upperbound 45008 current bound: 45000 best value:45008
320.02/320.28	c [INC SYSTEM] create new solver instance
320.02/320.28	c [INC] encode full formula
320.02/320.28	c fallback to adder encoding
320.22/320.47	c set iterative enc to: adder
320.22/320.47	c set iterative enc to: none
320.32/320.50	c [INC SEARCH] isOptimum variable: 0
326.01/326.24	c [INC SEARCH] formula is UNSAT
326.01/326.24	c [INC SYSTEM] there exists a inc, kill it!
326.01/326.24	c write failed with 2
326.01/326.25	c sat variable: 0 optimum/unsat variable: 1
326.01/326.25	c [INC SEARCH] set lower bound to 45001 upperbound 45008
326.01/326.25	c [INC SEARCH] current bound: 45004
326.01/326.25	c [INC SEARCH] iteration: 14
326.01/326.25	c [INC SEARCH] lower bound: 45001 upperbound 45008 current bound: 45004 best value:45008
326.01/326.25	c [INC SYSTEM] create new solver instance
326.01/326.25	c [INC] encode full formula
326.01/326.25	c fallback to adder encoding
326.23/326.43	c set iterative enc to: adder
326.23/326.43	c set iterative enc to: none
326.23/326.46	c [INC SEARCH] isOptimum variable: 0
339.02/339.21	c [INC SEARCH] formula is UNSAT
339.02/339.21	c [INC SYSTEM] there exists a inc, kill it!
339.02/339.21	c write failed with 2
339.02/339.22	c sat variable: 0 optimum/unsat variable: 1
339.02/339.22	c [INC SEARCH] set lower bound to 45005 upperbound 45008
339.02/339.22	c [INC SEARCH] current bound: 45006
339.02/339.22	c [INC SEARCH] iteration: 15
339.02/339.22	c [INC SEARCH] lower bound: 45005 upperbound 45008 current bound: 45006 best value:45008
339.02/339.22	c [INC SYSTEM] create new solver instance
339.02/339.22	c [INC] encode full formula
339.02/339.22	c fallback to adder encoding
339.23/339.40	c set iterative enc to: adder
339.23/339.40	c set iterative enc to: none
339.23/339.43	c [INC SEARCH] isOptimum variable: 0
344.21/344.45	c [INC SEARCH] formula is UNSAT
344.21/344.45	c [INC SYSTEM] there exists a inc, kill it!
344.21/344.45	c write failed with 2
344.21/344.45	c sat variable: 0 optimum/unsat variable: 1
344.21/344.45	c [INC SEARCH] set lower bound to 45007 upperbound 45008
344.21/344.45	c [INC SEARCH] current bound: 45007
344.21/344.45	c [INC SEARCH] iteration: 16
344.21/344.45	c [INC SEARCH] lower bound: 45007 upperbound 45008 current bound: 45007 best value:45008
344.21/344.45	c [INC SYSTEM] create new solver instance
344.21/344.45	c [INC] encode full formula
344.21/344.45	c fallback to adder encoding
344.42/344.64	c set iterative enc to: adder
344.42/344.64	c set iterative enc to: none
344.48/344.71	c [INC SEARCH] isOptimum variable: 0
350.77/351.08	c [INC SEARCH] formula is UNSAT
350.77/351.08	c [INC SYSTEM] there exists a inc, kill it!
350.77/351.08	c write failed with 2
350.77/351.09	c sat variable: 0 optimum/unsat variable: 1
350.77/351.09	c [INC SEARCH] set lower bound to 45008 upperbound 45008
350.77/351.09	c display solution
350.77/351.09	s OPTIMUM FOUND
350.77/351.09	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-3748328-1339158254/watcher-3748328-1339158254 -o /tmp/evaluation-result-3748328-1339158254/solver-3748328-1339158254 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748328-1339158254.opb 1674994235 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: 4.22 3.51 2.63 4/175 30325
/proc/meminfo: memFree=25777696/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0

[startup+0.103773 s]
/proc/loadavg: 4.22 3.51 2.63 4/175 30325
/proc/meminfo: memFree=25777696/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200258 s]
/proc/loadavg: 4.22 3.51 2.63 4/175 30325
/proc/meminfo: memFree=25777696/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300238 s]
/proc/loadavg: 4.22 3.51 2.63 4/175 30325
/proc/meminfo: memFree=25777696/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700246 s]
/proc/loadavg: 4.22 3.51 2.63 4/175 30325
/proc/meminfo: memFree=25777696/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 4.22 3.51 2.63 3/181 30345
/proc/meminfo: memFree=30456816/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=72320 CPUtime=0.55 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 14228 0 0 0 51 4 0 0 20 0 1 0 381954061 74055680 15353 33554432000 4194304 5654031 140734399100800 140734398050152 4214315 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 18080 15353 141 357 0 17720 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 105224

[startup+3.10039 s]
/proc/loadavg: 4.22 3.51 2.63 3/181 30345
/proc/meminfo: memFree=30359440/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=73264 CPUtime=2.14 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 14418 0 0 0 210 4 0 0 20 0 1 0 381954061 75022336 15543 33554432000 4194304 5654031 140734399100800 140734399088616 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 18316 15543 142 357 0 17956 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 106168

[startup+6.30039 s]
/proc/loadavg: 4.28 3.53 2.65 3/181 30345
/proc/meminfo: memFree=30056884/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=75668 CPUtime=5.34 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 15010 0 0 0 530 4 0 0 20 0 1 0 381954061 77484032 16135 33554432000 4194304 5654031 140734399100800 140734399088616 4232763 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 18917 16135 142 357 0 18557 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 108572

[startup+12.7004 s]
/proc/loadavg: 4.10 3.51 2.64 3/181 30345
/proc/meminfo: memFree=29550476/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=76956 CPUtime=11.74 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 15331 0 0 0 1170 4 0 0 20 0 1 0 381954061 78802944 16966 33554432000 4194304 5654031 140734399100800 140734399088616 4215030 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 19239 16966 142 357 0 18879 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 109860

[startup+25.5005 s]
/proc/loadavg: 3.63 3.43 2.63 3/181 30345
/proc/meminfo: memFree=28520496/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=89996 CPUtime=24.52 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 16075 0 0 0 2448 4 0 0 20 0 1 0 381954061 92155904 18198 33554432000 4194304 5654031 140734399100800 140734399088616 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 22499 18198 142 357 0 22139 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 122900

[startup+51.1004 s]
/proc/loadavg: 3.14 3.33 2.62 3/181 30345
/proc/meminfo: memFree=26436916/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=79716 CPUtime=50.12 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 17153 0 0 0 5007 5 0 0 20 0 1 0 381954061 81629184 18070 33554432000 4194304 5654031 140734399100800 140734399088616 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 19929 18070 142 357 0 19569 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 112620

[startup+102.3 s]
/proc/loadavg: 2.73 3.17 2.60 2/180 30345
/proc/meminfo: memFree=9620484/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=128032 CPUtime=101.32 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 18074 0 0 0 10126 6 0 0 20 0 1 0 381954061 131104768 29134 33554432000 4194304 5654031 140734399100800 140734399088616 4216339 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 32008 29134 142 357 0 31648 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 160936

[startup+162.3 s]
/proc/loadavg: 3.54 3.32 2.69 3/182 30348
/proc/meminfo: memFree=10566192/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=177352 CPUtime=161.29 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 18549 0 0 0 16097 32 0 0 20 0 1 0 381954061 181608448 38094 33554432000 4194304 5654031 140734399100800 140734399098728 4215353 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 44338 38094 142 357 0 43978 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 210256

[startup+222.3 s]
/proc/loadavg: 3.25 3.28 2.71 2/176 30378
/proc/meminfo: memFree=30305396/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=23756 CPUtime=0.92 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 7062 10845 0 0 36 14 39 3 20 0 1 0 381953967 24326144 5364 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30326/statm: 5939 5364 179 442 0 5493 0
[pid=30339] ppid=30326 vsize=177352 CPUtime=221.28 cores=1,3,5,7
/proc/30339/stat : 30339 (glucosInc) R 30326 30325 26074 0 -1 4202496 18758 0 0 0 22084 44 0 0 20 0 1 0 381954061 181608448 38095 33554432000 4194304 5654031 140734399100800 140734399088616 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30339/statm: 44338 38095 142 357 0 43978 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 210256

[startup+282.3 s]
/proc/loadavg: 2.55 3.07 2.67 3/180 30395
/proc/meminfo: memFree=25648212/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=267.93 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 23276 55549 0 0 104 22 26607 60 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30395] ppid=30326 vsize=54240 CPUtime=14.26 cores=1,3,5,7
/proc/30395/stat : 30395 (glucosInc) R 30326 30325 26074 0 -1 4202496 13278 0 0 0 1423 3 0 0 20 0 1 0 381980768 55541760 12080 33554432000 4194304 5654031 140733610148656 140733610145128 4976752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30395/statm: 13560 12080 143 357 0 13200 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 104488

[startup+342.3 s]
/proc/loadavg: 2.24 2.89 2.63 3/180 30419
/proc/meminfo: memFree=20723860/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=339.26 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 79910 203509 0 0 330 47 33439 110 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30419] ppid=30326 vsize=50604 CPUtime=2.85 cores=1,3,5,7
/proc/30419/stat : 30419 (glucosInc) R 30326 30325 26074 0 -1 4202496 10924 0 0 0 282 3 0 0 20 0 1 0 381987910 51818496 11507 33554432000 4194304 5654031 140736317783696 140736317771512 4222815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30419/statm: 12651 11507 142 357 0 12291 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 100852

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

[startup+346.1 s]
/proc/loadavg: 2.22 2.87 2.63 3/180 30421
/proc/meminfo: memFree=20716096/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=344.5 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 84653 216053 0 0 349 50 33936 115 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30421] ppid=30326 vsize=50376 CPUtime=1.37 cores=1,3,5,7
/proc/30421/stat : 30421 (glucosInc) R 30326 30325 26074 0 -1 4202496 11654 0 0 0 134 3 0 0 20 0 1 0 381988438 51585024 11045 33554432000 4194304 5654031 140734061261168 140734061258936 4214475 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30421/statm: 12594 11045 142 357 0 12234 0
Current children cumulated CPU time (s) 345.87
Current children cumulated vsize (KiB) 100624

[startup+349.307 s]
/proc/loadavg: 2.20 2.86 2.63 3/181 30424
/proc/meminfo: memFree=20709848/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=344.5 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 84653 216053 0 0 349 50 33936 115 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30421] ppid=30326 vsize=51460 CPUtime=4.58 cores=1,3,5,7
/proc/30421/stat : 30421 (glucosInc) R 30326 30325 26074 0 -1 4202496 11936 0 0 0 455 3 0 0 20 0 1 0 381988438 52695040 11327 33554432000 4194304 5654031 140734061261168 140734061258936 4215104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30421/statm: 12865 11327 142 357 0 12505 0
Current children cumulated CPU time (s) 349.08
Current children cumulated vsize (KiB) 101708

[startup+350.1 s]
/proc/loadavg: 2.20 2.86 2.63 3/181 30424
/proc/meminfo: memFree=20709848/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=344.5 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 84653 216053 0 0 349 50 33936 115 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30421] ppid=30326 vsize=51460 CPUtime=5.37 cores=1,3,5,7
/proc/30421/stat : 30421 (glucosInc) R 30326 30325 26074 0 -1 4202496 11967 0 0 0 534 3 0 0 20 0 1 0 381988438 52695040 11358 33554432000 4194304 5654031 140734061261168 140734061248984 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30421/statm: 12865 11358 142 357 0 12505 0
Current children cumulated CPU time (s) 349.87
Current children cumulated vsize (KiB) 101708

[startup+350.5 s]
/proc/loadavg: 2.20 2.86 2.63 3/181 30424
/proc/meminfo: memFree=20707616/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=344.5 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 84653 216053 0 0 349 50 33936 115 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30421] ppid=30326 vsize=46976 CPUtime=5.77 cores=1,3,5,7
/proc/30421/stat : 30421 (glucosInc) R 30326 30325 26074 0 -1 4202496 12460 0 0 0 573 4 0 0 20 0 1 0 381988438 48103424 10237 33554432000 4194304 5654031 140734061261168 140734061248984 4214622 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30421/statm: 11744 10237 142 357 0 11384 0
Current children cumulated CPU time (s) 350.27
Current children cumulated vsize (KiB) 97224

[startup+350.9 s]
/proc/loadavg: 2.20 2.86 2.63 3/181 30424
/proc/meminfo: memFree=20707616/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=344.5 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 84653 216053 0 0 349 50 33936 115 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30421] ppid=30326 vsize=46976 CPUtime=6.17 cores=1,3,5,7
/proc/30421/stat : 30421 (glucosInc) R 30326 30325 26074 0 -1 4202496 12460 0 0 0 613 4 0 0 20 0 1 0 381988438 48103424 10237 33554432000 4194304 5654031 140734061261168 140734061248984 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30421/statm: 11744 10237 142 357 0 11384 0
Current children cumulated CPU time (s) 350.67
Current children cumulated vsize (KiB) 97224

[startup+351 s]
/proc/loadavg: 2.20 2.86 2.63 3/181 30424
/proc/meminfo: memFree=20707616/32873844 swapFree=8656/8656
[pid=30325] ppid=30323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30325/stat : 30325 (npSolver-pbo-I.) S 30323 30325 26074 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 381953967 9367552 275 33554432000 4194304 5064252 140734349972416 140734349971328 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30325/statm: 2287 275 233 213 0 72 0
[pid=30326] ppid=30325 vsize=41100 CPUtime=344.5 cores=1,3,5,7
/proc/30326/stat : 30326 (npSolver-pbo) S 30325 30325 26074 0 -1 4202496 84653 216053 0 0 349 50 33936 115 20 0 1 0 381953967 42086400 9701 33554432000 4194304 6004724 140733659137664 140733659122584 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30326/statm: 10275 9701 180 442 0 9829 0
[pid=30421] ppid=30326 vsize=46976 CPUtime=6.27 cores=1,3,5,7
/proc/30421/stat : 30421 (glucosInc) R 30326 30325 26074 0 -1 4202496 12460 0 0 0 623 4 0 0 20 0 1 0 381988438 48103424 10237 33554432000 4194304 5654031 140734061261168 140734061248984 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30421/statm: 11744 10237 142 357 0 11384 0
Current children cumulated CPU time (s) 350.77
Current children cumulated vsize (KiB) 97224

Child status: 0
Real time (s): 351.094
CPU time (s): 350.883
CPU user time (s): 349.181
CPU system time (s): 1.70174
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 210260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.181
system time used= 1.70174
maximum resident set size= 160572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 479648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 917
involuntary context switches= 1435

runsolver used 0.619905 second user time and 1.66675 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-08 14:24:14
IDJOB=3748328
IDBENCH=71902
IDSOLVER=2333
FILE ID=node102/3748328-1339158254
RUNJOBID= node102-1339158254-30308
PBS_JOBID= 14643784
Free space on /tmp= 71148 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-3748328-1339158254/watcher-3748328-1339158254 -o /tmp/evaluation-result-3748328-1339158254/solver-3748328-1339158254 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3748328-1339158254.opb 1674994235 HOME HOME

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

MD5SUM BENCH= a9de06eb109955ed8ed5086d04c7f5e9
RANDOM SEED=1674994235

node102.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.178
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.35
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.178
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.90
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.178
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.178
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.178
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		: 2667.178
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	: 5438.54
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.178
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		: 2667.178
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:        25646644 kB
Buffers:          296800 kB
Cached:          5787500 kB
SwapCached:         2696 kB
Active:           610176 kB
Inactive:        5482420 kB
Active(anon):       6000 kB
Inactive(anon):     4920 kB
Active(file):     604176 kB
Inactive(file):  5477500 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67099984 kB
Dirty:             16508 kB
Writeback:             0 kB
AnonPages:         15164 kB
Mapped:             8364 kB
Shmem:                 0 kB
Slab:             992584 kB
SReclaimable:     433004 kB
SUnreclaim:       559580 kB
KernelStack:        1392 kB
PageTables:         3932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70868 MiB
End job on node102 at 2012-06-08 14:30:05