| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.14 | 1800.42 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb |
| MD5SUM | ec90eecae558bb98c83f0a39ee76567f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 155000 |
| Total number of constraints | 5150 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 3000 |
| Number of terms in the objective function | 155000 |
| Biggest coefficient in the objective function | 76 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 654958 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 654958 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T01:59:22+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-4099825-1466207962.opb"] 0.00/0.01 c use --random-gen="3748428193 2958731479 460162616 223848067 458063709 1653798372 3806404314 306739882 4136077395 4014934578 3786793016 3959721341 2186188774 3166312359 3185291183 1336180008 3391968891 3919148380 810664553 750507091 1065240818 3529423786 1336876504 734478914 2586519424 615556846 955280343 2948363770 533446422 3003492412 565267355 1773387561 125607696 708237659 1193171006 1581643870 3412235595 3116545968 129710900 1064895968 1932173395 3696598154 3132439613 1517946261 3230835249 2498812265 1772630731 1663468248 3536772014 2918020316 1494912075 3727243693 245040615 3589700330 3230251784 2507433889 2862094063 1874666723 1667720339 454932560 807098943 4287181522 945461381 2393622954 1486628876 3699367917 1426255087 1553753137 3717065208 1111786197 1302140323 3651969153 2827595816 1129593532 1810076036 1081500887 449723608 3342741825 2474432806 3616813160 3053463778 4174262156 2247870185 2979952035 11778038 3605156882 2131725426 2428261240 3286568009 2047882042 217947870 843645635 2230352010 378022328 3933283794 654399728 3925011861 3747203556 495161537 1979338025 3747863408 2786545771 1071349430 3596096736 810637126 3694273174 1783096034 4080708774 2058537255 78761174 1938880187 4091321619 1671414467 2384327193 3062574472 3655666423 419056830 1615997055 1551993733 392952283 885938459 1736061183 1302090411 88876247 1887515766 3995226471 1172253217 4253156330 666289166 647815112 3818234315 2911806975 128758479 2219903459 3924556986 2201620318 3959695271 224517198 3418889619 834192604 2160450281 587222946 3236468739 2549753092 3623738463 2129626577 2501657701 1350663957 2663222384 29635597 2786273009 23930579 3151388802 1763154736 1964365544 1379353275 3204429835 431594696 4063645023 3828441337 3908698919 875016516 852309679 179114047 1224451462 142189912 2212552334 469278026 2237430998 4115735305 427295756 1474287878 3213237051 1977548724 2629031752 1167323685 3188841269 4137452001 1742670981 2235704262 3550991112 1330979742 599220267 119044435 577670844 4136955336 3293595534 1851285812 2969578150 3055220660 510303277 435675465 209646039 3873777117 3823817267 2908736913 284992850 2378098504 2990869214 707042187 4056208860 4283502162 675488697 1861698790 3416073613 3501566498 66718858 312539018 3805868965 2750330710 1366589804 2999411158 1923787380 1661547718 3017242500 4221620205 4003968817 3064896404 1210643446 279610376 2329420207 1759111208 1251626148 1459972492 1645837597 1963652048 3933970315 3988094199 3355917167 253986694 1640801264 1936797842 1797295749 1369397613 1517287675 641717863 510685960 3019884285 3474200330 3859672807 1320062405 2062899759 2048928462 4005282026 3764192114 366628875 2874660218 2142365008 3897699684 981653037 2060778295 3478469442 1098315249 2595763027 2823725128 2828833991 255 362436" option to reproduce the execution 0.99/1.05 c #vars 155000 0.99/1.05 c #constraints 5150 3.40/3.42 c BCD2: Hardening is enabled. 3.40/3.42 c BCD2: BiasedSearch is enabled. 3.40/3.42 c Solving starts ... 3.40/3.42 c ============================[ Search Statistics ]============================ 3.40/3.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.40/3.42 c | | | | Limit GC | Var | Constra 3.40/3.42 c ============================================================================= 3.49/3.53 c 0.0s | 0 | 0 | 0 | 53433 0 | 59526 | 0 10.09/10.16 c 6.6s | 0 | 5272 | 100 | 53433 0 | 59526 | 0 10.19/10.24 c 6.7s | 1 | 5272 | 100 | 53433 0 | 59526 | 0 10.89/10.93 c 7.4s | 2 | 6399 | 250 | 58777 0 | 59526 | 0 11.69/11.75 c 8.2s | 3 | 7615 | 475 | 64655 0 | 59526 | 0 13.29/13.34 c 9.8s | 4 | 8947 | 813 | 71121 0 | 59526 | 0 15.50/15.57 c 12.0s | 4 | 10332 | 1213 | 78234 0 | 59526 | 0 16.09/16.15 c 12.6s | 5 | 10443 | 1320 | 78234 0 | 59526 | 0 18.69/18.73 c 15.2s | 5 | 18798 | 1520 | 86058 0 | 59526 | 0 22.58/22.61 c 19.1s | 5 | 19001 | 1720 | 86058 0 | 59526 | 0 26.49/26.50 c 23.0s | 5 | 19195 | 1920 | 86058 0 | 59526 | 0 29.69/29.71 c 26.2s | 6 | 19360 | 2081 | 94664 0 | 59526 | 0 35.59/35.68 c 32.2s | 6 | 53252 | 2181 | 94664 0 | 59526 | 0 44.38/44.42 c 40.9s | 6 | 53587 | 2281 | 94664 0 | 59526 | 0 52.78/52.85 c 49.3s | 6 | 53759 | 2381 | 94664 0 | 59526 | 0 60.38/60.43 c 56.9s | 6 | 53953 | 2481 | 94664 0 | 59526 | 0 67.78/67.85 c 64.3s | 6 | 54223 | 2581 | 94664 0 | 59526 | 0 76.09/76.15 c 72.6s | 6 | 54491 | 2681 | 94664 0 | 59526 | 0 87.78/87.87 c 84.3s | 6 | 54639 | 2781 | 94664 0 | 59526 | 0 94.37/94.49 c 91.0s | 6 | 54905 | 2881 | 94664 0 | 59526 | 0 102.17/102.28 c 98.8s | 6 | 55026 | 2981 | 94664 0 | 59526 | 0 111.87/111.95 c 108s | 6 | 55134 | 3081 | 94664 0 | 59526 | 0 118.17/118.25 c 114s | 6 | 55802 | 3181 | 94664 0 | 59526 | 0 121.67/121.78 c 118s | 7 | 56033 | 3223 | 104131 0 | 59526 | 0 124.07/124.13 c 120s | 7 | 64250 | 3723 | 104131 0 | 59526 | 0 126.37/126.47 c 122s | 7 | 64749 | 4223 | 104131 0 | 59526 | 0 128.67/128.70 c 125s | 7 | 65137 | 4623 | 104131 0 | 59526 | 0 130.57/130.69 c 127s | 8 | 65451 | 4936 | 114545 0 | 59526 | 0 133.77/133.82 c 130s | 8 | 68445 | 5136 | 114545 0 | 59526 | 0 136.58/136.61 c 133s | 8 | 68647 | 5336 | 114545 0 | 59526 | 0 139.37/139.43 c 135s | 8 | 68846 | 5536 | 114545 0 | 59526 | 0 142.27/142.30 c 138s | 8 | 69050 | 5736 | 114545 0 | 59526 | 0 145.07/145.16 c 141s | 8 | 69253 | 5936 | 114545 0 | 59526 | 0 147.87/148.00 c 144s | 8 | 69452 | 6136 | 114545 0 | 59526 | 0 150.77/150.88 c 147s | 8 | 69657 | 6336 | 114545 0 | 59526 | 0 153.66/153.73 c 150s | 8 | 69858 | 6536 | 114545 0 | 59526 | 0 156.46/156.59 c 153s | 8 | 70060 | 6736 | 114545 0 | 59526 | 0 159.36/159.49 c 155s | 8 | 70254 | 6936 | 114545 0 | 59526 | 0 162.26/162.33 c 158s | 8 | 70457 | 7136 | 114545 0 | 59526 | 0 165.18/165.22 c 161s | 8 | 70661 | 7336 | 114545 0 | 59526 | 0 167.57/167.69 c 164s | 9 | 70832 | 7506 | 126000 0 | 59526 | 0 170.37/170.43 c 166s | 9 | 75509 | 7706 | 126000 0 | 59526 | 0 172.96/173.02 c 169s | 9 | 75709 | 7906 | 126000 0 | 59526 | 0 175.46/175.59 c 172s | 9 | 77466 | 8106 | 126000 0 | 59526 | 0 179.37/179.43 c 175s | 9 | 77667 | 8306 | 126000 0 | 59526 | 0 183.26/183.30 c 179s | 9 | 77868 | 8506 | 126000 0 | 59526 | 0 187.07/187.17 c 183s | 9 | 78074 | 8706 | 126000 0 | 59526 | 0 190.96/191.01 c 187s | 9 | 78282 | 8906 | 126000 0 | 59526 | 0 194.77/194.83 c 191s | 9 | 78500 | 9106 | 126000 0 | 59526 | 0 198.56/198.69 c 195s | 9 | 78709 | 9306 | 126000 0 | 59526 | 0 202.46/202.57 c 199s | 9 | 78915 | 9506 | 126000 0 | 59526 | 0 204.46/204.58 c 201s | 9 | 80706 | 9606 | 126000 0 | 59526 | 0 208.07/208.13 c 204s | 9 | 106884 | 9706 | 126000 0 | 59526 | 0 211.46/211.58 c 208s | 9 | 107179 | 9806 | 126000 0 | 59526 | 0 216.65/216.71 c 213s | 9 | 107848 | 9906 | 126000 0 | 59526 | 0 223.16/223.29 c 219s | 9 | 108101 | 10006 | 126000 0 | 59526 | 0 227.96/228.09 c 224s | 9 | 108359 | 10106 | 126000 0 | 59526 | 0 232.95/233.07 c 229s | 9 | 108652 | 10206 | 126000 0 | 59526 | 0 235.85/235.99 c 232s | 9 | 108845 | 10306 | 126000 0 | 59526 | 0 238.86/238.93 c 235s | 9 | 108945 | 10406 | 126000 0 | 59526 | 0 242.07/242.17 c 238s | 9 | 109041 | 10506 | 126000 0 | 59526 | 0 245.06/245.16 c 241s | 9 | 109289 | 10606 | 126000 0 | 59526 | 0 248.05/248.13 c 244s | 9 | 109388 | 10706 | 126000 0 | 59526 | 0 251.05/251.12 c 247s | 9 | 109489 | 10806 | 126000 0 | 59526 | 0 253.95/254.08 c 250s | 9 | 109588 | 10906 | 126000 0 | 59526 | 0 256.96/257.07 c 253s | 9 | 109697 | 11006 | 126000 0 | 59526 | 0 259.95/260.05 c 256s | 9 | 109794 | 11106 | 126000 0 | 59526 | 0 263.06/263.12 c 259s | 9 | 109897 | 11206 | 126000 0 | 59526 | 0 266.55/266.60 c 263s | 9 | 110216 | 11306 | 138600 0 | 59526 | 0 268.25/268.34 c 264s | 10 | 110269 | 11361 | 138600 0 | 59526 | 0 271.15/271.24 c 267s | 10 | 116777 | 11561 | 138600 0 | 59526 | 0 274.05/274.16 c 270s | 10 | 116965 | 11761 | 138600 0 | 59526 | 0 277.14/277.23 c 273s | 10 | 117178 | 11961 | 138600 0 | 59526 | 0 280.14/280.29 c 276s | 10 | 117371 | 12161 | 138600 0 | 59526 | 0 283.35/283.47 c 279s | 10 | 117575 | 12361 | 138600 0 | 59526 | 0 286.45/286.51 c 282s | 10 | 117776 | 12561 | 138600 0 | 59526 | 0 289.95/290.02 c 286s | 10 | 117968 | 12761 | 138600 0 | 59526 | 0 293.65/293.80 c 290s | 10 | 118169 | 12961 | 138600 0 | 59526 | 0 297.24/297.32 c 293s | 10 | 118385 | 13161 | 138600 0 | 59526 | 0 300.64/300.76 c 297s | 10 | 118577 | 13361 | 138600 0 | 59526 | 0 304.24/304.34 c 300s | 10 | 118773 | 13561 | 138600 0 | 59526 | 0 307.65/307.77 c 304s | 10 | 118977 | 13761 | 138600 0 | 59526 | 0 310.95/311.04 c 307s | 10 | 119173 | 13961 | 138600 0 | 59526 | 0 314.44/314.52 c 310s | 10 | 119371 | 14161 | 138600 0 | 59526 | 0 317.84/318.00 c 314s | 10 | 119577 | 14361 | 138600 0 | 59526 | 0 321.54/321.65 c 318s | 10 | 119771 | 14561 | 138600 0 | 59526 | 0 325.04/325.19 c 321s | 10 | 119974 | 14761 | 138600 0 | 59526 | 0 328.54/328.61 c 325s | 10 | 120179 | 14961 | 138600 0 | 59526 | 0 331.84/331.98 c 328s | 10 | 120386 | 15161 | 138600 0 | 59526 | 0 335.34/335.41 c 331s | 10 | 120576 | 15361 | 138600 0 | 59526 | 0 338.95/339.00 c 335s | 10 | 120783 | 15561 | 138600 0 | 59526 | 0 342.54/342.61 c 339s | 10 | 120976 | 15761 | 138600 0 | 59526 | 0 344.54/344.69 c 341s | 10 | 121075 | 15861 | 138600 0 | 59526 | 0 346.64/346.72 c 343s | 10 | 121180 | 15961 | 138600 0 | 59526 | 0 350.43/350.53 c 347s | 10 | 121401 | 16161 | 138600 0 | 59526 | 0 353.63/353.75 c 350s | 10 | 121580 | 16361 | 138600 0 | 59526 | 0 357.03/357.17 c 353s | 10 | 121788 | 16561 | 138600 0 | 59526 | 0 360.64/360.73 c 357s | 10 | 121989 | 16761 | 138600 0 | 59526 | 0 364.34/364.42 c 360s | 10 | 122191 | 16961 | 138600 0 | 59526 | 0 368.03/368.14 c 364s | 11 | 122367 | 17144 | 152460 0 | 59526 | 0 370.33/370.44 c 366s | 11 | 123538 | 17344 | 152460 0 | 59526 | 0 372.73/372.88 c 369s | 11 | 124048 | 17844 | 152460 0 | 59526 | 0 375.14/375.29 c 371s | 11 | 124449 | 18244 | 152460 0 | 59526 | 0 377.44/377.57 c 374s | 11 | 124850 | 18644 | 152460 0 | 59526 | 0 379.74/379.82 c 376s | 11 | 125252 | 19044 | 152460 0 | 59526 | 0 382.13/382.28 c 378s | 11 | 125653 | 19444 | 152460 0 | 59526 | 0 384.53/384.66 c 381s | 11 | 126057 | 19844 | 152460 0 | 59526 | 0 386.53/386.67 c 383s | 11 | 126364 | 20144 | 152460 0 | 59526 | 0 388.83/388.98 c 385s | 11 | 126799 | 20544 | 152460 0 | 59526 | 0 391.23/391.39 c 387s | 11 | 127304 | 21044 | 152460 0 | 59526 | 0 393.33/393.46 c 389s | 11 | 127720 | 21444 | 152460 0 | 59526 | 0 395.63/395.70 c 392s | 11 | 128130 | 21844 | 152460 0 | 59526 | 0 397.73/397.87 c 394s | 11 | 128527 | 22244 | 152460 0 | 59526 | 0 400.03/400.14 c 396s | 11 | 128927 | 22644 | 152460 0 | 59526 | 0 402.43/402.55 c 399s | 11 | 129339 | 23044 | 152460 0 | 59526 | 0 404.94/405.02 c 401s | 11 | 129737 | 23444 | 152460 0 | 59526 | 0 407.33/407.46 c 403s | 11 | 130147 | 23844 | 152460 0 | 59526 | 0 409.63/409.72 c 406s | 11 | 130444 | 24144 | 152460 0 | 59526 | 0 412.22/412.32 c 408s | 11 | 130853 | 24544 | 152460 0 | 59526 | 0 414.42/414.52 c 410s | 11 | 131171 | 24844 | 152460 0 | 59526 | 0 416.62/416.72 c 413s | 11 | 131581 | 25244 | 152460 0 | 59526 | 0 419.14/419.21 c 415s | 11 | 132106 | 25744 | 167706 0 | 59526 | 0 419.63/419.75 c 416s | 12 | 132181 | 25819 | 167706 0 | 59526 | 0 423.93/424.05 c 420s | 12 | 183314 | 25919 | 167706 0 | 59526 | 0 428.63/428.72 c 425s | 12 | 183415 | 26019 | 167706 0 | 59526 | 0 432.82/432.92 c 429s | 12 | 183606 | 26119 | 167706 0 | 59526 | 0 437.42/437.52 c 433s | 12 | 183740 | 26219 | 167706 0 | 59526 | 0 442.92/443.04 c 439s | 12 | 183896 | 26319 | 167706 0 | 59526 | 0 448.92/449.10 c 445s | 12 | 184064 | 26419 | 167706 0 | 59526 | 0 454.22/454.35 c 450s | 12 | 184298 | 26519 | 167706 0 | 59526 | 0 457.52/457.66 c 454s | 12 | 184453 | 26619 | 167706 0 | 59526 | 0 461.02/461.12 c 457s | 12 | 184616 | 26719 | 167706 0 | 59526 | 0 464.32/464.41 c 460s | 12 | 184885 | 26819 | 167706 0 | 59526 | 0 468.12/468.25 c 464s | 12 | 185057 | 26919 | 167706 0 | 59526 | 0 473.62/473.74 c 470s | 12 | 185214 | 27019 | 167706 0 | 59526 | 0 478.81/478.92 c 475s | 12 | 185339 | 27119 | 167706 0 | 59526 | 0 482.81/482.98 c 479s | 12 | 185508 | 27219 | 167706 0 | 59526 | 0 488.12/488.25 c 484s | 12 | 185635 | 27319 | 167706 0 | 59526 | 0 492.02/492.10 c 488s | 12 | 185771 | 27419 | 167706 0 | 59526 | 0 495.02/495.17 c 491s | 12 | 186050 | 27519 | 167706 0 | 59526 | 0 498.11/498.25 c 494s | 12 | 186228 | 27619 | 167706 0 | 59526 | 0 501.72/501.84 c 498s | 12 | 186516 | 27719 | 167706 0 | 59526 | 0 504.92/505.03 c 501s | 12 | 186723 | 27819 | 167706 0 | 59526 | 0 508.01/508.15 c 504s | 12 | 187038 | 27919 | 167706 0 | 59526 | 0 510.51/510.66 c 507s | 12 | 187226 | 28019 | 167706 0 | 59526 | 0 513.21/513.38 c 509s | 12 | 187361 | 28119 | 167706 0 | 59526 | 0 516.82/516.95 c 513s | 12 | 187488 | 28219 | 167706 0 | 59526 | 0 519.82/519.93 c 516s | 12 | 187661 | 28319 | 167706 0 | 59526 | 0 522.52/522.62 c 519s | 12 | 187835 | 28419 | 167706 0 | 59526 | 0 525.41/525.55 c 522s | 12 | 187948 | 28519 | 167706 0 | 59526 | 0 528.51/528.66 c 525s | 12 | 188094 | 28619 | 167706 0 | 59526 | 0 531.51/531.62 c 528s | 12 | 188250 | 28719 | 167706 0 | 59526 | 0 535.41/535.52 c 531s | 12 | 188390 | 28819 | 167706 0 | 59526 | 0 539.11/539.24 c 535s | 12 | 188581 | 28919 | 167706 0 | 59526 | 0 544.00/544.15 c 540s | 12 | 188694 | 29019 | 167706 0 | 59526 | 0 548.30/548.40 c 544s | 12 | 188865 | 29119 | 167706 0 | 59526 | 0 551.21/551.33 c 547s | 12 | 188981 | 29219 | 167706 0 | 59526 | 0 554.61/554.70 c 551s | 12 | 189139 | 29319 | 167706 0 | 59526 | 0 559.01/559.17 c 555s | 12 | 189249 | 29419 | 167706 0 | 59526 | 0 563.21/563.37 c 559s | 12 | 189369 | 29519 | 167706 0 | 59526 | 0 567.71/567.88 c 564s | 12 | 189468 | 29619 | 167706 0 | 59526 | 0 572.70/572.81 c 569s | 12 | 189571 | 29719 | 167706 0 | 59526 | 0 577.50/577.70 c 574s | 12 | 189749 | 29819 | 167706 0 | 59526 | 0 582.20/582.34 c 578s | 12 | 189876 | 29919 | 167706 0 | 59526 | 0 587.20/587.39 c 583s | 12 | 189989 | 30019 | 167706 0 | 59526 | 0 591.90/592.04 c 588s | 12 | 190133 | 30119 | 167706 0 | 59526 | 0 598.90/599.06 c 595s | 12 | 190239 | 30219 | 167706 0 | 59526 | 0 603.20/603.30 c 599s | 12 | 190353 | 30319 | 167706 0 | 59526 | 0 607.99/608.13 c 604s | 12 | 190498 | 30419 | 167706 0 | 59526 | 0 612.40/612.51 c 608s | 12 | 190602 | 30519 | 167706 0 | 59526 | 0 617.11/617.23 c 613s | 12 | 190783 | 30619 | 167706 0 | 59526 | 0 621.50/621.68 c 618s | 12 | 190922 | 30719 | 167706 0 | 59526 | 0 625.90/626.07 c 622s | 12 | 191134 | 30819 | 167706 0 | 59526 | 0 631.29/631.41 c 627s | 12 | 191314 | 30919 | 167706 0 | 59526 | 0 635.30/635.48 c 631s | 12 | 191463 | 31019 | 167706 0 | 59526 | 0 639.40/639.54 c 636s | 12 | 191637 | 31119 | 167706 0 | 59526 | 0 643.40/643.52 c 639s | 12 | 191769 | 31219 | 167706 0 | 59526 | 0 646.50/646.64 c 643s | 12 | 191954 | 31319 | 167706 0 | 59526 | 0 651.89/652.05 c 648s | 12 | 192073 | 31419 | 167706 0 | 59526 | 0 656.39/656.54 c 653s | 12 | 192273 | 31519 | 167706 0 | 59526 | 0 660.79/660.90 c 657s | 12 | 192456 | 31619 | 167706 0 | 59526 | 0 664.99/665.16 c 661s | 12 | 192654 | 31719 | 167706 0 | 59526 | 0 669.19/669.36 c 665s | 12 | 192780 | 31819 | 167706 0 | 59526 | 0 673.49/673.65 c 670s | 12 | 192927 | 31919 | 167706 0 | 59526 | 0 677.09/677.26 c 673s | 12 | 193045 | 32019 | 167706 0 | 59526 | 0 682.09/682.28 c 678s | 12 | 193168 | 32119 | 167706 0 | 59526 | 0 686.68/686.86 c 683s | 12 | 193423 | 32219 | 167706 0 | 59526 | 0 691.69/691.88 c 688s | 12 | 193609 | 32319 | 167706 0 | 59526 | 0 697.29/697.40 c 693s | 12 | 193840 | 32419 | 167706 0 | 59526 | 0 701.28/701.41 c 697s | 12 | 194039 | 32519 | 167706 0 | 59526 | 0 704.68/704.87 c 701s | 12 | 194198 | 32619 | 167706 0 | 59526 | 0 709.68/709.88 c 706s | 12 | 194381 | 32719 | 167706 0 | 59526 | 0 713.28/713.44 c 709s | 12 | 194575 | 32819 | 167706 0 | 59526 | 0 716.98/717.15 c 713s | 12 | 194736 | 32919 | 167706 0 | 59526 | 0 722.69/722.81 c 719s | 12 | 194905 | 33019 | 167706 0 | 59526 | 0 726.68/726.82 c 723s | 12 | 195080 | 33119 | 167706 0 | 59526 | 0 731.59/731.76 c 728s | 12 | 195322 | 33219 | 167706 0 | 59526 | 0 735.67/735.87 c 732s | 12 | 195478 | 33319 | 167706 0 | 59526 | 0 741.27/741.43 c 737s | 12 | 195750 | 33419 | 167706 0 | 59526 | 0 745.78/745.96 c 742s | 12 | 195923 | 33519 | 167706 0 | 59526 | 0 750.78/750.91 c 747s | 12 | 196162 | 33619 | 167706 0 | 59526 | 0 756.18/756.38 c 752s | 12 | 196363 | 33719 | 167706 0 | 59526 | 0 761.57/761.78 c 758s | 12 | 196513 | 33819 | 167706 0 | 59526 | 0 766.37/766.59 c 763s | 12 | 196641 | 33919 | 167706 0 | 59526 | 0 772.37/772.55 c 769s | 12 | 196859 | 34019 | 167706 0 | 59526 | 0 778.66/778.85 c 775s | 12 | 197028 | 34119 | 167706 0 | 59526 | 0 783.97/784.12 c 780s | 12 | 197201 | 34219 | 167706 0 | 59526 | 0 789.47/789.63 c 786s | 12 | 197378 | 34319 | 167706 0 | 59526 | 0 795.17/795.36 c 791s | 12 | 197607 | 34419 | 167706 0 | 59526 | 0 801.77/801.97 c 798s | 12 | 197809 | 34519 | 167706 0 | 59526 | 0 808.76/808.93 c 805s | 12 | 198031 | 34619 | 167706 0 | 59526 | 0 815.46/815.62 c 812s | 12 | 198281 | 34719 | 167706 0 | 59526 | 0 822.27/822.44 c 818s | 12 | 198429 | 34819 | 167706 0 | 59526 | 0 826.36/826.51 c 822s | 12 | 198568 | 34919 | 167706 0 | 59526 | 0 830.57/830.76 c 827s | 12 | 198713 | 35019 | 167706 0 | 59526 | 0 836.86/837.02 c 833s | 12 | 198850 | 35119 | 167706 0 | 59526 | 0 843.96/844.14 c 840s | 12 | 198980 | 35219 | 167706 0 | 59526 | 0 850.45/850.64 c 847s | 12 | 199104 | 35319 | 167706 0 | 59526 | 0 857.16/857.40 c 853s | 12 | 199256 | 35419 | 167706 0 | 59526 | 0 862.85/863.02 c 859s | 12 | 199432 | 35519 | 167706 0 | 59526 | 0 868.56/868.74 c 865s | 12 | 199602 | 35619 | 167706 0 | 59526 | 0 872.06/872.20 c 868s | 12 | 199957 | 35719 | 167706 0 | 59526 | 0 875.36/875.54 c 872s | 12 | 200162 | 35819 | 167706 0 | 59526 | 0 878.66/878.89 c 875s | 12 | 200377 | 35919 | 167706 0 | 59526 | 0 881.76/881.99 c 878s | 12 | 200560 | 36019 | 167706 0 | 59526 | 0 886.56/886.70 c 883s | 12 | 200683 | 36119 | 167706 0 | 59526 | 0 890.65/890.86 c 887s | 12 | 200859 | 36219 | 167706 0 | 59526 | 0 896.15/896.37 c 892s | 12 | 200980 | 36319 | 167706 0 | 59526 | 0 899.55/899.72 c 896s | 12 | 201365 | 36419 | 167706 0 | 59526 | 0 902.95/903.11 c 899s | 12 | 201586 | 36519 | 167706 0 | 59526 | 0 906.55/906.70 c 903s | 12 | 201826 | 36619 | 167706 0 | 59526 | 0 911.35/911.54 c 908s | 12 | 201954 | 36719 | 167706 0 | 59526 | 0 916.05/916.22 c 912s | 12 | 202106 | 36819 | 167706 0 | 59526 | 0 921.05/921.21 c 917s | 12 | 202227 | 36919 | 167706 0 | 59526 | 0 925.94/926.10 c 922s | 12 | 202378 | 37019 | 167706 0 | 59526 | 0 930.75/930.99 c 927s | 12 | 202547 | 37119 | 167706 0 | 59526 | 0 935.45/935.61 c 932s | 12 | 202743 | 37219 | 167706 0 | 59526 | 0 940.65/940.81 c 937s | 12 | 202887 | 37319 | 167706 0 | 59526 | 0 945.64/945.89 c 942s | 12 | 203128 | 37419 | 167706 0 | 59526 | 0 951.14/951.32 c 947s | 12 | 203312 | 37519 | 167706 0 | 59526 | 0 955.44/955.68 c 952s | 12 | 203443 | 37619 | 167706 0 | 59526 | 0 961.95/962.18 c 958s | 12 | 203563 | 37719 | 167706 0 | 59526 | 0 966.74/966.99 c 963s | 12 | 203769 | 37819 | 167706 0 | 59526 | 0 971.04/971.24 c 967s | 12 | 204059 | 37919 | 167706 0 | 59526 | 0 975.04/975.21 c 971s | 12 | 204476 | 38019 | 167706 0 | 59526 | 0 980.15/980.34 c 976s | 12 | 204686 | 38119 | 167706 0 | 59526 | 0 985.54/985.75 c 982s | 12 | 204826 | 38219 | 167706 0 | 59526 | 0 991.34/991.53 c 987s | 12 | 205091 | 38319 | 167706 0 | 59526 | 0 998.04/998.20 c 994s | 12 | 205300 | 38419 | 167706 0 | 59526 | 0 1004.35/1004.59 c 1001s | 12 | 205549 | 38519 | 167706 0 | 59526 | 0 1009.84/1010.04 c 1006s | 12 | 205740 | 38619 | 184477 0 | 59526 | 0 1015.43/1015.60 c 1012s | 12 | 206010 | 38719 | 184477 0 | 59526 | 0 1021.33/1021.58 c 1018s | 12 | 206362 | 38819 | 184477 0 | 59526 | 0 1022.13/1022.39 c 1018s | 13 | 206403 | 38832 | 184477 0 | 59526 | 0 1028.13/1028.36 c 1024s | 13 | 259475 | 38932 | 184477 0 | 59526 | 0 1031.93/1032.13 c 1028s | 13 | 259569 | 39032 | 184477 0 | 59526 | 0 1036.83/1037.01 c 1033s | 13 | 260370 | 39132 | 184477 0 | 59526 | 0 1042.74/1042.95 c 1039s | 13 | 260477 | 39232 | 184477 0 | 59526 | 0 1048.13/1048.37 c 1044s | 13 | 260584 | 39332 | 184477 0 | 59526 | 0 1054.83/1055.07 c 1051s | 13 | 260688 | 39432 | 184477 0 | 59526 | 0 1059.03/1059.21 c 1055s | 13 | 260912 | 39532 | 184477 0 | 59526 | 0 1063.13/1063.36 c 1059s | 13 | 261084 | 39632 | 184477 0 | 59526 | 0 1067.13/1067.31 c 1063s | 13 | 261187 | 39732 | 184477 0 | 59526 | 0 1071.63/1071.89 c 1068s | 13 | 261495 | 39832 | 184477 0 | 59526 | 0 1076.02/1076.22 c 1072s | 13 | 261619 | 39932 | 184477 0 | 59526 | 0 1080.02/1080.27 c 1076s | 13 | 261720 | 40032 | 184477 0 | 59526 | 0 1084.12/1084.36 c 1080s | 13 | 261828 | 40132 | 184477 0 | 59526 | 0 1088.22/1088.40 c 1084s | 13 | 261931 | 40232 | 184477 0 | 59526 | 0 1093.82/1094.05 c 1090s | 13 | 262239 | 40332 | 184477 0 | 59526 | 0 1100.12/1100.39 c 1096s | 13 | 262344 | 40432 | 184477 0 | 59526 | 0 1107.12/1107.37 c 1103s | 13 | 262479 | 40532 | 184477 0 | 59526 | 0 1112.22/1112.48 c 1108s | 13 | 262594 | 40632 | 184477 0 | 59526 | 0 1119.42/1119.65 c 1116s | 13 | 262777 | 40732 | 184477 0 | 59526 | 0 1128.02/1128.24 c 1124s | 13 | 262891 | 40832 | 184477 0 | 59526 | 0 1136.32/1136.54 c 1133s | 13 | 262997 | 40932 | 184477 0 | 59526 | 0 1145.31/1145.50 c 1141s | 13 | 263220 | 41032 | 184477 0 | 59526 | 0 1154.32/1154.51 c 1150s | 13 | 263360 | 41132 | 184477 0 | 59526 | 0 1161.31/1161.54 c 1158s | 13 | 263889 | 41232 | 184477 0 | 59526 | 0 1168.91/1169.10 c 1165s | 13 | 264180 | 41332 | 184477 0 | 59526 | 0 1176.21/1176.42 c 1172s | 13 | 264476 | 41432 | 184477 0 | 59526 | 0 1184.51/1184.78 c 1181s | 13 | 264604 | 41532 | 184477 0 | 59526 | 0 1194.20/1194.43 c 1190s | 13 | 264766 | 41632 | 184477 0 | 59526 | 0 1205.21/1205.48 c 1201s | 13 | 264870 | 41732 | 184477 0 | 59526 | 0 1214.60/1214.88 c 1211s | 13 | 265036 | 41832 | 184477 0 | 59526 | 0 1224.21/1224.47 c 1220s | 13 | 265221 | 41932 | 184477 0 | 59526 | 0 1232.30/1232.50 c 1228s | 13 | 265361 | 42032 | 184477 0 | 59526 | 0 1241.30/1241.52 c 1237s | 13 | 265563 | 42132 | 184477 0 | 59526 | 0 1251.59/1251.81 c 1248s | 13 | 265716 | 42232 | 184477 0 | 59526 | 0 1256.69/1256.91 c 1253s | 13 | 265811 | 42332 | 184477 0 | 59526 | 0 1265.10/1265.38 c 1261s | 13 | 265910 | 42432 | 184477 0 | 59526 | 0 1274.29/1274.52 c 1270s | 13 | 266010 | 42532 | 184477 0 | 59526 | 0 1282.29/1282.52 c 1278s | 13 | 266115 | 42632 | 184477 0 | 59526 | 0 1289.59/1289.86 c 1286s | 13 | 266213 | 42732 | 184477 0 | 59526 | 0 1296.79/1297.07 c 1293s | 13 | 266315 | 42832 | 184477 0 | 59526 | 0 1303.50/1303.78 c 1300s | 13 | 266417 | 42932 | 184477 0 | 59526 | 0 1309.79/1310.03 c 1306s | 13 | 266510 | 43032 | 184477 0 | 59526 | 0 1314.49/1314.79 c 1311s | 13 | 266612 | 43132 | 184477 0 | 59526 | 0 1320.48/1320.75 c 1317s | 13 | 266720 | 43232 | 184477 0 | 59526 | 0 1328.49/1328.77 c 1325s | 13 | 266822 | 43332 | 184477 0 | 59526 | 0 1337.68/1337.97 c 1334s | 13 | 266919 | 43432 | 184477 0 | 59526 | 0 1347.19/1347.41 c 1343s | 13 | 267017 | 43532 | 184477 0 | 59526 | 0 1355.88/1356.14 c 1352s | 13 | 267121 | 43632 | 184477 0 | 59526 | 0 1368.48/1368.79 c 1365s | 13 | 267733 | 43732 | 184477 0 | 59526 | 0 1374.58/1374.82 c 1371s | 13 | 267945 | 43832 | 184477 0 | 59526 | 0 1381.08/1381.37 c 1377s | 13 | 268063 | 43932 | 184477 0 | 59526 | 0 1387.58/1387.84 c 1384s | 13 | 268246 | 44032 | 184477 0 | 59526 | 0 1394.07/1394.31 c 1390s | 13 | 268347 | 44132 | 184477 0 | 59526 | 0 1400.18/1400.43 c 1396s | 13 | 268445 | 44232 | 184477 0 | 59526 | 0 1405.88/1406.14 c 1402s | 13 | 268545 | 44332 | 184477 0 | 59526 | 0 1412.28/1412.54 c 1409s | 13 | 268652 | 44432 | 184477 0 | 59526 | 0 1418.67/1418.98 c 1415s | 13 | 268759 | 44532 | 184477 0 | 59526 | 0 1424.17/1424.49 c 1420s | 13 | 268869 | 44632 | 184477 0 | 59526 | 0 1430.67/1430.96 c 1427s | 13 | 268973 | 44732 | 184477 0 | 59526 | 0 1436.87/1437.10 c 1433s | 13 | 269075 | 44832 | 184477 0 | 59526 | 0 1442.97/1443.21 c 1439s | 13 | 269231 | 44932 | 184477 0 | 59526 | 0 1449.47/1449.79 c 1446s | 13 | 269379 | 45032 | 184477 0 | 59526 | 0 1455.77/1456.00 c 1452s | 13 | 269556 | 45132 | 184477 0 | 59526 | 0 1460.27/1460.52 c 1456s | 13 | 269679 | 45232 | 184477 0 | 59526 | 0 1465.07/1465.34 c 1461s | 13 | 269838 | 45332 | 184477 0 | 59526 | 0 1470.67/1470.96 c 1467s | 13 | 269957 | 45432 | 184477 0 | 59526 | 0 1475.57/1475.87 c 1472s | 13 | 270092 | 45532 | 184477 0 | 59526 | 0 1480.26/1480.54 c 1477s | 13 | 270291 | 45632 | 184477 0 | 59526 | 0 1486.06/1486.39 c 1482s | 13 | 270430 | 45732 | 184477 0 | 59526 | 0 1491.26/1491.58 c 1488s | 13 | 270643 | 45832 | 184477 0 | 59526 | 0 1497.07/1497.36 c 1493s | 13 | 270776 | 45932 | 184477 0 | 59526 | 0 1503.46/1503.77 c 1500s | 13 | 270947 | 46032 | 184477 0 | 59526 | 0 1509.66/1509.99 c 1506s | 13 | 271135 | 46132 | 184477 0 | 59526 | 0 1515.95/1516.28 c 1512s | 13 | 271307 | 46232 | 184477 0 | 59526 | 0 1522.36/1522.67 c 1519s | 13 | 271452 | 46332 | 184477 0 | 59526 | 0 1529.06/1529.33 c 1525s | 13 | 271596 | 46432 | 184477 0 | 59526 | 0 1535.46/1535.74 c 1532s | 13 | 271743 | 46532 | 184477 0 | 59526 | 0 1542.45/1542.71 c 1539s | 13 | 271856 | 46632 | 184477 0 | 59526 | 0 1548.95/1549.26 c 1545s | 13 | 271980 | 46732 | 184477 0 | 59526 | 0 1555.65/1555.94 c 1552s | 13 | 272114 | 46832 | 184477 0 | 59526 | 0 1562.65/1562.93 c 1559s | 13 | 272260 | 46932 | 184477 0 | 59526 | 0 1569.05/1569.37 c 1565s | 13 | 272355 | 47032 | 184477 0 | 59526 | 0 1576.45/1576.78 c 1573s | 13 | 272463 | 47132 | 184477 0 | 59526 | 0 1584.25/1584.52 c 1580s | 13 | 272567 | 47232 | 184477 0 | 59526 | 0 1590.94/1591.23 c 1587s | 13 | 272667 | 47332 | 184477 0 | 59526 | 0 1597.45/1597.78 c 1594s | 13 | 272874 | 47432 | 184477 0 | 59526 | 0 1603.84/1604.14 c 1600s | 13 | 273050 | 47532 | 184477 0 | 59526 | 0 1610.25/1610.55 c 1607s | 13 | 273169 | 47632 | 184477 0 | 59526 | 0 1616.54/1616.89 c 1613s | 13 | 273264 | 47732 | 184477 0 | 59526 | 0 1623.04/1623.30 c 1619s | 13 | 273398 | 47832 | 184477 0 | 59526 | 0 1629.54/1629.88 c 1626s | 13 | 273519 | 47932 | 184477 0 | 59526 | 0 1636.04/1636.30 c 1632s | 13 | 273623 | 48032 | 184477 0 | 59526 | 0 1642.24/1642.53 c 1639s | 13 | 273734 | 48132 | 184477 0 | 59526 | 0 1649.03/1649.30 c 1645s | 13 | 273853 | 48232 | 184477 0 | 59526 | 0 1655.45/1655.72 c 1652s | 13 | 273983 | 48332 | 184477 0 | 59526 | 0 1662.53/1662.82 c 1659s | 13 | 274104 | 48432 | 184477 0 | 59526 | 0 1669.33/1669.67 c 1666s | 13 | 274304 | 48532 | 184477 0 | 59526 | 0 1676.13/1676.49 c 1672s | 13 | 274410 | 48632 | 184477 0 | 59526 | 0 1682.64/1682.91 c 1679s | 13 | 274598 | 48732 | 184477 0 | 59526 | 0 1689.13/1689.49 c 1685s | 13 | 274699 | 48832 | 184477 0 | 59526 | 0 1695.93/1696.25 c 1692s | 13 | 274894 | 48932 | 184477 0 | 59526 | 0 1702.23/1702.57 c 1699s | 13 | 275022 | 49032 | 184477 0 | 59526 | 0 1708.92/1709.23 c 1705s | 13 | 275122 | 49132 | 184477 0 | 59526 | 0 1715.83/1716.15 c 1712s | 13 | 275222 | 49232 | 184477 0 | 59526 | 0 1722.53/1722.82 c 1719s | 13 | 275340 | 49332 | 184477 0 | 59526 | 0 1729.62/1729.99 c 1726s | 13 | 275461 | 49432 | 184477 0 | 59526 | 0 1736.12/1736.43 c 1732s | 13 | 275737 | 49532 | 184477 0 | 59526 | 0 1743.43/1743.76 c 1740s | 13 | 275914 | 49632 | 184477 0 | 59526 | 0 1750.12/1750.47 c 1746s | 13 | 276003 | 49732 | 184477 0 | 59526 | 0 1756.53/1756.90 c 1753s | 13 | 276114 | 49832 | 184477 0 | 59526 | 0 1763.02/1763.33 c 1759s | 13 | 276245 | 49932 | 184477 0 | 59526 | 0 1768.72/1769.08 c 1765s | 13 | 276396 | 50032 | 184477 0 | 59526 | 0 1774.92/1775.29 c 1771s | 13 | 276509 | 50132 | 184477 0 | 59526 | 0 1781.12/1781.49 c 1777s | 13 | 276624 | 50232 | 184477 0 | 59526 | 0 1788.31/1788.68 c 1785s | 13 | 276752 | 50332 | 184477 0 | 59526 | 0 1795.12/1795.44 c 1791s | 13 | 276863 | 50432 | 184477 0 | 59526 | 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-4099825-1466207962/watcher-4099825-1466207962 -o /tmp/evaluation-result-4099825-1466207962/solver-4099825-1466207962 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099825-1466207962.opb pid=15740 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.34 2.27 1.93 3/179 15743 /proc/meminfo: memFree=29335732/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=796092 CPUtime=0 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 2979 0 0 0 0 0 0 0 20 0 4 0 22842854 815198208 3341 33554432000 4194304 16246674 140736459152512 140736459151936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 199535 3350 441 2943 0 196429 0 [pid=15743/tid=15744] ppid=15740 vsize=813500 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 833024000 3411 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=818620 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 838266880 3430 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=822716 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22842854 842461184 3446 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.34 2.27 1.93 3/179 15743 /proc/meminfo: memFree=29335732/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 28733 0 0 0 5 4 0 0 20 0 4 0 22842854 1332285440 29032 33554432000 4194304 16246674 140736459152512 140736459151824 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 325265 29049 798 2943 0 322159 0 [pid=15743/tid=15744] ppid=15740 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1332285440 29061 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1332285440 29073 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1332285440 29084 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200542 s] /proc/loadavg: 2.34 2.27 1.93 3/179 15743 /proc/meminfo: memFree=29335732/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1314372 CPUtime=0.19 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 43106 0 0 0 13 6 0 0 20 0 4 0 22842854 1345916928 43916 33554432000 4194304 16246674 140736459152512 140736459135504 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 328593 43916 799 2943 0 325487 0 [pid=15743/tid=15744] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 43916 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 43916 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 43916 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300517 s] /proc/loadavg: 2.34 2.27 1.93 3/179 15743 /proc/meminfo: memFree=29335732/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1314372 CPUtime=0.28 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 55654 0 0 0 21 7 0 0 20 0 4 0 22842854 1345916928 56464 33554432000 4194304 16246674 140736459152512 140736459135504 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 328593 56464 799 2943 0 325487 0 [pid=15743/tid=15744] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 56464 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 56464 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 56464 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700418 s] /proc/loadavg: 2.34 2.27 1.93 3/179 15743 /proc/meminfo: memFree=29335732/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 72852 0 0 0 59 10 0 0 20 0 4 0 22842854 1345916928 73662 33554432000 4194304 16246674 140736459152512 140736459135504 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 328593 73662 801 2943 0 325487 0 [pid=15743/tid=15744] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 73662 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 73662 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1345916928 73662 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50042 s] /proc/loadavg: 2.34 2.27 1.93 3/183 15747 /proc/meminfo: memFree=28946524/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1380932 CPUtime=1.49 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 92064 0 0 0 136 13 0 0 20 0 4 0 22842854 1414074368 95429 33554432000 4194304 16246674 140736459152512 140736459151824 4206568 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 345233 95429 835 2943 0 342127 0 [pid=15743/tid=15744] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 95429 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 95429 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 95429 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1380932 [startup+3.10043 s] /proc/loadavg: 2.39 2.28 1.94 4/183 15747 /proc/meminfo: memFree=28344748/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1380932 CPUtime=3.09 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 108561 0 0 0 293 16 0 0 20 0 4 0 22842854 1414074368 111926 33554432000 4194304 16246674 140736459152512 140736459134400 12368716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 345233 111926 845 2943 0 342127 0 [pid=15743/tid=15744] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 111926 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 111926 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 111926 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1380932 [startup+6.30041 s] /proc/loadavg: 2.39 2.28 1.94 4/183 15747 /proc/meminfo: memFree=27676524/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1380932 CPUtime=6.29 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 170265 0 0 0 605 24 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140736459134400 13191364 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 345233 173630 897 2943 0 342127 0 [pid=15743/tid=15744] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1380932 [startup+12.7004 s] /proc/loadavg: 2.40 2.29 1.94 3/183 15747 /proc/meminfo: memFree=26770080/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1380932 CPUtime=12.69 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 170265 0 0 0 1245 24 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140736459134400 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 345233 173630 897 2943 0 342127 0 [pid=15743/tid=15744] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 173630 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1380932 [startup+25.5073 s] /proc/loadavg: 2.34 2.28 1.94 3/183 15747 /proc/meminfo: memFree=26292560/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1380932 CPUtime=25.49 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 172200 0 0 0 2524 25 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140736459134400 5711644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 345233 175565 897 2943 0 342127 0 [pid=15743/tid=15744] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1380932 [startup+51.1004 s] /proc/loadavg: 2.30 2.27 1.95 3/184 15750 /proc/meminfo: memFree=26292652/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1380932 CPUtime=51.08 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 172200 0 0 0 5082 26 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140736459134400 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 345233 175565 897 2943 0 342127 0 [pid=15743/tid=15744] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1380932 [startup+102.3 s] /proc/loadavg: 2.33 2.28 1.96 3/184 15774 /proc/meminfo: memFree=26045692/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=1380932 CPUtime=102.27 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 172200 0 0 0 10201 26 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140736459134400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 345233 175565 897 2943 0 342127 0 [pid=15743/tid=15744] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=1380932 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 1414074368 175565 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1380932 ################ # More data... # ################ /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2149126144 466034 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2098756 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2149126144 466034 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2098756 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2149126144 466034 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 2098756 [startup+1362.3 s] /proc/loadavg: 2.27 2.25 2.13 3/183 15805 /proc/meminfo: memFree=24421172/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2098756 CPUtime=1362.09 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 462669 0 0 0 136084 125 0 0 20 0 4 0 22842854 2149126144 466034 33554432000 4194304 16246674 140736459152512 140736459151688 5712622 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 524689 466034 900 2943 0 521583 0 [pid=15743/tid=15744] ppid=15740 vsize=2098756 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2149126144 466034 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2098756 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2149126144 466034 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2098756 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2149126144 466034 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.09 Current children cumulated vsize (KiB) 2098756 [startup+1422.3 s] /proc/loadavg: 2.10 2.20 2.12 3/183 15807 /proc/meminfo: memFree=24366292/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2141764 CPUtime=1422.07 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 473395 0 0 0 142077 130 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140736459134400 5712756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 535441 476760 900 2943 0 532335 0 [pid=15743/tid=15744] ppid=15740 vsize=2141764 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2141764 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2141764 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 2141764 [startup+1482.3 s] /proc/loadavg: 2.03 2.16 2.11 3/183 15808 /proc/meminfo: memFree=24349812/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2141764 CPUtime=1482.06 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 473395 0 0 0 148071 135 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140736459134400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 535441 476760 900 2943 0 532335 0 [pid=15743/tid=15744] ppid=15740 vsize=2141764 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2141764 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2141764 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2193166336 476760 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 2141764 [startup+1542.3 s] /proc/loadavg: 2.14 2.16 2.11 3/183 15809 /proc/meminfo: memFree=24299744/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2182724 CPUtime=1542.06 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 483639 0 0 0 154067 139 0 0 20 0 4 0 22842854 2235109376 487004 33554432000 4194304 16246674 140736459152512 140736459134400 5711338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 545681 487004 900 2943 0 542575 0 [pid=15743/tid=15744] ppid=15740 vsize=2182724 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2235109376 487004 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2182724 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2235109376 487004 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2182724 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2235109376 487004 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 2182724 [startup+1602.3 s] /proc/loadavg: 2.16 2.17 2.11 3/183 15810 /proc/meminfo: memFree=24243980/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2230852 CPUtime=1602.04 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 495751 0 0 0 160059 145 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140736459134400 5712136 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 557713 499116 900 2943 0 554607 0 [pid=15743/tid=15744] ppid=15740 vsize=2230852 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2230852 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2230852 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 2230852 [startup+1662.31 s] /proc/loadavg: 2.06 2.14 2.10 3/183 15811 /proc/meminfo: memFree=24236196/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2230852 CPUtime=1662.04 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 495751 0 0 0 166055 149 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140736459134400 13780660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 557713 499116 900 2943 0 554607 0 [pid=15743/tid=15744] ppid=15740 vsize=2230852 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2230852 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2230852 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2284392448 499116 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 2230852 [startup+1722.3 s] /proc/loadavg: 2.13 2.14 2.10 3/183 15813 /proc/meminfo: memFree=24177828/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2273860 CPUtime=1722.03 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 506364 0 0 0 172049 154 0 0 20 0 4 0 22842854 2328432640 509729 33554432000 4194304 16246674 140736459152512 140736459134400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 568465 509729 900 2943 0 565359 0 [pid=15743/tid=15744] ppid=15740 vsize=2273860 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2328432640 509729 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2273860 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2328432640 509729 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2273860 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2328432640 509729 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 2273860 [startup+1782.3 s] /proc/loadavg: 2.05 2.11 2.09 3/183 15814 /proc/meminfo: memFree=24128388/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2311748 CPUtime=1782.02 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 515919 0 0 0 178043 159 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140736459151688 5711984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 577937 519284 900 2943 0 574831 0 [pid=15743/tid=15744] ppid=15740 vsize=2311748 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2311748 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2311748 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 2311748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.03 2.11 2.09 3/183 15912 /proc/meminfo: memFree=27956280/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=2311748 CPUtime=1800.01 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) R 15740 15743 14522 0 -1 4202496 515919 0 0 0 179841 160 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140736459134400 5711338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 577937 519284 900 2943 0 574831 0 [pid=15743/tid=15744] ppid=15740 vsize=2311748 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15744/stat : 15744 (toysat) S 15740 15743 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140438495276272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=2311748 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) S 15740 15743 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140438484786416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15743/tid=15746] ppid=15740 vsize=2311748 CPUtime=0 cores=1,3,5,7 /proc/15743/task/15746/stat : 15746 (toysat) S 15740 15743 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22842854 2367229952 519284 33554432000 4194304 16246674 140736459152512 140438474312880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 2311748 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 15743 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.03 2.11 2.09 3/183 15912 /proc/meminfo: memFree=27956280/32872528 swapFree=1191052/1305516 [pid=15743] ppid=15740 vsize=0 CPUtime=1800.11 cores=1,3,5,7 /proc/15743/stat : 15743 (toysat) Z 15740 15743 14522 0 -1 4203532 515919 0 0 0 179841 170 0 0 20 0 2 0 22842854 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15743/statm: 0 0 0 0 0 0 0 [pid=15743/tid=15745] ppid=15740 vsize=0 CPUtime=0.09 cores=1,3,5,7 /proc/15743/task/15745/stat : 15745 (toysat) R 15740 15743 14522 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 22842854 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.42 CPU time (s): 1800.14 CPU user time (s): 1798.42 CPU system time (s): 1.71974 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 2311748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.42 system time used= 1.71974 maximum resident set size= 2077136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 515919 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= 78 involuntary context switches= 1845 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.8971 second user time and 8.12576 second system time The end
Begin job on node127 at 2016-06-18 01:59:22 IDJOB=4099825 IDBENCH=1539 IDSOLVER=2542 FILE ID=node127/4099825-1466207962 RUNJOBID= node127-1466206072-14539 PBS_JOBID= 19918150 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099825-1466207962/watcher-4099825-1466207962 -o /tmp/evaluation-result-4099825-1466207962/solver-4099825-1466207962 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099825-1466207962.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ec90eecae558bb98c83f0a39ee76567f RANDOM SEED=1003009408 node127.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.769 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.53 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.769 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.769 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.56 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.769 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.56 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.769 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.769 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.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29336268 kB Buffers: 43776 kB Cached: 145780 kB SwapCached: 520 kB Active: 1449068 kB Inactive: 73452 kB Active(anon): 1334180 kB Inactive(anon): 816 kB Active(file): 114888 kB Inactive(file): 72636 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100220 kB Dirty: 68228 kB Writeback: 0 kB AnonPages: 2637384 kB Mapped: 10476 kB Shmem: 0 kB Slab: 573156 kB SReclaimable: 17300 kB SUnreclaim: 555856 kB KernelStack: 1496 kB PageTables: 9040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2872648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 202752 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= 71700 MiB End job on node127 at 2016-06-18 02:29:23