Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.7 | ? | 1799.9 | 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705067-1338091170.opb. 0.00/0.00 c Instance file HOME/instance-3705067-1338091170.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.00 c | 0.01 | 0 | 552 lb | 0 0 0.00 | 0.00/0.00 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.01 | 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.01 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.02 | 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.02 c | 0.03 | 0 | 1058 lb | 0 0 0.00 | 0.00/0.02 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.03 | 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.03 c | 0.04 | 0 | 1296 lb | 0 0 0.00 | 0.00/0.03 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.04/0.04 c | 0.04 | 0 | 1439 lb | 0 0 0.00 | 0.04/0.04 c | 0.04 | 0 | 1473 lb | 0 0 0.00 | 0.04/0.04 c | 0.04 | 0 | 1499 lb | 0 0 0.00 | 0.04/0.04 c | 0.05 | 0 | 1533 lb | 0 0 0.00 | 0.04/0.04 c | 0.05 | 0 | 1575 lb | 0 0 0.00 | 0.04/0.04 c | 0.05 | 0 | 1617 lb | 0 0 0.00 | 0.04/0.05 c | 0.05 | 0 | 1640 lb | 0 0 0.00 | 0.04/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.05 | 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.05 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.06 | 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.06 c | 0.07 | 0 | 2101 lb | 0 0 0.00 | 0.04/0.06 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.07 | 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.07 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.08 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.04/0.09 c | 0.10 | 0 | 2664 lb | 0 0 0.00 | 0.04/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.10 | 0 | 2775 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2783 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2817 lb | 0 0 0.00 | 0.09/0.10 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.11 | 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.11 c | 0.12 | 0 | 3009 lb | 0 0 0.00 | 0.09/0.11 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.12 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.13 | 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.13 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.14 | 0 | 3329 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 3347 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 3355 lb | 0 0 0.00 | 0.09/0.14 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.15 | 0 | 3378 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 3385 lb | 0 0 0.00 | 0.09/0.15 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.16 | 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.16 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.17 | 0 | 3457 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 3464 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 3468 lb | 0 0 0.00 | 0.09/0.17 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.18 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.09/0.19 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.20 | 0 | 3649 lb | 0 0 0.00 | 0.19/0.20 c | 0.21 | 0 | 3652 lb | 0 0 0.00 | 0.19/0.20 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.21 | 0 | 3719 lb | 0 0 0.00 | 0.19/0.21 c | 0.22 | 0 | 3726 lb | 0 0 0.00 | 0.19/0.21 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.22 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.23 c | 0.24 | 0 | 3806 lb | 0 0 0.00 | 0.19/0.23 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.24 | 0 | 3829 lb | 0 0 0.00 | 0.19/0.24 c | 0.25 | 0 | 3830 lb | 0 0 0.00 | 0.19/0.24 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.25 | 0 | 3860 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 3874 lb | 0 0 0.00 | 0.19/0.25 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.26 | 0 | 3893 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 3899 lb | 0 0 0.00 | 0.19/0.26 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.27 | 0 | 3928 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 3932 lb | 0 0 0.00 | 0.19/0.27 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.28 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.19/0.29 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.30 | 0 | 4005 lb | 0 0 0.00 | 0.29/0.30 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.31 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.32 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.34 | 0 | 4056 lb | 0 0 0.00 | 0.29/0.34 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.35 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.36 | 0 | 4075 lb | 0 0 0.00 | 0.29/0.36 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.37 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.29/0.39 c | 0.40 | 0 | 4121 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 4122 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 4124 lb | 0 0 0.00 | 0.39/0.40 c | 0.41 | 0 | 4131 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 4134 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 4135 lb | 0 0 0.00 | 0.39/0.41 c | 0.42 | 0 | 4137 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 4138 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 4139 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 4140 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 4141 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | 4142 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | 4143 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 4144 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | 4145 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | 4149 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 4151 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | 4153 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | 4158 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | 4160 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | 4161 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | 4162 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 4163 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 4166 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 4167 lb | 0 0 0.00 | 0.39/0.47 c | 0.48 | 0 | 4169 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 4170 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 4171 lb | 0 0 0.00 | 0.39/0.48 c | 0.49 | 0 | 4172 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 4173 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 4175 lb | 0 0 0.00 | 0.39/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.52 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.54 | 0 | 4190 lb | 0 0 0.00 | 0.49/0.54 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.56 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.58 | 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.49/0.59 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.61 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.62 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.67 | 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.69 | 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.70 | 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.72 | 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.73 | 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.74 | 0 | 4269 lb | 0 0 0.00 | 0.69/0.75 c | 0.75 | 0 | 4270 lb | 0 0 0.00 | 0.69/0.75 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.76 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.77 c | 0.78 | 0 | 4281 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 4288 lb | 0 0 0.00 | 0.69/0.79 c | 0.79 | 0 | 4289 lb | 0 0 0.00 | 0.69/0.79 c | 0.80 | 0 | 4290 lb | 0 0 0.00 | 0.79/0.80 c | 0.80 | 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.81 | 0 | 4293 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | 4296 lb | 0 0 0.00 | 0.79/0.82 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.83 c | 0.84 | 0 | 4299 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | 4300 lb | 0 0 0.00 | 0.79/0.85 c | 0.85 | 0 | 4301 lb | 0 0 0.00 | 0.79/0.85 c | 0.86 | 0 | 4302 lb | 0 0 0.00 | 0.79/0.86 c | 0.86 | 0 | 4303 lb | 0 0 0.00 | 0.79/0.87 c | 0.87 | 0 | 4304 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | 4305 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | 4307 lb | 0 0 0.00 | 0.79/0.89 c | 0.89 | 0 | 4308 lb | 0 0 0.00 | 0.79/0.89 c | 0.90 | 0 | 4309 lb | 0 0 0.00 | 0.89/0.90 c | 0.90 | 0 | 4310 lb | 0 0 0.00 | 0.89/0.91 c | 0.91 | 0 | 4311 lb | 0 0 0.00 | 0.89/0.91 c | 0.92 | 0 | 4312 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | 4313 lb | 0 0 0.00 | 0.89/0.93 c | 0.93 | 0 | 4314 lb | 0 0 0.00 | 0.89/0.93 c | 0.94 | 0 | 4315 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | 4316 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | 4317 lb | 0 0 0.00 | 0.89/0.95 c | 0.96 | 0 | 4318 lb | 0 0 0.00 | 0.89/0.96 c | 0.96 | 0 | 4319 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 4320 lb | 0 0 0.00 | 0.89/0.97 c | 0.98 | 0 | 4321 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | 4322 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 4323 lb | 0 0 0.00 | 0.89/1.00 c | 1.00 | 0 | 4324 lb | 0 0 0.00 | 1.00/1.00 c | 1.01 | 0 | 4325 lb | 0 0 0.00 | 1.00/1.01 c | 1.02 | 0 | 4326 lb | 0 0 0.00 | 1.00/1.02 c | 1.02 | 0 | 4327 lb | 0 0 0.00 | 1.00/1.03 c | 1.03 | 0 | 4328 lb | 0 0 0.00 | 1.00/1.04 c | 1.04 | 0 | 4329 lb | 0 0 0.00 | 1.00/1.04 c | 1.05 | 0 | 4330 lb | 0 0 0.00 | 1.00/1.05 c | 1.06 | 0 | 4331 lb | 0 0 0.00 | 1.00/1.06 c | 1.06 | 0 | 4332 lb | 0 0 0.00 | 1.00/1.07 c | 1.07 | 0 | 4333 lb | 0 0 0.00 | 1.00/1.08 c | 1.08 | 0 | 4334 lb | 0 0 0.00 | 1.00/1.09 c | 1.09 | 0 | 4335 lb | 0 0 0.00 | 1.00/1.10 c | 1.10 | 0 | 4336 lb | 0 0 0.00 | 1.10/1.11 c | 1.11 | 0 | 4337 lb | 0 0 0.00 | 1.10/1.11 c | 1.12 | 0 | 4338 lb | 0 0 0.00 | 1.10/1.12 c | 1.13 | 0 | 4339 lb | 0 0 0.00 | 1.10/1.13 c | 1.14 | 0 | 4340 lb | 0 0 0.00 | 1.10/1.14 c | 1.15 | 0 | 4341 lb | 0 0 0.00 | 1.10/1.15 c | 1.16 | 0 | 4342 lb | 0 0 0.00 | 1.10/1.16 c | 1.17 | 0 | 4343 lb | 0 0 0.00 | 1.10/1.17 c | 1.18 | 0 | 4344 lb | 0 0 0.00 | 1.10/1.18 c | 1.19 | 0 | 4345 lb | 0 0 0.00 | 1.10/1.19 c | 1.20 | 0 | 4346 lb | 0 0 0.00 | 1.19/1.21 c | 1.21 | 0 | 4347 lb | 0 0 0.00 | 1.19/1.22 c | 1.22 | 0 | 4348 lb | 0 0 0.00 | 1.19/1.23 c | 1.23 | 0 | 4349 lb | 0 0 0.00 | 1.19/1.24 c | 1.25 | 0 | 4350 lb | 0 0 0.00 | 1.19/1.25 c | 1.26 | 0 | 4351 lb | 0 0 0.00 | 1.19/1.27 c | 1.27 | 0 | 4352 lb | 0 0 0.00 | 1.19/1.28 c | 1.28 | 0 | 4353 lb | 0 0 0.00 | 1.19/1.29 c | 1.30 | 0 | 4354 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 4355 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 4356 lb | 0 0 0.00 | 1.29/1.34 c | 1.34 | 0 | 4357 lb | 0 0 0.00 | 1.29/1.35 c | 1.36 | 0 | 4358 lb | 0 0 0.00 | 1.29/1.37 c | 1.38 | 0 | 4359 lb | 0 0 0.00 | 1.39/1.40 c | 1.40 | 0 | 4360 lb | 0 0 0.00 | 1.39/1.44 c | 1.44 | 0 | 4361 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | 4362 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | 4363 lb | 0 0 0.00 | 1.48/1.51 c | 1.52 | 0 | 4364 lb | 0 0 0.00 | 1.48/1.53 c | 1.53 | 0 | 4365 lb | 0 0 0.00 | 1.48/1.56 c | 1.56 | 0 | 4366 lb | 0 0 0.00 | 1.48/1.58 c | 1.58 | 0 | 4367 lb | 0 0 0.00 | 1.58/1.61 c | 1.61 | 0 | 4368 lb | 0 0 0.00 | 1.58/1.68 c | 1.68 | 0 | 4369 lb | 0 0 0.00 | 1.69/1.73 c | 1.74 | 0 | 4370 lb | 0 0 0.00 | 1.69/1.76 c | 1.77 | 0 | 4371 lb | 0 0 0.00 | 1.69/1.79 c | 1.79 | 0 | 4372 lb | 0 0 0.00 | 1.89/1.90 c | 1.90 | 0 | 4373 lb | 0 0 0.00 | 1.99/2.07 c | 2.08 | 0 | 4374 lb | 0 0 0.00 | 2.89/2.99 c | 2.99 | 0 | 4375 lb | 0 0 0.00 | 3.09/3.11 c | 3.12 | 0 | 4376 lb | 0 0 0.00 | 4.30/4.35 c | 4.36 | 0 | 4377 lb | 0 0 0.00 | 33.39/33.43 c | 33.43 | 0 | 4378 lb | 0 0 0.00 | 151.75/151.88 c | 151.88 | 0 | 4379 lb | 0 0 0.00 | 379.78/379.99 c | 379.99 | 0 | 4380 lb | 0 0 0.00 | 1799.53/1800.00 c =============================================================================== 1799.53/1800.00 c Wall Clock Time: 1800.00 s 1799.53/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-3705067-1338091170/watcher-3705067-1338091170 -o /tmp/evaluation-result-3705067-1338091170/solver-3705067-1338091170 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705067-1338091170.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.06 2.01 2.00 3/177 16326 /proc/meminfo: memFree=26164120/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=3208 CPUtime=0 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) R 16324 16326 12452 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 275242947 3284992 286 33554432000 4194304 5963574 140737088825936 140734038996504 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 802 289 175 432 0 349 0 [startup+0.0432619 s] /proc/loadavg: 2.06 2.01 2.00 3/177 16326 /proc/meminfo: memFree=26164120/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=83856 CPUtime=0.04 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 1063 0 0 0 4 0 0 0 20 0 2 0 275242947 85868544 998 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 20964 998 194 432 0 20529 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 83856 [startup+0.100154 s] /proc/loadavg: 2.06 2.01 2.00 3/177 16326 /proc/meminfo: memFree=26164120/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=83856 CPUtime=0.09 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 1175 0 0 0 9 0 0 0 20 0 2 0 275242947 85868544 1101 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 20964 1101 194 432 0 20529 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83856 [startup+0.300116 s] /proc/loadavg: 2.06 2.01 2.00 3/177 16326 /proc/meminfo: memFree=26164120/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=83856 CPUtime=0.29 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 1640 0 0 0 29 0 0 0 20 0 2 0 275242947 85868544 1450 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 20964 1450 195 432 0 20529 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83856 [startup+0.700138 s] /proc/loadavg: 2.06 2.01 2.00 3/177 16326 /proc/meminfo: memFree=26164120/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=83856 CPUtime=0.69 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 3658 0 0 0 69 0 0 0 20 0 2 0 275242947 85868544 2552 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 20964 2552 197 432 0 20529 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83856 [startup+1.50026 s] /proc/loadavg: 2.05 2.01 2.00 3/179 16328 /proc/meminfo: memFree=26150572/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=83856 CPUtime=1.48 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 8441 0 0 0 147 1 0 0 20 0 2 0 275242947 85868544 4394 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 20964 4394 198 432 0 20529 0 [pid=16326/tid=16328] ppid=16324 vsize=83856 CPUtime=1.48 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 7651 0 0 0 146 2 0 0 20 0 2 0 275242948 85868544 4394 33554432000 4194304 5963574 140737088825936 140037926308376 4392422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 83856 [startup+3.10021 s] /proc/loadavg: 2.05 2.01 2.00 3/179 16328 /proc/meminfo: memFree=26138032/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=83856 CPUtime=3.09 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 11076 0 0 0 307 2 0 0 20 0 2 0 275242947 85868544 5699 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 20964 5699 198 432 0 20529 0 [pid=16326/tid=16328] ppid=16324 vsize=83856 CPUtime=3.08 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 10286 0 0 0 306 2 0 0 20 0 2 0 275242948 85868544 5699 33554432000 4194304 5963574 140737088825936 140037926308184 4403084 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 83856 [startup+6.30021 s] /proc/loadavg: 2.05 2.01 2.00 3/179 16328 /proc/meminfo: memFree=26126400/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=85784 CPUtime=6.29 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 11779 0 0 0 627 2 0 0 20 0 2 0 275242947 87842816 6089 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 21446 6089 198 432 0 21011 0 [pid=16326/tid=16328] ppid=16324 vsize=85784 CPUtime=6.28 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 10989 0 0 0 625 3 0 0 20 0 2 0 275242948 87842816 6089 33554432000 4194304 5963574 140737088825936 140037926308680 4400323 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 85784 [startup+12.7003 s] /proc/loadavg: 2.04 2.01 2.00 3/179 16328 /proc/meminfo: memFree=26108676/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=85784 CPUtime=12.69 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 13085 0 0 0 1267 2 0 0 20 0 2 0 275242947 87842816 7395 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 21446 7395 198 432 0 21011 0 [pid=16326/tid=16328] ppid=16324 vsize=85784 CPUtime=12.68 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 12295 0 0 0 1265 3 0 0 20 0 2 0 275242948 87842816 7395 33554432000 4194304 5963574 140737088825936 140037926307640 4403192 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85784 [startup+25.5003 s] /proc/loadavg: 2.04 2.01 2.00 3/179 16328 /proc/meminfo: memFree=26069376/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=85784 CPUtime=25.48 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 17951 0 0 0 2544 4 0 0 20 0 2 0 275242947 87842816 12261 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 21446 12261 198 432 0 21011 0 [pid=16326/tid=16328] ppid=16324 vsize=85784 CPUtime=25.48 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 17161 0 0 0 2543 5 0 0 20 0 2 0 275242948 87842816 12261 33554432000 4194304 5963574 140737088825936 140037926307832 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85784 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 2.00 3/180 16331 /proc/meminfo: memFree=26019136/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=84820 CPUtime=51.09 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 21379 0 0 0 5104 5 0 0 20 0 2 0 275242947 86855680 15137 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 21205 15137 198 432 0 20770 0 [pid=16326/tid=16328] ppid=16324 vsize=84820 CPUtime=51.08 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 20589 0 0 0 5102 6 0 0 20 0 2 0 275242948 86855680 15137 33554432000 4194304 5963574 140737088825936 140037926308792 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 84820 [startup+102.307 s] /proc/loadavg: 2.01 2.00 2.00 3/180 16355 /proc/meminfo: memFree=25915832/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=150356 CPUtime=102.28 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 24173 0 0 0 10223 5 0 0 20 0 2 0 275242947 153964544 17931 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 37589 17931 198 432 0 37154 0 [pid=16326/tid=16328] ppid=16324 vsize=150356 CPUtime=102.29 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 23383 0 0 0 10222 7 0 0 20 0 2 0 275242948 153964544 17931 33554432000 4194304 5963574 140737088825936 140037926307832 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 150356 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=31080008/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=149392 CPUtime=162.23 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 32664 0 0 0 16215 8 0 0 20 0 2 0 275242947 152977408 26261 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 37348 26261 198 432 0 36913 0 [pid=16326/tid=16328] ppid=16324 vsize=149392 CPUtime=162.25 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 31874 0 0 0 16214 11 0 0 20 0 2 0 275242948 152977408 26261 33554432000 4194304 5963574 140737088825936 140037926308792 4388665 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 149392 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=31008388/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=149392 CPUtime=222.22 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 32684 0 0 0 22214 8 0 0 20 0 2 0 275242947 152977408 27246 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 37348 27246 198 432 0 36913 0 [pid=16326/tid=16328] ppid=16324 vsize=149392 CPUtime=222.25 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 31894 0 0 0 22213 12 0 0 20 0 2 0 275242948 152977408 27246 33554432000 4194304 5963574 140737088825936 140037926308792 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 149392 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=30962264/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=149392 CPUtime=282.2 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 35304 0 0 0 28211 9 0 0 20 0 2 0 275242947 152977408 29928 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 37348 29928 198 432 0 36913 0 [pid=16326/tid=16328] ppid=16324 vsize=149392 CPUtime=282.24 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 34514 0 0 0 28210 14 0 0 20 0 2 0 275242948 152977408 29928 33554432000 4194304 5963574 140737088825936 140037926307640 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 149392 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=30915952/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=214928 CPUtime=342.19 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 40619 0 0 0 34207 12 0 0 20 0 2 0 275242947 220086272 35301 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 53732 35301 198 432 0 53297 0 [pid=16326/tid=16328] ppid=16324 vsize=214928 CPUtime=342.24 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 39829 0 0 0 34206 18 0 0 20 0 2 0 275242948 220086272 35301 33554432000 4194304 5963574 140737088825936 140037926307832 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 214928 [startup+402.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 16396 /proc/meminfo: memFree=30887724/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=214928 CPUtime=402.18 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 43699 0 0 0 40205 13 0 0 20 0 2 0 275242947 220086272 38377 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 53732 38377 198 432 0 53297 0 [pid=16326/tid=16328] ppid=16324 vsize=214928 CPUtime=402.25 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 42909 0 0 0 40205 20 0 0 20 0 2 0 275242948 220086272 38377 33554432000 4194304 5963574 140737088825936 140037926308184 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 214928 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16396 /proc/meminfo: memFree=30857560/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=214928 CPUtime=462.17 cores=1,3,5,7 ################ # More data... # ################ /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 92671 0 0 0 130159 62 0 0 20 0 2 0 275242948 423075840 88669 33554432000 4194304 5963574 140737088825936 140037926307832 4403231 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 413160 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16405 /proc/meminfo: memFree=30522108/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=413160 CPUtime=1361.95 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 95313 0 0 0 136151 44 0 0 20 0 2 0 275242947 423075840 90521 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 103290 90521 198 432 0 102855 0 [pid=16326/tid=16328] ppid=16324 vsize=413160 CPUtime=1362.2 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 94523 0 0 0 136155 65 0 0 20 0 2 0 275242948 423075840 90521 33554432000 4194304 5963574 140737088825936 140037926307832 4392348 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 413160 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16405 /proc/meminfo: memFree=30495328/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=413160 CPUtime=1421.95 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 101933 0 0 0 142145 50 0 0 20 0 2 0 275242947 423075840 97141 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 103290 97141 198 432 0 102855 0 [pid=16326/tid=16328] ppid=16324 vsize=413160 CPUtime=1422.21 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 101143 0 0 0 142149 72 0 0 20 0 2 0 275242948 423075840 97141 33554432000 4194304 5963574 140737088825936 140037926307640 4399474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 413160 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 16405 /proc/meminfo: memFree=30493716/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=413160 CPUtime=1481.93 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 102377 0 0 0 148143 50 0 0 20 0 2 0 275242947 423075840 97585 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 103290 97585 198 432 0 102855 0 [pid=16326/tid=16328] ppid=16324 vsize=413160 CPUtime=1482.21 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 101587 0 0 0 148148 73 0 0 20 0 2 0 275242948 423075840 97585 33554432000 4194304 5963574 140737088825936 140037926307640 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 413160 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16405 /proc/meminfo: memFree=30418200/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=478696 CPUtime=1541.93 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 114159 0 0 0 154136 57 0 0 20 0 2 0 275242947 490184704 109366 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 119674 109366 198 432 0 119239 0 [pid=16326/tid=16328] ppid=16324 vsize=478696 CPUtime=1542.21 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 113369 0 0 0 154140 81 0 0 20 0 2 0 275242948 490184704 109366 33554432000 4194304 5963574 140737088825936 140037926307832 4388706 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 478696 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16405 /proc/meminfo: memFree=30386640/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=478696 CPUtime=1601.91 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 114575 0 0 0 160134 57 0 0 20 0 2 0 275242947 490184704 109781 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 119674 109781 198 432 0 119239 0 [pid=16326/tid=16328] ppid=16324 vsize=478696 CPUtime=1602.21 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 113785 0 0 0 160139 82 0 0 20 0 2 0 275242948 490184704 109781 33554432000 4194304 5963574 140737088825936 140037926307640 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 478696 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30385552/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=478696 CPUtime=1661.86 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 114623 0 0 0 166129 57 0 0 20 0 2 0 275242947 490184704 110060 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 119674 110060 198 432 0 119239 0 [pid=16326/tid=16328] ppid=16324 vsize=478696 CPUtime=1662.17 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 113833 0 0 0 166134 83 0 0 20 0 2 0 275242948 490184704 110060 33554432000 4194304 5963574 140737088825936 140037926307640 4388700 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 478696 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30378844/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=478696 CPUtime=1721.85 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 116378 0 0 0 172127 58 0 0 20 0 2 0 275242947 490184704 111888 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 119674 111888 198 432 0 119239 0 [pid=16326/tid=16328] ppid=16324 vsize=478696 CPUtime=1722.18 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 115588 0 0 0 172133 85 0 0 20 0 2 0 275242948 490184704 111888 33554432000 4194304 5963574 140737088825936 140037926307640 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 478696 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30358416/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1781.83 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 121462 0 0 0 178122 61 0 0 20 0 2 0 275242947 557293568 116986 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 116986 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1782.17 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 120672 0 0 0 178128 89 0 0 20 0 2 0 275242948 557293568 116986 33554432000 4194304 5963574 140737088825936 140037926307832 4403048 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 544232 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30353208/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1791.44 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 122813 0 0 0 179082 62 0 0 20 0 2 0 275242947 557293568 118337 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 118337 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1791.78 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 122023 0 0 0 179088 90 0 0 20 0 2 0 275242948 557293568 118337 33554432000 4194304 5963574 140737088825936 140037926307832 4399423 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 544232 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30351348/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1794.64 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 123240 0 0 0 179402 62 0 0 20 0 2 0 275242947 557293568 118764 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 118764 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1794.98 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 122450 0 0 0 179408 90 0 0 20 0 2 0 275242948 557293568 118764 33554432000 4194304 5963574 140737088825936 140037926307832 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 544232 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30350356/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1797.83 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 123815 0 0 0 179721 62 0 0 20 0 2 0 275242947 557293568 119339 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 119339 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1798.17 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 123025 0 0 0 179727 90 0 0 20 0 2 0 275242948 557293568 119339 33554432000 4194304 5963574 140737088825936 140037926307832 4388608 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 544232 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30348868/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1798.63 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 124095 0 0 0 179801 62 0 0 20 0 2 0 275242947 557293568 119619 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 119619 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1798.97 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 123305 0 0 0 179807 90 0 0 20 0 2 0 275242948 557293568 119619 33554432000 4194304 5963574 140737088825936 140037926307832 4388621 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (KiB) 544232 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30347504/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1799.03 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 124231 0 0 0 179841 62 0 0 20 0 2 0 275242947 557293568 119755 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 119755 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1799.38 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 123441 0 0 0 179848 90 0 0 20 0 2 0 275242948 557293568 119755 33554432000 4194304 5963574 140737088825936 140037926307832 4388636 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.03 Current children cumulated vsize (KiB) 544232 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30347504/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1799.43 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 124440 0 0 0 179881 62 0 0 20 0 2 0 275242947 557293568 119964 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 119964 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1799.77 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 123650 0 0 0 179887 90 0 0 20 0 2 0 275242948 557293568 119964 33554432000 4194304 5963574 140737088825936 140037926307832 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (KiB) 544232 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30347504/32873648 swapFree=7112/7112 [pid=16326] ppid=16324 vsize=544232 CPUtime=1799.53 cores=1,3,5,7 /proc/16326/stat : 16326 (wbo1.7) S 16324 16326 12452 0 -1 4202496 124501 0 0 0 179891 62 0 0 20 0 2 0 275242947 557293568 120025 33554432000 4194304 5963574 140737088825936 140737088825456 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/16326/statm: 136058 120025 198 432 0 135623 0 [pid=16326/tid=16328] ppid=16324 vsize=544232 CPUtime=1799.87 cores=1,3,5,7 /proc/16326/task/16328/stat : 16328 (wbo1.7) R 16324 16326 12452 0 -1 4202560 123711 0 0 0 179897 90 0 0 20 0 2 0 275242948 557293568 120025 33554432000 4194304 5963574 140737088825936 140037926307832 4392387 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (KiB) 544232 Child status: 255 Real time (s): 1800.01 CPU time (s): 1799.9 CPU user time (s): 1798.98 CPU system time (s): 0.91486 CPU usage (%): 99.9939 Max. virtual memory (cumulated for all children) (KiB): 544232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 0.91486 maximum resident set size= 480100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124501 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= 213 involuntary context switches= 1841 runsolver used 5.70313 second user time and 16.5385 second system time The end
Begin job on node126 at 2012-05-27 05:59:30 IDJOB=3705067 IDBENCH=2017 IDSOLVER=2283 FILE ID=node126/3705067-1338091170 RUNJOBID= node126-1338077272-12469 PBS_JOBID= 14624421 Free space on /tmp= 71336 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705067-1338091170/watcher-3705067-1338091170 -o /tmp/evaluation-result-3705067-1338091170/solver-3705067-1338091170 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705067-1338091170.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f RANDOM SEED=923416026 node126.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.456 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 : 5332.91 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.456 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.456 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.92 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.90 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.456 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26164484 kB Buffers: 267740 kB Cached: 558688 kB SwapCached: 17756 kB Active: 5791536 kB Inactive: 99764 kB Active(anon): 5046240 kB Inactive(anon): 20452 kB Active(file): 745296 kB Inactive(file): 79312 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 5476 kB Writeback: 0 kB AnonPages: 5056308 kB Mapped: 10452 kB Shmem: 0 kB Slab: 667196 kB SReclaimable: 111728 kB SUnreclaim: 555468 kB KernelStack: 1488 kB PageTables: 14048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 193336 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1878016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71348 MiB End job on node126 at 2012-05-27 06:29:31