| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | UNSAT | 741.522 | 741.738 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/ SyncCodes/d_n_k/normalized-8_7_19.opb |
| MD5SUM | 78787402ce331c7b72f08d9e4f646743 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 14.5728 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 756 |
| Total number of constraints | 3542 |
| Number of constraints which are clauses | 3537 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 27 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 46 |
| Number of bits of the biggest sum of numbers | 6 |
| 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 2016-06-17T00:31:21+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-4097051-1466116281.opb"] 0.00/0.01 c use --random-gen="2473814404 1853695538 2505558084 4236182861 4075930228 1101760182 1929365217 3442376675 503813408 2160853921 3985605565 1201111226 508396974 2707970815 230752749 746661345 1747894766 4035600500 55904951 555676662 2001253210 902136723 1280363351 1526184075 3418264400 853619117 1693795292 3747349035 1402642816 3475212994 185103958 4218565534 1695890779 2700831942 2596718666 1858160975 1535807368 2078451535 3729466880 3398191770 3070064954 2192375434 1239823258 970643714 3106260325 4187766250 2985555931 1943729347 510795085 459353343 3699948325 3612144985 2140886763 3863813255 3770248706 1350625876 1124826195 4089065630 2841722602 117881643 2887064961 169382634 347029061 3715861723 2380663582 1825405668 639753272 1035195539 2478017675 434618112 2636395528 4103332390 1891077021 2163778491 596236653 3741965607 585364163 3523919302 618461792 1416021795 1715298385 4085711510 1137073279 3854906094 1390220818 861793778 2936765830 1725882671 2854703177 4126339163 2580929309 4270021651 3411988015 4156816110 3703164537 1861085924 1009289574 2296136014 3053700645 1169039070 237869858 1291480532 379141194 887762482 4094020719 926521394 41631996 3805946155 2541507803 255740562 3292883642 3717814236 3060693226 2151119804 137095096 1026721954 2859981839 3915479413 2504152646 3647687609 3174483565 2507582533 1321837099 2330883287 2525622687 494558554 419656049 1772149237 855320589 2328124456 2668918111 2935514010 1921553526 3417716870 2102410839 1483059491 3043240489 1070613227 3685596993 4034177827 3677022364 2006679718 1031495567 712817523 190903345 2379926099 2615217917 1906427445 628048270 1744019277 77016145 1064800519 3000942624 2935726345 4204937171 2463380610 3022283430 598638508 2882544516 3273988291 1794970859 999570167 3810815809 500402385 3877953078 2693061892 1657537454 2265138772 2730740689 2572664475 2530229537 3065899468 167326170 2951730929 47719869 3489741694 1111663311 1356849942 2250633631 2300319350 3518841189 746926035 2991680659 2974732 3290718277 4170893085 1608416672 1458534030 3174202707 1729295247 2890905400 1550337141 3596265920 3328565948 3571741520 2862867030 3276737867 37946453 1393752042 3605155440 2857203223 3057688993 156381704 2721891875 1278391444 1585964190 3648704782 2507974132 433929384 3119561472 2302671439 576253568 3912418221 2423921707 1500050753 2934949033 4272545290 1323128048 3062152286 1133458414 3216641 3786547570 2774001933 4185464600 3445711813 2990017547 965590094 1256908879 1956217719 1306458880 3156205644 3599733880 1535022638 3293918851 3968937220 754696969 561090345 2839385930 571034386 3457661642 3449586077 34658645 3063070187 3351564053 3584069356 2222242328 883846152 794104692 3458834616 115529830 3297300383 3553839064 3578117714 3490150089 863011859 1834185416 255 362436" option to reproduce the execution 0.00/0.04 c #vars 756 0.00/0.04 c #constraints 3542 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 1431 0 | 5 | 0 0.09/0.13 c 0.0s | 1 | 120 | 100 | 1431 0 | 5 | 215 0.09/0.19 c 0.1s | 2 | 302 | 250 | 1575 0 | 5 | 215 0.19/0.26 c 0.2s | 3 | 563 | 475 | 1733 0 | 5 | 215 0.39/0.40 c 0.3s | 4 | 932 | 813 | 1907 0 | 5 | 215 0.59/0.62 c 0.5s | 5 | 1516 | 1320 | 2098 0 | 5 | 215 0.99/1.05 c 1.0s | 6 | 2356 | 2081 | 2539 0 | 5 | 215 1.49/1.57 c 1.5s | 7 | 3615 | 3223 | 2793 1 | 5 | 215 2.20/2.30 c 2.2s | 8 | 5576 | 4936 | 3073 2 | 5 | 215 3.19/3.28 c 3.2s | 9 | 8407 | 7506 | 3381 3 | 5 | 215 4.79/4.85 c 4.8s | 10 | 12948 | 11361 | 3720 5 | 5 | 215 6.79/6.88 c 6.8s | 10 | 19319 | 16861 | 3720 8 | 5 | 215 6.89/6.99 c 6.9s | 11 | 19609 | 17144 | 4093 8 | 5 | 215 8.99/9.01 c 8.9s | 11 | 25236 | 22144 | 4093 10 | 5 | 215 10.49/10.52 c 10.4s | 12 | 29241 | 25819 | 4503 12 | 5 | 215 12.49/12.53 c 12.4s | 12 | 34874 | 30819 | 4503 14 | 5 | 215 14.49/14.56 c 14.5s | 12 | 40416 | 35819 | 4503 16 | 5 | 215 15.89/15.90 c 15.8s | 13 | 43830 | 38832 | 4954 18 | 5 | 215 17.89/17.95 c 17.9s | 13 | 49534 | 43832 | 4954 20 | 5 | 215 19.89/19.98 c 19.9s | 13 | 55007 | 48732 | 4954 21 | 5 | 215 21.89/22.00 c 21.9s | 13 | 60306 | 53232 | 4954 23 | 5 | 215 23.99/24.02 c 23.9s | 13 | 65239 | 57532 | 4954 25 | 5 | 215 24.29/24.38 c 24.3s | 14 | 66148 | 58352 | 5450 25 | 5 | 215 26.39/26.44 c 26.3s | 14 | 70998 | 62652 | 5450 27 | 5 | 215 28.38/28.45 c 28.4s | 14 | 75918 | 67152 | 5450 28 | 5 | 215 30.38/30.45 c 30.4s | 14 | 81436 | 71952 | 5450 30 | 5 | 215 32.38/32.49 c 32.4s | 14 | 86775 | 76752 | 5450 32 | 5 | 215 34.48/34.53 c 34.4s | 14 | 91850 | 81352 | 5450 33 | 5 | 215 36.48/36.55 c 36.5s | 14 | 96195 | 85252 | 5450 35 | 5 | 215 37.68/37.75 c 37.7s | 15 | 98981 | 87632 | 5996 35 | 5 | 215 39.78/39.81 c 39.7s | 15 | 103534 | 91632 | 5996 37 | 5 | 215 41.79/41.82 c 41.7s | 15 | 107810 | 95432 | 5996 38 | 5 | 215 43.78/43.85 c 43.7s | 15 | 111910 | 99032 | 5996 39 | 5 | 215 45.78/45.86 c 45.8s | 15 | 116242 | 102832 | 5996 40 | 5 | 215 47.88/47.91 c 47.8s | 15 | 120675 | 106632 | 5996 41 | 5 | 215 49.88/49.91 c 49.8s | 15 | 125130 | 110632 | 5996 43 | 5 | 215 51.88/51.94 c 51.8s | 15 | 129729 | 114732 | 5996 44 | 5 | 215 53.89/53.95 c 53.9s | 15 | 134057 | 118432 | 5996 45 | 5 | 215 55.88/55.96 c 55.9s | 15 | 138750 | 122432 | 5996 46 | 5 | 215 57.88/57.98 c 57.9s | 15 | 142990 | 126032 | 5996 48 | 5 | 215 59.98/60.00 c 59.9s | 15 | 147457 | 129932 | 5996 49 | 5 | 215 60.88/60.94 c 60.8s | 16 | 149303 | 131552 | 6596 49 | 5 | 215 62.88/62.97 c 62.9s | 16 | 153662 | 135452 | 6596 50 | 5 | 215 64.98/65.00 c 64.9s | 16 | 157692 | 139152 | 6596 51 | 5 | 215 66.97/67.05 c 67.0s | 16 | 162035 | 142852 | 6596 53 | 5 | 215 68.97/69.10 c 69.0s | 16 | 166133 | 146552 | 6596 54 | 5 | 215 71.07/71.11 c 71.0s | 16 | 170095 | 150152 | 6596 55 | 5 | 215 73.07/73.14 c 73.0s | 16 | 174106 | 153752 | 6596 56 | 5 | 215 75.07/75.19 c 75.1s | 16 | 178435 | 157552 | 6596 57 | 5 | 215 77.17/77.23 c 77.1s | 16 | 182506 | 161252 | 6596 58 | 5 | 215 79.28/79.32 c 79.2s | 16 | 186698 | 165052 | 6596 59 | 5 | 215 81.28/81.36 c 81.3s | 16 | 191137 | 169052 | 6596 60 | 5 | 215 83.28/83.38 c 83.3s | 16 | 195561 | 172852 | 6596 61 | 5 | 215 85.38/85.44 c 85.3s | 16 | 199771 | 176552 | 6596 62 | 5 | 215 87.48/87.52 c 87.4s | 16 | 204090 | 180252 | 6596 64 | 5 | 215 89.48/89.54 c 89.4s | 16 | 208364 | 183852 | 6596 65 | 5 | 215 91.48/91.58 c 91.5s | 16 | 212365 | 187352 | 6596 66 | 5 | 215 93.49/93.59 c 93.5s | 16 | 216551 | 191052 | 6596 67 | 5 | 215 95.58/95.63 c 95.5s | 16 | 220956 | 194952 | 6596 68 | 5 | 215 96.98/97.05 c 97.0s | 17 | 223706 | 197432 | 7256 68 | 5 | 215 98.99/99.06 c 99.0s | 17 | 228390 | 201432 | 7256 69 | 5 | 215 101.08/101.12 c 101s | 17 | 233060 | 205532 | 7256 71 | 5 | 215 103.08/103.14 c 103s | 17 | 237722 | 209632 | 7256 72 | 5 | 215 105.08/105.16 c 105s | 17 | 242382 | 213732 | 7256 73 | 5 | 215 107.08/107.20 c 107s | 17 | 246337 | 217232 | 7256 74 | 5 | 215 109.18/109.22 c 109s | 17 | 250751 | 221032 | 7256 75 | 5 | 215 111.18/111.23 c 111s | 17 | 255259 | 225132 | 7256 76 | 5 | 215 113.18/113.26 c 113s | 17 | 259823 | 229232 | 7256 77 | 5 | 215 115.28/115.30 c 115s | 17 | 264636 | 233332 | 7256 78 | 5 | 215 117.28/117.33 c 117s | 17 | 269103 | 237032 | 7256 79 | 5 | 215 119.28/119.35 c 119s | 17 | 273329 | 240732 | 7256 80 | 5 | 215 121.28/121.38 c 121s | 17 | 277500 | 244432 | 7256 81 | 5 | 215 123.28/123.39 c 123s | 17 | 281801 | 248332 | 7256 82 | 5 | 215 125.28/125.39 c 125s | 17 | 285986 | 252032 | 7256 83 | 5 | 215 127.37/127.42 c 127s | 17 | 290076 | 255532 | 7256 84 | 5 | 215 129.37/129.43 c 129s | 17 | 293909 | 258932 | 7256 85 | 5 | 215 131.37/131.48 c 131s | 17 | 297902 | 262332 | 7256 86 | 5 | 215 133.47/133.53 c 133s | 17 | 301980 | 265832 | 7256 87 | 5 | 215 135.47/135.55 c 135s | 17 | 305427 | 268932 | 7256 88 | 5 | 215 137.48/137.57 c 137s | 17 | 309270 | 272332 | 7256 88 | 5 | 215 139.57/139.60 c 139s | 17 | 313364 | 275832 | 7256 89 | 5 | 215 141.57/141.60 c 141s | 17 | 317741 | 279732 | 7256 90 | 5 | 215 143.57/143.66 c 143s | 17 | 322168 | 283732 | 7256 92 | 5 | 215 145.57/145.67 c 145s | 17 | 326778 | 287832 | 7256 93 | 5 | 215 147.67/147.79 c 147s | 17 | 331420 | 292032 | 7256 94 | 5 | 215 149.77/149.82 c 149s | 17 | 335706 | 295932 | 7982 95 | 5 | 215 149.87/149.96 c 149s | 18 | 336055 | 296252 | 7982 95 | 5 | 215 151.88/151.97 c 151s | 18 | 340178 | 299852 | 7982 96 | 5 | 215 153.98/154.00 c 153s | 18 | 344474 | 303752 | 7982 97 | 5 | 215 155.97/156.03 c 155s | 18 | 349276 | 308052 | 7982 98 | 5 | 215 158.07/158.11 c 158s | 18 | 353651 | 311952 | 7982 99 | 5 | 215 160.07/160.13 c 160s | 18 | 357558 | 315552 | 7982 99 | 5 | 215 162.07/162.14 c 162s | 18 | 361520 | 319152 | 7982 100 | 5 | 215 164.07/164.14 c 164s | 18 | 365523 | 322652 | 7982 101 | 5 | 215 166.07/166.18 c 166s | 18 | 369453 | 326152 | 7982 102 | 5 | 215 168.07/168.19 c 168s | 18 | 373012 | 329252 | 7982 103 | 5 | 215 170.17/170.20 c 170s | 18 | 376780 | 332452 | 7982 104 | 5 | 215 172.17/172.22 c 172s | 18 | 380630 | 335952 | 7982 104 | 5 | 215 174.17/174.25 c 174s | 18 | 384640 | 339552 | 7982 105 | 5 | 215 176.17/176.26 c 176s | 18 | 388867 | 343352 | 7982 106 | 5 | 215 178.27/178.30 c 178s | 18 | 392886 | 346952 | 7982 107 | 5 | 215 180.26/180.36 c 180s | 18 | 396683 | 350352 | 7982 108 | 5 | 215 182.26/182.38 c 182s | 18 | 400321 | 353552 | 7982 109 | 5 | 215 184.36/184.46 c 184s | 18 | 404271 | 357052 | 7982 110 | 5 | 215 186.36/186.48 c 186s | 18 | 408216 | 360552 | 7982 110 | 5 | 215 188.46/188.50 c 188s | 18 | 411901 | 363952 | 7982 111 | 5 | 215 190.46/190.55 c 190s | 18 | 416207 | 367852 | 7982 112 | 5 | 215 192.47/192.59 c 192s | 18 | 421055 | 371952 | 7982 113 | 5 | 215 194.56/194.61 c 194s | 18 | 425094 | 375552 | 7982 114 | 5 | 215 196.56/196.63 c 196s | 18 | 429154 | 379052 | 7982 115 | 5 | 215 198.56/198.64 c 198s | 18 | 433839 | 383252 | 7982 116 | 5 | 215 200.56/200.67 c 200s | 18 | 437950 | 386952 | 7982 117 | 5 | 215 202.66/202.70 c 202s | 18 | 442064 | 390452 | 7982 118 | 5 | 215 204.57/204.70 c 204s | 18 | 446575 | 394452 | 7982 119 | 5 | 215 206.66/206.71 c 206s | 18 | 451029 | 398452 | 7982 120 | 5 | 215 208.66/208.74 c 208s | 18 | 455225 | 402152 | 7982 121 | 5 | 215 210.66/210.79 c 210s | 18 | 459603 | 405952 | 7982 121 | 5 | 215 212.76/212.80 c 212s | 18 | 463551 | 409452 | 7982 122 | 5 | 215 214.76/214.86 c 214s | 18 | 467701 | 413252 | 7982 123 | 5 | 215 216.76/216.88 c 216s | 18 | 471824 | 417052 | 7982 124 | 5 | 215 218.76/218.88 c 218s | 18 | 476311 | 421052 | 7982 125 | 5 | 215 220.86/220.92 c 220s | 18 | 480853 | 425152 | 7982 126 | 5 | 215 222.86/222.96 c 222s | 18 | 485350 | 429252 | 7982 127 | 5 | 215 224.85/224.98 c 224s | 18 | 489815 | 433252 | 7982 128 | 5 | 215 226.85/226.98 c 226s | 18 | 494183 | 437252 | 7982 129 | 5 | 215 228.95/229.02 c 228s | 18 | 498369 | 441252 | 7982 130 | 5 | 215 230.96/231.00 c 230s | 19 | 501939 | 444482 | 8781 131 | 5 | 215 232.95/233.06 c 232s | 19 | 505809 | 447982 | 8781 132 | 5 | 215 235.05/235.10 c 235s | 19 | 510098 | 451782 | 8781 132 | 5 | 215 237.05/237.15 c 237s | 19 | 514321 | 455582 | 8781 133 | 5 | 215 239.05/239.17 c 239s | 19 | 518433 | 459382 | 8781 134 | 5 | 215 241.05/241.19 c 241s | 19 | 522472 | 463082 | 8781 135 | 5 | 215 243.16/243.23 c 243s | 19 | 526363 | 466582 | 8781 136 | 5 | 215 245.15/245.24 c 245s | 19 | 530877 | 470682 | 8781 137 | 5 | 215 247.15/247.26 c 247s | 19 | 535386 | 474682 | 8781 138 | 5 | 215 249.25/249.34 c 249s | 19 | 540423 | 479082 | 8781 139 | 5 | 215 251.25/251.37 c 251s | 19 | 544524 | 482682 | 8781 139 | 5 | 215 253.25/253.37 c 253s | 19 | 548554 | 486382 | 8781 140 | 5 | 215 255.26/255.38 c 255s | 19 | 552735 | 490182 | 8781 141 | 5 | 215 257.25/257.39 c 257s | 19 | 556003 | 493282 | 8781 142 | 5 | 215 259.35/259.41 c 259s | 19 | 560210 | 497082 | 8781 143 | 5 | 215 261.35/261.43 c 261s | 19 | 564309 | 500882 | 8781 143 | 5 | 215 263.35/263.45 c 263s | 19 | 568815 | 504682 | 8781 144 | 5 | 215 265.45/265.50 c 265s | 19 | 572867 | 507982 | 8781 145 | 5 | 215 267.45/267.53 c 267s | 19 | 576693 | 511382 | 8781 146 | 5 | 215 269.45/269.55 c 269s | 19 | 580541 | 514882 | 8781 147 | 5 | 215 271.55/271.60 c 271s | 19 | 584677 | 518382 | 8781 147 | 5 | 215 273.55/273.62 c 273s | 19 | 588362 | 521682 | 8781 148 | 5 | 215 275.55/275.62 c 275s | 19 | 591953 | 524882 | 8781 149 | 5 | 215 277.54/277.65 c 277s | 19 | 595665 | 528182 | 8781 149 | 5 | 215 279.54/279.66 c 279s | 19 | 599456 | 531582 | 8781 150 | 5 | 215 281.55/281.70 c 281s | 19 | 603230 | 534982 | 8781 151 | 5 | 215 283.64/283.75 c 283s | 19 | 607065 | 538282 | 8781 152 | 5 | 215 285.74/285.83 c 285s | 19 | 610949 | 541782 | 8781 153 | 5 | 215 287.74/287.86 c 287s | 19 | 614816 | 545282 | 8781 153 | 5 | 215 289.74/289.87 c 289s | 19 | 618474 | 548582 | 8781 154 | 5 | 215 291.74/291.87 c 291s | 19 | 622251 | 551782 | 8781 155 | 5 | 215 293.84/293.91 c 293s | 19 | 626328 | 555282 | 8781 155 | 5 | 215 295.96/296.05 c 295s | 19 | 630455 | 558882 | 8781 156 | 5 | 215 297.95/298.05 c 297s | 19 | 634305 | 562282 | 8781 157 | 5 | 215 299.95/300.07 c 299s | 19 | 638176 | 565582 | 8781 158 | 5 | 215 302.05/302.15 c 302s | 19 | 641882 | 568882 | 8781 159 | 5 | 215 304.05/304.19 c 304s | 19 | 645808 | 572482 | 8781 159 | 5 | 215 306.15/306.24 c 306s | 19 | 649734 | 575982 | 8781 160 | 5 | 215 308.15/308.27 c 308s | 19 | 653345 | 579282 | 8781 161 | 5 | 215 310.15/310.27 c 310s | 19 | 656825 | 582382 | 8781 162 | 5 | 215 312.25/312.37 c 312s | 19 | 660288 | 585482 | 8781 162 | 8 | 270 314.25/314.39 c 314s | 19 | 665291 | 589782 | 8781 162 | 8 | 270 316.34/316.44 c 316s | 19 | 668811 | 592982 | 8781 163 | 8 | 270 318.34/318.46 c 318s | 19 | 672708 | 596282 | 8781 163 | 8 | 270 320.34/320.48 c 320s | 19 | 676381 | 599382 | 8781 164 | 8 | 270 322.44/322.50 c 322s | 19 | 679832 | 602282 | 8781 165 | 8 | 270 324.34/324.50 c 324s | 19 | 683405 | 605382 | 8781 165 | 8 | 270 326.44/326.53 c 326s | 19 | 687007 | 608582 | 8781 166 | 8 | 270 328.44/328.59 c 328s | 19 | 690748 | 611782 | 8781 167 | 8 | 270 330.54/330.64 c 330s | 19 | 694296 | 614882 | 8781 167 | 8 | 270 332.54/332.69 c 332s | 19 | 698091 | 618282 | 8781 168 | 8 | 270 334.64/334.75 c 334s | 19 | 701250 | 621182 | 8781 169 | 8 | 270 336.74/336.80 c 336s | 19 | 704730 | 624282 | 8781 170 | 8 | 270 338.75/338.81 c 338s | 19 | 708664 | 627682 | 8781 170 | 8 | 270 340.74/340.86 c 340s | 19 | 712580 | 631082 | 8781 171 | 8 | 270 342.74/342.87 c 342s | 19 | 716736 | 634782 | 8781 172 | 8 | 270 344.84/344.90 c 344s | 19 | 720435 | 637882 | 8781 173 | 8 | 270 346.84/346.92 c 346s | 19 | 724495 | 641282 | 8781 173 | 8 | 270 348.84/348.93 c 348s | 19 | 728293 | 644582 | 8781 174 | 8 | 270 350.85/350.93 c 350s | 19 | 731894 | 647682 | 8781 175 | 8 | 270 352.84/352.94 c 352s | 19 | 735638 | 650782 | 8781 175 | 8 | 270 354.94/355.01 c 354s | 19 | 739771 | 653982 | 8781 176 | 8 | 270 356.94/357.03 c 356s | 19 | 743724 | 657382 | 8781 177 | 8 | 270 358.94/359.04 c 358s | 19 | 747248 | 660382 | 8781 178 | 8 | 270 360.94/361.05 c 360s | 19 | 751054 | 663682 | 9660 178 | 8 | 270 362.94/363.08 c 362s | 19 | 754507 | 666682 | 9660 179 | 8 | 270 363.14/363.23 c 363s | 20 | 754684 | 666827 | 9660 179 | 8 | 270 365.14/365.29 c 365s | 20 | 758598 | 670027 | 9660 179 | 8 | 270 367.23/367.34 c 367s | 20 | 762141 | 673227 | 9660 180 | 8 | 270 369.23/369.38 c 369s | 20 | 765688 | 676427 | 9660 181 | 8 | 270 371.33/371.42 c 371s | 20 | 769357 | 679827 | 9660 181 | 8 | 270 373.33/373.42 c 373s | 20 | 773296 | 683427 | 9660 182 | 8 | 270 375.33/375.47 c 375s | 20 | 777125 | 686927 | 9660 183 | 8 | 270 377.43/377.52 c 377s | 20 | 780822 | 690327 | 9660 184 | 8 | 270 379.44/379.55 c 379s | 20 | 784639 | 693827 | 9660 184 | 8 | 270 381.43/381.57 c 381s | 20 | 788683 | 697527 | 9660 185 | 8 | 270 383.43/383.59 c 383s | 20 | 792445 | 700927 | 9660 186 | 8 | 270 385.53/385.60 c 385s | 20 | 796111 | 704327 | 9660 186 | 8 | 270 387.54/387.64 c 387s | 20 | 800714 | 708227 | 9660 187 | 8 | 270 389.53/389.66 c 389s | 20 | 804532 | 711527 | 9660 188 | 8 | 270 391.54/391.67 c 391s | 20 | 808357 | 714727 | 9660 188 | 8 | 270 393.63/393.71 c 393s | 20 | 812335 | 718127 | 9660 189 | 8 | 270 395.63/395.73 c 395s | 20 | 815490 | 720927 | 9660 190 | 8 | 270 397.63/397.77 c 397s | 20 | 819512 | 724627 | 9660 191 | 8 | 270 399.73/399.81 c 399s | 20 | 824147 | 728427 | 9660 191 | 8 | 270 401.73/401.81 c 401s | 20 | 827883 | 731527 | 9660 192 | 8 | 270 403.74/403.87 c 403s | 20 | 831270 | 734527 | 9660 193 | 8 | 270 405.84/405.95 c 405s | 20 | 835085 | 737927 | 9660 193 | 8 | 270 407.93/408.00 c 407s | 20 | 838419 | 740927 | 9660 194 | 8 | 270 409.92/410.03 c 409s | 20 | 841854 | 743927 | 9660 194 | 8 | 270 411.92/412.03 c 411s | 20 | 845555 | 747227 | 9660 195 | 8 | 270 413.92/414.08 c 413s | 20 | 849560 | 750627 | 9660 196 | 8 | 270 416.02/416.11 c 416s | 20 | 853383 | 754027 | 9660 196 | 8 | 270 418.03/418.14 c 418s | 20 | 857087 | 757327 | 9660 197 | 8 | 270 420.02/420.16 c 420s | 20 | 860802 | 760627 | 9660 198 | 8 | 270 422.02/422.17 c 422s | 20 | 864425 | 763827 | 9660 198 | 8 | 270 424.12/424.21 c 424s | 20 | 868270 | 767227 | 9660 199 | 8 | 270 426.12/426.24 c 426s | 20 | 871619 | 770127 | 9660 200 | 8 | 270 428.11/428.28 c 428s | 20 | 875653 | 773727 | 9660 200 | 8 | 270 430.21/430.31 c 430s | 20 | 879631 | 777427 | 9660 201 | 8 | 270 432.22/432.36 c 432s | 20 | 883504 | 781027 | 9660 202 | 8 | 270 434.31/434.40 c 434s | 20 | 887397 | 784627 | 9660 203 | 8 | 270 436.31/436.46 c 436s | 20 | 891679 | 788427 | 9660 203 | 8 | 270 438.31/438.49 c 438s | 20 | 895838 | 791927 | 9660 204 | 8 | 270 440.40/440.51 c 440s | 20 | 899323 | 795027 | 9660 205 | 8 | 270 442.40/442.55 c 442s | 20 | 902810 | 798127 | 9660 205 | 8 | 270 444.41/444.59 c 444s | 20 | 906251 | 801227 | 9660 206 | 8 | 270 446.51/446.61 c 446s | 20 | 909655 | 804127 | 9660 207 | 8 | 270 448.51/448.62 c 448s | 20 | 913298 | 807327 | 9660 207 | 8 | 270 450.50/450.63 c 450s | 20 | 916973 | 810627 | 9660 208 | 8 | 270 452.50/452.65 c 452s | 20 | 920383 | 813727 | 9660 209 | 8 | 270 454.50/454.66 c 454s | 20 | 924089 | 816927 | 9660 209 | 8 | 270 456.51/456.66 c 456s | 20 | 927847 | 820027 | 9660 210 | 8 | 270 458.50/458.68 c 458s | 20 | 931455 | 823127 | 9660 210 | 8 | 270 460.60/460.71 c 460s | 20 | 934762 | 826127 | 9660 211 | 8 | 270 462.59/462.72 c 462s | 20 | 937920 | 828827 | 9660 212 | 8 | 270 464.59/464.78 c 464s | 20 | 941794 | 832127 | 9660 212 | 8 | 270 466.59/466.79 c 466s | 20 | 945345 | 835227 | 9660 213 | 8 | 270 468.60/468.79 c 468s | 20 | 948760 | 838227 | 9660 214 | 8 | 270 470.70/470.84 c 470s | 20 | 952630 | 841727 | 9660 214 | 8 | 270 472.69/472.89 c 472s | 20 | 956221 | 844927 | 9660 215 | 8 | 270 474.79/474.90 c 474s | 20 | 959242 | 847727 | 9660 215 | 8 | 270 476.79/476.92 c 476s | 20 | 962880 | 851027 | 9660 216 | 8 | 270 478.79/478.94 c 478s | 20 | 966592 | 854427 | 9660 217 | 8 | 270 480.79/480.99 c 480s | 20 | 970235 | 857527 | 9660 217 | 8 | 270 482.89/483.06 c 482s | 20 | 974144 | 860927 | 9660 218 | 8 | 270 484.99/485.11 c 485s | 20 | 977830 | 864227 | 9660 219 | 8 | 270 486.99/487.14 c 487s | 20 | 981446 | 867427 | 9660 219 | 8 | 270 488.99/489.16 c 489s | 20 | 985322 | 870727 | 9660 220 | 8 | 270 490.98/491.18 c 491s | 20 | 988500 | 873427 | 9660 221 | 8 | 270 493.08/493.21 c 493s | 20 | 992397 | 876927 | 9660 221 | 8 | 270 495.08/495.24 c 495s | 20 | 996422 | 880627 | 9660 222 | 8 | 270 497.09/497.28 c 497s | 20 | 1000098 | 884127 | 9660 223 | 8 | 270 499.08/499.28 c 499s | 20 | 1003532 | 887327 | 9660 224 | 8 | 270 501.08/501.28 c 501s | 20 | 1007364 | 890927 | 9660 224 | 8 | 270 503.18/503.32 c 503s | 20 | 1011391 | 894427 | 9660 225 | 8 | 270 505.18/505.33 c 505s | 20 | 1014669 | 897227 | 9660 226 | 8 | 270 507.18/507.39 c 507s | 20 | 1018696 | 900727 | 9660 226 | 8 | 270 509.29/509.45 c 509s | 20 | 1022235 | 903827 | 9660 227 | 8 | 270 511.28/511.49 c 511s | 20 | 1025582 | 906827 | 9660 227 | 8 | 270 513.38/513.51 c 513s | 20 | 1029304 | 910027 | 9660 228 | 8 | 270 515.38/515.56 c 515s | 20 | 1033101 | 913227 | 9660 229 | 8 | 270 517.48/517.60 c 517s | 20 | 1036375 | 916027 | 9660 229 | 8 | 270 519.47/519.61 c 519s | 20 | 1040354 | 919527 | 9660 230 | 8 | 270 521.47/521.64 c 521s | 20 | 1044030 | 922727 | 9660 231 | 8 | 270 523.48/523.64 c 523s | 20 | 1047797 | 925927 | 9660 231 | 8 | 270 525.57/525.74 c 525s | 20 | 1051371 | 929127 | 9660 232 | 8 | 270 527.57/527.75 c 527s | 20 | 1054760 | 932127 | 9660 233 | 8 | 270 529.57/529.78 c 529s | 20 | 1058522 | 935527 | 9660 233 | 8 | 270 531.67/531.82 c 531s | 20 | 1062102 | 938727 | 9660 234 | 8 | 270 533.67/533.83 c 533s | 20 | 1065290 | 941627 | 9660 235 | 8 | 270 535.67/535.84 c 535s | 20 | 1069210 | 945027 | 9660 235 | 8 | 270 537.67/537.86 c 537s | 20 | 1073524 | 948627 | 9660 236 | 8 | 270 539.66/539.87 c 539s | 20 | 1077226 | 951827 | 9660 237 | 8 | 270 541.76/541.90 c 541s | 20 | 1080963 | 955127 | 9660 237 | 8 | 270 543.76/543.94 c 543s | 20 | 1084331 | 958127 | 9660 238 | 8 | 270 545.86/546.00 c 545s | 20 | 1087858 | 961227 | 9660 239 | 8 | 270 547.86/548.03 c 547s | 20 | 1091740 | 964727 | 9660 239 | 8 | 270 549.87/550.07 c 549s | 20 | 1095345 | 967927 | 9660 240 | 8 | 270 551.96/552.13 c 552s | 20 | 1098913 | 971027 | 9660 240 | 8 | 270 554.06/554.20 c 554s | 20 | 1102719 | 974427 | 9660 241 | 8 | 270 556.06/556.22 c 556s | 20 | 1106101 | 977427 | 9660 242 | 8 | 270 558.06/558.26 c 558s | 20 | 1109597 | 980527 | 9660 242 | 8 | 270 560.05/560.29 c 560s | 20 | 1112953 | 983527 | 9660 243 | 8 | 270 562.06/562.30 c 562s | 20 | 1116878 | 986827 | 9660 244 | 8 | 270 564.16/564.33 c 564s | 20 | 1120611 | 990127 | 9660 244 | 8 | 270 566.15/566.36 c 566s | 20 | 1124343 | 993327 | 10626 245 | 8 | 270 568.25/568.41 c 568s | 20 | 1127770 | 996227 | 10626 245 | 8 | 270 570.25/570.44 c 570s | 20 | 1131555 | 999527 | 10626 246 | 8 | 270 570.76/570.94 c 570s | 21 | 1132491 | 1000345 | 10626 246 | 8 | 270 572.75/572.95 c 572s | 21 | 1135822 | 1003345 | 10626 247 | 8 | 270 574.85/575.01 c 574s | 21 | 1139370 | 1006545 | 10626 247 | 8 | 270 576.85/577.01 c 576s | 21 | 1142643 | 1009545 | 10626 248 | 8 | 270 578.85/579.09 c 578s | 21 | 1145948 | 1012545 | 10626 248 | 8 | 270 580.84/581.09 c 580s | 21 | 1149360 | 1015445 | 10626 249 | 8 | 270 582.85/583.10 c 582s | 21 | 1152669 | 1018445 | 10626 249 | 8 | 270 584.94/585.11 c 585s | 21 | 1156272 | 1021745 | 10626 250 | 8 | 270 586.94/587.15 c 587s | 21 | 1159444 | 1024645 | 10626 251 | 8 | 270 588.94/589.19 c 589s | 21 | 1163126 | 1027945 | 10626 251 | 8 | 270 591.04/591.21 c 591s | 21 | 1166465 | 1030945 | 10626 252 | 8 | 270 593.04/593.23 c 593s | 21 | 1170006 | 1034045 | 10626 252 | 8 | 270 595.05/595.28 c 595s | 21 | 1173485 | 1037145 | 10626 253 | 8 | 270 597.05/597.28 c 597s | 21 | 1176974 | 1040145 | 10626 254 | 8 | 270 599.05/599.29 c 599s | 21 | 1180976 | 1043745 | 10626 254 | 8 | 270 601.15/601.31 c 601s | 21 | 1184730 | 1047045 | 10626 255 | 8 | 270 603.15/603.36 c 603s | 21 | 1188683 | 1050645 | 10626 255 | 8 | 270 605.15/605.38 c 605s | 21 | 1192584 | 1054245 | 10626 256 | 8 | 270 607.24/607.43 c 607s | 21 | 1196125 | 1057545 | 10626 257 | 8 | 270 609.25/609.48 c 609s | 21 | 1199562 | 1060745 | 10626 257 | 8 | 270 611.34/611.51 c 611s | 21 | 1203391 | 1064245 | 10626 258 | 8 | 270 613.34/613.52 c 613s | 21 | 1207056 | 1067545 | 10626 259 | 8 | 270 615.34/615.56 c 615s | 21 | 1211143 | 1071345 | 10626 259 | 8 | 270 617.44/617.60 c 617s | 21 | 1214991 | 1074845 | 10626 260 | 8 | 270 619.44/619.61 c 619s | 21 | 1218439 | 1077845 | 10626 261 | 8 | 270 621.44/621.64 c 621s | 21 | 1222976 | 1081845 | 10626 261 | 8 | 270 623.44/623.65 c 623s | 21 | 1227500 | 1085945 | 10626 262 | 8 | 270 625.64/625.81 c 625s | 21 | 1230619 | 1088745 | 10626 263 | 13 | 329 627.64/627.81 c 627s | 21 | 1236365 | 1093945 | 10626 263 | 13 | 329 629.63/629.84 c 629s | 21 | 1240603 | 1097745 | 10626 263 | 13 | 329 631.63/631.89 c 631s | 21 | 1244732 | 1101445 | 10626 264 | 13 | 329 633.73/633.94 c 633s | 21 | 1248348 | 1104645 | 10626 265 | 13 | 329 635.74/635.94 c 635s | 21 | 1251932 | 1107845 | 10626 265 | 13 | 329 637.73/637.98 c 637s | 21 | 1254923 | 1110445 | 10626 266 | 13 | 329 639.83/640.03 c 639s | 21 | 1258691 | 1113745 | 10626 266 | 13 | 329 641.83/642.06 c 641s | 21 | 1262205 | 1116745 | 10626 267 | 13 | 329 643.93/644.13 c 644s | 21 | 1265985 | 1119945 | 10626 267 | 13 | 329 645.93/646.14 c 646s | 21 | 1269380 | 1123045 | 10626 268 | 13 | 329 647.93/648.15 c 648s | 21 | 1272307 | 1125745 | 10626 269 | 13 | 329 649.93/650.18 c 650s | 21 | 1275943 | 1129045 | 10626 269 | 13 | 329 652.32/652.50 c 652s | 21 | 1279227 | 1132045 | 10626 270 | 13 | 329 654.33/654.55 c 654s | 21 | 1283208 | 1135545 | 10626 270 | 13 | 329 656.42/656.60 c 656s | 21 | 1286702 | 1138645 | 10626 271 | 13 | 329 658.42/658.65 c 658s | 21 | 1290154 | 1141745 | 10626 271 | 13 | 329 660.42/660.68 c 660s | 21 | 1293375 | 1144645 | 10626 272 | 13 | 329 662.52/662.79 c 662s | 21 | 1296387 | 1147445 | 10626 273 | 13 | 329 664.62/664.80 c 664s | 21 | 1300568 | 1151145 | 10626 273 | 13 | 329 666.62/666.84 c 666s | 21 | 1304431 | 1154745 | 10626 274 | 13 | 329 668.62/668.89 c 668s | 21 | 1307940 | 1157745 | 10626 274 | 13 | 329 670.71/670.93 c 670s | 21 | 1311937 | 1161145 | 10626 275 | 13 | 329 672.71/672.98 c 672s | 21 | 1315424 | 1164145 | 10626 276 | 13 | 329 674.81/675.03 c 674s | 21 | 1319268 | 1167445 | 10626 276 | 13 | 329 676.81/677.05 c 676s | 21 | 1322796 | 1170645 | 10626 277 | 13 | 329 678.81/679.07 c 678s | 21 | 1326060 | 1173745 | 10626 277 | 13 | 329 680.91/681.10 c 680s | 21 | 1329881 | 1177345 | 10626 278 | 13 | 329 682.81/683.10 c 682s | 21 | 1333262 | 1180545 | 10626 279 | 13 | 329 684.91/685.12 c 685s | 21 | 1336826 | 1183945 | 10626 279 | 13 | 329 687.01/687.20 c 687s | 21 | 1339916 | 1186845 | 10626 280 | 13 | 329 689.01/689.23 c 689s | 21 | 1343414 | 1190045 | 10626 280 | 13 | 329 691.00/691.27 c 691s | 21 | 1347481 | 1193645 | 10626 281 | 13 | 329 693.10/693.30 c 693s | 21 | 1350570 | 1196445 | 10626 282 | 13 | 329 695.01/695.30 c 695s | 21 | 1354214 | 1199845 | 10626 282 | 13 | 329 697.10/697.33 c 697s | 21 | 1357712 | 1203045 | 10626 283 | 13 | 329 699.20/699.40 c 699s | 21 | 1361291 | 1206345 | 10626 283 | 13 | 329 701.20/701.46 c 701s | 21 | 1365102 | 1209745 | 10626 284 | 13 | 329 703.20/703.48 c 703s | 21 | 1368102 | 1212545 | 10626 285 | 13 | 329 705.29/705.51 c 705s | 21 | 1372098 | 1216045 | 10626 285 | 17 | 434 707.29/707.52 c 707s | 21 | 1375943 | 1219545 | 10626 285 | 17 | 434 709.30/709.55 c 709s | 21 | 1379804 | 1223045 | 10626 286 | 24 | 497 711.29/711.56 c 711s | 21 | 1384815 | 1227645 | 10626 286 | 24 | 497 713.29/713.57 c 713s | 21 | 1388967 | 1231445 | 10626 286 | 33 | 564 715.39/715.63 c 715s | 21 | 1392949 | 1235045 | 10626 286 | 33 | 564 717.49/717.71 c 717s | 21 | 1396213 | 1237945 | 10626 287 | 33 | 564 719.49/719.75 c 719s | 21 | 1400249 | 1241545 | 10626 287 | 33 | 564 721.50/721.78 c 721s | 21 | 1403496 | 1244445 | 10626 288 | 33 | 564 723.60/723.83 c 723s | 21 | 1407147 | 1247645 | 10626 288 | 33 | 564 725.59/725.85 c 725s | 21 | 1410980 | 1251145 | 10626 289 | 33 | 564 727.59/727.88 c 727s | 21 | 1414229 | 1253945 | 10626 289 | 33 | 564 729.59/729.90 c 729s | 21 | 1418182 | 1257445 | 10626 290 | 33 | 564 731.69/731.92 c 731s | 21 | 1421824 | 1260745 | 10626 291 | 33 | 564 733.69/733.97 c 733s | 21 | 1425495 | 1264145 | 10626 291 | 33 | 564 735.80/736.01 c 735s | 21 | 1429055 | 1267145 | 10626 292 | 33 | 564 737.79/738.05 c 737s | 21 | 1433438 | 1270945 | 10626 293 | 33 | 564 739.78/740.07 c 739s | 21 | 1437602 | 1274745 | 10626 293 | 33 | 564 741.48/741.70 c 741s | 21 | 1440743 | 1277624 | 10626 294 | 459 | 1956 741.48/741.70 c #cpu_time = 739.559s 741.48/741.70 c #wall_clock_time = 741.598s 741.48/741.70 c #decision = 1440743 741.48/741.70 c #random_decision = 4851 741.48/741.70 c #conflict = 1277624 741.48/741.70 c #restart = 21 741.48/741.70 s UNSATISFIABLE 741.48/741.70 c total CPU time = 739.660s 741.48/741.70 c total wall clock time = 741.700s
ERROR: no interpretation found !
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-4097051-1466116281/watcher-4097051-1466116281 -o /tmp/evaluation-result-4097051-1466116281/solver-4097051-1466116281 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31871 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097051-1466116281.opb pid=2018 running on 4 cores: 0,2,4,6 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.01 2.01 2.00 3/179 2021 /proc/meminfo: memFree=30738916/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=734652 CPUtime=0 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 2741 0 0 0 0 0 0 0 20 0 4 0 13672941 752283648 3101 33554432000 4194304 16246674 140735553928736 140735553928160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 184431 3111 441 2943 0 181325 0 [pid=2021/tid=2022] ppid=2018 vsize=785852 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 804712448 3300 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=789948 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 808906752 3319 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=795068 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672941 814149632 3336 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100069 s] /proc/loadavg: 2.01 2.01 2.00 3/179 2021 /proc/meminfo: memFree=30738916/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 27853 0 0 0 5 4 0 0 20 0 4 0 13672941 1247350784 28204 33554432000 4194304 16246674 140735553928736 140735553928160 13932337 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 304529 28211 636 2943 0 301423 0 [pid=2021/tid=2022] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 28215 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 28221 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 28226 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20051 s] /proc/loadavg: 2.01 2.01 2.00 3/179 2021 /proc/meminfo: memFree=30738916/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 49067 0 0 0 12 7 0 0 20 0 4 0 13672941 1247350784 49417 33554432000 4194304 16246674 140735553928736 140735553928160 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 304529 49429 720 2943 0 301423 0 [pid=2021/tid=2022] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 49433 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 49437 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 49444 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300475 s] /proc/loadavg: 2.01 2.01 2.00 3/179 2021 /proc/meminfo: memFree=30738916/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 69897 0 0 0 19 10 0 0 20 0 4 0 13672941 1247350784 70247 33554432000 4194304 16246674 140735553928736 140735553910656 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 304529 70256 720 2943 0 301423 0 [pid=2021/tid=2022] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 70261 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 70265 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 70268 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700397 s] /proc/loadavg: 2.01 2.01 2.00 3/179 2021 /proc/meminfo: memFree=30738916/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 152539 0 0 0 48 21 0 0 20 0 4 0 13672941 1247350784 152889 33554432000 4194304 16246674 140735553928736 140735553910656 5662594 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 304529 152897 720 2943 0 301423 0 [pid=2021/tid=2022] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 152903 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 152911 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672941 1247350784 152917 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.01 2.01 2.00 3/183 2025 /proc/meminfo: memFree=29799388/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1222212 CPUtime=1.49 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 246344 0 0 0 115 34 0 0 20 0 4 0 13672941 1251545088 246673 33554432000 4194304 16246674 140735553928736 140735553910656 6837644 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 305553 246673 794 2943 0 302447 0 [pid=2021/tid=2022] ppid=2018 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1251545088 246673 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1251545088 246673 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1251545088 246673 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1222212 [startup+3.1003 s] /proc/loadavg: 2.01 2.01 2.00 3/183 2025 /proc/meminfo: memFree=29672412/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 267443 0 0 0 271 38 0 0 20 0 4 0 13672941 1337528320 267772 33554432000 4194304 16246674 140735553928736 140735553910656 5672971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 326545 267772 794 2943 0 323439 0 [pid=2021/tid=2022] ppid=2018 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1337528320 267772 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1337528320 267772 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1337528320 267772 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.01 2.01 2.00 3/183 2025 /proc/meminfo: memFree=29667504/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 267954 0 0 0 591 38 0 0 20 0 4 0 13672941 1339625472 268283 33554432000 4194304 16246674 140735553928736 140735553910656 5675369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 327057 268283 794 2943 0 323951 0 [pid=2021/tid=2022] ppid=2018 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1339625472 268283 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1339625472 268283 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1339625472 268283 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.01 2.01 2.00 3/183 2025 /proc/meminfo: memFree=29661752/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1312324 CPUtime=12.69 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 269113 0 0 0 1231 38 0 0 20 0 4 0 13672941 1343819776 269442 33554432000 4194304 16246674 140735553928736 140735553911736 4220819 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 328081 269442 796 2943 0 324975 0 [pid=2021/tid=2022] ppid=2018 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1343819776 269442 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1343819776 269442 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1343819776 269442 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.00 2.01 2.00 3/183 2025 /proc/meminfo: memFree=29657436/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1317444 CPUtime=25.49 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 270393 0 0 0 2511 38 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140735553910656 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 329361 270722 796 2943 0 326255 0 [pid=2021/tid=2022] ppid=2018 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1317444 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.00 3/183 2025 /proc/meminfo: memFree=29657512/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1317444 CPUtime=51.08 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 270393 0 0 0 5070 38 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140735553910656 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 329361 270722 796 2943 0 326255 0 [pid=2021/tid=2022] ppid=2018 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1349062656 270722 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1317444 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2027 /proc/meminfo: memFree=29654172/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1320516 CPUtime=102.29 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 271161 0 0 0 10190 39 0 0 20 0 4 0 13672941 1352208384 271490 33554432000 4194304 16246674 140735553928736 140735553910656 5522972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 330129 271490 796 2943 0 327023 0 [pid=2021/tid=2022] ppid=2018 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1352208384 271490 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1352208384 271490 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1352208384 271490 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274328 0 0 0 58172 42 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553910656 5673495 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1332804 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2089 /proc/meminfo: memFree=29660652/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=642.13 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274361 0 0 0 64170 43 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553927832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1332804 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2091 /proc/meminfo: memFree=29660556/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=702.1 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274392 0 0 0 70167 43 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553911736 5822472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1332804 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2021 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+716.8 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2091 /proc/meminfo: memFree=29660292/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=716.59 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274399 0 0 0 71616 43 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553910656 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 716.59 Current children cumulated vsize (KiB) 1332804 [startup+729.6 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2091 /proc/meminfo: memFree=29660648/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=729.39 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274405 0 0 0 72895 44 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553910656 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 729.39 Current children cumulated vsize (KiB) 1332804 [startup+736.007 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2092 /proc/meminfo: memFree=29660500/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=735.8 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274406 0 0 0 73536 44 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553910656 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 735.8 Current children cumulated vsize (KiB) 1332804 [startup+739.2 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2092 /proc/meminfo: memFree=29660500/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=739 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274406 0 0 0 73856 44 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553910656 5676365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 739 Current children cumulated vsize (KiB) 1332804 [startup+740.8 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2092 /proc/meminfo: memFree=29660592/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=740.58 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274413 0 0 0 74014 44 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553910656 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 740.58 Current children cumulated vsize (KiB) 1332804 [startup+741.2 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2092 /proc/meminfo: memFree=29660592/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=740.98 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274413 0 0 0 74054 44 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140735553910656 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274818 796 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274818 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 740.98 Current children cumulated vsize (KiB) 1332804 [startup+741.6 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2092 /proc/meminfo: memFree=29660592/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=741.38 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274414 0 0 0 74094 44 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140735553927912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274819 797 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 741.38 Current children cumulated vsize (KiB) 1332804 [startup+741.7 s] /proc/loadavg: 2.00 2.00 2.00 3/183 2092 /proc/meminfo: memFree=29660592/32872528 swapFree=7268/7268 [pid=2021] ppid=2018 vsize=1332804 CPUtime=741.48 cores=0,2,4,6 /proc/2021/stat : 2021 (toysat) R 2018 2021 29295 0 -1 4202496 274414 0 0 0 74104 44 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140735553927912 5532227 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2021/statm: 333201 274819 797 2943 0 330095 0 [pid=2021/tid=2022] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2022/stat : 2022 (toysat) S 2018 2021 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140439947554032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2021/tid=2023] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2023/stat : 2023 (toysat) S 2018 2021 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140439860522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2021/tid=2024] ppid=2018 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/2021/task/2024/stat : 2024 (toysat) S 2018 2021 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13672941 1364791296 274819 33554432000 4194304 16246674 140735553928736 140439850048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 741.48 Current children cumulated vsize (KiB) 1332804 Child status: 0 Real time (s): 741.738 CPU time (s): 741.522 CPU user time (s): 741.051 CPU system time (s): 0.470928 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1332804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 741.051 system time used= 0.470928 maximum resident set size= 1099288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274419 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= 200 involuntary context switches= 805 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.90771 second user time and 2.84357 second system time The end
Begin job on node151 at 2016-06-17 00:31:21 IDJOB=4097051 IDBENCH=107702 IDSOLVER=2542 FILE ID=node151/4097051-1466116281 RUNJOBID= node151-1466112624-31871 PBS_JOBID= 19904038 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_19.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097051-1466116281/watcher-4097051-1466116281 -o /tmp/evaluation-result-4097051-1466116281/solver-4097051-1466116281 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31871 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097051-1466116281.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 78787402ce331c7b72f08d9e4f646743 RANDOM SEED=1486647605 node151.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 : 2667.103 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 : 5334.20 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 : 2667.103 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 : 2667.103 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 : 2667.103 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 : 2667.103 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.54 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 : 2667.103 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 : 2667.103 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 : 2667.103 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: 30739636 kB Buffers: 66736 kB Cached: 163908 kB SwapCached: 61592 kB Active: 1245500 kB Inactive: 174416 kB Active(anon): 1130200 kB Inactive(anon): 61036 kB Active(file): 115300 kB Inactive(file): 113380 kB Unevictable: 7268 kB Mlocked: 7268 kB SwapTotal: 67108856 kB SwapFree: 67038988 kB Dirty: 16440 kB Writeback: 0 kB AnonPages: 1135512 kB Mapped: 10620 kB Shmem: 0 kB Slab: 572624 kB SReclaimable: 15724 kB SUnreclaim: 556900 kB KernelStack: 1488 kB PageTables: 6444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1279320 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1122304 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= 71716 MiB End job on node151 at 2016-06-17 00:43:43