Trace number 3500298

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
pwbo 1.1SAT (TO)25 1800.08 900.035

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.49901
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500298-1307993090.opb.
0.00/0.00	c Instance file HOME/instance-3500298-1307993090.opb
0.00/0.00	c File size is 36242 bytes.
0.00/0.00	c Highest Coefficient sum: 23
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      776                                                 |
0.00/0.00	c |  Number Clauses:        702                                                 |
0.00/0.00	c |  Number Cardinality:    165                                                 |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c init lb 0
0.00/0.00	c init ub 2128
0.00/0.00	c lb -473 (thread 0)
0.00/0.00	c lb -472 (thread 0)
0.00/0.00	c ub 56 (thread 1)
0.00/0.00	o 56
0.00/0.00	c lb -471 (thread 0)
0.00/0.00	c lb -470 (thread 0)
0.00/0.00	c ub 55 (thread 1)
0.00/0.00	o 55
0.00/0.00	c lb -469 (thread 0)
0.00/0.00	c ub 53 (thread 1)
0.00/0.00	o 53
0.00/0.00	c lb -468 (thread 0)
0.00/0.00	c lb -467 (thread 0)
0.00/0.00	c ub 45 (thread 1)
0.00/0.01	o 45
0.00/0.01	c lb -466 (thread 0)
0.00/0.01	c ub 44 (thread 1)
0.00/0.01	o 44
0.00/0.01	c lb -465 (thread 0)
0.00/0.01	c lb -464 (thread 0)
0.00/0.01	c ub 43 (thread 1)
0.00/0.01	o 43
0.00/0.01	c lb -463 (thread 0)
0.00/0.01	c lb -462 (thread 0)
0.01/0.01	c lb -461 (thread 0)
0.01/0.01	c lb -460 (thread 0)
0.01/0.01	c lb -459 (thread 0)
0.01/0.01	c lb -458 (thread 0)
0.01/0.01	c lb -457 (thread 0)
0.01/0.01	c lb -456 (thread 0)
0.01/0.01	c lb -455 (thread 0)
0.01/0.01	c lb -454 (thread 0)
0.01/0.01	c lb -453 (thread 0)
0.01/0.02	c lb -452 (thread 0)
0.01/0.02	c lb -451 (thread 0)
0.01/0.02	c lb -450 (thread 0)
0.01/0.02	c lb -449 (thread 0)
0.01/0.02	c lb -448 (thread 0)
0.01/0.02	c lb -447 (thread 0)
0.01/0.02	c lb -446 (thread 0)
0.01/0.02	c lb -445 (thread 0)
0.01/0.02	c ub 41 (thread 1)
0.01/0.02	o 41
0.01/0.02	c lb -444 (thread 0)
0.01/0.02	c lb -443 (thread 0)
0.01/0.02	c ub 37 (thread 1)
0.01/0.02	o 37
0.01/0.02	c lb -442 (thread 0)
0.01/0.02	c lb -441 (thread 0)
0.01/0.03	c lb -440 (thread 0)
0.01/0.03	c lb -439 (thread 0)
0.01/0.03	c lb -438 (thread 0)
0.01/0.03	c lb -437 (thread 0)
0.01/0.03	c lb -436 (thread 0)
0.01/0.03	c lb -435 (thread 0)
0.01/0.03	c lb -434 (thread 0)
0.01/0.03	c lb -433 (thread 0)
0.01/0.03	c lb -432 (thread 0)
0.01/0.03	c lb -431 (thread 0)
0.01/0.03	c lb -430 (thread 0)
0.01/0.04	c ub 36 (thread 1)
0.01/0.04	o 36
0.01/0.04	c lb -429 (thread 0)
0.01/0.04	c lb -428 (thread 0)
0.01/0.04	c lb -427 (thread 0)
0.01/0.04	c lb -426 (thread 0)
0.01/0.04	c lb -425 (thread 0)
0.01/0.04	c lb -424 (thread 0)
0.01/0.04	c lb -423 (thread 0)
0.01/0.04	c lb -422 (thread 0)
0.01/0.04	c lb -421 (thread 0)
0.01/0.04	c lb -420 (thread 0)
0.01/0.05	c lb -419 (thread 0)
0.01/0.05	c lb -418 (thread 0)
0.01/0.05	c lb -417 (thread 0)
0.01/0.05	c lb -416 (thread 0)
0.01/0.05	c lb -415 (thread 0)
0.01/0.05	c lb -414 (thread 0)
0.01/0.05	c lb -413 (thread 0)
0.01/0.05	c lb -412 (thread 0)
0.01/0.05	c lb -411 (thread 0)
0.01/0.06	c lb -410 (thread 0)
0.01/0.06	c lb -409 (thread 0)
0.01/0.06	c lb -408 (thread 0)
0.01/0.06	c lb -407 (thread 0)
0.01/0.06	c lb -406 (thread 0)
0.01/0.06	c lb -405 (thread 0)
0.01/0.06	c lb -404 (thread 0)
0.01/0.06	c lb -402 (thread 0)
0.01/0.07	c lb -401 (thread 0)
0.01/0.07	c lb -400 (thread 0)
0.01/0.07	c lb -399 (thread 0)
0.01/0.07	c lb -398 (thread 0)
0.01/0.07	c lb -397 (thread 0)
0.01/0.07	c lb -396 (thread 0)
0.01/0.07	c lb -395 (thread 0)
0.01/0.07	c lb -394 (thread 0)
0.01/0.08	c lb -393 (thread 0)
0.01/0.08	c lb -392 (thread 0)
0.01/0.08	c lb -391 (thread 0)
0.01/0.08	c lb -390 (thread 0)
0.01/0.08	c lb -389 (thread 0)
0.01/0.08	c lb -388 (thread 0)
0.01/0.08	c lb -387 (thread 0)
0.01/0.08	c lb -386 (thread 0)
0.01/0.09	c lb -385 (thread 0)
0.01/0.09	c lb -384 (thread 0)
0.01/0.09	c lb -383 (thread 0)
0.01/0.09	c lb -382 (thread 0)
0.01/0.09	c lb -380 (thread 0)
0.01/0.09	c lb -379 (thread 0)
0.01/0.09	c lb -378 (thread 0)
0.01/0.10	c lb -377 (thread 0)
0.19/0.10	c lb -376 (thread 0)
0.19/0.10	c lb -375 (thread 0)
0.19/0.10	c lb -374 (thread 0)
0.19/0.10	c lb -373 (thread 0)
0.19/0.10	c lb -372 (thread 0)
0.19/0.10	c lb -371 (thread 0)
0.19/0.11	c lb -370 (thread 0)
0.19/0.11	c lb -369 (thread 0)
0.19/0.11	c lb -368 (thread 0)
0.19/0.11	c lb -367 (thread 0)
0.19/0.11	c lb -366 (thread 0)
0.19/0.11	c lb -365 (thread 0)
0.19/0.12	c lb -364 (thread 0)
0.19/0.12	c lb -363 (thread 0)
0.19/0.12	c lb -362 (thread 0)
0.19/0.12	c lb -361 (thread 0)
0.19/0.12	c lb -359 (thread 0)
0.19/0.12	c lb -358 (thread 0)
0.19/0.12	c lb -357 (thread 0)
0.19/0.13	c lb -356 (thread 0)
0.19/0.13	c lb -355 (thread 0)
0.19/0.13	c lb -354 (thread 0)
0.19/0.13	c lb -353 (thread 0)
0.19/0.13	c lb -351 (thread 0)
0.19/0.13	c lb -350 (thread 0)
0.19/0.14	c ub 35 (thread 1)
0.19/0.14	o 35
0.19/0.14	c lb -348 (thread 0)
0.19/0.14	c lb -347 (thread 0)
0.19/0.14	c lb -346 (thread 0)
0.19/0.14	c lb -345 (thread 0)
0.19/0.14	c lb -344 (thread 0)
0.19/0.14	c lb -343 (thread 0)
0.19/0.15	c lb -342 (thread 0)
0.19/0.15	c lb -341 (thread 0)
0.19/0.15	c lb -340 (thread 0)
0.19/0.15	c lb -339 (thread 0)
0.19/0.15	c lb -338 (thread 0)
0.19/0.15	c lb -337 (thread 0)
0.19/0.16	c lb -336 (thread 0)
0.19/0.16	c lb -335 (thread 0)
0.19/0.16	c lb -334 (thread 0)
0.19/0.16	c lb -333 (thread 0)
0.19/0.16	c lb -332 (thread 0)
0.19/0.16	c lb -331 (thread 0)
0.19/0.17	c lb -330 (thread 0)
0.19/0.17	c lb -329 (thread 0)
0.19/0.17	c lb -327 (thread 0)
0.19/0.17	c lb -326 (thread 0)
0.19/0.17	c lb -325 (thread 0)
0.19/0.17	c lb -324 (thread 0)
0.19/0.18	c lb -323 (thread 0)
0.19/0.18	c lb -321 (thread 0)
0.19/0.18	c lb -319 (thread 0)
0.19/0.18	c lb -318 (thread 0)
0.19/0.18	c lb -317 (thread 0)
0.19/0.18	c lb -316 (thread 0)
0.19/0.19	c lb -315 (thread 0)
0.19/0.19	c lb -314 (thread 0)
0.19/0.19	c lb -313 (thread 0)
0.19/0.19	c lb -312 (thread 0)
0.19/0.19	c lb -311 (thread 0)
0.19/0.20	c lb -310 (thread 0)
0.39/0.20	c lb -309 (thread 0)
0.39/0.20	c lb -308 (thread 0)
0.39/0.20	c lb -307 (thread 0)
0.39/0.20	c lb -306 (thread 0)
0.39/0.20	c lb -305 (thread 0)
0.39/0.21	c lb -303 (thread 0)
0.39/0.21	c lb -302 (thread 0)
0.39/0.21	c lb -301 (thread 0)
0.39/0.21	c lb -300 (thread 0)
0.39/0.21	c lb -298 (thread 0)
0.39/0.21	c lb -297 (thread 0)
0.39/0.22	c lb -296 (thread 0)
0.39/0.22	c lb -295 (thread 0)
0.39/0.22	c lb -294 (thread 0)
0.39/0.22	c lb -292 (thread 0)
0.39/0.22	c lb -290 (thread 0)
0.39/0.23	c lb -289 (thread 0)
0.39/0.23	c lb -288 (thread 0)
0.39/0.23	c lb -287 (thread 0)
0.39/0.23	c lb -286 (thread 0)
0.39/0.23	c lb -285 (thread 0)
0.39/0.23	c ub 32 (thread 1)
0.39/0.23	o 32
0.39/0.23	c lb -284 (thread 0)
0.39/0.24	c lb -283 (thread 0)
0.39/0.24	c lb -282 (thread 0)
0.39/0.24	c ub 31 (thread 1)
0.39/0.24	o 31
0.39/0.24	c lb -281 (thread 0)
0.39/0.24	c lb -280 (thread 0)
0.39/0.24	c lb -279 (thread 0)
0.39/0.25	c lb -278 (thread 0)
0.39/0.25	c lb -277 (thread 0)
0.39/0.25	c lb -276 (thread 0)
0.39/0.25	c lb -275 (thread 0)
0.39/0.25	c lb -274 (thread 0)
0.39/0.26	c lb -273 (thread 0)
0.39/0.26	c lb -272 (thread 0)
0.39/0.26	c lb -271 (thread 0)
0.39/0.26	c lb -270 (thread 0)
0.39/0.27	c lb -269 (thread 0)
0.39/0.27	c lb -268 (thread 0)
0.39/0.27	c lb -267 (thread 0)
0.39/0.27	c lb -266 (thread 0)
0.39/0.28	c lb -265 (thread 0)
0.39/0.28	c lb -263 (thread 0)
0.39/0.28	c lb -262 (thread 0)
0.39/0.28	c lb -261 (thread 0)
0.39/0.29	c lb -260 (thread 0)
0.39/0.29	c lb -259 (thread 0)
0.39/0.29	c lb -258 (thread 0)
0.39/0.29	c lb -257 (thread 0)
0.39/0.30	c lb -256 (thread 0)
0.59/0.30	c lb -255 (thread 0)
0.59/0.30	c lb -254 (thread 0)
0.59/0.31	c lb -253 (thread 0)
0.59/0.31	c lb -252 (thread 0)
0.59/0.31	c lb -251 (thread 0)
0.59/0.31	c lb -250 (thread 0)
0.59/0.32	c lb -249 (thread 0)
0.59/0.32	c lb -248 (thread 0)
0.59/0.32	c lb -247 (thread 0)
0.59/0.33	c lb -246 (thread 0)
0.59/0.33	c lb -245 (thread 0)
0.59/0.34	c lb -244 (thread 0)
0.59/0.34	c lb -243 (thread 0)
0.59/0.34	c lb -241 (thread 0)
0.59/0.35	c lb -240 (thread 0)
0.59/0.35	c lb -239 (thread 0)
0.59/0.35	c lb -238 (thread 0)
0.59/0.36	c lb -237 (thread 0)
0.59/0.36	c lb -236 (thread 0)
0.59/0.36	c lb -235 (thread 0)
0.59/0.37	c lb -234 (thread 0)
0.59/0.37	c lb -233 (thread 0)
0.59/0.37	c lb -232 (thread 0)
0.59/0.38	c lb -231 (thread 0)
0.59/0.38	c lb -230 (thread 0)
0.59/0.38	c lb -229 (thread 0)
0.59/0.39	c lb -228 (thread 0)
0.59/0.39	c lb -227 (thread 0)
0.59/0.39	c lb -226 (thread 0)
0.79/0.40	c lb -225 (thread 0)
0.79/0.40	c lb -224 (thread 0)
0.79/0.41	c lb -223 (thread 0)
0.79/0.41	c lb -222 (thread 0)
0.79/0.42	c lb -221 (thread 0)
0.79/0.42	c lb -220 (thread 0)
0.79/0.42	c lb -219 (thread 0)
0.79/0.43	c lb -218 (thread 0)
0.79/0.43	c lb -217 (thread 0)
0.79/0.43	c lb -216 (thread 0)
0.79/0.44	c lb -215 (thread 0)
0.79/0.45	c lb -214 (thread 0)
0.79/0.45	c lb -213 (thread 0)
0.79/0.46	c lb -212 (thread 0)
0.79/0.46	c lb -211 (thread 0)
0.79/0.47	c lb -210 (thread 0)
0.79/0.47	c lb -209 (thread 0)
0.79/0.48	c lb -208 (thread 0)
0.79/0.49	c lb -207 (thread 0)
0.99/0.50	c lb -206 (thread 0)
0.99/0.51	c lb -205 (thread 0)
0.99/0.53	c lb -204 (thread 0)
0.99/0.55	c lb -203 (thread 0)
0.99/0.58	c lb -202 (thread 0)
1.18/0.63	c lb -201 (thread 0)
1.18/0.63	c lb -200 (thread 0)
1.18/0.64	c lb -199 (thread 0)
1.18/0.65	c lb -198 (thread 0)
1.18/0.66	c lb -197 (thread 0)
1.18/0.66	c ub 30 (thread 1)
1.18/0.67	o 30
1.18/0.67	c lb -196 (thread 0)
1.38/0.73	c lb -195 (thread 0)
1.59/0.83	c ub 25 (thread 1)
2.20/1.17	o 25
2.20/1.17	c lb -194 (thread 0)
2.38/1.25	c lb -193 (thread 0)
2.38/1.28	c lb -192 (thread 0)
2.58/1.36	c lb -191 (thread 0)
5.19/2.65	c lb -190 (thread 0)
7.58/3.85	c lb -189 (thread 0)
7.58/3.89	c lb -188 (thread 0)
7.78/3.90	c lb -187 (thread 0)
7.78/3.94	c lb -186 (thread 0)
7.78/3.96	c lb -185 (thread 0)
7.98/4.05	c lb -184 (thread 0)
8.39/4.29	c lb -183 (thread 0)
19.18/9.61	c lb -182 (thread 0)
19.98/10.01	c lb -181 (thread 0)
24.79/12.42	c lb -180 (thread 0)
27.58/13.83	c lb -179 (thread 0)
28.79/14.47	c lb -178 (thread 0)
161.99/81.02	c lb -177 (thread 0)
165.00/82.56	c lb -176 (thread 0)
165.00/82.60	c lb -175 (thread 0)
174.38/87.21	c lb -174 (thread 0)
179.39/89.79	c lb -173 (thread 0)
202.59/101.36	c lb -172 (thread 0)
203.39/101.77	c lb -171 (thread 0)
213.20/106.68	c lb -170 (thread 0)
311.19/155.64	c lb -169 (thread 0)
311.99/156.04	c lb -168 (thread 0)
312.41/156.26	c lb -167 (thread 0)
632.60/316.32	c lb -166 (thread 0)
1800.04/900.01	s SATISFIABLE
1800.04/900.01	v -x757 -x694 -x589 x263 x242 -x57 x39 x693 -x591 -x487 x264 -x247 -x56 x38 -x758 x701 -x590 -x486 x440 -x267 -x246 -x55 x40 -x759 x695 -x595 -x488 x445 -x265 -x53 x41 -x762 x696 -x613 -x594 -x489 x444 -x266 -x249 -x54 x48 -x760 x697 -x612 -x592 -x490 -x402 -x250 x42 -x3 -x761 -x614 -x593 -x497 x447 -x422 -x401 -x253 -x199 x172 x43 -x2 x735 -x617 -x491 -x448 -x421 -x407 -x386 -x251 x177 x44 -x4 x734 -x616 -x492 -x451 -x423 -x406 -x385 -x274 -x252 -x198 x176 x138 -x5 -x621 -x493 -x449 -x426 -x408 -x387 -x367 -x279 -x202 -x156 x137 -x19 -x6 x736 -x620 -x560 -x511 -x450 -x425 -x412 -x388 -x366 -x278 -x179 -x155 x139 x88 -x18 -x13 x738 -x651 -x618 -x516 -x430 -x411 -x389 -x203 -x180 -x157 x142 x87 -x24 -x7 -x650 -x619 -x559 -x515 -x467 -x429 -x409 -x396 -x368 -x281 x183 -x158 x141 x89 -x67 -x23 -x8 x739 -x563 -x427 -x410 -x390 -x370 -x282 x181 -x159 -x146 x92 -x72 -x25 -x9 x741 -x652 -x518 -x470 -x428 -x391 -x319 -x285 -x224 x182 -x166 -x145 -x122 x91 -x71 -x29 x742 -x654 x636 -x564 -x519 -x471 -x392 -x371 -x318 -x283 -x160 -x143 x96 -x28 x635 -x522 x373 -x348 -x320 -x284 -x223 -x161 -x144 -x121 x95 -x74 -x26 -x655 -x520 -x374 -x352 -x323 x227 -x162 x93 -x75 -x27 -x657 x637 -x521 -x322 x125 -x94 -x76 -x658 x640 -x324 x228 x126 -x77 -x754 x704 -x65 -x756 x705 -x588 -x268 x241 -x61 -x755 x700 -x603 x243 -x60 x51 -x763 -x599 x439 -x248 x52 -x711 -x698 -x598 -x500 x441 x245 x47 -x715 -x501 x446 -x254 -x496 x443 x45 x730 -x615 -x452 -x403 x171 x729 -x629 -x494 -x404 -x200 x173 -x16 -x625 -x424 -x405 -x362 -x273 -x204 x178 -x17 x737 -x624 -x438 -x416 -x399 x361 -x275 x175 -x12 x740 -x646 -x510 -x434 -x400 -x280 x184 x140 -x20 x744 -x645 -x561 -x512 -x466 -x433 -x395 -x369 -x277 -x206 -x169 -x154 -x21 -x10 x743 -x565 -x517 -x372 -x286 -x207 -x170 -x150 x90 -x66 -x22 -x653 -x514 -x472 -x393 x376 -x165 -x149 -x117 -x104 -x68 -x33 -x656 -x631 -x523 x375 x100 -x73 -x660 x630 -x567 -x347 -x225 -x163 -x123 x99 -x70 -x659 -x568 -x351 -x321 x229 -x78 x638 -x475 -x332 x127 x639 -x328 x702 -x600 -x106 -x64 x50 -x753 -x602 -x272 x49 -x771 -x499 -x271 -x58 -x767 -x498 x244 -x766 -x710 -x699 -x596 x262 -x59 -x714 x442 x258 -x194 -x626 -x597 x460 -x303 x257 -x193 -x46 -x15 -x628 x456 -x14 -x495 x455 -x435 -x419 -x398 -x201 x731 -x555 -x437 -x420 -x397 -x205 x174 x732 -x622 -x554 -x462 -x415 -x209 -x192 -x168 -x151 x733 x363 -x276 -x208 x188 -x167 -x153 x748 -x623 -x562 -x468 -x431 -x413 x364 -x294 x187 -x101 -x36 -x11 -x647 -x566 -x513 x365 -x290 -x219 -x103 -x37 -x686 -x648 -x570 -x531 -x473 -x432 -x394 x380 -x289 -x218 -x147 -x32 -x649 -x569 -x527 -x116 -x69 -x664 -x526 -x476 -x349 -x329 -x226 -x164 -x148 x118 x97 -x86 -x30 x632 -x474 -x353 -x331 x230 -x124 -x82 x633 x231 x120 -x98 -x81 x634 -x327 x232 x128 -x768 x703 -x601 x334 -x105 -x62 -x770 -x269 x259 x261 -x764 -x712 x457 x300 -x270 -x716 -x627 x459 -x765 -x418 -x302 x255 -x436 -x417 -x195 x718 x453 -x256 -x196 -x189 x719 -x197 -x191 -x152 x751 x454 -x291 -x213 -x35 x752 -x556 -x461 -x293 -x102 -x34 x747 -x682 -x557 -x528 -x463 -x414 x383 x185 -x558 -x530 -x469 x384 x344 x745 -x685 -x667 -x574 -x465 x379 x343 -x287 x186 -x83 -x668 -x477 -x330 -x220 -x85 -x663 -x535 -x524 x377 -x350 -x288 -x221 -x31 -x539 -x354 x222 x119 -x661 x643 -x605 -x525 -x355 x236 x136 -x79 x644 -x609 -x356 -x325 x132 -x769 x333 x107 -x63 x707 -x260 x706 x458 -x713 x299 -x109 -x717 x721 x304 x720 -x190 x750 -x216 x749 -x292 -x217 x678 x382 -x307 -x212 -x529 x381 -x681 -x666 -x577 -x210 -x665 -x578 -x464 -x84 x746 -x687 -x573 -x485 -x481 x345 -x642 -x571 -x534 -x480 -x378 x346 x239 x133 -x641 -x538 x240 x135 -x690 -x662 -x604 x235 -x80 -x608 -x326 x131 -x503 x296 -x110 x708 -x108 x709 -x547 x336 x301 -x772 x725 x305 -x215 -x214 x674 x308 -x306 x773 x677 x774 -x576 -x575 -x683 -x482 -x211 -x484 x688 x238 x237 x134 -x691 -x572 -x536 -x478 x359 -x689 -x540 x360 -x606 -x479 x233 -x610 x129 -x111 -x502 x337 x335 x295 x728 -x546 x297 x724 x309 -x722 x673 x583 -x483 -x684 -x533 x680 -x532 x358 -x692 x357 -x537 -x541 -x607 -x234 -x611 x130 x338 -x115 x727 -x504 -x114 x726 -x548 x298 x670 x507 -x317 -x313 -x723 x675 x582 x550 -x312 x551 x679 x587 x543 x342 x542 -x505 x341 -x112 -x549 x508 -x314 -x113 x506 -x316 -x581 x553 x669 x552 x671 x584 -x310 x676 -x311 x586 x339 x544 x509 -x315 x545 x340 x775 x580 x579 x672 x585 -x776 x1
1800.04/900.01	c Memory used           : 610.93 MB
1800.04/900.01	c CPU time              : 1789.74 s

Verifier Data 

OK	25

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-3500298-1307993090/watcher-3500298-1307993090 -o /tmp/evaluation-result-3500298-1307993090/solver-3500298-1307993090 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500298-1307993090.opb 

running on 4 cores: 0,2,4,6

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.02 4.00 3.80 3/179 15018
/proc/meminfo: memFree=31554368/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 685 0 0 0 0 0 0 0 25 0 3 0 910911782 138637312 629 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 33847 630 175 372 0 33472 0
[pid=15018/tid=15019] ppid=15016 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 3 0 910911782 138637312 640 33554432000 4194304 5714118 140736679664944 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 67 0 0 0 0 0 0 0 25 0 3 0 910911782 138637312 640 33554432000 4194304 5714118 140736679664944 18446744073709551615 4973087 0 0 4096 16387 0 0 0 -1 4 0 0 0

[startup+0.01292 s]
/proc/loadavg: 4.02 4.00 3.80 3/179 15018
/proc/meminfo: memFree=31554368/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=135388 CPUtime=0.01 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 888 0 0 0 1 0 0 0 25 0 3 0 910911782 138637312 832 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 33847 833 180 372 0 33472 0
[pid=15018/tid=15019] ppid=15016 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 253 0 0 0 0 0 0 0 18 0 3 0 910911782 138637312 833 33554432000 4194304 5714118 140736679664944 18446744073709551615 4342346 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 142 0 0 0 0 0 0 0 18 0 3 0 910911782 138637312 833 33554432000 4194304 5714118 140736679664944 18446744073709551615 4311806 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 135388

[startup+0.100948 s]
/proc/loadavg: 4.02 4.00 3.80 3/179 15018
/proc/meminfo: memFree=31554368/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=135388 CPUtime=0.19 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 1692 0 0 0 18 1 0 0 25 0 3 0 910911782 138637312 1591 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 33847 1591 181 372 0 33472 0
[pid=15018/tid=15019] ppid=15016 vsize=135388 CPUtime=0.09 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 679 0 0 0 9 0 0 0 18 0 3 0 910911782 138637312 1591 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=135388 CPUtime=0.09 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 520 0 0 0 8 1 0 0 18 0 3 0 910911782 138637312 1592 33554432000 4194304 5714118 140736679664944 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135388

[startup+0.300918 s]
/proc/loadavg: 4.02 4.00 3.80 3/179 15018
/proc/meminfo: memFree=31554368/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=135388 CPUtime=0.59 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 3333 0 0 0 55 4 0 0 25 0 3 0 910911782 138637312 3010 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 33847 3011 181 372 0 33472 0
[pid=15018/tid=15019] ppid=15016 vsize=135388 CPUtime=0.29 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 1507 0 0 0 29 0 0 0 18 0 3 0 910911782 138637312 3011 33554432000 4194304 5714118 140736679664944 18446744073709551615 4444337 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=135388 CPUtime=0.29 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 1333 0 0 0 25 4 0 0 18 0 3 0 910911782 138637312 3011 33554432000 4194304 5714118 140736679664944 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 135388

[startup+0.700875 s]
/proc/loadavg: 4.02 4.00 3.80 3/179 15018
/proc/meminfo: memFree=31554368/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=135520 CPUtime=1.38 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 5876 0 0 0 127 11 0 0 25 0 3 0 910911782 138772480 5058 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 33880 5058 181 372 0 33505 0
[pid=15018/tid=15019] ppid=15016 vsize=135520 CPUtime=0.69 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 2731 0 0 0 67 2 0 0 18 0 3 0 910911782 138772480 5058 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=135520 CPUtime=0.69 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 2651 0 0 0 60 9 0 0 18 0 3 0 910911782 138772480 5058 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135520

[startup+1.50073 s]
/proc/loadavg: 4.02 4.00 3.80 5/182 15021
/proc/meminfo: memFree=31534652/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=135788 CPUtime=2.99 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 7377 0 0 0 282 17 0 0 25 0 3 0 910911782 139046912 6549 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 33947 6549 181 372 0 33572 0
[pid=15018/tid=15019] ppid=15016 vsize=135788 CPUtime=1.49 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 3351 0 0 0 145 4 0 0 20 0 3 0 910911782 139046912 6549 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=135788 CPUtime=1.48 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 3532 0 0 0 136 12 0 0 19 0 3 0 910911782 139046912 6549 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135788

[startup+3.10043 s]
/proc/loadavg: 4.02 4.00 3.80 5/182 15021
/proc/meminfo: memFree=31526592/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=136328 CPUtime=6.19 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 9379 0 0 0 594 25 0 0 25 0 3 0 910911782 139599872 8551 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 34082 8551 181 372 0 33707 0
[pid=15018/tid=15019] ppid=15016 vsize=136328 CPUtime=3.08 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 4211 0 0 0 302 6 0 0 25 0 3 0 910911782 139599872 8551 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=136328 CPUtime=3.08 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 4674 0 0 0 290 18 0 0 22 0 3 0 910911782 139599872 8551 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 136328

[startup+6.30084 s]
/proc/loadavg: 4.02 4.00 3.80 5/182 15021
/proc/meminfo: memFree=31492184/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=137196 CPUtime=12.59 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 11160 0 0 0 1224 35 0 0 25 0 3 0 910911782 140488704 10332 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 34299 10332 182 372 0 33924 0
[pid=15018/tid=15019] ppid=15016 vsize=137196 CPUtime=6.29 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 4749 0 0 0 617 12 0 0 25 0 3 0 910911782 140488704 10332 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=137196 CPUtime=6.29 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 5917 0 0 0 606 23 0 0 25 0 3 0 910911782 140488704 10332 33554432000 4194304 5714118 140736679664944 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 137196

[startup+12.7007 s]
/proc/loadavg: 4.02 4.00 3.80 5/182 15021
/proc/meminfo: memFree=31477192/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=138744 CPUtime=25.39 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 14616 0 0 0 2488 51 0 0 25 0 3 0 910911782 142073856 13668 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 34686 13668 182 372 0 34311 0
[pid=15018/tid=15019] ppid=15016 vsize=138744 CPUtime=12.69 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 6687 0 0 0 1249 20 0 0 25 0 3 0 910911782 142073856 13669 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=138744 CPUtime=12.69 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 7436 0 0 0 1238 31 0 0 25 0 3 0 910911782 142073856 13669 33554432000 4194304 5714118 140736679664944 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 138744

[startup+25.5004 s]
/proc/loadavg: 4.02 4.00 3.80 5/182 15022
/proc/meminfo: memFree=31487704/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=140584 CPUtime=50.99 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 17624 0 0 0 5028 71 0 0 25 0 3 0 910911782 143958016 16676 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 35146 16676 182 372 0 34771 0
[pid=15018/tid=15019] ppid=15016 vsize=140584 CPUtime=25.48 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 8779 0 0 0 2515 33 0 0 25 0 3 0 910911782 143958016 16676 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=140584 CPUtime=25.49 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 8351 0 0 0 2512 37 0 0 25 0 3 0 910911782 143958016 16676 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 140584

[startup+51.1009 s]
/proc/loadavg: 3.87 3.97 3.80 5/182 15063
/proc/meminfo: memFree=31701184/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=209140 CPUtime=102.19 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 28274 0 0 0 10110 109 0 0 25 0 3 0 910911782 214159360 27286 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 52285 27286 182 372 0 51910 0
[pid=15018/tid=15019] ppid=15016 vsize=209140 CPUtime=51.08 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 17532 0 0 0 5052 56 0 0 25 0 3 0 910911782 214159360 27286 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=209140 CPUtime=51.09 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 10248 0 0 0 5057 52 0 0 18 0 3 0 910911782 214159360 27286 33554432000 4194304 5714118 140736679664944 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 209140

[startup+102.307 s]
/proc/loadavg: 3.94 3.97 3.81 5/182 15065
/proc/meminfo: memFree=31535588/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=212552 CPUtime=204.61 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 41687 0 0 0 20273 188 0 0 25 0 3 0 910911782 217653248 39588 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 53138 39588 182 372 0 52763 0
[pid=15018/tid=15019] ppid=15016 vsize=212552 CPUtime=102.3 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 28211 0 0 0 10126 104 0 0 25 0 3 0 910911782 217653248 39588 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=212552 CPUtime=102.3 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 12982 0 0 0 10146 84 0 0 25 0 3 0 910911782 217653248 39588 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 212552

[startup+162.301 s]
/proc/loadavg: 3.98 3.97 3.82 5/182 15066
/proc/meminfo: memFree=31506400/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=214872 CPUtime=324.59 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 43387 0 0 0 32200 259 0 0 25 0 3 0 910911782 220028928 40985 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 53718 40985 182 372 0 53343 0
[pid=15018/tid=15019] ppid=15016 vsize=214872 CPUtime=162.29 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 28300 0 0 0 16082 147 0 0 25 0 3 0 910911782 220028928 40985 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=214872 CPUtime=162.29 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 14593 0 0 0 16117 112 0 0 25 0 3 0 910911782 220028928 40985 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 214872

[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.82 5/182 15068
/proc/meminfo: memFree=31420672/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=218024 CPUtime=444.59 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 46380 0 0 0 44129 330 0 0 25 0 3 0 910911782 223256576 42890 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 54506 42890 182 372 0 54131 0
[pid=15018/tid=15019] ppid=15016 vsize=218024 CPUtime=222.29 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 28307 0 0 0 22047 182 0 0 25 0 3 0 910911782 223256576 42890 33554432000 4194304 5714118 140736679664944 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=218024 CPUtime=222.29 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 17579 0 0 0 22081 148 0 0 25 0 3 0 910911782 223256576 42890 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 218024

[startup+282.301 s]
/proc/loadavg: 4.03 3.99 3.84 5/182 15069
/proc/meminfo: memFree=31358384/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=286652 CPUtime=564.6 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 54802 0 0 0 56069 391 0 0 25 0 3 0 910911782 293531648 50409 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 71663 50409 182 372 0 71288 0
[pid=15018/tid=15019] ppid=15016 vsize=286652 CPUtime=282.29 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 34192 0 0 0 28019 210 0 0 25 0 3 0 910911782 293531648 50409 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=286652 CPUtime=282.3 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 20116 0 0 0 28050 180 0 0 25 0 3 0 910911782 293531648 50409 33554432000 4194304 5714118 140736679664944 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 286652

[startup+342.301 s]
/proc/loadavg: 4.01 3.99 3.84 5/182 15071
/proc/meminfo: memFree=31278972/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=287716 CPUtime=684.61 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 63482 0 0 0 68001 460 0 0 25 0 3 0 910911782 294621184 58442 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 71929 58442 182 372 0 71554 0
[pid=15018/tid=15019] ppid=15016 vsize=287716 CPUtime=342.29 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 42000 0 0 0 33977 252 0 0 25 0 3 0 910911782 294621184 58442 33554432000 4194304 5714118 140736679664944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=287716 CPUtime=342.3 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 20988 0 0 0 34023 207 0 0 25 0 3 0 910911782 294621184 58442 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 287716

[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.85 5/182 15073
/proc/meminfo: memFree=31229676/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=288640 CPUtime=804.6 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 65261 0 0 0 79941 519 0 0 25 0 3 0 910911782 295567360 59690 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 72160 59690 182 372 0 71785 0
[pid=15018/tid=15019] ppid=15016 vsize=288640 CPUtime=402.3 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 42020 0 0 0 39950 280 0 0 25 0 3 0 910911782 295567360 59690 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=288640 CPUtime=402.29 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 22747 0 0 0 39990 239 0 0 25 0 3 0 910911782 295567360 59690 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 288640

[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.85 5/182 15074
/proc/meminfo: memFree=31182868/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=290376 CPUtime=924.61 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 66617 0 0 0 91873 588 0 0 25 0 3 0 910911782 297345024 60204 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 72594 60204 182 372 0 72219 0
[pid=15018/tid=15019] ppid=15016 vsize=290376 CPUtime=462.3 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 42116 0 0 0 45914 316 0 0 25 0 3 0 910911782 297345024 60204 33554432000 4194304 5714118 140736679664944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=290376 CPUtime=462.29 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 24007 0 0 0 45958 271 0 0 25 0 3 0 910911782 297345024 60204 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 290376

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.86 5/182 15076
/proc/meminfo: memFree=31152952/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=291552 CPUtime=1044.61 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 73081 0 0 0 103814 647 0 0 25 0 3 0 910911782 298549248 66324 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 72888 66324 182 372 0 72513 0
[pid=15018/tid=15019] ppid=15016 vsize=291552 CPUtime=522.3 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 47942 0 0 0 51884 346 0 0 25 0 3 0 910911782 298549248 66324 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=291552 CPUtime=522.3 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 24645 0 0 0 51929 301 0 0 25 0 3 0 910911782 298549248 66324 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 291552

[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.87 5/182 15077
/proc/meminfo: memFree=31052836/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=357944 CPUtime=1164.62 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 85649 0 0 0 115750 712 0 0 25 0 3 0 910911782 366534656 78207 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 89486 78207 182 372 0 89111 0
[pid=15018/tid=15019] ppid=15016 vsize=357944 CPUtime=582.3 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 59750 0 0 0 57849 381 0 0 25 0 3 0 910911782 366534656 78207 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=357944 CPUtime=582.3 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 25405 0 0 0 57900 330 0 0 25 0 3 0 910911782 366534656 78207 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 357944

[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.87 5/182 15079
/proc/meminfo: memFree=30965360/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=424796 CPUtime=1284.63 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 96339 0 0 0 127684 779 0 0 25 0 3 0 910911782 434991104 88713 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 106199 88713 182 372 0 105824 0
[pid=15018/tid=15019] ppid=15016 vsize=424796 CPUtime=642.31 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 67949 0 0 0 63819 412 0 0 25 0 3 0 910911782 434991104 88713 33554432000 4194304 5714118 140736679664944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=424796 CPUtime=642.31 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 27896 0 0 0 63864 367 0 0 25 0 3 0 910911782 434991104 88713 33554432000 4194304 5714118 140736679664944 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 424796

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.88 5/182 15081
/proc/meminfo: memFree=30868084/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=426136 CPUtime=1404.62 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 107818 0 0 0 139610 852 0 0 25 0 3 0 910911782 436363264 98917 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 106534 98917 182 372 0 106159 0
[pid=15018/tid=15019] ppid=15016 vsize=426136 CPUtime=702.31 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 78413 0 0 0 69778 453 0 0 25 0 3 0 910911782 436363264 98917 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=426136 CPUtime=702.31 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 28911 0 0 0 69832 399 0 0 25 0 3 0 910911782 436363264 98917 33554432000 4194304 5714118 140736679664944 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 426136

[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.88 5/182 15082
/proc/meminfo: memFree=30784192/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=558372 CPUtime=1524.63 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 117644 0 0 0 151549 914 0 0 25 0 3 0 910911782 571772928 108710 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 139593 108710 182 372 0 139218 0
[pid=15018/tid=15019] ppid=15016 vsize=558372 CPUtime=762.31 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 85626 0 0 0 75747 484 0 0 25 0 3 0 910911782 571772928 108710 33554432000 4194304 5714118 140736679664944 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=558372 CPUtime=762.31 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 31524 0 0 0 75801 430 0 0 25 0 3 0 910911782 571772928 108711 33554432000 4194304 5714118 140736679664944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 558372

[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 15084
/proc/meminfo: memFree=30670684/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=559012 CPUtime=1644.62 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 128832 0 0 0 163492 970 0 0 25 0 3 0 910911782 572428288 119265 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 139753 119265 182 372 0 139378 0
[pid=15018/tid=15019] ppid=15016 vsize=559012 CPUtime=822.31 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 96067 0 0 0 81720 511 0 0 25 0 3 0 910911782 572428288 119265 33554432000 4194304 5714118 140736679664944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=559012 CPUtime=822.31 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 32271 0 0 0 81772 459 0 0 25 0 3 0 910911782 572428288 119265 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 559012

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 15085
/proc/meminfo: memFree=30586944/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=625296 CPUtime=1764.63 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 136942 0 0 0 175445 1018 0 0 25 0 3 0 910911782 640303104 127374 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 156324 127374 182 372 0 155949 0
[pid=15018/tid=15019] ppid=15016 vsize=625296 CPUtime=882.31 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 104002 0 0 0 87698 533 0 0 25 0 3 0 910911782 640303104 127374 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=625296 CPUtime=882.3 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 32446 0 0 0 87745 485 0 0 25 0 3 0 910911782 640303104 127374 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 625296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900 s]
/proc/loadavg: 4.00 3.99 3.90 5/182 15086
/proc/meminfo: memFree=30567576/32951124 swapFree=67050044/67111528
[pid=15018] ppid=15016 vsize=625592 CPUtime=1800.04 cores=0,2,4,6
/proc/15018/stat : 15018 (pwbo1.1) S 15016 15018 14247 0 -1 4202496 138032 0 0 0 178972 1032 0 0 25 0 3 0 910911782 640606208 128464 33554432000 4194304 5714118 140736679664944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15018/statm: 156398 128464 182 372 0 156023 0
[pid=15018/tid=15019] ppid=15016 vsize=625592 CPUtime=900.01 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 105056 0 0 0 89463 538 0 0 25 0 3 0 910911782 640606208 128464 33554432000 4194304 5714118 140736679664944 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15018/tid=15020] ppid=15016 vsize=625592 CPUtime=900.01 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (pwbo1.1) R 15016 15018 14247 0 -1 4202560 32482 0 0 0 89508 493 0 0 25 0 3 0 910911782 640606208 128464 33554432000 4194304 5714118 140736679664944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 625592

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

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

Child status: 0
Real time (s): 900.035
CPU time (s): 1800.08
CPU user time (s): 1789.74
CPU system time (s): 10.3474
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 625592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.74
system time used= 10.3474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89
involuntary context switches= 4152

runsolver used 1.59776 second user time and 3.01954 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-13 21:24:50
IDJOB=3500298
IDBENCH=2219
IDSOLVER=1954
FILE ID=node101/3500298-1307993090
RUNJOBID= node101-1307990383-14499
PBS_JOBID= 13559738
Free space on /tmp= 74056 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3500298-1307993090/watcher-3500298-1307993090 -o /tmp/evaluation-result-3500298-1307993090/solver-3500298-1307993090 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500298-1307993090.opb

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

MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440
RANDOM SEED=1435080836

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31554796 kB
Buffers:        207592 kB
Cached:         485428 kB
SwapCached:      25044 kB
Active:         814268 kB
Inactive:       382504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31554796 kB
SwapTotal:    67111528 kB
SwapFree:     67050044 kB
Dirty:            4320 kB
Writeback:           0 kB
AnonPages:      500816 kB
Mapped:           9960 kB
Slab:           133312 kB
PageTables:       5716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   716056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74052 MiB
End job on node101 at 2011-06-13 21:39:52