Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 20 | 1800.23 | 1800.88 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453525-1178142470/instance-453525-1178142470.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.215 s 0.19/0.27 c Var: 37988 Constr: 75476 37988/0/37488 Lit: 262916 Watch. Lit: 188440 0.19/0.27 c Obj. Vars: 500 (1.31621 % of total variables) 7.79/7.86 c Pre-processing Time: 7.852 s 7.79/7.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.79/7.86 c 0 37988 75476 262916 3 188440 237590 0 0 7.85 7.79/7.86 c Switching off LPR mode. 7.88/7.92 o 499 7.918 7.88/7.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.88/7.99 c 0 37988 75477 263416 3 188443 237923 1 0 7.94 7.88/7.99 o 498 7.99 7.98/8.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.98/8.07 c 0 37988 75478 263916 3 188447 238423 2 0 8.01 7.98/8.07 o 497 8.063 8.08/8.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.08/8.14 c 0 37988 75479 264416 3 188452 239090 3 0 8.09 8.08/8.14 o 496 8.136 8.18/8.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.18/8.21 c 0 37988 75480 264916 3 188458 239923 4 0 8.16 8.18/8.21 o 495 8.209 8.18/8.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.18/8.29 c 0 37988 75481 265416 3 188465 240923 5 0 8.23 8.18/8.29 o 494 8.282 8.28/8.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.28/8.36 c 0 37988 75482 265916 3 188473 241923 6 0 8.30 8.28/8.36 o 493 8.355 8.39/8.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.43 c 0 37988 75483 266416 3 188482 242923 7 0 8.38 8.39/8.43 o 492 8.428 8.49/8.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.51 c 0 37988 75484 266916 3 188492 243923 8 0 8.45 8.49/8.51 o 491 8.501 8.49/8.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.58 c 0 37988 75485 267416 3 188503 244923 9 0 8.52 8.49/8.58 o 490 8.574 8.59/8.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.65 c 0 37988 75486 267916 3 188515 245923 10 0 8.60 8.59/8.65 o 489 8.647 8.69/8.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.69/8.73 c 0 37988 75487 268416 3 188528 246923 11 0 8.67 8.69/8.73 o 488 8.721 8.69/8.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.69/8.80 c 0 37988 75488 268916 3 188542 247923 12 0 8.74 8.69/8.80 o 487 8.794 8.79/8.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.87 c 0 37988 75489 269416 3 188557 248923 13 0 8.82 8.79/8.87 o 486 8.866 8.89/8.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.94 c 0 37988 75490 269916 3 188573 249923 14 0 8.89 8.89/8.94 o 485 8.939 8.98/9.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.98/9.02 c 0 37988 75491 270416 3 188590 250923 15 0 8.96 8.98/9.02 o 484 9.012 8.98/9.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.98/9.09 c 0 37988 75492 270916 3 188608 251923 16 0 9.03 8.98/9.09 o 483 9.086 9.08/9.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.08/9.16 c 0 37988 75493 271416 3 188627 252923 17 0 9.11 9.08/9.16 o 482 9.159 9.18/9.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.18/9.24 c 0 37988 75494 271916 3 188647 253923 18 0 9.18 9.18/9.24 o 481 9.231 9.28/9.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.31 c 0 37988 75495 272416 3 188668 254923 19 0 9.25 9.28/9.31 o 480 9.304 9.28/9.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.28/9.38 c 0 37988 75496 272916 3 188690 255923 20 0 9.33 9.28/9.38 o 479 9.377 9.39/9.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.45 c 0 37988 75497 273416 3 188713 256923 21 0 9.40 9.39/9.45 o 478 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 75498 273916 3 188737 257923 22 0 9.47 9.49/9.53 o 477 9.523 9.59/9.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.60 c 0 37988 75499 274416 3 188762 258923 23 0 9.54 9.59/9.60 o 476 9.596 9.59/9.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.67 c 0 37988 75500 274916 3 188788 259923 24 0 9.62 9.59/9.67 o 475 9.668 9.69/9.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.75 c 0 37988 75501 275416 3 188815 260923 25 0 9.69 9.69/9.75 o 474 9.741 9.79/9.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.82 c 0 37988 75502 275916 3 188843 261923 26 0 9.76 9.79/9.82 o 473 9.814 9.79/9.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.89 c 0 37988 75503 276416 3 188872 262923 27 0 9.84 9.79/9.89 o 472 9.888 9.89/9.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.97 c 0 37988 75504 276916 3 188902 263923 28 0 9.91 9.89/9.97 o 471 9.96 9.98/10.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.04 c 0 37988 75505 277416 3 188933 264923 29 0 9.98 9.98/10.04 o 470 10.033 10.08/10.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.08/10.11 c 0 37988 75506 277916 3 188965 265923 30 0 10.05 10.08/10.11 o 469 10.106 10.08/10.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.08/10.18 c 0 37988 75507 278416 3 188998 266923 31 0 10.13 10.08/10.18 o 468 10.179 10.18/10.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.18/10.26 c 0 37988 75508 278916 3 189032 267923 32 0 10.20 10.18/10.26 o 467 10.254 10.28/10.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.28/10.33 c 0 37988 75509 279416 3 189067 268923 33 0 10.28 10.28/10.33 o 466 10.326 10.38/10.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.38/10.40 c 0 37988 75510 279916 3 189103 269923 34 0 10.35 10.38/10.40 o 465 10.398 10.38/10.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.38/10.48 c 0 37988 75511 280416 3 189140 270923 35 0 10.42 10.38/10.48 o 464 10.47 10.48/10.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.48/10.55 c 0 37988 75512 280916 3 189178 271923 36 0 10.49 10.48/10.55 o 463 10.543 10.59/10.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.59/10.62 c 0 37988 75513 281416 3 189217 272923 37 0 10.56 10.59/10.62 o 462 10.614 10.59/10.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.59/10.69 c 0 37988 75514 281916 3 189257 273923 38 0 10.64 10.59/10.69 o 461 10.686 10.68/10.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.68/10.76 c 0 37988 75515 282416 3 189298 274923 39 0 10.71 10.68/10.76 o 460 10.759 10.78/10.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.78/10.84 c 0 37988 75516 282916 3 189340 275923 40 0 10.78 10.78/10.84 o 459 10.831 10.89/10.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.91 c 0 37988 75517 283416 3 189383 276923 41 0 10.85 10.89/10.91 o 458 10.903 10.89/10.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.98 c 0 37988 75518 283916 3 189427 277923 42 0 10.93 10.89/10.98 o 457 10.976 10.99/11.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.99/11.05 c 0 37988 75519 284416 3 189472 278923 43 0 11.00 10.99/11.05 o 456 11.048 11.08/11.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.08/11.13 c 0 37988 75520 284916 3 189518 279923 44 0 11.07 11.08/11.13 o 455 11.12 11.18/11.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.18/11.20 c 0 37988 75521 285416 3 189565 280923 45 0 11.14 11.18/11.20 o 454 11.193 11.18/11.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.18/11.27 c 0 37988 75522 285916 3 189613 281923 46 0 11.21 11.18/11.27 o 453 11.265 11.28/11.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.28/11.34 c 0 37988 75523 286416 3 189662 282923 47 0 11.29 11.28/11.34 o 452 11.337 11.38/11.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.41 c 0 37988 75524 286916 3 189712 283923 48 0 11.36 11.38/11.41 o 451 11.409 11.38/11.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.49 c 0 37988 75525 287416 3 189763 284923 49 0 11.43 11.38/11.49 o 450 11.481 11.48/11.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.48/11.56 c 0 37988 75526 287916 3 189815 285923 50 0 11.50 11.48/11.56 o 449 11.553 11.58/11.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.58/11.63 c 0 37988 75527 288416 3 189868 286923 51 0 11.57 11.58/11.63 o 448 11.626 11.69/11.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.69/11.70 c 0 37988 75528 288916 3 189922 287923 52 0 11.65 11.69/11.70 o 447 11.698 11.69/11.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.69/11.78 c 0 37988 75529 289416 3 189977 288923 53 0 11.72 11.69/11.78 o 446 11.771 11.79/11.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.79/11.85 c 0 37988 75530 289916 3 190033 289923 54 0 11.79 11.79/11.85 o 445 11.843 11.88/11.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.88/11.92 c 0 37988 75531 290416 3 190090 290923 55 0 11.87 11.88/11.92 o 444 11.916 11.88/11.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.88/11.99 c 0 37988 75532 290916 3 190148 291923 56 0 11.94 11.88/11.99 o 443 11.988 11.99/12.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.99/12.07 c 0 37988 75533 291416 3 190207 292923 57 0 12.01 11.99/12.07 o 442 12.06 12.08/12.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.08/12.14 c 0 37988 75534 291916 3 190267 293923 58 0 12.08 12.08/12.14 o 441 12.133 12.18/12.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.18/12.21 c 0 37988 75535 292416 3 190328 294923 59 0 12.15 12.18/12.21 o 440 12.206 12.18/12.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.18/12.28 c 0 37988 75536 292916 3 190390 295923 60 0 12.23 12.18/12.28 o 439 12.278 12.28/12.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.28/12.36 c 0 37988 75537 293416 3 190453 296923 61 0 12.30 12.28/12.36 o 438 12.351 12.39/12.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.39/12.43 c 0 37988 75538 293916 3 190517 297923 62 0 12.37 12.39/12.43 o 437 12.424 12.49/12.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.49/12.50 c 0 37988 75539 294416 3 190582 298923 63 0 12.45 12.49/12.50 o 436 12.496 12.49/12.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.49/12.58 c 0 37988 75540 294916 3 190648 299923 64 0 12.52 12.49/12.58 o 435 12.569 12.58/12.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.58/12.65 c 0 37988 75541 295416 3 190715 300923 65 0 12.59 12.58/12.65 o 434 12.641 12.68/12.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.68/12.72 c 0 37988 75542 295916 3 190783 301923 66 0 12.66 12.68/12.72 o 433 12.714 12.68/12.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.68/12.79 c 0 37988 75543 296416 3 190852 302923 67 0 12.74 12.68/12.79 o 432 12.787 12.78/12.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.78/12.87 c 0 37988 75544 296916 3 190922 303923 68 0 12.81 12.78/12.87 o 431 12.86 12.88/12.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.88/12.94 c 0 37988 75545 297416 3 190993 304923 69 0 12.88 12.88/12.94 o 430 12.933 12.98/13.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.98/13.01 c 0 37988 75546 297916 3 191065 305923 70 0 12.96 12.98/13.01 o 429 13.006 12.98/13.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.98/13.09 c 0 37988 75547 298416 3 191138 306923 71 0 13.03 12.98/13.09 o 428 13.079 13.08/13.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.08/13.16 c 0 37988 75548 298916 3 191212 307923 72 0 13.10 13.08/13.16 o 427 13.152 13.18/13.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.18/13.23 c 0 37988 75549 299416 3 191287 308923 73 0 13.17 13.18/13.23 o 426 13.225 13.28/13.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.28/13.30 c 0 37988 75550 299916 3 191363 309923 74 0 13.25 13.28/13.30 o 425 13.298 13.28/13.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.28/13.38 c 0 37988 75551 300416 3 191440 310923 75 0 13.32 13.28/13.38 o 424 13.37 13.38/13.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.38/13.45 c 0 37988 75552 300916 3 191518 311923 76 0 13.39 13.38/13.45 o 423 13.443 13.48/13.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.48/13.52 c 0 37988 75553 301416 3 191597 312923 77 0 13.46 13.48/13.52 o 422 13.516 13.58/13.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.60 c 0 37988 75554 301916 3 191677 313923 78 0 13.54 13.58/13.60 o 421 13.589 13.58/13.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.67 c 0 37988 75555 302416 4 191758 314923 79 0 13.61 13.58/13.67 o 420 13.663 13.68/13.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.68/13.74 c 0 37988 75556 302916 4 191840 315923 80 0 13.69 13.68/13.74 o 419 13.736 13.78/13.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.78/13.82 c 0 37988 75557 303416 4 191923 316923 81 0 13.76 13.78/13.82 o 418 13.809 13.78/13.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.78/13.89 c 0 37988 75558 303916 4 192007 317923 82 0 13.83 13.78/13.89 o 417 13.882 13.88/13.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.88/13.96 c 0 37988 75559 304416 4 192092 318923 83 0 13.90 13.88/13.96 o 416 13.955 13.98/14.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.98/14.03 c 0 37988 75560 304916 4 192178 319923 84 0 13.98 13.98/14.03 o 415 14.028 14.09/14.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.09/14.11 c 0 37988 75561 305416 4 192265 320923 85 0 14.05 14.09/14.11 o 414 14.101 14.09/14.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.09/14.18 c 0 37988 75562 305916 4 192353 321923 86 0 14.12 14.09/14.18 o 413 14.175 14.19/14.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.19/14.26 c 0 37988 75563 306416 4 192442 322923 87 0 14.20 14.19/14.26 o 412 14.248 14.29/14.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.29/14.33 c 0 37988 75564 306916 4 192532 323923 88 0 14.27 14.29/14.33 o 411 14.322 14.38/14.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.38/14.40 c 0 37988 75565 307416 4 192623 324923 89 0 14.35 14.38/14.40 o 410 14.396 14.38/14.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.38/14.48 c 0 37988 75566 307916 4 192715 325923 90 0 14.42 14.38/14.48 o 409 14.47 14.48/14.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.48/14.55 c 0 37988 75567 308416 4 192808 326923 91 0 14.49 14.48/14.55 o 408 14.543 14.58/14.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.58/14.62 c 0 37988 75568 308916 4 192902 327923 92 0 14.56 14.58/14.62 o 407 14.616 14.68/14.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.68/14.70 c 0 37988 75569 309416 4 192997 328923 93 0 14.64 14.68/14.70 o 406 14.69 14.68/14.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.68/14.77 c 0 37988 75570 309916 4 193093 329923 94 0 14.71 14.68/14.77 o 405 14.763 14.78/14.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.84 c 0 37988 75571 310416 4 193190 330923 95 0 14.79 14.78/14.84 o 404 14.837 14.88/14.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.88/14.92 c 0 37988 75572 310916 4 193288 331923 96 0 14.86 14.88/14.92 o 403 14.911 14.88/14.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.88/14.99 c 0 37988 75573 311416 4 193387 332923 97 0 14.93 14.88/14.99 o 402 14.986 14.98/15.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.98/15.07 c 0 37988 75574 311916 4 193487 333923 98 0 15.01 14.98/15.07 o 401 15.059 15.08/15.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.08/15.14 c 0 37988 75575 312416 4 193588 334923 99 0 15.08 15.08/15.14 o 400 15.132 15.18/15.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.18/15.21 c 0 37988 75576 312916 4 193690 335923 100 0 15.15 15.18/15.21 o 399 15.206 15.18/15.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.18/15.29 c 0 37988 75577 313416 4 193793 336923 101 0 15.23 15.18/15.29 o 398 15.281 15.29/15.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.29/15.36 c 0 37988 75578 313916 4 193897 337923 102 0 15.30 15.29/15.36 o 397 15.355 15.39/15.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.39/15.44 c 0 37988 75579 314416 4 194002 338923 103 0 15.38 15.39/15.44 o 396 15.43 15.48/15.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.48/15.51 c 0 37988 75580 314916 4 194108 339923 104 0 15.45 15.48/15.51 o 395 15.504 15.48/15.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.48/15.59 c 0 37988 75581 315416 4 194215 340923 105 0 15.53 15.48/15.59 o 394 15.579 15.58/15.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.58/15.66 c 0 37988 75582 315916 4 194323 341923 106 0 15.60 15.58/15.66 o 393 15.653 15.68/15.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.68/15.74 c 0 37988 75583 316416 4 194432 342923 107 0 15.68 15.68/15.74 o 392 15.728 15.78/15.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.78/15.81 c 0 37988 75584 316916 4 194542 343923 108 0 15.75 15.78/15.81 o 391 15.803 15.78/15.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.78/15.89 c 0 37988 75585 317416 4 194653 344923 109 0 15.83 15.78/15.89 o 390 15.877 15.88/15.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.88/15.96 c 0 37988 75586 317916 4 194765 345923 110 0 15.90 15.88/15.96 o 389 15.952 15.98/16.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.98/16.03 c 0 37988 75587 318416 4 194878 346923 111 0 15.97 15.98/16.03 o 388 16.026 16.08/16.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.08/16.11 c 0 37988 75588 318916 4 194992 347923 112 0 16.05 16.08/16.11 o 387 16.102 16.08/16.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.08/16.18 c 0 37988 75589 319416 4 195107 348923 113 0 16.12 16.08/16.18 o 386 16.177 16.18/16.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.18/16.26 c 0 37988 75590 319916 4 195223 349923 114 0 16.20 16.18/16.26 o 385 16.252 16.28/16.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.28/16.33 c 0 37988 75591 320416 4 195340 350923 115 0 16.27 16.28/16.33 o 384 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 75592 320916 4 195458 351923 116 0 16.35 16.39/16.41 o 383 16.403 16.39/16.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.39/16.49 c 0 37988 75593 321416 4 195577 352923 117 0 16.43 16.39/16.49 o 382 16.478 16.49/16.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.49/16.56 c 0 37988 75594 321916 4 195697 353923 118 0 16.50 16.49/16.56 o 381 16.554 16.59/16.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.59/16.64 c 0 37988 75595 322416 4 195818 354923 119 0 16.58 16.59/16.64 o 380 16.629 16.68/16.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.71 c 0 37988 75596 322916 4 195940 355923 120 0 16.65 16.68/16.71 o 379 16.705 16.68/16.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.79 c 0 37988 75597 323416 4 196063 356923 121 0 16.73 16.68/16.79 o 378 16.781 16.78/16.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.78/16.86 c 0 37988 75598 323916 4 196187 357923 122 0 16.80 16.78/16.86 o 377 16.856 16.88/16.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.88/16.94 c 0 37988 75599 324416 4 196312 358923 123 0 16.88 16.88/16.94 o 376 16.933 16.98/17.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.98/17.02 c 0 37988 75600 324916 4 196438 359923 124 0 16.96 16.98/17.02 o 375 17.008 16.98/17.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.98/17.09 c 0 37988 75601 325416 4 196565 360923 125 0 17.03 16.98/17.09 o 374 17.085 17.08/17.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.08/17.17 c 0 37988 75602 325916 4 196693 361923 126 0 17.11 17.08/17.17 o 373 17.161 17.18/17.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.18/17.24 c 0 37988 75603 326416 4 196822 362923 127 0 17.18 17.18/17.24 o 372 17.237 17.28/17.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.28/17.32 c 0 37988 75604 326916 4 196952 363923 128 0 17.26 17.28/17.32 o 371 17.313 17.38/17.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.38/17.40 c 0 37988 75605 327416 4 197083 364923 129 0 17.34 17.38/17.40 o 370 17.389 17.38/17.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.38/17.47 c 0 37988 75606 327916 4 197215 365923 130 0 17.41 17.38/17.47 o 369 17.466 17.48/17.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.48/17.55 c 0 37988 75607 328416 4 197348 366923 131 0 17.49 17.48/17.55 o 368 17.543 17.58/17.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.58/17.63 c 0 37988 75608 328916 4 197482 367923 132 0 17.57 17.58/17.63 o 367 17.62 17.68/17.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.68/17.70 c 0 37988 75609 329416 4 197617 368923 133 0 17.64 17.68/17.70 o 366 17.696 17.68/17.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.68/17.78 c 0 37988 75610 329916 4 197753 369923 134 0 17.72 17.68/17.78 o 365 17.773 17.78/17.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.78/17.86 c 0 37988 75611 330416 4 197890 370923 135 0 17.80 17.78/17.86 o 364 17.849 17.88/17.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.88/17.93 c 0 37988 75612 330916 4 198028 371923 136 0 17.87 17.88/17.93 o 363 17.926 17.98/18.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.98/18.01 c 0 37988 75613 331416 4 198167 372923 137 0 17.95 17.98/18.01 o 362 18.004 17.98/18.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.98/18.10 c 0 37988 75614 331916 4 198307 373923 138 0 18.03 17.98/18.10 o 344 18.089 18.18/18.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.18/18.21 c 1 37988 75616 332778 4 198467 373923 140 0 18.12 18.18/18.21 o 22 18.201 18.48/18.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.48/18.58 c 1 37988 75617 333278 4 198947 373923 141 0 18.23 18.48/18.58 c 102 37988 75718 346426 4 199149 411316 242 5 18.49 18.48/18.58 o 21 18.569 919.90/920.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 919.90/920.35 c 102 37988 75719 346926 4 199630 373923 243 5 18.60 919.90/920.35 c 202 37988 75819 378002 4 199830 411316 343 10 18.80 919.90/920.35 c 452 37988 76069 454210 5 200330 452448 593 23 19.16 919.90/920.35 c 929 37988 76546 606169 7 201284 497693 1070 47 19.71 919.90/920.35 c 1743 37988 77360 808769 10 202912 547463 1884 84 20.65 919.90/920.35 c 3065 37988 78682 1214959 15 205556 602210 3206 136 22.47 919.90/920.35 c 5147 37988 80764 1768085 21 209720 662432 5288 202 25.36 919.90/920.35 c 8370 37988 83987 3091162 36 216166 728676 8511 267 31.24 919.90/920.35 c 13306 37988 88923 5017163 56 226038 801544 13447 315 42.24 919.90/920.35 c 20813 37988 96430 7467960 77 241052 881699 20954 364 57.11 919.90/920.35 c 32174 37988 107791 11948069 110 263774 969869 32315 375 85.64 919.90/920.35 c 49318 37988 124935 19544749 156 298062 500000 49459 322 153.04 919.90/920.35 c 75137 37988 150754 28539274 189 349700 550001 75278 291 257.94 919.90/920.35 c 113969 37988 189586 47271687 249 427364 605002 114110 237 479.29 919.90/920.35 c 172321 37988 247938 70485701 284 544068 665503 172462 188 916.18 919.90/920.35 o 20 919.972 1799.96/1800.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.64 c 172826 37988 248444 70638274 284 545560 373923 172968 187 920.01 1799.96/1800.64 c 172926 37988 248544 70669982 284 545760 411316 173068 187 920.77 1799.96/1800.64 c 173177 37988 248795 70744651 284 546262 452448 173319 187 921.69 1799.96/1800.64 c 173653 37988 249271 70871757 284 547214 497693 173795 187 923.91 1799.96/1800.64 c 174467 37988 250085 71067376 284 548842 547463 174609 188 927.33 1799.96/1800.64 c 175788 37988 251406 71494602 284 551484 602210 175930 188 933.51 1799.96/1800.64 c 177871 37988 253489 72196397 284 555650 662432 178013 188 942.56 1799.96/1800.64 c 181096 37988 256714 73217711 285 562100 728676 181238 189 957.67 1799.96/1800.64 c 186033 37988 261651 74659199 285 571974 801544 186175 188 984.68 1799.96/1800.64 c 193539 37988 269157 76713615 285 586986 881699 193681 188 1026.65 1799.96/1800.64 c 204900 37988 280518 80289631 286 609708 969869 205042 187 1092.14 1799.96/1800.64 c 222045 37988 297663 87777138 294 643998 500000 222187 179 1239.45 1799.96/1800.64 c 247864 37988 323482 95270846 294 695636 550001 248006 170 1454.70 1799.96/1800.64 c 286696 37988 362314 108229352 298 773300 605002 286838 159 1796.00 1799.96/1800.64 c Resources Exceeded 1799.96/1800.64 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 1799.96/1800.64 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 1799.96/1800.64 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 1799.96/1800.64 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 1799.96/1800.64 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1799.96/1800.64 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1799.96/1800.64 v -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 1799.96/1800.64 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1799.96/1800.64 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1799.96/1800.64 v -x211 x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 1799.96/1800.64 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 1799.96/1800.64 v x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1799.96/1800.64 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 x292 -x293 -x294 1799.96/1800.64 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1799.96/1800.64 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1799.96/1800.64 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1799.96/1800.64 v -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1799.96/1800.64 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1799.96/1800.64 v -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1799.96/1800.64 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1799.96/1800.64 v x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1799.96/1800.64 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 1799.96/1800.64 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1799.96/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.64 c 170 287255 83117 589819 362873 108383136 287397 159 1800.00 1799.96/1800.64 c Objective: 20 1799.96/1800.64 s SATISFIABLE 1799.96/1800.64 c Total time: 1800 s
OK 20
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-453525-1178142470 -o ROOT/results/node6/solver-453525-1178142470 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453525-1178142470/instance-453525-1178142470.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.95 0.95 3/77 21971 /proc/meminfo: memFree=1804336/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=12244 CPUtime=0 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 290284675 12537856 336 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 3061 336 281 324 0 2003 0 [startup+0.023909 s] /proc/loadavg: 0.92 0.95 0.95 3/77 21971 /proc/meminfo: memFree=1804336/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=5532 CPUtime=0.01 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 650 0 0 0 1 0 0 0 18 0 1 0 290284675 5664768 620 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 1383 621 302 324 0 325 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5532 [startup+0.101917 s] /proc/loadavg: 0.92 0.95 0.95 3/77 21971 /proc/meminfo: memFree=1804336/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=9856 CPUtime=0.09 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 1769 0 0 0 9 0 0 0 18 0 1 0 290284675 10092544 1739 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 2464 1739 349 324 0 1406 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9856 [startup+0.30194 s] /proc/loadavg: 0.92 0.95 0.95 3/77 21971 /proc/meminfo: memFree=1804336/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=23276 CPUtime=0.29 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 5239 0 0 0 27 2 0 0 19 0 1 0 290284675 23834624 5042 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 5819 5042 306 324 0 4888 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23276 [startup+0.701986 s] /proc/loadavg: 0.92 0.95 0.95 3/77 21971 /proc/meminfo: memFree=1804336/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=23276 CPUtime=0.69 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 5239 0 0 0 67 2 0 0 22 0 1 0 290284675 23834624 5042 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 5819 5042 306 324 0 4888 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23276 [startup+1.50208 s] /proc/loadavg: 0.92 0.95 0.95 2/78 21972 /proc/meminfo: memFree=1785256/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=23276 CPUtime=1.48 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 5239 0 0 0 146 2 0 0 25 0 1 0 290284675 23834624 5042 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 5819 5042 306 324 0 4888 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 23276 [startup+3.10127 s] /proc/loadavg: 0.92 0.95 0.95 2/78 21972 /proc/meminfo: memFree=1785128/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=23276 CPUtime=3.09 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 5239 0 0 0 306 3 0 0 25 0 1 0 290284675 23834624 5042 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 5819 5042 306 324 0 4888 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23276 [startup+6.30164 s] /proc/loadavg: 0.93 0.95 0.95 2/78 21972 /proc/meminfo: memFree=1784872/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=27768 CPUtime=6.28 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 6445 0 0 0 623 5 0 0 25 0 1 0 290284675 28434432 6173 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 6942 6175 307 324 0 6011 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27768 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.95 2/78 21972 /proc/meminfo: memFree=1781160/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=26788 CPUtime=12.68 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 7519 0 0 0 1250 18 0 0 25 0 1 0 290284675 27430912 5936 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 6697 5936 311 324 0 5766 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26788 [startup+25.5019 s] /proc/loadavg: 0.95 0.96 0.95 2/78 21972 /proc/meminfo: memFree=1764456/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=44392 CPUtime=25.47 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 11916 0 0 0 2522 25 0 0 25 0 1 0 290284675 45457408 10333 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 11098 10333 312 324 0 10167 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 44392 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.95 2/78 21972 /proc/meminfo: memFree=1701864/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=107760 CPUtime=51.07 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 27769 0 0 0 5067 40 0 0 25 0 1 0 290284675 110346240 26186 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 26940 26186 312 324 0 26009 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 107760 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.95 2/78 21972 /proc/meminfo: memFree=1604328/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=203620 CPUtime=102.26 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 51754 0 0 0 10167 59 0 0 25 0 1 0 290284675 208506880 50171 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2622355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 50905 50171 312 324 0 49974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 203620 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1519464/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=288936 CPUtime=162.23 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 73084 0 0 0 16149 74 0 0 25 0 1 0 290284675 295870464 71501 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 72234 71501 312 324 0 71303 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 288936 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1445736/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=361900 CPUtime=222.21 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 91313 0 0 0 22133 88 0 0 25 0 1 0 290284675 370585600 89730 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 90475 89730 312 324 0 89544 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 361900 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1380712/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=427452 CPUtime=282.2 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 107703 0 0 0 28118 102 0 0 25 0 1 0 290284675 437710848 106120 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 106863 106120 312 324 0 105932 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 427452 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1299240/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=508596 CPUtime=342.18 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 127992 0 0 0 34103 115 0 0 25 0 1 0 290284675 520802304 126409 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 127149 126409 312 324 0 126218 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 508596 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1231400/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=576376 CPUtime=402.16 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 144922 0 0 0 40089 127 0 0 25 0 1 0 290284675 590209024 143339 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 144094 143339 312 324 0 143163 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 576376 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1185064/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=622080 CPUtime=462.14 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 156358 0 0 0 46076 138 0 0 25 0 1 0 290284675 637009920 154775 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 155520 154775 312 324 0 154589 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 622080 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1123432/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=684260 CPUtime=522.13 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 171907 0 0 0 52062 151 0 0 25 0 1 0 290284675 700682240 170324 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 171065 170324 312 324 0 170134 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 684260 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1067112/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=740024 CPUtime=582.11 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 185832 0 0 0 58048 163 0 0 25 0 1 0 290284675 757784576 184249 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 185006 184249 312 324 0 184075 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 740024 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 21972 /proc/meminfo: memFree=1022248/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=784352 CPUtime=642.09 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 196917 0 0 0 64036 173 0 0 25 0 1 0 290284675 803176448 195334 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 196088 195334 312 324 0 195157 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 784352 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=884392/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=921936 CPUtime=881.92 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 231311 0 0 0 87987 205 0 0 25 0 1 0 290284675 944062464 229728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 230484 229728 312 324 0 229553 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 921936 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=848424/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=958244 CPUtime=941.9 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 240409 0 0 0 93977 213 0 0 25 0 1 0 290284675 981241856 238826 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 239561 238826 312 324 0 238630 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 958244 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=803944/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1002256 CPUtime=1001.89 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 251389 0 0 0 99966 223 0 0 25 0 1 0 290284675 1026310144 249806 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 250564 249806 312 324 0 249633 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 1002256 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=765032/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1041184 CPUtime=1061.87 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 261131 0 0 0 105955 232 0 0 25 0 1 0 290284675 1066172416 259548 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 260296 259548 312 324 0 259365 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 1041184 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=726184/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1079648 CPUtime=1121.85 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 270745 0 0 0 111944 241 0 0 25 0 1 0 290284675 1105559552 269162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 269912 269162 312 324 0 268981 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 1079648 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=691624/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1114480 CPUtime=1181.83 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 279445 0 0 0 117935 248 0 0 25 0 1 0 290284675 1141227520 277862 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 278620 277862 312 324 0 277689 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1114480 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=642600/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1163260 CPUtime=1241.82 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 291644 0 0 0 123924 258 0 0 25 0 1 0 290284675 1191178240 290061 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 290815 290061 312 324 0 289884 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1163260 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=617512/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1187916 CPUtime=1301.8 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 297824 0 0 0 129915 265 0 0 25 0 1 0 290284675 1216425984 296241 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 296979 296241 312 324 0 296048 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 1187916 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=590696/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1214896 CPUtime=1361.78 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 304551 0 0 0 135905 273 0 0 25 0 1 0 290284675 1244053504 302968 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 303724 302968 312 324 0 302793 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1214896 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=558184/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1247348 CPUtime=1421.76 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 312666 0 0 0 141895 281 0 0 25 0 1 0 290284675 1277284352 311083 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 311837 311083 312 324 0 310906 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1247348 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=531112/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1274656 CPUtime=1481.74 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 319511 0 0 0 147884 290 0 0 25 0 1 0 290284675 1305247744 317928 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 318664 317928 312 324 0 317733 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1274656 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=494632/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1310588 CPUtime=1541.73 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 328495 0 0 0 153875 298 0 0 25 0 1 0 290284675 1342042112 326912 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 327647 326912 312 324 0 326716 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1310588 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=463272/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1342244 CPUtime=1601.71 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 336411 0 0 0 159866 305 0 0 25 0 1 0 290284675 1374457856 334828 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 335561 334828 312 324 0 334630 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1342244 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=426024/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1379048 CPUtime=1661.69 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 345599 0 0 0 165856 313 0 0 25 0 1 0 290284675 1412145152 344016 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 344762 344016 312 324 0 343831 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 1379048 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=404136/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1401024 CPUtime=1721.67 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 351104 0 0 0 171848 319 0 0 25 0 1 0 290284675 1434648576 349521 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 350256 349521 312 324 0 349325 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 1401024 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=380840/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=1424060 CPUtime=1781.66 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194304 356870 0 0 0 177840 326 0 0 25 0 1 0 290284675 1458237440 355287 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 356015 355287 312 324 0 355084 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1424060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=722408/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=0 CPUtime=1800.06 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194308 358704 0 0 0 179671 335 0 0 25 0 1 0 290284675 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 0 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: 1.00 0.99 0.96 2/78 22170 /proc/meminfo: memFree=722408/2055924 swapFree=4146580/4192956 [pid=21971] ppid=21969 vsize=0 CPUtime=1800.16 /proc/21971/stat : 21971 (bsolo3.0.16) R 21969 21971 20935 0 -1 4194308 358704 0 0 0 179671 345 0 0 25 0 1 0 290284675 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21971/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.23 CPU user time (s): 1796.71 CPU system time (s): 3.52146 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 1431420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.71 system time used= 3.52146 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 358704 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= 36250 runsolver used 1.34279 second user time and 4.03439 second system time The end
Begin job on node6 on Wed May 2 21:47:50 UTC 2007 IDJOB= 453525 IDBENCH= 48136 IDSOLVER= 163 FILE ID= node6/453525-1178142470 PBS_JOBID= 4751071 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453525-1178142470/instance-453525-1178142470.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-453525-1178142470 -o ROOT/results/node6/solver-453525-1178142470 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453525-1178142470/instance-453525-1178142470.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fd4b450948caa11c29cf407b64203711 RANDOM SEED= 409066615 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1804680 kB Buffers: 81848 kB Cached: 81360 kB SwapCached: 14272 kB Active: 94692 kB Inactive: 92488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1804680 kB SwapTotal: 4192956 kB SwapFree: 4146580 kB Dirty: 7248 kB Writeback: 0 kB Mapped: 30280 kB Slab: 49600 kB Committed_AS: 12384628 kB PageTables: 1788 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= 66558 MiB End job on node6 on Wed May 2 22:17:53 UTC 2007