| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.25 | 1800.58 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb |
| MD5SUM | 24e8096a6d8928e5a9e214fdf85bd87e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 51973 |
| Optimality of the best value was proved | NO |
| Number of variables | 282240 |
| Total number of constraints | 3136 |
| 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 | 3136 |
| Minimum length of a constraint | 150 |
| Maximum length of a constraint | 720 |
| Number of terms in the objective function | 188160 |
| Biggest coefficient in the objective function | 42 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 683648 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 80921 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 683648 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T05:29:10+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-4101017-1466220549.opb"] 0.00/0.01 c use --random-gen="934796340 2727646993 3940569732 1823854810 239085215 4141942653 509898883 1802416028 1144950962 4072023275 3212614269 1397811991 3733518128 1295630522 1045219924 334080304 3238662699 2607071730 2485812490 1665623776 4189295530 1934607618 2428533192 3536582948 2716834876 3917088990 2399171703 3619472445 2767531549 2828833394 3162997212 2068170406 574540607 1564637552 1802699507 1298306622 449282023 2354617536 1605365045 2387641688 3638389663 4046998685 783038431 2254334892 346820336 3586335715 228830029 926849044 2832161163 2338069528 2815257114 1144373197 2027000307 1345945951 1750394589 2661402948 1948441074 2751912103 360961018 52710754 2533717825 581875284 4206704325 2535425623 962036716 552495731 4155869055 3578668481 4029145290 2549182525 1239644978 1296372843 3388277091 464228964 1394685605 2156850416 747902593 1798741856 4292066634 3177840589 207153391 3084541073 619844153 1195623207 1259730322 2694218710 3868135416 2097054981 2693655351 2790221433 1603886844 518215169 764577236 1269531866 1397852559 3025811218 3395652441 3361646747 4054007365 3742622158 1112342006 845937577 177293515 2902681913 2078381353 1145092238 1583812085 3469377214 1767567893 2247008097 1238236115 2048122144 1803088958 3245031134 2592486335 554080367 1657841320 230252774 2582192040 2322738861 2622545 324754098 3378138886 2670709859 2625001132 4193808525 442414047 3522532348 3818831648 2820515965 1126096919 629787184 634199472 3017640586 3212375703 3494756859 2835224883 1867919487 1578236614 2957581828 2061336710 2618425974 4288574969 1843888239 240861761 703907229 2587522138 406295524 608272918 529865039 2153864233 3570858685 762744028 285899644 3698908169 761076666 2439105892 2402872874 2509638436 1481749375 3038933604 3500883257 1143669281 1278769267 2203938529 2937177700 2136832430 3086855801 4168827710 2013785813 1113609746 1826969500 3452979401 1005956348 4216963806 3455545890 3458481179 1164705350 3420040612 1706117063 2656136717 1324589340 1741220192 664979554 3046812332 3570490199 2949319653 156028382 129624969 1405031239 2486578594 445229238 3341850582 4276278342 2794799265 4027553360 2818393811 1227342414 3241137843 1833051645 1451728043 2522891338 4202999189 4077671748 744650536 2571701785 2908876016 1477633232 151063057 3222897194 1033803634 1896377466 3369472072 1605574749 300841915 3836305763 2999432452 3715375706 305212717 1256297209 708242312 923566935 2258245034 2206384101 479200819 844243300 1054005289 3599052737 184666566 4247770109 1032974638 513762064 3612477275 3219593865 243306641 3510650987 4174951683 1046363428 3078041176 1429220447 1425276400 2075460325 385103975 823956095 3757958682 3770135417 536284697 1862001759 3096082754 3309819662 1996373236 1921532522 2596689143 2689183032 2781782878 2215240654 255 362436" option to reproduce the execution 4.09/4.10 c #vars 282240 4.09/4.10 c #constraints 3136 34.29/34.38 c BCD2: Hardening is enabled. 34.29/34.38 c BCD2: BiasedSearch is enabled. 34.29/34.38 c Solving starts ... 34.29/34.38 c ============================[ Search Statistics ]============================ 34.29/34.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 34.29/34.38 c | | | | Limit GC | Var | Constra 34.29/34.38 c ============================================================================= 34.29/34.38 c 0.0s | 0 | 0 | 0 | 96170 0 | 0 | 0 37.59/37.66 c 3.3s | 0 | 69154 | 100 | 96170 0 | 0 | 0 38.19/38.28 c 3.9s | 1 | 69154 | 100 | 96170 0 | 0 | 0 40.38/40.40 c 6.0s | 1 | 121220 | 200 | 105788 0 | 0 | 0 40.98/41.08 c 6.7s | 2 | 121293 | 250 | 105788 0 | 0 | 0 42.28/42.33 c 7.9s | 3 | 123767 | 475 | 116367 0 | 0 | 0 44.28/44.37 c 10.0s | 4 | 124551 | 813 | 128004 0 | 0 | 0 46.29/46.38 c 12.0s | 4 | 126117 | 1113 | 140805 0 | 0 | 0 47.29/47.34 c 13.0s | 5 | 126338 | 1320 | 140805 0 | 0 | 0 49.78/49.84 c 15.5s | 5 | 155769 | 1420 | 154886 0 | 0 | 0 52.18/52.29 c 17.9s | 5 | 155968 | 1620 | 154886 0 | 0 | 0 55.38/55.42 c 21.0s | 5 | 179133 | 1820 | 154886 0 | 0 | 0 57.98/58.02 c 23.6s | 5 | 179408 | 2020 | 154886 0 | 0 | 0 58.98/59.05 c 24.7s | 6 | 179463 | 2081 | 170375 0 | 0 | 0 61.47/61.51 c 27.1s | 6 | 223013 | 2181 | 170375 0 | 0 | 0 64.48/64.54 c 30.2s | 6 | 223321 | 2481 | 170375 0 | 0 | 0 66.48/66.60 c 32.2s | 6 | 223532 | 2681 | 170375 0 | 0 | 0 68.68/68.75 c 34.4s | 6 | 223728 | 2881 | 170375 0 | 0 | 0 70.77/70.85 c 36.5s | 6 | 223946 | 3081 | 170375 0 | 0 | 0 73.48/73.53 c 39.1s | 6 | 224027 | 3181 | 170375 0 | 0 | 0 74.27/74.30 c 39.9s | 7 | 224082 | 3223 | 187413 0 | 0 | 0 76.38/76.46 c 42.1s | 7 | 273535 | 3323 | 187413 0 | 0 | 0 78.38/78.48 c 44.1s | 7 | 274037 | 3823 | 187413 0 | 0 | 0 80.58/80.62 c 46.2s | 7 | 281315 | 4123 | 187413 0 | 0 | 0 83.68/83.76 c 49.4s | 7 | 281525 | 4323 | 187413 0 | 0 | 0 86.38/86.41 c 52.0s | 7 | 281745 | 4523 | 187413 0 | 0 | 0 88.98/89.06 c 54.7s | 7 | 281943 | 4723 | 187413 0 | 0 | 0 91.97/92.08 c 57.7s | 7 | 282142 | 4923 | 206155 0 | 0 | 0 92.57/92.63 c 58.3s | 8 | 282157 | 4936 | 206155 0 | 0 | 0 95.37/95.45 c 61.1s | 8 | 342039 | 5036 | 206155 0 | 0 | 0 97.88/97.99 c 63.6s | 8 | 342344 | 5336 | 206155 0 | 0 | 0 100.57/100.62 c 66.2s | 8 | 342683 | 5636 | 206155 0 | 0 | 0 103.28/103.35 c 69.0s | 8 | 342994 | 5936 | 206155 0 | 0 | 0 105.97/106.02 c 71.6s | 8 | 343304 | 6236 | 206155 0 | 0 | 0 108.67/108.70 c 74.3s | 8 | 343607 | 6536 | 206155 0 | 0 | 0 111.37/111.46 c 77.1s | 8 | 343914 | 6836 | 206155 0 | 0 | 0 113.87/113.92 c 79.5s | 8 | 344248 | 7136 | 206155 0 | 0 | 0 116.37/116.48 c 82.1s | 8 | 344578 | 7436 | 206155 0 | 0 | 0 117.47/117.51 c 83.1s | 9 | 344646 | 7506 | 226771 0 | 0 | 0 121.27/121.32 c 86.9s | 9 | 437551 | 7606 | 226771 0 | 0 | 0 123.37/123.47 c 89.1s | 9 | 501170 | 7706 | 226771 0 | 0 | 0 125.77/125.87 c 91.5s | 9 | 501597 | 8006 | 226771 0 | 0 | 0 128.37/128.44 c 94.1s | 9 | 501962 | 8306 | 226771 0 | 0 | 0 131.67/131.77 c 97.4s | 9 | 540502 | 8606 | 226771 0 | 0 | 0 133.86/133.92 c 99.5s | 9 | 541634 | 8906 | 226771 0 | 0 | 0 136.87/136.93 c 102s | 9 | 541852 | 9106 | 226771 0 | 0 | 0 138.96/139.03 c 104s | 9 | 542067 | 9306 | 226771 0 | 0 | 0 141.66/141.71 c 107s | 9 | 542402 | 9606 | 226771 0 | 0 | 0 144.37/144.48 c 110s | 9 | 542717 | 9906 | 226771 0 | 0 | 0 146.96/147.09 c 112s | 9 | 543039 | 10206 | 226771 0 | 0 | 0 150.37/150.46 c 116s | 9 | 543256 | 10406 | 226771 0 | 0 | 0 153.36/153.44 c 119s | 9 | 543572 | 10706 | 226771 0 | 0 | 0 155.87/155.96 c 121s | 9 | 543909 | 11006 | 226771 0 | 0 | 0 158.26/158.30 c 123s | 9 | 544229 | 11306 | 249449 0 | 0 | 0 159.37/159.40 c 125s | 10 | 544282 | 11361 | 249449 0 | 0 | 0 164.16/164.23 c 129s | 10 | 597880 | 11761 | 249449 0 | 0 | 0 167.76/167.82 c 133s | 10 | 598077 | 11961 | 249449 0 | 0 | 0 171.46/171.50 c 137s | 10 | 598281 | 12161 | 249449 0 | 0 | 0 175.06/175.18 c 140s | 10 | 598480 | 12361 | 249449 0 | 0 | 0 178.86/178.91 c 144s | 10 | 598670 | 12561 | 249449 0 | 0 | 0 182.46/182.59 c 148s | 10 | 598875 | 12761 | 249449 0 | 0 | 0 186.26/186.30 c 151s | 10 | 599073 | 12961 | 249449 0 | 0 | 0 189.86/189.95 c 155s | 10 | 599290 | 13161 | 249449 0 | 0 | 0 193.46/193.55 c 159s | 10 | 599490 | 13361 | 249449 0 | 0 | 0 197.06/197.18 c 162s | 10 | 599680 | 13561 | 249449 0 | 0 | 0 200.75/200.83 c 166s | 10 | 599887 | 13761 | 249449 0 | 0 | 0 204.46/204.51 c 170s | 10 | 600081 | 13961 | 249449 0 | 0 | 0 208.15/208.20 c 173s | 10 | 600284 | 14161 | 249449 0 | 0 | 0 211.86/211.94 c 177s | 10 | 600484 | 14361 | 249449 0 | 0 | 0 215.56/215.68 c 181s | 10 | 600680 | 14561 | 249449 0 | 0 | 0 219.36/219.44 c 185s | 10 | 600879 | 14761 | 249449 0 | 0 | 0 223.15/223.21 c 188s | 10 | 601092 | 14961 | 249449 0 | 0 | 0 226.95/227.01 c 192s | 10 | 601280 | 15161 | 249449 0 | 0 | 0 230.75/230.83 c 196s | 10 | 601480 | 15361 | 249449 0 | 0 | 0 234.55/234.65 c 200s | 10 | 601687 | 15561 | 249449 0 | 0 | 0 238.35/238.47 c 204s | 10 | 601887 | 15761 | 249449 0 | 0 | 0 242.24/242.34 c 207s | 10 | 602082 | 15961 | 249449 0 | 0 | 0 245.55/245.70 c 211s | 10 | 602194 | 16061 | 249449 0 | 0 | 0 249.44/249.52 c 215s | 10 | 602379 | 16261 | 249449 0 | 0 | 0 253.25/253.34 c 218s | 10 | 602596 | 16461 | 249449 0 | 0 | 0 257.05/257.16 c 222s | 10 | 602783 | 16661 | 249449 0 | 0 | 0 259.74/259.83 c 225s | 10 | 610118 | 16861 | 249449 0 | 0 | 0 261.95/262.01 c 227s | 10 | 610316 | 17061 | 274394 0 | 0 | 0 263.35/263.47 c 229s | 11 | 610411 | 17144 | 274394 0 | 0 | 0 265.75/265.84 c 231s | 11 | 611576 | 17444 | 274394 0 | 0 | 0 270.84/270.97 c 236s | 11 | 660648 | 17844 | 274394 0 | 0 | 0 273.84/273.93 c 239s | 11 | 660889 | 18044 | 274394 0 | 0 | 0 276.64/276.77 c 242s | 11 | 661084 | 18244 | 274394 0 | 0 | 0 279.54/279.65 c 245s | 11 | 661286 | 18444 | 274394 0 | 0 | 0 282.44/282.53 c 248s | 11 | 661478 | 18644 | 274394 0 | 0 | 0 285.44/285.54 c 251s | 11 | 661700 | 18844 | 274394 0 | 0 | 0 288.54/288.67 c 254s | 11 | 661895 | 19044 | 274394 0 | 0 | 0 291.74/291.86 c 257s | 11 | 662089 | 19244 | 274394 0 | 0 | 0 295.33/295.44 c 261s | 11 | 662328 | 19444 | 274394 0 | 0 | 0 297.44/297.57 c 263s | 11 | 662430 | 19544 | 274394 0 | 0 | 0 299.53/299.66 c 265s | 11 | 662542 | 19644 | 274394 0 | 0 | 0 302.13/302.20 c 267s | 11 | 666645 | 19844 | 274394 0 | 0 | 0 304.64/304.79 c 270s | 11 | 666857 | 20044 | 274394 0 | 0 | 0 306.94/307.03 c 272s | 11 | 667070 | 20244 | 274394 0 | 0 | 0 309.14/309.26 c 274s | 11 | 667285 | 20444 | 274394 0 | 0 | 0 311.34/311.50 c 277s | 11 | 667496 | 20644 | 274394 0 | 0 | 0 313.63/313.73 c 279s | 11 | 667709 | 20844 | 274394 0 | 0 | 0 315.83/315.95 c 281s | 11 | 667918 | 21044 | 274394 0 | 0 | 0 318.03/318.19 c 283s | 11 | 668136 | 21244 | 274394 0 | 0 | 0 320.33/320.45 c 286s | 11 | 668363 | 21444 | 274394 0 | 0 | 0 322.53/322.64 c 288s | 11 | 668585 | 21644 | 274394 0 | 0 | 0 324.63/324.77 c 290s | 11 | 668804 | 21844 | 274394 0 | 0 | 0 327.13/327.20 c 292s | 11 | 669165 | 22144 | 274394 0 | 0 | 0 329.23/329.37 c 294s | 11 | 670096 | 22644 | 274394 0 | 0 | 0 331.32/331.48 c 297s | 11 | 670932 | 23444 | 274394 0 | 0 | 0 333.93/334.07 c 299s | 11 | 719057 | 24044 | 274394 0 | 0 | 0 336.33/336.45 c 302s | 11 | 719552 | 24544 | 274394 0 | 0 | 0 339.52/339.64 c 305s | 11 | 723010 | 24844 | 274394 0 | 0 | 0 342.14/342.27 c 307s | 11 | 723403 | 25244 | 274394 0 | 0 | 0 344.63/344.75 c 310s | 11 | 723808 | 25644 | 274394 0 | 0 | 0 346.12/346.25 c 311s | 12 | 723992 | 25819 | 301834 0 | 0 | 0 349.53/349.64 c 315s | 12 | 781689 | 25919 | 301834 0 | 0 | 0 352.04/352.13 c 317s | 12 | 782093 | 26319 | 301834 0 | 0 | 0 354.13/354.23 c 319s | 12 | 782195 | 26419 | 301834 0 | 0 | 0 356.52/356.61 c 322s | 12 | 782593 | 26819 | 301834 0 | 0 | 0 358.93/359.03 c 324s | 12 | 782991 | 27219 | 301834 0 | 0 | 0 361.43/361.51 c 327s | 12 | 783394 | 27619 | 301834 0 | 0 | 0 363.82/363.94 c 329s | 12 | 783791 | 28019 | 301834 0 | 0 | 0 366.33/366.49 c 332s | 12 | 783994 | 28219 | 301834 0 | 0 | 0 368.73/368.80 c 334s | 12 | 784404 | 28619 | 301834 0 | 0 | 0 370.82/370.90 c 336s | 12 | 784807 | 29019 | 301834 0 | 0 | 0 372.92/373.09 c 338s | 12 | 785209 | 29419 | 301834 0 | 0 | 0 375.12/375.23 c 340s | 12 | 785616 | 29819 | 301834 0 | 0 | 0 377.23/377.33 c 342s | 12 | 786018 | 30219 | 301834 0 | 0 | 0 379.43/379.51 c 345s | 12 | 786421 | 30619 | 301834 0 | 0 | 0 381.63/381.75 c 347s | 12 | 786824 | 31019 | 301834 0 | 0 | 0 384.12/384.21 c 349s | 12 | 787023 | 31219 | 301834 0 | 0 | 0 386.42/386.54 c 352s | 12 | 787424 | 31619 | 301834 0 | 0 | 0 388.61/388.79 c 354s | 12 | 787824 | 32019 | 301834 0 | 0 | 0 390.91/391.08 c 356s | 12 | 788224 | 32419 | 301834 0 | 0 | 0 393.22/393.33 c 358s | 12 | 788626 | 32819 | 301834 0 | 0 | 0 395.52/395.65 c 361s | 12 | 789035 | 33219 | 301834 0 | 0 | 0 397.92/398.01 c 363s | 12 | 789536 | 33719 | 301834 0 | 0 | 0 400.33/400.42 c 366s | 12 | 790039 | 34219 | 301834 0 | 0 | 0 402.71/402.87 c 368s | 12 | 790539 | 34719 | 301834 0 | 0 | 0 405.21/405.35 c 370s | 12 | 791043 | 35219 | 301834 0 | 0 | 0 407.61/407.78 c 373s | 12 | 791545 | 35719 | 301834 0 | 0 | 0 410.01/410.18 c 375s | 12 | 791744 | 35919 | 301834 0 | 0 | 0 412.52/412.65 c 378s | 12 | 792247 | 36419 | 301834 0 | 0 | 0 414.52/414.66 c 380s | 12 | 792658 | 36819 | 301834 0 | 0 | 0 417.01/417.11 c 382s | 12 | 793159 | 37319 | 301834 0 | 0 | 0 419.02/419.12 c 384s | 12 | 793560 | 37719 | 301834 0 | 0 | 0 421.01/421.17 c 386s | 12 | 793963 | 38119 | 301834 0 | 0 | 0 423.11/423.21 c 388s | 12 | 794363 | 38519 | 301834 0 | 0 | 0 424.91/425.06 c 390s | 13 | 794683 | 38832 | 332018 0 | 0 | 0 427.22/427.33 c 392s | 13 | 795457 | 38932 | 332018 0 | 0 | 0 429.41/429.53 c 395s | 13 | 849897 | 39232 | 332018 0 | 0 | 0 431.41/431.53 c 397s | 13 | 850211 | 39532 | 332018 0 | 0 | 0 433.51/433.60 c 399s | 13 | 850532 | 39832 | 332018 0 | 0 | 0 436.01/436.11 c 401s | 13 | 850972 | 40232 | 332018 0 | 0 | 0 438.50/438.67 c 404s | 13 | 851386 | 40632 | 332018 0 | 0 | 0 441.02/441.16 c 406s | 13 | 851812 | 41032 | 332018 0 | 0 | 0 443.40/443.52 c 409s | 13 | 852254 | 41432 | 332018 0 | 0 | 0 445.71/445.81 c 411s | 13 | 852686 | 41832 | 332018 0 | 0 | 0 448.01/448.18 c 413s | 13 | 853102 | 42232 | 332018 0 | 0 | 0 450.41/450.53 c 416s | 13 | 853510 | 42632 | 332018 0 | 0 | 0 453.00/453.14 c 418s | 13 | 853907 | 43032 | 332018 0 | 0 | 0 455.42/455.56 c 421s | 13 | 854332 | 43432 | 332018 0 | 0 | 0 458.11/458.20 c 423s | 13 | 854534 | 43632 | 332018 0 | 0 | 0 460.40/460.52 c 426s | 13 | 854940 | 44032 | 332018 0 | 0 | 0 462.90/463.03 c 428s | 13 | 855358 | 44432 | 332018 0 | 0 | 0 465.10/465.22 c 430s | 13 | 855806 | 44832 | 332018 0 | 0 | 0 467.31/467.45 c 433s | 13 | 856225 | 45232 | 332018 0 | 0 | 0 469.30/469.45 c 435s | 13 | 856637 | 45632 | 332018 0 | 0 | 0 471.51/471.69 c 437s | 13 | 857142 | 46132 | 332018 0 | 0 | 0 474.11/474.29 c 439s | 13 | 857648 | 46632 | 332018 0 | 0 | 0 476.31/476.41 c 442s | 13 | 858056 | 47032 | 332018 0 | 0 | 0 478.41/478.57 c 444s | 13 | 858459 | 47432 | 332018 0 | 0 | 0 480.50/480.70 c 446s | 13 | 858866 | 47832 | 332018 0 | 0 | 0 482.70/482.87 c 448s | 13 | 859273 | 48232 | 332018 0 | 0 | 0 485.01/485.15 c 450s | 13 | 859785 | 48732 | 332018 0 | 0 | 0 487.00/487.16 c 452s | 13 | 860196 | 49132 | 332018 0 | 0 | 0 489.60/489.72 c 455s | 13 | 860612 | 49532 | 332018 0 | 0 | 0 491.80/491.91 c 457s | 13 | 861026 | 49932 | 332018 0 | 0 | 0 494.20/494.33 c 459s | 13 | 861427 | 50332 | 332018 0 | 0 | 0 496.60/496.74 c 462s | 13 | 861830 | 50732 | 332018 0 | 0 | 0 499.19/499.39 c 465s | 13 | 862243 | 51132 | 332018 0 | 0 | 0 501.60/501.79 c 467s | 13 | 862662 | 51532 | 332018 0 | 0 | 0 504.09/504.23 c 469s | 13 | 863075 | 51932 | 332018 0 | 0 | 0 506.50/506.62 c 472s | 13 | 863483 | 52332 | 332018 0 | 0 | 0 508.80/508.99 c 474s | 13 | 863883 | 52732 | 332018 0 | 0 | 0 511.40/511.54 c 477s | 13 | 864287 | 53132 | 332018 0 | 0 | 0 513.79/513.93 c 479s | 13 | 864692 | 53532 | 332018 0 | 0 | 0 515.80/515.98 c 481s | 13 | 864791 | 53632 | 332018 0 | 0 | 0 518.19/518.33 c 483s | 13 | 865194 | 54032 | 332018 0 | 0 | 0 520.40/520.57 c 486s | 13 | 865601 | 54432 | 332018 0 | 0 | 0 522.79/522.91 c 488s | 13 | 866013 | 54832 | 332018 0 | 0 | 0 525.29/525.47 c 491s | 13 | 866425 | 55232 | 332018 0 | 0 | 0 527.69/527.87 c 493s | 13 | 866839 | 55632 | 332018 0 | 0 | 0 530.09/530.30 c 495s | 13 | 867241 | 56032 | 332018 0 | 0 | 0 532.59/532.72 c 498s | 13 | 867650 | 56432 | 332018 0 | 0 | 0 534.69/534.82 c 500s | 13 | 867957 | 56732 | 332018 0 | 0 | 0 537.09/537.28 c 502s | 13 | 868382 | 57132 | 332018 0 | 0 | 0 539.59/539.77 c 505s | 13 | 868808 | 57532 | 332018 0 | 0 | 0 542.08/542.25 c 507s | 13 | 869215 | 57932 | 332018 0 | 0 | 0 544.49/544.66 c 510s | 13 | 869617 | 58332 | 365220 0 | 0 | 0 544.99/545.18 c 510s | 14 | 869638 | 58352 | 365220 0 | 0 | 0 548.29/548.45 c 514s | 14 | 870432 | 58452 | 365220 0 | 0 | 0 550.88/551.08 c 516s | 14 | 929082 | 58652 | 365220 0 | 0 | 0 553.59/553.71 c 519s | 14 | 929392 | 58952 | 365220 0 | 0 | 0 557.88/558.01 c 523s | 14 | 929692 | 59252 | 365220 0 | 0 | 0 560.68/560.81 c 526s | 14 | 929989 | 59552 | 365220 0 | 0 | 0 563.49/563.65 c 529s | 14 | 930291 | 59852 | 365220 0 | 0 | 0 566.18/566.35 c 531s | 14 | 930593 | 60152 | 365220 0 | 0 | 0 568.98/569.10 c 534s | 14 | 930888 | 60452 | 365220 0 | 0 | 0 572.28/572.40 c 538s | 14 | 931090 | 60652 | 365220 0 | 0 | 0 575.08/575.22 c 540s | 14 | 931390 | 60952 | 365220 0 | 0 | 0 577.87/578.08 c 543s | 14 | 931697 | 61252 | 365220 0 | 0 | 0 580.78/580.99 c 546s | 14 | 931993 | 61552 | 365220 0 | 0 | 0 583.67/583.84 c 549s | 14 | 932295 | 61852 | 365220 0 | 0 | 0 587.98/588.10 c 553s | 14 | 932595 | 62152 | 365220 0 | 0 | 0 590.88/591.02 c 556s | 14 | 932902 | 62452 | 365220 0 | 0 | 0 593.77/593.97 c 559s | 14 | 933213 | 62752 | 365220 0 | 0 | 0 596.48/596.61 c 562s | 14 | 933511 | 63052 | 365220 0 | 0 | 0 599.28/599.44 c 565s | 14 | 933809 | 63352 | 365220 0 | 0 | 0 601.87/602.06 c 567s | 14 | 934113 | 63652 | 365220 0 | 0 | 0 605.17/605.31 c 570s | 14 | 934313 | 63852 | 365220 0 | 0 | 0 607.77/607.98 c 573s | 14 | 934613 | 64152 | 365220 0 | 0 | 0 610.38/610.60 c 576s | 14 | 934910 | 64452 | 365220 0 | 0 | 0 613.17/613.38 c 578s | 14 | 935216 | 64752 | 365220 0 | 0 | 0 616.07/616.20 c 581s | 14 | 935516 | 65052 | 365220 0 | 0 | 0 618.88/619.00 c 584s | 14 | 935821 | 65352 | 365220 0 | 0 | 0 622.97/623.18 c 588s | 14 | 936120 | 65652 | 365220 0 | 0 | 0 625.87/626.03 c 591s | 14 | 936426 | 65952 | 365220 0 | 0 | 0 628.66/628.87 c 594s | 14 | 936733 | 66252 | 365220 0 | 0 | 0 630.77/630.92 c 596s | 14 | 936936 | 66452 | 365220 0 | 0 | 0 633.57/633.73 c 599s | 14 | 937235 | 66752 | 365220 0 | 0 | 0 636.47/636.62 c 602s | 14 | 937542 | 67052 | 365220 0 | 0 | 0 639.36/639.58 c 605s | 14 | 937838 | 67352 | 365220 0 | 0 | 0 641.76/641.94 c 607s | 14 | 937943 | 67452 | 365220 0 | 0 | 0 644.36/644.60 c 610s | 14 | 938245 | 67752 | 365220 0 | 0 | 0 647.16/647.32 c 612s | 14 | 938546 | 68052 | 365220 0 | 0 | 0 649.86/650.00 c 615s | 14 | 938848 | 68352 | 365220 0 | 0 | 0 652.46/652.65 c 618s | 14 | 939160 | 68652 | 365220 0 | 0 | 0 655.15/655.37 c 620s | 14 | 939470 | 68952 | 365220 0 | 0 | 0 657.86/658.05 c 623s | 14 | 939768 | 69252 | 365220 0 | 0 | 0 660.46/660.65 c 626s | 14 | 940072 | 69552 | 365220 0 | 0 | 0 663.76/663.92 c 629s | 14 | 940279 | 69752 | 365220 0 | 0 | 0 666.46/666.61 c 632s | 14 | 940581 | 70052 | 365220 0 | 0 | 0 669.06/669.22 c 634s | 14 | 940891 | 70352 | 365220 0 | 0 | 0 671.65/671.82 c 637s | 14 | 941187 | 70652 | 365220 0 | 0 | 0 674.46/674.63 c 640s | 14 | 941506 | 70952 | 365220 0 | 0 | 0 677.05/677.27 c 642s | 14 | 941805 | 71252 | 365220 0 | 0 | 0 679.76/680.00 c 645s | 14 | 942101 | 71552 | 365220 0 | 0 | 0 682.55/682.77 c 648s | 14 | 942406 | 71852 | 365220 0 | 0 | 0 685.26/685.49 c 651s | 14 | 942704 | 72152 | 365220 0 | 0 | 0 687.66/687.81 c 653s | 14 | 942807 | 72252 | 365220 0 | 0 | 0 690.35/690.57 c 656s | 14 | 943113 | 72552 | 365220 0 | 0 | 0 693.05/693.22 c 658s | 14 | 943415 | 72852 | 365220 0 | 0 | 0 695.75/695.92 c 661s | 14 | 943715 | 73152 | 365220 0 | 0 | 0 698.46/698.60 c 664s | 14 | 944017 | 73452 | 365220 0 | 0 | 0 701.05/701.26 c 666s | 14 | 944319 | 73752 | 365220 0 | 0 | 0 703.75/704.00 c 669s | 14 | 944626 | 74052 | 365220 0 | 0 | 0 706.55/706.79 c 672s | 14 | 944926 | 74352 | 365220 0 | 0 | 0 709.36/709.51 c 675s | 14 | 945228 | 74652 | 365220 0 | 0 | 0 712.04/712.23 c 677s | 14 | 945530 | 74952 | 365220 0 | 0 | 0 715.35/715.51 c 681s | 14 | 945734 | 75152 | 365220 0 | 0 | 0 717.95/718.13 c 683s | 14 | 946037 | 75452 | 365220 0 | 0 | 0 720.75/720.95 c 686s | 14 | 946343 | 75752 | 365220 0 | 0 | 0 723.54/723.75 c 689s | 14 | 946650 | 76052 | 365220 0 | 0 | 0 726.05/726.29 c 691s | 14 | 946947 | 76352 | 365220 0 | 0 | 0 728.74/728.96 c 694s | 14 | 947247 | 76652 | 365220 0 | 0 | 0 731.54/731.70 c 697s | 14 | 947549 | 76952 | 365220 0 | 0 | 0 734.35/734.55 c 700s | 14 | 947851 | 77252 | 365220 0 | 0 | 0 737.04/737.30 c 702s | 14 | 948154 | 77552 | 365220 0 | 0 | 0 739.74/739.93 c 705s | 14 | 948455 | 77852 | 365220 0 | 0 | 0 742.45/742.67 c 708s | 14 | 948757 | 78152 | 365220 0 | 0 | 0 746.75/746.97 c 712s | 14 | 949061 | 78452 | 365220 0 | 0 | 0 749.44/749.68 c 715s | 14 | 949363 | 78752 | 365220 0 | 0 | 0 752.25/752.45 c 718s | 14 | 949669 | 79052 | 365220 0 | 0 | 0 754.94/755.11 c 720s | 14 | 949977 | 79352 | 365220 0 | 0 | 0 757.64/757.86 c 723s | 14 | 950276 | 79652 | 365220 0 | 0 | 0 760.54/760.76 c 726s | 14 | 950580 | 79952 | 365220 0 | 0 | 0 762.64/762.84 c 728s | 14 | 950779 | 80152 | 365220 0 | 0 | 0 765.54/765.75 c 731s | 14 | 951087 | 80452 | 365220 0 | 0 | 0 768.34/768.52 c 734s | 14 | 951380 | 80752 | 365220 0 | 0 | 0 771.24/771.48 c 737s | 14 | 951684 | 81052 | 365220 0 | 0 | 0 773.33/773.56 c 739s | 14 | 951882 | 81252 | 365220 0 | 0 | 0 775.94/776.10 c 741s | 14 | 951983 | 81352 | 365220 0 | 0 | 0 778.83/779.09 c 744s | 14 | 952291 | 81652 | 365220 0 | 0 | 0 780.94/781.18 c 746s | 14 | 952490 | 81852 | 365220 0 | 0 | 0 783.84/784.06 c 749s | 14 | 952789 | 82152 | 365220 0 | 0 | 0 786.74/786.96 c 752s | 14 | 953090 | 82452 | 365220 0 | 0 | 0 789.65/789.83 c 755s | 14 | 953394 | 82752 | 365220 0 | 0 | 0 792.43/792.63 c 758s | 14 | 953693 | 83052 | 365220 0 | 0 | 0 795.24/795.44 c 761s | 14 | 953996 | 83352 | 365220 0 | 0 | 0 797.23/797.47 c 763s | 14 | 954196 | 83552 | 365220 0 | 0 | 0 800.74/800.93 c 766s | 14 | 954397 | 83752 | 365220 0 | 0 | 0 803.53/803.77 c 769s | 14 | 954697 | 84052 | 365220 0 | 0 | 0 806.43/806.67 c 772s | 14 | 954994 | 84352 | 365220 0 | 0 | 0 809.33/809.52 c 775s | 14 | 955302 | 84652 | 365220 0 | 0 | 0 812.23/812.42 c 778s | 14 | 955606 | 84952 | 365220 0 | 0 | 0 815.23/815.48 c 781s | 14 | 955917 | 85252 | 365220 0 | 0 | 0 817.24/817.48 c 783s | 14 | 956115 | 85452 | 365220 0 | 0 | 0 819.53/819.70 c 785s | 14 | 956314 | 85652 | 365220 0 | 0 | 0 821.54/821.73 c 787s | 14 | 956515 | 85852 | 365220 0 | 0 | 0 823.53/823.76 c 789s | 14 | 956718 | 86052 | 365220 0 | 0 | 0 825.62/825.84 c 791s | 14 | 956919 | 86252 | 365220 0 | 0 | 0 827.63/827.89 c 793s | 14 | 957121 | 86452 | 365220 0 | 0 | 0 832.13/832.37 c 797s | 14 | 957417 | 86752 | 365220 0 | 0 | 0 834.13/834.38 c 799s | 14 | 957617 | 86952 | 365220 0 | 0 | 0 837.13/837.36 c 802s | 14 | 957921 | 87252 | 401743 0 | 0 | 0 840.13/840.32 c 805s | 14 | 958220 | 87552 | 401743 0 | 0 | 0 841.33/841.55 c 807s | 15 | 958302 | 87632 | 401743 0 | 0 | 0 845.83/846.03 c 811s | 15 | 959044 | 87732 | 401743 0 | 0 | 0 848.23/848.43 c 814s | 15 | 1017114 | 87832 | 401743 0 | 0 | 0 852.12/852.33 c 817s | 15 | 1017315 | 88032 | 401743 0 | 0 | 0 856.02/856.21 c 821s | 15 | 1017515 | 88232 | 401743 0 | 0 | 0 859.83/860.03 c 825s | 15 | 1017714 | 88432 | 401743 0 | 0 | 0 863.72/863.90 c 829s | 15 | 1017917 | 88632 | 401743 0 | 0 | 0 867.12/867.39 c 833s | 15 | 1018013 | 88732 | 401743 0 | 0 | 0 871.03/871.27 c 836s | 15 | 1018218 | 88932 | 401743 0 | 0 | 0 874.82/875.09 c 840s | 15 | 1018418 | 89132 | 401743 0 | 0 | 0 878.73/878.98 c 844s | 15 | 1018616 | 89332 | 401743 0 | 0 | 0 882.52/882.75 c 848s | 15 | 1018816 | 89532 | 401743 0 | 0 | 0 886.43/886.63 c 852s | 15 | 1019020 | 89732 | 401743 0 | 0 | 0 890.22/890.43 c 856s | 15 | 1019216 | 89932 | 401743 0 | 0 | 0 894.02/894.23 c 859s | 15 | 1019415 | 90132 | 401743 0 | 0 | 0 899.31/899.53 c 865s | 15 | 1019616 | 90332 | 401743 0 | 0 | 0 901.32/901.55 c 867s | 15 | 1019717 | 90432 | 401743 0 | 0 | 0 903.42/903.64 c 869s | 15 | 1019820 | 90532 | 401743 0 | 0 | 0 905.51/905.70 c 871s | 15 | 1019920 | 90632 | 401743 0 | 0 | 0 907.51/907.71 c 873s | 15 | 1020017 | 90732 | 401743 0 | 0 | 0 911.42/911.60 c 877s | 15 | 1020224 | 90932 | 401743 0 | 0 | 0 915.21/915.45 c 881s | 15 | 1020423 | 91132 | 401743 0 | 0 | 0 919.11/919.37 c 884s | 15 | 1020624 | 91332 | 401743 0 | 0 | 0 921.21/921.44 c 887s | 15 | 1020731 | 91432 | 401743 0 | 0 | 0 925.11/925.37 c 890s | 15 | 1020928 | 91632 | 401743 0 | 0 | 0 929.11/929.34 c 894s | 15 | 1021125 | 91832 | 401743 0 | 0 | 0 932.51/932.74 c 898s | 15 | 1021226 | 91932 | 401743 0 | 0 | 0 936.31/936.59 c 902s | 15 | 1021425 | 92132 | 401743 0 | 0 | 0 940.42/940.66 c 906s | 15 | 1021626 | 92332 | 401743 0 | 0 | 0 942.40/942.70 c 908s | 15 | 1021729 | 92432 | 401743 0 | 0 | 0 946.41/946.64 c 912s | 15 | 1021925 | 92632 | 401743 0 | 0 | 0 950.21/950.43 c 916s | 15 | 1022130 | 92832 | 401743 0 | 0 | 0 954.00/954.23 c 919s | 15 | 1022331 | 93032 | 401743 0 | 0 | 0 957.80/958.05 c 923s | 15 | 1022533 | 93232 | 401743 0 | 0 | 0 961.70/961.98 c 927s | 15 | 1022732 | 93432 | 401743 0 | 0 | 0 967.10/967.38 c 932s | 15 | 1022931 | 93632 | 401743 0 | 0 | 0 971.00/971.25 c 936s | 15 | 1023135 | 93832 | 401743 0 | 0 | 0 974.91/975.14 c 940s | 15 | 1023335 | 94032 | 401743 0 | 0 | 0 978.70/979.00 c 944s | 15 | 1023536 | 94232 | 401743 0 | 0 | 0 982.60/982.88 c 948s | 15 | 1023736 | 94432 | 401743 0 | 0 | 0 986.61/986.84 c 952s | 15 | 1023936 | 94632 | 401743 0 | 0 | 0 990.50/990.79 c 956s | 15 | 1024139 | 94832 | 401743 0 | 0 | 0 994.50/994.78 c 960s | 15 | 1024339 | 95032 | 401743 0 | 0 | 0 996.60/996.85 c 962s | 15 | 1024439 | 95132 | 401743 0 | 0 | 0 1000.20/1000.40 c 966s | 15 | 1024540 | 95232 | 401743 0 | 0 | 0 1002.20/1002.48 c 968s | 15 | 1024645 | 95332 | 401743 0 | 0 | 0 1006.10/1006.38 c 971s | 15 | 1024844 | 95532 | 401743 0 | 0 | 0 1010.00/1010.25 c 975s | 15 | 1025044 | 95732 | 401743 0 | 0 | 0 1013.90/1014.15 c 979s | 15 | 1025248 | 95932 | 401743 0 | 0 | 0 1016.00/1016.21 c 981s | 15 | 1025351 | 96032 | 401743 0 | 0 | 0 1019.89/1020.17 c 985s | 15 | 1025549 | 96232 | 401743 0 | 0 | 0 1022.00/1022.27 c 987s | 15 | 1025650 | 96332 | 401743 0 | 0 | 0 1024.09/1024.33 c 989s | 15 | 1025751 | 96432 | 401743 0 | 0 | 0 1028.00/1028.24 c 993s | 15 | 1025948 | 96632 | 401743 0 | 0 | 0 1033.39/1033.64 c 999s | 15 | 1026151 | 96832 | 401743 0 | 0 | 0 1035.39/1035.69 c 1001s | 15 | 1026255 | 96932 | 401743 0 | 0 | 0 1039.31/1039.55 c 1005s | 15 | 1026449 | 97132 | 401743 0 | 0 | 0 1043.19/1043.44 c 1009s | 15 | 1026653 | 97332 | 401743 0 | 0 | 0 1047.11/1047.31 c 1012s | 15 | 1026854 | 97532 | 401743 0 | 0 | 0 1050.99/1051.22 c 1016s | 15 | 1027057 | 97732 | 401743 0 | 0 | 0 1054.89/1055.19 c 1020s | 15 | 1027257 | 97932 | 401743 0 | 0 | 0 1058.79/1059.08 c 1024s | 15 | 1027459 | 98132 | 401743 0 | 0 | 0 1062.69/1062.97 c 1028s | 15 | 1027664 | 98332 | 401743 0 | 0 | 0 1066.59/1066.82 c 1032s | 15 | 1027863 | 98532 | 401743 0 | 0 | 0 1070.49/1070.78 c 1036s | 15 | 1028068 | 98732 | 401743 0 | 0 | 0 1075.89/1076.17 c 1041s | 15 | 1028268 | 98932 | 401743 0 | 0 | 0 1079.89/1080.12 c 1045s | 15 | 1028464 | 99132 | 401743 0 | 0 | 0 1083.69/1083.94 c 1049s | 15 | 1028671 | 99332 | 401743 0 | 0 | 0 1087.49/1087.78 c 1053s | 15 | 1028872 | 99532 | 401743 0 | 0 | 0 1091.38/1091.65 c 1057s | 15 | 1029067 | 99732 | 401743 0 | 0 | 0 1095.29/1095.54 c 1061s | 15 | 1029270 | 99932 | 401743 0 | 0 | 0 1099.18/1099.43 c 1065s | 15 | 1029472 | 100132 | 401743 0 | 0 | 0 1103.19/1103.41 c 1069s | 15 | 1029676 | 100332 | 401743 0 | 0 | 0 1106.98/1107.23 c 1072s | 15 | 1029873 | 100532 | 401743 0 | 0 | 0 1110.79/1111.10 c 1076s | 15 | 1030071 | 100732 | 401743 0 | 0 | 0 1116.18/1116.48 c 1082s | 15 | 1030278 | 100932 | 401743 0 | 0 | 0 1120.18/1120.40 c 1086s | 15 | 1030473 | 101132 | 401743 0 | 0 | 0 1124.08/1124.32 c 1089s | 15 | 1030678 | 101332 | 401743 0 | 0 | 0 1128.08/1128.32 c 1093s | 15 | 1030878 | 101532 | 401743 0 | 0 | 0 1131.98/1132.28 c 1097s | 15 | 1031078 | 101732 | 401743 0 | 0 | 0 1133.98/1134.29 c 1099s | 15 | 1031176 | 101832 | 401743 0 | 0 | 0 1136.08/1136.32 c 1101s | 15 | 1031284 | 101932 | 401743 0 | 0 | 0 1139.97/1140.29 c 1105s | 15 | 1031486 | 102132 | 401743 0 | 0 | 0 1142.08/1142.35 c 1107s | 15 | 1031584 | 102232 | 401743 0 | 0 | 0 1144.08/1144.35 c 1109s | 15 | 1031681 | 102332 | 401743 0 | 0 | 0 1147.97/1148.29 c 1113s | 15 | 1031884 | 102532 | 401743 0 | 0 | 0 1151.97/1152.21 c 1117s | 15 | 1032081 | 102732 | 401743 0 | 0 | 0 1155.88/1156.14 c 1121s | 15 | 1032285 | 102932 | 401743 0 | 0 | 0 1159.37/1159.62 c 1125s | 15 | 1032384 | 103032 | 401743 0 | 0 | 0 1163.27/1163.53 c 1129s | 15 | 1032584 | 103232 | 401743 0 | 0 | 0 1167.27/1167.50 c 1133s | 15 | 1032789 | 103432 | 401743 0 | 0 | 0 1169.27/1169.52 c 1135s | 15 | 1032887 | 103532 | 401743 0 | 0 | 0 1173.17/1173.42 c 1139s | 15 | 1033086 | 103732 | 401743 0 | 0 | 0 1177.07/1177.37 c 1142s | 15 | 1033290 | 103932 | 401743 0 | 0 | 0 1181.18/1181.42 c 1147s | 15 | 1033491 | 104132 | 401743 0 | 0 | 0 1185.17/1185.43 c 1151s | 15 | 1033692 | 104332 | 401743 0 | 0 | 0 1187.27/1187.57 c 1153s | 15 | 1033790 | 104432 | 401743 0 | 0 | 0 1189.37/1189.65 c 1155s | 15 | 1033888 | 104532 | 401743 0 | 0 | 0 1192.77/1193.07 c 1158s | 15 | 1033992 | 104632 | 401743 0 | 0 | 0 1196.68/1196.92 c 1162s | 15 | 1034197 | 104832 | 401743 0 | 0 | 0 1200.46/1200.75 c 1166s | 15 | 1034396 | 105032 | 401743 0 | 0 | 0 1204.27/1204.60 c 1170s | 15 | 1034595 | 105232 | 401743 0 | 0 | 0 1208.06/1208.39 c 1174s | 15 | 1034797 | 105432 | 401743 0 | 0 | 0 1211.97/1212.24 c 1177s | 15 | 1034995 | 105632 | 401743 0 | 0 | 0 1215.76/1216.07 c 1181s | 15 | 1035197 | 105832 | 401743 0 | 0 | 0 1219.56/1219.89 c 1185s | 15 | 1035395 | 106032 | 401743 0 | 0 | 0 1223.46/1223.75 c 1189s | 15 | 1035598 | 106232 | 401743 0 | 0 | 0 1227.37/1227.62 c 1193s | 15 | 1035794 | 106432 | 401743 0 | 0 | 0 1231.36/1231.63 c 1197s | 15 | 1036005 | 106632 | 401743 0 | 0 | 0 1234.76/1235.05 c 1200s | 15 | 1036099 | 106732 | 401743 0 | 0 | 0 1238.56/1238.83 c 1204s | 15 | 1036303 | 106932 | 401743 0 | 0 | 0 1242.36/1242.68 c 1208s | 15 | 1036500 | 107132 | 401743 0 | 0 | 0 1246.26/1246.55 c 1212s | 15 | 1036703 | 107332 | 401743 0 | 0 | 0 1250.06/1250.37 c 1215s | 15 | 1036899 | 107532 | 401743 0 | 0 | 0 1254.06/1254.30 c 1219s | 15 | 1037103 | 107732 | 401743 0 | 0 | 0 1257.95/1258.24 c 1223s | 15 | 1037302 | 107932 | 401743 0 | 0 | 0 1259.96/1260.27 c 1225s | 15 | 1037398 | 108032 | 401743 0 | 0 | 0 1263.85/1264.15 c 1229s | 15 | 1037604 | 108232 | 401743 0 | 0 | 0 1267.76/1268.04 c 1233s | 15 | 1037805 | 108432 | 401743 0 | 0 | 0 1271.56/1271.88 c 1237s | 15 | 1038000 | 108632 | 401743 0 | 0 | 0 1275.55/1275.81 c 1241s | 15 | 1038200 | 108832 | 401743 0 | 0 | 0 1278.95/1279.23 c 1244s | 15 | 1038302 | 108932 | 401743 0 | 0 | 0 1282.85/1283.18 c 1248s | 15 | 1038499 | 109132 | 401743 0 | 0 | 0 1286.65/1286.99 c 1252s | 15 | 1038701 | 109332 | 401743 0 | 0 | 0 1290.55/1290.81 c 1256s | 15 | 1038900 | 109532 | 401743 0 | 0 | 0 1294.35/1294.66 c 1260s | 15 | 1039103 | 109732 | 401743 0 | 0 | 0 1298.35/1298.65 c 1264s | 15 | 1039306 | 109932 | 401743 0 | 0 | 0 1300.35/1300.69 c 1266s | 15 | 1039405 | 110032 | 401743 0 | 0 | 0 1302.45/1302.73 c 1268s | 15 | 1039507 | 110132 | 401743 0 | 0 | 0 1306.35/1306.67 c 1272s | 15 | 1039710 | 110332 | 401743 0 | 0 | 0 1311.85/1312.18 c 1277s | 15 | 1039912 | 110532 | 401743 0 | 0 | 0 1313.85/1314.18 c 1279s | 15 | 1040012 | 110632 | 401743 0 | 0 | 0 1317.85/1318.16 c 1283s | 15 | 1040212 | 110832 | 401743 0 | 0 | 0 1321.75/1322.09 c 1287s | 15 | 1040410 | 111032 | 401743 0 | 0 | 0 1325.75/1326.08 c 1291s | 15 | 1040610 | 111232 | 401743 0 | 0 | 0 1329.85/1330.18 c 1295s | 15 | 1040818 | 111432 | 401743 0 | 0 | 0 1331.95/1332.25 c 1297s | 15 | 1040919 | 111532 | 401743 0 | 0 | 0 1333.95/1334.28 c 1299s | 15 | 1041020 | 111632 | 401743 0 | 0 | 0 1337.94/1338.21 c 1303s | 15 | 1041218 | 111832 | 401743 0 | 0 | 0 1339.94/1340.28 c 1305s | 15 | 1041318 | 111932 | 401743 0 | 0 | 0 1343.44/1343.78 c 1309s | 15 | 1041422 | 112032 | 401743 0 | 0 | 0 1345.44/1345.78 c 1311s | 15 | 1041521 | 112132 | 401743 0 | 0 | 0 1349.35/1349.64 c 1315s | 15 | 1041721 | 112332 | 401743 0 | 0 | 0 1353.24/1353.56 c 1319s | 15 | 1041923 | 112532 | 401743 0 | 0 | 0 1357.15/1357.43 c 1323s | 15 | 1042124 | 112732 | 401743 0 | 0 | 0 1361.03/1361.39 c 1327s | 15 | 1042325 | 112932 | 401743 0 | 0 | 0 1363.14/1363.44 c 1329s | 15 | 1042421 | 113032 | 401743 0 | 0 | 0 1365.14/1365.49 c 1331s | 15 | 1042521 | 113132 | 401743 0 | 0 | 0 1369.14/1369.41 c 1335s | 15 | 1042722 | 113332 | 401743 0 | 0 | 0 1371.14/1371.44 c 1337s | 15 | 1042820 | 113432 | 401743 0 | 0 | 0 1374.75/1375.01 c 1340s | 15 | 1042921 | 113532 | 401743 0 | 0 | 0 1376.84/1377.12 c 1342s | 15 | 1043020 | 113632 | 401743 0 | 0 | 0 1378.84/1379.18 c 1344s | 15 | 1043123 | 113732 | 401743 0 | 0 | 0 1382.93/1383.22 c 1348s | 15 | 1043319 | 113932 | 401743 0 | 0 | 0 1384.93/1385.28 c 1350s | 15 | 1043426 | 114032 | 401743 0 | 0 | 0 1387.04/1387.31 c 1352s | 15 | 1043524 | 114132 | 401743 0 | 0 | 0 1391.03/1391.33 c 1356s | 15 | 1043727 | 114332 | 401743 0 | 0 | 0 1394.93/1395.26 c 1360s | 15 | 1043927 | 114532 | 401743 0 | 0 | 0 1397.03/1397.30 c 1362s | 15 | 1044026 | 114632 | 401743 0 | 0 | 0 1399.04/1399.32 c 1364s | 15 | 1044123 | 114732 | 401743 0 | 0 | 0 1401.03/1401.32 c 1366s | 15 | 1044225 | 114832 | 401743 0 | 0 | 0 1404.54/1404.83 c 1370s | 15 | 1044327 | 114932 | 401743 0 | 0 | 0 1408.33/1408.63 c 1374s | 15 | 1044526 | 115132 | 401743 0 | 0 | 0 1412.14/1412.42 c 1378s | 15 | 1044726 | 115332 | 401743 0 | 0 | 0 1415.93/1416.24 c 1381s | 15 | 1044931 | 115532 | 401743 0 | 0 | 0 1419.83/1420.18 c 1385s | 15 | 1045129 | 115732 | 401743 0 | 0 | 0 1423.83/1424.12 c 1389s | 15 | 1045326 | 115932 | 401743 0 | 0 | 0 1427.73/1428.01 c 1393s | 15 | 1045529 | 116132 | 401743 0 | 0 | 0 1431.52/1431.86 c 1397s | 15 | 1045732 | 116332 | 401743 0 | 0 | 0 1435.43/1435.76 c 1401s | 15 | 1045931 | 116532 | 401743 0 | 0 | 0 1439.53/1439.84 c 1405s | 15 | 1046132 | 116732 | 401743 0 | 0 | 0 1443.04/1443.39 c 1409s | 15 | 1046234 | 116832 | 401743 0 | 0 | 0 1445.13/1445.46 c 1411s | 15 | 1046332 | 116932 | 401743 0 | 0 | 0 1447.12/1447.47 c 1413s | 15 | 1046433 | 117032 | 401743 0 | 0 | 0 1451.13/1451.46 c 1417s | 15 | 1046633 | 117232 | 401743 0 | 0 | 0 1453.22/1453.51 c 1419s | 15 | 1046734 | 117332 | 401743 0 | 0 | 0 1455.23/1455.52 c 1421s | 15 | 1046833 | 117432 | 401743 0 | 0 | 0 1459.22/1459.50 c 1425s | 15 | 1047034 | 117632 | 401743 0 | 0 | 0 1463.13/1463.47 c 1429s | 15 | 1047234 | 117832 | 401743 0 | 0 | 0 1467.23/1467.55 c 1433s | 15 | 1047436 | 118032 | 401743 0 | 0 | 0 1469.33/1469.67 c 1435s | 15 | 1047535 | 118132 | 401743 0 | 0 | 0 1471.42/1471.78 c 1437s | 15 | 1047636 | 118232 | 401743 0 | 0 | 0 1473.52/1473.81 c 1439s | 15 | 1047735 | 118332 | 401743 0 | 0 | 0 1477.02/1477.31 c 1442s | 15 | 1047834 | 118432 | 401743 0 | 0 | 0 1481.02/1481.36 c 1446s | 15 | 1048039 | 118632 | 401743 0 | 0 | 0 1483.02/1483.36 c 1448s | 15 | 1048138 | 118732 | 401743 0 | 0 | 0 1485.02/1485.39 c 1451s | 15 | 1048237 | 118832 | 401743 0 | 0 | 0 1489.13/1489.41 c 1455s | 15 | 1048437 | 119032 | 401743 0 | 0 | 0 1491.12/1491.48 c 1457s | 15 | 1048537 | 119132 | 401743 0 | 0 | 0 1493.22/1493.54 c 1459s | 15 | 1048638 | 119232 | 401743 0 | 0 | 0 1495.31/1495.66 c 1461s | 15 | 1048743 | 119332 | 401743 0 | 0 | 0 1497.42/1497.77 c 1463s | 15 | 1048840 | 119432 | 401743 0 | 0 | 0 1499.42/1499.79 c 1465s | 15 | 1048941 | 119532 | 401743 0 | 0 | 0 1501.52/1501.85 c 1467s | 15 | 1049043 | 119632 | 401743 0 | 0 | 0 1503.52/1503.87 c 1469s | 15 | 1049142 | 119732 | 401743 0 | 0 | 0 1507.02/1507.38 c 1473s | 15 | 1049242 | 119832 | 401743 0 | 0 | 0 1509.03/1509.39 c 1475s | 15 | 1049347 | 119932 | 401743 0 | 0 | 0 1513.01/1513.38 c 1478s | 15 | 1049546 | 120132 | 401743 0 | 0 | 0 1517.01/1517.38 c 1482s | 15 | 1049744 | 120332 | 401743 0 | 0 | 0 1519.01/1519.39 c 1485s | 15 | 1049845 | 120432 | 401743 0 | 0 | 0 1521.12/1521.43 c 1487s | 15 | 1049943 | 120532 | 401743 0 | 0 | 0 1523.12/1523.49 c 1489s | 15 | 1050046 | 120632 | 401743 0 | 0 | 0 1525.31/1525.65 c 1491s | 15 | 1050149 | 120732 | 401743 0 | 0 | 0 1527.41/1527.73 c 1493s | 15 | 1050251 | 120832 | 401743 0 | 0 | 0 1529.42/1529.78 c 1495s | 15 | 1050349 | 120932 | 401743 0 | 0 | 0 1531.51/1531.81 c 1497s | 15 | 1050451 | 121032 | 401743 0 | 0 | 0 1533.51/1533.84 c 1499s | 15 | 1050549 | 121132 | 401743 0 | 0 | 0 1535.61/1535.95 c 1501s | 15 | 1050653 | 121232 | 401743 0 | 0 | 0 1537.62/1537.98 c 1503s | 15 | 1050750 | 121332 | 401743 0 | 0 | 0 1539.72/1540.01 c 1505s | 15 | 1050852 | 121432 | 401743 0 | 0 | 0 1541.71/1542.05 c 1507s | 15 | 1050951 | 121532 | 401743 0 | 0 | 0 1545.22/1545.50 c 1511s | 15 | 1051051 | 121632 | 401743 0 | 0 | 0 1549.11/1549.44 c 1515s | 15 | 1051254 | 121832 | 401743 0 | 0 | 0 1553.11/1553.43 c 1519s | 15 | 1051451 | 122032 | 401743 0 | 0 | 0 1555.12/1555.48 c 1521s | 15 | 1051550 | 122132 | 401743 0 | 0 | 0 1557.21/1557.56 c 1523s | 15 | 1051657 | 122232 | 401743 0 | 0 | 0 1559.31/1559.60 c 1525s | 15 | 1051757 | 122332 | 401743 0 | 0 | 0 1561.31/1561.62 c 1527s | 15 | 1051852 | 122432 | 401743 0 | 0 | 0 1565.31/1565.66 c 1531s | 15 | 1052054 | 122632 | 401743 0 | 0 | 0 1567.41/1567.76 c 1533s | 15 | 1052151 | 122732 | 401743 0 | 0 | 0 1569.51/1569.84 c 1535s | 15 | 1052256 | 122832 | 401743 0 | 0 | 0 1571.61/1571.98 c 1537s | 15 | 1052354 | 122932 | 401743 0 | 0 | 0 1573.71/1574.02 c 1539s | 15 | 1052454 | 123032 | 401743 0 | 0 | 0 1577.30/1577.61 c 1543s | 15 | 1052554 | 123132 | 401743 0 | 0 | 0 1579.31/1579.65 c 1545s | 15 | 1052656 | 123232 | 401743 0 | 0 | 0 1581.31/1581.67 c 1547s | 15 | 1052758 | 123332 | 401743 0 | 0 | 0 1583.30/1583.69 c 1549s | 15 | 1052859 | 123432 | 401743 0 | 0 | 0 1585.40/1585.74 c 1551s | 15 | 1052957 | 123532 | 401743 0 | 0 | 0 1587.40/1587.75 c 1553s | 15 | 1053062 | 123632 | 401743 0 | 0 | 0 1589.50/1589.81 c 1555s | 15 | 1053161 | 123732 | 401743 0 | 0 | 0 1591.70/1592.00 c 1557s | 15 | 1053262 | 123832 | 401743 0 | 0 | 0 1593.80/1594.11 c 1559s | 15 | 1053360 | 123932 | 401743 0 | 0 | 0 1595.81/1596.20 c 1561s | 15 | 1053460 | 124032 | 401743 0 | 0 | 0 1597.90/1598.25 c 1563s | 15 | 1053561 | 124132 | 401743 0 | 0 | 0 1600.00/1600.30 c 1565s | 15 | 1053661 | 124232 | 401743 0 | 0 | 0 1602.00/1602.34 c 1567s | 15 | 1053760 | 124332 | 401743 0 | 0 | 0 1604.10/1604.45 c 1570s | 15 | 1053864 | 124432 | 401743 0 | 0 | 0 1606.09/1606.45 c 1572s | 15 | 1053964 | 124532 | 401743 0 | 0 | 0 1608.20/1608.55 c 1574s | 15 | 1054064 | 124632 | 401743 0 | 0 | 0 1611.69/1612.07 c 1577s | 15 | 1054167 | 124732 | 401743 0 | 0 | 0 1615.71/1616.05 c 1581s | 15 | 1054364 | 124932 | 401743 0 | 0 | 0 1619.69/1620.08 c 1585s | 15 | 1054567 | 125132 | 401743 0 | 0 | 0 1623.70/1624.01 c 1589s | 15 | 1054768 | 125332 | 401743 0 | 0 | 0 1627.60/1627.92 c 1593s | 15 | 1054970 | 125532 | 401743 0 | 0 | 0 1629.59/1629.94 c 1595s | 15 | 1055069 | 125632 | 401743 0 | 0 | 0 1633.59/1633.98 c 1599s | 15 | 1055267 | 125832 | 401743 0 | 0 | 0 1635.69/1636.08 c 1601s | 15 | 1055371 | 125932 | 401743 0 | 0 | 0 1637.80/1638.12 c 1603s | 15 | 1055476 | 126032 | 401743 0 | 0 | 0 1639.80/1640.14 c 1605s | 15 | 1055576 | 126132 | 401743 0 | 0 | 0 1641.79/1642.16 c 1607s | 15 | 1055679 | 126232 | 401743 0 | 0 | 0 1643.79/1644.16 c 1609s | 15 | 1055776 | 126332 | 401743 0 | 0 | 0 1647.29/1647.68 c 1613s | 15 | 1055878 | 126432 | 401743 0 | 0 | 0 1649.40/1649.76 c 1615s | 15 | 1055976 | 126532 | 401743 0 | 0 | 0 1651.49/1651.84 c 1617s | 15 | 1056074 | 126632 | 401743 0 | 0 | 0 1653.59/1653.92 c 1619s | 15 | 1056175 | 126732 | 401743 0 | 0 | 0 1655.79/1656.12 c 1621s | 15 | 1056279 | 126832 | 401743 0 | 0 | 0 1657.89/1658.28 c 1623s | 15 | 1056378 | 126932 | 401743 0 | 0 | 0 1660.09/1660.44 c 1626s | 15 | 1056478 | 127032 | 401743 0 | 0 | 0 1662.19/1662.53 c 1628s | 15 | 1056583 | 127132 | 401743 0 | 0 | 0 1664.19/1664.57 c 1630s | 15 | 1056681 | 127232 | 401743 0 | 0 | 0 1666.29/1666.62 c 1632s | 15 | 1056778 | 127332 | 401743 0 | 0 | 0 1668.40/1668.72 c 1634s | 15 | 1056877 | 127432 | 401743 0 | 0 | 0 1670.60/1670.91 c 1636s | 15 | 1056981 | 127532 | 401743 0 | 0 | 0 1672.69/1673.06 c 1638s | 15 | 1057083 | 127632 | 401743 0 | 0 | 0 1674.89/1675.23 c 1640s | 15 | 1057183 | 127732 | 401743 0 | 0 | 0 1676.98/1677.33 c 1642s | 15 | 1057279 | 127832 | 401743 0 | 0 | 0 1679.09/1679.40 c 1645s | 15 | 1057382 | 127932 | 401743 0 | 0 | 0 1682.59/1682.95 c 1648s | 15 | 1057482 | 128032 | 401743 0 | 0 | 0 1684.68/1685.01 c 1650s | 15 | 1057584 | 128132 | 401743 0 | 0 | 0 1688.68/1689.01 c 1654s | 15 | 1057784 | 128332 | 401743 0 | 0 | 0 1692.60/1692.96 c 1658s | 15 | 1057985 | 128532 | 401743 0 | 0 | 0 1694.68/1695.04 c 1660s | 15 | 1058082 | 128632 | 401743 0 | 0 | 0 1698.69/1699.08 c 1664s | 15 | 1058284 | 128832 | 401743 0 | 0 | 0 1702.68/1703.05 c 1668s | 15 | 1058481 | 129032 | 401743 0 | 0 | 0 1706.58/1706.96 c 1672s | 15 | 1058686 | 129232 | 401743 0 | 0 | 0 1708.58/1708.97 c 1674s | 15 | 1058786 | 129332 | 401743 0 | 0 | 0 1712.59/1712.99 c 1678s | 15 | 1058985 | 129532 | 401743 0 | 0 | 0 1714.69/1715.07 c 1680s | 15 | 1059093 | 129632 | 401743 0 | 0 | 0 1718.18/1718.57 c 1684s | 15 | 1059191 | 129732 | 401743 0 | 0 | 0 1720.29/1720.62 c 1686s | 15 | 1059289 | 129832 | 401743 0 | 0 | 0 1722.39/1722.71 c 1688s | 15 | 1059394 | 129932 | 401743 0 | 0 | 0 1724.38/1724.74 c 1690s | 15 | 1059490 | 130032 | 401743 0 | 0 | 0 1726.38/1726.77 c 1692s | 15 | 1059592 | 130132 | 401743 0 | 0 | 0 1728.48/1728.80 c 1694s | 15 | 1059695 | 130232 | 401743 0 | 0 | 0 1730.48/1730.81 c 1696s | 15 | 1059793 | 130332 | 401743 0 | 0 | 0 1732.48/1732.85 c 1698s | 15 | 1059890 | 130432 | 401743 0 | 0 | 0 1734.58/1734.93 c 1700s | 15 | 1059990 | 130532 | 401743 0 | 0 | 0 1736.69/1737.02 c 1702s | 15 | 1060091 | 130632 | 401743 0 | 0 | 0 1738.68/1739.06 c 1704s | 15 | 1060192 | 130732 | 441918 0 | 0 | 0 1740.78/1741.12 c 1706s | 15 | 1060294 | 130832 | 441918 0 | 0 | 0 1742.78/1743.12 c 1708s | 15 | 1060394 | 130932 | 441918 0 | 0 | 0 1744.78/1745.15 c 1710s | 15 | 1060491 | 131032 | 441918 0 | 0 | 0 1746.78/1747.15 c 1712s | 15 | 1060593 | 131132 | 441918 0 | 0 | 0 1748.79/1749.18 c 1714s | 15 | 1060694 | 131232 | 441918 0 | 0 | 0 1750.89/1751.23 c 1716s | 15 | 1060797 | 131332 | 441918 0 | 0 | 0 1752.88/1753.24 c 1718s | 15 | 1060897 | 131432 | 441918 0 | 0 | 0 1755.68/1756.05 c 1721s | 16 | 1061015 | 131552 | 441918 0 | 0 | 0 1763.18/1763.53 c 1729s | 16 | 1122847 | 131652 | 441918 0 | 0 | 0 1765.48/1765.87 c 1731s | 16 | 1122950 | 131752 | 441918 0 | 0 | 0 1767.78/1768.19 c 1733s | 16 | 1123283 | 132052 | 441918 0 | 0 | 0 1770.18/1770.50 c 1736s | 16 | 1123604 | 132352 | 441918 0 | 0 | 0 1772.57/1772.95 c 1738s | 16 | 1123937 | 132652 | 441918 0 | 0 | 0 1775.58/1775.91 c 1741s | 16 | 1124237 | 132952 | 441918 0 | 0 | 0 1778.57/1778.91 c 1744s | 16 | 1124541 | 133252 | 441918 0 | 0 | 0 1781.37/1781.70 c 1747s | 16 | 1124844 | 133552 | 441918 0 | 0 | 0 1784.07/1784.48 c 1750s | 16 | 1125157 | 133852 | 441918 0 | 0 | 0 1786.77/1787.18 c 1752s | 16 | 1125459 | 134152 | 441918 0 | 0 | 0 1789.57/1789.95 c 1755s | 16 | 1125763 | 134452 | 441918 0 | 0 | 0 1792.47/1792.86 c 1758s | 16 | 1126055 | 134752 | 441918 0 | 0 | 0 1795.37/1795.76 c 1761s | 16 | 1126356 | 135052 | 441918 0 | 0 | 0 1798.28/1798.68 c 1764s | 16 | 1126661 | 135352 | 441918 0 | 0 | 0
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-4101017-1466220549/watcher-4101017-1466220549 -o /tmp/evaluation-result-4101017-1466220549/solver-4101017-1466220549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101017-1466220549.opb pid=25736 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.01 2.01 2.00 3/179 25739 /proc/meminfo: memFree=30639544/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=702908 CPUtime=0 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 2618 0 0 0 0 0 0 0 20 0 4 0 24099787 719777792 2978 33554432000 4194304 16246674 140736813225792 140736813225216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 176239 2988 441 2943 0 173133 0 [pid=25739/tid=25740] ppid=25736 vsize=720316 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 737603584 3049 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=725436 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 742846464 3065 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=729532 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24099787 747040768 3084 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25739 /proc/meminfo: memFree=30639544/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 29037 0 0 0 5 4 0 0 20 0 4 0 24099787 1332285440 29336 33554432000 4194304 16246674 140736813225792 140736813225104 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 325265 29353 799 2943 0 322159 0 [pid=25739/tid=25740] ppid=25736 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1332285440 29364 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1332285440 29376 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1332285440 29387 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200537 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25739 /proc/meminfo: memFree=30639544/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 47972 0 0 0 12 7 0 0 20 0 4 0 24099787 1344868352 48781 33554432000 4194304 16246674 140736813225792 140736813225104 14795467 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 328337 48781 799 2943 0 325231 0 [pid=25739/tid=25740] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 48781 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 48781 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 48781 33554432000 4194304 16246674 140736813225792 140361399786672 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) 1313348 [startup+0.300512 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25739 /proc/meminfo: memFree=30639544/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 51816 0 0 0 21 8 0 0 20 0 4 0 24099787 1344868352 52625 33554432000 4194304 16246674 140736813225792 140736813225104 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 328337 52625 799 2943 0 325231 0 [pid=25739/tid=25740] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 52625 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 52625 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 52625 33554432000 4194304 16246674 140736813225792 140361399786672 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) 1313348 [startup+0.700432 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25739 /proc/meminfo: memFree=30639544/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 67077 0 0 0 59 10 0 0 20 0 4 0 24099787 1344868352 67886 33554432000 4194304 16246674 140736813225792 140736813225104 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 328337 67886 802 2943 0 325231 0 [pid=25739/tid=25740] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 67886 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 67886 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 67886 33554432000 4194304 16246674 140736813225792 140361399786672 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) 1313348 [startup+1.50043 s] /proc/loadavg: 2.01 2.01 2.00 3/183 25743 /proc/meminfo: memFree=30356788/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1313348 CPUtime=1.48 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 78278 0 0 0 136 12 0 0 20 0 4 0 24099787 1344868352 79087 33554432000 4194304 16246674 140736813225792 140736813208784 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 328337 79087 802 2943 0 325231 0 [pid=25739/tid=25740] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 79087 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 79087 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1344868352 79087 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.10042 s] /proc/loadavg: 2.01 2.01 2.00 3/183 25743 /proc/meminfo: memFree=30175356/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1337924 CPUtime=3.08 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 112234 0 0 0 290 18 0 0 20 0 4 0 24099787 1370034176 118153 33554432000 4194304 16246674 140736813225792 140736813208784 7889655 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 334481 118153 802 2943 0 331375 0 [pid=25739/tid=25740] ppid=25736 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1370034176 118153 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1370034176 118153 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1370034176 118153 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1337924 [startup+6.30042 s] /proc/loadavg: 2.01 2.01 2.00 3/183 25743 /proc/meminfo: memFree=29839260/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1441348 CPUtime=6.29 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 195335 0 0 0 599 30 0 0 20 0 4 0 24099787 1475940352 213518 33554432000 4194304 16246674 140736813225792 140736813223616 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 360337 213524 836 2943 0 357231 0 [pid=25739/tid=25740] ppid=25736 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1475940352 213528 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1475940352 213532 33554432000 4194304 16246674 140736813225792 140361410259984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1475940352 213535 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1441348 [startup+12.7004 s] /proc/loadavg: 2.01 2.00 2.00 3/183 25743 /proc/meminfo: memFree=29548404/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=1441348 CPUtime=12.69 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 254548 0 0 0 1231 38 0 0 20 0 4 0 24099787 1475940352 272731 33554432000 4194304 16246674 140736813225792 140736813207680 7204266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 360337 272731 836 2943 0 357231 0 [pid=25739/tid=25740] ppid=25736 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 1475940352 272731 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 1475940352 272731 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=1441348 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 1475940352 272731 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1441348 [startup+25.5005 s] /proc/loadavg: 2.01 2.00 2.00 3/183 25743 /proc/meminfo: memFree=27937892/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=2933316 CPUtime=25.48 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 656583 0 0 0 2457 91 0 0 20 0 4 0 24099787 3003715584 674766 33554432000 4194304 16246674 140736813225792 140736813225104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 733329 674766 838 2943 0 730223 0 [pid=25739/tid=25740] ppid=25736 vsize=2933316 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 3003715584 674766 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=2933316 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 3003715584 674766 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=2933316 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 3003715584 674766 33554432000 4194304 16246674 140736813225792 140361399786672 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) 2933316 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 25792 /proc/meminfo: memFree=27117124/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=3755588 CPUtime=51.08 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 862206 0 0 0 4984 124 0 0 20 0 4 0 24099787 3845722112 880389 33554432000 4194304 16246674 140736813225792 140736813224968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 938897 880389 893 2943 0 935791 0 [pid=25739/tid=25740] ppid=25736 vsize=3755588 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 3845722112 880389 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=3755588 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 3845722112 880389 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=3755588 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 3845722112 880389 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 3755588 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 25796 /proc/meminfo: memFree=26769260/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=4101700 CPUtime=102.28 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 948580 0 0 0 10084 144 0 0 20 0 4 0 24099787 4200140800 967018 33554432000 4194304 16246674 140736813225792 140736813224888 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1025425 967018 897 2943 0 1022319 0 [pid=25739/tid=25740] ppid=25736 vsize=4101700 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 4200140800 967018 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=4101700 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 4200140800 967018 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=4101700 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 4200140800 967018 33554432000 4194304 16246674 140736813225792 140361399786672 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) 4101700 ################ # More data... # ################ /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 5851648000 1370289 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=5714500 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 5851648000 1370289 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=5714500 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 5851648000 1370289 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 5714500 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 25826 /proc/meminfo: memFree=25004040/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=5777988 CPUtime=1362.03 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1367897 0 0 0 135745 458 0 0 20 0 4 0 24099787 5916659712 1386245 33554432000 4194304 16246674 140736813225792 140736813224968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1444497 1386245 897 2943 0 1441391 0 [pid=25739/tid=25740] ppid=25736 vsize=5777988 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 5916659712 1386245 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=5777988 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 5916659712 1386245 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=5777988 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 5916659712 1386245 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 5777988 [startup+1422.3 s] /proc/loadavg: 2.09 2.05 2.01 3/183 25828 /proc/meminfo: memFree=24953224/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=5829188 CPUtime=1422.04 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1380575 0 0 0 141733 471 0 0 20 0 4 0 24099787 5969088512 1398923 33554432000 4194304 16246674 140736813225792 140736813224968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1457297 1398923 897 2943 0 1454191 0 [pid=25739/tid=25740] ppid=25736 vsize=5829188 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 5969088512 1398923 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=5829188 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 5969088512 1398923 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=5829188 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 5969088512 1398923 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 5829188 [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 25828 /proc/meminfo: memFree=24895220/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=5886532 CPUtime=1482.02 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1394910 0 0 0 147718 484 0 0 20 0 4 0 24099787 6027808768 1413258 33554432000 4194304 16246674 140736813225792 140736813224968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1471633 1413258 897 2943 0 1468527 0 [pid=25739/tid=25740] ppid=25736 vsize=5886532 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 6027808768 1413258 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=5886532 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 6027808768 1413258 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=5886532 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 6027808768 1413258 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 5886532 [startup+1542.31 s] /proc/loadavg: 2.04 2.04 2.00 3/183 25830 /proc/meminfo: memFree=24868464/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=5913156 CPUtime=1542.02 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1401693 0 0 0 153705 497 0 0 20 0 4 0 24099787 6055071744 1420041 33554432000 4194304 16246674 140736813225792 140736813224968 4221035 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1478289 1420041 897 2943 0 1475183 0 [pid=25739/tid=25740] ppid=25736 vsize=5913156 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 6055071744 1420041 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=5913156 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 6055071744 1420041 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=5913156 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 6055071744 1420041 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 5913156 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 25831 /proc/meminfo: memFree=24813836/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=5968452 CPUtime=1602 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1415289 0 0 0 159691 509 0 0 20 0 4 0 24099787 6111694848 1433635 33554432000 4194304 16246674 140736813225792 140736813224968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1492113 1433635 897 2943 0 1489007 0 [pid=25739/tid=25740] ppid=25736 vsize=5968452 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 6111694848 1433635 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=5968452 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 6111694848 1433635 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=5968452 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 6111694848 1433635 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 5968452 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 25832 /proc/meminfo: memFree=24759768/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=6021700 CPUtime=1661.99 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1428762 0 0 0 165674 525 0 0 20 0 4 0 24099787 6166220800 1447107 33554432000 4194304 16246674 140736813225792 140736813224968 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1505425 1447107 897 2943 0 1502319 0 [pid=25739/tid=25740] ppid=25736 vsize=6021700 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 6166220800 1447107 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=6021700 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 6166220800 1447107 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=6021700 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 6166220800 1447107 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 6021700 [startup+1722.3 s] /proc/loadavg: 2.08 2.03 2.01 3/183 25833 /proc/meminfo: memFree=24702880/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=6079044 CPUtime=1721.98 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1442981 0 0 0 171661 537 0 0 20 0 4 0 24099787 6224941056 1461325 33554432000 4194304 16246674 140736813225792 140736813224968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1519761 1461325 897 2943 0 1516655 0 [pid=25739/tid=25740] ppid=25736 vsize=6079044 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 6224941056 1461325 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=6079044 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 6224941056 1461325 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=6079044 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 6224941056 1461325 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 6079044 [startup+1782.3 s] /proc/loadavg: 1.96 2.01 2.00 3/183 25834 /proc/meminfo: memFree=24672776/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=6108740 CPUtime=1781.97 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1450445 0 0 0 177646 551 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140736813224968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1527185 1468787 897 2943 0 1524079 0 [pid=25739/tid=25740] ppid=25736 vsize=6108740 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=6108740 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=6108740 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 6108740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.97 2.01 2.00 3/183 25835 /proc/meminfo: memFree=24673000/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=6108740 CPUtime=1800.07 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) R 25736 25739 23276 0 -1 4202496 1450445 0 0 0 179451 556 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140736813224968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 1527185 1468787 897 2943 0 1524079 0 [pid=25739/tid=25740] ppid=25736 vsize=6108740 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25740/stat : 25740 (toysat) S 25736 25739 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140361491000560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=6108740 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) S 25736 25739 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140361410260208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25739/tid=25742] ppid=25736 vsize=6108740 CPUtime=0 cores=1,3,5,7 /proc/25739/task/25742/stat : 25742 (toysat) S 25736 25739 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24099787 6255349760 1468787 33554432000 4194304 16246674 140736813225792 140361399786672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 6108740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 25739 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.97 2.01 2.00 3/183 25835 /proc/meminfo: memFree=24673000/32872528 swapFree=7780/7780 [pid=25739] ppid=25736 vsize=0 CPUtime=1800.18 cores=1,3,5,7 /proc/25739/stat : 25739 (toysat) Z 25736 25739 23276 0 -1 4203532 1450445 0 0 0 179452 566 0 0 20 0 2 0 24099787 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25739/statm: 0 0 0 0 0 0 0 [pid=25739/tid=25741] ppid=25736 vsize=0 CPUtime=0.09 cores=1,3,5,7 /proc/25739/task/25741/stat : 25741 (toysat) R 25736 25739 23276 0 -1 4203588 7 0 0 0 0 9 0 0 20 0 2 0 24099787 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.25 CPU user time (s): 1794.52 CPU system time (s): 5.73213 CPU usage (%): 99.982 Max. virtual memory (cumulated for all children) (KiB): 6108740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.52 system time used= 5.73213 maximum resident set size= 5875148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1450445 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= 278 involuntary context switches= 1833 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6353 second user time and 6.92495 second system time The end
Begin job on node151 at 2016-06-18 05:29:10 IDJOB=4101017 IDBENCH=1690 IDSOLVER=2542 FILE ID=node151/4101017-1466220549 RUNJOBID= node151-1466206051-23293 PBS_JOBID= 19918135 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101017-1466220549/watcher-4101017-1466220549 -o /tmp/evaluation-result-4101017-1466220549/solver-4101017-1466220549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101017-1466220549.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24e8096a6d8928e5a9e214fdf85bd87e RANDOM SEED=2120620424 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: 30640188 kB Buffers: 98480 kB Cached: 271684 kB SwapCached: 1996 kB Active: 1243376 kB Inactive: 244904 kB Active(anon): 1118792 kB Inactive(anon): 1788 kB Active(file): 124584 kB Inactive(file): 243116 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 41216 kB Writeback: 0 kB AnonPages: 1127332 kB Mapped: 11848 kB Shmem: 0 kB Slab: 605356 kB SReclaimable: 48608 kB SUnreclaim: 556748 kB KernelStack: 1464 kB PageTables: 6372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1268648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1112064 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= 71688 MiB End job on node151 at 2016-06-18 05:59:10