| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_10.opb |
| MD5SUM | 904168892843efef74e3394360b8d762 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | NO |
| Number of variables | 40363 |
| Total number of constraints | 154319 |
| Number of constraints which are clauses | 154296 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 22 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 1952 |
| Number of terms in the objective function | 1952 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1952 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 36 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1988 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-07T00:24:39+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-4079817-1465251879.opb"] 0.00/0.01 c use --random-gen="2455461935 106735895 2588157499 538042646 3169859089 3034288382 4021607195 791613571 3973333266 2229176940 3426210745 799556271 1829267155 4168249570 2224630839 3355254815 3339827800 4005733922 2147288858 874819464 2791031580 3713440540 1208629696 1713251588 43510148 219967886 1261471980 2325614427 3379373460 1641336761 816879152 2137010478 3264112279 3244578311 3997751023 3794174558 923487723 3214153794 3890783305 1467609717 1385567230 2646313743 1906699007 899890517 949226495 868360230 355588092 2720637020 1386443759 1131213709 4249386118 2044654361 1085097286 4211762743 644625576 321202953 3361763186 2061458042 2228398523 1877474563 3255506233 335746563 693269218 4190568520 2108883547 3710418884 2399150544 4242053467 995771926 1308991631 159943424 2819276067 3052637705 2645512556 1509137493 728333127 233180230 79352838 1160754093 3961183488 1738917735 3246343298 2542424868 273931458 3291957008 1335479925 3271184989 2450656764 1076236014 505118011 1934996050 3056417153 3378494964 1842045501 3204398322 1247541805 3338855565 1807950588 2266625599 2792334197 4043538585 2258450022 2675397795 275658602 2803034097 3934723049 1447049117 1217726150 1143059831 1536713276 4011694413 600956815 2172435351 2631666447 2399957151 3081655239 554170501 3933690627 73852339 977826090 3237158604 1454149811 3528556846 1954788196 2991659568 3153898981 233821601 3759234890 3073460909 3322326909 2502019882 4234764079 1851523910 182115619 3750726112 2794554680 728138363 313913683 2900035951 2683683533 3480454854 2290022279 3004133738 4191365483 2161829661 2355853809 4109367032 1392063258 3585255059 572281916 1433565315 208980108 2706186308 3119662524 2876539626 623982182 3750526515 1751038827 2920725718 3656562113 3218927518 3557216178 1667618278 1081143843 95660195 2341716389 658191384 4259363075 3166240909 3190039611 2016861404 4142962565 2793643566 4260437558 3657954541 505128271 2400771679 3656849713 1222507888 2862621183 2258750313 1704383062 1463912893 741319920 3436852296 1785671466 1671146586 2550204023 2429599891 3721912678 997614975 3631388043 3515506215 972549996 41072511 2198430502 383793915 1840249045 578228414 215240693 1223268855 1303495318 1651973801 125554046 137557374 3969901042 4076212019 3409925068 97583776 2246370966 4250390145 706179836 1381092956 1702614433 2096004851 829697150 1483922364 1229460012 4095970711 3255175751 3916508522 3406154304 594683989 3172177485 1688709018 1985067011 2721158384 3926645127 1169130020 954023918 3091378911 446392638 231806772 3176962345 3391089522 2053562962 2072646659 199661810 3300489012 3852794196 4115305176 1368612208 3020543368 1123229602 605175319 952726540 3740070851 540211297 3357994774 3796845084 1336044897 3012161 715434290 1137505726 4119157377 1809705370 255 362436" option to reproduce the execution 0.89/0.92 c #vars 40363 0.89/0.92 c #constraints 154319 2.89/2.95 c BCD2: Hardening is enabled. 2.89/2.95 c BCD2: BiasedSearch is enabled. 2.89/2.95 c Solving starts ... 2.89/2.95 c ============================[ Search Statistics ]============================ 2.89/2.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.95 c | | | | Limit GC | Var | Constra 2.89/2.95 c ============================================================================= 2.89/2.95 c 0.0s | 0 | 0 | 0 | 64892 0 | 5 | 0 6.70/6.76 c 3.8s | 0 | 4453 | 100 | 64892 0 | 5 | 0 6.70/6.76 c 3.8s | 1 | 4453 | 100 | 64892 0 | 5 | 0 11.59/11.60 c 8.7s | 1 | 8420 | 200 | 71382 0 | 5 | 0 13.29/13.38 c 10.4s | 2 | 8531 | 250 | 71382 0 | 5 | 0 15.49/15.56 c 12.6s | 2 | 8833 | 350 | 78521 0 | 5 | 0 18.39/18.46 c 15.5s | 2 | 9493 | 450 | 78521 0 | 5 | 0 19.19/19.30 c 16.3s | 3 | 9576 | 475 | 78521 0 | 5 | 0 22.89/22.96 c 20.0s | 3 | 12491 | 575 | 86374 0 | 5 | 0 26.19/26.22 c 23.3s | 3 | 17342 | 675 | 86374 0 | 5 | 0 28.98/29.02 c 26.1s | 3 | 19269 | 775 | 86374 0 | 5 | 0 29.79/29.89 c 26.9s | 4 | 19764 | 813 | 86374 0 | 5 | 0 32.68/32.70 c 29.8s | 4 | 20673 | 913 | 95012 0 | 5 | 0 35.08/35.12 c 32.2s | 4 | 21776 | 1013 | 95012 0 | 5 | 0 37.49/37.52 c 34.6s | 4 | 23311 | 1113 | 95012 0 | 5 | 0 39.59/39.70 c 36.8s | 4 | 23937 | 1213 | 95012 0 | 5 | 0 41.48/41.59 c 38.6s | 5 | 24415 | 1320 | 95012 0 | 5 | 0 45.28/45.38 c 42.4s | 5 | 27454 | 1420 | 104514 0 | 5 | 0 48.18/48.22 c 45.3s | 5 | 32467 | 1520 | 104514 0 | 5 | 0 51.58/51.60 c 48.7s | 5 | 34190 | 1620 | 104514 0 | 5 | 0 55.48/55.51 c 52.6s | 5 | 43180 | 1820 | 104514 0 | 5 | 0 57.88/57.95 c 55.0s | 5 | 43987 | 1920 | 104514 0 | 5 | 0 61.38/61.40 c 58.5s | 5 | 45691 | 2020 | 104514 0 | 5 | 0 63.68/63.80 c 60.9s | 6 | 48710 | 2081 | 114966 0 | 5 | 0 66.58/66.66 c 63.7s | 6 | 52732 | 2181 | 114966 0 | 5 | 0 68.98/69.02 c 66.1s | 6 | 56965 | 2281 | 114966 0 | 5 | 0 73.08/73.13 c 70.2s | 6 | 61272 | 2381 | 114966 0 | 5 | 0 77.08/77.19 c 74.2s | 6 | 63237 | 2481 | 114966 0 | 5 | 0 80.18/80.30 c 77.4s | 6 | 65151 | 2581 | 114966 0 | 5 | 0 82.78/82.83 c 79.9s | 6 | 66328 | 2681 | 114966 0 | 5 | 0 85.38/85.49 c 82.5s | 6 | 67495 | 2781 | 114966 0 | 5 | 0 87.77/87.82 c 84.9s | 6 | 68203 | 2881 | 114966 0 | 5 | 0 92.77/92.88 c 89.9s | 6 | 74880 | 3081 | 114966 0 | 5 | 0 95.57/95.69 c 92.7s | 6 | 75223 | 3181 | 114966 0 | 5 | 0 96.78/96.86 c 93.9s | 7 | 75508 | 3223 | 126463 0 | 5 | 0 99.57/99.67 c 96.7s | 7 | 76063 | 3323 | 126463 0 | 5 | 0 102.17/102.22 c 99.3s | 7 | 76447 | 3423 | 126463 0 | 5 | 0 105.37/105.43 c 102s | 7 | 77332 | 3523 | 126463 0 | 5 | 0 107.47/107.55 c 104s | 7 | 83177 | 3623 | 126463 0 | 5 | 0 110.87/110.96 c 108s | 7 | 84537 | 3723 | 126463 0 | 5 | 0 114.48/114.50 c 111s | 7 | 89967 | 3823 | 126463 0 | 5 | 0 118.27/118.35 c 115s | 7 | 94862 | 3923 | 126463 0 | 5 | 0 121.87/121.93 c 118s | 7 | 97503 | 4023 | 126463 0 | 5 | 0 125.07/125.13 c 122s | 7 | 99658 | 4123 | 126463 0 | 5 | 0 128.97/129.00 c 126s | 7 | 105046 | 4223 | 126463 0 | 5 | 0 132.17/132.24 c 129s | 7 | 108280 | 4323 | 126463 0 | 5 | 0 135.87/135.91 c 132s | 7 | 109472 | 4423 | 126463 0 | 5 | 0 139.67/139.78 c 136s | 7 | 113955 | 4523 | 126463 0 | 5 | 0 143.56/143.65 c 140s | 7 | 117294 | 4623 | 126463 0 | 5 | 0 147.06/147.13 c 144s | 7 | 118886 | 4723 | 126463 0 | 5 | 0 150.86/150.95 c 148s | 7 | 124378 | 4823 | 126463 0 | 5 | 0 153.97/154.01 c 151s | 7 | 125958 | 4923 | 139110 0 | 5 | 0 154.36/154.42 c 151s | 8 | 126037 | 4936 | 139110 0 | 5 | 0 157.96/158.01 c 155s | 8 | 129815 | 5036 | 139110 0 | 5 | 0 162.16/162.22 c 159s | 8 | 133585 | 5136 | 139110 0 | 5 | 0 165.56/165.61 c 162s | 8 | 135954 | 5236 | 139110 0 | 5 | 0 168.27/168.36 c 165s | 8 | 136725 | 5336 | 139110 0 | 5 | 0 170.67/170.75 c 167s | 8 | 137216 | 5436 | 139110 0 | 5 | 0 174.07/174.16 c 171s | 8 | 140206 | 5536 | 139110 0 | 5 | 0 177.47/177.59 c 174s | 8 | 143473 | 5636 | 139110 0 | 5 | 0 180.27/180.34 c 177s | 8 | 149083 | 5736 | 139110 0 | 5 | 0 182.46/182.56 c 179s | 8 | 150467 | 5836 | 139110 0 | 5 | 0 187.56/187.67 c 184s | 8 | 157990 | 6036 | 139110 0 | 5 | 0 190.56/190.64 c 187s | 8 | 162248 | 6136 | 139110 0 | 5 | 0 193.36/193.42 c 190s | 8 | 167185 | 6236 | 139110 0 | 5 | 0 196.87/196.98 c 194s | 8 | 171893 | 6336 | 139110 0 | 5 | 0 199.46/199.56 c 196s | 8 | 173806 | 6436 | 139110 0 | 5 | 0 201.86/201.91 c 198s | 8 | 179229 | 6536 | 139110 0 | 5 | 0 204.56/204.61 c 201s | 8 | 184563 | 6636 | 139110 0 | 5 | 0 208.05/208.12 c 205s | 8 | 187198 | 6736 | 139110 0 | 5 | 0 210.35/210.47 c 207s | 8 | 188697 | 6836 | 139110 0 | 5 | 0 212.55/212.69 c 209s | 8 | 194418 | 6936 | 139110 0 | 5 | 0 215.45/215.51 c 212s | 8 | 196140 | 7036 | 139110 0 | 5 | 0 221.06/221.11 c 218s | 8 | 204976 | 7236 | 139110 0 | 5 | 0 223.26/223.36 c 220s | 8 | 208257 | 7336 | 139110 0 | 5 | 0 226.05/226.15 c 223s | 8 | 212469 | 7436 | 139110 0 | 5 | 0 228.35/228.46 c 225s | 9 | 213667 | 7506 | 153021 0 | 5 | 0 231.15/231.25 c 228s | 9 | 215631 | 7606 | 153021 0 | 5 | 0 233.55/233.60 c 230s | 9 | 219329 | 7706 | 153021 0 | 5 | 0 238.55/238.64 c 235s | 9 | 223753 | 7906 | 153021 0 | 5 | 0 241.05/241.11 c 238s | 9 | 224014 | 8006 | 153021 0 | 5 | 0 243.85/243.98 c 241s | 9 | 224811 | 8106 | 153021 0 | 5 | 0 246.45/246.53 c 243s | 9 | 225434 | 8206 | 153021 0 | 5 | 0 249.05/249.16 c 246s | 9 | 226312 | 8306 | 153021 0 | 5 | 0 252.05/252.11 c 249s | 9 | 227301 | 8406 | 153021 0 | 5 | 0 254.85/254.90 c 251s | 9 | 228381 | 8506 | 153021 0 | 5 | 0 258.34/258.41 c 255s | 9 | 234236 | 8606 | 153021 0 | 5 | 0 262.24/262.32 c 259s | 9 | 236784 | 8706 | 153021 0 | 5 | 0 266.04/266.19 c 263s | 9 | 243728 | 8806 | 153021 0 | 5 | 0 268.94/269.09 c 266s | 9 | 251235 | 8906 | 153021 0 | 5 | 0 271.44/271.57 c 268s | 9 | 255557 | 9006 | 153021 0 | 5 | 0 274.64/274.74 c 271s | 9 | 258447 | 9106 | 153021 0 | 5 | 0 278.24/278.31 c 275s | 9 | 263458 | 9206 | 153021 0 | 5 | 0 282.14/282.21 c 279s | 9 | 265053 | 9306 | 153021 0 | 5 | 0 284.23/284.34 c 281s | 9 | 270954 | 9406 | 153021 0 | 5 | 0 288.53/288.67 c 285s | 9 | 273195 | 9506 | 153021 0 | 5 | 0 290.83/290.90 c 287s | 9 | 276950 | 9606 | 153021 0 | 5 | 0 293.93/294.06 c 291s | 9 | 280102 | 9706 | 153021 0 | 5 | 0 298.04/298.10 c 295s | 9 | 288105 | 9806 | 153021 0 | 5 | 0 304.33/304.49 c 301s | 9 | 312151 | 9906 | 153021 0 | 5 | 0 311.13/311.26 c 308s | 9 | 331254 | 10006 | 153021 0 | 5 | 0 317.83/317.91 c 314s | 9 | 350221 | 10106 | 153021 0 | 5 | 0 324.92/325.01 c 322s | 9 | 366076 | 10206 | 153021 0 | 5 | 0 332.22/332.33 c 329s | 9 | 378100 | 10306 | 153021 0 | 5 | 0 337.01/337.17 c 334s | 9 | 392622 | 10406 | 153021 0 | 5 | 0 340.92/341.00 c 338s | 9 | 403892 | 10506 | 153021 0 | 5 | 0 343.91/344.02 c 341s | 9 | 410874 | 10606 | 153021 0 | 5 | 0 347.21/347.37 c 344s | 9 | 414796 | 10706 | 153021 0 | 5 | 0 349.51/349.64 c 346s | 9 | 420612 | 10806 | 153021 0 | 5 | 0 353.11/353.26 c 350s | 9 | 426805 | 10906 | 153021 0 | 5 | 0 357.00/357.10 c 354s | 9 | 460689 | 11006 | 153021 0 | 5 | 0 364.01/364.14 c 361s | 9 | 479423 | 11106 | 153021 0 | 5 | 0 371.10/371.20 c 368s | 9 | 494599 | 11206 | 153021 0 | 5 | 0 378.41/378.50 c 375s | 9 | 507675 | 11306 | 168324 0 | 5 | 0 382.21/382.34 c 379s | 10 | 515471 | 11361 | 168324 0 | 5 | 0 389.20/389.32 c 386s | 10 | 527411 | 11461 | 168324 0 | 5 | 0 395.00/395.10 c 392s | 10 | 537394 | 11561 | 168324 0 | 5 | 0 399.70/399.89 c 396s | 10 | 545692 | 11661 | 168324 0 | 5 | 0 403.00/403.19 c 400s | 10 | 551943 | 11761 | 168324 0 | 5 | 0 407.29/407.48 c 404s | 10 | 554250 | 11861 | 168324 0 | 5 | 0 409.99/410.11 c 407s | 10 | 561789 | 11961 | 168324 0 | 5 | 0 412.09/412.25 c 409s | 10 | 563890 | 12061 | 168324 0 | 5 | 0 421.09/421.29 c 418s | 10 | 585874 | 12261 | 168324 0 | 5 | 0 424.99/425.13 c 422s | 10 | 609744 | 12361 | 168324 0 | 5 | 0 430.39/430.50 c 427s | 10 | 632330 | 12461 | 168324 0 | 5 | 0 437.69/437.87 c 434s | 10 | 648070 | 12561 | 168324 0 | 5 | 0 444.18/444.40 c 441s | 10 | 661550 | 12661 | 168324 0 | 5 | 0 450.99/451.16 c 448s | 10 | 673329 | 12761 | 168324 0 | 5 | 0 457.08/457.29 c 454s | 10 | 683077 | 12861 | 168324 0 | 5 | 0 460.98/461.12 c 458s | 10 | 693831 | 12961 | 168324 0 | 5 | 0 466.07/466.22 c 463s | 10 | 698872 | 13061 | 168324 0 | 5 | 0 471.07/471.22 c 468s | 10 | 702120 | 13161 | 168324 0 | 5 | 0 475.47/475.61 c 472s | 10 | 704380 | 13261 | 168324 0 | 5 | 0 479.37/479.56 c 476s | 10 | 709587 | 13361 | 168324 0 | 5 | 0 482.57/482.75 c 479s | 10 | 712687 | 13461 | 168324 0 | 5 | 0 487.18/487.36 c 484s | 10 | 719264 | 13561 | 168324 0 | 5 | 0 492.67/492.87 c 489s | 10 | 746224 | 13661 | 168324 0 | 5 | 0 500.16/500.31 c 497s | 10 | 763846 | 13761 | 168324 0 | 5 | 0 507.26/507.47 c 504s | 10 | 781254 | 13861 | 168324 0 | 5 | 0 513.46/513.66 c 510s | 10 | 798676 | 13961 | 168324 0 | 5 | 0 516.65/516.85 c 513s | 10 | 818147 | 14061 | 168324 0 | 5 | 0 522.65/522.82 c 519s | 10 | 828737 | 14161 | 168324 0 | 5 | 0 528.15/528.38 c 525s | 10 | 835772 | 14261 | 168324 0 | 5 | 0 533.75/533.96 c 531s | 10 | 840786 | 14361 | 168324 0 | 5 | 0 537.54/537.78 c 534s | 10 | 844339 | 14461 | 168324 0 | 5 | 0 540.94/541.13 c 538s | 10 | 851637 | 14561 | 168324 0 | 5 | 0 543.54/543.71 c 540s | 10 | 855013 | 14661 | 168324 0 | 5 | 0 546.44/546.62 c 543s | 10 | 858980 | 14761 | 168324 0 | 5 | 0 553.54/553.70 c 550s | 10 | 879494 | 14861 | 168324 0 | 5 | 0 556.44/556.69 c 553s | 10 | 912823 | 14961 | 168324 0 | 5 | 0 563.24/563.47 c 560s | 10 | 929540 | 15061 | 168324 0 | 5 | 0 569.83/570.08 c 567s | 10 | 944999 | 15161 | 168324 0 | 5 | 0 575.73/575.96 c 573s | 10 | 957666 | 15261 | 168324 0 | 5 | 0 582.03/582.29 c 579s | 10 | 967327 | 15361 | 168324 0 | 5 | 0 587.42/587.66 c 584s | 10 | 976246 | 15461 | 168324 0 | 5 | 0 591.92/592.16 c 589s | 10 | 983225 | 15561 | 168324 0 | 5 | 0 595.32/595.56 c 592s | 10 | 987332 | 15661 | 168324 0 | 5 | 0 597.91/598.19 c 595s | 10 | 991894 | 15761 | 168324 0 | 5 | 0 601.11/601.35 c 598s | 10 | 994952 | 15861 | 168324 0 | 5 | 0 603.61/603.86 c 600s | 10 | 998190 | 15961 | 168324 0 | 5 | 0 608.51/608.73 c 605s | 10 | 1003547 | 16161 | 168324 0 | 5 | 0 615.91/616.12 c 613s | 10 | 1024867 | 16361 | 168324 0 | 5 | 0 622.00/622.21 c 619s | 10 | 1053126 | 16461 | 168324 0 | 5 | 0 628.01/628.27 c 625s | 10 | 1071655 | 16561 | 168324 0 | 5 | 0 632.50/632.73 c 629s | 10 | 1093549 | 16661 | 168324 0 | 5 | 0 637.40/637.65 c 634s | 10 | 1109527 | 16761 | 168324 0 | 5 | 0 642.90/643.16 c 640s | 10 | 1121459 | 16861 | 168324 0 | 5 | 0 648.30/648.55 c 645s | 10 | 1130327 | 16961 | 168324 0 | 5 | 0 653.40/653.69 c 650s | 10 | 1137490 | 17061 | 185157 0 | 5 | 0 657.70/657.95 c 655s | 11 | 1141905 | 17144 | 185157 0 | 5 | 0 662.10/662.39 c 659s | 11 | 1146090 | 17244 | 185157 0 | 5 | 0 664.80/665.02 c 662s | 11 | 1148743 | 17344 | 185157 0 | 5 | 0 667.20/667.49 c 664s | 11 | 1149856 | 17444 | 185157 0 | 5 | 0 670.10/670.34 c 667s | 11 | 1150115 | 17544 | 185157 0 | 5 | 0 674.20/674.48 c 671s | 11 | 1151424 | 17644 | 185157 0 | 5 | 0 677.59/677.80 c 674s | 11 | 1155610 | 17744 | 185157 0 | 5 | 0 684.00/684.30 c 681s | 11 | 1163514 | 17944 | 185157 0 | 5 | 0 690.39/690.67 c 687s | 11 | 1185319 | 18044 | 185157 0 | 5 | 0 694.79/695.05 c 692s | 11 | 1211471 | 18144 | 185157 0 | 5 | 0 699.18/699.41 c 696s | 11 | 1231865 | 18244 | 185157 0 | 5 | 0 704.48/704.72 c 701s | 11 | 1247064 | 18344 | 185157 0 | 5 | 0 710.78/711.08 c 708s | 11 | 1258919 | 18444 | 185157 0 | 5 | 0 716.78/717.05 c 714s | 11 | 1268879 | 18544 | 185157 0 | 5 | 0 722.18/722.50 c 719s | 11 | 1276797 | 18644 | 185157 0 | 5 | 0 727.87/728.11 c 725s | 11 | 1283091 | 18744 | 185157 0 | 5 | 0 731.77/732.02 c 729s | 11 | 1288589 | 18844 | 185157 0 | 5 | 0 734.87/735.11 c 732s | 11 | 1291346 | 18944 | 185157 0 | 5 | 0 739.36/739.62 c 736s | 11 | 1298441 | 19044 | 185157 0 | 5 | 0 741.66/741.92 c 738s | 11 | 1331854 | 19144 | 185157 0 | 5 | 0 746.66/746.93 c 743s | 11 | 1352487 | 19244 | 185157 0 | 5 | 0 749.76/750.00 c 747s | 11 | 1376120 | 19344 | 185157 0 | 5 | 0 755.56/755.87 c 752s | 11 | 1387938 | 19444 | 185157 0 | 5 | 0 761.35/761.60 c 758s | 11 | 1398567 | 19544 | 185157 0 | 5 | 0 766.65/766.97 c 764s | 11 | 1406963 | 19644 | 185157 0 | 5 | 0 771.85/772.16 c 769s | 11 | 1413575 | 19744 | 185157 0 | 5 | 0 776.35/776.62 c 773s | 11 | 1418248 | 19844 | 185157 0 | 5 | 0 780.85/781.13 c 778s | 11 | 1420670 | 19944 | 185157 0 | 5 | 0 784.05/784.37 c 781s | 11 | 1423217 | 20044 | 185157 0 | 5 | 0 786.94/787.28 c 784s | 11 | 1441970 | 20144 | 185157 0 | 5 | 0 793.84/794.11 c 791s | 11 | 1460175 | 20244 | 185157 0 | 5 | 0 800.43/800.71 c 797s | 11 | 1474693 | 20344 | 185157 0 | 5 | 0 807.43/807.70 c 804s | 11 | 1516485 | 20544 | 185157 0 | 5 | 0 813.13/813.46 c 810s | 11 | 1526193 | 20644 | 185157 0 | 5 | 0 819.02/819.36 c 816s | 11 | 1534162 | 20744 | 185157 0 | 5 | 0 824.12/824.45 c 821s | 11 | 1539953 | 20844 | 185157 0 | 5 | 0 828.82/829.17 c 826s | 11 | 1544764 | 20944 | 185157 0 | 5 | 0 832.92/833.27 c 830s | 11 | 1547780 | 21044 | 185157 0 | 5 | 0 836.42/836.76 c 833s | 11 | 1549628 | 21144 | 185157 0 | 5 | 0 842.33/842.66 c 839s | 11 | 1569724 | 21244 | 185157 0 | 5 | 0 845.73/846.08 c 843s | 11 | 1602548 | 21344 | 185157 0 | 5 | 0 852.42/852.72 c 849s | 11 | 1619050 | 21444 | 185157 0 | 5 | 0 859.32/859.61 c 856s | 11 | 1631600 | 21544 | 185157 0 | 5 | 0 866.12/866.45 c 863s | 11 | 1643835 | 21644 | 185157 0 | 5 | 0 872.52/872.83 c 869s | 11 | 1654370 | 21744 | 185157 0 | 5 | 0 876.12/876.43 c 873s | 11 | 1667033 | 21844 | 185157 0 | 5 | 0 879.32/879.63 c 876s | 11 | 1675690 | 21944 | 185157 0 | 5 | 0 883.51/883.86 c 880s | 11 | 1680056 | 22044 | 185157 0 | 5 | 0 887.71/888.08 c 885s | 11 | 1681916 | 22144 | 185157 0 | 5 | 0 891.21/891.54 c 888s | 11 | 1689311 | 22244 | 185157 0 | 5 | 0 894.41/894.78 c 891s | 11 | 1722178 | 22344 | 185157 0 | 5 | 0 901.21/901.58 c 898s | 11 | 1738449 | 22444 | 185157 0 | 5 | 0 908.21/908.52 c 905s | 11 | 1751969 | 22544 | 185157 0 | 5 | 0 914.81/915.15 c 912s | 11 | 1765158 | 22644 | 185157 0 | 5 | 0 921.21/921.52 c 918s | 11 | 1777465 | 22744 | 185157 0 | 5 | 0 927.41/927.77 c 924s | 11 | 1787384 | 22844 | 185157 0 | 5 | 0 932.91/933.26 c 930s | 11 | 1794950 | 22944 | 185157 0 | 5 | 0 938.31/938.66 c 935s | 11 | 1801335 | 23044 | 185157 0 | 5 | 0 942.70/943.03 c 940s | 11 | 1806484 | 23144 | 185157 0 | 5 | 0 947.00/947.31 c 944s | 11 | 1808933 | 23244 | 185157 0 | 5 | 0 950.40/950.70 c 947s | 11 | 1812895 | 23344 | 185157 0 | 5 | 0 953.10/953.45 c 950s | 11 | 1841366 | 23444 | 185157 0 | 5 | 0 957.70/958.08 c 955s | 11 | 1866427 | 23544 | 185157 0 | 5 | 0 960.70/961.01 c 958s | 11 | 1892705 | 23644 | 185157 0 | 5 | 0 965.80/966.11 c 963s | 11 | 1908719 | 23744 | 185157 0 | 5 | 0 971.20/971.57 c 968s | 11 | 1919256 | 23844 | 185157 0 | 5 | 0 976.61/976.95 c 974s | 11 | 1927947 | 23944 | 185157 0 | 5 | 0 981.50/981.81 c 978s | 11 | 1935065 | 24044 | 185157 0 | 5 | 0 985.80/986.14 c 983s | 11 | 1940345 | 24144 | 185157 0 | 5 | 0 989.80/990.17 c 987s | 11 | 1943445 | 24244 | 185157 0 | 5 | 0 993.10/993.44 c 990s | 11 | 1948422 | 24344 | 185157 0 | 5 | 0 996.59/996.94 c 993s | 11 | 1978780 | 24444 | 185157 0 | 5 | 0 1002.39/1002.74 c 999s | 11 | 1995365 | 24544 | 185157 0 | 5 | 0 1007.99/1008.30 c 1005s | 11 | 2009136 | 24644 | 185157 0 | 5 | 0 1013.59/1013.97 c 1011s | 11 | 2022291 | 24744 | 185157 0 | 5 | 0 1018.89/1019.26 c 1016s | 11 | 2031968 | 24844 | 185157 0 | 5 | 0 1023.80/1024.15 c 1021s | 11 | 2040219 | 24944 | 185157 0 | 5 | 0 1028.20/1028.56 c 1025s | 11 | 2046213 | 25044 | 185157 0 | 5 | 0 1030.79/1031.16 c 1028s | 11 | 2053396 | 25144 | 185157 0 | 5 | 0 1034.69/1035.01 c 1032s | 11 | 2057252 | 25344 | 185157 0 | 5 | 0 1040.49/1040.81 c 1037s | 11 | 2058603 | 25544 | 185157 0 | 5 | 0 1043.29/1043.68 c 1040s | 11 | 2058836 | 25644 | 185157 0 | 5 | 0 1046.59/1046.98 c 1044s | 11 | 2059418 | 25744 | 203673 0 | 5 | 0 1049.09/1049.47 c 1046s | 12 | 2060054 | 25819 | 203673 0 | 5 | 0 1052.29/1052.61 c 1049s | 12 | 2085116 | 25919 | 203673 0 | 5 | 0 1058.99/1059.38 c 1056s | 12 | 2102834 | 26019 | 203673 0 | 5 | 0 1065.38/1065.78 c 1062s | 12 | 2119912 | 26119 | 203673 0 | 5 | 0 1072.30/1072.67 c 1069s | 12 | 2133515 | 26219 | 203673 0 | 5 | 0 1077.70/1078.02 c 1075s | 12 | 2148852 | 26319 | 203673 0 | 5 | 0 1080.09/1080.44 c 1077s | 12 | 2165017 | 26419 | 203673 0 | 5 | 0 1085.19/1085.51 c 1082s | 12 | 2172329 | 26519 | 203673 0 | 5 | 0 1089.90/1090.23 c 1087s | 12 | 2177204 | 26619 | 203673 0 | 5 | 0 1094.19/1094.54 c 1091s | 12 | 2179835 | 26719 | 203673 0 | 5 | 0 1098.29/1098.66 c 1095s | 12 | 2181797 | 26819 | 203673 0 | 5 | 0 1100.69/1101.10 c 1098s | 12 | 2193742 | 26919 | 203673 0 | 5 | 0 1104.59/1104.97 c 1102s | 12 | 2196045 | 27019 | 203673 0 | 5 | 0 1109.49/1109.83 c 1106s | 12 | 2206314 | 27119 | 203673 0 | 5 | 0 1116.58/1116.96 c 1114s | 12 | 2223607 | 27219 | 203673 0 | 5 | 0 1118.58/1118.98 c 1116s | 12 | 2255284 | 27319 | 203673 0 | 5 | 0 1124.88/1125.24 c 1122s | 12 | 2270563 | 27419 | 203673 0 | 5 | 0 1130.88/1131.22 c 1128s | 12 | 2284301 | 27519 | 203673 0 | 5 | 0 1136.68/1137.01 c 1134s | 12 | 2296565 | 27619 | 203673 0 | 5 | 0 1142.08/1142.47 c 1139s | 12 | 2307463 | 27719 | 203673 0 | 5 | 0 1147.18/1147.56 c 1144s | 12 | 2315710 | 27819 | 203673 0 | 5 | 0 1151.78/1152.15 c 1149s | 12 | 2322278 | 27919 | 203673 0 | 5 | 0 1155.98/1156.39 c 1153s | 12 | 2327061 | 28019 | 203673 0 | 5 | 0 1159.28/1159.64 c 1156s | 12 | 2330866 | 28119 | 203673 0 | 5 | 0 1162.78/1163.16 c 1160s | 12 | 2362757 | 28219 | 203673 0 | 5 | 0 1169.57/1169.97 c 1167s | 12 | 2382323 | 28319 | 203673 0 | 5 | 0 1176.97/1177.31 c 1174s | 12 | 2398406 | 28419 | 203673 0 | 5 | 0 1182.77/1183.19 c 1180s | 12 | 2414013 | 28519 | 203673 0 | 5 | 0 1188.97/1189.37 c 1186s | 12 | 2425634 | 28619 | 203673 0 | 5 | 0 1195.07/1195.45 c 1192s | 12 | 2434977 | 28719 | 203673 0 | 5 | 0 1200.37/1200.70 c 1197s | 12 | 2442594 | 28819 | 203673 0 | 5 | 0 1203.77/1204.10 c 1201s | 12 | 2451268 | 28919 | 203673 0 | 5 | 0 1208.07/1208.41 c 1205s | 12 | 2453854 | 29019 | 203673 0 | 5 | 0 1211.57/1211.97 c 1209s | 12 | 2456566 | 29119 | 203673 0 | 5 | 0 1215.57/1215.99 c 1213s | 12 | 2478912 | 29219 | 203673 0 | 5 | 0 1218.97/1219.35 c 1216s | 12 | 2509260 | 29319 | 203673 0 | 5 | 0 1223.87/1224.22 c 1221s | 12 | 2530371 | 29419 | 203673 0 | 5 | 0 1229.36/1229.73 c 1226s | 12 | 2545509 | 29519 | 203673 0 | 5 | 0 1235.76/1236.10 c 1233s | 12 | 2555562 | 29619 | 203673 0 | 5 | 0 1241.86/1242.20 c 1239s | 12 | 2564667 | 29719 | 203673 0 | 5 | 0 1245.56/1245.99 c 1243s | 12 | 2575152 | 29819 | 203673 0 | 5 | 0 1249.27/1249.62 c 1246s | 12 | 2581976 | 29919 | 203673 0 | 5 | 0 1253.16/1253.54 c 1250s | 12 | 2585493 | 30019 | 203673 0 | 5 | 0 1256.26/1256.66 c 1253s | 12 | 2588197 | 30119 | 203673 0 | 5 | 0 1260.16/1260.50 c 1257s | 12 | 2594952 | 30219 | 203673 0 | 5 | 0 1263.26/1263.63 c 1260s | 12 | 2595597 | 30319 | 203673 0 | 5 | 0 1266.66/1267.06 c 1264s | 12 | 2596651 | 30419 | 203673 0 | 5 | 0 1269.86/1270.25 c 1267s | 12 | 2626435 | 30519 | 203673 0 | 5 | 0 1276.86/1277.23 c 1274s | 12 | 2644627 | 30619 | 203673 0 | 5 | 0 1284.26/1284.64 c 1281s | 12 | 2658202 | 30719 | 203673 0 | 5 | 0 1290.85/1291.26 c 1288s | 12 | 2672539 | 30819 | 203673 0 | 5 | 0 1295.05/1295.41 c 1292s | 12 | 2690294 | 30919 | 203673 0 | 5 | 0 1300.75/1301.18 c 1298s | 12 | 2700423 | 31019 | 203673 0 | 5 | 0 1306.46/1306.87 c 1303s | 12 | 2709162 | 31119 | 203673 0 | 5 | 0 1310.25/1310.62 c 1307s | 12 | 2717615 | 31219 | 203673 0 | 5 | 0 1314.85/1315.29 c 1312s | 12 | 2721516 | 31319 | 203673 0 | 5 | 0 1317.85/1318.29 c 1315s | 12 | 2723200 | 31419 | 203673 0 | 5 | 0 1320.76/1321.13 c 1318s | 12 | 2751276 | 31519 | 203673 0 | 5 | 0 1327.15/1327.56 c 1324s | 12 | 2767940 | 31619 | 203673 0 | 5 | 0 1334.05/1334.48 c 1331s | 12 | 2780131 | 31719 | 203673 0 | 5 | 0 1341.25/1341.62 c 1338s | 12 | 2790420 | 31819 | 203673 0 | 5 | 0 1348.25/1348.68 c 1345s | 12 | 2798178 | 31919 | 203673 0 | 5 | 0 1354.95/1355.37 c 1352s | 12 | 2805815 | 32019 | 203673 0 | 5 | 0 1360.35/1360.79 c 1357s | 12 | 2813339 | 32119 | 203673 0 | 5 | 0 1365.14/1365.54 c 1362s | 12 | 2822167 | 32219 | 203673 0 | 5 | 0 1368.74/1369.10 c 1366s | 12 | 2829923 | 32319 | 203673 0 | 5 | 0 1371.24/1371.63 c 1368s | 12 | 2833102 | 32419 | 203673 0 | 5 | 0 1374.14/1374.58 c 1371s | 12 | 2844331 | 32519 | 203673 0 | 5 | 0 1379.34/1379.73 c 1376s | 12 | 2867754 | 32619 | 203673 0 | 5 | 0 1383.24/1383.60 c 1380s | 12 | 2893146 | 32719 | 203673 0 | 5 | 0 1388.63/1389.08 c 1386s | 12 | 2909873 | 32819 | 203673 0 | 5 | 0 1394.73/1395.12 c 1392s | 12 | 2921916 | 32919 | 203673 0 | 5 | 0 1400.93/1401.39 c 1398s | 12 | 2930559 | 33019 | 203673 0 | 5 | 0 1406.54/1406.97 c 1404s | 12 | 2937972 | 33119 | 203673 0 | 5 | 0 1411.13/1411.56 c 1408s | 12 | 2944623 | 33219 | 203673 0 | 5 | 0 1415.44/1415.86 c 1412s | 12 | 2949746 | 33319 | 203673 0 | 5 | 0 1418.93/1419.30 c 1416s | 12 | 2952785 | 33419 | 203673 0 | 5 | 0 1421.13/1421.54 c 1418s | 12 | 2954210 | 33519 | 203673 0 | 5 | 0 1425.53/1425.92 c 1422s | 12 | 2955393 | 33719 | 203673 0 | 5 | 0 1429.13/1429.57 c 1426s | 12 | 2955592 | 33819 | 203673 0 | 5 | 0 1432.53/1432.94 c 1429s | 12 | 2955816 | 33919 | 203673 0 | 5 | 0 1437.23/1437.62 c 1434s | 12 | 2964798 | 34019 | 203673 0 | 5 | 0 1441.03/1441.50 c 1438s | 12 | 2997337 | 34119 | 203673 0 | 5 | 0 1447.23/1447.68 c 1444s | 12 | 3015219 | 34219 | 203673 0 | 5 | 0 1453.72/1454.12 c 1451s | 12 | 3031888 | 34319 | 203673 0 | 5 | 0 1459.62/1460.08 c 1457s | 12 | 3046285 | 34419 | 203673 0 | 5 | 0 1463.52/1463.90 c 1460s | 12 | 3063586 | 34519 | 203673 0 | 5 | 0 1468.92/1469.33 c 1466s | 12 | 3073938 | 34619 | 203673 0 | 5 | 0 1474.22/1474.60 c 1471s | 12 | 3082230 | 34719 | 203673 0 | 5 | 0 1479.32/1479.71 c 1476s | 12 | 3087920 | 34819 | 203673 0 | 5 | 0 1484.12/1484.55 c 1481s | 12 | 3091709 | 34919 | 203673 0 | 5 | 0 1487.92/1488.36 c 1485s | 12 | 3093320 | 35019 | 203673 0 | 5 | 0 1491.72/1492.11 c 1489s | 12 | 3102441 | 35119 | 203673 0 | 5 | 0 1494.82/1495.22 c 1492s | 12 | 3134966 | 35219 | 203673 0 | 5 | 0 1501.13/1501.58 c 1498s | 12 | 3153813 | 35319 | 203673 0 | 5 | 0 1506.73/1507.18 c 1504s | 12 | 3170901 | 35419 | 203673 0 | 5 | 0 1513.12/1513.58 c 1510s | 12 | 3183747 | 35519 | 203673 0 | 5 | 0 1519.62/1520.01 c 1517s | 12 | 3193037 | 35619 | 203673 0 | 5 | 0 1525.72/1526.12 c 1523s | 12 | 3202113 | 35719 | 203673 0 | 5 | 0 1530.32/1530.78 c 1527s | 12 | 3210278 | 35819 | 203673 0 | 5 | 0 1534.42/1534.89 c 1531s | 12 | 3217270 | 35919 | 203673 0 | 5 | 0 1537.43/1537.89 c 1534s | 12 | 3220700 | 36019 | 203673 0 | 5 | 0 1541.42/1541.80 c 1538s | 12 | 3225081 | 36119 | 203673 0 | 5 | 0 1545.42/1545.88 c 1542s | 12 | 3227515 | 36219 | 203673 0 | 5 | 0 1549.62/1550.02 c 1547s | 12 | 3241316 | 36319 | 203673 0 | 5 | 0 1553.22/1553.65 c 1550s | 12 | 3269271 | 36419 | 203673 0 | 5 | 0 1559.02/1559.46 c 1556s | 12 | 3282833 | 36519 | 203673 0 | 5 | 0 1565.02/1565.44 c 1562s | 12 | 3293322 | 36619 | 203673 0 | 5 | 0 1570.21/1570.65 c 1567s | 12 | 3305028 | 36719 | 203673 0 | 5 | 0 1573.61/1574.03 c 1571s | 12 | 3319688 | 36819 | 203673 0 | 5 | 0 1578.31/1578.75 c 1575s | 12 | 3328230 | 36919 | 203673 0 | 5 | 0 1581.81/1582.25 c 1579s | 12 | 3336639 | 37019 | 203673 0 | 5 | 0 1585.82/1586.27 c 1583s | 12 | 3340716 | 37119 | 203673 0 | 5 | 0 1589.12/1589.54 c 1586s | 12 | 3342331 | 37219 | 203673 0 | 5 | 0 1592.61/1593.04 c 1590s | 12 | 3369606 | 37319 | 203673 0 | 5 | 0 1596.11/1596.53 c 1593s | 12 | 3397941 | 37419 | 203673 0 | 5 | 0 1602.71/1603.15 c 1600s | 12 | 3411847 | 37519 | 203673 0 | 5 | 0 1609.31/1609.73 c 1606s | 12 | 3422705 | 37619 | 203673 0 | 5 | 0 1615.41/1615.86 c 1612s | 12 | 3430818 | 37719 | 203673 0 | 5 | 0 1622.00/1622.45 c 1619s | 12 | 3437645 | 37819 | 203673 0 | 5 | 0 1625.51/1625.92 c 1622s | 12 | 3446674 | 37919 | 203673 0 | 5 | 0 1630.00/1630.46 c 1627s | 12 | 3451860 | 38019 | 203673 0 | 5 | 0 1634.10/1634.56 c 1631s | 12 | 3455203 | 38119 | 203673 0 | 5 | 0 1638.61/1639.04 c 1636s | 12 | 3465839 | 38219 | 203673 0 | 5 | 0 1642.01/1642.41 c 1639s | 12 | 3473888 | 38319 | 203673 0 | 5 | 0 1646.20/1646.67 c 1643s | 12 | 3504342 | 38419 | 203673 0 | 5 | 0 1653.60/1654.00 c 1651s | 12 | 3521841 | 38519 | 203673 0 | 5 | 0 1658.90/1659.33 c 1656s | 12 | 3540941 | 38619 | 224041 0 | 5 | 0 1664.10/1664.56 c 1661s | 12 | 3556052 | 38719 | 224041 0 | 5 | 0 1670.50/1670.94 c 1667s | 12 | 3566886 | 38819 | 224041 0 | 5 | 0 1671.20/1671.69 c 1668s | 13 | 3567999 | 38832 | 224041 0 | 5 | 0 1676.90/1677.38 c 1674s | 13 | 3577892 | 38932 | 224041 0 | 5 | 0 1681.79/1682.27 c 1679s | 13 | 3584826 | 39032 | 224041 0 | 5 | 0 1685.19/1685.63 c 1682s | 13 | 3592034 | 39132 | 224041 0 | 5 | 0 1688.20/1688.69 c 1685s | 13 | 3594846 | 39232 | 224041 0 | 5 | 0 1690.99/1691.41 c 1688s | 13 | 3610570 | 39332 | 224041 0 | 5 | 0 1695.39/1695.81 c 1692s | 13 | 3639368 | 39432 | 224041 0 | 5 | 0 1701.89/1702.32 c 1699s | 13 | 3655899 | 39532 | 224041 0 | 5 | 0 1705.09/1705.50 c 1702s | 13 | 3678040 | 39632 | 224041 0 | 5 | 0 1711.09/1711.53 c 1708s | 13 | 3687960 | 39732 | 224041 0 | 5 | 0 1716.89/1717.37 c 1714s | 13 | 3696945 | 39832 | 224041 0 | 5 | 0 1722.69/1723.10 c 1720s | 13 | 3704252 | 39932 | 224041 0 | 5 | 0 1726.98/1727.43 c 1724s | 13 | 3710969 | 40032 | 224041 0 | 5 | 0 1730.78/1731.27 c 1728s | 13 | 3715322 | 40132 | 224041 0 | 5 | 0 1733.68/1734.18 c 1731s | 13 | 3718028 | 40232 | 224041 0 | 5 | 0 1736.08/1736.57 c 1733s | 13 | 3718471 | 40332 | 224041 0 | 5 | 0 1740.78/1741.28 c 1738s | 13 | 3719301 | 40432 | 224041 0 | 5 | 0 1744.19/1744.70 c 1741s | 13 | 3719517 | 40532 | 224041 0 | 5 | 0 1747.38/1747.81 c 1744s | 13 | 3720019 | 40632 | 224041 0 | 5 | 0 1750.48/1750.90 c 1747s | 13 | 3722767 | 40732 | 224041 0 | 5 | 0 1753.18/1753.60 c 1750s | 13 | 3723002 | 40832 | 224041 0 | 5 | 0 1756.39/1756.82 c 1753s | 13 | 3723593 | 40932 | 224041 0 | 5 | 0 1760.08/1760.50 c 1757s | 13 | 3725097 | 41032 | 224041 0 | 5 | 0 1763.58/1764.08 c 1761s | 13 | 3725380 | 41132 | 224041 0 | 5 | 0 1767.38/1767.89 c 1764s | 13 | 3731543 | 41232 | 224041 0 | 5 | 0 1769.48/1769.95 c 1767s | 13 | 3767273 | 41332 | 224041 0 | 5 | 0 1773.28/1773.76 c 1770s | 13 | 3792242 | 41432 | 224041 0 | 5 | 0 1778.78/1779.22 c 1776s | 13 | 3809848 | 41532 | 224041 0 | 5 | 0 1784.67/1785.10 c 1782s | 13 | 3823070 | 41632 | 224041 0 | 5 | 0 1790.07/1790.58 c 1787s | 13 | 3834348 | 41732 | 224041 0 | 5 | 0 1795.57/1796.04 c 1793s | 13 | 3844101 | 41832 | 224041 0 | 5 | 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-4079817-1465251879/watcher-4079817-1465251879 -o /tmp/evaluation-result-4079817-1465251879/solver-4079817-1465251879 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079817-1465251879.opb pid=8505 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.06 2.06 2.00 3/179 8508 /proc/meminfo: memFree=30667524/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=690756 CPUtime=0 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 2573 0 0 0 0 0 0 0 20 0 4 0 107122562 707334144 2934 33554432000 4194304 16246674 140736758556704 140736758556128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 173457 2944 442 2943 0 170351 0 [pid=8508/tid=8509] ppid=8505 vsize=708164 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 725159936 3003 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=713284 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 730402816 3021 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=717380 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107122562 734597120 3038 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100188 s] /proc/loadavg: 2.06 2.06 2.00 3/179 8508 /proc/meminfo: memFree=30667524/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 25372 0 0 0 5 3 0 0 20 0 4 0 107122562 1333334016 25671 33554432000 4194304 16246674 140736758556704 140736758539696 7387561 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 325521 25673 800 2943 0 322415 0 [pid=8508/tid=8509] ppid=8505 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1333334016 25683 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1333334016 25697 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1333334016 25707 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200537 s] /proc/loadavg: 2.06 2.06 2.00 3/179 8508 /proc/meminfo: memFree=30667524/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1312324 CPUtime=0.18 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 48671 0 0 0 12 6 0 0 20 0 4 0 107122562 1343819776 49481 33554432000 4194304 16246674 140736758556704 140736758539696 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 328081 49489 800 2943 0 324975 0 [pid=8508/tid=8509] ppid=8505 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1343819776 49493 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1343819776 49497 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1343819776 49500 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1312324 [startup+0.300443 s] /proc/loadavg: 2.06 2.06 2.00 3/179 8508 /proc/meminfo: memFree=30667524/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 56152 0 0 0 21 8 0 0 20 0 4 0 107122562 1345916928 56962 33554432000 4194304 16246674 140736758556704 140736758539696 7918814 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 328593 56962 800 2943 0 325487 0 [pid=8508/tid=8509] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 56962 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 56962 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 56962 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1314372 [startup+0.700438 s] /proc/loadavg: 2.06 2.06 2.00 3/179 8508 /proc/meminfo: memFree=30667524/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 67968 0 0 0 60 9 0 0 20 0 4 0 107122562 1345916928 68778 33554432000 4194304 16246674 140736758556704 140736758539696 7367207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 328593 68778 801 2943 0 325487 0 [pid=8508/tid=8509] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 68778 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 68778 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 68778 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1314372 [startup+1.50044 s] /proc/loadavg: 2.06 2.06 2.00 3/183 8512 /proc/meminfo: memFree=30365804/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 146385 0 0 0 128 21 0 0 20 0 4 0 107122562 1345916928 147195 33554432000 4194304 16246674 140736758556704 140736758538624 6965793 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 328593 147203 838 2943 0 325487 0 [pid=8508/tid=8509] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 147209 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 147214 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1345916928 147219 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1314372 [startup+3.10044 s] /proc/loadavg: 2.06 2.06 2.00 3/183 8512 /proc/meminfo: memFree=29588076/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=3.09 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281027 0 0 0 266 43 0 0 20 0 4 0 107122562 1394151424 281837 33554432000 4194304 16246674 140736758556704 140736758554560 4206664 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 281837 872 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281837 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281837 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281837 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1361476 [startup+6.30044 s] /proc/loadavg: 2.05 2.06 2.00 3/183 8512 /proc/meminfo: memFree=29541016/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=6.29 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281049 0 0 0 586 43 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140736758538624 5661989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 281859 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1361476 [startup+12.7004 s] /proc/loadavg: 2.05 2.06 2.00 3/183 8512 /proc/meminfo: memFree=29541228/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=12.69 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281049 0 0 0 1226 43 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140736758538624 12483532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 281859 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1361476 [startup+25.5005 s] /proc/loadavg: 2.04 2.05 2.00 3/183 8512 /proc/meminfo: memFree=29541648/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=25.49 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281049 0 0 0 2506 43 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140736758538624 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 281859 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1361476 [startup+51.1005 s] /proc/loadavg: 2.02 2.05 2.00 3/183 8512 /proc/meminfo: memFree=29540752/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=51.08 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281049 0 0 0 5065 43 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140736758538624 5673657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 281859 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273420065968 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) 1361476 [startup+102.3 s] /proc/loadavg: 2.07 2.06 2.00 3/183 8513 /proc/meminfo: memFree=29540432/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=102.28 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281049 0 0 0 10185 43 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140736758538624 5674567 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 281859 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 281859 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1361476 ################ # More data... # ################ /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1361476 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8592 /proc/meminfo: memFree=29490600/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1361.94 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 136148 46 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1361476 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8593 /proc/meminfo: memFree=29490228/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1421.94 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 142148 46 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1361476 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8595 /proc/meminfo: memFree=29490612/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1481.92 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 148146 46 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5828710 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1361476 [startup+1542.31 s] /proc/loadavg: 2.05 2.01 2.00 3/184 8599 /proc/meminfo: memFree=29490176/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1541.93 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 154146 47 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1361476 [startup+1602.3 s] /proc/loadavg: 2.19 2.06 2.01 3/183 8600 /proc/meminfo: memFree=29490332/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1601.91 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 160144 47 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5827682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1361476 [startup+1662.3 s] /proc/loadavg: 2.07 2.04 2.01 3/183 8601 /proc/meminfo: memFree=29490444/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1661.9 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 166143 47 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 13820935 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1361476 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 8602 /proc/meminfo: memFree=29490416/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1721.89 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 172142 47 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1361476 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 8604 /proc/meminfo: memFree=29490388/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1781.88 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 178141 47 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1361476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8605 /proc/meminfo: memFree=29490396/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1800.07 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 179960 47 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1361476 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 8508 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8605 /proc/meminfo: memFree=29490396/32872528 swapFree=11372/178980 [pid=8508] ppid=8505 vsize=1361476 CPUtime=1800.07 cores=0,2,4,6 /proc/8508/stat : 8508 (toysat) R 8505 8508 4590 0 -1 4202496 281298 0 0 0 179960 47 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140736758538624 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8508/statm: 340369 282116 892 2943 0 337263 0 [pid=8508/tid=8509] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8509/stat : 8509 (toysat) S 8505 8508 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273511279856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8508/tid=8510] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8510/stat : 8510 (toysat) S 8505 8508 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273430539504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8508/tid=8511] ppid=8505 vsize=1361476 CPUtime=0 cores=0,2,4,6 /proc/8508/task/8511/stat : 8511 (toysat) S 8505 8508 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107122562 1394151424 282116 33554432000 4194304 16246674 140736758556704 140273420065968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1361476 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.61 CPU system time (s): 0.478927 CPU usage (%): 99.9768 Max. virtual memory (cumulated for all children) (KiB): 1361476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.478927 maximum resident set size= 1128464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281298 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= 263 involuntary context switches= 1851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.33688 second user time and 11.5043 second system time The end
Begin job on node105 at 2016-06-07 00:24:39 IDJOB=4079817 IDBENCH=25020 IDSOLVER=2542 FILE ID=node105/4079817-1465251879 RUNJOBID= node105-1465220657-4606 PBS_JOBID= 19843223 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079817-1465251879/watcher-4079817-1465251879 -o /tmp/evaluation-result-4079817-1465251879/solver-4079817-1465251879 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079817-1465251879.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 904168892843efef74e3394360b8d762 RANDOM SEED=329478632 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30668052 kB Buffers: 59604 kB Cached: 151300 kB SwapCached: 1756 kB Active: 1217012 kB Inactive: 104984 kB Active(anon): 1111916 kB Inactive(anon): 1508 kB Active(file): 105096 kB Inactive(file): 103476 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098464 kB Dirty: 20984 kB Writeback: 0 kB AnonPages: 1289208 kB Mapped: 10760 kB Shmem: 0 kB Slab: 570116 kB SReclaimable: 13748 kB SUnreclaim: 556368 kB KernelStack: 1520 kB PageTables: 6780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1436440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1269760 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= 71712 MiB End job on node105 at 2016-06-07 00:54:40