Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | OPT | 3 | 517.299 | 517.447 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb |
| MD5SUM | 1141c23e5342793635b3f22754b52627 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.12098 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 189 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 7 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 127 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 32512 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 441 |
| Sum of products size (including duplicates) | 882 |
| Number of different products | 441 |
| Sum of products size | 882 |
0.00/0.00 c 2016-06-07T01:02:27+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080190-1465254147.opb"] 0.00/0.01 c use --random-gen="1130297681 4139353654 3704303326 1822452134 3591277398 759873358 3786882565 1693215308 3403289452 3957748410 3618662056 1478440418 1326879830 331371092 3114455321 829106985 3927102573 2671361672 2785527075 3325258344 839441101 1802010251 2056677710 2253213645 2812581885 877299485 2018537480 872381288 289240196 3348402616 639505070 1655274410 2778272332 1792096762 1019707440 728256224 793568926 2067851257 2204181429 1699921221 3810067116 170989684 4134929921 3768148017 1891847936 2211951286 504757967 1840236814 1258519431 926730785 360410893 2421529716 3723620213 4277848991 518423898 3025462410 1539857972 2410163307 3091030844 2951316319 3229803173 2239214911 1190168132 145441297 1691897509 885110238 3614870068 3320930698 2919925679 2032754848 2470567924 2531249031 4098515679 2889094752 3362521440 3889192618 3946814224 526232829 3303546581 1393579105 2652618536 584201911 3771707776 1824772890 1774818468 2562858745 1126008386 3957169144 2248607987 1216886633 403128657 1634448144 27644837 661305842 4163625511 368466551 2746073031 1909653299 2047248148 2280836788 1597151144 3486107370 2402832327 3096441608 4204694298 3265992317 4214392831 1182310699 2942135406 3470520026 3271922380 3482919082 3408864234 2323568930 2350803864 1937449697 635550417 3609075705 3841713395 993295235 3281252475 45028744 663464626 697877524 4126154257 1866713619 4193080704 3873024280 3851017808 3672892078 329266739 262881470 290793456 2052069606 4137029898 4177365748 2301521235 3424284492 2096751694 254099486 2295224718 1039056007 400045774 2374765575 1782292997 127554930 2401651274 1190047072 1778267826 929388046 2852263971 2777745198 1106647753 2085481658 3595838005 1514164181 3775102029 3292734036 3201820149 2428404055 665937823 2554056255 27159153 708710168 1665520642 128868275 2176980565 2932156205 2432775601 2253897192 3268872250 1484694224 3636507780 164572980 3874483122 782509553 942637253 322228698 4012198042 362672865 1134892654 2012403269 1406162633 1660672400 2719527143 1635789231 3432814724 3768342806 2155636779 517623243 1821629010 1402095529 1564396397 1655344489 1385275240 2512125018 1741160947 3989429571 3255199841 3057296344 180954236 390761821 4016113164 1026841887 2040337818 41756031 2026641796 204472690 61359719 693616421 772310340 2316508971 141953560 538555921 305132342 484995280 2346397305 383652039 1305631122 2636005582 3541653916 301546671 3889259523 588006267 3360233370 3961647452 2783845634 4167615337 3788847223 1147781353 1111539458 3703063419 3198258928 399198681 2359886654 2285039570 2823624373 2694055840 2814172117 3030546120 2508471875 2119441188 362124065 2215640395 1500938316 2540422660 240308582 3875086678 184941666 3319353688 2276981889 1355542791 1828601973 2133171927 4106161285 3324713467 255 362436" option to reproduce the execution 0.00/0.01 c #vars 189 0.00/0.01 c #constraints 19 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 108 | 100 | 660 0 | 0 | 0 0.00/0.07 c 0.0s | 2 | 285 | 250 | 727 0 | 0 | 0 0.08/0.11 c 0.1s | 3 | 546 | 475 | 800 0 | 0 | 0 0.08/0.18 c 0.2s | 4 | 1081 | 813 | 881 0 | 0 | 0 0.39/0.46 c 0.4s | 5 | 1701 | 1320 | 970 0 | 0 | 0 0.69/0.74 c 0.7s | 6 | 2563 | 2081 | 1174 1 | 0 | 0 0.99/1.08 c 1.1s | 7 | 4109 | 3223 | 1292 3 | 0 | 0 1.39/1.42 c 1.4s | 8 | 5942 | 4936 | 1422 5 | 0 | 0 1.99/2.01 c 2.0s | 9 | 8750 | 7506 | 1565 8 | 0 | 0 2.09/2.16 c 2.1s | 9 | 9615 | 8248 | 1565 9 | 0 | 0 2.09/2.16 c #cpu_time = 2.135s 2.09/2.16 c #wall_clock_time = 2.135s 2.09/2.16 c #decision = 9615 2.09/2.16 c #random_decision = 33 2.09/2.16 c #conflict = 8248 2.09/2.16 c #restart = 9 2.09/2.16 o 111 2.09/2.16 c BCD2: updating upper bound: 127 -> 110 2.09/2.16 c BCD2: 0 <= obj <= 110 2.09/2.16 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0 2.09/2.16 c BCD2: #sat=1 #unsat=1 bias=1/2 2.09/2.16 c Solving starts ... 2.09/2.16 c ============================[ Search Statistics ]============================ 2.09/2.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.16 c | | | | Limit GC | Var | Constra 2.09/2.16 c ============================================================================= 2.09/2.16 c 0.0s | 0 | 0 | 0 | 1565 0 | 0 | 0 2.09/2.17 c 0.0s | 0 | 5 | 0 | 1565 0 | 0 | 0 2.09/2.17 c #cpu_time = 0.006s 2.09/2.17 c #wall_clock_time = 0.006s 2.09/2.17 c #decision = 5 2.09/2.17 c #random_decision = 0 2.09/2.17 c #conflict = 0 2.09/2.17 c #restart = 0 2.09/2.17 c BCD2: found a new core of size 6: cost of the new core is >=2 2.09/2.17 c lower bound updated to 2 2.09/2.17 c BCD2: 2 <= obj <= 110 2.09/2.17 c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0 2.09/2.17 c BCD2: #sat=1 #unsat=2 bias=2/3 2.09/2.17 c Solving starts ... 2.09/2.17 c ============================[ Search Statistics ]============================ 2.09/2.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.17 c | | | | Limit GC | Var | Constra 2.09/2.17 c ============================================================================= 2.09/2.17 c 0.0s | 0 | 0 | 0 | 1565 0 | 0 | 0 2.09/2.18 c 0.0s | 1 | 128 | 100 | 1565 0 | 0 | 0 2.20/2.27 c 0.1s | 2 | 424 | 250 | 1565 1 | 0 | 0 2.20/2.30 c 0.1s | 3 | 742 | 475 | 1565 1 | 0 | 0 2.29/2.37 c 0.2s | 4 | 1301 | 813 | 1565 1 | 0 | 0 2.49/2.52 c 0.3s | 5 | 2082 | 1320 | 1565 2 | 0 | 0 2.59/2.69 c 0.5s | 6 | 2950 | 2081 | 1565 2 | 0 | 0 2.89/2.95 c 0.8s | 7 | 4221 | 3223 | 1722 3 | 0 | 0 3.19/3.23 c 1.1s | 8 | 6143 | 4936 | 1722 5 | 0 | 0 3.59/3.69 c 1.5s | 9 | 8817 | 7506 | 1722 8 | 0 | 0 4.79/4.84 c 2.7s | 10 | 13275 | 11361 | 1895 11 | 0 | 0 6.38/6.43 c 4.3s | 11 | 19503 | 17144 | 1895 16 | 0 | 0 8.38/8.44 c 6.3s | 11 | 27096 | 23744 | 2085 21 | 0 | 0 8.98/9.07 c 6.9s | 12 | 29365 | 25819 | 2085 23 | 0 | 0 10.99/11.08 c 8.9s | 12 | 39231 | 35019 | 2294 30 | 0 | 0 12.09/12.14 c 10.0s | 13 | 43266 | 38832 | 2294 33 | 0 | 0 14.08/14.15 c 12.0s | 13 | 48854 | 43332 | 2294 36 | 0 | 0 16.08/16.18 c 14.0s | 13 | 56025 | 49232 | 2294 40 | 0 | 0 18.18/18.20 c 16.0s | 13 | 62808 | 55432 | 2524 44 | 0 | 0 18.98/19.06 c 16.9s | 14 | 66265 | 58352 | 2524 46 | 0 | 0 20.99/21.06 c 18.9s | 14 | 76242 | 67252 | 2524 52 | 0 | 0 22.98/23.07 c 20.9s | 14 | 84804 | 75152 | 2524 57 | 0 | 0 24.98/25.09 c 22.9s | 14 | 93136 | 82752 | 2777 62 | 0 | 0 26.28/26.40 c 24.2s | 15 | 98717 | 87632 | 2777 65 | 0 | 0 28.38/28.43 c 26.3s | 15 | 107904 | 96332 | 2777 71 | 0 | 0 30.38/30.43 c 28.3s | 15 | 116499 | 104032 | 2777 76 | 0 | 0 32.38/32.45 c 30.3s | 15 | 125029 | 112032 | 2777 81 | 0 | 0 34.38/34.46 c 32.3s | 15 | 133538 | 120032 | 2777 86 | 0 | 0 36.39/36.46 c 34.3s | 15 | 141712 | 127732 | 3055 91 | 0 | 0 37.39/37.43 c 35.3s | 16 | 145797 | 131552 | 3055 93 | 0 | 0 39.39/39.46 c 37.3s | 16 | 153596 | 138752 | 3055 98 | 0 | 0 41.39/41.48 c 39.3s | 16 | 161551 | 146452 | 3055 102 | 0 | 0 43.39/43.49 c 41.3s | 16 | 168069 | 152052 | 3055 105 | 0 | 0 45.39/45.49 c 43.3s | 16 | 175459 | 158752 | 3055 109 | 0 | 0 47.49/47.51 c 45.3s | 16 | 182959 | 165652 | 3055 113 | 0 | 0 49.49/49.53 c 47.4s | 16 | 189724 | 171752 | 3055 117 | 0 | 0 51.48/51.55 c 49.4s | 16 | 196835 | 177452 | 3055 120 | 0 | 0 53.48/53.56 c 51.4s | 16 | 204758 | 184852 | 3055 124 | 0 | 0 55.58/55.60 c 53.4s | 16 | 211947 | 191652 | 3361 128 | 0 | 0 57.58/57.61 c 55.4s | 16 | 218204 | 197352 | 3361 131 | 0 | 0 57.58/57.63 c 55.5s | 17 | 218283 | 197432 | 3361 131 | 0 | 0 59.58/59.64 c 57.5s | 17 | 226948 | 205332 | 3361 135 | 0 | 0 61.59/61.64 c 59.5s | 17 | 235849 | 213132 | 3361 139 | 0 | 0 63.58/63.64 c 61.5s | 17 | 243138 | 219832 | 3361 143 | 0 | 0 65.58/65.66 c 63.5s | 17 | 250870 | 226532 | 3361 146 | 0 | 0 67.58/67.68 c 65.5s | 17 | 259015 | 234032 | 3361 150 | 0 | 0 69.68/69.71 c 67.5s | 17 | 267074 | 241432 | 3361 154 | 0 | 0 71.68/71.72 c 69.5s | 17 | 276369 | 250032 | 3361 159 | 0 | 0 73.68/73.72 c 71.6s | 17 | 285002 | 257832 | 3361 163 | 0 | 0 75.68/75.72 c 73.6s | 17 | 293167 | 265432 | 3361 167 | 0 | 0 77.68/77.73 c 75.6s | 17 | 301274 | 272932 | 3361 171 | 0 | 0 79.68/79.73 c 77.6s | 17 | 308356 | 279332 | 3361 174 | 0 | 0 81.68/81.73 c 79.6s | 17 | 315542 | 285832 | 3361 178 | 0 | 0 83.68/83.74 c 81.6s | 17 | 323526 | 292632 | 3698 181 | 0 | 0 84.68/84.79 c 82.6s | 18 | 327568 | 296252 | 3698 182 | 0 | 0 86.77/86.83 c 84.7s | 18 | 333816 | 301752 | 3698 185 | 0 | 0 88.77/88.85 c 86.7s | 18 | 340512 | 307852 | 3698 188 | 0 | 0 90.77/90.86 c 88.7s | 18 | 348913 | 315652 | 3698 192 | 0 | 0 92.77/92.88 c 90.7s | 18 | 357040 | 323052 | 3698 195 | 0 | 0 94.87/94.92 c 92.8s | 18 | 364230 | 330052 | 3698 199 | 0 | 0 96.88/96.96 c 94.8s | 18 | 372321 | 337552 | 3698 202 | 1 | 7 98.87/98.96 c 96.8s | 18 | 378746 | 343552 | 3698 205 | 1 | 7 100.88/100.98 c 98.8s | 18 | 386017 | 350052 | 3698 208 | 1 | 7 102.88/102.99 c 100s | 18 | 391747 | 355252 | 3698 211 | 1 | 7 104.98/105.00 c 102s | 18 | 399188 | 362252 | 3698 214 | 1 | 7 106.98/107.00 c 104s | 18 | 406485 | 369152 | 3698 218 | 1 | 7 108.98/109.02 c 106s | 18 | 413302 | 375352 | 3698 221 | 1 | 7 110.98/111.04 c 108s | 18 | 420351 | 381752 | 3698 224 | 1 | 7 112.98/113.06 c 110s | 18 | 427745 | 388552 | 3698 228 | 1 | 7 114.98/115.08 c 112s | 18 | 435956 | 395852 | 3698 231 | 1 | 7 117.08/117.10 c 114s | 18 | 443318 | 402352 | 3698 234 | 1 | 7 119.07/119.12 c 116s | 18 | 451241 | 409152 | 3698 237 | 1 | 7 121.08/121.12 c 118s | 18 | 458591 | 415852 | 3698 240 | 1 | 7 123.07/123.15 c 120s | 18 | 466445 | 422952 | 3698 244 | 1 | 7 125.07/125.17 c 123s | 18 | 473149 | 429052 | 3698 247 | 1 | 7 127.17/127.20 c 125s | 18 | 479501 | 435052 | 4068 249 | 1 | 7 129.17/129.21 c 127s | 18 | 486756 | 441952 | 4068 252 | 1 | 7 129.88/129.99 c 127s | 19 | 489466 | 444482 | 4068 254 | 1 | 7 131.98/132.03 c 129s | 19 | 499045 | 451282 | 4068 257 | 1 | 7 133.97/134.07 c 131s | 19 | 505351 | 456482 | 4068 259 | 1 | 7 135.97/136.07 c 133s | 19 | 511832 | 461882 | 4068 262 | 1 | 7 137.97/138.08 c 135s | 19 | 519461 | 468282 | 4068 265 | 1 | 7 140.07/140.11 c 137s | 19 | 526906 | 474682 | 4068 268 | 1 | 7 142.07/142.13 c 139s | 19 | 534262 | 481182 | 4068 270 | 1 | 7 144.07/144.14 c 141s | 19 | 541169 | 487382 | 4068 273 | 1 | 7 146.07/146.15 c 143s | 19 | 547983 | 493182 | 4068 276 | 1 | 7 148.07/148.15 c 145s | 19 | 554667 | 499182 | 4068 279 | 1 | 7 150.07/150.16 c 147s | 19 | 561537 | 505682 | 4068 282 | 1 | 7 152.06/152.16 c 149s | 19 | 568644 | 511982 | 4068 285 | 1 | 7 154.16/154.21 c 152s | 19 | 574732 | 517682 | 4068 287 | 1 | 7 156.17/156.21 c 154s | 19 | 580293 | 522782 | 4068 290 | 1 | 7 158.16/158.24 c 156s | 19 | 585868 | 528082 | 4068 292 | 1 | 7 160.16/160.24 c 158s | 19 | 591429 | 532982 | 4068 294 | 1 | 7 162.16/162.27 c 160s | 19 | 596819 | 537782 | 4068 297 | 1 | 7 164.16/164.28 c 162s | 19 | 603014 | 543182 | 4068 299 | 1 | 7 166.26/166.30 c 164s | 19 | 609500 | 548882 | 4068 302 | 1 | 7 168.27/168.35 c 166s | 19 | 616181 | 554282 | 4068 304 | 1 | 7 170.26/170.38 c 168s | 19 | 622309 | 559482 | 4068 307 | 1 | 7 172.36/172.43 c 170s | 19 | 629263 | 565682 | 4068 309 | 1 | 7 174.36/174.45 c 172s | 19 | 636750 | 572582 | 4068 313 | 1 | 7 176.36/176.45 c 174s | 19 | 643347 | 578582 | 4068 315 | 1 | 7 178.36/178.46 c 176s | 19 | 651133 | 585582 | 4068 319 | 1 | 7 180.36/180.48 c 178s | 19 | 659012 | 592982 | 4068 322 | 1 | 7 182.46/182.51 c 180s | 19 | 666427 | 599582 | 4068 325 | 1 | 7 184.46/184.52 c 182s | 19 | 673637 | 606382 | 4068 328 | 1 | 7 186.46/186.54 c 184s | 19 | 680379 | 612582 | 4068 331 | 1 | 7 188.46/188.55 c 186s | 19 | 688147 | 619882 | 4068 334 | 1 | 7 190.47/190.55 c 188s | 19 | 695119 | 626482 | 4068 337 | 1 | 7 192.47/192.56 c 190s | 19 | 702621 | 633682 | 4068 341 | 1 | 7 194.46/194.57 c 192s | 19 | 709999 | 640382 | 4068 344 | 1 | 7 196.46/196.58 c 194s | 19 | 717452 | 646882 | 4068 347 | 1 | 7 198.56/198.61 c 196s | 19 | 725660 | 654382 | 4475 350 | 1 | 7 200.56/200.65 c 198s | 19 | 730871 | 659382 | 4475 352 | 1 | 7 202.56/202.66 c 200s | 19 | 736347 | 664282 | 4475 354 | 1 | 7 203.57/203.69 c 201s | 20 | 739296 | 666827 | 4475 355 | 1 | 7 205.56/205.70 c 203s | 20 | 748165 | 674727 | 4475 359 | 1 | 7 207.66/207.70 c 205s | 20 | 756160 | 682327 | 4475 362 | 1 | 7 209.66/209.71 c 207s | 20 | 763470 | 689327 | 4475 364 | 1 | 7 211.66/211.72 c 209s | 20 | 770543 | 696227 | 4475 367 | 1 | 7 213.66/213.75 c 211s | 20 | 777793 | 703127 | 4475 370 | 1 | 7 215.67/215.77 c 213s | 20 | 784316 | 709427 | 4475 373 | 1 | 7 217.66/217.79 c 215s | 20 | 792116 | 716927 | 4475 376 | 1 | 7 219.76/219.83 c 217s | 20 | 799828 | 724327 | 4475 379 | 1 | 7 221.76/221.85 c 219s | 20 | 806872 | 731027 | 4475 381 | 1 | 7 223.76/223.87 c 221s | 20 | 815445 | 739127 | 4475 384 | 1 | 7 225.76/225.89 c 223s | 20 | 822807 | 746227 | 4475 387 | 1 | 7 227.76/227.90 c 225s | 20 | 830189 | 753227 | 4475 390 | 1 | 7 229.86/229.94 c 227s | 20 | 837180 | 759727 | 4475 393 | 1 | 7 231.85/231.95 c 229s | 20 | 844367 | 766627 | 4475 396 | 1 | 7 233.85/233.96 c 231s | 20 | 851918 | 773727 | 4475 398 | 1 | 7 235.95/236.00 c 233s | 20 | 860125 | 780827 | 4475 401 | 1 | 7 237.95/238.02 c 235s | 20 | 867713 | 787727 | 4475 404 | 1 | 7 239.95/240.03 c 237s | 20 | 874885 | 794227 | 4475 407 | 1 | 7 241.96/242.03 c 239s | 20 | 882002 | 800727 | 4475 409 | 1 | 7 243.95/244.03 c 241s | 20 | 889447 | 807627 | 4475 412 | 1 | 7 245.95/246.05 c 243s | 20 | 897132 | 814627 | 4475 415 | 1 | 7 247.95/248.06 c 245s | 20 | 904820 | 821427 | 4475 418 | 1 | 7 249.95/250.06 c 247s | 20 | 912526 | 828427 | 4475 421 | 1 | 7 251.95/252.08 c 249s | 20 | 919721 | 835027 | 4475 423 | 1 | 7 254.05/254.12 c 251s | 20 | 927301 | 841927 | 4475 426 | 1 | 7 256.05/256.12 c 253s | 20 | 934997 | 849127 | 4475 429 | 1 | 7 258.05/258.13 c 255s | 20 | 941445 | 855227 | 4475 431 | 1 | 7 260.04/260.15 c 257s | 20 | 947997 | 861527 | 4475 434 | 1 | 7 262.04/262.19 c 260s | 20 | 955458 | 868627 | 4475 437 | 1 | 7 264.05/264.19 c 262s | 20 | 962823 | 875527 | 4475 440 | 1 | 7 266.04/266.20 c 264s | 20 | 969946 | 882027 | 4475 442 | 1 | 7 268.14/268.22 c 266s | 20 | 976862 | 888527 | 4475 445 | 1 | 7 270.14/270.24 c 268s | 20 | 983606 | 894827 | 4475 447 | 1 | 7 272.14/272.25 c 270s | 20 | 989594 | 900627 | 4475 450 | 1 | 7 274.14/274.27 c 272s | 20 | 996428 | 907227 | 4475 452 | 1 | 7 276.15/276.28 c 274s | 20 | 1002622 | 913227 | 4475 455 | 1 | 7 278.14/278.29 c 276s | 20 | 1008619 | 919027 | 4475 457 | 1 | 7 280.14/280.30 c 278s | 20 | 1015708 | 925827 | 4475 460 | 1 | 7 282.24/282.31 c 280s | 20 | 1022539 | 932427 | 4475 462 | 1 | 7 284.24/284.34 c 282s | 20 | 1029866 | 939327 | 4475 465 | 1 | 7 286.24/286.34 c 284s | 20 | 1037612 | 946527 | 4475 468 | 1 | 7 288.24/288.35 c 286s | 20 | 1044517 | 953027 | 4475 471 | 1 | 7 290.23/290.37 c 288s | 20 | 1051469 | 959827 | 4475 473 | 1 | 7 292.23/292.38 c 290s | 20 | 1059026 | 967127 | 4475 476 | 1 | 7 294.33/294.40 c 292s | 20 | 1066129 | 974127 | 4475 479 | 1 | 7 296.33/296.41 c 294s | 20 | 1073005 | 980727 | 4475 482 | 1 | 7 298.33/298.43 c 296s | 20 | 1080345 | 987727 | 4923 484 | 1 | 7 300.34/300.45 c 298s | 20 | 1087533 | 994627 | 4923 487 | 1 | 7 302.03/302.12 c 299s | 21 | 1093619 | 1000345 | 4923 489 | 1 | 7 304.03/304.17 c 302s | 21 | 1102834 | 1006445 | 4923 492 | 1 | 7 306.13/306.23 c 304s | 21 | 1108894 | 1011745 | 4923 494 | 1 | 7 308.13/308.26 c 306s | 21 | 1115319 | 1017045 | 4923 496 | 1 | 7 310.13/310.28 c 308s | 21 | 1121938 | 1023045 | 4923 498 | 1 | 7 312.12/312.29 c 310s | 21 | 1127190 | 1027845 | 4923 500 | 1 | 7 314.22/314.30 c 312s | 21 | 1133045 | 1033145 | 4923 502 | 1 | 7 316.23/316.31 c 314s | 21 | 1138192 | 1037845 | 4923 504 | 1 | 7 318.23/318.32 c 316s | 21 | 1144054 | 1043245 | 4923 506 | 1 | 7 320.23/320.34 c 318s | 21 | 1149613 | 1048245 | 4923 508 | 1 | 7 322.23/322.38 c 320s | 21 | 1155292 | 1053445 | 4923 510 | 1 | 7 324.32/324.42 c 322s | 21 | 1161084 | 1059045 | 4923 512 | 1 | 7 326.32/326.44 c 324s | 21 | 1167503 | 1065145 | 4923 514 | 1 | 7 328.32/328.46 c 326s | 21 | 1173814 | 1071245 | 4923 516 | 1 | 7 330.32/330.47 c 328s | 21 | 1181376 | 1078645 | 4923 519 | 1 | 7 332.32/332.48 c 330s | 21 | 1188367 | 1085045 | 4923 522 | 1 | 7 334.43/334.51 c 332s | 21 | 1195294 | 1091345 | 4923 524 | 1 | 7 336.42/336.52 c 334s | 21 | 1202453 | 1098145 | 4923 527 | 1 | 7 338.42/338.55 c 336s | 21 | 1208763 | 1104145 | 4923 529 | 1 | 7 340.42/340.56 c 338s | 21 | 1215372 | 1110545 | 4923 531 | 1 | 7 342.42/342.59 c 340s | 21 | 1220355 | 1114945 | 4923 533 | 1 | 7 344.42/344.60 c 342s | 21 | 1226857 | 1120645 | 4923 535 | 2 | 14 346.52/346.60 c 344s | 21 | 1234653 | 1127745 | 4923 538 | 2 | 14 348.52/348.62 c 346s | 21 | 1241978 | 1134745 | 4923 540 | 2 | 14 350.51/350.62 c 348s | 21 | 1248650 | 1141145 | 4923 543 | 2 | 14 352.51/352.66 c 350s | 21 | 1256524 | 1148245 | 4923 546 | 2 | 14 354.51/354.67 c 352s | 21 | 1264040 | 1155345 | 4923 548 | 2 | 14 356.52/356.67 c 354s | 21 | 1272058 | 1162945 | 4923 551 | 2 | 14 358.52/358.68 c 356s | 21 | 1279002 | 1169645 | 4923 554 | 2 | 14 360.62/360.71 c 358s | 21 | 1286655 | 1176645 | 4923 556 | 2 | 14 362.61/362.73 c 360s | 21 | 1293626 | 1183045 | 4923 559 | 2 | 14 364.61/364.76 c 362s | 21 | 1300408 | 1189545 | 4923 561 | 2 | 14 366.71/366.80 c 364s | 21 | 1306978 | 1195945 | 4923 564 | 2 | 14 368.71/368.83 c 366s | 21 | 1313600 | 1202245 | 4923 566 | 2 | 14 370.72/370.86 c 368s | 21 | 1319993 | 1208245 | 4923 568 | 2 | 14 372.71/372.88 c 370s | 21 | 1326479 | 1214545 | 4923 571 | 2 | 14 374.71/374.89 c 372s | 21 | 1333323 | 1221145 | 4923 573 | 2 | 14 376.81/376.91 c 374s | 21 | 1340878 | 1228445 | 4923 576 | 2 | 14 378.81/378.94 c 376s | 21 | 1348445 | 1235645 | 4923 579 | 2 | 14 380.80/380.96 c 378s | 21 | 1355815 | 1242545 | 4923 581 | 2 | 14 382.81/382.96 c 380s | 21 | 1363052 | 1249445 | 4923 584 | 2 | 14 384.80/384.96 c 382s | 21 | 1370160 | 1256145 | 4923 586 | 2 | 14 386.90/387.00 c 384s | 21 | 1377040 | 1262745 | 4923 589 | 2 | 14 388.90/389.00 c 386s | 21 | 1383583 | 1268945 | 4923 591 | 2 | 14 390.90/391.02 c 388s | 21 | 1390469 | 1275545 | 4923 594 | 2 | 14 392.90/393.02 c 390s | 21 | 1397905 | 1282745 | 4923 596 | 2 | 14 394.90/395.04 c 392s | 21 | 1405295 | 1289745 | 4923 599 | 2 | 14 396.89/397.06 c 394s | 21 | 1412989 | 1297045 | 4923 602 | 2 | 14 398.89/399.06 c 396s | 21 | 1420131 | 1303645 | 4923 604 | 2 | 14 400.89/401.08 c 398s | 21 | 1427841 | 1310745 | 4923 607 | 2 | 14 402.89/403.10 c 400s | 21 | 1434465 | 1316945 | 4923 609 | 2 | 14 404.99/405.12 c 402s | 21 | 1442534 | 1324645 | 4923 612 | 2 | 14 407.00/407.13 c 404s | 21 | 1449649 | 1331645 | 4923 615 | 2 | 14 408.99/409.16 c 406s | 21 | 1456219 | 1337945 | 4923 617 | 2 | 14 410.98/411.17 c 409s | 21 | 1462812 | 1344245 | 4923 620 | 2 | 14 412.98/413.18 c 411s | 21 | 1470491 | 1351645 | 4923 622 | 2 | 14 414.98/415.19 c 413s | 21 | 1478058 | 1358845 | 4923 625 | 2 | 14 417.08/417.20 c 415s | 21 | 1485236 | 1365745 | 4923 628 | 2 | 14 419.09/419.21 c 417s | 21 | 1492938 | 1373045 | 4923 630 | 2 | 14 421.08/421.23 c 419s | 21 | 1500704 | 1380645 | 4923 633 | 2 | 14 423.08/423.25 c 421s | 21 | 1508633 | 1388145 | 4923 636 | 2 | 14 425.08/425.26 c 423s | 21 | 1515950 | 1394945 | 4923 639 | 2 | 14 427.08/427.28 c 425s | 21 | 1522765 | 1401145 | 4923 641 | 2 | 14 429.18/429.31 c 427s | 21 | 1530032 | 1407845 | 4923 644 | 2 | 14 431.18/431.33 c 429s | 21 | 1537141 | 1413845 | 4923 646 | 2 | 14 433.17/433.34 c 431s | 21 | 1544358 | 1420345 | 4923 648 | 2 | 14 435.17/435.35 c 433s | 21 | 1552205 | 1427345 | 4923 651 | 2 | 14 437.18/437.36 c 435s | 21 | 1558749 | 1433245 | 4923 653 | 2 | 14 439.18/439.38 c 437s | 21 | 1565616 | 1439345 | 4923 656 | 2 | 14 441.18/441.38 c 439s | 21 | 1573024 | 1446145 | 4923 658 | 2 | 14 443.18/443.39 c 441s | 21 | 1581065 | 1453645 | 4923 661 | 2 | 14 445.28/445.40 c 443s | 21 | 1588299 | 1460645 | 4923 664 | 2 | 14 447.28/447.40 c 445s | 21 | 1595760 | 1467845 | 4923 666 | 2 | 14 449.27/449.44 c 447s | 21 | 1603413 | 1475145 | 4923 669 | 2 | 14 451.27/451.45 c 449s | 21 | 1610423 | 1481645 | 4923 671 | 2 | 14 453.27/453.48 c 451s | 21 | 1617065 | 1487845 | 5416 673 | 2 | 14 455.28/455.49 c 453s | 21 | 1623602 | 1493845 | 5416 675 | 2 | 14 457.27/457.49 c 455s | 21 | 1630427 | 1500345 | 5416 678 | 2 | 14 457.37/457.56 c 455s | 22 | 1630711 | 1500622 | 5416 678 | 2 | 14 459.37/459.59 c 457s | 22 | 1637930 | 1507322 | 5416 680 | 2 | 14 461.46/461.60 c 459s | 22 | 1644616 | 1513222 | 5416 682 | 2 | 14 463.46/463.63 c 461s | 22 | 1651455 | 1518822 | 5416 684 | 2 | 14 465.46/465.64 c 463s | 22 | 1657615 | 1524422 | 5416 686 | 2 | 14 467.47/467.65 c 465s | 22 | 1663359 | 1529722 | 5416 688 | 2 | 14 469.46/469.70 c 467s | 22 | 1669918 | 1535522 | 5416 690 | 2 | 14 471.56/471.72 c 469s | 22 | 1675632 | 1540922 | 5416 692 | 2 | 14 473.56/473.73 c 471s | 22 | 1682705 | 1546422 | 5416 694 | 2 | 14 475.56/475.76 c 473s | 22 | 1689700 | 1552922 | 5416 697 | 2 | 14 477.56/477.77 c 475s | 22 | 1697205 | 1559722 | 5416 699 | 2 | 14 479.57/479.80 c 477s | 22 | 1703889 | 1565822 | 5416 701 | 2 | 14 481.56/481.80 c 479s | 22 | 1710682 | 1571822 | 5416 703 | 2 | 14 483.66/483.80 c 481s | 22 | 1718345 | 1578922 | 5416 706 | 2 | 14 485.66/485.81 c 483s | 22 | 1726420 | 1586822 | 5416 709 | 3 | 21 487.65/487.83 c 485s | 22 | 1733401 | 1593622 | 5416 711 | 3 | 21 489.65/489.84 c 487s | 22 | 1741243 | 1601322 | 5416 714 | 3 | 21 491.66/491.86 c 489s | 22 | 1750268 | 1610122 | 5416 717 | 3 | 21 493.65/493.88 c 491s | 22 | 1757641 | 1617222 | 5416 720 | 3 | 21 495.76/495.90 c 493s | 22 | 1764573 | 1624022 | 5416 722 | 3 | 21 497.76/497.94 c 495s | 22 | 1771956 | 1631222 | 5416 725 | 3 | 21 499.76/499.94 c 497s | 22 | 1778016 | 1636822 | 5416 727 | 3 | 21 501.75/501.95 c 499s | 22 | 1784428 | 1643022 | 5416 729 | 3 | 21 503.85/504.00 c 501s | 22 | 1791117 | 1649522 | 5416 732 | 3 | 21 505.86/506.01 c 503s | 22 | 1797234 | 1655422 | 5416 734 | 3 | 21 507.85/508.02 c 505s | 22 | 1803128 | 1661122 | 5416 736 | 3 | 21 509.85/510.04 c 507s | 22 | 1809585 | 1667422 | 5416 738 | 3 | 21 511.84/512.06 c 509s | 22 | 1816413 | 1673922 | 5416 740 | 3 | 21 513.84/514.08 c 511s | 22 | 1823970 | 1680922 | 5416 743 | 3 | 21 515.94/516.10 c 513s | 22 | 1830560 | 1687122 | 5416 745 | 3 | 21 516.74/516.91 c 514s | 22 | 1833612 | 1690135 | 5416 746 | 3 | 21 516.74/516.91 c #cpu_time = 514.663s 516.74/516.91 c #wall_clock_time = 514.749s 516.74/516.91 c #decision = 1833612 516.74/516.91 c #random_decision = 7294 516.74/516.91 c #conflict = 1690135 516.74/516.91 c #restart = 22 516.74/516.91 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=3 516.74/516.91 c lower bound updated to 3 516.74/516.92 c BCD2: 3 <= obj <= 110 516.74/516.92 c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0 516.74/516.92 c BCD2: #sat=1 #unsat=3 bias=3/4 516.74/516.92 c Solving starts ... 516.74/516.92 c ============================[ Search Statistics ]============================ 516.74/516.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 516.74/516.92 c | | | | Limit GC | Var | Constra 516.74/516.92 c ============================================================================= 516.74/516.92 c 0.0s | 0 | 0 | 0 | 5416 0 | 4 | 21 516.74/516.98 c 0.1s | 1 | 117 | 100 | 5416 0 | 4 | 22 516.85/517.02 c 0.1s | 2 | 292 | 250 | 5416 0 | 4 | 22 516.85/517.08 c 0.2s | 3 | 639 | 475 | 5416 0 | 4 | 22 517.04/517.23 c 0.3s | 4 | 1147 | 813 | 5416 1 | 4 | 22 517.14/517.31 c 0.4s | 5 | 1839 | 1320 | 5416 1 | 4 | 22 517.14/517.34 c 0.4s | 5 | 2110 | 1441 | 5416 1 | 4 | 22 517.14/517.34 c #cpu_time = 0.422s 517.14/517.34 c #wall_clock_time = 0.422s 517.14/517.34 c #decision = 2110 517.14/517.34 c #random_decision = 4 517.14/517.34 c #conflict = 1441 517.14/517.34 c #restart = 5 517.14/517.34 o 73 517.14/517.34 c BCD2: updating upper bound: 110 -> 72 517.14/517.34 c BCD2: 3 <= obj <= 72 517.14/517.34 c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0 517.14/517.34 c BCD2: #sat=2 #unsat=3 bias=3/5 517.14/517.34 c Solving starts ... 517.14/517.34 c ============================[ Search Statistics ]============================ 517.14/517.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 517.14/517.34 c | | | | Limit GC | Var | Constra 517.14/517.34 c ============================================================================= 517.14/517.34 c 0.0s | 0 | 0 | 0 | 5416 0 | 4 | 22 517.14/517.37 c 0.0s | 0 | 174 | 54 | 5416 0 | 4 | 22 517.14/517.37 c #cpu_time = 0.027s 517.14/517.37 c #wall_clock_time = 0.027s 517.14/517.37 c #decision = 174 517.14/517.37 c #random_decision = 0 517.14/517.37 c #conflict = 54 517.14/517.37 c #restart = 0 517.14/517.37 o 9 517.14/517.37 c BCD2: hardening fixes 3 literals 517.14/517.37 c BCD2: updating upper bound: 72 -> 8 517.14/517.37 c BCD2: 3 <= obj <= 8 517.14/517.37 c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=3 517.14/517.37 c BCD2: #sat=3 #unsat=3 bias=3/6 517.14/517.37 c Solving starts ... 517.14/517.37 c ============================[ Search Statistics ]============================ 517.14/517.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 517.14/517.37 c | | | | Limit GC | Var | Constra 517.14/517.37 c ============================================================================= 517.14/517.37 c 0.0s | 0 | 0 | 0 | 5416 0 | 31 | 26 517.14/517.39 c 0.0s | 0 | 128 | 41 | 5416 0 | 31 | 89 517.14/517.39 c #cpu_time = 0.027s 517.14/517.39 c #wall_clock_time = 0.027s 517.14/517.39 c #decision = 128 517.14/517.39 c #random_decision = 1 517.14/517.39 c #conflict = 41 517.14/517.39 c #restart = 0 517.14/517.39 o 5 517.14/517.39 c BCD2: hardening fixes 1 literals 517.14/517.39 c BCD2: updating upper bound: 8 -> 4 517.14/517.39 c BCD2: 3 <= obj <= 4 517.14/517.39 c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=4 517.14/517.39 c BCD2: #sat=4 #unsat=3 bias=3/7 517.14/517.39 c Solving starts ... 517.14/517.39 c ============================[ Search Statistics ]============================ 517.14/517.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 517.14/517.39 c | | | | Limit GC | Var | Constra 517.14/517.39 c ============================================================================= 517.14/517.39 c 0.0s | 0 | 0 | 0 | 5416 0 | 40 | 91 517.24/517.40 c 0.0s | 0 | 107 | 0 | 5416 0 | 40 | 112 517.24/517.40 c #cpu_time = 0.010s 517.24/517.40 c #wall_clock_time = 0.010s 517.24/517.40 c #decision = 107 517.24/517.40 c #random_decision = 0 517.24/517.40 c #conflict = 0 517.24/517.40 c #restart = 0 517.24/517.40 o 3 517.24/517.40 s OPTIMUM FOUND 517.24/517.41 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 x10 517.24/517.41 v -x11 -x12 x13 x14 x15 x16 -x17 -x18 -x19 x20 517.24/517.41 v -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 517.24/517.41 v x31 x32 -x33 x34 -x35 x36 x37 x38 x39 -x40 517.24/517.41 v x41 x42 x43 -x44 x45 -x46 -x47 -x48 -x49 x50 517.24/517.41 v x51 -x52 x53 x54 -x55 -x56 x57 -x58 x59 x60 517.24/517.41 v x61 -x62 -x63 x64 -x65 x66 -x67 x68 x69 x70 517.24/517.41 v x71 -x72 x73 -x74 x75 x76 -x77 x78 x79 x80 517.24/517.41 v x81 x82 x83 -x84 x85 -x86 x87 x88 x89 x90 517.24/517.41 v -x91 x92 -x93 -x94 x95 x96 x97 -x98 x99 x100 517.24/517.41 v x101 -x102 x103 x104 -x105 x106 x107 -x108 -x109 x110 517.24/517.41 v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 517.24/517.41 v -x121 x122 x123 x124 -x125 -x126 -x127 x128 -x129 -x130 517.24/517.41 v -x131 -x132 -x133 -x134 x135 x136 x137 -x138 -x139 -x140 517.24/517.41 v x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 517.24/517.41 v -x151 x152 -x153 -x154 x155 -x156 -x157 -x158 x159 x160 517.24/517.41 v -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 517.24/517.41 v x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 517.24/517.41 v -x181 -x182 -x183 x184 -x185 x186 x187 -x188 -x189 517.24/517.41 c total CPU time = 517.322s 517.24/517.41 c total wall clock time = 517.407s
OK 3
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4080190-1465254147/watcher-4080190-1465254147 -o /tmp/evaluation-result-4080190-1465254147/solver-4080190-1465254147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080190-1465254147.opb pid=6485 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.20 2.24 2.09 4/179 6488 /proc/meminfo: memFree=29494128/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=661948 CPUtime=0 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 2461 0 0 0 0 0 0 0 20 0 4 0 107347883 677834752 2311 33554432000 4194304 16246674 140736235024912 140736235007832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 166255 2320 441 2943 0 163149 0 [pid=6488/tid=6489] ppid=6485 vsize=679356 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 695660544 2380 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=683452 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 699854848 2396 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=687548 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107347883 704049152 2412 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100174 s] /proc/loadavg: 2.20 2.24 2.09 4/179 6488 /proc/meminfo: memFree=29494128/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 21707 0 0 0 6 2 0 0 20 0 4 0 107347883 1247350784 21545 33554432000 4194304 16246674 140736235024912 140736235007832 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 304529 21553 758 2943 0 301423 0 [pid=6488/tid=6489] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 21560 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 21569 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 21573 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200518 s] /proc/loadavg: 2.20 2.24 2.09 4/179 6488 /proc/meminfo: memFree=29494128/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 39564 0 0 0 13 6 0 0 20 0 4 0 107347883 1247350784 39401 33554432000 4194304 16246674 140736235024912 140736235007832 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 304529 39408 758 2943 0 301423 0 [pid=6488/tid=6489] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 39413 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 39417 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 39421 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300504 s] /proc/loadavg: 2.20 2.24 2.09 4/179 6488 /proc/meminfo: memFree=29494128/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 56544 0 0 0 20 9 0 0 20 0 4 0 107347883 1247350784 56382 33554432000 4194304 16246674 140736235024912 140736235007832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 304529 56394 758 2943 0 301423 0 [pid=6488/tid=6489] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 56397 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 56400 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 56403 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700424 s] /proc/loadavg: 2.20 2.24 2.09 4/179 6488 /proc/meminfo: memFree=29494128/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 122158 0 0 0 51 18 0 0 20 0 4 0 107347883 1247350784 121995 33554432000 4194304 16246674 140736235024912 140736235007832 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 304529 122002 765 2943 0 301423 0 [pid=6488/tid=6489] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 122006 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 122012 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107347883 1247350784 122017 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50044 s] /proc/loadavg: 2.19 2.23 2.09 4/183 6492 /proc/meminfo: memFree=28637868/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 246187 0 0 0 113 36 0 0 20 0 4 0 107347883 1250496512 246001 33554432000 4194304 16246674 140736235024912 140736235024224 5712148 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 305297 246001 832 2943 0 302191 0 [pid=6488/tid=6489] ppid=6485 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1250496512 246001 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1250496512 246001 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1250496512 246001 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10043 s] /proc/loadavg: 2.19 2.23 2.09 4/183 6492 /proc/meminfo: memFree=28442444/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 267617 0 0 0 270 39 0 0 20 0 4 0 107347883 1337528320 267431 33554432000 4194304 16246674 140736235024912 140736235007912 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 326545 267431 851 2943 0 323439 0 [pid=6488/tid=6489] ppid=6485 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1337528320 267431 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1337528320 267431 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1337528320 267431 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30044 s] /proc/loadavg: 2.19 2.23 2.09 3/183 6492 /proc/meminfo: memFree=28423988/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 267899 0 0 0 589 39 0 0 20 0 4 0 107347883 1338576896 267713 33554432000 4194304 16246674 140736235024912 140736235006784 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 326801 267713 852 2943 0 323695 0 [pid=6488/tid=6489] ppid=6485 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1338576896 267713 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1338576896 267713 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1338576896 267713 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.16 2.23 2.09 3/183 6492 /proc/meminfo: memFree=28420788/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1310276 CPUtime=12.68 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 268661 0 0 0 1229 39 0 0 20 0 4 0 107347883 1341722624 268475 33554432000 4194304 16246674 140736235024912 140736235006784 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 327569 268475 852 2943 0 324463 0 [pid=6488/tid=6489] ppid=6485 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1341722624 268475 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1341722624 268475 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1341722624 268475 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.29 2.25 2.10 3/183 6492 /proc/meminfo: memFree=28420772/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 268669 0 0 0 2509 39 0 0 20 0 4 0 107347883 1341722624 268483 33554432000 4194304 16246674 140736235024912 140736235006784 5722180 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 327569 268483 852 2943 0 324463 0 [pid=6488/tid=6489] ppid=6485 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1341722624 268483 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1341722624 268483 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1341722624 268483 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.26 2.25 2.10 4/183 6492 /proc/meminfo: memFree=28417252/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1313348 CPUtime=51.09 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 269439 0 0 0 5069 40 0 0 20 0 4 0 107347883 1344868352 269253 33554432000 4194304 16246674 140736235024912 140736235006784 4224556 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 328337 269253 854 2943 0 325231 0 [pid=6488/tid=6489] ppid=6485 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1344868352 269253 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1344868352 269253 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1344868352 269253 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1313348 [startup+102.301 s] /proc/loadavg: 2.20 2.23 2.10 3/183 6493 /proc/meminfo: memFree=28415188/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1315396 CPUtime=102.28 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 269951 0 0 0 10187 41 0 0 20 0 4 0 107347883 1346965504 269765 33554432000 4194304 16246674 140736235024912 140736235006784 5600728 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 328849 269765 854 2943 0 325743 0 [pid=6488/tid=6489] ppid=6485 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1346965504 269765 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1346965504 269765 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1346965504 269765 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270730 0 0 0 34179 43 0 0 20 0 4 0 107347883 1350111232 270760 33554432000 4194304 16246674 140736235024912 140736235006784 5722180 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270760 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270760 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270760 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270760 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 1318468 [startup+402.3 s] /proc/loadavg: 2.35 2.30 2.16 3/183 6548 /proc/meminfo: memFree=28418536/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=402.19 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270794 0 0 0 40175 44 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235006784 5589091 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1318468 [startup+462.3 s] /proc/loadavg: 2.40 2.33 2.18 3/184 6553 /proc/meminfo: memFree=28417568/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=462.16 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270831 0 0 0 46171 45 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235006784 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1318468 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6488 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+486.4 s] /proc/loadavg: 2.32 2.32 2.18 3/184 6553 /proc/meminfo: memFree=28418448/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=486.26 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270836 0 0 0 48581 45 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235007912 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 486.26 Current children cumulated vsize (KiB) 1318468 [startup+499.2 s] /proc/loadavg: 2.27 2.31 2.18 3/184 6553 /proc/meminfo: memFree=28418432/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=499.06 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270840 0 0 0 49860 46 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235006784 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 499.06 Current children cumulated vsize (KiB) 1318468 [startup+505.6 s] /proc/loadavg: 2.33 2.32 2.18 3/184 6553 /proc/meminfo: memFree=28418172/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=505.45 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270846 0 0 0 50499 46 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235006784 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 505.45 Current children cumulated vsize (KiB) 1318468 [startup+512 s] /proc/loadavg: 2.36 2.33 2.19 4/184 6553 /proc/meminfo: memFree=28418280/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=511.84 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270853 0 0 0 51138 46 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235006784 13774488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 511.84 Current children cumulated vsize (KiB) 1318468 [startup+515.2 s] /proc/loadavg: 2.36 2.33 2.19 3/183 6554 /proc/meminfo: memFree=28418264/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=515.04 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270853 0 0 0 51458 46 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235006784 6861676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 515.04 Current children cumulated vsize (KiB) 1318468 [startup+516.8 s] /proc/loadavg: 2.36 2.33 2.19 3/183 6554 /proc/meminfo: memFree=28418404/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=516.64 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270853 0 0 0 51618 46 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235006784 5677308 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 516.64 Current children cumulated vsize (KiB) 1318468 [startup+517.2 s] /proc/loadavg: 2.41 2.34 2.19 3/183 6554 /proc/meminfo: memFree=28418404/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=517.04 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270853 0 0 0 51658 46 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 140736235007912 5546623 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270789 854 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270789 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 517.04 Current children cumulated vsize (KiB) 1318468 [startup+517.4 s] /proc/loadavg: 2.41 2.34 2.19 3/183 6554 /proc/meminfo: memFree=28418404/32872528 swapFree=16252/1391864 [pid=6488] ppid=6485 vsize=1318468 CPUtime=517.24 cores=1,3,5,7 /proc/6488/stat : 6488 (toysat) R 6485 6488 5783 0 -1 4202496 270854 0 0 0 51678 46 0 0 20 0 4 0 107347883 1350111232 270790 33554432000 4194304 16246674 140736235024912 140736235007912 5531455 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6488/statm: 329617 270790 855 2943 0 326511 0 [pid=6488/tid=6489] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6489/stat : 6489 (toysat) S 6485 6488 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270790 33554432000 4194304 16246674 140736235024912 139696077253872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6488/tid=6490] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6490/stat : 6490 (toysat) S 6485 6488 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270790 33554432000 4194304 16246674 140736235024912 139696066764016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6488/tid=6491] ppid=6485 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/6488/task/6491/stat : 6491 (toysat) S 6485 6488 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107347883 1350111232 270790 33554432000 4194304 16246674 140736235024912 139696056290480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 517.24 Current children cumulated vsize (KiB) 1318468 Child status: 0 Real time (s): 517.447 CPU time (s): 517.299 CPU user time (s): 516.796 CPU system time (s): 0.502923 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 516.796 system time used= 0.502923 maximum resident set size= 1083168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270858 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= 152 involuntary context switches= 561 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.22151 second user time and 5.14822 second system time The end
Begin job on node119 at 2016-06-07 01:02:27 IDJOB=4080190 IDBENCH=47920 IDSOLVER=2542 FILE ID=node119/4080190-1465254147 RUNJOBID= node119-1465252213-5800 PBS_JOBID= 19843259 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080190-1465254147/watcher-4080190-1465254147 -o /tmp/evaluation-result-4080190-1465254147/solver-4080190-1465254147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080190-1465254147.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1141c23e5342793635b3f22754b52627 RANDOM SEED=407251348 node119.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.410 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.82 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.410 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 : 5332.55 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.410 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 : 5332.55 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.410 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 : 5332.55 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.410 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 : 5332.55 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.410 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 : 5332.55 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.410 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 : 5332.56 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.410 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29495292 kB Buffers: 49572 kB Cached: 150336 kB SwapCached: 856 kB Active: 1191580 kB Inactive: 89628 kB Active(anon): 1081932 kB Inactive(anon): 1640 kB Active(file): 109648 kB Inactive(file): 87988 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100136 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 2458052 kB Mapped: 10616 kB Shmem: 0 kB Slab: 568164 kB SReclaimable: 12108 kB SUnreclaim: 556056 kB KernelStack: 1464 kB PageTables: 8992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2615692 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1531904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node119 at 2016-06-07 01:11:05