| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.45 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-forplan.opb |
| MD5SUM | 4cdda58963f46d542400f05ed7600db2 |
| 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 12528 |
| Total number of constraints | 155 |
| 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 | 155 |
| Minimum length of a constraint | 27 |
| Maximum length of a constraint | 9090 |
| Number of terms in the objective function | 9340 |
| Biggest coefficient in the objective function | 2973 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 531813 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 531813 |
| 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-18T04:59:11+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-4100841-1466218751.opb"] 0.00/0.01 c use --random-gen="258435891 4236065712 287067100 1084800563 3262130840 2099646226 2584619892 902624436 753747823 2112890554 3690657834 3779803244 4258956026 2876445962 1183935407 3784372249 2705751607 298066988 3315214616 2403961785 4110473297 1367799650 1088399583 2263685440 941327351 1988929704 1893933872 2133556591 3376201213 2422539733 915730661 3098250644 1525407172 4008339462 867874615 3674281029 4000233063 1857066114 1075601597 2403667007 2114747785 703897745 425758266 1285625147 3893668802 1857521922 2220875116 1265263711 859481574 3311893542 1233840597 766273 2323632163 2217447191 1138242234 1842198841 797460055 3154542224 2126523194 1878301329 4010347776 1891761578 3760835418 1940120058 459976883 3604510171 127232777 3468335253 2938234452 3277702192 637639077 3022789908 2548198760 1527461730 2827276838 3633454287 1141377624 2449578456 3370141359 1129912637 3114983851 611667269 4207095129 3522549230 4261766248 2420838682 2858235091 3046989267 2151537812 532438888 3963608622 1398629316 854538613 1685500580 1391762939 3329615933 3415206575 1351703450 1986912153 1891648619 1672651527 316889131 1153827120 3526838172 1652634732 4151464242 2756310212 2342998501 202265829 1057504019 1056317293 4225095941 3070687633 1919624128 1536016187 3385363722 1523264065 1037203203 1215456399 2493467197 3565861891 4020216450 3173946635 3787451260 1471108694 1769552316 28753124 3484472345 1800565707 3749203380 988904345 1792355339 1205481973 859447079 1694548926 2856223090 906962709 4139836035 3383397098 3983826670 3873124951 3194936368 901442329 3187399944 1223263375 1677814445 3267119506 2466378589 2608438255 569877100 3633623530 1046453848 3373335528 3756802582 2186998012 1014273868 2118272524 2354579203 1079571539 3599077913 4098024362 907257506 3938837314 2200834045 887570184 3500718486 919181088 340326133 151456494 1289131505 2856605713 3688710009 1960824598 3504221419 3574267847 3334483293 3210896021 543007419 3440684953 1997409364 338276075 1654139029 2893060392 2848011680 4163190527 2643247578 1441577593 2817729684 1261978851 337850123 973029054 388554827 799475099 3867590443 1019440932 3174107529 4111755107 2882691670 1702123153 2010495058 1328190654 1129202025 2994221483 2622606422 622564169 107953122 2713181782 102120516 2744910328 1697994793 3009895078 4264974934 1260233380 210552328 375841834 22396240 3186517377 4208534019 3487483972 2647747199 341189030 413987452 2378816115 3679055078 2580538934 1165802626 2965063882 3769416503 439524823 976843565 792135512 3319604182 9834503 3184389430 2466804013 628379686 1188479008 3621406399 3237645929 2386279777 2233243911 107401540 4051871220 768321459 3312858293 3407365022 1031604773 73809369 2439123657 3042868630 3864500805 1284976551 1600425029 297971343 725870513 4208089646 255 362436" option to reproduce the execution 0.19/0.27 c #vars 12528 0.19/0.27 c #constraints 155 2.09/2.14 c BCD2: Hardening is enabled. 2.09/2.14 c BCD2: BiasedSearch is enabled. 2.09/2.14 c Solving starts ... 2.09/2.14 c ============================[ Search Statistics ]============================ 2.09/2.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.14 c | | | | Limit GC | Var | Constra 2.09/2.14 c ============================================================================= 2.09/2.14 c 0.0s | 0 | 0 | 0 | 4254 0 | 4472 | 0 2.39/2.46 c 0.3s | 1 | 520 | 100 | 4254 0 | 4577 | 29 2.59/2.66 c 0.5s | 2 | 822 | 250 | 4680 0 | 4592 | 29 2.79/2.86 c 0.7s | 3 | 1154 | 475 | 5148 0 | 4592 | 29 3.19/3.29 c 1.1s | 4 | 1538 | 813 | 5663 0 | 4592 | 29 3.69/3.79 c 1.6s | 5 | 2470 | 1320 | 6230 0 | 4592 | 29 5.89/5.94 c 3.8s | 6 | 3409 | 2081 | 7540 0 | 4592 | 29 9.18/9.29 c 7.1s | 6 | 5357 | 2381 | 7540 0 | 4592 | 29 18.58/18.62 c 16.5s | 6 | 5453 | 2481 | 7540 0 | 4592 | 29 27.59/27.63 c 25.5s | 6 | 5558 | 2581 | 7540 0 | 4592 | 29 36.68/36.73 c 34.6s | 6 | 5664 | 2681 | 7540 0 | 4592 | 29 45.09/45.19 c 43.0s | 6 | 5784 | 2781 | 7540 0 | 4592 | 29 53.38/53.48 c 51.3s | 6 | 5901 | 2881 | 7540 0 | 4592 | 29 61.98/62.03 c 59.9s | 6 | 6035 | 2981 | 7540 0 | 4592 | 29 69.98/70.07 c 67.9s | 6 | 6149 | 3081 | 7540 0 | 4592 | 29 78.28/78.33 c 76.2s | 6 | 6253 | 3181 | 7540 0 | 4592 | 29 81.97/82.09 c 80.0s | 7 | 6300 | 3223 | 8294 0 | 4592 | 29 84.78/84.81 c 82.7s | 7 | 11883 | 3423 | 8294 0 | 4593 | 29 87.87/88.00 c 85.9s | 7 | 12108 | 3623 | 8294 0 | 4593 | 29 90.87/90.95 c 88.8s | 7 | 12385 | 3823 | 8294 0 | 4593 | 29 93.78/93.83 c 91.7s | 7 | 12585 | 4023 | 8294 0 | 4593 | 29 96.78/96.84 c 94.7s | 7 | 12784 | 4223 | 8294 0 | 4593 | 29 101.47/101.51 c 99.4s | 7 | 14983 | 4423 | 8294 0 | 4594 | 29 104.27/104.34 c 102s | 7 | 15084 | 4523 | 8294 0 | 4594 | 29 107.07/107.16 c 105s | 7 | 15194 | 4623 | 8294 0 | 4594 | 29 109.98/110.03 c 107s | 7 | 15297 | 4723 | 8294 0 | 4594 | 29 112.87/112.92 c 110s | 7 | 15404 | 4823 | 8294 0 | 4594 | 29 115.67/115.74 c 113s | 7 | 15507 | 4923 | 9124 0 | 4594 | 29 116.07/116.12 c 113s | 8 | 15531 | 4936 | 9124 0 | 4594 | 29 118.37/118.42 c 116s | 8 | 22417 | 5036 | 9124 0 | 4594 | 29 121.27/121.34 c 119s | 8 | 24289 | 5136 | 9124 0 | 4594 | 29 123.77/123.85 c 121s | 8 | 24392 | 5236 | 9124 0 | 4594 | 29 126.67/126.74 c 124s | 8 | 24497 | 5336 | 9124 0 | 4594 | 29 129.27/129.39 c 127s | 8 | 24598 | 5436 | 9124 0 | 4594 | 29 132.27/132.30 c 130s | 8 | 24703 | 5536 | 9124 0 | 4594 | 29 135.07/135.11 c 132s | 8 | 24805 | 5636 | 9124 0 | 4594 | 29 137.37/137.48 c 135s | 8 | 24915 | 5736 | 9124 0 | 4594 | 29 139.77/139.81 c 137s | 8 | 25021 | 5836 | 9124 0 | 4594 | 29 142.07/142.19 c 140s | 8 | 25131 | 5936 | 9124 0 | 4594 | 29 144.17/144.22 c 142s | 8 | 25233 | 6036 | 9124 0 | 4594 | 29 146.16/146.24 c 144s | 8 | 25339 | 6136 | 9124 0 | 4594 | 29 148.17/148.27 c 146s | 8 | 25449 | 6236 | 9124 0 | 4594 | 29 150.37/150.43 c 148s | 8 | 25555 | 6336 | 9124 0 | 4594 | 29 152.76/152.89 c 150s | 8 | 25655 | 6436 | 9124 0 | 4594 | 29 154.86/154.96 c 152s | 8 | 25761 | 6536 | 9124 0 | 4594 | 29 157.07/157.19 c 155s | 8 | 25860 | 6636 | 9124 0 | 4594 | 29 160.07/160.17 c 158s | 8 | 25963 | 6736 | 9124 0 | 4594 | 29 162.87/162.98 c 160s | 8 | 26068 | 6836 | 9124 0 | 4594 | 29 166.46/166.59 c 164s | 8 | 26167 | 6936 | 9124 0 | 4594 | 29 168.86/168.92 c 166s | 8 | 26272 | 7036 | 9124 0 | 4594 | 29 171.16/171.27 c 169s | 8 | 26373 | 7136 | 9124 0 | 4594 | 29 173.77/173.85 c 171s | 8 | 26478 | 7236 | 9124 0 | 4594 | 29 176.66/176.73 c 174s | 8 | 26577 | 7336 | 9124 0 | 4594 | 29 178.76/178.84 c 176s | 8 | 26684 | 7436 | 9124 0 | 4594 | 29 180.96/181.08 c 178s | 9 | 26753 | 7506 | 10037 0 | 4594 | 29 184.06/184.11 c 181s | 9 | 29643 | 7606 | 10037 0 | 4594 | 29 186.56/186.69 c 184s | 9 | 29747 | 7706 | 10037 0 | 4594 | 29 188.76/188.81 c 186s | 9 | 29847 | 7806 | 10037 0 | 4594 | 29 191.37/191.45 c 189s | 9 | 29949 | 7906 | 10037 0 | 4594 | 29 193.76/193.83 c 191s | 9 | 30051 | 8006 | 10037 0 | 4594 | 29 196.36/196.45 c 194s | 9 | 30154 | 8106 | 10037 0 | 4594 | 29 198.75/198.86 c 196s | 9 | 30261 | 8206 | 10037 0 | 4594 | 29 201.45/201.55 c 199s | 9 | 30356 | 8306 | 10037 0 | 4594 | 29 203.85/203.94 c 201s | 9 | 30458 | 8406 | 10037 0 | 4594 | 29 206.05/206.15 c 204s | 9 | 30560 | 8506 | 10037 0 | 4594 | 29 208.35/208.47 c 206s | 9 | 30780 | 8706 | 10037 0 | 4594 | 29 211.46/211.54 c 209s | 9 | 30995 | 8906 | 10037 0 | 4594 | 29 214.26/214.31 c 212s | 9 | 31202 | 9106 | 10037 0 | 4594 | 29 218.16/218.22 c 216s | 9 | 31408 | 9306 | 10037 0 | 4594 | 29 220.26/220.31 c 218s | 9 | 31513 | 9406 | 10037 0 | 4594 | 29 223.06/223.14 c 220s | 9 | 31718 | 9606 | 10037 0 | 4594 | 29 228.15/228.22 c 226s | 9 | 31924 | 9806 | 10037 0 | 4594 | 29 230.35/230.47 c 228s | 9 | 32030 | 9906 | 10037 0 | 4594 | 29 232.45/232.55 c 230s | 9 | 32132 | 10006 | 10037 0 | 4594 | 29 235.76/235.81 c 233s | 9 | 32241 | 10106 | 10037 0 | 4594 | 29 239.55/239.62 c 237s | 9 | 32341 | 10206 | 10037 0 | 4594 | 29 244.05/244.17 c 242s | 9 | 32443 | 10306 | 10037 0 | 4594 | 29 249.25/249.35 c 247s | 9 | 32648 | 10506 | 10037 0 | 4594 | 29 253.85/253.92 c 251s | 9 | 32757 | 10606 | 10037 0 | 4594 | 29 258.05/258.16 c 256s | 9 | 32854 | 10706 | 10037 0 | 4594 | 29 260.95/261.07 c 258s | 9 | 32963 | 10806 | 10037 0 | 4594 | 29 263.85/263.95 c 261s | 9 | 33071 | 10906 | 10037 0 | 4594 | 29 267.25/267.36 c 265s | 9 | 33171 | 11006 | 10037 0 | 4594 | 29 270.55/270.62 c 268s | 9 | 33273 | 11106 | 10037 0 | 4594 | 29 274.54/274.61 c 272s | 9 | 33382 | 11206 | 10037 0 | 4594 | 29 276.64/276.78 c 274s | 9 | 33483 | 11306 | 11041 0 | 4594 | 29 277.85/277.97 c 275s | 10 | 33537 | 11361 | 11041 0 | 4594 | 29 282.95/283.03 c 280s | 10 | 36427 | 11461 | 11041 0 | 4594 | 29 287.45/287.53 c 285s | 10 | 36534 | 11561 | 11041 0 | 4594 | 29 291.74/291.80 c 289s | 10 | 36627 | 11661 | 11041 0 | 4594 | 29 294.75/294.84 c 292s | 10 | 36732 | 11761 | 11041 0 | 4594 | 29 298.84/298.91 c 296s | 10 | 36833 | 11861 | 11041 0 | 4594 | 29 302.94/303.05 c 300s | 10 | 36928 | 11961 | 11041 0 | 4594 | 29 307.44/307.59 c 305s | 10 | 37040 | 12061 | 11041 0 | 4594 | 29 311.84/311.90 c 309s | 10 | 37150 | 12161 | 11041 0 | 4594 | 29 317.64/317.71 c 315s | 10 | 37256 | 12261 | 11041 0 | 4594 | 29 322.04/322.13 c 319s | 10 | 37366 | 12361 | 11041 0 | 4594 | 29 326.23/326.38 c 324s | 10 | 37480 | 12461 | 11041 0 | 4594 | 29 330.83/330.90 c 328s | 10 | 37581 | 12561 | 11041 0 | 4594 | 29 335.64/335.76 c 333s | 10 | 37681 | 12661 | 11041 0 | 4594 | 29 340.54/340.63 c 338s | 10 | 37779 | 12761 | 11041 0 | 4594 | 29 345.53/345.68 c 343s | 10 | 37886 | 12861 | 11041 0 | 4594 | 29 349.83/349.92 c 347s | 10 | 37993 | 12961 | 11041 0 | 4594 | 29 355.13/355.28 c 353s | 10 | 38089 | 13061 | 11041 0 | 4594 | 29 359.03/359.16 c 357s | 10 | 38193 | 13161 | 11041 0 | 4594 | 29 363.23/363.36 c 361s | 10 | 38290 | 13261 | 11041 0 | 4594 | 29 367.92/368.05 c 365s | 10 | 38391 | 13361 | 11041 0 | 4594 | 29 371.52/371.61 c 369s | 10 | 38494 | 13461 | 11041 0 | 4594 | 29 377.82/377.91 c 375s | 10 | 38706 | 13661 | 11041 0 | 4594 | 29 380.73/380.84 c 378s | 10 | 38808 | 13761 | 11041 0 | 4594 | 29 385.52/385.64 c 383s | 10 | 38914 | 13861 | 11041 0 | 4594 | 29 388.82/388.98 c 386s | 10 | 39021 | 13961 | 11041 0 | 4594 | 29 393.42/393.57 c 391s | 10 | 39115 | 14061 | 11041 0 | 4594 | 29 398.02/398.15 c 396s | 10 | 39220 | 14161 | 11041 0 | 4594 | 29 402.32/402.48 c 400s | 10 | 39322 | 14261 | 11041 0 | 4594 | 29 407.51/407.60 c 405s | 10 | 39431 | 14361 | 11041 0 | 4594 | 29 411.61/411.79 c 409s | 10 | 39526 | 14461 | 11041 0 | 4594 | 29 417.11/417.23 c 415s | 10 | 39627 | 14561 | 11041 0 | 4594 | 29 420.01/420.16 c 418s | 10 | 39732 | 14661 | 11041 0 | 4594 | 29 423.31/423.46 c 421s | 10 | 39833 | 14761 | 11041 0 | 4594 | 29 425.42/425.53 c 423s | 10 | 39951 | 14861 | 11041 0 | 4594 | 29 429.41/429.53 c 427s | 10 | 40050 | 14961 | 11041 0 | 4594 | 29 434.51/434.62 c 432s | 10 | 40148 | 15061 | 11041 0 | 4594 | 29 439.10/439.21 c 437s | 10 | 40258 | 15161 | 11041 0 | 4594 | 29 442.90/443.01 c 440s | 10 | 40357 | 15261 | 11041 0 | 4594 | 29 446.51/446.69 c 444s | 10 | 40463 | 15361 | 11041 0 | 4594 | 29 450.20/450.33 c 448s | 10 | 40570 | 15461 | 11041 0 | 4594 | 29 453.00/453.11 c 450s | 10 | 40666 | 15561 | 11041 0 | 4594 | 29 456.80/456.92 c 454s | 10 | 40769 | 15661 | 11041 0 | 4594 | 29 460.00/460.17 c 458s | 10 | 40868 | 15761 | 11041 0 | 4594 | 29 462.60/462.73 c 460s | 10 | 40972 | 15861 | 11041 0 | 4594 | 29 466.10/466.29 c 464s | 10 | 41078 | 15961 | 11041 0 | 4594 | 29 470.89/471.00 c 468s | 10 | 41193 | 16061 | 11041 0 | 4594 | 29 476.40/476.51 c 474s | 10 | 41292 | 16161 | 11041 0 | 4594 | 29 481.29/481.43 c 479s | 10 | 41516 | 16361 | 11041 0 | 4594 | 29 486.59/486.75 c 484s | 10 | 41621 | 16461 | 11041 0 | 4594 | 29 492.58/492.70 c 490s | 10 | 41726 | 16561 | 11041 0 | 4594 | 29 497.68/497.89 c 495s | 10 | 41851 | 16661 | 11041 0 | 4594 | 29 504.48/504.65 c 502s | 10 | 41954 | 16761 | 11041 0 | 4594 | 29 510.89/511.02 c 508s | 10 | 42050 | 16861 | 11041 0 | 4594 | 29 516.18/516.30 c 514s | 10 | 42150 | 16961 | 11041 0 | 4594 | 29 522.48/522.68 c 520s | 10 | 42256 | 17061 | 12146 0 | 4594 | 29 527.57/527.75 c 525s | 11 | 42348 | 17144 | 12146 0 | 4594 | 29 538.47/538.62 c 536s | 11 | 45247 | 17244 | 12146 1 | 4594 | 29 544.68/544.86 c 542s | 11 | 45353 | 17344 | 12146 1 | 4594 | 29 549.98/550.11 c 547s | 11 | 45462 | 17444 | 12146 1 | 4594 | 29 556.87/557.02 c 554s | 11 | 45567 | 17544 | 12146 1 | 4594 | 29 563.07/563.27 c 561s | 11 | 45654 | 17644 | 12146 1 | 4594 | 29 568.57/568.80 c 566s | 11 | 45760 | 17744 | 12146 1 | 4594 | 29 575.06/575.26 c 573s | 11 | 45878 | 17844 | 12146 1 | 4594 | 29 581.56/581.71 c 579s | 11 | 45974 | 17944 | 12146 1 | 4594 | 29 587.16/587.33 c 585s | 11 | 46081 | 18044 | 12146 1 | 4594 | 29 593.46/593.64 c 591s | 11 | 46194 | 18144 | 12146 1 | 4594 | 29 599.46/599.64 c 597s | 11 | 46285 | 18244 | 12146 1 | 4594 | 29 604.55/604.78 c 602s | 11 | 46401 | 18344 | 12146 1 | 4594 | 29 611.55/611.79 c 609s | 11 | 46499 | 18444 | 12146 1 | 4594 | 29 618.06/618.27 c 616s | 11 | 46591 | 18544 | 12146 1 | 4594 | 29 623.55/623.71 c 621s | 11 | 46695 | 18644 | 12146 1 | 4594 | 29 629.94/630.17 c 628s | 11 | 46807 | 18744 | 12146 1 | 4594 | 29 636.65/636.86 c 634s | 11 | 46902 | 18844 | 12146 1 | 4594 | 29 642.44/642.68 c 640s | 11 | 47013 | 18944 | 12146 1 | 4594 | 29 646.44/646.63 c 644s | 11 | 47128 | 19044 | 12146 1 | 4594 | 29 651.34/651.58 c 649s | 11 | 47230 | 19144 | 12146 1 | 4594 | 29 656.14/656.40 c 654s | 11 | 47332 | 19244 | 12146 1 | 4594 | 29 660.54/660.75 c 658s | 11 | 47432 | 19344 | 12146 1 | 4594 | 29 665.23/665.40 c 663s | 11 | 47534 | 19444 | 12146 1 | 4594 | 29 670.53/670.70 c 668s | 11 | 47641 | 19544 | 12146 1 | 4594 | 29 676.03/676.22 c 674s | 11 | 47737 | 19644 | 12146 1 | 4594 | 29 681.42/681.69 c 679s | 11 | 47849 | 19744 | 12146 1 | 4594 | 29 688.72/688.90 c 686s | 11 | 47953 | 19844 | 12146 1 | 4594 | 29 695.42/695.60 c 693s | 11 | 48079 | 19944 | 12146 1 | 4594 | 29 701.92/702.10 c 699s | 11 | 48171 | 20044 | 12146 1 | 4594 | 29 707.01/707.25 c 705s | 11 | 48293 | 20144 | 12146 1 | 4594 | 29 714.31/714.59 c 712s | 11 | 48389 | 20244 | 12146 1 | 4594 | 29 721.81/722.02 c 719s | 11 | 48482 | 20344 | 12146 1 | 4594 | 29 728.81/729.08 c 726s | 11 | 48592 | 20444 | 12146 1 | 4594 | 29 735.91/736.18 c 734s | 11 | 48697 | 20544 | 12146 1 | 4594 | 29 742.50/742.72 c 740s | 11 | 48798 | 20644 | 12146 1 | 4594 | 29 747.30/747.54 c 745s | 11 | 48907 | 20744 | 12146 1 | 4594 | 29 752.69/752.95 c 750s | 11 | 49010 | 20844 | 12146 1 | 4594 | 29 758.80/759.06 c 756s | 11 | 49106 | 20944 | 12146 1 | 4594 | 29 764.99/765.27 c 763s | 11 | 49210 | 21044 | 12146 1 | 4594 | 29 770.49/770.73 c 768s | 11 | 49308 | 21144 | 12146 1 | 4594 | 29 775.89/776.15 c 774s | 11 | 49424 | 21244 | 12146 1 | 4594 | 29 781.99/782.29 c 780s | 11 | 49527 | 21344 | 12146 1 | 4594 | 29 787.89/788.18 c 786s | 11 | 49624 | 21444 | 12146 1 | 4594 | 29 793.89/794.13 c 791s | 11 | 49731 | 21544 | 12146 1 | 4594 | 29 800.38/800.63 c 798s | 11 | 49833 | 21644 | 12146 1 | 4594 | 29 806.28/806.51 c 804s | 11 | 49947 | 21744 | 12146 1 | 4594 | 29 811.68/811.96 c 809s | 11 | 50056 | 21844 | 12146 1 | 4594 | 29 817.67/817.97 c 815s | 11 | 50147 | 21944 | 12146 1 | 4594 | 29 823.57/823.84 c 821s | 11 | 50244 | 22044 | 12146 1 | 4594 | 29 828.97/829.27 c 827s | 11 | 50353 | 22144 | 12146 1 | 4594 | 29 834.77/835.02 c 832s | 11 | 50451 | 22244 | 12146 1 | 4594 | 29 839.27/839.58 c 837s | 11 | 50555 | 22344 | 12146 1 | 4594 | 29 841.66/841.95 c 839s | 11 | 50685 | 22444 | 12146 1 | 4594 | 29 846.26/846.50 c 844s | 11 | 50788 | 22544 | 12146 1 | 4594 | 29 851.17/851.44 c 849s | 11 | 50893 | 22644 | 12146 1 | 4594 | 29 857.56/857.81 c 855s | 11 | 50992 | 22744 | 12146 1 | 4594 | 29 863.46/863.77 c 861s | 11 | 51090 | 22844 | 12146 1 | 4594 | 29 869.77/870.07 c 867s | 11 | 51201 | 22944 | 12146 1 | 4594 | 29 875.66/875.95 c 873s | 11 | 51295 | 23044 | 12146 1 | 4594 | 29 881.86/882.13 c 879s | 11 | 51390 | 23144 | 12146 1 | 4594 | 29 888.26/888.50 c 886s | 11 | 51504 | 23244 | 12146 1 | 4594 | 29 893.56/893.88 c 891s | 11 | 51615 | 23344 | 12146 1 | 4594 | 29 900.66/900.93 c 898s | 11 | 51704 | 23444 | 12146 1 | 4594 | 29 906.85/907.14 c 904s | 11 | 51798 | 23544 | 12146 1 | 4594 | 29 912.35/912.66 c 910s | 11 | 51904 | 23644 | 12146 1 | 4594 | 29 919.95/920.20 c 918s | 11 | 52003 | 23744 | 12146 1 | 4594 | 29 927.06/927.39 c 925s | 11 | 52106 | 23844 | 12146 1 | 4594 | 29 933.85/934.19 c 932s | 11 | 52217 | 23944 | 12146 1 | 4594 | 29 940.05/940.36 c 938s | 11 | 52321 | 24044 | 12146 1 | 4594 | 29 945.46/945.72 c 943s | 11 | 52431 | 24144 | 12146 1 | 4594 | 29 952.36/952.67 c 950s | 11 | 52527 | 24244 | 12146 1 | 4594 | 29 959.25/959.57 c 957s | 11 | 52637 | 24344 | 12146 1 | 4594 | 29 966.05/966.37 c 964s | 11 | 52713 | 24444 | 12146 1 | 4594 | 29 972.25/972.51 c 970s | 11 | 52816 | 24544 | 12146 1 | 4594 | 29 978.04/978.32 c 976s | 11 | 52923 | 24644 | 12146 1 | 4594 | 29 983.95/984.29 c 982s | 11 | 53031 | 24744 | 12146 1 | 4594 | 29 990.85/991.18 c 989s | 11 | 53123 | 24844 | 12146 1 | 4594 | 29 997.45/997.72 c 995s | 11 | 53216 | 24944 | 12146 1 | 4594 | 29 1003.34/1003.66 c 1001s | 11 | 53318 | 25044 | 12146 1 | 4594 | 29 1007.94/1008.27 c 1006s | 11 | 53434 | 25144 | 12146 1 | 4594 | 29 1013.14/1013.41 c 1011s | 11 | 53535 | 25244 | 12146 1 | 4594 | 29 1016.74/1017.09 c 1014s | 11 | 53642 | 25344 | 12146 1 | 4594 | 29 1021.44/1021.75 c 1019s | 11 | 53742 | 25444 | 12146 1 | 4594 | 29 1026.64/1026.96 c 1024s | 11 | 53854 | 25544 | 12146 1 | 4594 | 29 1032.84/1033.16 c 1031s | 11 | 53939 | 25644 | 12146 1 | 4594 | 29 1038.14/1038.45 c 1036s | 11 | 54043 | 25744 | 13361 1 | 4594 | 29 1042.43/1042.80 c 1040s | 12 | 54123 | 25819 | 13361 1 | 4594 | 29 1051.04/1051.36 c 1049s | 12 | 57011 | 25919 | 13361 1 | 4594 | 29 1057.33/1057.63 c 1055s | 12 | 57113 | 26019 | 13361 1 | 4594 | 29 1062.83/1063.17 c 1061s | 12 | 57217 | 26119 | 13361 1 | 4594 | 29 1067.53/1067.84 c 1065s | 12 | 57315 | 26219 | 13361 1 | 4594 | 29 1073.44/1073.76 c 1071s | 12 | 57414 | 26319 | 13361 1 | 4594 | 29 1078.33/1078.62 c 1076s | 12 | 57522 | 26419 | 13361 1 | 4594 | 29 1082.93/1083.25 c 1081s | 12 | 57617 | 26519 | 13361 1 | 4594 | 29 1088.32/1088.64 c 1086s | 12 | 57721 | 26619 | 13361 1 | 4594 | 29 1093.83/1094.18 c 1092s | 12 | 57816 | 26719 | 13361 1 | 4594 | 29 1099.32/1099.62 c 1097s | 12 | 57938 | 26819 | 13361 1 | 4594 | 29 1104.82/1105.14 c 1102s | 12 | 58043 | 26919 | 13361 1 | 4594 | 29 1111.43/1111.78 c 1109s | 12 | 58132 | 27019 | 13361 1 | 4594 | 29 1118.23/1118.57 c 1116s | 12 | 58238 | 27119 | 13361 1 | 4594 | 29 1125.43/1125.75 c 1123s | 12 | 58330 | 27219 | 13361 1 | 4594 | 29 1131.12/1131.44 c 1129s | 12 | 58430 | 27319 | 13361 1 | 4594 | 29 1137.92/1138.22 c 1136s | 12 | 58531 | 27419 | 13361 1 | 4594 | 29 1144.12/1144.48 c 1142s | 12 | 58635 | 27519 | 13361 1 | 4594 | 29 1149.82/1150.10 c 1147s | 12 | 58732 | 27619 | 13361 1 | 4594 | 29 1152.32/1152.63 c 1150s | 12 | 58851 | 27719 | 13361 1 | 4594 | 29 1156.42/1156.71 c 1154s | 12 | 58948 | 27819 | 13361 1 | 4594 | 29 1161.82/1162.12 c 1159s | 12 | 59055 | 27919 | 13361 1 | 4594 | 29 1167.12/1167.47 c 1165s | 12 | 59152 | 28019 | 13361 1 | 4594 | 29 1170.41/1170.79 c 1168s | 12 | 59264 | 28119 | 13361 1 | 4594 | 29 1175.52/1175.83 c 1173s | 12 | 59363 | 28219 | 13361 1 | 4594 | 29 1180.62/1180.94 c 1178s | 12 | 59471 | 28319 | 13361 1 | 4594 | 29 1186.31/1186.61 c 1184s | 12 | 59566 | 28419 | 13361 1 | 4594 | 29 1190.52/1190.84 c 1188s | 12 | 59673 | 28519 | 13361 1 | 4594 | 29 1193.81/1194.10 c 1191s | 12 | 59784 | 28619 | 13361 1 | 4594 | 29 1199.51/1199.81 c 1197s | 12 | 59891 | 28719 | 13361 1 | 4594 | 29 1204.81/1205.16 c 1203s | 12 | 59989 | 28819 | 13361 1 | 4594 | 29 1211.11/1211.43 c 1209s | 12 | 60093 | 28919 | 13361 1 | 4594 | 29 1214.81/1215.13 c 1212s | 12 | 60204 | 29019 | 13361 1 | 4594 | 29 1219.61/1220.00 c 1217s | 12 | 60308 | 29119 | 13361 1 | 4594 | 29 1223.61/1223.96 c 1221s | 12 | 60422 | 29219 | 13361 1 | 4594 | 29 1229.51/1229.82 c 1227s | 12 | 60515 | 29319 | 13361 1 | 4594 | 29 1237.81/1238.12 c 1235s | 12 | 60628 | 29419 | 13361 2 | 4594 | 29 1243.21/1243.50 c 1241s | 12 | 60729 | 29519 | 13361 2 | 4594 | 29 1247.30/1247.65 c 1245s | 12 | 60857 | 29619 | 13361 2 | 4594 | 29 1253.30/1253.60 c 1251s | 12 | 60953 | 29719 | 13361 2 | 4594 | 29 1259.90/1260.22 c 1258s | 12 | 61050 | 29819 | 13361 2 | 4594 | 29 1265.80/1266.13 c 1263s | 12 | 61149 | 29919 | 13361 2 | 4594 | 29 1272.90/1273.23 c 1271s | 12 | 61270 | 30019 | 13361 2 | 4594 | 29 1279.30/1279.68 c 1277s | 12 | 61366 | 30119 | 13361 2 | 4594 | 29 1284.20/1284.52 c 1282s | 12 | 61485 | 30219 | 13361 2 | 4594 | 29 1291.30/1291.64 c 1289s | 12 | 61588 | 30319 | 13361 2 | 4594 | 29 1297.60/1297.97 c 1295s | 12 | 61675 | 30419 | 13361 2 | 4594 | 29 1303.09/1303.40 c 1301s | 12 | 61780 | 30519 | 13361 2 | 4594 | 29 1307.99/1308.31 c 1306s | 12 | 61886 | 30619 | 13361 2 | 4594 | 29 1315.19/1315.58 c 1313s | 12 | 61972 | 30719 | 13361 2 | 4594 | 29 1321.59/1321.99 c 1319s | 12 | 62077 | 30819 | 13361 2 | 4594 | 29 1327.40/1327.71 c 1325s | 12 | 62182 | 30919 | 13361 2 | 4594 | 29 1332.40/1332.70 c 1330s | 12 | 62297 | 31019 | 13361 2 | 4594 | 29 1339.29/1339.60 c 1337s | 12 | 62405 | 31119 | 13361 2 | 4594 | 29 1345.79/1346.12 c 1343s | 12 | 62492 | 31219 | 13361 2 | 4594 | 29 1351.49/1351.85 c 1349s | 12 | 62594 | 31319 | 13361 2 | 4594 | 29 1357.38/1357.74 c 1355s | 12 | 62702 | 31419 | 13361 2 | 4594 | 29 1364.39/1364.75 c 1362s | 12 | 62813 | 31519 | 13361 2 | 4594 | 29 1371.68/1372.05 c 1369s | 12 | 62904 | 31619 | 13361 2 | 4594 | 29 1377.68/1378.04 c 1375s | 12 | 63004 | 31719 | 13361 2 | 4594 | 29 1384.49/1384.83 c 1382s | 12 | 63112 | 31819 | 13361 2 | 4594 | 29 1391.29/1391.63 c 1389s | 12 | 63217 | 31919 | 13361 2 | 4594 | 29 1397.38/1397.71 c 1395s | 12 | 63311 | 32019 | 13361 2 | 4594 | 29 1404.78/1405.16 c 1403s | 12 | 63418 | 32119 | 13361 2 | 4594 | 29 1411.88/1412.25 c 1410s | 12 | 63517 | 32219 | 13361 2 | 4594 | 29 1417.78/1418.12 c 1415s | 12 | 63613 | 32319 | 13361 2 | 4594 | 29 1424.68/1425.04 c 1422s | 12 | 63734 | 32419 | 13361 2 | 4594 | 29 1431.89/1432.23 c 1430s | 12 | 63824 | 32519 | 13361 2 | 4594 | 29 1438.77/1439.12 c 1436s | 12 | 63930 | 32619 | 13361 2 | 4594 | 29 1445.38/1445.79 c 1443s | 12 | 64021 | 32719 | 13361 2 | 4594 | 29 1451.08/1451.43 c 1449s | 12 | 64139 | 32819 | 13361 2 | 4594 | 29 1455.97/1456.39 c 1454s | 12 | 64222 | 32919 | 13361 2 | 4594 | 29 1462.37/1462.71 c 1460s | 12 | 64339 | 33019 | 13361 2 | 4594 | 29 1467.97/1468.32 c 1466s | 12 | 64429 | 33119 | 13361 2 | 4594 | 29 1473.37/1473.77 c 1471s | 12 | 64525 | 33219 | 13361 2 | 4594 | 29 1478.97/1479.35 c 1477s | 12 | 64632 | 33319 | 13361 2 | 4594 | 29 1482.86/1483.28 c 1481s | 12 | 64749 | 33419 | 13361 2 | 4594 | 29 1488.37/1488.71 c 1486s | 12 | 64841 | 33519 | 13361 2 | 4594 | 29 1495.17/1495.56 c 1493s | 12 | 64948 | 33619 | 13361 2 | 4594 | 29 1501.27/1501.64 c 1499s | 12 | 65064 | 33719 | 13361 2 | 4594 | 29 1504.77/1505.11 c 1502s | 12 | 65174 | 33819 | 13361 2 | 4594 | 29 1506.97/1507.34 c 1505s | 12 | 65272 | 33919 | 13361 2 | 4594 | 29 1509.97/1510.35 c 1508s | 12 | 65372 | 34019 | 13361 2 | 4594 | 29 1514.16/1514.58 c 1512s | 12 | 65479 | 34119 | 13361 2 | 4594 | 29 1518.56/1518.96 c 1516s | 12 | 65592 | 34219 | 13361 2 | 4594 | 29 1523.17/1523.53 c 1521s | 12 | 65688 | 34319 | 13361 2 | 4594 | 29 1529.46/1529.85 c 1527s | 12 | 65803 | 34419 | 13361 2 | 4594 | 29 1536.66/1537.00 c 1534s | 12 | 65905 | 34519 | 13361 2 | 4594 | 29 1542.76/1543.12 c 1540s | 12 | 66004 | 34619 | 13361 2 | 4594 | 29 1549.36/1549.72 c 1547s | 12 | 66129 | 34719 | 13361 2 | 4594 | 29 1557.06/1557.44 c 1555s | 12 | 66213 | 34819 | 13361 2 | 4594 | 29 1564.35/1564.72 c 1562s | 12 | 66309 | 34919 | 13361 2 | 4594 | 29 1571.15/1571.58 c 1569s | 12 | 66417 | 35019 | 13361 2 | 4594 | 29 1577.25/1577.66 c 1575s | 12 | 66508 | 35119 | 13361 2 | 4594 | 29 1585.05/1585.50 c 1583s | 12 | 66609 | 35219 | 13361 2 | 4594 | 29 1592.85/1593.20 c 1591s | 12 | 66708 | 35319 | 13361 2 | 4594 | 29 1599.95/1600.32 c 1598s | 12 | 66812 | 35419 | 13361 2 | 4594 | 29 1606.75/1607.14 c 1604s | 12 | 66911 | 35519 | 13361 2 | 4594 | 29 1611.85/1612.23 c 1610s | 12 | 67029 | 35619 | 13361 2 | 4594 | 29 1616.65/1617.01 c 1614s | 12 | 67130 | 35719 | 13361 2 | 4594 | 29 1622.44/1622.85 c 1620s | 12 | 67227 | 35819 | 13361 2 | 4594 | 29 1626.66/1627.03 c 1624s | 12 | 67333 | 35919 | 13361 2 | 4594 | 29 1628.95/1629.37 c 1627s | 12 | 67437 | 36019 | 13361 2 | 4594 | 29 1633.54/1633.95 c 1631s | 12 | 67542 | 36119 | 13361 2 | 4594 | 29 1638.54/1638.93 c 1636s | 12 | 67646 | 36219 | 13361 2 | 4594 | 29 1644.15/1644.54 c 1642s | 12 | 67740 | 36319 | 13361 2 | 4594 | 29 1649.94/1650.38 c 1648s | 12 | 67845 | 36419 | 13361 2 | 4594 | 29 1655.64/1656.08 c 1653s | 12 | 67947 | 36519 | 13361 2 | 4594 | 29 1660.94/1661.33 c 1659s | 12 | 68046 | 36619 | 13361 2 | 4594 | 29 1667.54/1667.98 c 1665s | 12 | 68159 | 36719 | 13361 2 | 4594 | 29 1674.04/1674.47 c 1672s | 12 | 68254 | 36819 | 13361 2 | 4594 | 29 1680.44/1680.82 c 1678s | 12 | 68363 | 36919 | 13361 2 | 4594 | 29 1687.04/1687.42 c 1685s | 12 | 68459 | 37019 | 13361 2 | 4594 | 29 1692.84/1693.22 c 1691s | 12 | 68569 | 37119 | 13361 2 | 4594 | 29 1700.44/1700.85 c 1698s | 12 | 68663 | 37219 | 13361 2 | 4594 | 29 1707.94/1708.39 c 1706s | 12 | 68761 | 37319 | 13361 2 | 4594 | 29 1714.93/1715.38 c 1713s | 12 | 68860 | 37419 | 13361 2 | 4594 | 29 1720.63/1721.07 c 1718s | 12 | 68978 | 37519 | 13361 2 | 4594 | 29 1727.23/1727.62 c 1725s | 12 | 69091 | 37619 | 13361 2 | 4594 | 29 1735.13/1735.54 c 1733s | 12 | 69205 | 37719 | 13361 2 | 4594 | 29 1742.73/1743.11 c 1740s | 12 | 69304 | 37819 | 13361 2 | 4594 | 29 1749.83/1750.25 c 1748s | 12 | 69400 | 37919 | 13361 2 | 4594 | 29 1756.62/1757.06 c 1754s | 12 | 69492 | 38019 | 13361 2 | 4594 | 29 1763.42/1763.87 c 1761s | 12 | 69624 | 38119 | 13361 2 | 4594 | 29 1771.83/1772.23 c 1770s | 12 | 69695 | 38219 | 13361 2 | 4594 | 29 1780.02/1780.45 c 1778s | 12 | 69812 | 38319 | 13361 2 | 4594 | 29 1787.72/1788.17 c 1786s | 12 | 69887 | 38419 | 13361 2 | 4594 | 29 1795.02/1795.47 c 1793s | 12 | 69990 | 38519 | 13361 2 | 4594 | 29
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-4100841-1466218751/watcher-4100841-1466218751 -o /tmp/evaluation-result-4100841-1466218751/solver-4100841-1466218751 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100841-1466218751.opb pid=3374 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.03 2.11 2.08 3/179 3377 /proc/meminfo: memFree=29319864/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=714172 CPUtime=0 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 2660 0 0 0 0 0 0 0 20 0 4 0 23924314 731312128 3021 33554432000 4194304 16246674 140735653033120 140735653032544 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 179055 3030 441 2943 0 175949 0 [pid=3377/tid=3378] ppid=3374 vsize=730556 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 748089344 3090 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=735676 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 753332224 3109 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=739772 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23924314 757526528 3125 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.03 2.11 2.08 3/179 3377 /proc/meminfo: memFree=29319864/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 27062 0 0 0 5 3 0 0 20 0 4 0 23924314 1333334016 27361 33554432000 4194304 16246674 140735653033120 140735653032432 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 325521 27377 799 2943 0 322415 0 [pid=3377/tid=3378] ppid=3374 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1333334016 27388 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1333334016 27400 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1333334016 27411 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200616 s] /proc/loadavg: 2.03 2.11 2.08 3/179 3377 /proc/meminfo: memFree=29319864/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 47202 0 0 0 12 7 0 0 20 0 4 0 23924314 1343819776 48012 33554432000 4194304 16246674 140735653033120 140735653032432 7364468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 328081 48012 801 2943 0 324975 0 [pid=3377/tid=3378] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 48012 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 48012 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 48012 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.30053 s] /proc/loadavg: 2.03 2.11 2.08 3/179 3377 /proc/meminfo: memFree=29319864/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 56612 0 0 0 21 8 0 0 20 0 4 0 23924314 1343819776 57422 33554432000 4194304 16246674 140735653033120 140735653032432 13927136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 328081 57422 821 2943 0 324975 0 [pid=3377/tid=3378] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 57422 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 57422 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 57422 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700405 s] /proc/loadavg: 2.03 2.11 2.08 3/179 3377 /proc/meminfo: memFree=29319864/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1312324 CPUtime=0.69 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 134998 0 0 0 50 19 0 0 20 0 4 0 23924314 1343819776 135808 33554432000 4194304 16246674 140735653033120 140735653015040 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 328081 135824 832 2943 0 324975 0 [pid=3377/tid=3378] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 135836 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 135847 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1343819776 135858 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50041 s] /proc/loadavg: 2.03 2.11 2.08 3/183 3381 /proc/meminfo: memFree=28359416/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1332804 CPUtime=1.49 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 273823 0 0 0 112 37 0 0 20 0 4 0 23924314 1364791296 274633 33554432000 4194304 16246674 140735653033120 140735653032432 5913648 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 333201 274633 835 2943 0 330095 0 [pid=3377/tid=3378] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274633 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274633 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274633 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1332804 [startup+3.1004 s] /proc/loadavg: 2.03 2.11 2.08 3/183 3381 /proc/meminfo: memFree=28222024/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1332804 CPUtime=3.09 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 273882 0 0 0 272 37 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140735653032296 5824851 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 333201 274692 893 2943 0 330095 0 [pid=3377/tid=3378] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1332804 [startup+6.30042 s] /proc/loadavg: 2.11 2.13 2.09 3/183 3381 /proc/meminfo: memFree=28222040/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1332804 CPUtime=6.29 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 273882 0 0 0 592 37 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140735653015040 6843060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 333201 274692 893 2943 0 330095 0 [pid=3377/tid=3378] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1332804 [startup+12.7004 s] /proc/loadavg: 2.10 2.12 2.09 3/183 3381 /proc/meminfo: memFree=28186124/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1332804 CPUtime=12.68 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 273882 0 0 0 1231 37 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140735653015040 5711496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 333201 274692 893 2943 0 330095 0 [pid=3377/tid=3378] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1332804 [startup+25.5005 s] /proc/loadavg: 2.16 2.13 2.09 3/183 3381 /proc/meminfo: memFree=28186368/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1332804 CPUtime=25.48 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 273882 0 0 0 2511 37 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140735653015040 5711576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 333201 274692 893 2943 0 330095 0 [pid=3377/tid=3378] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274692 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1332804 [startup+51.1005 s] /proc/loadavg: 2.16 2.14 2.09 3/184 3384 /proc/meminfo: memFree=28185916/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1332804 CPUtime=51.08 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 273886 0 0 0 5070 38 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140735653015040 5711496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 333201 274696 897 2943 0 330095 0 [pid=3377/tid=3378] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1332804 [startup+102.3 s] /proc/loadavg: 2.12 2.13 2.09 4/184 3385 /proc/meminfo: memFree=28186576/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1332804 CPUtime=102.28 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 273886 0 0 0 10189 39 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140735653015040 5712072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 333201 274696 897 2943 0 330095 0 [pid=3377/tid=3378] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1364791296 274696 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1332804 ################ # More data... # ################ /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1662586880 347158 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1623620 [startup+1302.3 s] /proc/loadavg: 2.09 2.06 2.06 3/184 3487 /proc/meminfo: memFree=28618556/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1665604 CPUtime=1301.99 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 357238 0 0 0 130083 116 0 0 20 0 4 0 23924314 1705578496 357902 33554432000 4194304 16246674 140735653033120 140735653015040 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 416401 357902 900 2943 0 413295 0 [pid=3377/tid=3378] ppid=3374 vsize=1665604 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1705578496 357902 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1665604 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1705578496 357902 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1665604 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1705578496 357902 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1665604 [startup+1362.3 s] /proc/loadavg: 2.03 2.05 2.05 3/183 3488 /proc/meminfo: memFree=28576448/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1709636 CPUtime=1361.99 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 368078 0 0 0 136076 123 0 0 20 0 4 0 23924314 1750667264 368742 33554432000 4194304 16246674 140735653033120 140735653032296 4220912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 427409 368742 902 2943 0 424303 0 [pid=3377/tid=3378] ppid=3374 vsize=1709636 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1750667264 368742 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1709636 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1750667264 368742 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1709636 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1750667264 368742 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1709636 [startup+1422.3 s] /proc/loadavg: 2.01 2.04 2.05 3/183 3490 /proc/meminfo: memFree=28530952/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1752644 CPUtime=1421.98 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 379000 0 0 0 142069 129 0 0 20 0 4 0 23924314 1794707456 379664 33554432000 4194304 16246674 140735653033120 140735653015040 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 438161 379664 902 2943 0 435055 0 [pid=3377/tid=3378] ppid=3374 vsize=1752644 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1794707456 379664 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1752644 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1794707456 379664 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1752644 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1794707456 379664 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 1752644 [startup+1482.3 s] /proc/loadavg: 2.08 2.04 2.05 3/183 3491 /proc/meminfo: memFree=28483888/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1799748 CPUtime=1481.97 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 390743 0 0 0 148061 136 0 0 20 0 4 0 23924314 1842941952 391407 33554432000 4194304 16246674 140735653033120 140735653015040 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 449937 391407 902 2943 0 446831 0 [pid=3377/tid=3378] ppid=3374 vsize=1799748 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1842941952 391407 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1799748 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1842941952 391407 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1799748 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1842941952 391407 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1799748 [startup+1542.31 s] /proc/loadavg: 2.13 2.06 2.05 3/183 3492 /proc/meminfo: memFree=28426908/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1857092 CPUtime=1541.97 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 404918 0 0 0 154054 143 0 0 20 0 4 0 23924314 1901662208 405582 33554432000 4194304 16246674 140735653033120 140735653015040 5712056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 464273 405582 902 2943 0 461167 0 [pid=3377/tid=3378] ppid=3374 vsize=1857092 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1901662208 405582 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1857092 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1901662208 405582 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1857092 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1901662208 405582 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 1857092 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.05 3/183 3493 /proc/meminfo: memFree=28390352/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1893956 CPUtime=1601.95 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 414310 0 0 0 160044 151 0 0 20 0 4 0 23924314 1939410944 414974 33554432000 4194304 16246674 140735653033120 140735653032296 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 473489 414974 902 2943 0 470383 0 [pid=3377/tid=3378] ppid=3374 vsize=1893956 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1939410944 414974 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1893956 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1939410944 414974 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1893956 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1939410944 414974 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1893956 [startup+1662.3 s] /proc/loadavg: 2.06 2.06 2.05 3/183 3494 /proc/meminfo: memFree=28340760/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1944132 CPUtime=1661.94 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 426791 0 0 0 166035 159 0 0 20 0 4 0 23924314 1990791168 427455 33554432000 4194304 16246674 140735653033120 140735653032216 5545844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 486033 427455 902 2943 0 482927 0 [pid=3377/tid=3378] ppid=3374 vsize=1944132 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 1990791168 427455 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1944132 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 1990791168 427455 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1944132 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 1990791168 427455 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 1944132 [startup+1722.3 s] /proc/loadavg: 2.02 2.05 2.04 4/183 3496 /proc/meminfo: memFree=28297100/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=1987140 CPUtime=1721.94 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 437624 0 0 0 172026 168 0 0 20 0 4 0 23924314 2034831360 438288 33554432000 4194304 16246674 140735653033120 140735653032216 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 496785 438288 902 2943 0 493679 0 [pid=3377/tid=3378] ppid=3374 vsize=1987140 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 2034831360 438288 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=1987140 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 2034831360 438288 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=1987140 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 2034831360 438288 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1987140 [startup+1782.3 s] /proc/loadavg: 2.05 2.05 2.04 3/183 3497 /proc/meminfo: memFree=28256656/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=2027076 CPUtime=1781.92 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 447608 0 0 0 178016 176 0 0 20 0 4 0 23924314 2075725824 448272 33554432000 4194304 16246674 140735653033120 140735653032296 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 506769 448272 902 2943 0 503663 0 [pid=3377/tid=3378] ppid=3374 vsize=2027076 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 2075725824 448272 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=2027076 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 2075725824 448272 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=2027076 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 2075725824 448272 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.92 Current children cumulated vsize (KiB) 2027076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.04 2.05 2.04 3/183 3497 /proc/meminfo: memFree=28245132/32872528 swapFree=681964/737152 [pid=3377] ppid=3374 vsize=2038340 CPUtime=1800.02 cores=0,2,4,6 /proc/3377/stat : 3377 (toysat) R 3374 3377 1377 0 -1 4202496 450424 0 0 0 179823 179 0 0 20 0 4 0 23924314 2087260160 451088 33554432000 4194304 16246674 140735653033120 140735653032296 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3377/statm: 509585 451088 902 2943 0 506479 0 [pid=3377/tid=3378] ppid=3374 vsize=2038340 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3378/stat : 3378 (toysat) S 3374 3377 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23924314 2087260160 451088 33554432000 4194304 16246674 140735653033120 140424196893936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=3377/tid=3379] ppid=3374 vsize=2038340 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3379/stat : 3379 (toysat) S 3374 3377 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23924314 2087260160 451088 33554432000 4194304 16246674 140735653033120 140424186404080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=3377/tid=3380] ppid=3374 vsize=2038340 CPUtime=0 cores=0,2,4,6 /proc/3377/task/3380/stat : 3380 (toysat) S 3374 3377 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23924314 2087260160 451088 33554432000 4194304 16246674 140735653033120 140424175930544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2038340 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 3377 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.45 CPU time (s): 1800.08 CPU user time (s): 1798.24 CPU system time (s): 1.83272 CPU usage (%): 99.9792 Max. virtual memory (cumulated for all children) (KiB): 2038340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.24 system time used= 1.83272 maximum resident set size= 1804352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 450424 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= 164 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.7919 second user time and 15.4596 second system time The end
Begin job on node112 at 2016-06-18 04:59:11 IDJOB=4100841 IDBENCH=1668 IDSOLVER=2542 FILE ID=node112/4100841-1466218751 RUNJOBID= node112-1466206100-1394 PBS_JOBID= 19918164 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-forplan.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100841-1466218751/watcher-4100841-1466218751 -o /tmp/evaluation-result-4100841-1466218751/solver-4100841-1466218751 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100841-1466218751.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4cdda58963f46d542400f05ed7600db2 RANDOM SEED=1715384099 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 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.734 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29320244 kB Buffers: 93668 kB Cached: 120544 kB SwapCached: 1916 kB Active: 1961672 kB Inactive: 117148 kB Active(anon): 1865392 kB Inactive(anon): 1576 kB Active(file): 96280 kB Inactive(file): 115572 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096992 kB Dirty: 17516 kB Writeback: 0 kB AnonPages: 2600768 kB Mapped: 10884 kB Shmem: 0 kB Slab: 600268 kB SReclaimable: 44272 kB SUnreclaim: 555996 kB KernelStack: 1504 kB PageTables: 8920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2746008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1306624 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= 71680 MiB End job on node112 at 2016-06-18 05:29:11