| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.44 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb |
| MD5SUM | 639e0d875430a149be6568412a359422 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| 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 | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T10:48:06+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-4119755-1467276486.opb"] 0.00/0.01 c use --random-gen="1734463073 4088779865 2367673376 3374107032 3737948443 1094554819 4144160815 4266203818 3854737092 3418090905 3048223011 1532693526 1392693879 3524179253 2101246830 3037421160 3826617491 4160996582 2917127612 2710982629 2501409458 4151198642 2116244433 4192385316 277294483 2635267143 1210937103 3628101183 3199801873 3433998830 2153421635 1475810112 3081274296 3122088836 2650168294 2878097075 90841631 2542837913 1681974199 1587727303 1393335681 2797590706 4067443094 2474370074 2310010395 1308582572 3222014554 2606270485 4232219431 2691236407 527568514 2008004313 1701968372 536549065 474638050 1038328053 3272740185 3244547012 375203213 3089047896 993586652 3985679073 3997357942 2584713253 2514883998 1088350027 3403338261 458454700 2663307889 1429381194 3142541292 3369343996 1927007156 2242177056 2576112255 429306054 626656709 663315845 2812598436 2063184824 3522124200 4099725456 243601769 1237648964 4084065078 4266230199 3445087789 1177840356 1629242903 3133812041 3768604989 1430820467 2313251291 1854556163 1814403693 2009307786 1269730518 3947129931 3007324189 1158567248 3937821916 3623986771 2642983356 202531151 1464163054 81528710 2657330308 3280040229 665715769 3664661832 1584554361 3935575441 3112436465 1760686108 2908518167 3102768389 863267950 80339516 3194837467 911043339 3990408866 3072511574 118170012 3828764947 172326775 1951831716 3701163463 2930873427 2410760614 2270816694 1152365650 2476401976 4045938408 314829066 2797123671 3284273959 3645476903 669175662 2800907527 3650359303 3930512116 3406617883 1099460038 2170910907 1673403936 2384493165 876012480 2799746164 1876803995 1815152634 454959197 809794645 871658761 1779979406 3463844201 4191782548 1346638105 1043907283 4176176744 2370235968 617337549 156527673 3545413325 3204352576 1566645120 2628928569 3060699104 2365772054 4181953616 1555604914 946377389 3894425949 2434208546 2290652675 3898946653 2802523865 4181840955 2971611202 2011726364 1719396419 3070776779 834411361 671947058 2931898171 1497915953 1311324112 3775494118 1679515135 1625105007 2119281023 1366264235 3813982063 2414992016 83721614 4048125225 1368293404 195592733 3087239267 4113455809 684951557 3495012246 2573631196 1144508481 1372525879 1162672058 3402725362 3040114468 2378684333 1949068356 1085414901 3270494370 49214568 1476490826 3182772000 470853237 1527849570 3875163631 1389961195 163387692 404015983 2026331202 4007585715 2699976960 2082614656 1970948383 320532215 43842901 1097424099 3025176354 2959435230 2691060921 1449613052 2330321457 186676402 920650758 3031298830 1437361905 3482351452 2051600040 1747176993 1373803344 3258283251 1445538923 2229774384 714799642 1733716819 82856299 1359262167 2288643676 149715242 275813682 1753559569 1127018707 2997779057 1441474219 2661882583 255 362436" option to reproduce the execution 1.20/1.26 c #vars 175232 1.20/1.26 c #constraints 2994 4.19/4.24 c BCD2: Hardening is enabled. 4.19/4.24 c BCD2: BiasedSearch is enabled. 4.19/4.24 c Solving starts ... 4.19/4.24 c ============================[ Search Statistics ]============================ 4.19/4.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.24 c | | | | Limit GC | Var | Constra 4.19/4.24 c ============================================================================= 4.29/4.31 c 0.0s | 0 | 0 | 0 | 59408 0 | 617 | 0 5.59/5.67 c 1.4s | 1 | 1372 | 100 | 59408 0 | 617 | 0 8.09/8.10 c 3.8s | 2 | 6605 | 250 | 65349 0 | 617 | 0 10.49/10.54 c 6.2s | 2 | 20414 | 350 | 71884 0 | 617 | 0 13.29/13.35 c 9.0s | 2 | 20525 | 450 | 71884 0 | 617 | 0 14.09/14.15 c 9.8s | 3 | 20556 | 475 | 71884 0 | 617 | 0 16.99/17.07 c 12.8s | 3 | 45937 | 575 | 79073 0 | 617 | 0 19.78/19.82 c 15.5s | 3 | 46045 | 675 | 79073 0 | 617 | 0 23.09/23.15 c 18.8s | 3 | 46147 | 775 | 79073 0 | 617 | 0 24.50/24.58 c 20.3s | 4 | 46185 | 813 | 79073 0 | 617 | 0 27.59/27.65 c 23.3s | 4 | 80103 | 913 | 86981 0 | 617 | 0 30.59/30.61 c 26.3s | 4 | 80213 | 1013 | 86981 0 | 617 | 0 32.99/33.01 c 28.7s | 4 | 80329 | 1113 | 86981 0 | 617 | 0 35.89/35.94 c 31.6s | 4 | 80436 | 1213 | 86981 0 | 617 | 0 37.99/38.06 c 33.7s | 4 | 80568 | 1313 | 86981 0 | 617 | 0 38.29/38.33 c 34.0s | 5 | 80576 | 1320 | 86981 0 | 617 | 0 40.58/40.67 c 36.4s | 5 | 126449 | 1420 | 95680 0 | 617 | 0 42.98/43.08 c 38.8s | 5 | 126562 | 1520 | 95680 0 | 617 | 0 45.18/45.24 c 40.9s | 5 | 126681 | 1620 | 95680 0 | 617 | 0 47.78/47.83 c 43.5s | 5 | 126791 | 1720 | 95680 0 | 617 | 0 50.28/50.32 c 46.0s | 5 | 126902 | 1820 | 95680 0 | 617 | 0 52.88/52.96 c 48.7s | 5 | 127010 | 1920 | 95680 0 | 617 | 0 56.18/56.26 c 52.0s | 5 | 127127 | 2020 | 95680 0 | 617 | 0 57.78/57.81 c 53.5s | 6 | 127199 | 2081 | 105249 0 | 617 | 0 60.58/60.62 c 56.3s | 6 | 174685 | 2181 | 105249 0 | 617 | 0 62.78/62.81 c 58.5s | 6 | 174814 | 2281 | 105249 0 | 617 | 0 65.48/65.56 c 61.3s | 6 | 174927 | 2381 | 105249 0 | 617 | 0 68.38/68.46 c 64.1s | 6 | 175038 | 2481 | 105249 0 | 617 | 0 71.37/71.43 c 67.1s | 6 | 175142 | 2581 | 105249 0 | 617 | 0 74.17/74.22 c 69.9s | 6 | 175258 | 2681 | 105249 0 | 617 | 0 77.18/77.24 c 72.9s | 6 | 175359 | 2781 | 105249 0 | 617 | 0 80.27/80.37 c 76.1s | 6 | 175474 | 2881 | 105249 0 | 617 | 0 83.68/83.78 c 79.5s | 6 | 175580 | 2981 | 105249 0 | 617 | 0 87.19/87.29 c 83.0s | 6 | 175684 | 3081 | 105249 0 | 617 | 0 90.78/90.84 c 86.5s | 6 | 175798 | 3181 | 105249 0 | 617 | 0 92.08/92.16 c 87.8s | 7 | 175848 | 3223 | 115774 0 | 617 | 0 95.78/95.85 c 91.5s | 7 | 221604 | 3323 | 115774 0 | 617 | 0 98.78/98.80 c 94.5s | 7 | 221759 | 3423 | 115774 0 | 617 | 0 102.17/102.27 c 98.0s | 7 | 221932 | 3523 | 115774 0 | 617 | 0 105.27/105.32 c 101s | 7 | 222086 | 3623 | 115774 0 | 617 | 0 108.08/108.11 c 103s | 7 | 222223 | 3723 | 115774 0 | 617 | 0 111.38/111.49 c 107s | 7 | 222375 | 3823 | 115774 0 | 617 | 0 114.07/114.14 c 109s | 7 | 222548 | 3923 | 115774 0 | 617 | 0 116.67/116.80 c 112s | 7 | 222684 | 4023 | 115774 0 | 617 | 0 119.58/119.60 c 115s | 7 | 222794 | 4123 | 115774 0 | 617 | 0 122.38/122.47 c 118s | 7 | 222904 | 4223 | 115774 0 | 617 | 0 125.07/125.13 c 120s | 7 | 223023 | 4323 | 115774 0 | 617 | 0 127.78/127.82 c 123s | 7 | 223160 | 4423 | 115774 0 | 617 | 0 130.87/130.95 c 126s | 7 | 223279 | 4523 | 115774 0 | 617 | 0 133.77/133.83 c 129s | 7 | 223389 | 4623 | 115774 0 | 617 | 0 136.77/136.86 c 132s | 7 | 223512 | 4723 | 115774 0 | 617 | 0 139.88/139.93 c 135s | 7 | 223626 | 4823 | 115774 0 | 617 | 0 143.57/143.61 c 139s | 7 | 223771 | 4923 | 127352 0 | 617 | 0 143.97/144.09 c 139s | 8 | 223798 | 4936 | 127352 0 | 617 | 0 148.16/148.25 c 143s | 8 | 264214 | 5036 | 127352 0 | 617 | 0 153.76/153.89 c 149s | 8 | 264344 | 5136 | 127352 0 | 617 | 0 159.96/160.06 c 155s | 8 | 264457 | 5236 | 127352 0 | 617 | 0 165.56/165.67 c 161s | 8 | 264563 | 5336 | 127352 0 | 617 | 0 170.96/171.03 c 166s | 8 | 264677 | 5436 | 127352 0 | 617 | 0 175.96/176.02 c 171s | 8 | 264814 | 5536 | 127352 0 | 617 | 0 180.67/180.78 c 176s | 8 | 264942 | 5636 | 127352 0 | 617 | 0 186.07/186.14 c 181s | 8 | 265055 | 5736 | 127352 0 | 617 | 0 191.16/191.23 c 186s | 8 | 265163 | 5836 | 127352 0 | 617 | 0 196.26/196.39 c 192s | 8 | 265284 | 5936 | 127352 0 | 617 | 0 202.96/203.06 c 198s | 8 | 265392 | 6036 | 127352 0 | 617 | 0 209.85/209.97 c 205s | 8 | 265501 | 6136 | 127352 0 | 617 | 0 216.35/216.48 c 212s | 8 | 265615 | 6236 | 127352 0 | 617 | 0 221.05/221.11 c 216s | 8 | 265729 | 6336 | 127352 0 | 617 | 0 226.44/226.56 c 222s | 8 | 265829 | 6436 | 127352 0 | 617 | 0 231.74/231.88 c 227s | 8 | 265941 | 6536 | 127352 0 | 617 | 0 237.45/237.54 c 233s | 8 | 266038 | 6636 | 127352 0 | 617 | 0 244.95/245.04 c 240s | 8 | 266150 | 6736 | 127352 0 | 617 | 0 249.95/250.02 c 245s | 8 | 266264 | 6836 | 127352 0 | 617 | 0 254.94/255.07 c 250s | 8 | 266371 | 6936 | 127352 0 | 617 | 0 260.04/260.18 c 255s | 8 | 266478 | 7036 | 127352 0 | 617 | 0 265.54/265.64 c 261s | 8 | 266583 | 7136 | 127352 0 | 617 | 0 270.54/270.61 c 266s | 8 | 266694 | 7236 | 127352 0 | 617 | 0 275.45/275.54 c 271s | 8 | 266815 | 7336 | 127352 0 | 617 | 0 280.34/280.40 c 276s | 8 | 266926 | 7436 | 127352 0 | 617 | 0 283.54/283.68 c 279s | 9 | 267002 | 7506 | 140088 0 | 617 | 0 287.44/287.60 c 283s | 9 | 297946 | 7606 | 140088 0 | 617 | 0 291.74/291.85 c 287s | 9 | 299850 | 7706 | 140088 0 | 617 | 0 297.53/297.64 c 293s | 9 | 299961 | 7806 | 140088 0 | 617 | 0 303.53/303.60 c 299s | 9 | 300062 | 7906 | 140088 0 | 617 | 0 309.53/309.69 c 305s | 9 | 300168 | 8006 | 140088 0 | 617 | 0 315.33/315.49 c 311s | 9 | 300287 | 8106 | 140088 0 | 617 | 0 322.03/322.19 c 317s | 9 | 300393 | 8206 | 140088 0 | 617 | 0 327.94/328.10 c 323s | 9 | 300506 | 8306 | 140088 0 | 617 | 0 334.22/334.37 c 330s | 9 | 300620 | 8406 | 140088 0 | 617 | 0 340.22/340.33 c 336s | 9 | 300736 | 8506 | 140088 0 | 617 | 0 346.02/346.16 c 341s | 9 | 300839 | 8606 | 140088 0 | 617 | 0 352.02/352.11 c 347s | 9 | 300946 | 8706 | 140088 0 | 617 | 0 358.61/358.75 c 354s | 9 | 301048 | 8806 | 140088 0 | 617 | 0 367.41/367.53 c 363s | 9 | 301166 | 8906 | 140088 0 | 617 | 0 376.42/376.58 c 372s | 9 | 301278 | 9006 | 140088 0 | 617 | 0 380.92/381.09 c 376s | 9 | 301407 | 9106 | 140088 0 | 617 | 0 385.32/385.47 c 381s | 9 | 301536 | 9206 | 140088 0 | 617 | 0 390.72/390.84 c 386s | 9 | 301678 | 9306 | 140088 0 | 617 | 0 396.61/396.73 c 392s | 9 | 301806 | 9406 | 140088 0 | 617 | 0 403.21/403.35 c 399s | 9 | 301929 | 9506 | 140088 0 | 617 | 0 409.11/409.22 c 404s | 9 | 302061 | 9606 | 140088 0 | 617 | 0 417.01/417.11 c 412s | 9 | 302199 | 9706 | 140088 0 | 617 | 0 421.90/422.09 c 417s | 9 | 302339 | 9806 | 140088 0 | 617 | 0 426.91/427.08 c 422s | 9 | 302474 | 9906 | 140088 0 | 617 | 0 432.51/432.67 c 428s | 9 | 302634 | 10006 | 140088 0 | 617 | 0 438.50/438.61 c 434s | 9 | 302753 | 10106 | 140088 0 | 617 | 0 444.60/444.72 c 440s | 9 | 302863 | 10206 | 140088 0 | 617 | 0 450.39/450.52 c 446s | 9 | 302965 | 10306 | 140088 0 | 617 | 0 456.80/456.96 c 452s | 9 | 303094 | 10406 | 140088 0 | 617 | 0 462.99/463.15 c 458s | 9 | 303193 | 10506 | 140088 0 | 617 | 0 469.29/469.44 c 465s | 9 | 303323 | 10606 | 140088 0 | 617 | 0 474.39/474.52 c 470s | 9 | 303460 | 10706 | 140088 0 | 617 | 0 480.39/480.51 c 476s | 9 | 303600 | 10806 | 140088 0 | 617 | 0 486.29/486.42 c 482s | 9 | 303731 | 10906 | 140088 0 | 617 | 0 491.68/491.83 c 487s | 9 | 303866 | 11006 | 140088 0 | 617 | 0 497.58/497.79 c 493s | 9 | 303988 | 11106 | 140088 0 | 617 | 0 505.78/505.92 c 501s | 9 | 304095 | 11206 | 140088 0 | 617 | 0 512.58/512.71 c 508s | 9 | 304203 | 11306 | 154097 0 | 617 | 0 515.88/516.04 c 511s | 10 | 304309 | 11361 | 154097 0 | 617 | 0 520.98/521.11 c 516s | 10 | 329916 | 11461 | 154097 0 | 617 | 0 523.87/524.06 c 519s | 10 | 330024 | 11561 | 154097 0 | 617 | 0 527.17/527.32 c 523s | 10 | 330127 | 11661 | 154097 0 | 617 | 0 530.47/530.66 c 526s | 10 | 330308 | 11761 | 154097 0 | 617 | 0 533.58/533.73 c 529s | 10 | 330477 | 11861 | 154097 0 | 617 | 0 537.27/537.42 c 533s | 10 | 330576 | 11961 | 154097 0 | 617 | 0 540.87/541.02 c 536s | 10 | 330720 | 12061 | 154097 0 | 617 | 0 544.77/544.92 c 540s | 10 | 330829 | 12161 | 154097 0 | 617 | 0 548.77/548.91 c 544s | 10 | 333034 | 12261 | 154097 0 | 617 | 0 551.77/551.98 c 547s | 10 | 333142 | 12361 | 154097 0 | 617 | 0 555.86/556.01 c 551s | 10 | 333311 | 12461 | 154097 0 | 617 | 0 560.56/560.74 c 556s | 10 | 333414 | 12561 | 154097 0 | 617 | 0 566.27/566.49 c 562s | 10 | 333518 | 12661 | 154097 0 | 617 | 0 570.17/570.38 c 566s | 10 | 333641 | 12761 | 154097 0 | 617 | 0 573.87/574.09 c 569s | 10 | 333781 | 12861 | 154097 0 | 617 | 0 578.47/578.63 c 574s | 10 | 334056 | 12961 | 154097 0 | 617 | 0 583.26/583.44 c 579s | 10 | 334166 | 13061 | 154097 0 | 617 | 0 588.86/589.07 c 584s | 10 | 334483 | 13161 | 154097 0 | 617 | 0 594.96/595.14 c 590s | 10 | 334644 | 13261 | 154097 0 | 617 | 0 600.85/601.01 c 596s | 10 | 334811 | 13361 | 154097 0 | 617 | 0 606.75/606.97 c 602s | 10 | 334940 | 13461 | 154097 0 | 617 | 0 613.65/613.88 c 609s | 10 | 335092 | 13561 | 154097 0 | 617 | 0 619.75/619.97 c 615s | 10 | 335348 | 13661 | 154097 0 | 617 | 0 626.35/626.59 c 622s | 10 | 335703 | 13761 | 154097 0 | 617 | 0 633.76/633.96 c 629s | 10 | 335826 | 13861 | 154097 0 | 617 | 0 641.36/641.57 c 637s | 10 | 335984 | 13961 | 154097 0 | 617 | 0 648.35/648.50 c 644s | 10 | 336158 | 14061 | 154097 0 | 617 | 0 654.04/654.25 c 649s | 10 | 336436 | 14161 | 154097 0 | 617 | 0 660.15/660.34 c 656s | 10 | 336788 | 14261 | 154097 0 | 617 | 0 666.83/667.09 c 662s | 10 | 336988 | 14361 | 154097 0 | 617 | 0 673.53/673.74 c 669s | 10 | 337132 | 14461 | 154097 0 | 617 | 0 680.34/680.58 c 676s | 10 | 337445 | 14561 | 154097 0 | 617 | 0 687.94/688.10 c 683s | 10 | 337637 | 14661 | 154097 0 | 617 | 0 694.33/694.52 c 690s | 10 | 338063 | 14761 | 154097 0 | 617 | 0 700.74/700.95 c 696s | 10 | 338267 | 14861 | 154097 0 | 617 | 0 706.23/706.50 c 702s | 10 | 338497 | 14961 | 154097 0 | 617 | 0 712.23/712.42 c 708s | 10 | 338966 | 15061 | 154097 0 | 617 | 0 717.72/717.97 c 713s | 10 | 339341 | 15161 | 154097 0 | 617 | 0 724.22/724.48 c 720s | 10 | 339506 | 15261 | 154097 0 | 617 | 0 729.62/729.86 c 725s | 10 | 339612 | 15361 | 154097 0 | 617 | 0 736.22/736.46 c 732s | 10 | 339717 | 15461 | 154097 0 | 617 | 0 742.62/742.88 c 738s | 10 | 339830 | 15561 | 154097 0 | 617 | 0 748.51/748.73 c 744s | 10 | 339931 | 15661 | 154097 0 | 617 | 0 752.61/752.88 c 748s | 10 | 340072 | 15761 | 154097 0 | 617 | 0 757.22/757.42 c 753s | 10 | 340265 | 15861 | 154097 0 | 617 | 0 762.12/762.36 c 758s | 10 | 340680 | 15961 | 154097 0 | 617 | 0 770.51/770.78 c 766s | 10 | 340844 | 16061 | 154097 0 | 617 | 0 780.21/780.49 c 776s | 10 | 340998 | 16161 | 154097 0 | 617 | 0 791.21/791.46 c 787s | 10 | 341160 | 16261 | 154097 0 | 617 | 0 801.91/802.18 c 797s | 10 | 341309 | 16361 | 154097 0 | 617 | 0 813.00/813.22 c 808s | 10 | 341434 | 16461 | 154097 0 | 617 | 0 823.90/824.15 c 819s | 10 | 341539 | 16561 | 154097 0 | 617 | 0 835.70/835.90 c 831s | 10 | 341663 | 16661 | 154097 0 | 617 | 0 845.09/845.39 c 841s | 10 | 341765 | 16761 | 154097 0 | 617 | 0 853.99/854.28 c 849s | 10 | 341902 | 16861 | 154097 0 | 617 | 0 858.89/859.14 c 854s | 10 | 342088 | 16961 | 154097 0 | 617 | 0 869.28/869.53 c 865s | 10 | 342300 | 17061 | 169507 0 | 617 | 0 877.18/877.43 c 873s | 11 | 342401 | 17144 | 169507 0 | 617 | 0 883.07/883.38 c 879s | 11 | 375224 | 17244 | 169507 0 | 617 | 0 888.97/889.27 c 884s | 11 | 375345 | 17344 | 169507 0 | 617 | 0 896.48/896.79 c 892s | 11 | 375445 | 17444 | 169507 0 | 617 | 0 904.97/905.29 c 900s | 11 | 375549 | 17544 | 169507 0 | 617 | 0 912.47/912.74 c 908s | 11 | 375649 | 17644 | 169507 0 | 617 | 0 918.98/919.23 c 914s | 11 | 375759 | 17744 | 169507 0 | 617 | 0 924.68/924.93 c 920s | 11 | 375867 | 17844 | 169507 0 | 617 | 0 929.67/929.97 c 925s | 11 | 375981 | 17944 | 169507 0 | 617 | 0 935.37/935.64 c 931s | 11 | 376093 | 18044 | 169507 0 | 617 | 0 942.07/942.33 c 938s | 11 | 376197 | 18144 | 169507 0 | 617 | 0 950.97/951.28 c 946s | 11 | 376303 | 18244 | 169507 0 | 617 | 0 960.27/960.59 c 956s | 11 | 376409 | 18344 | 169507 0 | 617 | 0 968.87/969.15 c 964s | 11 | 376518 | 18444 | 169507 0 | 617 | 0 980.07/980.37 c 976s | 11 | 376616 | 18544 | 169507 0 | 617 | 0 987.96/988.23 c 983s | 11 | 376718 | 18644 | 169507 0 | 617 | 0 992.76/993.04 c 988s | 11 | 376820 | 18744 | 169507 0 | 617 | 0 997.56/997.80 c 993s | 11 | 376930 | 18844 | 169507 0 | 617 | 0 1002.96/1003.20 c 998s | 11 | 377042 | 18944 | 169507 0 | 617 | 0 1010.55/1010.82 c 1006s | 11 | 377156 | 19044 | 169507 0 | 617 | 0 1017.75/1018.03 c 1013s | 11 | 377252 | 19144 | 169507 0 | 617 | 0 1024.76/1025.06 c 1020s | 11 | 377352 | 19244 | 169507 0 | 617 | 0 1030.77/1031.01 c 1026s | 11 | 377484 | 19344 | 169507 0 | 617 | 0 1035.46/1035.74 c 1031s | 11 | 377591 | 19444 | 169507 0 | 617 | 0 1040.25/1040.53 c 1036s | 11 | 377710 | 19544 | 169507 0 | 617 | 0 1044.45/1044.76 c 1040s | 11 | 377821 | 19644 | 169507 0 | 617 | 0 1049.36/1049.62 c 1045s | 11 | 377932 | 19744 | 169507 0 | 617 | 0 1053.76/1054.06 c 1049s | 11 | 378038 | 19844 | 169507 0 | 617 | 0 1058.26/1058.54 c 1054s | 11 | 378148 | 19944 | 169507 0 | 617 | 0 1063.15/1063.42 c 1059s | 11 | 378273 | 20044 | 169507 0 | 617 | 0 1068.06/1068.39 c 1064s | 11 | 378398 | 20144 | 169507 0 | 617 | 0 1073.25/1073.54 c 1069s | 11 | 378503 | 20244 | 169507 0 | 617 | 0 1078.15/1078.47 c 1074s | 11 | 378608 | 20344 | 169507 0 | 617 | 0 1083.25/1083.58 c 1079s | 11 | 378710 | 20444 | 169507 0 | 617 | 0 1087.54/1087.81 c 1083s | 11 | 378816 | 20544 | 169507 0 | 617 | 0 1091.94/1092.29 c 1087s | 11 | 378924 | 20644 | 169507 0 | 617 | 0 1096.75/1097.08 c 1092s | 11 | 379037 | 20744 | 169507 0 | 617 | 0 1102.15/1102.45 c 1098s | 11 | 379142 | 20844 | 169507 0 | 617 | 0 1107.34/1107.63 c 1103s | 11 | 379249 | 20944 | 169507 0 | 617 | 0 1112.74/1113.04 c 1108s | 11 | 379360 | 21044 | 169507 0 | 617 | 0 1118.14/1118.42 c 1114s | 11 | 379476 | 21144 | 169507 0 | 617 | 0 1124.04/1124.36 c 1120s | 11 | 379584 | 21244 | 169507 0 | 617 | 0 1130.54/1130.83 c 1126s | 11 | 379704 | 21344 | 169507 0 | 617 | 0 1136.04/1136.35 c 1132s | 11 | 379803 | 21444 | 169507 0 | 617 | 0 1143.54/1143.82 c 1139s | 11 | 379910 | 21544 | 169507 0 | 617 | 0 1151.54/1151.85 c 1147s | 11 | 380029 | 21644 | 169507 0 | 617 | 0 1158.84/1159.10 c 1154s | 11 | 380128 | 21744 | 169507 0 | 617 | 0 1162.93/1163.20 c 1158s | 11 | 380234 | 21844 | 169507 0 | 617 | 0 1167.23/1167.52 c 1163s | 11 | 380338 | 21944 | 169507 0 | 617 | 0 1175.23/1175.52 c 1171s | 11 | 380457 | 22044 | 169507 0 | 617 | 0 1182.13/1182.44 c 1178s | 11 | 380571 | 22144 | 169507 0 | 617 | 0 1188.04/1188.34 c 1184s | 11 | 380688 | 22244 | 169507 0 | 617 | 0 1194.23/1194.52 c 1190s | 11 | 380811 | 22344 | 169507 0 | 617 | 0 1200.73/1201.04 c 1196s | 11 | 380915 | 22444 | 169507 0 | 617 | 0 1206.93/1207.25 c 1202s | 11 | 381017 | 22544 | 169507 0 | 617 | 0 1213.13/1213.42 c 1209s | 11 | 381121 | 22644 | 169507 0 | 617 | 0 1218.03/1218.33 c 1214s | 11 | 381238 | 22744 | 169507 0 | 617 | 0 1222.83/1223.15 c 1218s | 11 | 381350 | 22844 | 169507 0 | 617 | 0 1227.73/1228.06 c 1223s | 11 | 381460 | 22944 | 169507 0 | 617 | 0 1231.93/1232.29 c 1227s | 11 | 381580 | 23044 | 169507 0 | 617 | 0 1236.72/1237.08 c 1232s | 11 | 381689 | 23144 | 169507 0 | 617 | 0 1241.62/1241.90 c 1237s | 11 | 381806 | 23244 | 169507 0 | 617 | 0 1246.42/1246.79 c 1242s | 11 | 381909 | 23344 | 169507 0 | 617 | 0 1251.93/1252.21 c 1247s | 11 | 382020 | 23444 | 169507 0 | 617 | 0 1256.13/1256.47 c 1252s | 11 | 382154 | 23544 | 169507 0 | 617 | 0 1259.82/1260.20 c 1255s | 11 | 382271 | 23644 | 169507 0 | 617 | 0 1263.42/1263.78 c 1259s | 11 | 382382 | 23744 | 169507 0 | 617 | 0 1267.82/1268.16 c 1263s | 11 | 382493 | 23844 | 169507 0 | 617 | 0 1271.53/1271.88 c 1267s | 11 | 382618 | 23944 | 169507 0 | 617 | 0 1274.52/1274.85 c 1270s | 11 | 382739 | 24044 | 169507 0 | 617 | 0 1277.72/1278.03 c 1273s | 11 | 382877 | 24144 | 169507 0 | 617 | 0 1281.72/1282.08 c 1277s | 11 | 382992 | 24244 | 169507 0 | 617 | 0 1285.42/1285.73 c 1281s | 11 | 383108 | 24344 | 169507 0 | 617 | 0 1289.42/1289.78 c 1285s | 11 | 383232 | 24444 | 169507 0 | 617 | 0 1293.31/1293.69 c 1289s | 11 | 383357 | 24544 | 169507 0 | 617 | 0 1298.21/1298.54 c 1294s | 11 | 383472 | 24644 | 169507 0 | 617 | 0 1303.11/1303.43 c 1299s | 11 | 383587 | 24744 | 169507 0 | 617 | 0 1306.72/1307.05 c 1302s | 11 | 383708 | 24844 | 169507 0 | 617 | 0 1310.81/1311.19 c 1306s | 11 | 383839 | 24944 | 169507 0 | 617 | 0 1316.01/1316.39 c 1312s | 11 | 383954 | 25044 | 169507 0 | 617 | 0 1320.41/1320.71 c 1316s | 11 | 384085 | 25144 | 169507 0 | 617 | 0 1324.81/1325.15 c 1320s | 11 | 384197 | 25244 | 169507 0 | 617 | 0 1329.71/1330.08 c 1325s | 11 | 384329 | 25344 | 169507 0 | 617 | 0 1334.51/1334.80 c 1330s | 11 | 384432 | 25444 | 169507 0 | 617 | 0 1339.91/1340.22 c 1335s | 11 | 384545 | 25544 | 169507 0 | 617 | 0 1345.32/1345.64 c 1341s | 11 | 384648 | 25644 | 169507 0 | 617 | 0 1350.31/1350.62 c 1346s | 11 | 384757 | 25744 | 186458 0 | 617 | 0 1353.41/1353.74 c 1349s | 12 | 384841 | 25819 | 186458 0 | 617 | 0 1361.20/1361.56 c 1357s | 12 | 417934 | 25919 | 186458 0 | 617 | 0 1365.40/1365.72 c 1361s | 12 | 418067 | 26019 | 186458 0 | 617 | 0 1369.90/1370.28 c 1365s | 12 | 418172 | 26119 | 186458 0 | 617 | 0 1374.50/1374.84 c 1370s | 12 | 418284 | 26219 | 186458 0 | 617 | 0 1378.90/1379.24 c 1374s | 12 | 418401 | 26319 | 186458 0 | 617 | 0 1383.10/1383.42 c 1379s | 12 | 418539 | 26419 | 186458 0 | 617 | 0 1387.20/1387.56 c 1383s | 12 | 418667 | 26519 | 186458 0 | 617 | 0 1392.90/1393.25 c 1388s | 12 | 418785 | 26619 | 186458 0 | 617 | 0 1397.60/1397.91 c 1393s | 12 | 418895 | 26719 | 186458 0 | 617 | 0 1402.20/1402.53 c 1398s | 12 | 419004 | 26819 | 186458 0 | 617 | 0 1407.50/1407.84 c 1403s | 12 | 419130 | 26919 | 186458 0 | 617 | 0 1413.20/1413.53 c 1409s | 12 | 419260 | 27019 | 186458 0 | 617 | 0 1418.30/1418.61 c 1414s | 12 | 419417 | 27119 | 186458 0 | 617 | 0 1421.69/1422.03 c 1417s | 12 | 419539 | 27219 | 186458 0 | 617 | 0 1425.29/1425.67 c 1421s | 12 | 419664 | 27319 | 186458 0 | 617 | 0 1429.90/1430.29 c 1425s | 12 | 419802 | 27419 | 186458 0 | 617 | 0 1433.89/1434.28 c 1429s | 12 | 419911 | 27519 | 186458 0 | 617 | 0 1438.09/1438.48 c 1434s | 12 | 420021 | 27619 | 186458 0 | 617 | 0 1442.69/1443.05 c 1438s | 12 | 420148 | 27719 | 186458 0 | 617 | 0 1447.59/1447.93 c 1443s | 12 | 420305 | 27819 | 186458 0 | 617 | 0 1451.69/1452.07 c 1447s | 12 | 420455 | 27919 | 186458 0 | 617 | 0 1456.49/1456.81 c 1452s | 12 | 420573 | 28019 | 186458 0 | 617 | 0 1461.29/1461.61 c 1457s | 12 | 420708 | 28119 | 186458 0 | 617 | 0 1465.20/1465.55 c 1461s | 12 | 420874 | 28219 | 186458 0 | 617 | 0 1470.39/1470.78 c 1466s | 12 | 420981 | 28319 | 186458 0 | 617 | 0 1475.89/1476.27 c 1471s | 12 | 421083 | 28419 | 186458 0 | 617 | 0 1481.19/1481.50 c 1477s | 12 | 421208 | 28519 | 186458 0 | 617 | 0 1485.59/1485.93 c 1481s | 12 | 421336 | 28619 | 186458 0 | 617 | 0 1491.38/1491.70 c 1487s | 12 | 421451 | 28719 | 186458 0 | 617 | 0 1495.68/1496.02 c 1491s | 12 | 421575 | 28819 | 186458 0 | 617 | 0 1499.58/1499.91 c 1495s | 12 | 421715 | 28919 | 186458 0 | 617 | 0 1502.78/1503.16 c 1498s | 12 | 421833 | 29019 | 186458 0 | 617 | 0 1506.28/1506.61 c 1502s | 12 | 421951 | 29119 | 186458 0 | 617 | 0 1510.48/1510.81 c 1506s | 12 | 422095 | 29219 | 186458 0 | 617 | 0 1515.18/1515.51 c 1511s | 12 | 422246 | 29319 | 186458 0 | 617 | 0 1521.38/1521.75 c 1517s | 12 | 422376 | 29419 | 186458 0 | 617 | 0 1524.98/1525.37 c 1521s | 12 | 422539 | 29519 | 186458 0 | 617 | 0 1528.77/1529.13 c 1524s | 12 | 422658 | 29619 | 186458 0 | 617 | 0 1532.98/1533.32 c 1529s | 12 | 422777 | 29719 | 186458 0 | 617 | 0 1538.38/1538.72 c 1534s | 12 | 422918 | 29819 | 186458 0 | 617 | 0 1543.38/1543.71 c 1539s | 12 | 423096 | 29919 | 186458 0 | 617 | 0 1547.78/1548.17 c 1543s | 12 | 423234 | 30019 | 186458 0 | 617 | 0 1552.38/1552.72 c 1548s | 12 | 423353 | 30119 | 186458 0 | 617 | 0 1557.28/1557.63 c 1553s | 12 | 423487 | 30219 | 186458 0 | 617 | 0 1562.07/1562.47 c 1558s | 12 | 423613 | 30319 | 186458 0 | 617 | 0 1566.67/1567.09 c 1562s | 12 | 423745 | 30419 | 186458 0 | 617 | 0 1570.87/1571.28 c 1566s | 12 | 423867 | 30519 | 186458 0 | 617 | 0 1576.08/1576.42 c 1572s | 12 | 423990 | 30619 | 186458 0 | 617 | 0 1580.37/1580.71 c 1576s | 12 | 424187 | 30719 | 186458 0 | 617 | 0 1584.77/1585.19 c 1580s | 12 | 424322 | 30819 | 186458 0 | 617 | 0 1589.47/1589.86 c 1585s | 12 | 424432 | 30919 | 186458 0 | 617 | 0 1593.97/1594.34 c 1590s | 12 | 424548 | 31019 | 186458 0 | 617 | 0 1598.37/1598.77 c 1594s | 12 | 424660 | 31119 | 186458 0 | 617 | 0 1603.46/1603.84 c 1599s | 12 | 424784 | 31219 | 186458 0 | 617 | 0 1610.27/1610.62 c 1606s | 12 | 424891 | 31319 | 186458 0 | 617 | 0 1615.27/1615.62 c 1611s | 12 | 425020 | 31419 | 186458 0 | 617 | 0 1620.97/1621.36 c 1617s | 12 | 425126 | 31519 | 186458 0 | 617 | 0 1626.97/1627.38 c 1623s | 12 | 425237 | 31619 | 186458 0 | 617 | 0 1632.66/1633.05 c 1628s | 12 | 425357 | 31719 | 186458 0 | 617 | 0 1639.26/1639.65 c 1635s | 12 | 425463 | 31819 | 186458 0 | 617 | 0 1646.26/1646.61 c 1642s | 12 | 425584 | 31919 | 186458 0 | 617 | 0 1652.96/1653.32 c 1649s | 12 | 425687 | 32019 | 186458 0 | 617 | 0 1660.76/1661.11 c 1656s | 12 | 425850 | 32119 | 186458 0 | 617 | 0 1665.96/1666.31 c 1662s | 12 | 425967 | 32219 | 186458 0 | 617 | 0 1670.06/1670.46 c 1666s | 12 | 426085 | 32319 | 186458 0 | 617 | 0 1674.07/1674.41 c 1670s | 12 | 426215 | 32419 | 186458 0 | 617 | 0 1678.06/1678.43 c 1674s | 12 | 426339 | 32519 | 186458 0 | 617 | 0 1681.56/1681.98 c 1677s | 12 | 426447 | 32619 | 186458 0 | 617 | 0 1685.76/1686.10 c 1681s | 12 | 426553 | 32719 | 186458 0 | 617 | 0 1689.86/1690.21 c 1685s | 12 | 426690 | 32819 | 186458 0 | 617 | 0 1693.86/1694.27 c 1689s | 12 | 426822 | 32919 | 186458 0 | 617 | 0 1698.26/1698.64 c 1694s | 12 | 426931 | 33019 | 186458 0 | 617 | 0 1702.25/1702.68 c 1698s | 12 | 427049 | 33119 | 186458 0 | 617 | 0 1705.75/1706.10 c 1701s | 12 | 427182 | 33219 | 186458 0 | 617 | 0 1709.15/1709.57 c 1705s | 12 | 427298 | 33319 | 186458 0 | 617 | 0 1713.15/1713.60 c 1709s | 12 | 427408 | 33419 | 186458 0 | 617 | 0 1717.35/1717.79 c 1713s | 12 | 427526 | 33519 | 186458 0 | 617 | 0 1722.64/1723.05 c 1718s | 12 | 427638 | 33619 | 186458 0 | 617 | 0 1728.14/1728.50 c 1724s | 12 | 427757 | 33719 | 186458 0 | 617 | 0 1734.05/1734.49 c 1730s | 12 | 427868 | 33819 | 186458 0 | 617 | 0 1740.06/1740.41 c 1736s | 12 | 427978 | 33919 | 186458 0 | 617 | 0 1746.15/1746.57 c 1742s | 12 | 428099 | 34019 | 186458 0 | 617 | 0 1751.55/1751.91 c 1747s | 12 | 428206 | 34119 | 186458 0 | 617 | 0 1755.94/1756.33 c 1752s | 12 | 428329 | 34219 | 186458 0 | 617 | 0 1759.64/1760.07 c 1755s | 12 | 428469 | 34319 | 186458 0 | 617 | 0 1763.84/1764.21 c 1759s | 12 | 428579 | 34419 | 186458 0 | 617 | 0 1769.34/1769.75 c 1765s | 12 | 428713 | 34519 | 186458 0 | 617 | 0 1776.35/1776.77 c 1772s | 12 | 428859 | 34619 | 186458 0 | 617 | 0 1781.44/1781.87 c 1777s | 12 | 428968 | 34719 | 186458 0 | 617 | 0 1786.14/1786.52 c 1782s | 12 | 429086 | 34819 | 186458 0 | 617 | 0 1791.33/1791.76 c 1787s | 12 | 429227 | 34919 | 186458 0 | 617 | 0 1796.53/1796.90 c 1792s | 12 | 429373 | 35019 | 186458 0 | 617 | 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-4119755-1467276486/watcher-4119755-1467276486 -o /tmp/evaluation-result-4119755-1467276486/solver-4119755-1467276486 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16868 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119755-1467276486.opb pid=17742 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.00 2.00 2.00 3/179 17745 /proc/meminfo: memFree=26914588/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=705980 CPUtime=0 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 2629 0 0 0 0 0 0 0 20 0 4 0 8544767 722923520 3501 33554432000 4194304 16246674 140735921724688 140735921724112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 177263 3511 441 2943 0 174157 0 [pid=17745/tid=17746] ppid=17742 vsize=725436 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 742846464 3575 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=729532 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 747040768 3592 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=733628 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 751235072 3608 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17745 /proc/meminfo: memFree=26914588/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 30049 0 0 0 4 5 0 0 20 0 4 0 8544767 1333334016 30860 33554432000 4194304 16246674 140735921724688 140735921724000 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 325521 30876 800 2943 0 322415 0 [pid=17745/tid=17746] ppid=17742 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1333334016 30887 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1333334016 30899 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1333334016 30910 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200529 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17745 /proc/meminfo: memFree=26914588/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 46317 0 0 0 12 7 0 0 20 0 4 0 8544767 1343819776 47638 33554432000 4194304 16246674 140735921724688 140735921724000 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 328081 47638 800 2943 0 324975 0 [pid=17745/tid=17746] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 47638 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 47638 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 47638 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300493 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17745 /proc/meminfo: memFree=26914588/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 49609 0 0 0 21 8 0 0 20 0 4 0 8544767 1343819776 50930 33554432000 4194304 16246674 140735921724688 140735921724000 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 328081 50930 800 2943 0 324975 0 [pid=17745/tid=17746] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 50930 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 50930 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 50930 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700413 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17745 /proc/meminfo: memFree=26914588/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1312324 CPUtime=0.69 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 64843 0 0 0 59 10 0 0 20 0 4 0 8544767 1343819776 66164 33554432000 4194304 16246674 140735921724688 140735921724000 4206886 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 328081 66164 801 2943 0 324975 0 [pid=17745/tid=17746] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 66164 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 66164 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1343819776 66164 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50038 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17749 /proc/meminfo: memFree=26616904/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1390148 CPUtime=1.49 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 104912 0 0 0 133 16 0 0 20 0 4 0 8544767 1423511552 106234 33554432000 4194304 16246674 140735921724688 140735921722496 6958465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 347537 106253 831 2943 0 344431 0 [pid=17745/tid=17746] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 106264 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 106275 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 106285 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1390148 [startup+3.10041 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17749 /proc/meminfo: memFree=26018728/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1390148 CPUtime=3.09 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 222882 0 0 0 279 30 0 0 20 0 4 0 8544767 1423511552 224203 33554432000 4194304 16246674 140735921724688 140735921723864 5913648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 347537 224203 834 2943 0 344431 0 [pid=17745/tid=17746] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 224203 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 224203 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 224203 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1390148 [startup+6.3004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17749 /proc/meminfo: memFree=25791304/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1390148 CPUtime=6.29 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 279845 0 0 0 592 37 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 140735921706560 5712619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 347537 281166 893 2943 0 344431 0 [pid=17745/tid=17746] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1390148 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17749 /proc/meminfo: memFree=25792012/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1390148 CPUtime=12.69 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 279845 0 0 0 1232 37 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 140735921706560 13780600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 347537 281166 893 2943 0 344431 0 [pid=17745/tid=17746] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1390148 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17749 /proc/meminfo: memFree=25792576/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1390148 CPUtime=25.5 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 279845 0 0 0 2512 38 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 140735921706560 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 347537 281166 893 2943 0 344431 0 [pid=17745/tid=17746] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1390148 [startup+51.1004 s] /proc/loadavg: 2.08 2.02 2.01 3/183 17749 /proc/meminfo: memFree=25752372/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1390148 CPUtime=51.08 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 279845 0 0 0 5070 38 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 140735921706560 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 347537 281166 893 2943 0 344431 0 [pid=17745/tid=17746] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 281166 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1390148 [startup+102.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 17750 /proc/meminfo: memFree=25684404/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1390148 CPUtime=102.27 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 288217 0 0 0 10187 40 0 0 20 0 4 0 8544767 1423511552 289538 33554432000 4194304 16246674 140735921724688 140735921706560 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 347537 289538 897 2943 0 344431 0 [pid=17745/tid=17746] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 289538 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 289538 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1390148 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1423511552 289538 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1390148 ################ # More data... # ################ /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1465924 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.00 3/183 17853 /proc/meminfo: memFree=26377056/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1465924 CPUtime=1302.01 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 307276 0 0 0 130140 61 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 140735921706560 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 366481 308447 899 2943 0 363375 0 [pid=17745/tid=17746] ppid=17742 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1465924 [startup+1362.3 s] /proc/loadavg: 2.12 2.05 2.01 3/184 17857 /proc/meminfo: memFree=26271792/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1465924 CPUtime=1362 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 307276 0 0 0 136138 62 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 140735921706560 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 366481 308447 899 2943 0 363375 0 [pid=17745/tid=17746] ppid=17742 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1465924 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1501106176 308447 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1465924 [startup+1422.3 s] /proc/loadavg: 2.04 2.04 2.01 3/183 17858 /proc/meminfo: memFree=26172868/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1565252 CPUtime=1421.99 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 331948 0 0 0 142133 66 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 140735921723864 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 391313 333119 900 2943 0 388207 0 [pid=17745/tid=17746] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1565252 [startup+1482.3 s] /proc/loadavg: 2.05 2.04 2.01 3/183 17859 /proc/meminfo: memFree=26093044/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1565252 CPUtime=1481.99 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 331948 0 0 0 148132 67 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 140735921706560 5712140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 391313 333119 900 2943 0 388207 0 [pid=17745/tid=17746] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1565252 [startup+1542.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 17861 /proc/meminfo: memFree=26093072/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1565252 CPUtime=1541.98 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 331948 0 0 0 154130 68 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 140735921706560 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 391313 333119 900 2943 0 388207 0 [pid=17745/tid=17746] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1565252 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1602818048 333119 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1565252 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 17862 /proc/meminfo: memFree=25953536/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1704516 CPUtime=1601.96 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 366782 0 0 0 160123 73 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 140735921706560 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 426129 367953 900 2943 0 423023 0 [pid=17745/tid=17746] ppid=17742 vsize=1704516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1704516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1704516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1704516 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 17863 /proc/meminfo: memFree=25864036/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1704516 CPUtime=1661.97 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 366782 0 0 0 166122 75 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 140735921706560 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 426129 367953 900 2943 0 423023 0 [pid=17745/tid=17746] ppid=17742 vsize=1704516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1704516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1704516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1745424384 367953 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 1704516 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 17864 /proc/meminfo: memFree=25639380/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1832516 CPUtime=1721.94 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 398793 0 0 0 172115 79 0 0 20 0 4 0 8544767 1876496384 399964 33554432000 4194304 16246674 140735921724688 140735921706560 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 458129 399964 900 2943 0 455023 0 [pid=17745/tid=17746] ppid=17742 vsize=1832516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1876496384 399964 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1832516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1876496384 399964 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1832516 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1876496384 399964 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1832516 [startup+1782.31 s] /proc/loadavg: 2.00 2.01 2.00 3/183 17865 /proc/meminfo: memFree=25570708/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1900100 CPUtime=1781.95 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 415737 0 0 0 178112 83 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 140735921706560 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 475025 416908 900 2943 0 471919 0 [pid=17745/tid=17746] ppid=17742 vsize=1900100 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1900100 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1900100 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 1900100 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17865 /proc/meminfo: memFree=25570792/32872528 swapFree=7620/7620 [pid=17745] ppid=17742 vsize=1900100 CPUtime=1800.03 cores=0,2,4,6 /proc/17745/stat : 17745 (toysat) R 17742 17745 16554 0 -1 4202496 415737 0 0 0 179920 83 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 140735921706560 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17745/statm: 475025 416908 900 2943 0 471919 0 [pid=17745/tid=17746] ppid=17742 vsize=1900100 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17746/stat : 17746 (toysat) S 17742 17745 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 139713967009008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17745/tid=17747] ppid=17742 vsize=1900100 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17747/stat : 17747 (toysat) S 17742 17745 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 139713956519152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17745/tid=17748] ppid=17742 vsize=1900100 CPUtime=0 cores=0,2,4,6 /proc/17745/task/17748/stat : 17748 (toysat) S 17742 17745 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8544767 1945702400 416908 33554432000 4194304 16246674 140735921724688 139713876847792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1900100 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 17745 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.44 CPU time (s): 1800.08 CPU user time (s): 1799.21 CPU system time (s): 0.868867 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 1900100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.21 system time used= 0.868867 maximum resident set size= 1667632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 415737 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= 189 involuntary context switches= 1843 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.96624 second user time and 6.51601 second system time The end
Begin job on node106 at 2016-06-30 10:48:06 IDJOB=4119755 IDBENCH=111800 IDSOLVER=2542 FILE ID=node106/4119755-1467276486 RUNJOBID= node106-1467270914-16868 PBS_JOBID= 20004487 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119755-1467276486/watcher-4119755-1467276486 -o /tmp/evaluation-result-4119755-1467276486/solver-4119755-1467276486 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16868 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119755-1467276486.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 639e0d875430a149be6568412a359422 RANDOM SEED=992085073 node106.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.495 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 : 5332.99 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.495 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.56 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.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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.495 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.56 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.495 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.495 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.495 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: 26915240 kB Buffers: 65900 kB Cached: 3075412 kB SwapCached: 0 kB Active: 4331920 kB Inactive: 855544 kB Active(anon): 2032552 kB Inactive(anon): 15776 kB Active(file): 2299368 kB Inactive(file): 839768 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 24232 kB Writeback: 0 kB AnonPages: 2055052 kB Mapped: 18960 kB Shmem: 204 kB Slab: 626640 kB SReclaimable: 69072 kB SUnreclaim: 557568 kB KernelStack: 1480 kB PageTables: 7272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2187828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1468416 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 node106 at 2016-06-30 11:18:07