Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | OPTIMUM | 258.536 | 258.574 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo |
| MD5SUM | af1f4aa986dfaf7d995a788abb35be25 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 75.6935 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 961 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 46411 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46410 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 737 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-19T15:44:53+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","--wbo","--search=bcd2","HOME/instance-4109670-1466343893.wbo"] 0.00/0.01 c use --random-gen="466569505 2989654202 2198005002 1053812325 561339890 1382743725 2850620001 1034124674 595890749 3064346759 585662296 2834385178 795540746 2782296723 3738535034 2918234973 2700824924 3571035185 2216111388 74331017 1698756796 392829733 3996794054 2643702409 1815216483 3995714805 4172103489 2586911254 720739248 642584351 4263448791 2149980252 1302891448 4051566207 2530741246 2023504585 1639987830 3263973132 2148810745 2889011841 1592441344 2800885188 4008251152 1123927612 3254228796 2862049286 632809842 1910906665 3217745728 3970907873 3308747776 3506460344 2657439349 3189231842 4016436317 4177937321 1305359578 1222115521 1543897065 190813070 3441485173 4052352465 2896388946 2445979635 2863665984 718215734 1362735851 1906657787 3008131307 290515849 2814062758 3849934397 1307664485 2842033838 2290027263 3216261059 423422562 3804285299 1165726093 2970514778 2392000293 2260759994 2415930761 3404484984 2281343109 2088464310 2504137377 437360798 914056072 2713607555 892714634 3694730300 3340140278 3333796586 985598999 3549065585 4121663091 347375253 2047849836 4166329942 2064041811 244717124 118297403 2670547165 3183797319 2411713115 3272321076 817933567 3957115445 831928791 889041407 838537987 2025163587 1738647722 3786013295 3922100233 1374236405 2217734229 1048191920 1650856181 2713706933 1533682807 2439307310 3215606327 3812351819 81652421 1649393406 3813307189 735992032 913803343 3935327589 2691254686 138616916 3290777507 1267452662 2044302634 1693350665 2609171478 2136903336 3149653661 3975725409 2997980240 2840472165 1539487927 1894570466 824471480 3189704166 986238291 3019484167 1402970505 4017288824 1530428306 3489496958 105586524 718038890 2941334235 921018028 3194181713 1209897264 3434940859 3136379246 2779202998 972467124 3687705393 2401326783 865966658 4052715831 1596401268 1041585835 3241942818 2616471101 293378884 193533175 1276626841 55495052 1483059508 4011851564 3455058664 1102069524 2586970026 3215970184 738104838 751292560 2415370818 1148468603 1626313885 1581796528 3275536980 1921358182 2292440916 2081984707 1823489080 1762851130 1676502244 2131875772 761627471 888852378 1110691295 2445418261 328693120 3905729857 2962301817 3827803851 4239794569 1302409071 2231418047 1812611292 957287720 70479659 3208366688 1945568628 1216846674 3311615230 512133245 3580299580 2893222508 3670249986 2357698061 297395506 3618124662 2411796860 983473281 469255024 1277539586 4267580844 2846206769 2175338492 266684281 4241599528 98911932 2415649438 2888967576 841956070 1458622578 2718514316 1119893815 556497852 4127961221 4204016041 3429267390 2073641895 3595601905 2379391336 761909238 2875625756 2614543522 1275208875 1263191144 1167793495 1719101546 2574496860 2505308518 2867028604 4124909652 2808884890 2819846577 255 362436" option to reproduce the execution 0.09/0.13 c #vars 231 0.09/0.13 c #constraints 2707 0.09/0.19 c BCD2: Hardening is enabled. 0.09/0.19 c BCD2: BiasedSearch is enabled. 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 1299 0 | 0 | 0 0.19/0.21 c 0.0s | 1 | 1193 | 100 | 1299 0 | 0 | 0 0.19/0.21 c 0.0s | 1 | 2199 | 101 | 1429 0 | 0 | 0 0.19/0.21 c #cpu_time = 0.028s 0.19/0.21 c #wall_clock_time = 0.028s 0.19/0.21 c #decision = 2199 0.19/0.21 c #random_decision = 9 0.19/0.21 c #conflict = 101 0.19/0.21 c #restart = 1 0.19/0.22 o 459 0.19/0.22 c BCD2: updating upper bound: 46410 -> 458 0.19/0.22 c BCD2: 0 <= obj <= 458 0.19/0.22 c BCD2: #cores=0, #unrelaxed=961, #relaxed=0, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1429 0 | 0 | 0 0.19/0.24 c 0.0s | 1 | 1140 | 100 | 1429 0 | 0 | 0 0.19/0.27 c 0.1s | 2 | 2437 | 250 | 1572 0 | 0 | 0 0.29/0.31 c 0.1s | 3 | 3842 | 475 | 1730 0 | 0 | 0 0.29/0.39 c 0.2s | 4 | 5500 | 813 | 1904 0 | 0 | 0 0.49/0.54 c 0.3s | 5 | 7436 | 1320 | 2095 0 | 0 | 0 0.79/0.84 c 0.6s | 6 | 9681 | 2081 | 2305 0 | 0 | 0 1.29/1.34 c 1.1s | 7 | 12637 | 3223 | 2536 0 | 0 | 0 1.89/1.99 c 1.8s | 8 | 16379 | 4936 | 2790 1 | 0 | 0 2.89/2.91 c 2.7s | 9 | 21721 | 7506 | 3070 3 | 0 | 0 4.40/4.40 c 4.2s | 10 | 29921 | 11361 | 3378 4 | 0 | 0 6.29/6.39 c 6.2s | 10 | 40270 | 16542 | 3378 7 | 0 | 0 6.29/6.39 c #cpu_time = 6.172s 6.29/6.39 c #wall_clock_time = 6.172s 6.29/6.39 c #decision = 40270 6.29/6.39 c #random_decision = 31 6.29/6.39 c #conflict = 16542 6.29/6.39 c #restart = 10 6.29/6.39 c BCD2: found a new core of size 713: cost of the new core is >=1 6.29/6.39 c lower bound updated to 1 6.29/6.39 c BCD2: 1 <= obj <= 458 6.29/6.39 c BCD2: #cores=1, #unrelaxed=248, #relaxed=713, #hardened=0 6.29/6.39 c BCD2: #sat=1 #unsat=2 bias=2/3 6.29/6.40 c Solving starts ... 6.29/6.40 c ============================[ Search Statistics ]============================ 6.29/6.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.29/6.40 c | | | | Limit GC | Var | Constra 6.29/6.40 c ============================================================================= 6.29/6.40 c 0.0s | 0 | 0 | 0 | 3378 0 | 0 | 0 6.39/6.44 c 0.0s | 1 | 617 | 100 | 3378 0 | 0 | 0 6.39/6.47 c 0.1s | 1 | 1090 | 111 | 3378 0 | 0 | 0 6.39/6.47 c #cpu_time = 0.072s 6.39/6.47 c #wall_clock_time = 0.072s 6.39/6.47 c #decision = 1090 6.39/6.47 c #random_decision = 1 6.39/6.47 c #conflict = 111 6.39/6.47 c #restart = 1 6.39/6.47 o 196 6.39/6.47 c BCD2: updating upper bound: 458 -> 195 6.39/6.47 c BCD2: 1 <= obj <= 195 6.39/6.47 c BCD2: #cores=1, #unrelaxed=248, #relaxed=713, #hardened=0 6.39/6.47 c BCD2: #sat=2 #unsat=2 bias=2/4 6.39/6.47 c Solving starts ... 6.39/6.47 c ============================[ Search Statistics ]============================ 6.39/6.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.39/6.47 c | | | | Limit GC | Var | Constra 6.39/6.47 c ============================================================================= 6.39/6.47 c 0.0s | 0 | 0 | 0 | 3378 0 | 0 | 1 6.49/6.53 c 0.1s | 0 | 471 | 74 | 3378 0 | 0 | 1 6.49/6.53 c #cpu_time = 0.060s 6.49/6.53 c #wall_clock_time = 0.060s 6.49/6.53 c #decision = 471 6.49/6.53 c #random_decision = 0 6.49/6.53 c #conflict = 74 6.49/6.53 c #restart = 0 6.49/6.53 o 179 6.49/6.54 c BCD2: updating upper bound: 195 -> 178 6.49/6.55 c BCD2: 1 <= obj <= 178 6.49/6.55 c BCD2: #cores=1, #unrelaxed=248, #relaxed=713, #hardened=0 6.49/6.55 c BCD2: #sat=3 #unsat=2 bias=2/5 6.49/6.55 c Solving starts ... 6.49/6.55 c ============================[ Search Statistics ]============================ 6.49/6.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.49/6.55 c | | | | Limit GC | Var | Constra 6.49/6.55 c ============================================================================= 6.49/6.55 c 0.0s | 0 | 0 | 0 | 3378 0 | 0 | 2 6.60/6.61 c 0.1s | 1 | 438 | 100 | 3378 0 | 0 | 2 6.70/6.71 c 0.2s | 2 | 960 | 250 | 3716 0 | 0 | 2 6.79/6.84 c 0.3s | 3 | 1599 | 475 | 3716 0 | 0 | 2 6.99/7.02 c 0.5s | 4 | 2474 | 813 | 3716 0 | 0 | 2 7.09/7.11 c 0.6s | 4 | 2871 | 893 | 3716 1 | 0 | 2 7.09/7.11 c #cpu_time = 0.560s 7.09/7.11 c #wall_clock_time = 0.560s 7.09/7.11 c #decision = 2871 7.09/7.11 c #random_decision = 1 7.09/7.11 c #conflict = 893 7.09/7.11 c #restart = 4 7.09/7.11 o 76 7.09/7.11 c BCD2: hardening fixes 229 literals 7.09/7.11 c BCD2: updating upper bound: 178 -> 75 7.09/7.11 c BCD2: 1 <= obj <= 75 7.09/7.11 c BCD2: #cores=1, #unrelaxed=186, #relaxed=546, #hardened=229 7.09/7.11 c BCD2: #sat=4 #unsat=2 bias=2/6 7.09/7.12 c Solving starts ... 7.09/7.12 c ============================[ Search Statistics ]============================ 7.09/7.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.12 c | | | | Limit GC | Var | Constra 7.09/7.12 c ============================================================================= 7.09/7.12 c 0.0s | 0 | 0 | 0 | 3716 0 | 229 | 3 7.09/7.19 c 0.1s | 1 | 373 | 100 | 3716 0 | 229 | 3 7.19/7.25 c 0.1s | 2 | 940 | 250 | 3716 0 | 229 | 3 7.29/7.35 c 0.2s | 3 | 1491 | 475 | 3716 0 | 229 | 3 7.39/7.47 c 0.4s | 4 | 2273 | 813 | 3716 0 | 229 | 3 7.59/7.69 c 0.6s | 5 | 3368 | 1320 | 3716 0 | 229 | 3 7.99/8.01 c 0.9s | 6 | 4851 | 2081 | 3716 0 | 229 | 3 8.39/8.48 c 1.4s | 7 | 6667 | 3223 | 3716 1 | 229 | 3 8.69/8.75 c 1.6s | 7 | 7699 | 3764 | 3716 1 | 229 | 3 8.69/8.75 c #cpu_time = 1.632s 8.69/8.75 c #wall_clock_time = 1.632s 8.69/8.75 c #decision = 7699 8.69/8.75 c #random_decision = 5 8.69/8.75 c #conflict = 3764 8.69/8.75 c #restart = 7 8.69/8.75 o 26 8.69/8.75 c BCD2: hardening fixes 461 literals 8.69/8.75 c BCD2: updating upper bound: 75 -> 25 8.69/8.75 c BCD2: 1 <= obj <= 25 8.69/8.75 c BCD2: #cores=1, #unrelaxed=59, #relaxed=212, #hardened=690 8.69/8.75 c BCD2: #sat=5 #unsat=2 bias=2/7 8.69/8.75 c Solving starts ... 8.69/8.75 c ============================[ Search Statistics ]============================ 8.69/8.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.69/8.75 c | | | | Limit GC | Var | Constra 8.69/8.75 c ============================================================================= 8.69/8.75 c 0.0s | 0 | 0 | 0 | 3716 0 | 690 | 4 8.69/8.80 c 0.1s | 1 | 209 | 100 | 3716 0 | 690 | 4 8.80/8.86 c 0.1s | 2 | 558 | 250 | 3716 0 | 690 | 4 8.90/8.95 c 0.2s | 3 | 1140 | 475 | 3716 0 | 690 | 4 8.99/9.07 c 0.3s | 4 | 1800 | 813 | 3716 0 | 690 | 4 9.19/9.24 c 0.5s | 5 | 2704 | 1320 | 3716 1 | 690 | 4 9.49/9.52 c 0.8s | 6 | 3910 | 2081 | 3716 1 | 690 | 4 9.90/9.98 c 1.2s | 7 | 5850 | 3223 | 3716 1 | 690 | 4 10.59/10.67 c 1.9s | 8 | 8452 | 4936 | 4088 2 | 690 | 4 11.69/11.75 c 3.0s | 9 | 12337 | 7506 | 4088 3 | 690 | 4 13.20/13.27 c 4.5s | 10 | 18613 | 11361 | 4088 5 | 690 | 4 15.19/15.29 c 6.5s | 10 | 26795 | 16461 | 4088 7 | 690 | 4 15.49/15.54 c 6.8s | 11 | 27776 | 17144 | 4497 7 | 690 | 4 17.49/17.55 c 8.8s | 11 | 35483 | 22144 | 4497 9 | 690 | 4 18.89/18.92 c 10.2s | 12 | 41342 | 25819 | 4497 10 | 690 | 4 20.89/20.95 c 12.2s | 12 | 50359 | 31319 | 4497 12 | 690 | 4 22.89/22.96 c 14.2s | 12 | 58717 | 36519 | 4947 14 | 690 | 4 23.89/23.92 c 15.2s | 13 | 62269 | 38832 | 4947 15 | 690 | 4 25.89/25.95 c 17.2s | 13 | 70941 | 44132 | 4947 16 | 690 | 4 27.88/27.97 c 19.2s | 13 | 80127 | 49532 | 4947 18 | 690 | 4 29.98/30.00 c 21.3s | 13 | 89734 | 55432 | 4947 20 | 690 | 4 30.98/31.04 c 22.3s | 14 | 94572 | 58352 | 4947 21 | 690 | 4 32.99/33.05 c 24.3s | 14 | 103490 | 64052 | 4947 23 | 690 | 4 34.98/35.08 c 26.3s | 14 | 113410 | 70152 | 5442 25 | 690 | 4 35.38/35.49 c 26.7s | 14 | 115255 | 71361 | 5442 25 | 690 | 4 35.38/35.49 c #cpu_time = 26.742s 35.38/35.49 c #wall_clock_time = 26.740s 35.38/35.49 c #decision = 115255 35.38/35.49 c #random_decision = 158 35.38/35.49 c #conflict = 71361 35.38/35.49 c #restart = 14 35.38/35.49 c BCD2: relaxing 53 and merging with 1 cores into a new core of size 766: cost of the new core is >=2 35.38/35.49 c lower bound updated to 2 35.38/35.49 c BCD2: 2 <= obj <= 25 35.38/35.49 c BCD2: #cores=1, #unrelaxed=6, #relaxed=265, #hardened=690 35.38/35.49 c BCD2: #sat=5 #unsat=3 bias=3/8 35.38/35.49 c Solving starts ... 35.38/35.49 c ============================[ Search Statistics ]============================ 35.38/35.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 35.38/35.49 c | | | | Limit GC | Var | Constra 35.38/35.49 c ============================================================================= 35.38/35.49 c 0.0s | 0 | 0 | 0 | 5442 0 | 695 | 4 35.58/35.63 c 0.1s | 1 | 193 | 100 | 5442 0 | 695 | 13 35.58/35.69 c 0.2s | 2 | 453 | 250 | 5442 0 | 695 | 13 35.78/35.83 c 0.3s | 3 | 805 | 475 | 5442 0 | 695 | 13 35.88/35.93 c 0.4s | 4 | 1390 | 813 | 5442 0 | 695 | 13 36.08/36.10 c 0.6s | 5 | 2229 | 1320 | 5442 0 | 695 | 13 36.29/36.38 c 0.9s | 6 | 3488 | 2081 | 5442 0 | 695 | 13 36.68/36.75 c 1.3s | 7 | 5551 | 3223 | 5442 0 | 695 | 13 37.29/37.39 c 1.9s | 8 | 8655 | 4936 | 5442 1 | 695 | 13 38.29/38.32 c 2.8s | 9 | 12496 | 7506 | 5442 1 | 695 | 13 39.79/39.81 c 4.3s | 10 | 18428 | 11361 | 5442 3 | 695 | 13 41.79/41.81 c 6.3s | 10 | 26425 | 16261 | 5442 4 | 695 | 13 42.09/42.15 c 6.7s | 11 | 27881 | 17144 | 5442 4 | 695 | 13 44.09/44.18 c 8.7s | 11 | 36197 | 22644 | 5442 6 | 695 | 13 45.39/45.41 c 9.9s | 12 | 41138 | 25819 | 5442 7 | 695 | 13 47.39/47.43 c 11.9s | 12 | 49745 | 31219 | 5442 9 | 695 | 13 49.39/49.43 c 13.9s | 12 | 59499 | 37219 | 5442 11 | 695 | 13 49.89/49.95 c 14.5s | 13 | 62028 | 38832 | 5987 11 | 695 | 13 51.89/51.96 c 16.5s | 13 | 70554 | 44232 | 5987 13 | 695 | 13 53.89/53.99 c 18.5s | 13 | 80090 | 49832 | 5987 14 | 695 | 13 55.98/56.02 c 20.5s | 13 | 88914 | 55332 | 5987 16 | 695 | 13 57.29/57.31 c 21.8s | 14 | 93345 | 58352 | 5987 17 | 695 | 13 59.28/59.34 c 23.8s | 14 | 101540 | 63452 | 5987 18 | 695 | 13 61.28/61.35 c 25.9s | 14 | 110446 | 68952 | 5987 20 | 695 | 13 63.28/63.37 c 27.9s | 14 | 120024 | 74552 | 5987 21 | 695 | 13 65.28/65.37 c 29.9s | 14 | 128630 | 79752 | 5987 23 | 695 | 13 67.38/67.40 c 31.9s | 14 | 137236 | 85052 | 5987 25 | 695 | 13 68.29/68.36 c 32.9s | 15 | 141467 | 87632 | 5987 25 | 695 | 13 70.28/70.34 c 34.8s | 15 | 149835 | 92928 | 5987 27 | 695 | 13 70.28/70.34 c #cpu_time = 34.845s 70.28/70.34 c #wall_clock_time = 34.842s 70.28/70.34 c #decision = 149835 70.28/70.34 c #random_decision = 198 70.28/70.34 c #conflict = 92928 70.28/70.34 c #restart = 15 70.28/70.34 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 769: cost of the new core is >=6 70.28/70.34 c lower bound updated to 6 70.28/70.34 c BCD2: 6 <= obj <= 25 70.28/70.34 c BCD2: #cores=1, #unrelaxed=3, #relaxed=268, #hardened=690 70.28/70.34 c BCD2: #sat=5 #unsat=4 bias=4/9 70.28/70.34 c Solving starts ... 70.28/70.34 c ============================[ Search Statistics ]============================ 70.28/70.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 70.28/70.34 c | | | | Limit GC | Var | Constra 70.28/70.34 c ============================================================================= 70.28/70.34 c 0.0s | 0 | 0 | 0 | 5987 0 | 696 | 13 70.49/70.55 c 0.2s | 1 | 168 | 100 | 5987 0 | 696 | 14 70.58/70.66 c 0.3s | 2 | 445 | 250 | 5987 0 | 696 | 14 70.78/70.84 c 0.5s | 3 | 779 | 475 | 5987 0 | 696 | 14 70.98/71.00 c 0.7s | 4 | 1392 | 813 | 5987 0 | 696 | 14 71.08/71.19 c 0.9s | 5 | 2247 | 1320 | 5987 0 | 696 | 14 71.38/71.48 c 1.1s | 6 | 3471 | 2081 | 5987 0 | 696 | 14 71.88/71.97 c 1.6s | 7 | 5251 | 3223 | 5987 0 | 696 | 14 72.69/72.72 c 2.4s | 8 | 7898 | 4936 | 5987 0 | 696 | 14 73.79/73.88 c 3.5s | 9 | 11846 | 7506 | 5987 1 | 696 | 14 75.58/75.63 c 5.3s | 10 | 17839 | 11361 | 6586 2 | 696 | 14 77.58/77.64 c 7.3s | 10 | 25976 | 16361 | 6586 3 | 696 | 14 77.88/77.98 c 7.6s | 11 | 27078 | 17144 | 6586 4 | 696 | 14 79.88/79.99 c 9.7s | 11 | 34530 | 21644 | 6586 5 | 696 | 14 81.88/81.93 c 11.6s | 12 | 41238 | 25819 | 6586 6 | 696 | 14 83.88/83.94 c 13.6s | 12 | 46974 | 29819 | 6586 7 | 696 | 14 85.88/85.95 c 15.6s | 12 | 52928 | 33819 | 6586 8 | 696 | 14 87.98/88.01 c 17.7s | 12 | 59570 | 38219 | 6586 9 | 696 | 14 88.28/88.34 c 18.0s | 13 | 60594 | 38832 | 6586 9 | 696 | 14 90.28/90.38 c 20.0s | 13 | 66845 | 42832 | 6586 11 | 696 | 14 92.38/92.41 c 22.1s | 13 | 73685 | 47332 | 6586 12 | 696 | 14 94.37/94.44 c 24.1s | 13 | 80455 | 51732 | 6586 13 | 696 | 14 96.37/96.45 c 26.1s | 13 | 85828 | 55332 | 6586 14 | 696 | 14 97.88/97.92 c 27.6s | 14 | 90140 | 58352 | 6586 15 | 696 | 14 99.87/99.92 c 29.6s | 14 | 96811 | 62552 | 6586 16 | 696 | 14 101.87/101.93 c 31.6s | 14 | 103325 | 66852 | 6586 17 | 696 | 14 103.87/103.95 c 33.6s | 14 | 109120 | 70752 | 6586 18 | 696 | 14 105.87/105.96 c 35.6s | 14 | 116521 | 75352 | 6586 19 | 696 | 14 107.88/107.98 c 37.6s | 14 | 123024 | 79752 | 6586 20 | 696 | 14 109.87/109.99 c 39.7s | 14 | 129607 | 84052 | 6586 22 | 696 | 14 111.77/111.84 c 41.5s | 15 | 134786 | 87632 | 6586 23 | 696 | 14 113.77/113.88 c 43.5s | 15 | 140078 | 91332 | 6586 24 | 696 | 14 115.87/115.93 c 45.6s | 15 | 146077 | 95332 | 6586 25 | 696 | 14 116.27/116.31 c 46.0s | 15 | 147105 | 96057 | 6586 25 | 696 | 14 116.27/116.31 c #cpu_time = 45.976s 116.27/116.31 c #wall_clock_time = 45.973s 116.27/116.31 c #decision = 147105 116.27/116.31 c #random_decision = 223 116.27/116.31 c #conflict = 96057 116.27/116.31 c #restart = 15 116.27/116.31 o 13 116.27/116.31 c BCD2: hardening fixes 138 literals 116.27/116.31 c BCD2: updating upper bound: 25 -> 12 116.27/116.31 c BCD2: 6 <= obj <= 12 116.27/116.31 c BCD2: #cores=1, #unrelaxed=3, #relaxed=130, #hardened=828 116.27/116.31 c BCD2: #sat=6 #unsat=4 bias=4/10 116.27/116.31 c Solving starts ... 116.27/116.31 c ============================[ Search Statistics ]============================ 116.27/116.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 116.27/116.31 c | | | | Limit GC | Var | Constra 116.27/116.31 c ============================================================================= 116.27/116.31 c 0.0s | 0 | 0 | 0 | 6586 0 | 834 | 15 116.27/116.38 c 0.1s | 1 | 148 | 100 | 6586 0 | 834 | 15 116.37/116.46 c 0.1s | 2 | 393 | 250 | 6586 0 | 834 | 15 116.47/116.59 c 0.3s | 3 | 726 | 475 | 6586 0 | 834 | 15 116.68/116.78 c 0.5s | 4 | 1196 | 813 | 6586 0 | 834 | 15 116.87/116.98 c 0.7s | 5 | 2096 | 1320 | 6586 0 | 834 | 15 117.37/117.40 c 1.1s | 6 | 3235 | 2081 | 6586 0 | 834 | 15 117.87/117.97 c 1.7s | 7 | 5184 | 3223 | 6586 1 | 834 | 15 118.67/118.75 c 2.4s | 8 | 7900 | 4936 | 6586 1 | 834 | 15 119.87/119.95 c 3.6s | 9 | 12110 | 7506 | 6586 2 | 834 | 15 121.37/121.43 c 5.1s | 10 | 18606 | 11361 | 6586 3 | 834 | 15 123.37/123.44 c 7.1s | 10 | 26845 | 16361 | 7245 4 | 834 | 15 123.67/123.79 c 7.5s | 11 | 28071 | 17144 | 7245 4 | 834 | 15 125.77/125.82 c 9.5s | 11 | 36460 | 22144 | 7245 5 | 834 | 15 126.97/127.07 c 10.8s | 12 | 43207 | 25819 | 7245 6 | 834 | 15 128.97/129.08 c 12.8s | 12 | 53617 | 31619 | 7245 8 | 834 | 15 130.97/131.09 c 14.8s | 12 | 65353 | 38019 | 7245 9 | 834 | 15 131.27/131.36 c 15.0s | 13 | 66755 | 38832 | 7245 9 | 834 | 15 133.27/133.40 c 17.1s | 13 | 73594 | 42932 | 7245 11 | 834 | 15 135.38/135.41 c 19.1s | 13 | 84336 | 48932 | 7245 12 | 834 | 15 137.37/137.44 c 21.1s | 13 | 95559 | 55032 | 7245 13 | 834 | 15 138.47/138.52 c 22.2s | 14 | 101880 | 58352 | 7245 14 | 834 | 15 140.47/140.54 c 24.2s | 14 | 112111 | 63952 | 7245 16 | 834 | 15 142.47/142.57 c 26.3s | 14 | 123470 | 70252 | 7245 17 | 834 | 15 144.18/144.24 c 27.9s | 14 | 131424 | 74939 | 7245 18 | 834 | 15 144.18/144.24 c #cpu_time = 27.930s 144.18/144.24 c #wall_clock_time = 27.929s 144.18/144.24 c #decision = 131424 144.18/144.24 c #random_decision = 364 144.18/144.24 c #conflict = 74939 144.18/144.24 c #restart = 14 144.18/144.24 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 771: cost of the new core is >=8 144.18/144.24 c lower bound updated to 8 144.18/144.24 c BCD2: 8 <= obj <= 12 144.18/144.24 c BCD2: #cores=1, #unrelaxed=1, #relaxed=132, #hardened=828 144.18/144.24 c BCD2: #sat=6 #unsat=5 bias=5/11 144.18/144.24 c Solving starts ... 144.18/144.24 c ============================[ Search Statistics ]============================ 144.18/144.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 144.18/144.24 c | | | | Limit GC | Var | Constra 144.18/144.24 c ============================================================================= 144.18/144.24 c 0.0s | 0 | 0 | 0 | 7245 0 | 836 | 15 144.37/144.43 c 0.2s | 1 | 210 | 100 | 7245 0 | 836 | 18 144.67/144.71 c 0.5s | 2 | 493 | 250 | 7245 0 | 836 | 18 144.67/144.78 c 0.5s | 3 | 836 | 475 | 7245 0 | 836 | 18 144.77/144.88 c 0.6s | 4 | 1424 | 813 | 7245 0 | 836 | 18 144.97/145.04 c 0.8s | 5 | 2319 | 1320 | 7245 0 | 836 | 18 145.18/145.28 c 1.0s | 6 | 3730 | 2081 | 7245 0 | 836 | 18 145.67/145.70 c 1.5s | 7 | 5636 | 3223 | 7245 0 | 836 | 18 146.28/146.33 c 2.1s | 8 | 8501 | 4936 | 7245 0 | 836 | 18 147.17/147.22 c 3.0s | 9 | 12697 | 7506 | 7245 1 | 836 | 18 148.58/148.68 c 4.4s | 10 | 19272 | 11361 | 7245 2 | 836 | 18 150.57/150.67 c 6.4s | 11 | 29856 | 17144 | 7245 3 | 836 | 18 152.57/152.68 c 8.4s | 11 | 39414 | 22644 | 7245 4 | 836 | 18 153.67/153.77 c 9.5s | 12 | 44771 | 25819 | 7245 5 | 836 | 18 155.77/155.81 c 11.6s | 12 | 54327 | 31219 | 7245 7 | 836 | 18 157.77/157.83 c 13.6s | 12 | 62375 | 36119 | 7245 8 | 836 | 18 158.67/158.74 c 14.5s | 13 | 67008 | 38832 | 7245 8 | 836 | 18 160.67/160.77 c 16.5s | 13 | 74687 | 43532 | 7245 10 | 836 | 18 162.67/162.78 c 18.5s | 13 | 82593 | 48332 | 7245 11 | 836 | 18 164.77/164.80 c 20.6s | 13 | 90641 | 53432 | 7245 12 | 836 | 18 166.56/166.63 c 22.4s | 14 | 98854 | 58352 | 7245 13 | 836 | 18 168.56/168.64 c 24.4s | 14 | 106432 | 63052 | 7245 14 | 836 | 18 170.57/170.66 c 26.4s | 14 | 115579 | 68552 | 7245 16 | 836 | 18 172.56/172.68 c 28.4s | 14 | 125966 | 74452 | 7245 17 | 836 | 18 174.56/174.70 c 30.5s | 14 | 135131 | 79852 | 7245 18 | 836 | 18 176.66/176.73 c 32.5s | 14 | 143832 | 85352 | 7970 20 | 836 | 18 177.56/177.62 c 33.4s | 15 | 147483 | 87632 | 7970 20 | 836 | 18 179.56/179.64 c 35.4s | 15 | 155603 | 92632 | 7970 21 | 836 | 18 181.57/181.64 c 37.4s | 15 | 165073 | 98232 | 7970 23 | 836 | 18 183.56/183.66 c 39.4s | 15 | 173854 | 103532 | 7970 24 | 836 | 18 185.56/185.67 c 41.4s | 15 | 183900 | 109332 | 7970 25 | 836 | 18 187.66/187.73 c 43.5s | 15 | 193158 | 114732 | 7970 26 | 836 | 18 189.66/189.73 c 45.5s | 15 | 201497 | 119832 | 7970 27 | 836 | 18 191.66/191.73 c 47.5s | 15 | 209637 | 125032 | 7970 29 | 836 | 18 192.96/193.05 c 48.8s | 15 | 215359 | 128522 | 7970 29 | 837 | 19 192.96/193.05 c #cpu_time = 48.812s 192.96/193.05 c #wall_clock_time = 48.809s 192.96/193.05 c #decision = 215359 192.96/193.05 c #random_decision = 637 192.96/193.05 c #conflict = 128522 192.96/193.05 c #restart = 15 192.96/193.05 c BCD2: updating lower bound of a core 192.96/193.05 c lower bound updated to 11 192.96/193.07 c BCD2: hardening fixes 1 literals 192.96/193.07 c BCD2: 11 <= obj <= 12 192.96/193.07 c BCD2: #cores=1, #unrelaxed=0, #relaxed=132, #hardened=829 192.96/193.07 c BCD2: #sat=6 #unsat=6 bias=6/12 192.96/193.07 c Solving starts ... 192.96/193.07 c ============================[ Search Statistics ]============================ 192.96/193.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 192.96/193.07 c | | | | Limit GC | Var | Constra 192.96/193.07 c ============================================================================= 192.96/193.07 c 0.0s | 0 | 0 | 0 | 7970 0 | 838 | 19 193.67/193.77 c 0.7s | 1 | 182 | 100 | 7970 0 | 838 | 19 193.77/193.83 c 0.8s | 2 | 394 | 250 | 7970 0 | 838 | 19 193.97/194.09 c 1.0s | 3 | 803 | 475 | 7970 0 | 838 | 19 194.17/194.24 c 1.2s | 4 | 1374 | 813 | 7970 0 | 838 | 19 194.37/194.42 c 1.4s | 5 | 2141 | 1320 | 7970 0 | 838 | 19 194.57/194.69 c 1.6s | 6 | 3296 | 2081 | 7970 0 | 838 | 19 195.07/195.13 c 2.1s | 7 | 5150 | 3223 | 7970 0 | 838 | 19 195.67/195.75 c 2.7s | 8 | 7965 | 4936 | 7970 0 | 838 | 19 196.97/197.03 c 4.0s | 9 | 11736 | 7506 | 7970 1 | 838 | 19 198.66/198.75 c 5.7s | 10 | 18131 | 11361 | 7970 2 | 838 | 19 200.66/200.78 c 7.7s | 10 | 25861 | 15961 | 7970 3 | 838 | 19 201.27/201.38 c 8.3s | 11 | 27541 | 17144 | 7970 3 | 838 | 19 203.36/203.40 c 10.3s | 11 | 34433 | 21644 | 7970 4 | 838 | 19 205.16/205.23 c 12.2s | 12 | 41339 | 25819 | 7970 5 | 838 | 19 207.16/207.25 c 14.2s | 12 | 47923 | 29919 | 7970 6 | 838 | 19 209.16/209.27 c 16.2s | 12 | 54560 | 34119 | 7970 7 | 838 | 19 211.17/211.28 c 18.2s | 12 | 61091 | 38419 | 7970 8 | 838 | 19 211.36/211.48 c 18.4s | 13 | 61677 | 38832 | 7970 8 | 838 | 19 213.37/213.49 c 20.4s | 13 | 67703 | 42932 | 7970 9 | 838 | 19 215.46/215.52 c 22.5s | 13 | 74265 | 47332 | 7970 10 | 838 | 19 217.56/217.62 c 24.6s | 13 | 80534 | 51532 | 7970 11 | 838 | 19 219.56/219.64 c 26.6s | 13 | 86825 | 55732 | 7970 12 | 838 | 19 220.66/220.77 c 27.7s | 14 | 91012 | 58352 | 7970 12 | 838 | 19 221.76/221.82 c 28.8s | 14 | 94214 | 60464 | 7970 13 | 838 | 19 221.76/221.82 c #cpu_time = 28.769s 221.76/221.82 c #wall_clock_time = 28.767s 221.76/221.82 c #decision = 94214 221.76/221.82 c #random_decision = 313 221.76/221.82 c #conflict = 60464 221.76/221.82 c #restart = 14 221.76/221.82 o 12 221.76/221.82 c BCD2: hardening fixes 13 literals 221.76/221.82 c BCD2: updating upper bound: 12 -> 11 221.76/221.82 c BCD2: 11 <= obj <= 11 221.76/221.82 c BCD2: #cores=1, #unrelaxed=0, #relaxed=119, #hardened=842 221.76/221.82 c BCD2: #sat=7 #unsat=6 bias=6/13 221.76/221.82 c Solving starts ... 221.76/221.82 c ============================[ Search Statistics ]============================ 221.76/221.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 221.76/221.82 c | | | | Limit GC | Var | Constra 221.76/221.82 c ============================================================================= 221.76/221.82 c 0.0s | 0 | 0 | 0 | 7970 0 | 851 | 21 221.76/221.87 c 0.1s | 1 | 135 | 100 | 7970 0 | 851 | 21 221.86/221.95 c 0.1s | 2 | 356 | 250 | 7970 0 | 851 | 21 221.96/222.06 c 0.2s | 3 | 675 | 475 | 7970 0 | 851 | 21 222.06/222.18 c 0.4s | 4 | 1195 | 813 | 7970 0 | 851 | 21 222.36/222.46 c 0.6s | 5 | 2117 | 1320 | 7970 0 | 851 | 21 222.76/222.81 c 1.0s | 6 | 3179 | 2081 | 7970 0 | 851 | 21 223.27/223.36 c 1.5s | 7 | 5130 | 3223 | 7970 0 | 851 | 21 224.06/224.17 c 2.3s | 8 | 7771 | 4936 | 7970 1 | 851 | 21 225.26/225.33 c 3.5s | 9 | 11642 | 7506 | 7970 1 | 851 | 21 226.86/226.94 c 5.1s | 10 | 17509 | 11361 | 7970 2 | 851 | 21 228.86/228.96 c 7.1s | 10 | 23295 | 15261 | 7970 3 | 851 | 21 230.06/230.11 c 8.3s | 11 | 26166 | 17144 | 7970 4 | 851 | 21 232.06/232.15 c 10.3s | 11 | 32701 | 21344 | 7970 4 | 851 | 21 234.06/234.18 c 12.4s | 11 | 39354 | 25644 | 7970 5 | 851 | 21 234.16/234.29 c 12.5s | 12 | 39587 | 25819 | 7970 6 | 851 | 21 236.16/236.30 c 14.5s | 12 | 46096 | 30219 | 7970 6 | 851 | 21 238.25/238.30 c 16.5s | 12 | 53452 | 34819 | 7970 8 | 851 | 21 239.76/239.82 c 18.0s | 13 | 59987 | 38832 | 7970 8 | 851 | 21 241.75/241.84 c 20.0s | 13 | 67177 | 43332 | 7970 9 | 851 | 21 243.75/243.88 c 22.1s | 13 | 74741 | 48232 | 7970 11 | 851 | 21 245.75/245.88 c 24.1s | 13 | 82280 | 53032 | 7970 12 | 851 | 21 247.85/247.90 c 26.1s | 13 | 90501 | 58032 | 7970 13 | 851 | 21 247.95/248.02 c 26.2s | 14 | 91029 | 58352 | 7970 13 | 851 | 21 249.95/250.03 c 28.2s | 14 | 98864 | 63352 | 7970 14 | 851 | 21 251.96/252.04 c 30.2s | 14 | 107144 | 68452 | 7970 15 | 851 | 21 253.95/254.04 c 32.2s | 14 | 115198 | 73452 | 7970 16 | 851 | 21 255.95/256.07 c 34.2s | 14 | 123637 | 78852 | 7970 17 | 851 | 21 257.95/258.09 c 36.3s | 14 | 129813 | 82952 | 7970 18 | 851 | 21 258.45/258.50 c 36.7s | 14 | 131124 | 83851 | 7970 19 | 852 | 23 258.45/258.50 c #cpu_time = 36.683s 258.45/258.50 c #wall_clock_time = 36.680s 258.45/258.50 c #decision = 131124 258.45/258.50 c #random_decision = 562 258.45/258.50 c #conflict = 83851 258.45/258.50 c #restart = 14 258.45/258.50 c BCD2: updating lower bound of a core 258.45/258.50 c lower bound updated to 12 258.45/258.51 s OPTIMUM FOUND 258.45/258.51 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 258.45/258.51 v -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 258.45/258.51 v -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 258.45/258.51 v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 258.45/258.51 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 258.45/258.51 v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 258.45/258.51 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 258.45/258.51 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 258.45/258.51 v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 258.45/258.51 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 258.45/258.51 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 258.45/258.51 v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 258.45/258.51 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 258.45/258.51 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 258.45/258.51 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 258.45/258.51 v x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 258.45/258.51 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 258.45/258.51 v -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 258.45/258.51 v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 258.45/258.51 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 258.45/258.51 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 258.45/258.51 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 258.45/258.51 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 258.45/258.51 v -x231 258.45/258.51 c total CPU time = 258.525s 258.45/258.51 c total wall clock time = 258.509s
OK 12
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-4109670-1466343893/watcher-4109670-1466343893 -o /tmp/evaluation-result-4109670-1466343893/solver-4109670-1466343893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4861 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109670-1466343893.wbo pid=5330 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.15 2.13 1.86 3/179 5333 /proc/meminfo: memFree=30046100/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=754244 CPUtime=0 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 2821 0 0 0 0 0 0 0 20 0 4 0 36439233 772345856 2672 33554432000 4194304 16246674 140734967520000 140734967519424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 189329 2680 442 2943 0 186223 0 [pid=5333/tid=5334] ppid=5330 vsize=772676 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 791220224 2743 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=776772 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 795414528 2759 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=780868 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36439233 799608832 2776 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.15 2.13 1.86 3/179 5333 /proc/meminfo: memFree=30046100/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 24719 0 0 0 5 4 0 0 20 0 4 0 36439233 1247350784 24562 33554432000 4194304 16246674 140734967520000 140734967519424 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 304529 24567 614 2943 0 301423 0 [pid=5333/tid=5334] ppid=5330 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1247350784 24571 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1247350784 24576 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36439233 1247350784 24579 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200497 s] /proc/loadavg: 2.15 2.13 1.86 3/179 5333 /proc/meminfo: memFree=30046100/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1221188 CPUtime=0.19 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 40864 0 0 0 13 6 0 0 20 0 4 0 36439233 1250496512 40680 33554432000 4194304 16246674 140734967520000 140734967519424 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 305297 40684 800 2943 0 302191 0 [pid=5333/tid=5334] ppid=5330 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1250496512 40687 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1250496512 40690 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36439233 1250496512 40692 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300461 s] /proc/loadavg: 2.15 2.13 1.86 3/179 5333 /proc/meminfo: memFree=30046100/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1222212 CPUtime=0.29 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 41062 0 0 0 23 6 0 0 20 0 4 0 36439233 1251545088 40876 33554432000 4194304 16246674 140734967520000 140734967519312 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 305553 40876 868 2943 0 302447 0 [pid=5333/tid=5334] ppid=5330 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1251545088 40876 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1251545088 40876 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1251545088 40876 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1222212 [startup+0.700399 s] /proc/loadavg: 2.15 2.13 1.86 3/179 5333 /proc/meminfo: memFree=30046100/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1222212 CPUtime=0.69 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 124605 0 0 0 51 18 0 0 20 0 4 0 36439233 1251545088 124419 33554432000 4194304 16246674 140734967520000 140734967501888 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 305553 124428 868 2943 0 302447 0 [pid=5333/tid=5334] ppid=5330 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1251545088 124434 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1251545088 124443 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1251545088 124447 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1222212 [startup+1.5004 s] /proc/loadavg: 2.14 2.13 1.86 3/183 5337 /proc/meminfo: memFree=29144364/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 246930 0 0 0 115 34 0 0 20 0 4 0 36439233 1338576896 246744 33554432000 4194304 16246674 140734967520000 140734967519176 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 326801 246744 872 2943 0 323695 0 [pid=5333/tid=5334] ppid=5330 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1338576896 246744 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1338576896 246744 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1338576896 246744 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1307204 [startup+3.10041 s] /proc/loadavg: 2.14 2.13 1.86 3/183 5337 /proc/meminfo: memFree=29058928/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1310276 CPUtime=3.09 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 247715 0 0 0 275 34 0 0 20 0 4 0 36439233 1341722624 247529 33554432000 4194304 16246674 140734967520000 140734967503000 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 327569 247529 876 2943 0 324463 0 [pid=5333/tid=5334] ppid=5330 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1341722624 247529 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1341722624 247529 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1341722624 247529 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1310276 [startup+6.3004 s] /proc/loadavg: 2.14 2.13 1.86 3/183 5337 /proc/meminfo: memFree=28971584/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1311300 CPUtime=6.29 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 268949 0 0 0 591 38 0 0 20 0 4 0 36439233 1342771200 268763 33554432000 4194304 16246674 140734967520000 140734967503000 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 327825 268763 876 2943 0 324719 0 [pid=5333/tid=5334] ppid=5330 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1342771200 268763 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1342771200 268763 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1342771200 268763 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1311300 [startup+12.7004 s] /proc/loadavg: 2.11 2.12 1.86 3/183 5337 /proc/meminfo: memFree=28971468/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1311300 CPUtime=12.69 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 268959 0 0 0 1231 38 0 0 20 0 4 0 36439233 1342771200 268773 33554432000 4194304 16246674 140734967520000 140734967501888 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 327825 268773 886 2943 0 324719 0 [pid=5333/tid=5334] ppid=5330 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1342771200 268773 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1342771200 268773 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1342771200 268773 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1311300 [startup+25.5005 s] /proc/loadavg: 2.18 2.13 1.87 3/183 5337 /proc/meminfo: memFree=28965920/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 269471 0 0 0 2511 38 0 0 20 0 4 0 36439233 1344868352 269285 33554432000 4194304 16246674 140734967520000 140734967501888 5523356 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 328337 269285 886 2943 0 325231 0 [pid=5333/tid=5334] ppid=5330 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1344868352 269285 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1344868352 269285 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1344868352 269285 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1313348 [startup+51.1005 s] /proc/loadavg: 2.11 2.12 1.87 3/183 5337 /proc/meminfo: memFree=28958612/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1320516 CPUtime=51.09 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271263 0 0 0 5070 39 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140734967503000 13780568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330129 271077 886 2943 0 327023 0 [pid=5333/tid=5334] ppid=5330 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1320516 [startup+102.3 s] /proc/loadavg: 2.13 2.13 1.89 3/183 5338 /proc/meminfo: memFree=28934392/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1320516 CPUtime=102.28 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271263 0 0 0 10189 39 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140734967501888 5677392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330129 271077 886 2943 0 327023 0 [pid=5333/tid=5334] ppid=5330 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1352208384 271077 33554432000 4194304 16246674 140734967520000 140328955792560 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) 1320516 ################ # More data... # ################ /proc/5333/statm: 330385 271333 886 2943 0 327279 0 [pid=5333/tid=5334] ppid=5330 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1353256960 271333 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1353256960 271333 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1353256960 271333 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 1321540 [startup+222.307 s] /proc/loadavg: 2.03 2.09 1.91 3/183 5340 /proc/meminfo: memFree=28840652/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=222.27 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 22186 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967501888 5822704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 1322564 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5333 sig 9 ??? kill -5333 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+230.4 s] /proc/loadavg: 2.03 2.09 1.91 3/183 5340 /proc/meminfo: memFree=28839536/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=230.36 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 22995 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967501888 6011006 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 230.36 Current children cumulated vsize (KiB) 1322564 [startup+243.207 s] /proc/loadavg: 2.02 2.08 1.91 3/183 5341 /proc/meminfo: memFree=28838908/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=243.16 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 24275 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967519096 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 243.16 Current children cumulated vsize (KiB) 1322564 [startup+249.6 s] /proc/loadavg: 2.02 2.08 1.91 3/183 5341 /proc/meminfo: memFree=28839284/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=249.55 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 24914 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967501888 5673150 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 249.55 Current children cumulated vsize (KiB) 1322564 [startup+252.8 s] /proc/loadavg: 2.10 2.10 1.91 3/183 5341 /proc/meminfo: memFree=28839292/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=252.75 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 25234 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967501888 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 252.75 Current children cumulated vsize (KiB) 1322564 [startup+256 s] /proc/loadavg: 2.10 2.10 1.91 3/183 5341 /proc/meminfo: memFree=28839492/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=255.95 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 25554 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967501888 13196294 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 255.95 Current children cumulated vsize (KiB) 1322564 [startup+257.6 s] /proc/loadavg: 2.09 2.10 1.91 3/183 5341 /proc/meminfo: memFree=28839496/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=257.55 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 25714 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967519096 12415736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 257.55 Current children cumulated vsize (KiB) 1322564 [startup+258 s] /proc/loadavg: 2.09 2.10 1.91 3/183 5341 /proc/meminfo: memFree=28839496/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=257.95 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 25754 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967519096 5673687 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 257.95 Current children cumulated vsize (KiB) 1322564 [startup+258.4 s] /proc/loadavg: 2.09 2.10 1.91 3/183 5341 /proc/meminfo: memFree=28839496/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=258.35 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 25794 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967501888 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 258.35 Current children cumulated vsize (KiB) 1322564 [startup+258.5 s] /proc/loadavg: 2.09 2.10 1.91 3/183 5341 /proc/meminfo: memFree=28839544/32872528 swapFree=163656/177964 [pid=5333] ppid=5330 vsize=1322564 CPUtime=258.45 cores=0,2,4,6 /proc/5333/stat : 5333 (toysat) R 5330 5333 4845 0 -1 4202496 271775 0 0 0 25804 41 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140734967501888 5531979 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5333/statm: 330641 271589 886 2943 0 327535 0 [pid=5333/tid=5334] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5334/stat : 5334 (toysat) S 5330 5333 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328976755952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5333/tid=5335] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5335/stat : 5335 (toysat) S 5330 5333 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328966266096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5333/tid=5336] ppid=5330 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/5333/task/5336/stat : 5336 (toysat) S 5330 5333 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36439233 1354305536 271589 33554432000 4194304 16246674 140734967520000 140328955792560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 258.45 Current children cumulated vsize (KiB) 1322564 Child status: 0 Real time (s): 258.574 CPU time (s): 258.536 CPU user time (s): 258.055 CPU system time (s): 0.480926 CPU usage (%): 99.9851 Max. virtual memory (cumulated for all children) (KiB): 1322564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 258.055 system time used= 0.480926 maximum resident set size= 1086368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271779 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= 22 involuntary context switches= 285 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.663899 second user time and 1.00985 second system time The end
Begin job on node105 at 2016-06-19 15:44:53 IDJOB=4109670 IDBENCH=78886 IDSOLVER=2553 FILE ID=node105/4109670-1466343893 RUNJOBID= node105-1466341824-4861 PBS_JOBID= 19922043 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109670-1466343893/watcher-4109670-1466343893 -o /tmp/evaluation-result-4109670-1466343893/solver-4109670-1466343893 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4861 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109670-1466343893.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25 RANDOM SEED=117095503 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.561 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.12 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.561 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.561 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.561 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.561 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 : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30046520 kB Buffers: 127008 kB Cached: 346328 kB SwapCached: 1696 kB Active: 1581496 kB Inactive: 324832 kB Active(anon): 1432256 kB Inactive(anon): 3096 kB Active(file): 149240 kB Inactive(file): 321736 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67099304 kB Dirty: 16320 kB Writeback: 0 kB AnonPages: 1610008 kB Mapped: 10780 kB Shmem: 0 kB Slab: 609112 kB SReclaimable: 52828 kB SUnreclaim: 556284 kB KernelStack: 1520 kB PageTables: 7212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1755680 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1173504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node105 at 2016-06-19 15:49:12