Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.72 | ? | 1799.59 | 1800.01 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
MD5SUM | 866c660dea8282137b8c78839dd4c03f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4517 |
Best CPU time to get the best result obtained on this benchmark | 0.174972 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4517 |
Optimality of the best value was proved | YES |
Number of variables | 651 |
Total number of constraints | 1658 |
Number of constraints which are clauses | 1656 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 651 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 28138 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 28138 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727368-1338655135.opb. 0.00/0.00 c Instance file HOME/instance-3727368-1338655135.opb 0.00/0.00 c File size is 71286 bytes. 0.00/0.00 c Cost Offset: 0 0.00/0.00 c Highest Coefficient sum: 43 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 651 | 0.00/0.00 c | Number Clauses: 1658 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c | | 0.00/0.00 c | Problem Type: Optimization | 0.00/0.00 c | Objective Function: PB Constraint | 0.00/0.00 c | | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Time (s) | ID | Bound | Shared Clauses | 0.00/0.00 c | | | value type | expCls impCls Lit/impCl | 0.00/0.00 c =============================================================================== 0.00/0.01 c | 0.01 | 0 | 552 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 568 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 580 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 614 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 648 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 664 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 690 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 698 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 732 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 764 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 791 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 796 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 812 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 846 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 880 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 888 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 895 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 929 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 937 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 956 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 988 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 1007 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 1016 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1058 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1076 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1118 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1126 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1127 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1145 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1154 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1170 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1212 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1254 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1296 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1321 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1331 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1347 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1389 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1406 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1439 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1473 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1499 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1533 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1575 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1617 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1640 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1682 lb | 0 0 0.00 | 0.04/0.05 c | 0.05 | 0 | 1724 lb | 0 0 0.00 | 0.04/0.05 c | 0.05 | 0 | 1732 lb | 0 0 0.00 | 0.04/0.05 c | 0.05 | 0 | 1733 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1764 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1781 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1805 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1831 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1856 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1881 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1923 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1957 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1974 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 2016 lb | 0 0 0.00 | 0.04/0.06 c | 0.07 | 0 | 2024 lb | 0 0 0.00 | 0.04/0.06 c | 0.07 | 0 | 2025 lb | 0 0 0.00 | 0.04/0.06 c | 0.07 | 0 | 2059 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 2101 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 2109 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 2110 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 2118 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 2136 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 2153 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 2169 lb | 0 0 0.00 | 0.04/0.07 c | 0.08 | 0 | 2197 lb | 0 0 0.00 | 0.04/0.07 c | 0.08 | 0 | 2239 lb | 0 0 0.00 | 0.04/0.07 c | 0.08 | 0 | 2281 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 2297 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 2339 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 2349 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 2372 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 2388 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 2404 lb | 0 0 0.00 | 0.04/0.08 c | 0.09 | 0 | 2438 lb | 0 0 0.00 | 0.04/0.08 c | 0.09 | 0 | 2446 lb | 0 0 0.00 | 0.04/0.08 c | 0.09 | 0 | 2480 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 2504 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 2531 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 2534 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 2557 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 2589 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 2591 lb | 0 0 0.00 | 0.04/0.09 c | 0.10 | 0 | 2604 lb | 0 0 0.00 | 0.04/0.09 c | 0.10 | 0 | 2636 lb | 0 0 0.00 | 0.04/0.09 c | 0.10 | 0 | 2655 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2664 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2672 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2714 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2724 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2750 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2756 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2775 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2783 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2817 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2843 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2859 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2884 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2892 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2910 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2933 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2961 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2990 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 3009 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 3051 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 3054 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 3061 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 3095 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 3123 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 3131 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 3132 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 3150 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 3165 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 3199 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 3231 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 3240 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 3243 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 3246 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 3262 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 3271 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 3287 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 3297 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 3300 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 3304 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 3312 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 3320 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 3329 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 3347 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 3355 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 3357 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 3359 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 3360 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 3362 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 3368 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 3378 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 3385 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 3386 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 3392 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 3396 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 3397 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 3399 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 3400 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 3404 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 3428 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 3432 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 3441 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 3446 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 3450 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 3453 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 3457 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 3464 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3468 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3470 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3472 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3473 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3489 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3491 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 3499 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 3540 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3541 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3582 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3583 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3587 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3607 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 3608 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 3617 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3621 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3622 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3631 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3639 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3640 lb | 0 0 0.00 | 0.19/0.20 c | 0.21 | 0 | 3649 lb | 0 0 0.00 | 0.19/0.20 c | 0.21 | 0 | 3652 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3673 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3677 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3695 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3704 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3708 lb | 0 0 0.00 | 0.19/0.21 c | 0.22 | 0 | 3719 lb | 0 0 0.00 | 0.19/0.21 c | 0.22 | 0 | 3726 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3733 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3742 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3749 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3764 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3767 lb | 0 0 0.00 | 0.19/0.22 c | 0.23 | 0 | 3771 lb | 0 0 0.00 | 0.19/0.22 c | 0.23 | 0 | 3787 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3788 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3793 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3795 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3796 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3799 lb | 0 0 0.00 | 0.19/0.23 c | 0.24 | 0 | 3800 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3806 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3813 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3819 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3820 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3821 lb | 0 0 0.00 | 0.19/0.24 c | 0.25 | 0 | 3829 lb | 0 0 0.00 | 0.19/0.24 c | 0.25 | 0 | 3830 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3846 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3854 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3855 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3856 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 3860 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 3874 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3876 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3877 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3890 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3892 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 3893 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 3899 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3905 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3909 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3916 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3927 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 3928 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 3932 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3949 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3956 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3962 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3967 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3976 lb | 0 0 0.00 | 0.19/0.28 c | 0.29 | 0 | 3978 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3981 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3986 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3987 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3988 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3994 lb | 0 0 0.00 | 0.19/0.29 c | 0.30 | 0 | 3995 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 3996 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 3997 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 3999 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 4002 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 4005 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 4011 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 4012 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 4013 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 4019 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 4020 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 4021 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 4023 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 4025 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 4026 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 4028 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 4029 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 4030 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 4031 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 4032 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 4040 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 4041 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 4042 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 4052 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 4053 lb | 0 0 0.00 | 0.29/0.34 c | 0.35 | 0 | 4056 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 4059 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 4062 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 4063 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 4064 lb | 0 0 0.00 | 0.29/0.35 c | 0.36 | 0 | 4065 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 4066 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 4073 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 4074 lb | 0 0 0.00 | 0.29/0.36 c | 0.37 | 0 | 4075 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 4082 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 4090 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 4099 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | 4102 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 4103 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 4106 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 4108 lb | 0 0 0.00 | 0.29/0.38 c | 0.39 | 0 | 4117 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 4118 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 4119 lb | 0 0 0.00 | 0.29/0.39 c | 0.40 | 0 | 4120 lb | 0 0 0.00 | 0.38/0.40 c | 0.40 | 0 | 4121 lb | 0 0 0.00 | 0.38/0.40 c | 0.40 | 0 | 4122 lb | 0 0 0.00 | 0.38/0.40 c | 0.41 | 0 | 4124 lb | 0 0 0.00 | 0.38/0.40 c | 0.41 | 0 | 4131 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 4134 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 4135 lb | 0 0 0.00 | 0.38/0.41 c | 0.42 | 0 | 4137 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | 4138 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | 4139 lb | 0 0 0.00 | 0.38/0.42 c | 0.43 | 0 | 4140 lb | 0 0 0.00 | 0.38/0.43 c | 0.43 | 0 | 4141 lb | 0 0 0.00 | 0.38/0.43 c | 0.43 | 0 | 4142 lb | 0 0 0.00 | 0.38/0.43 c | 0.43 | 0 | 4143 lb | 0 0 0.00 | 0.38/0.44 c | 0.44 | 0 | 4144 lb | 0 0 0.00 | 0.38/0.44 c | 0.44 | 0 | 4145 lb | 0 0 0.00 | 0.38/0.44 c | 0.45 | 0 | 4149 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | 4151 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | 4153 lb | 0 0 0.00 | 0.38/0.45 c | 0.46 | 0 | 4158 lb | 0 0 0.00 | 0.38/0.46 c | 0.46 | 0 | 4160 lb | 0 0 0.00 | 0.38/0.46 c | 0.46 | 0 | 4161 lb | 0 0 0.00 | 0.38/0.46 c | 0.47 | 0 | 4162 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 4163 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 4166 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 4167 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 4169 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 4170 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 4171 lb | 0 0 0.00 | 0.38/0.49 c | 0.49 | 0 | 4172 lb | 0 0 0.00 | 0.38/0.49 c | 0.49 | 0 | 4173 lb | 0 0 0.00 | 0.38/0.49 c | 0.50 | 0 | 4175 lb | 0 0 0.00 | 0.49/0.50 c | 0.50 | 0 | 4177 lb | 0 0 0.00 | 0.49/0.50 c | 0.50 | 0 | 4178 lb | 0 0 0.00 | 0.49/0.50 c | 0.51 | 0 | 4179 lb | 0 0 0.00 | 0.49/0.51 c | 0.51 | 0 | 4180 lb | 0 0 0.00 | 0.49/0.51 c | 0.51 | 0 | 4181 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | 4182 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 4183 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 4184 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 4185 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 4186 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 4188 lb | 0 0 0.00 | 0.49/0.54 c | 0.54 | 0 | 4189 lb | 0 0 0.00 | 0.49/0.54 c | 0.55 | 0 | 4190 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 4191 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 4192 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | 4195 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 4196 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 4197 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 4198 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 4199 lb | 0 0 0.00 | 0.49/0.57 c | 0.58 | 0 | 4208 lb | 0 0 0.00 | 0.49/0.58 c | 0.58 | 0 | 4209 lb | 0 0 0.00 | 0.49/0.58 c | 0.59 | 0 | 4210 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 4211 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 4215 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 4217 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 4220 lb | 0 0 0.00 | 0.59/0.60 c | 0.61 | 0 | 4227 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 4228 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 4229 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | 4230 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | 4232 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | 4234 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | 4235 lb | 0 0 0.00 | 0.59/0.63 c | 0.64 | 0 | 4236 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | 4237 lb | 0 0 0.00 | 0.59/0.64 c | 0.65 | 0 | 4238 lb | 0 0 0.00 | 0.59/0.65 c | 0.65 | 0 | 4241 lb | 0 0 0.00 | 0.59/0.65 c | 0.66 | 0 | 4242 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 4243 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | 4246 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | 4247 lb | 0 0 0.00 | 0.59/0.67 c | 0.68 | 0 | 4248 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | 4249 lb | 0 0 0.00 | 0.59/0.68 c | 0.69 | 0 | 4250 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 4251 lb | 0 0 0.00 | 0.59/0.69 c | 0.70 | 0 | 4252 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | 4253 lb | 0 0 0.00 | 0.69/0.70 c | 0.71 | 0 | 4254 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 4257 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 4258 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 4260 lb | 0 0 0.00 | 0.69/0.72 c | 0.73 | 0 | 4265 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 4266 lb | 0 0 0.00 | 0.69/0.73 c | 0.74 | 0 | 4267 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | 4268 lb | 0 0 0.00 | 0.69/0.74 c | 0.75 | 0 | 4269 lb | 0 0 0.00 | 0.69/0.75 c | 0.75 | 0 | 4270 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | 4273 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | 4278 lb | 0 0 0.00 | 0.69/0.77 c | 0.77 | 0 | 4279 lb | 0 0 0.00 | 0.69/0.77 c | 0.77 | 0 | 4280 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 4281 lb | 0 0 0.00 | 0.69/0.78 c | 0.79 | 0 | 4288 lb | 0 0 0.00 | 0.69/0.79 c | 0.79 | 0 | 4289 lb | 0 0 0.00 | 0.79/0.80 c | 0.80 | 0 | 4290 lb | 0 0 0.00 | 0.79/0.80 c | 0.81 | 0 | 4291 lb | 0 0 0.00 | 0.79/0.81 c | 0.81 | 0 | 4292 lb | 0 0 0.00 | 0.79/0.81 c | 0.82 | 0 | 4293 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | 4296 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | 4297 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | 4298 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | 4299 lb | 0 0 0.00 | 0.79/0.85 c | 0.85 | 0 | 4300 lb | 0 0 0.00 | 0.79/0.85 c | 0.85 | 0 | 4301 lb | 0 0 0.00 | 0.79/0.86 c | 0.86 | 0 | 4302 lb | 0 0 0.00 | 0.79/0.87 c | 0.87 | 0 | 4303 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | 4304 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | 4305 lb | 0 0 0.00 | 0.79/0.88 c | 0.89 | 0 | 4307 lb | 0 0 0.00 | 0.79/0.89 c | 0.89 | 0 | 4308 lb | 0 0 0.00 | 0.89/0.90 c | 0.90 | 0 | 4309 lb | 0 0 0.00 | 0.89/0.91 c | 0.91 | 0 | 4310 lb | 0 0 0.00 | 0.89/0.91 c | 0.92 | 0 | 4311 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | 4312 lb | 0 0 0.00 | 0.89/0.93 c | 0.93 | 0 | 4313 lb | 0 0 0.00 | 0.89/0.93 c | 0.94 | 0 | 4314 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | 4315 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | 4316 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | 4317 lb | 0 0 0.00 | 0.89/0.96 c | 0.96 | 0 | 4318 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 4319 lb | 0 0 0.00 | 0.89/0.97 c | 0.98 | 0 | 4320 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | 4321 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 4322 lb | 0 0 0.00 | 0.99/1.00 c | 1.00 | 0 | 4323 lb | 0 0 0.00 | 0.99/1.01 c | 1.01 | 0 | 4324 lb | 0 0 0.00 | 0.99/1.02 c | 1.02 | 0 | 4325 lb | 0 0 0.00 | 0.99/1.02 c | 1.03 | 0 | 4326 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | 4327 lb | 0 0 0.00 | 0.99/1.04 c | 1.04 | 0 | 4328 lb | 0 0 0.00 | 0.99/1.05 c | 1.05 | 0 | 4329 lb | 0 0 0.00 | 0.99/1.06 c | 1.06 | 0 | 4330 lb | 0 0 0.00 | 0.99/1.07 c | 1.07 | 0 | 4331 lb | 0 0 0.00 | 0.99/1.07 c | 1.08 | 0 | 4332 lb | 0 0 0.00 | 0.99/1.08 c | 1.09 | 0 | 4333 lb | 0 0 0.00 | 0.99/1.09 c | 1.09 | 0 | 4334 lb | 0 0 0.00 | 0.99/1.10 c | 1.10 | 0 | 4335 lb | 0 0 0.00 | 1.09/1.11 c | 1.11 | 0 | 4336 lb | 0 0 0.00 | 1.09/1.12 c | 1.12 | 0 | 4337 lb | 0 0 0.00 | 1.09/1.13 c | 1.13 | 0 | 4338 lb | 0 0 0.00 | 1.09/1.14 c | 1.14 | 0 | 4339 lb | 0 0 0.00 | 1.09/1.15 c | 1.15 | 0 | 4340 lb | 0 0 0.00 | 1.09/1.16 c | 1.16 | 0 | 4341 lb | 0 0 0.00 | 1.09/1.17 c | 1.17 | 0 | 4342 lb | 0 0 0.00 | 1.09/1.18 c | 1.19 | 0 | 4343 lb | 0 0 0.00 | 1.09/1.19 c | 1.20 | 0 | 4344 lb | 0 0 0.00 | 1.18/1.20 c | 1.21 | 0 | 4345 lb | 0 0 0.00 | 1.18/1.21 c | 1.22 | 0 | 4346 lb | 0 0 0.00 | 1.18/1.23 c | 1.23 | 0 | 4347 lb | 0 0 0.00 | 1.18/1.24 c | 1.25 | 0 | 4348 lb | 0 0 0.00 | 1.18/1.25 c | 1.26 | 0 | 4349 lb | 0 0 0.00 | 1.18/1.27 c | 1.27 | 0 | 4350 lb | 0 0 0.00 | 1.18/1.28 c | 1.28 | 0 | 4351 lb | 0 0 0.00 | 1.18/1.29 c | 1.29 | 0 | 4352 lb | 0 0 0.00 | 1.28/1.31 c | 1.31 | 0 | 4353 lb | 0 0 0.00 | 1.28/1.32 c | 1.32 | 0 | 4354 lb | 0 0 0.00 | 1.28/1.33 c | 1.34 | 0 | 4355 lb | 0 0 0.00 | 1.28/1.35 c | 1.35 | 0 | 4356 lb | 0 0 0.00 | 1.28/1.37 c | 1.37 | 0 | 4357 lb | 0 0 0.00 | 1.28/1.39 c | 1.39 | 0 | 4358 lb | 0 0 0.00 | 1.38/1.40 c | 1.41 | 0 | 4359 lb | 0 0 0.00 | 1.38/1.43 c | 1.44 | 0 | 4360 lb | 0 0 0.00 | 1.38/1.47 c | 1.47 | 0 | 4361 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | 4362 lb | 0 0 0.00 | 1.48/1.53 c | 1.54 | 0 | 4363 lb | 0 0 0.00 | 1.48/1.55 c | 1.56 | 0 | 4364 lb | 0 0 0.00 | 1.48/1.57 c | 1.57 | 0 | 4365 lb | 0 0 0.00 | 1.59/1.60 c | 1.60 | 0 | 4366 lb | 0 0 0.00 | 1.59/1.62 c | 1.62 | 0 | 4367 lb | 0 0 0.00 | 1.59/1.66 c | 1.66 | 0 | 4368 lb | 0 0 0.00 | 1.69/1.73 c | 1.73 | 0 | 4369 lb | 0 0 0.00 | 1.69/1.78 c | 1.79 | 0 | 4370 lb | 0 0 0.00 | 1.79/1.82 c | 1.82 | 0 | 4371 lb | 0 0 0.00 | 1.79/1.85 c | 1.85 | 0 | 4372 lb | 0 0 0.00 | 1.89/1.95 c | 1.96 | 0 | 4373 lb | 0 0 0.00 | 2.09/2.13 c | 2.13 | 0 | 4374 lb | 0 0 0.00 | 2.99/3.05 c | 3.05 | 0 | 4375 lb | 0 0 0.00 | 3.09/3.18 c | 3.18 | 0 | 4376 lb | 0 0 0.00 | 4.39/4.42 c | 4.42 | 0 | 4377 lb | 0 0 0.00 | 33.58/33.62 c | 33.62 | 0 | 4378 lb | 0 0 0.00 | 153.26/153.32 c | 153.32 | 0 | 4379 lb | 0 0 0.00 | 383.70/383.86 c | 383.86 | 0 | 4380 lb | 0 0 0.00 | 1799.59/1800.00 c =============================================================================== 1799.59/1800.00 c Wall Clock Time: 1800.00 s 1799.59/1800.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727368-1338655135/watcher-3727368-1338655135 -o /tmp/evaluation-result-3727368-1338655135/solver-3727368-1338655135 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727368-1338655135.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 1.95 3/176 1720 /proc/meminfo: memFree=23221276/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=3212 CPUtime=0 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) R 1718 1720 31928 0 -1 4202496 311 0 0 0 0 0 0 0 20 0 1 0 331637861 3289088 264 33554432000 4194304 5964350 140737232409920 140736471725656 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 803 264 168 433 0 349 0 [startup+0.053498 s] /proc/loadavg: 2.07 2.02 1.95 3/176 1720 /proc/meminfo: memFree=23221276/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=83860 CPUtime=0.04 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 1074 0 0 0 4 0 0 0 20 0 2 0 331637861 85872640 1009 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 20965 1009 192 433 0 20529 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 83860 [startup+0.100161 s] /proc/loadavg: 2.07 2.02 1.95 3/176 1720 /proc/meminfo: memFree=23221276/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=83860 CPUtime=0.09 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 1163 0 0 0 9 0 0 0 20 0 2 0 331637861 85872640 1089 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 20965 1089 192 433 0 20529 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83860 [startup+0.300114 s] /proc/loadavg: 2.07 2.02 1.95 3/176 1720 /proc/meminfo: memFree=23221276/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=83860 CPUtime=0.29 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 1631 0 0 0 29 0 0 0 20 0 2 0 331637861 85872640 1441 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 20965 1441 192 433 0 20529 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83860 [startup+0.700128 s] /proc/loadavg: 2.07 2.02 1.95 3/176 1720 /proc/meminfo: memFree=23221276/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=83860 CPUtime=0.69 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 3656 0 0 0 68 1 0 0 20 0 2 0 331637861 85872640 2550 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 20965 2550 196 433 0 20529 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83860 [startup+1.50034 s] /proc/loadavg: 2.07 2.02 1.95 3/178 1722 /proc/meminfo: memFree=23208488/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=83860 CPUtime=1.48 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 8254 0 0 0 147 1 0 0 20 0 2 0 331637861 85872640 4207 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 20965 4207 197 433 0 20529 0 [pid=1720/tid=1722] ppid=1718 vsize=83860 CPUtime=1.47 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 7464 0 0 0 145 2 0 0 20 0 2 0 331637862 85872640 4207 33554432000 4194304 5964350 140737232409920 140260919064920 4403448 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 83860 [startup+3.10027 s] /proc/loadavg: 2.07 2.02 1.95 3/179 1723 /proc/meminfo: memFree=23198180/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=83860 CPUtime=3.09 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 11075 0 0 0 307 2 0 0 20 0 2 0 331637861 85872640 5698 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 20965 5698 197 433 0 20529 0 [pid=1720/tid=1722] ppid=1718 vsize=83860 CPUtime=3.06 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 10285 0 0 0 304 2 0 0 20 0 2 0 331637862 85872640 5698 33554432000 4194304 5964350 140737232409920 140260919064904 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 83860 [startup+6.30026 s] /proc/loadavg: 2.07 2.02 1.95 3/179 1723 /proc/meminfo: memFree=23186160/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=85788 CPUtime=6.28 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 11778 0 0 0 626 2 0 0 20 0 2 0 331637861 87846912 6088 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 21447 6088 197 433 0 21011 0 [pid=1720/tid=1722] ppid=1718 vsize=85788 CPUtime=6.26 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 10988 0 0 0 624 2 0 0 20 0 2 0 331637862 87846912 6088 33554432000 4194304 5964350 140737232409920 140260919065416 4389084 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 85788 [startup+12.7003 s] /proc/loadavg: 2.06 2.02 1.95 3/179 1723 /proc/meminfo: memFree=23163484/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=85788 CPUtime=12.69 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 13043 0 0 0 1266 3 0 0 20 0 2 0 331637861 87846912 7353 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 21447 7353 197 433 0 21011 0 [pid=1720/tid=1722] ppid=1718 vsize=85788 CPUtime=12.64 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 12253 0 0 0 1261 3 0 0 20 0 2 0 331637862 87846912 7353 33554432000 4194304 5964350 140737232409920 140260919064568 4403263 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85788 [startup+25.5003 s] /proc/loadavg: 2.05 2.01 1.95 3/179 1723 /proc/meminfo: memFree=23099260/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=85788 CPUtime=25.48 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 17888 0 0 0 2544 4 0 0 20 0 2 0 331637861 87846912 12198 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 21447 12198 197 433 0 21011 0 [pid=1720/tid=1722] ppid=1718 vsize=85788 CPUtime=25.41 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 17098 0 0 0 2537 4 0 0 20 0 2 0 331637862 87846912 12198 33554432000 4194304 5964350 140737232409920 140260919064568 4400439 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85788 [startup+51.1003 s] /proc/loadavg: 2.09 2.03 1.95 3/179 1723 /proc/meminfo: memFree=23003856/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=84824 CPUtime=51.07 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 21378 0 0 0 5102 5 0 0 20 0 2 0 331637861 86859776 15136 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 21206 15136 197 433 0 20770 0 [pid=1720/tid=1722] ppid=1718 vsize=84824 CPUtime=50.94 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 20588 0 0 0 5089 5 0 0 20 0 2 0 331637862 86859776 15136 33554432000 4194304 5964350 140737232409920 140260919065528 4400439 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 84824 [startup+102.307 s] /proc/loadavg: 2.04 2.02 1.95 3/180 1726 /proc/meminfo: memFree=22855960/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=150360 CPUtime=102.28 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 23984 0 0 0 10221 7 0 0 20 0 2 0 331637861 153968640 17742 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 37590 17742 197 433 0 37154 0 [pid=1720/tid=1722] ppid=1718 vsize=150360 CPUtime=102.01 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 23194 0 0 0 10194 7 0 0 20 0 2 0 331637862 153968640 17742 33554432000 4194304 5964350 140737232409920 140260919064568 4392732 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 150360 [startup+162.3 s] /proc/loadavg: 2.01 2.02 1.95 3/178 1726 /proc/meminfo: memFree=23649148/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=149396 CPUtime=162.26 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 32658 0 0 0 16217 9 0 0 20 0 2 0 331637861 152981504 26230 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 37349 26230 197 433 0 36913 0 [pid=1720/tid=1722] ppid=1718 vsize=149396 CPUtime=161.85 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 31868 0 0 0 16174 11 0 0 20 0 2 0 331637862 152981504 26230 33554432000 4194304 5964350 140737232409920 140260919065528 4389080 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 149396 [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.95 3/179 1765 /proc/meminfo: memFree=28322716/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=149396 CPUtime=222.22 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 32705 0 0 0 22213 9 0 0 20 0 2 0 331637861 152981504 26349 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 37349 26349 197 433 0 36913 0 [pid=1720/tid=1722] ppid=1718 vsize=149396 CPUtime=221.67 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 31915 0 0 0 22155 12 0 0 20 0 2 0 331637862 152981504 26349 33554432000 4194304 5964350 140737232409920 140260919065528 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 149396 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.95 3/179 1765 /proc/meminfo: memFree=28202180/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=149396 CPUtime=282.21 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 35279 0 0 0 28210 11 0 0 20 0 2 0 331637861 152981504 29613 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 37349 29613 197 433 0 36913 0 [pid=1720/tid=1722] ppid=1718 vsize=149396 CPUtime=281.51 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 34489 0 0 0 28136 15 0 0 20 0 2 0 331637862 152981504 29613 33554432000 4194304 5964350 140737232409920 140260919064376 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 149396 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 1766 /proc/meminfo: memFree=28185716/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=149396 CPUtime=342.2 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 39332 0 0 0 34208 12 0 0 20 0 2 0 331637861 152981504 33665 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 37349 33665 197 433 0 36913 0 [pid=1720/tid=1722] ppid=1718 vsize=149396 CPUtime=341.35 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 38543 0 0 0 34118 17 0 0 20 0 2 0 331637862 152981504 33666 33554432000 4194304 5964350 140737232409920 140260919064376 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 149396 [startup+402.3 s] /proc/loadavg: 2.04 2.01 1.96 3/179 1766 /proc/meminfo: memFree=28145424/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=214932 CPUtime=402.18 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 43713 0 0 0 40204 14 0 0 20 0 2 0 331637861 220090368 38155 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 53733 38155 197 433 0 53297 0 [pid=1720/tid=1722] ppid=1718 vsize=214932 CPUtime=401.19 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 42923 0 0 0 40099 20 0 0 20 0 2 0 331637862 220090368 38155 33554432000 4194304 5964350 140737232409920 140260919064920 4403495 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 214932 [startup+462.3 s] /proc/loadavg: 2.01 2.01 1.96 3/179 1766 /proc/meminfo: memFree=28032868/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=214932 CPUtime=462.16 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/179 1801 /proc/meminfo: memFree=27297500/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=413164 CPUtime=1421.96 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 100076 0 0 0 142143 53 0 0 20 0 2 0 331637861 423079936 95038 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 103291 95038 197 433 0 102855 0 [pid=1720/tid=1722] ppid=1718 vsize=413164 CPUtime=1418.48 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 99286 0 0 0 141775 73 0 0 20 0 2 0 331637862 423079936 95038 33554432000 4194304 5964350 140737232409920 140260919064568 4409149 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 413164 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 1801 /proc/meminfo: memFree=27187424/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=413164 CPUtime=1481.93 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 102109 0 0 0 148139 54 0 0 20 0 2 0 331637861 423079936 97071 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 103291 97071 197 433 0 102855 0 [pid=1720/tid=1722] ppid=1718 vsize=413164 CPUtime=1478.32 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 101319 0 0 0 147756 76 0 0 20 0 2 0 331637862 423079936 97071 33554432000 4194304 5964350 140737232409920 140260919064376 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 413164 [startup+1542.3 s] /proc/loadavg: 2.06 2.02 1.97 3/179 1802 /proc/meminfo: memFree=27087384/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1541.93 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 111108 0 0 0 154133 60 0 0 20 0 2 0 331637861 490188800 106069 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 106069 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1538.16 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 110318 0 0 0 153734 82 0 0 20 0 2 0 331637862 490188800 106069 33554432000 4194304 5964350 140737232409920 140260919064568 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 478700 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 1.97 3/179 1802 /proc/meminfo: memFree=27073428/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1601.92 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 114501 0 0 0 160129 63 0 0 20 0 2 0 331637861 490188800 109462 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 109462 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1598.01 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 113711 0 0 0 159714 87 0 0 20 0 2 0 331637862 490188800 109462 33554432000 4194304 5964350 140737232409920 140260919064376 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 478700 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27072924/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1661.91 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 114571 0 0 0 166128 63 0 0 20 0 2 0 331637861 490188800 109532 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 109532 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1657.85 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 113781 0 0 0 165697 88 0 0 20 0 2 0 331637862 490188800 109532 33554432000 4194304 5964350 140737232409920 140260919064376 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 478700 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27055624/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1721.9 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 116265 0 0 0 172125 65 0 0 20 0 2 0 331637861 490188800 111226 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 111226 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1717.7 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 115475 0 0 0 171679 91 0 0 20 0 2 0 331637862 490188800 111226 33554432000 4194304 5964350 140737232409920 140260919064376 4389020 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 478700 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27054384/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1781.9 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 116500 0 0 0 178124 66 0 0 20 0 2 0 331637861 490188800 111461 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 111461 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1777.54 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 115710 0 0 0 177662 92 0 0 20 0 2 0 331637862 490188800 111461 33554432000 4194304 5964350 140737232409920 140260919064376 4399998 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 478700 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27046944/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1791.5 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 118447 0 0 0 179083 67 0 0 20 0 2 0 331637861 490188800 113408 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 113408 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1787.13 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 117657 0 0 0 178619 94 0 0 20 0 2 0 331637862 490188800 113408 33554432000 4194304 5964350 140737232409920 140260919064568 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (KiB) 478700 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27043596/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1794.7 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 119181 0 0 0 179403 67 0 0 20 0 2 0 331637861 490188800 114142 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 114142 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1790.32 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 118392 0 0 0 178938 94 0 0 20 0 2 0 331637862 490188800 114143 33554432000 4194304 5964350 140737232409920 140260919064616 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (KiB) 478700 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27041860/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1797.89 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 119822 0 0 0 179721 68 0 0 20 0 2 0 331637861 490188800 114783 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 114783 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1793.5 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 119032 0 0 0 179256 94 0 0 20 0 2 0 331637862 490188800 114783 33554432000 4194304 5964350 140737232409920 140260919064568 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 478700 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27041116/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1798.69 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 119978 0 0 0 179801 68 0 0 20 0 2 0 331637861 490188800 114939 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 114939 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1794.3 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 119188 0 0 0 179335 95 0 0 20 0 2 0 331637862 490188800 114939 33554432000 4194304 5964350 140737232409920 140260919064568 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (KiB) 478700 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27040000/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1799.1 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 120064 0 0 0 179842 68 0 0 20 0 2 0 331637861 490188800 115025 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 115025 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1794.71 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 119274 0 0 0 179376 95 0 0 20 0 2 0 331637862 490188800 115025 33554432000 4194304 5964350 140737232409920 140260919064568 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.1 Current children cumulated vsize (KiB) 478700 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27040000/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1799.49 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 120134 0 0 0 179881 68 0 0 20 0 2 0 331637861 490188800 115095 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 115095 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1795.1 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 119344 0 0 0 179415 95 0 0 20 0 2 0 331637862 490188800 115095 33554432000 4194304 5964350 140737232409920 140260919064568 4392838 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (KiB) 478700 [startup+1800 s] /proc/loadavg: 2.00 2.00 1.97 3/179 1802 /proc/meminfo: memFree=27040000/32873844 swapFree=7632/7632 [pid=1720] ppid=1718 vsize=478700 CPUtime=1799.59 cores=1,3,5,7 /proc/1720/stat : 1720 (wbo1.72) S 1718 1720 31928 0 -1 4202496 120156 0 0 0 179891 68 0 0 20 0 2 0 331637861 490188800 115117 33554432000 4194304 5964350 140737232409920 140737232409440 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/1720/statm: 119675 115117 197 433 0 119239 0 [pid=1720/tid=1722] ppid=1718 vsize=478700 CPUtime=1795.2 cores=1,3,5,7 /proc/1720/task/1722/stat : 1722 (wbo1.72) R 1718 1720 31928 0 -1 4202560 119366 0 0 0 179425 95 0 0 20 0 2 0 331637862 490188800 115117 33554432000 4194304 5964350 140737232409920 140260919064568 4389084 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 478700 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1720 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=262230 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=971852 # CPU time returned by wait4() is 1795.23 # while last known CPU time is 1799.59 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.01 CPU time (s): 1799.59 CPU user time (s): 1798.91 CPU system time (s): 0.68 CPU usage (%): 99.9764 Max. virtual memory (cumulated for all children) (KiB): 478700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.26 system time used= 0.971852 maximum resident set size= 460480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120159 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= 155 involuntary context switches= 2499 runsolver used 3.15052 second user time and 8.92164 second system time The end
Begin job on node141 at 2012-06-02 18:38:55 IDJOB=3727368 IDBENCH=2017 IDSOLVER=2313 FILE ID=node141/3727368-1338655135 RUNJOBID= node141-1338651369-932 PBS_JOBID= 14636439 Free space on /tmp= 70720 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727368-1338655135/watcher-3727368-1338655135 -o /tmp/evaluation-result-3727368-1338655135/solver-3727368-1338655135 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727368-1338655135.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f RANDOM SEED=2050183943 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 23221532 kB Buffers: 377312 kB Cached: 3090952 kB SwapCached: 216 kB Active: 6472168 kB Inactive: 2285976 kB Active(anon): 5280592 kB Inactive(anon): 11300 kB Active(file): 1191576 kB Inactive(file): 2274676 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108640 kB Dirty: 5448 kB Writeback: 0 kB AnonPages: 5366048 kB Mapped: 11392 kB Shmem: 172 kB Slab: 737968 kB SReclaimable: 180428 kB SUnreclaim: 557540 kB KernelStack: 1480 kB PageTables: 14292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 194280 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1988608 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70732 MiB End job on node141 at 2012-06-02 19:08:55