Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 20 | 1800.34 | 1800.95 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_2.opb |
MD5SUM | fd4b450948caa11c29cf407b64203711 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 106 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37488 |
Sum of products size (including duplicates) | 74976 |
Number of different products | 37488 |
Sum of products size | 74976 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453531-1178142556/instance-453531-1178142556.opb 0.00/0.00 c File size is 516921 bytes. 0.19/0.22 c Highest Coefficient sum: 500 0.19/0.22 c Parsing was ok!! 0.19/0.22 c Total parsing time: 0.22 s 0.19/0.28 c Var: 37988 Constr: 75476 37988/0/37488 Lit: 262916 Watch. Lit: 188440 0.19/0.28 c Obj. Vars: 500 (1.31621 % of total variables) 7.69/7.74 c Pre-processing Time: 7.737 s 7.69/7.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.75 c 0 37988 75476 262916 3 188440 237590 0 0 7.74 7.69/7.75 c Switching off LPR mode. 7.79/7.81 o 499 7.803 7.79/7.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.79/7.88 c 0 37988 75477 263416 3 188443 237923 1 0 7.82 7.79/7.88 o 498 7.873 7.89/7.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.95 c 0 37988 75478 263916 3 188447 238423 2 0 7.89 7.89/7.95 o 497 7.945 7.99/8.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.02 c 0 37988 75479 264416 3 188452 239090 3 0 7.97 7.99/8.02 o 496 8.017 7.99/8.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.09 c 0 37988 75480 264916 3 188458 239923 4 0 8.04 7.99/8.09 o 495 8.089 8.09/8.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.17 c 0 37988 75481 265416 3 188465 240923 5 0 8.11 8.09/8.17 o 494 8.161 8.19/8.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.19/8.24 c 0 37988 75482 265916 3 188473 241923 6 0 8.18 8.19/8.24 o 493 8.232 8.29/8.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.31 c 0 37988 75483 266416 3 188482 242923 7 0 8.25 8.29/8.31 o 492 8.304 8.29/8.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.38 c 0 37988 75484 266916 3 188492 243923 8 0 8.32 8.29/8.38 o 491 8.376 8.39/8.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.45 c 0 37988 75485 267416 3 188503 244923 9 0 8.40 8.39/8.45 o 490 8.448 8.49/8.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.52 c 0 37988 75486 267916 3 188515 245923 10 0 8.47 8.49/8.52 o 489 8.52 8.49/8.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.60 c 0 37988 75487 268416 3 188528 246923 11 0 8.54 8.49/8.60 o 488 8.591 8.59/8.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.67 c 0 37988 75488 268916 3 188542 247923 12 0 8.61 8.59/8.67 o 487 8.662 8.69/8.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.69/8.74 c 0 37988 75489 269416 3 188557 248923 13 0 8.68 8.69/8.74 o 486 8.733 8.79/8.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.81 c 0 37988 75490 269916 3 188573 249923 14 0 8.75 8.79/8.81 o 485 8.805 8.79/8.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.88 c 0 37988 75491 270416 3 188590 250923 15 0 8.83 8.79/8.88 o 484 8.876 8.89/8.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.95 c 0 37988 75492 270916 3 188608 251923 16 0 8.90 8.89/8.95 o 483 8.948 8.99/9.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.02 c 0 37988 75493 271416 3 188627 252923 17 0 8.97 8.99/9.02 o 482 9.02 8.99/9.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.10 c 0 37988 75494 271916 3 188647 253923 18 0 9.04 8.99/9.10 o 481 9.091 9.09/9.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.17 c 0 37988 75495 272416 3 188668 254923 19 0 9.11 9.09/9.17 o 480 9.163 9.19/9.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.24 c 0 37988 75496 272916 3 188690 255923 20 0 9.18 9.19/9.24 o 479 9.234 9.29/9.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.31 c 0 37988 75497 273416 3 188713 256923 21 0 9.26 9.29/9.31 o 478 9.307 9.29/9.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.38 c 0 37988 75498 273916 3 188737 257923 22 0 9.33 9.29/9.38 o 477 9.378 9.39/9.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.45 c 0 37988 75499 274416 3 188762 258923 23 0 9.40 9.39/9.45 o 476 9.45 9.49/9.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.53 c 0 37988 75500 274916 3 188788 259923 24 0 9.47 9.49/9.53 o 475 9.521 9.59/9.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.60 c 0 37988 75501 275416 3 188815 260923 25 0 9.54 9.59/9.60 o 474 9.592 9.59/9.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.67 c 0 37988 75502 275916 3 188843 261923 26 0 9.61 9.59/9.67 o 473 9.664 9.69/9.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.74 c 0 37988 75503 276416 3 188872 262923 27 0 9.69 9.69/9.74 o 472 9.736 9.79/9.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.81 c 0 37988 75504 276916 3 188902 263923 28 0 9.76 9.79/9.81 o 471 9.807 9.79/9.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.88 c 0 37988 75505 277416 3 188933 264923 29 0 9.83 9.79/9.88 o 470 9.879 9.89/9.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.96 c 0 37988 75506 277916 3 188965 265923 30 0 9.90 9.89/9.96 o 469 9.95 9.99/10.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.03 c 0 37988 75507 278416 3 188998 266923 31 0 9.97 9.99/10.03 o 468 10.022 10.09/10.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.10 c 0 37988 75508 278916 3 189032 267923 32 0 10.04 10.09/10.10 o 467 10.093 10.09/10.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.17 c 0 37988 75509 279416 3 189067 268923 33 0 10.11 10.09/10.17 o 466 10.165 10.19/10.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.24 c 0 37988 75510 279916 3 189103 269923 34 0 10.19 10.19/10.24 o 465 10.236 10.29/10.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.31 c 0 37988 75511 280416 3 189140 270923 35 0 10.26 10.29/10.31 o 464 10.308 10.29/10.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.38 c 0 37988 75512 280916 3 189178 271923 36 0 10.33 10.29/10.38 o 463 10.379 10.38/10.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.38/10.46 c 0 37988 75513 281416 3 189217 272923 37 0 10.40 10.38/10.46 o 462 10.45 10.48/10.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.53 c 0 37988 75514 281916 3 189257 273923 38 0 10.47 10.48/10.53 o 461 10.522 10.58/10.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.58/10.60 c 0 37988 75515 282416 3 189298 274923 39 0 10.54 10.58/10.60 o 460 10.594 10.58/10.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.58/10.67 c 0 37988 75516 282916 3 189340 275923 40 0 10.62 10.58/10.67 o 459 10.666 10.68/10.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.68/10.74 c 0 37988 75517 283416 3 189383 276923 41 0 10.69 10.68/10.74 o 458 10.737 10.78/10.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.78/10.81 c 0 37988 75518 283916 3 189427 277923 42 0 10.76 10.78/10.81 o 457 10.809 10.78/10.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.78/10.89 c 0 37988 75519 284416 3 189472 278923 43 0 10.83 10.78/10.89 o 456 10.88 10.89/10.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.96 c 0 37988 75520 284916 3 189518 279923 44 0 10.90 10.89/10.96 o 455 10.952 10.99/11.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.99/11.03 c 0 37988 75521 285416 3 189565 280923 45 0 10.97 10.99/11.03 o 454 11.024 11.08/11.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.08/11.10 c 0 37988 75522 285916 3 189613 281923 46 0 11.04 11.08/11.10 o 453 11.094 11.08/11.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.08/11.17 c 0 37988 75523 286416 3 189662 282923 47 0 11.12 11.08/11.17 o 452 11.166 11.18/11.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.18/11.24 c 0 37988 75524 286916 3 189712 283923 48 0 11.19 11.18/11.24 o 451 11.236 11.28/11.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.28/11.31 c 0 37988 75525 287416 3 189763 284923 49 0 11.26 11.28/11.31 o 450 11.308 11.28/11.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.28/11.38 c 0 37988 75526 287916 3 189815 285923 50 0 11.33 11.28/11.38 o 449 11.379 11.38/11.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.46 c 0 37988 75527 288416 3 189868 286923 51 0 11.40 11.38/11.46 o 448 11.451 11.48/11.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.48/11.53 c 0 37988 75528 288916 3 189922 287923 52 0 11.47 11.48/11.53 o 447 11.523 11.58/11.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.60 c 0 37988 75529 289416 3 189977 288923 53 0 11.54 11.58/11.60 o 446 11.595 11.58/11.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.67 c 0 37988 75530 289916 3 190033 289923 54 0 11.62 11.58/11.67 o 445 11.667 11.68/11.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.68/11.74 c 0 37988 75531 290416 3 190090 290923 55 0 11.69 11.68/11.74 o 444 11.738 11.78/11.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.78/11.81 c 0 37988 75532 290916 3 190148 291923 56 0 11.76 11.78/11.81 o 443 11.809 11.78/11.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.78/11.89 c 0 37988 75533 291416 3 190207 292923 57 0 11.83 11.78/11.89 o 442 11.881 11.88/11.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.88/11.96 c 0 37988 75534 291916 3 190267 293923 58 0 11.90 11.88/11.96 o 441 11.953 11.99/12.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.99/12.03 c 0 37988 75535 292416 3 190328 294923 59 0 11.97 11.99/12.03 o 440 12.024 12.09/12.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.09/12.10 c 0 37988 75536 292916 3 190390 295923 60 0 12.05 12.09/12.10 o 439 12.096 12.09/12.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.09/12.17 c 0 37988 75537 293416 3 190453 296923 61 0 12.12 12.09/12.17 o 438 12.168 12.18/12.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.18/12.25 c 0 37988 75538 293916 3 190517 297923 62 0 12.19 12.18/12.25 o 437 12.24 12.28/12.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.28/12.32 c 0 37988 75539 294416 3 190582 298923 63 0 12.26 12.28/12.32 o 436 12.312 12.28/12.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.28/12.39 c 0 37988 75540 294916 3 190648 299923 64 0 12.33 12.28/12.39 o 435 12.384 12.38/12.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.38/12.46 c 0 37988 75541 295416 3 190715 300923 65 0 12.41 12.38/12.46 o 434 12.456 12.48/12.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.48/12.53 c 0 37988 75542 295916 3 190783 301923 66 0 12.48 12.48/12.53 o 433 12.528 12.58/12.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.58/12.60 c 0 37988 75543 296416 3 190852 302923 67 0 12.55 12.58/12.60 o 432 12.6 12.58/12.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.58/12.68 c 0 37988 75544 296916 3 190922 303923 68 0 12.62 12.58/12.68 o 431 12.672 12.68/12.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.68/12.75 c 0 37988 75545 297416 3 190993 304923 69 0 12.69 12.68/12.75 o 430 12.744 12.78/12.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.78/12.82 c 0 37988 75546 297916 3 191065 305923 70 0 12.77 12.78/12.82 o 429 12.816 12.78/12.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.78/12.89 c 0 37988 75547 298416 3 191138 306923 71 0 12.84 12.78/12.89 o 428 12.888 12.88/12.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.88/12.96 c 0 37988 75548 298916 3 191212 307923 72 0 12.91 12.88/12.96 o 427 12.96 12.98/13.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.98/13.04 c 0 37988 75549 299416 3 191287 308923 73 0 12.98 12.98/13.04 o 426 13.032 13.09/13.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.11 c 0 37988 75550 299916 3 191363 309923 74 0 13.05 13.09/13.11 o 425 13.104 13.09/13.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.18 c 0 37988 75551 300416 3 191440 310923 75 0 13.13 13.09/13.18 o 424 13.177 13.19/13.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.19/13.25 c 0 37988 75552 300916 3 191518 311923 76 0 13.20 13.19/13.25 o 423 13.249 13.28/13.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.28/13.33 c 0 37988 75553 301416 3 191597 312923 77 0 13.27 13.28/13.33 o 422 13.32 13.38/13.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.38/13.40 c 0 37988 75554 301916 3 191677 313923 78 0 13.34 13.38/13.40 o 421 13.393 13.38/13.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.38/13.47 c 0 37988 75555 302416 4 191758 314923 79 0 13.41 13.38/13.47 o 420 13.465 13.48/13.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.48/13.54 c 0 37988 75556 302916 4 191840 315923 80 0 13.49 13.48/13.54 o 419 13.538 13.58/13.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.62 c 0 37988 75557 303416 4 191923 316923 81 0 13.56 13.58/13.62 o 418 13.61 13.58/13.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.69 c 0 37988 75558 303916 4 192007 317923 82 0 13.63 13.58/13.69 o 417 13.682 13.68/13.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.68/13.76 c 0 37988 75559 304416 4 192092 318923 83 0 13.70 13.68/13.76 o 416 13.754 13.78/13.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.78/13.83 c 0 37988 75560 304916 4 192178 319923 84 0 13.78 13.78/13.83 o 415 13.826 13.88/13.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.88/13.91 c 0 37988 75561 305416 4 192265 320923 85 0 13.85 13.88/13.91 o 414 13.899 13.88/13.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.88/13.98 c 0 37988 75562 305916 4 192353 321923 86 0 13.92 13.88/13.98 o 413 13.972 13.98/14.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.98/14.05 c 0 37988 75563 306416 4 192442 322923 87 0 13.99 13.98/14.05 o 412 14.045 14.08/14.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.08/14.12 c 0 37988 75564 306916 4 192532 323923 88 0 14.07 14.08/14.12 o 411 14.118 14.19/14.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.19/14.20 c 0 37988 75565 307416 4 192623 324923 89 0 14.14 14.19/14.20 o 410 14.191 14.19/14.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.19/14.27 c 0 37988 75566 307916 4 192715 325923 90 0 14.21 14.19/14.27 o 409 14.264 14.29/14.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.29/14.34 c 0 37988 75567 308416 4 192808 326923 91 0 14.29 14.29/14.34 o 408 14.336 14.38/14.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.38/14.42 c 0 37988 75568 308916 4 192902 327923 92 0 14.36 14.38/14.42 o 407 14.409 14.38/14.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.38/14.49 c 0 37988 75569 309416 4 192997 328923 93 0 14.43 14.38/14.49 o 406 14.482 14.48/14.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.48/14.56 c 0 37988 75570 309916 4 193093 329923 94 0 14.50 14.48/14.56 o 405 14.554 14.58/14.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.58/14.63 c 0 37988 75571 310416 4 193190 330923 95 0 14.58 14.58/14.63 o 404 14.628 14.68/14.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.68/14.71 c 0 37988 75572 310916 4 193288 331923 96 0 14.65 14.68/14.71 o 403 14.701 14.68/14.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.68/14.78 c 0 37988 75573 311416 4 193387 332923 97 0 14.72 14.68/14.78 o 402 14.775 14.78/14.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.85 c 0 37988 75574 311916 4 193487 333923 98 0 14.80 14.78/14.85 o 401 14.847 14.88/14.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.88/14.93 c 0 37988 75575 312416 4 193588 334923 99 0 14.87 14.88/14.93 o 400 14.92 14.98/15.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.98/15.00 c 0 37988 75576 312916 4 193690 335923 100 0 14.94 14.98/15.00 o 399 14.993 14.98/15.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.98/15.07 c 0 37988 75577 313416 4 193793 336923 101 0 15.02 14.98/15.07 o 398 15.067 15.08/15.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.08/15.15 c 0 37988 75578 313916 4 193897 337923 102 0 15.09 15.08/15.15 o 397 15.141 15.18/15.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.18/15.22 c 0 37988 75579 314416 4 194002 338923 103 0 15.16 15.18/15.22 o 396 15.215 15.18/15.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.18/15.29 c 0 37988 75580 314916 4 194108 339923 104 0 15.24 15.18/15.29 o 395 15.288 15.29/15.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.29/15.37 c 0 37988 75581 315416 4 194215 340923 105 0 15.31 15.29/15.37 o 394 15.362 15.39/15.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.39/15.44 c 0 37988 75582 315916 4 194323 341923 106 0 15.38 15.39/15.44 o 393 15.436 15.48/15.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.48/15.52 c 0 37988 75583 316416 4 194432 342923 107 0 15.46 15.48/15.52 o 392 15.51 15.48/15.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.48/15.59 c 0 37988 75584 316916 4 194542 343923 108 0 15.53 15.48/15.59 o 391 15.584 15.58/15.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.58/15.66 c 0 37988 75585 317416 4 194653 344923 109 0 15.61 15.58/15.66 o 390 15.658 15.68/15.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.68/15.74 c 0 37988 75586 317916 4 194765 345923 110 0 15.68 15.68/15.74 o 389 15.732 15.78/15.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.78/15.81 c 0 37988 75587 318416 4 194878 346923 111 0 15.76 15.78/15.81 o 388 15.805 15.78/15.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.78/15.89 c 0 37988 75588 318916 4 194992 347923 112 0 15.83 15.78/15.89 o 387 15.88 15.88/15.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.88/15.96 c 0 37988 75589 319416 4 195107 348923 113 0 15.90 15.88/15.96 o 386 15.955 15.98/16.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.98/16.04 c 0 37988 75590 319916 4 195223 349923 114 0 15.98 15.98/16.04 o 385 16.029 16.08/16.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.08/16.11 c 0 37988 75591 320416 4 195340 350923 115 0 16.05 16.08/16.11 o 384 16.104 16.08/16.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.08/16.18 c 0 37988 75592 320916 4 195458 351923 116 0 16.13 16.08/16.18 o 383 16.178 16.18/16.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.18/16.26 c 0 37988 75593 321416 4 195577 352923 117 0 16.20 16.18/16.26 o 382 16.253 16.28/16.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.28/16.33 c 0 37988 75594 321916 4 195697 353923 118 0 16.27 16.28/16.33 o 381 16.327 16.39/16.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.39/16.41 c 0 37988 75595 322416 4 195818 354923 119 0 16.35 16.39/16.41 o 380 16.402 16.39/16.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.39/16.48 c 0 37988 75596 322916 4 195940 355923 120 0 16.43 16.39/16.48 o 379 16.477 16.49/16.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.49/16.56 c 0 37988 75597 323416 4 196063 356923 121 0 16.50 16.49/16.56 o 378 16.551 16.58/16.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.58/16.63 c 0 37988 75598 323916 4 196187 357923 122 0 16.57 16.58/16.63 o 377 16.625 16.68/16.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.71 c 0 37988 75599 324416 4 196312 358923 123 0 16.65 16.68/16.71 o 376 16.7 16.68/16.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.78 c 0 37988 75600 324916 4 196438 359923 124 0 16.72 16.68/16.78 o 375 16.775 16.78/16.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.78/16.86 c 0 37988 75601 325416 4 196565 360923 125 0 16.80 16.78/16.86 o 374 16.85 16.88/16.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.88/16.93 c 0 37988 75602 325916 4 196693 361923 126 0 16.87 16.88/16.93 o 373 16.925 16.98/17.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.98/17.01 c 0 37988 75603 326416 4 196822 362923 127 0 16.95 16.98/17.01 o 372 17.001 16.98/17.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.98/17.08 c 0 37988 75604 326916 4 196952 363923 128 0 17.02 16.98/17.08 o 371 17.076 17.08/17.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.08/17.16 c 0 37988 75605 327416 4 197083 364923 129 0 17.10 17.08/17.16 o 370 17.151 17.18/17.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.18/17.23 c 0 37988 75606 327916 4 197215 365923 130 0 17.17 17.18/17.23 o 369 17.226 17.28/17.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.28/17.31 c 0 37988 75607 328416 4 197348 366923 131 0 17.25 17.28/17.31 o 368 17.301 17.28/17.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.28/17.38 c 0 37988 75608 328916 4 197482 367923 132 0 17.32 17.28/17.38 o 367 17.377 17.38/17.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.38/17.46 c 0 37988 75609 329416 4 197617 368923 133 0 17.40 17.38/17.46 o 366 17.452 17.49/17.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.49/17.53 c 0 37988 75610 329916 4 197753 369923 134 0 17.48 17.49/17.53 o 365 17.527 17.59/17.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.59/17.61 c 0 37988 75611 330416 4 197890 370923 135 0 17.55 17.59/17.61 o 364 17.602 17.59/17.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.59/17.68 c 0 37988 75612 330916 4 198028 371923 136 0 17.62 17.59/17.68 o 363 17.678 17.68/17.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.68/17.76 c 0 37988 75613 331416 4 198167 372923 137 0 17.70 17.68/17.76 o 362 17.754 17.78/17.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.78/17.84 c 0 37988 75614 331916 4 198307 373923 138 0 17.78 17.78/17.84 o 344 17.837 17.88/17.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.88/17.96 c 1 37988 75616 332778 4 198467 373923 140 0 17.87 17.88/17.96 o 22 17.95 18.28/18.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.28/18.32 c 1 37988 75617 333278 4 198947 373923 141 0 17.98 18.28/18.32 c 102 37988 75718 346426 4 199149 411316 242 5 18.24 18.28/18.32 o 21 18.317 918.62/919.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 918.62/919.05 c 102 37988 75719 346926 4 199630 373923 243 5 18.35 918.62/919.05 c 202 37988 75819 378002 4 199830 411316 343 10 18.54 918.62/919.05 c 452 37988 76069 454210 5 200330 452448 593 23 18.90 918.62/919.05 c 929 37988 76546 606169 7 201284 497693 1070 47 19.46 918.62/919.05 c 1743 37988 77360 808769 10 202912 547463 1884 85 20.39 918.62/919.05 c 3065 37988 78682 1214959 15 205556 602210 3206 138 22.20 918.62/919.05 c 5147 37988 80764 1768085 21 209720 662432 5288 205 25.06 918.62/919.05 c 8370 37988 83987 3091162 36 216166 728676 8511 270 30.94 918.62/919.05 c 13306 37988 88923 5017163 56 226038 801544 13447 316 41.98 918.62/919.05 c 20813 37988 96430 7467960 77 241052 881699 20954 366 56.84 918.62/919.05 c 32174 37988 107791 11948069 110 263774 969869 32315 377 85.24 918.62/919.05 c 49318 37988 124935 19544749 156 298062 500000 49459 323 152.51 918.62/919.05 c 75137 37988 150754 28539274 189 349700 550001 75278 291 257.33 918.62/919.05 c 113969 37988 189586 47271687 249 427364 605002 114110 238 478.61 918.62/919.05 c 172321 37988 247938 70485701 284 544068 665503 172462 188 914.88 918.62/919.05 o 20 918.685 1800.10/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.10/1800.70 c 172826 37988 248444 70638274 284 545560 373923 172968 188 918.72 1800.10/1800.70 c 172926 37988 248544 70669982 284 545760 411316 173068 188 919.47 1800.10/1800.70 c 173177 37988 248795 70744651 284 546262 452448 173319 188 920.39 1800.10/1800.70 c 173653 37988 249271 70871757 284 547214 497693 173795 188 922.59 1800.10/1800.70 c 174467 37988 250085 71067376 284 548842 547463 174609 188 925.98 1800.10/1800.70 c 175788 37988 251406 71494602 284 551484 602210 175930 188 932.19 1800.10/1800.70 c 177871 37988 253489 72196397 284 555650 662432 178013 188 941.25 1800.10/1800.70 c 181096 37988 256714 73217711 285 562100 728676 181238 189 956.38 1800.10/1800.70 c 186033 37988 261651 74659199 285 571974 801544 186175 189 983.31 1800.10/1800.70 c 193539 37988 269157 76713615 285 586986 881699 193681 188 1025.20 1800.10/1800.70 c 204900 37988 280518 80289631 286 609708 969869 205042 187 1090.69 1800.10/1800.70 c 222045 37988 297663 87777138 294 643998 500000 222187 179 1237.90 1800.10/1800.70 c 247864 37988 323482 95270846 294 695636 550001 248006 170 1452.96 1800.10/1800.70 c 286696 37988 362314 108229352 298 773300 605002 286838 159 1793.74 1800.10/1800.70 c Caught signal: 15 1800.10/1800.71 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 1800.10/1800.71 v -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 1800.10/1800.71 v -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 1800.10/1800.71 v -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 1800.10/1800.71 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.10/1800.71 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.10/1800.71 v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 1800.10/1800.71 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.10/1800.71 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.10/1800.71 v -x211 x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 1800.10/1800.71 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 1800.10/1800.71 v x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.10/1800.71 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 x292 -x293 -x294 1800.10/1800.71 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.10/1800.71 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.10/1800.71 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.10/1800.71 v -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.10/1800.71 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.10/1800.71 v -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.10/1800.71 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.10/1800.71 v x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.10/1800.71 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 1800.10/1800.71 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.10/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.71 c 170 287600 83222 590332 363218 108505557 287742 159 1800.10 1800.10/1800.71 c Objective: 20 1800.10/1800.71 s SATISFIABLE 1800.10/1800.71 c Total time: 1800.1 s
OK 20
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-453531-1178142556 -o ROOT/results/node1/solver-453531-1178142556 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453531-1178142556/instance-453531-1178142556.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.94 3/77 25231 /proc/meminfo: memFree=1550128/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=12244 CPUtime=0 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 290293480 12537856 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 3061 333 279 324 0 2004 0 [startup+0.0858321 s] /proc/loadavg: 0.92 0.97 0.94 3/77 25231 /proc/meminfo: memFree=1550128/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=8764 CPUtime=0.07 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 1512 0 0 0 7 0 0 0 18 0 1 0 290293480 8974336 1482 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 2191 1482 336 324 0 1134 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8764 [startup+0.101832 s] /proc/loadavg: 0.92 0.97 0.94 3/77 25231 /proc/meminfo: memFree=1550128/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=9720 CPUtime=0.09 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 1735 0 0 0 9 0 0 0 18 0 1 0 290293480 9953280 1705 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 2430 1706 346 324 0 1373 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9720 [startup+0.301849 s] /proc/loadavg: 0.92 0.97 0.94 3/77 25231 /proc/meminfo: memFree=1550128/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=23276 CPUtime=0.29 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 5237 0 0 0 27 2 0 0 19 0 1 0 290293480 23834624 5040 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 5819 5040 304 324 0 4889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23276 [startup+0.701896 s] /proc/loadavg: 0.92 0.97 0.94 3/77 25231 /proc/meminfo: memFree=1550128/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=23276 CPUtime=0.69 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 5237 0 0 0 67 2 0 0 22 0 1 0 290293480 23834624 5040 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 5819 5040 304 324 0 4889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23276 [startup+1.50199 s] /proc/loadavg: 0.93 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1531112/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=23276 CPUtime=1.48 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 5237 0 0 0 146 2 0 0 25 0 1 0 290293480 23834624 5040 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 5819 5040 304 324 0 4889 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 23276 [startup+3.10118 s] /proc/loadavg: 0.93 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1530792/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=23276 CPUtime=3.09 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 5237 0 0 0 305 4 0 0 25 0 1 0 290293480 23834624 5040 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 5819 5040 304 324 0 4889 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23276 [startup+6.30155 s] /proc/loadavg: 0.93 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1530792/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=28032 CPUtime=6.28 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 6508 0 0 0 622 6 0 0 25 0 1 0 290293480 28704768 6236 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 7008 6236 306 324 0 6078 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 28032 [startup+12.7013 s] /proc/loadavg: 0.94 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1527144/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=26788 CPUtime=12.68 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 7517 0 0 0 1255 13 0 0 25 0 1 0 290293480 27430912 5934 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134576119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 6697 5934 309 324 0 5767 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26788 [startup+25.5028 s] /proc/loadavg: 0.95 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1509736/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=45276 CPUtime=25.49 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 12152 0 0 0 2533 16 0 0 25 0 1 0 290293480 46362624 10569 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 11319 10569 310 324 0 10389 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 45276 [startup+51.1028 s] /proc/loadavg: 0.96 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1446888/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=108156 CPUtime=51.07 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 27885 0 0 0 5083 24 0 0 25 0 1 0 290293480 110751744 26302 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 27039 26302 310 324 0 26109 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 108156 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1349608/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=204280 CPUtime=102.26 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 51892 0 0 0 10187 39 0 0 25 0 1 0 290293480 209182720 50309 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 51070 50309 310 324 0 50140 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 204280 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1264808/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=289820 CPUtime=162.24 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 73305 0 0 0 16172 52 0 0 25 0 1 0 290293480 296775680 71722 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 72455 71722 310 324 0 71525 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 289820 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1191272/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=362260 CPUtime=222.23 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 91387 0 0 0 22160 63 0 0 25 0 1 0 290293480 370954240 89804 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 90565 89804 310 324 0 89635 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 362260 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1125928/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=428092 CPUtime=282.21 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 107872 0 0 0 28147 74 0 0 25 0 1 0 290293480 438366208 106289 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 107023 106289 310 324 0 106093 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 428092 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=1043752/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=510184 CPUtime=342.19 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 128393 0 0 0 34134 85 0 0 25 0 1 0 290293480 522428416 126810 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 127546 126810 310 324 0 126616 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 510184 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=976744/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=576884 CPUtime=402.18 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 145065 0 0 0 40123 95 0 0 25 0 1 0 290293480 590729216 143482 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 144221 143482 310 324 0 143291 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 576884 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=930600/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=622872 CPUtime=462.16 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 156548 0 0 0 46112 104 0 0 25 0 1 0 290293480 637820928 154965 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 155718 154965 310 324 0 154788 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 622872 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=868584/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=685032 CPUtime=522.14 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 172088 0 0 0 52102 112 0 0 25 0 1 0 290293480 701472768 170505 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 171258 170505 310 324 0 170328 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 685032 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=812392/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=740548 CPUtime=582.13 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 185972 0 0 0 58093 120 0 0 25 0 1 0 290293480 758321152 184389 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 185137 184389 310 324 0 184207 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 740548 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25232 /proc/meminfo: memFree=767016/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=785500 CPUtime=642.11 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 197216 0 0 0 64084 127 0 0 25 0 1 0 290293480 804352000 195633 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6258757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 196375 195633 310 324 0 195445 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 785500 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=593064/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=959400 CPUtime=941.92 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 240679 0 0 0 94034 158 0 0 25 0 1 0 290293480 982425600 239096 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 239850 239096 310 324 0 238920 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 959400 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=548968/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1003040 CPUtime=1001.9 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 251601 0 0 0 100024 166 0 0 25 0 1 0 290293480 1027112960 250018 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 250760 250018 310 324 0 249830 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 1003040 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=510312/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1041928 CPUtime=1061.89 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 261310 0 0 0 106015 174 0 0 25 0 1 0 290293480 1066934272 259727 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 260482 259727 310 324 0 259552 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 1041928 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=471592/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1080300 CPUtime=1121.87 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 270901 0 0 0 112007 180 0 0 25 0 1 0 290293480 1106227200 269318 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 270075 269318 310 324 0 269145 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1080300 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=436840/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1115252 CPUtime=1181.85 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 279666 0 0 0 117999 186 0 0 25 0 1 0 290293480 1142018048 278083 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 278813 278083 310 324 0 277883 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1115252 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=387688/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1164044 CPUtime=1241.84 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 291848 0 0 0 123990 194 0 0 25 0 1 0 290293480 1191981056 290265 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 291011 290265 310 324 0 290081 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1164044 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=362792/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1188564 CPUtime=1301.83 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 297994 0 0 0 129983 200 0 0 25 0 1 0 290293480 1217089536 296411 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 297141 296411 310 324 0 296211 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1188564 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=336040/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1215548 CPUtime=1361.8 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 304714 0 0 0 135975 205 0 0 25 0 1 0 290293480 1244721152 303131 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 303887 303131 310 324 0 302957 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1215548 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=302952/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1248368 CPUtime=1421.79 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 312921 0 0 0 141968 211 0 0 25 0 1 0 290293480 1278328832 311338 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 312092 311338 310 324 0 311162 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1248368 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=276072/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1275808 CPUtime=1481.77 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 319777 0 0 0 147963 214 0 0 25 0 1 0 290293480 1306427392 318194 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 318952 318194 310 324 0 318022 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1275808 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=239976/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1311356 CPUtime=1541.75 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 328664 0 0 0 153955 220 0 0 25 0 1 0 290293480 1342828544 327081 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 327839 327081 310 324 0 326909 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1311356 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=208040/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1343264 CPUtime=1601.74 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 336669 0 0 0 159949 225 0 0 25 0 1 0 290293480 1375502336 335086 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 335816 335086 310 324 0 334886 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1343264 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=171368/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1379840 CPUtime=1661.72 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 345796 0 0 0 165941 231 0 0 25 0 1 0 290293480 1412956160 344213 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 344960 344213 310 324 0 344030 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1379840 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=149544/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1401676 CPUtime=1721.7 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 351273 0 0 0 171935 235 0 0 25 0 1 0 290293480 1435316224 349690 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 350419 349690 310 324 0 349489 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1401676 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=126248/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1424700 CPUtime=1781.69 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 357021 0 0 0 177929 240 0 0 25 0 1 0 290293480 1458892800 355438 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 356175 355438 310 324 0 355245 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1424700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=117800/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=1433044 CPUtime=1800.1 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194304 359100 0 0 0 179768 242 0 0 25 0 1 0 290293480 1467437056 357517 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 358261 357517 310 324 0 357331 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1433044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=117800/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=0 CPUtime=1800.19 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194308 359104 0 0 0 179768 251 0 0 25 0 1 0 290293480 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.94 2/78 25430 /proc/meminfo: memFree=117800/2055920 swapFree=4145736/4192956 [pid=25231] ppid=25229 vsize=0 CPUtime=1800.28 /proc/25231/stat : 25231 (bsolo3.0.17) R 25229 25231 24773 0 -1 4194308 359104 0 0 0 179768 260 0 0 25 0 1 0 290293480 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/25231/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.95 CPU time (s): 1800.34 CPU user time (s): 1797.68 CPU system time (s): 2.6546 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 1433044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.68 system time used= 2.6546 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 359104 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= 12 involuntary context switches= 1278 runsolver used 1.46478 second user time and 4.15937 second system time The end
Begin job on node1 on Wed May 2 21:49:16 UTC 2007 IDJOB= 453531 IDBENCH= 48136 IDSOLVER= 199 FILE ID= node1/453531-1178142556 PBS_JOBID= 4751068 Free space on /tmp= 54608 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453531-1178142556/instance-453531-1178142556.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-453531-1178142556 -o ROOT/results/node1/solver-453531-1178142556 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453531-1178142556/instance-453531-1178142556.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fd4b450948caa11c29cf407b64203711 RANDOM SEED= 260064018 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1550664 kB Buffers: 35948 kB Cached: 360836 kB SwapCached: 14820 kB Active: 77776 kB Inactive: 342572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1550664 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 7192 kB Writeback: 0 kB Mapped: 29704 kB Slab: 70416 kB Committed_AS: 9414136 kB PageTables: 1832 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 54608 MiB End job on node1 on Wed May 2 22:19:19 UTC 2007