| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.33 | 1800.65 |
| Name | /OPT-BIGINT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb |
| MD5SUM | 7527e2935777236bd1dfaa057aa70f69 |
| 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 | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1000400 |
| Total number of constraints | 2000307 |
| Number of constraints which are clauses | 980300 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1020000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4950 |
| Number of terms in the objective function | 29800 |
| Biggest coefficient in the objective function | 168196608 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 178958626766 |
| Number of bits of the sum of numbers in the objective function | 38 |
| Biggest number in a constraint | 168196608 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 178958626766 |
| Number of bits of the biggest sum of numbers | 38 |
| 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-07T19:21:02+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-4079355-1465320059.opb"] 0.00/0.01 c use --random-gen="3680802692 2471171741 1887252594 4084614180 3534468881 3804590647 3339264001 348116165 1328657391 3453297229 2303218078 563836085 2431541625 4262807337 1371748992 3975031713 3345079436 3411020449 2305600923 1615711951 4248451751 3366984562 133628407 2522415918 4002937188 33281691 1420579526 845648612 2132061921 1102984957 2415570060 1713809613 3913252675 111763031 489886323 3892962582 1109940504 541491505 1042128216 4074723564 1106380801 3477684525 888540397 1666518078 3590328417 2870076451 487795250 2685671915 1482292319 2203609748 2965790210 847421958 2448668998 3837598868 786700428 4290438506 2894773323 2381068060 3562384398 253087467 3677832500 2740344143 1737176764 3728176150 2273035796 1659957453 3449816107 1253904576 3041761151 4164155676 3660128653 455062097 456505639 4027001256 1575121339 3741950492 3793143311 3283992389 2874636014 3713134156 3352675070 1912200676 3802323090 3949815082 1904072921 1959256775 2406514326 1911919093 271619711 3237925956 53718100 1090335722 464917809 3350582653 957275016 754596641 1859213633 1532397192 1941480816 458136820 3228667948 4104719153 2664789924 1005349841 1524987015 3952883684 2630226442 3344964319 1949107808 4133689431 665539304 1402098652 4024437120 2053395468 3629069243 1123439876 3634608299 2008915112 3216051166 4172937413 2030839251 2178034071 4063595125 3543821779 3893285572 1037400019 1441730192 2317070116 2631379743 608380471 3172332294 1332683146 2622461469 802792122 874390586 50724206 1032515724 3510397816 3197069523 2436521367 1998748331 725458487 68590714 1190366223 2147661414 2535720031 18117795 1420287750 865155880 134028935 3633285130 839678385 1670370111 2005636575 2132385514 695812187 1636075043 2674454276 4118588101 225910493 3635667853 86050453 1333127927 3540312667 201199858 3563308826 2241177866 3741825324 720409620 1725859495 4032245446 683969934 3045187306 2410210745 213797223 585726244 3841162252 1486630156 1002127337 3203646637 3765161450 835575583 1127179311 2708123212 2274673949 3666970647 3870039404 2412635997 3278254028 1964122782 2039052758 662114687 2788823197 3216571456 3357325131 936925748 514448317 1488233737 2242671366 2415360959 4168628254 157458205 3813886920 1056275775 361608563 1718626293 144301512 2928552188 810272230 3528743858 1302382921 3708373230 576390307 3377170043 261370765 3061696523 3933553450 2341052596 4066030828 4287362183 524482164 2759523581 3367105975 1399247144 434780776 1603591339 484690265 1696384445 1564366882 2547342481 1165280096 1279028086 3800262981 3677226482 4109259948 1892697256 2803008832 1819193479 3247259496 3453038399 4127866517 1968563880 3651548048 3091854008 1207865212 3190106886 2892065762 4180263303 1033462279 129203456 3440073755 709955887 3972554289 590337109 390370858 3243826045 255 362436" option to reproduce the execution 16.68/16.74 c #vars 1000400 16.68/16.74 c #constraints 2000307 58.97/59.05 c BCD2: Hardening is enabled. 58.97/59.05 c BCD2: BiasedSearch is enabled. 58.97/59.05 c Solving starts ... 58.97/59.05 c ============================[ Search Statistics ]============================ 58.97/59.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 58.97/59.05 c | | | | Limit GC | Var | Constra 58.97/59.05 c ============================================================================= 58.97/59.07 c 0.0s | 0 | 0 | 0 | 1010136 0 | 300 | 0 213.74/213.86 c 154s | 0 | 165 | 100 | 1010136 0 | 300 | 0 214.55/214.64 c 155s | 1 | 165 | 100 | 1010136 0 | 300 | 0 228.64/228.80 c 169s | 1 | 554 | 200 | 1111150 0 | 300 | 0 236.34/236.49 c 177s | 2 | 605 | 250 | 1111150 0 | 300 | 0 250.63/250.79 c 191s | 2 | 5179 | 350 | 1222265 0 | 300 | 0 263.23/263.33 c 204s | 2 | 5322 | 450 | 1222265 0 | 300 | 0 266.74/266.84 c 207s | 3 | 5351 | 475 | 1222265 0 | 300 | 0 277.14/277.25 c 218s | 3 | 10849 | 575 | 1344492 0 | 300 | 0 281.63/281.73 c 222s | 3 | 10950 | 675 | 1344492 0 | 300 | 0 285.93/286.00 c 226s | 3 | 11050 | 775 | 1344492 0 | 300 | 0 289.24/289.31 c 230s | 4 | 11091 | 813 | 1344492 0 | 300 | 0 299.23/299.39 c 240s | 4 | 12641 | 913 | 1478942 0 | 300 | 0 304.63/304.73 c 245s | 4 | 12745 | 1013 | 1478942 0 | 300 | 0 310.43/310.58 c 251s | 4 | 12853 | 1113 | 1478942 0 | 300 | 0 320.23/320.34 c 261s | 4 | 12957 | 1213 | 1478942 0 | 300 | 0 325.43/325.52 c 266s | 4 | 13052 | 1313 | 1478942 0 | 300 | 0 327.23/327.34 c 268s | 5 | 13059 | 1320 | 1478942 0 | 300 | 0 344.52/344.60 c 285s | 5 | 16065 | 1420 | 1626837 0 | 300 | 0 346.63/346.72 c 287s | 5 | 16173 | 1520 | 1626837 0 | 300 | 0 349.12/349.23 c 290s | 5 | 16275 | 1620 | 1626837 0 | 300 | 0 351.12/351.27 c 292s | 5 | 16367 | 1720 | 1626837 0 | 300 | 0 353.73/353.83 c 294s | 5 | 16476 | 1820 | 1626837 0 | 300 | 0 356.12/356.28 c 297s | 5 | 16574 | 1920 | 1626837 0 | 300 | 0 358.42/358.56 c 299s | 5 | 16675 | 2020 | 1626837 0 | 300 | 0 361.12/361.28 c 302s | 6 | 16738 | 2081 | 1789521 0 | 300 | 0 371.43/371.55 c 312s | 6 | 18114 | 2181 | 1789521 0 | 300 | 0 375.92/376.03 c 316s | 6 | 18225 | 2281 | 1789521 0 | 300 | 0 384.32/384.43 c 325s | 6 | 18335 | 2381 | 1789521 0 | 300 | 0 388.61/388.79 c 329s | 6 | 18444 | 2481 | 1789521 0 | 300 | 0 392.42/392.55 c 333s | 6 | 18557 | 2581 | 1789521 0 | 300 | 0 396.22/396.39 c 337s | 6 | 18666 | 2681 | 1789521 0 | 300 | 0 400.11/400.20 c 341s | 6 | 18775 | 2781 | 1789521 0 | 300 | 0 403.52/403.62 c 344s | 6 | 18884 | 2881 | 1789521 0 | 300 | 0 407.21/407.37 c 348s | 6 | 18993 | 2981 | 1789521 0 | 300 | 0 411.51/411.63 c 352s | 6 | 19098 | 3081 | 1789521 0 | 300 | 0 419.41/419.53 c 360s | 6 | 19211 | 3181 | 1789521 0 | 300 | 0 422.81/422.98 c 363s | 7 | 19252 | 3223 | 1968474 0 | 300 | 0 434.71/434.85 c 375s | 7 | 23811 | 3323 | 1968474 0 | 300 | 0 444.30/444.48 c 385s | 7 | 24026 | 3423 | 1968474 0 | 300 | 0 455.60/455.76 c 396s | 7 | 24161 | 3523 | 1968474 0 | 300 | 0 466.90/467.05 c 408s | 7 | 24330 | 3623 | 1968474 0 | 300 | 0 478.50/478.69 c 419s | 7 | 24503 | 3723 | 1968474 0 | 300 | 0 487.20/487.33 c 428s | 7 | 24638 | 3823 | 1968474 0 | 300 | 0 499.29/499.44 c 440s | 7 | 24803 | 3923 | 1968474 0 | 300 | 0 507.10/507.21 c 448s | 7 | 24972 | 4023 | 1968474 0 | 300 | 0 514.10/514.27 c 455s | 7 | 25128 | 4123 | 1968474 0 | 300 | 0 519.30/519.41 c 460s | 7 | 25428 | 4223 | 1968474 0 | 300 | 0 526.19/526.38 c 467s | 7 | 25620 | 4323 | 1968474 0 | 300 | 0 534.10/534.30 c 475s | 7 | 25756 | 4423 | 1968474 0 | 300 | 0 541.90/542.01 c 482s | 7 | 25892 | 4523 | 1968474 0 | 300 | 0 551.49/551.62 c 492s | 7 | 26061 | 4623 | 1968474 0 | 300 | 0 557.79/557.98 c 498s | 7 | 26243 | 4723 | 1968474 0 | 300 | 0 570.59/570.78 c 511s | 7 | 26399 | 4823 | 1968474 0 | 300 | 0 578.48/578.61 c 519s | 7 | 26536 | 4923 | 2165322 0 | 300 | 0 580.88/581.10 c 522s | 8 | 26550 | 4936 | 2165322 0 | 300 | 0 588.78/588.94 c 529s | 8 | 27642 | 5036 | 2165322 0 | 300 | 0 591.69/591.86 c 532s | 8 | 27755 | 5136 | 2165322 0 | 300 | 0 594.78/594.96 c 535s | 8 | 27864 | 5236 | 2165322 0 | 300 | 0 597.39/597.56 c 538s | 8 | 27977 | 5336 | 2165322 0 | 300 | 0 600.28/600.42 c 541s | 8 | 28083 | 5436 | 2165322 0 | 300 | 0 603.38/603.57 c 544s | 8 | 28191 | 5536 | 2165322 0 | 300 | 0 606.79/606.92 c 547s | 8 | 28314 | 5636 | 2165322 0 | 300 | 0 609.99/610.20 c 551s | 8 | 28422 | 5736 | 2165322 0 | 300 | 0 612.78/612.98 c 553s | 8 | 28528 | 5836 | 2165322 0 | 300 | 0 615.78/615.95 c 556s | 8 | 28643 | 5936 | 2165322 0 | 300 | 0 618.48/618.69 c 559s | 8 | 28754 | 6036 | 2165322 0 | 300 | 0 625.88/626.05 c 566s | 8 | 28857 | 6136 | 2165322 0 | 300 | 0 629.08/629.29 c 570s | 8 | 28973 | 6236 | 2165322 0 | 300 | 0 633.09/633.21 c 574s | 8 | 29085 | 6336 | 2165322 0 | 300 | 0 637.08/637.27 c 578s | 8 | 29192 | 6436 | 2165322 0 | 300 | 0 640.88/641.06 c 582s | 8 | 29294 | 6536 | 2165322 0 | 300 | 0 644.88/645.00 c 585s | 8 | 29404 | 6636 | 2165322 0 | 300 | 0 648.07/648.23 c 589s | 8 | 29518 | 6736 | 2165322 0 | 300 | 0 651.57/651.72 c 592s | 8 | 29618 | 6836 | 2165322 0 | 300 | 0 655.08/655.27 c 596s | 8 | 29723 | 6936 | 2165322 0 | 300 | 0 663.28/663.41 c 604s | 8 | 29835 | 7036 | 2165322 0 | 300 | 0 666.97/667.10 c 608s | 8 | 29946 | 7136 | 2165322 0 | 300 | 0 670.97/671.14 c 612s | 8 | 30051 | 7236 | 2165322 0 | 300 | 0 674.67/674.88 c 615s | 8 | 30156 | 7336 | 2165322 0 | 300 | 0 678.77/678.92 c 619s | 8 | 30254 | 7436 | 2165322 0 | 300 | 0 682.97/683.18 c 624s | 9 | 30328 | 7506 | 2381855 0 | 300 | 0 692.87/693.01 c 633s | 9 | 34982 | 7606 | 2381855 0 | 300 | 0 701.07/701.23 c 642s | 9 | 35133 | 7706 | 2381855 0 | 300 | 0 713.17/713.38 c 654s | 9 | 35376 | 7806 | 2381855 0 | 300 | 0 719.87/720.04 c 660s | 9 | 35516 | 7906 | 2381855 0 | 300 | 0 726.57/726.75 c 667s | 9 | 35654 | 8006 | 2381855 0 | 300 | 0 734.16/734.39 c 675s | 9 | 35782 | 8106 | 2381855 0 | 300 | 0 742.36/742.58 c 683s | 9 | 35907 | 8206 | 2381855 0 | 300 | 0 750.66/750.84 c 691s | 9 | 36045 | 8306 | 2381855 0 | 300 | 0 756.27/756.49 c 697s | 9 | 36167 | 8406 | 2381855 0 | 300 | 0 763.75/763.99 c 704s | 9 | 36317 | 8506 | 2381855 0 | 300 | 0 773.36/773.55 c 714s | 9 | 36447 | 8606 | 2381855 0 | 300 | 0 787.45/787.65 c 728s | 9 | 36581 | 8706 | 2381855 0 | 300 | 0 793.05/793.23 c 734s | 9 | 36730 | 8806 | 2381855 0 | 300 | 0 799.65/799.84 c 740s | 9 | 36875 | 8906 | 2381855 0 | 300 | 0 805.75/805.98 c 746s | 9 | 37005 | 9006 | 2381855 0 | 300 | 0 813.65/813.89 c 754s | 9 | 37154 | 9106 | 2381855 0 | 300 | 0 820.85/821.05 c 761s | 9 | 37289 | 9206 | 2381855 0 | 300 | 0 828.25/828.44 c 769s | 9 | 37479 | 9306 | 2381855 0 | 300 | 0 836.85/837.09 c 778s | 9 | 37658 | 9406 | 2381855 0 | 300 | 0 844.85/845.04 c 785s | 9 | 37939 | 9506 | 2381855 0 | 300 | 0 860.64/860.83 c 801s | 9 | 38074 | 9606 | 2381855 0 | 300 | 0 867.04/867.27 c 808s | 9 | 38208 | 9706 | 2381855 0 | 300 | 0 873.04/873.27 c 814s | 9 | 38341 | 9806 | 2381855 0 | 300 | 0 880.94/881.15 c 822s | 9 | 38456 | 9906 | 2381855 0 | 300 | 0 887.64/887.81 c 828s | 9 | 38651 | 10006 | 2381855 0 | 300 | 0 894.24/894.48 c 835s | 9 | 38793 | 10106 | 2381855 0 | 300 | 0 901.14/901.32 c 842s | 9 | 39036 | 10206 | 2381855 0 | 300 | 0 911.64/911.87 c 852s | 9 | 39272 | 10306 | 2381855 0 | 300 | 0 916.84/917.10 c 858s | 9 | 39394 | 10406 | 2381855 0 | 300 | 0 925.13/925.33 c 866s | 9 | 39526 | 10506 | 2381855 0 | 300 | 0 933.93/934.18 c 875s | 9 | 39635 | 10606 | 2381855 0 | 300 | 0 940.43/940.63 c 881s | 9 | 39779 | 10706 | 2381855 0 | 300 | 0 948.43/948.63 c 889s | 9 | 39941 | 10806 | 2381855 0 | 300 | 0 957.23/957.47 c 898s | 9 | 40127 | 10906 | 2381855 0 | 300 | 0 963.73/963.94 c 904s | 9 | 40277 | 11006 | 2381855 0 | 300 | 0 976.52/976.74 c 917s | 9 | 40442 | 11106 | 2381855 0 | 300 | 0 985.92/986.10 c 927s | 9 | 40569 | 11206 | 2381855 0 | 300 | 0 993.42/993.67 c 934s | 9 | 40725 | 11306 | 2620041 0 | 300 | 0 998.23/998.41 c 939s | 10 | 40877 | 11361 | 2620041 0 | 300 | 0 1007.82/1008.03 c 948s | 10 | 42586 | 11461 | 2620041 0 | 300 | 0 1010.43/1010.66 c 951s | 10 | 42720 | 11561 | 2620041 0 | 300 | 0 1013.01/1013.20 c 954s | 10 | 42902 | 11661 | 2620041 0 | 300 | 0 1016.02/1016.28 c 957s | 10 | 43018 | 11761 | 2620041 0 | 300 | 0 1018.92/1019.13 c 960s | 10 | 43170 | 11861 | 2620041 0 | 300 | 0 1021.71/1021.90 c 962s | 10 | 43309 | 11961 | 2620041 0 | 300 | 0 1024.62/1024.89 c 965s | 10 | 43418 | 12061 | 2620041 0 | 300 | 0 1027.21/1027.45 c 968s | 10 | 43519 | 12161 | 2620041 0 | 300 | 0 1029.51/1029.75 c 970s | 10 | 43635 | 12261 | 2620041 0 | 300 | 0 1032.42/1032.69 c 973s | 10 | 43758 | 12361 | 2620041 0 | 300 | 0 1035.31/1035.54 c 976s | 10 | 43870 | 12461 | 2620041 0 | 300 | 0 1038.51/1038.79 c 979s | 10 | 43996 | 12561 | 2620041 0 | 300 | 0 1045.41/1045.64 c 986s | 10 | 44115 | 12661 | 2620041 0 | 300 | 0 1048.61/1048.84 c 989s | 10 | 44249 | 12761 | 2620041 0 | 300 | 0 1051.81/1052.02 c 992s | 10 | 44344 | 12861 | 2620041 0 | 300 | 0 1054.71/1054.90 c 995s | 10 | 44461 | 12961 | 2620041 0 | 300 | 0 1057.11/1057.38 c 998s | 10 | 44588 | 13061 | 2620041 0 | 300 | 0 1059.20/1059.42 c 1000s | 10 | 45165 | 13561 | 2620041 0 | 300 | 0 1061.21/1061.44 c 1002s | 10 | 45749 | 14061 | 2620041 0 | 300 | 0 1063.31/1063.53 c 1004s | 10 | 46325 | 14561 | 2620041 0 | 300 | 0 1065.41/1065.65 c 1006s | 10 | 46894 | 15061 | 2620041 0 | 300 | 0 1067.52/1067.75 c 1008s | 10 | 47457 | 15561 | 2620041 0 | 300 | 0 1069.61/1069.86 c 1010s | 10 | 48034 | 16061 | 2620041 0 | 300 | 0 1071.91/1072.19 c 1013s | 10 | 48609 | 16561 | 2620041 0 | 300 | 0 1074.11/1074.31 c 1015s | 10 | 49195 | 17061 | 2882046 0 | 300 | 0 1076.00/1076.20 c 1017s | 11 | 49286 | 17144 | 2882046 0 | 300 | 0 1085.31/1085.50 c 1026s | 11 | 49491 | 17244 | 2882046 0 | 300 | 0 1092.60/1092.81 c 1033s | 11 | 49613 | 17344 | 2882046 0 | 300 | 0 1094.91/1095.12 c 1036s | 11 | 49734 | 17444 | 2882046 0 | 300 | 0 1096.91/1097.15 c 1038s | 11 | 49862 | 17544 | 2882046 0 | 300 | 0 1105.30/1105.51 c 1046s | 11 | 49979 | 17644 | 2882046 0 | 300 | 0 1108.90/1109.11 c 1050s | 11 | 50106 | 17744 | 2882046 0 | 300 | 0 1112.30/1112.53 c 1053s | 11 | 50222 | 17844 | 2882046 0 | 300 | 0 1115.30/1115.55 c 1056s | 11 | 50348 | 17944 | 2882046 0 | 300 | 0 1119.10/1119.39 c 1060s | 11 | 50466 | 18044 | 2882046 0 | 300 | 0 1126.60/1126.87 c 1067s | 11 | 50598 | 18144 | 2882046 0 | 300 | 0 1128.70/1128.96 c 1069s | 11 | 50728 | 18244 | 2882046 0 | 300 | 0 1131.20/1131.41 c 1072s | 11 | 50852 | 18344 | 2882046 0 | 300 | 0 1133.50/1133.75 c 1074s | 11 | 50979 | 18444 | 2882046 0 | 300 | 0 1139.79/1140.08 c 1081s | 11 | 51085 | 18544 | 2882046 0 | 300 | 0 1143.80/1144.08 c 1085s | 11 | 51340 | 18744 | 2882046 0 | 300 | 0 1146.70/1146.91 c 1087s | 11 | 51454 | 18844 | 2882046 0 | 300 | 0 1149.09/1149.34 c 1090s | 11 | 51561 | 18944 | 2882046 0 | 300 | 0 1151.60/1151.80 c 1092s | 11 | 51684 | 19044 | 2882046 0 | 300 | 0 1159.59/1159.82 c 1100s | 11 | 51796 | 19144 | 2882046 0 | 300 | 0 1163.49/1163.76 c 1104s | 11 | 51914 | 19244 | 2882046 0 | 300 | 0 1167.19/1167.40 c 1108s | 11 | 52029 | 19344 | 2882046 0 | 300 | 0 1170.68/1170.94 c 1111s | 11 | 52143 | 19444 | 2882046 0 | 300 | 0 1173.69/1173.91 c 1114s | 11 | 52266 | 19544 | 2882046 0 | 300 | 0 1176.29/1176.51 c 1117s | 11 | 52390 | 19644 | 2882046 0 | 300 | 0 1179.18/1179.44 c 1120s | 11 | 52521 | 19744 | 2882046 0 | 300 | 0 1181.89/1182.18 c 1123s | 11 | 52629 | 19844 | 2882046 0 | 300 | 0 1184.98/1185.24 c 1126s | 11 | 52751 | 19944 | 2882046 0 | 300 | 0 1188.19/1188.42 c 1129s | 11 | 52891 | 20044 | 2882046 0 | 300 | 0 1196.09/1196.38 c 1137s | 11 | 53027 | 20144 | 2882046 0 | 300 | 0 1198.39/1198.62 c 1139s | 11 | 53147 | 20244 | 2882046 0 | 300 | 0 1202.18/1202.49 c 1143s | 11 | 53407 | 20444 | 2882046 0 | 300 | 0 1205.99/1206.21 c 1147s | 11 | 53662 | 20644 | 2882046 0 | 300 | 0 1208.08/1208.30 c 1149s | 11 | 53778 | 20744 | 2882046 0 | 300 | 0 1210.08/1210.37 c 1151s | 11 | 53905 | 20844 | 2882046 0 | 300 | 0 1212.19/1212.46 c 1153s | 11 | 54016 | 20944 | 2882046 0 | 300 | 0 1216.08/1216.33 c 1157s | 11 | 54259 | 21144 | 2882046 0 | 300 | 0 1219.39/1219.64 c 1160s | 11 | 54511 | 21344 | 2882046 0 | 300 | 0 1224.58/1224.81 c 1165s | 11 | 54615 | 21444 | 2882046 0 | 300 | 0 1227.09/1227.37 c 1168s | 11 | 54738 | 21544 | 2882046 0 | 300 | 0 1229.38/1229.69 c 1170s | 11 | 54862 | 21644 | 2882046 0 | 300 | 0 1231.88/1232.11 c 1173s | 11 | 54985 | 21744 | 2882046 0 | 300 | 0 1234.17/1234.40 c 1175s | 11 | 55114 | 21844 | 2882046 0 | 300 | 0 1238.09/1238.40 c 1179s | 11 | 55359 | 22044 | 2882046 0 | 300 | 0 1240.38/1240.64 c 1181s | 11 | 55497 | 22144 | 2882046 0 | 300 | 0 1244.07/1244.31 c 1185s | 11 | 55769 | 22344 | 2882046 0 | 300 | 0 1247.38/1247.65 c 1188s | 11 | 55997 | 22544 | 2882046 0 | 300 | 0 1251.18/1251.41 c 1192s | 11 | 56235 | 22744 | 2882046 0 | 300 | 0 1254.27/1254.58 c 1195s | 11 | 56475 | 22944 | 2882046 0 | 300 | 0 1257.88/1258.11 c 1199s | 11 | 56727 | 23144 | 2882046 0 | 300 | 0 1260.37/1260.66 c 1201s | 11 | 56844 | 23244 | 2882046 0 | 300 | 0 1264.18/1264.49 c 1205s | 11 | 57067 | 23444 | 2882046 0 | 300 | 0 1268.07/1268.39 c 1209s | 11 | 57310 | 23644 | 2882046 0 | 300 | 0 1270.17/1270.46 c 1211s | 11 | 57425 | 23744 | 2882046 0 | 300 | 0 1277.58/1277.88 c 1218s | 11 | 57540 | 23844 | 2882046 0 | 300 | 0 1279.88/1280.12 c 1221s | 11 | 57659 | 23944 | 2882046 0 | 300 | 0 1282.27/1282.50 c 1223s | 11 | 57774 | 24044 | 2882046 0 | 300 | 0 1284.27/1284.55 c 1225s | 11 | 57888 | 24144 | 2882046 0 | 300 | 0 1287.07/1287.31 c 1228s | 11 | 57998 | 24244 | 2882046 0 | 300 | 0 1289.47/1289.71 c 1230s | 11 | 58128 | 24344 | 2882046 0 | 300 | 0 1291.88/1292.13 c 1233s | 11 | 58247 | 24444 | 2882046 0 | 300 | 0 1294.17/1294.44 c 1235s | 11 | 58364 | 24544 | 2882046 0 | 300 | 0 1296.27/1296.53 c 1237s | 11 | 58488 | 24644 | 2882046 0 | 300 | 0 1299.17/1299.44 c 1240s | 11 | 58597 | 24744 | 2882046 0 | 300 | 0 1305.67/1305.99 c 1246s | 11 | 58710 | 24844 | 2882046 0 | 300 | 0 1309.16/1309.42 c 1250s | 11 | 58958 | 25044 | 2882046 0 | 300 | 0 1311.16/1311.46 c 1252s | 11 | 59083 | 25144 | 2882046 0 | 300 | 0 1314.67/1314.94 c 1255s | 11 | 59329 | 25344 | 2882046 0 | 300 | 0 1317.76/1318.01 c 1258s | 11 | 59586 | 25544 | 2882046 0 | 300 | 0 1320.86/1321.15 c 1262s | 11 | 59838 | 25744 | 3170251 0 | 300 | 0 1323.66/1323.92 c 1264s | 12 | 59931 | 25819 | 3170251 0 | 300 | 0 1332.35/1332.68 c 1273s | 12 | 60156 | 25919 | 3170251 0 | 300 | 0 1335.16/1335.45 c 1276s | 12 | 60295 | 26019 | 3170251 0 | 300 | 0 1338.16/1338.49 c 1279s | 12 | 60426 | 26119 | 3170251 0 | 300 | 0 1340.85/1341.16 c 1282s | 12 | 60562 | 26219 | 3170251 0 | 300 | 0 1343.86/1344.15 c 1285s | 12 | 60667 | 26319 | 3170251 0 | 300 | 0 1346.96/1347.25 c 1288s | 12 | 60806 | 26419 | 3170251 0 | 300 | 0 1349.75/1350.04 c 1290s | 12 | 60928 | 26519 | 3170251 0 | 300 | 0 1351.95/1352.25 c 1293s | 12 | 61055 | 26619 | 3170251 0 | 300 | 0 1354.75/1355.05 c 1295s | 12 | 61187 | 26719 | 3170251 0 | 300 | 0 1358.35/1358.65 c 1299s | 12 | 61300 | 26819 | 3170251 0 | 300 | 0 1361.26/1361.56 c 1302s | 12 | 61416 | 26919 | 3170251 0 | 300 | 0 1364.35/1364.60 c 1305s | 12 | 61533 | 27019 | 3170251 0 | 300 | 0 1367.94/1368.26 c 1309s | 12 | 61660 | 27119 | 3170251 0 | 300 | 0 1371.65/1371.99 c 1312s | 12 | 61775 | 27219 | 3170251 0 | 300 | 0 1375.45/1375.79 c 1316s | 12 | 61904 | 27319 | 3170251 0 | 300 | 0 1378.76/1379.01 c 1319s | 12 | 62047 | 27419 | 3170251 0 | 300 | 0 1381.44/1381.75 c 1322s | 12 | 62201 | 27519 | 3170251 0 | 300 | 0 1384.65/1384.98 c 1325s | 12 | 62329 | 27619 | 3170251 0 | 300 | 0 1387.74/1388.04 c 1328s | 12 | 62450 | 27719 | 3170251 0 | 300 | 0 1395.04/1395.38 c 1336s | 12 | 62574 | 27819 | 3170251 0 | 300 | 0 1398.34/1398.61 c 1339s | 12 | 62701 | 27919 | 3170251 0 | 300 | 0 1401.95/1402.25 c 1343s | 12 | 62818 | 28019 | 3170251 0 | 300 | 0 1405.34/1405.65 c 1346s | 12 | 62946 | 28119 | 3170251 0 | 300 | 0 1408.94/1409.26 c 1350s | 12 | 63065 | 28219 | 3170251 0 | 300 | 0 1412.84/1413.14 c 1354s | 12 | 63175 | 28319 | 3170251 0 | 300 | 0 1416.24/1416.56 c 1357s | 12 | 63299 | 28419 | 3170251 0 | 300 | 0 1420.34/1420.66 c 1361s | 12 | 63411 | 28519 | 3170251 0 | 300 | 0 1423.04/1423.37 c 1364s | 12 | 63556 | 28619 | 3170251 0 | 300 | 0 1427.94/1428.24 c 1369s | 12 | 63663 | 28719 | 3170251 0 | 300 | 0 1431.55/1431.86 c 1372s | 12 | 63785 | 28819 | 3170251 0 | 300 | 0 1434.84/1435.18 c 1376s | 12 | 63899 | 28919 | 3170251 0 | 300 | 0 1438.83/1439.10 c 1380s | 12 | 64022 | 29019 | 3170251 0 | 300 | 0 1442.04/1442.36 c 1383s | 12 | 64154 | 29119 | 3170251 0 | 300 | 0 1446.43/1446.71 c 1387s | 12 | 64269 | 29219 | 3170251 0 | 300 | 0 1450.44/1450.79 c 1391s | 12 | 64394 | 29319 | 3170251 0 | 300 | 0 1453.64/1453.97 c 1394s | 12 | 64525 | 29419 | 3170251 0 | 300 | 0 1456.53/1456.84 c 1397s | 12 | 64659 | 29519 | 3170251 0 | 300 | 0 1459.53/1459.88 c 1400s | 12 | 64776 | 29619 | 3170251 0 | 300 | 0 1462.63/1462.96 c 1403s | 12 | 64901 | 29719 | 3170251 0 | 300 | 0 1466.33/1466.69 c 1407s | 12 | 65020 | 29819 | 3170251 0 | 300 | 0 1470.14/1470.41 c 1411s | 12 | 65148 | 29919 | 3170251 0 | 300 | 0 1473.63/1473.98 c 1414s | 12 | 65278 | 30019 | 3170251 0 | 300 | 0 1477.63/1477.98 c 1418s | 12 | 65388 | 30119 | 3170251 0 | 300 | 0 1485.54/1485.89 c 1426s | 12 | 65522 | 30219 | 3170251 0 | 300 | 0 1487.74/1488.08 c 1429s | 12 | 65667 | 30319 | 3170251 0 | 300 | 0 1490.43/1490.72 c 1431s | 12 | 65797 | 30419 | 3170251 0 | 300 | 0 1496.43/1496.74 c 1437s | 12 | 65942 | 30519 | 3170251 0 | 300 | 0 1500.53/1500.83 c 1441s | 12 | 66220 | 30719 | 3170251 0 | 300 | 0 1502.82/1503.11 c 1444s | 12 | 66349 | 30819 | 3170251 0 | 300 | 0 1505.34/1505.68 c 1446s | 12 | 66470 | 30919 | 3170251 0 | 300 | 0 1508.33/1508.68 c 1449s | 12 | 66580 | 31019 | 3170251 0 | 300 | 0 1511.22/1511.51 c 1452s | 12 | 66698 | 31119 | 3170251 0 | 300 | 0 1514.53/1514.81 c 1455s | 12 | 66811 | 31219 | 3170251 0 | 300 | 0 1517.22/1517.57 c 1458s | 12 | 66922 | 31319 | 3170251 0 | 300 | 0 1520.22/1520.58 c 1461s | 12 | 67041 | 31419 | 3170251 0 | 300 | 0 1522.93/1523.23 c 1464s | 12 | 67160 | 31519 | 3170251 0 | 300 | 0 1525.53/1525.82 c 1466s | 12 | 67274 | 31619 | 3170251 0 | 300 | 0 1528.02/1528.33 c 1469s | 12 | 67406 | 31719 | 3170251 0 | 300 | 0 1530.52/1530.86 c 1471s | 12 | 67543 | 31819 | 3170251 0 | 300 | 0 1532.72/1533.02 c 1473s | 12 | 67661 | 31919 | 3170251 0 | 300 | 0 1534.93/1535.22 c 1476s | 12 | 67779 | 32019 | 3170251 0 | 300 | 0 1538.92/1539.22 c 1480s | 12 | 68014 | 32219 | 3170251 0 | 300 | 0 1541.32/1541.68 c 1482s | 12 | 68124 | 32319 | 3170251 0 | 300 | 0 1544.83/1545.12 c 1486s | 12 | 68378 | 32519 | 3170251 0 | 300 | 0 1548.02/1548.38 c 1489s | 12 | 68626 | 32719 | 3170251 0 | 300 | 0 1550.11/1550.47 c 1491s | 12 | 68748 | 32819 | 3170251 0 | 300 | 0 1552.72/1553.07 c 1494s | 12 | 68859 | 32919 | 3170251 0 | 300 | 0 1555.01/1555.32 c 1496s | 12 | 68969 | 33019 | 3170251 0 | 300 | 0 1557.02/1557.38 c 1498s | 12 | 69079 | 33119 | 3170251 0 | 300 | 0 1559.12/1559.48 c 1500s | 12 | 69206 | 33219 | 3170251 0 | 300 | 0 1561.32/1561.68 c 1502s | 12 | 69342 | 33319 | 3170251 0 | 300 | 0 1567.81/1568.19 c 1509s | 12 | 69452 | 33419 | 3170251 0 | 300 | 0 1571.42/1571.70 c 1512s | 12 | 69563 | 33519 | 3170251 0 | 300 | 0 1575.52/1575.89 c 1516s | 12 | 69805 | 33719 | 3170251 0 | 300 | 0 1577.82/1578.16 c 1519s | 12 | 69923 | 33819 | 3170251 0 | 300 | 0 1582.51/1582.88 c 1523s | 12 | 70154 | 34019 | 3170251 0 | 300 | 0 1585.01/1585.33 c 1526s | 12 | 70267 | 34119 | 3170251 0 | 300 | 0 1588.01/1588.35 c 1529s | 12 | 70382 | 34219 | 3170251 0 | 300 | 0 1591.71/1592.03 c 1532s | 12 | 70492 | 34319 | 3170251 0 | 300 | 0 1595.31/1595.69 c 1536s | 12 | 70610 | 34419 | 3170251 0 | 300 | 0 1597.71/1598.06 c 1539s | 12 | 70717 | 34519 | 3170251 0 | 300 | 0 1601.51/1601.80 c 1542s | 12 | 70840 | 34619 | 3170251 0 | 300 | 0 1605.31/1605.70 c 1546s | 12 | 71093 | 34819 | 3170251 0 | 300 | 0 1608.31/1608.62 c 1549s | 12 | 71211 | 34919 | 3170251 0 | 300 | 0 1612.11/1612.42 c 1553s | 12 | 71491 | 35119 | 3170251 0 | 300 | 0 1614.11/1614.45 c 1555s | 12 | 71612 | 35219 | 3170251 0 | 300 | 0 1616.31/1616.67 c 1557s | 12 | 71742 | 35319 | 3170251 0 | 300 | 0 1618.62/1618.98 c 1559s | 12 | 71852 | 35419 | 3170251 0 | 300 | 0 1621.41/1621.76 c 1562s | 12 | 71964 | 35519 | 3170251 0 | 300 | 0 1623.90/1624.27 c 1565s | 12 | 72100 | 35619 | 3170251 0 | 300 | 0 1628.30/1628.63 c 1569s | 12 | 72333 | 35819 | 3170251 0 | 300 | 0 1631.01/1631.30 c 1572s | 12 | 72452 | 35919 | 3170251 0 | 300 | 0 1633.10/1633.43 c 1574s | 12 | 72572 | 36019 | 3170251 0 | 300 | 0 1635.40/1635.72 c 1576s | 12 | 72680 | 36119 | 3170251 0 | 300 | 0 1638.00/1638.32 c 1579s | 12 | 72821 | 36219 | 3170251 0 | 300 | 0 1640.60/1640.91 c 1581s | 12 | 72943 | 36319 | 3170251 0 | 300 | 0 1643.10/1643.41 c 1584s | 12 | 73062 | 36419 | 3170251 0 | 300 | 0 1649.30/1649.63 c 1590s | 12 | 73185 | 36519 | 3170251 0 | 300 | 0 1652.80/1653.15 c 1594s | 12 | 73424 | 36719 | 3170251 0 | 300 | 0 1654.80/1655.15 c 1596s | 12 | 73541 | 36819 | 3170251 0 | 300 | 0 1658.70/1659.02 c 1599s | 12 | 73788 | 37019 | 3170251 0 | 300 | 0 1660.80/1661.12 c 1602s | 12 | 73903 | 37119 | 3170251 0 | 300 | 0 1664.50/1664.85 c 1605s | 12 | 74156 | 37319 | 3170251 0 | 300 | 0 1666.70/1667.05 c 1607s | 12 | 74272 | 37419 | 3170251 0 | 300 | 0 1668.99/1669.30 c 1610s | 12 | 74391 | 37519 | 3170251 0 | 300 | 0 1671.40/1671.76 c 1612s | 12 | 74511 | 37619 | 3170251 0 | 300 | 0 1673.69/1674.08 c 1615s | 12 | 74631 | 37719 | 3170251 0 | 300 | 0 1675.80/1676.15 c 1617s | 12 | 74753 | 37819 | 3170251 0 | 300 | 0 1677.91/1678.22 c 1619s | 12 | 74862 | 37919 | 3170251 0 | 300 | 0 1681.70/1682.00 c 1622s | 12 | 75084 | 38119 | 3170251 0 | 300 | 0 1685.29/1685.68 c 1626s | 12 | 75313 | 38319 | 3170251 0 | 300 | 0 1689.39/1689.72 c 1630s | 12 | 75578 | 38519 | 3170251 0 | 300 | 0 1691.59/1691.96 c 1632s | 12 | 75694 | 38619 | 3487277 0 | 300 | 0 1693.69/1694.00 c 1634s | 12 | 75797 | 38719 | 3487277 0 | 300 | 0 1696.89/1697.23 c 1638s | 13 | 75942 | 38832 | 3487277 0 | 300 | 0 1706.39/1706.77 c 1647s | 13 | 76140 | 38932 | 3487277 0 | 300 | 0 1713.99/1714.30 c 1655s | 13 | 76258 | 39032 | 3487277 0 | 300 | 0 1721.19/1721.52 c 1662s | 13 | 76373 | 39132 | 3487277 0 | 300 | 0 1725.09/1725.46 c 1666s | 13 | 76592 | 39332 | 3487277 0 | 300 | 0 1731.18/1731.51 c 1672s | 13 | 76713 | 39432 | 3487277 0 | 300 | 0 1735.10/1735.47 c 1676s | 13 | 76958 | 39632 | 3487277 0 | 300 | 0 1737.49/1737.81 c 1678s | 13 | 77095 | 39732 | 3487277 0 | 300 | 0 1750.49/1750.83 c 1691s | 13 | 77232 | 39832 | 3487277 0 | 300 | 0 1753.18/1753.51 c 1694s | 13 | 77344 | 39932 | 3487277 0 | 300 | 0 1755.78/1756.16 c 1697s | 13 | 77458 | 40032 | 3487277 0 | 300 | 0 1758.09/1758.46 c 1699s | 13 | 77573 | 40132 | 3487277 0 | 300 | 0 1760.28/1760.63 c 1701s | 13 | 77686 | 40232 | 3487277 0 | 300 | 0 1762.88/1763.21 c 1704s | 13 | 77822 | 40332 | 3487277 0 | 300 | 0 1765.59/1765.91 c 1706s | 13 | 77932 | 40432 | 3487277 0 | 300 | 0 1768.09/1768.44 c 1709s | 13 | 78066 | 40532 | 3487277 0 | 300 | 0 1770.29/1770.67 c 1711s | 13 | 78193 | 40632 | 3487277 0 | 300 | 0 1772.38/1772.80 c 1713s | 13 | 78304 | 40732 | 3487277 0 | 300 | 0 1776.78/1777.19 c 1718s | 13 | 78537 | 40932 | 3487277 0 | 300 | 0 1778.98/1779.35 c 1720s | 13 | 78657 | 41032 | 3487277 0 | 300 | 0 1781.38/1781.75 c 1722s | 13 | 78792 | 41132 | 3487277 0 | 300 | 0 1784.08/1784.47 c 1725s | 13 | 78909 | 41232 | 3487277 0 | 300 | 0 1786.68/1787.00 c 1727s | 13 | 79024 | 41332 | 3487277 0 | 300 | 0 1788.88/1789.30 c 1730s | 13 | 79146 | 41432 | 3487277 0 | 300 | 0 1791.18/1791.52 c 1732s | 13 | 79262 | 41532 | 3487277 0 | 300 | 0 1793.78/1794.17 c 1735s | 13 | 79381 | 41632 | 3487277 0 | 300 | 0 1797.68/1798.10 c 1739s | 13 | 79612 | 41832 | 3487277 0 | 300 | 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-4079355-1465320059/watcher-4079355-1465320059 -o /tmp/evaluation-result-4079355-1465320059/solver-4079355-1465320059 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079355-1465320059.opb pid=20201 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.19 2.25 2.19 3/172 20204 /proc/meminfo: memFree=30113940/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=732604 CPUtime=0 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 2734 0 0 0 0 0 0 0 20 0 4 0 113939042 750186496 2585 33554432000 4194304 16246674 140737215551728 140737215551152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 183441 2592 442 2943 0 180335 0 [pid=20204/tid=20205] ppid=20201 vsize=749124 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 767102976 2653 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=753220 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 771297280 2669 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=758340 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113939042 776540160 2686 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.19 2.25 2.19 3/172 20204 /proc/meminfo: memFree=30113940/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1303108 CPUtime=0.09 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 31222 0 0 0 5 4 0 0 20 0 4 0 113939042 1334382592 31010 33554432000 4194304 16246674 140737215551728 140737215551040 8055525 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 325777 31026 801 2943 0 322671 0 [pid=20204/tid=20205] ppid=20201 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1334382592 31037 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1334382592 31048 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1334382592 31061 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200545 s] /proc/loadavg: 2.19 2.25 2.19 3/172 20204 /proc/meminfo: memFree=30113940/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1311300 CPUtime=0.19 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 48853 0 0 0 13 6 0 0 20 0 4 0 113939042 1342771200 49152 33554432000 4194304 16246674 140737215551728 140737215551040 7393558 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 327825 49168 802 2943 0 324719 0 [pid=20204/tid=20205] ppid=20201 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1342771200 49180 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1342771200 49191 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1342771200 49202 33554432000 4194304 16246674 140737215551728 139693285952688 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) 1311300 [startup+0.30047 s] /proc/loadavg: 2.19 2.25 2.19 3/172 20204 /proc/meminfo: memFree=30113940/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 56987 0 0 0 22 7 0 0 20 0 4 0 113939042 1343819776 57286 33554432000 4194304 16246674 140737215551728 140737215549568 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 328081 57286 802 2943 0 324975 0 [pid=20204/tid=20205] ppid=20201 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1343819776 57286 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1343819776 57286 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1343819776 57286 33554432000 4194304 16246674 140737215551728 139693285952688 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.700366 s] /proc/loadavg: 2.19 2.25 2.19 3/172 20204 /proc/meminfo: memFree=30113940/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 65269 0 0 0 61 8 0 0 20 0 4 0 113939042 1344868352 65568 33554432000 4194304 16246674 140737215551728 140737215549568 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 328337 65568 803 2943 0 325231 0 [pid=20204/tid=20205] ppid=20201 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1344868352 65568 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1344868352 65568 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1344868352 65568 33554432000 4194304 16246674 140737215551728 139693285952688 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) 1313348 [startup+1.50041 s] /proc/loadavg: 2.19 2.25 2.19 3/172 20204 /proc/meminfo: memFree=30113940/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1325636 CPUtime=1.49 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 104665 0 0 0 135 14 0 0 20 0 4 0 113939042 1357451264 107008 33554432000 4194304 16246674 140737215551728 140737215533632 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 331409 107008 803 2943 0 328303 0 [pid=20204/tid=20205] ppid=20201 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1357451264 107008 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1357451264 107008 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1357451264 107008 33554432000 4194304 16246674 140737215551728 139693285952688 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) 1325636 [startup+3.10041 s] /proc/loadavg: 2.25 2.26 2.20 3/183 20222 /proc/meminfo: memFree=29017020/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1350212 CPUtime=3.08 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 141940 0 0 0 288 20 0 0 20 0 4 0 113939042 1382617088 149393 33554432000 4194304 16246674 140737215551728 140737215533632 13967814 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 337553 149393 803 2943 0 334447 0 [pid=20204/tid=20205] ppid=20201 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1382617088 149393 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1382617088 149393 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1382617088 149393 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1350212 [startup+6.30043 s] /proc/loadavg: 2.25 2.26 2.20 3/183 20222 /proc/meminfo: memFree=28176164/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1399364 CPUtime=6.29 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 217134 0 0 0 598 31 0 0 20 0 4 0 113939042 1432948736 235318 33554432000 4194304 16246674 140737215551728 140737215533632 7376354 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 349841 235318 803 2943 0 346735 0 [pid=20204/tid=20205] ppid=20201 vsize=1399364 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1432948736 235318 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1399364 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1432948736 235318 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1399364 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1432948736 235318 33554432000 4194304 16246674 140737215551728 139693285952688 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) 1399364 [startup+12.7004 s] /proc/loadavg: 2.23 2.25 2.20 3/183 20222 /proc/meminfo: memFree=27546704/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=1449540 CPUtime=12.69 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 282529 0 0 0 1228 41 0 0 20 0 4 0 113939042 1484328960 303268 33554432000 4194304 16246674 140737215551728 140737215550824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 362385 303268 803 2943 0 359279 0 [pid=20204/tid=20205] ppid=20201 vsize=1449540 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 1484328960 303268 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=1449540 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 1484328960 303268 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=1449540 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 1484328960 303268 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1449540 [startup+25.5004 s] /proc/loadavg: 2.33 2.27 2.20 3/183 20222 /proc/meminfo: memFree=23230072/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=3866180 CPUtime=25.48 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 886742 0 0 0 2424 124 0 0 20 0 4 0 113939042 3958968320 907481 33554432000 4194304 16246674 140737215551728 140737215533632 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 966545 907481 848 2943 0 963439 0 [pid=20204/tid=20205] ppid=20201 vsize=3866180 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 3958968320 907481 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=3866180 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 3958968320 907481 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=3866180 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 3958968320 907481 33554432000 4194304 16246674 140737215551728 139693285952688 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) 3866180 [startup+51.1004 s] /proc/loadavg: 2.22 2.25 2.20 3/183 20222 /proc/meminfo: memFree=19400316/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=5815876 CPUtime=51.07 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1374169 0 0 0 4912 195 0 0 20 0 4 0 113939042 5955457024 1394908 33554432000 4194304 16246674 140737215551728 140737215533632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1453969 1394908 848 2943 0 1450863 0 [pid=20204/tid=20205] ppid=20201 vsize=5815876 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 5955457024 1394908 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=5815876 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 5955457024 1394908 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=5815876 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 5955457024 1394908 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 5815876 [startup+102.3 s] /proc/loadavg: 2.20 2.24 2.19 3/182 20223 /proc/meminfo: memFree=16983416/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7242308 CPUtime=102.27 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1730827 0 0 0 9978 249 0 0 20 0 4 0 113939042 7416123392 1751566 33554432000 4194304 16246674 140737215551728 140737215533632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1810577 1751566 898 2943 0 1807471 0 [pid=20204/tid=20205] ppid=20201 vsize=7242308 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7416123392 1751566 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7242308 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7416123392 1751566 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7242308 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7416123392 1751566 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 7242308 ################ # More data... # ################ [pid=20204] ppid=20201 vsize=7350852 CPUtime=1362.05 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1757758 0 0 0 135811 394 0 0 20 0 4 0 113939042 7527272448 1778460 33554432000 4194304 16246674 140737215551728 140737215533632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1837713 1778460 899 2943 0 1834607 0 [pid=20204/tid=20205] ppid=20201 vsize=7350852 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7527272448 1778460 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7350852 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7527272448 1778460 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7350852 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7527272448 1778460 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 7350852 [startup+1422.3 s] /proc/loadavg: 2.27 2.23 2.18 3/183 20256 /proc/meminfo: memFree=15606876/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7372356 CPUtime=1422.04 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1763240 0 0 0 141803 401 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 140737215533568 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1843089 1783934 899 2943 0 1839983 0 [pid=20204/tid=20205] ppid=20201 vsize=7372356 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7372356 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7372356 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 7372356 [startup+1482.3 s] /proc/loadavg: 2.29 2.23 2.19 4/183 20257 /proc/meminfo: memFree=15607520/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7372356 CPUtime=1482.03 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1763240 0 0 0 147796 407 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 140737215533632 13898695 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1843089 1783934 899 2943 0 1839983 0 [pid=20204/tid=20205] ppid=20201 vsize=7372356 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7372356 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7372356 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7549292544 1783934 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 7372356 [startup+1542.3 s] /proc/loadavg: 2.15 2.20 2.18 3/183 20259 /proc/meminfo: memFree=15595396/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7384644 CPUtime=1542.02 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1766307 0 0 0 153790 412 0 0 20 0 4 0 113939042 7561875456 1787000 33554432000 4194304 16246674 140737215551728 140737215549568 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1846161 1787000 899 2943 0 1843055 0 [pid=20204/tid=20205] ppid=20201 vsize=7384644 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7561875456 1787000 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7384644 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7561875456 1787000 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7384644 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7561875456 1787000 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 7384644 [startup+1602.3 s] /proc/loadavg: 2.21 2.20 2.18 3/183 20260 /proc/meminfo: memFree=15582764/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7396932 CPUtime=1602.02 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1769365 0 0 0 159782 420 0 0 20 0 4 0 113939042 7574458368 1790056 33554432000 4194304 16246674 140737215551728 140737215533632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1849233 1790056 899 2943 0 1846127 0 [pid=20204/tid=20205] ppid=20201 vsize=7396932 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7574458368 1790056 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7396932 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7574458368 1790056 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7396932 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7574458368 1790056 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 7396932 [startup+1662.3 s] /proc/loadavg: 2.17 2.20 2.18 3/183 20261 /proc/meminfo: memFree=15560036/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7419460 CPUtime=1662 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1775040 0 0 0 165774 426 0 0 20 0 4 0 113939042 7597527040 1795729 33554432000 4194304 16246674 140737215551728 140737215550824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1854865 1795729 899 2943 0 1851759 0 [pid=20204/tid=20205] ppid=20201 vsize=7419460 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7597527040 1795729 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7419460 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7597527040 1795729 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7419460 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7597527040 1795729 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 7419460 [startup+1722.31 s] /proc/loadavg: 2.25 2.20 2.18 3/183 20262 /proc/meminfo: memFree=15559312/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7419460 CPUtime=1721.99 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1775167 0 0 0 171767 432 0 0 20 0 4 0 113939042 7597527040 1795855 33554432000 4194304 16246674 140737215551728 140737215550904 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1854865 1795855 899 2943 0 1851759 0 [pid=20204/tid=20205] ppid=20201 vsize=7419460 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7597527040 1795855 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7419460 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7597527040 1795855 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7419460 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7597527040 1795855 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 7419460 [startup+1782.3 s] /proc/loadavg: 2.21 2.20 2.18 4/184 20266 /proc/meminfo: memFree=15534804/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7443012 CPUtime=1781.98 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1781055 0 0 0 177759 439 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 140737215533632 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1860753 1801743 899 2943 0 1857647 0 [pid=20204/tid=20205] ppid=20201 vsize=7443012 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7443012 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7443012 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 7443012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.41 s] /proc/loadavg: 2.15 2.18 2.18 3/183 20267 /proc/meminfo: memFree=15534780/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=7443012 CPUtime=1800.08 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) R 20201 20204 19387 0 -1 4202496 1781056 0 0 0 179567 441 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 140737215533632 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 1860753 1801743 899 2943 0 1857647 0 [pid=20204/tid=20205] ppid=20201 vsize=7443012 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20205/stat : 20205 (toysat) S 20201 20204 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 139693306916080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=7443012 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) S 20201 20204 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 139693296426224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=20204/tid=20207] ppid=20201 vsize=7443012 CPUtime=0 cores=0,2,4,6 /proc/20204/task/20207/stat : 20207 (toysat) S 20201 20204 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113939042 7621644288 1801743 33554432000 4194304 16246674 140737215551728 139693285952688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 7443012 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 20204 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.15 2.18 2.18 3/183 20267 /proc/meminfo: memFree=15534780/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=0 CPUtime=1800.18 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) Z 20201 20204 19387 0 -1 4203532 1781056 0 0 0 179568 450 0 0 20 0 2 0 113939042 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 0 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=0 CPUtime=0.08 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) R 20201 20204 19387 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 113939042 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 [startup+1800.6 s] /proc/loadavg: 2.15 2.18 2.18 3/183 20267 /proc/meminfo: memFree=15534780/32872528 swapFree=16204/1518544 [pid=20204] ppid=20201 vsize=0 CPUtime=1800.28 cores=0,2,4,6 /proc/20204/stat : 20204 (toysat) Z 20201 20204 19387 0 -1 4203532 1781056 0 0 0 179568 460 0 0 20 0 2 0 113939042 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/20204/statm: 0 0 0 0 0 0 0 [pid=20204/tid=20206] ppid=20201 vsize=0 CPUtime=0.17 cores=0,2,4,6 /proc/20204/task/20206/stat : 20206 (toysat) R 20201 20204 19387 0 -1 4203588 8 0 0 0 0 17 0 0 20 0 2 0 113939042 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.33 CPU user time (s): 1795.68 CPU system time (s): 4.64529 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 7443012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.68 system time used= 4.64529 maximum resident set size= 7206972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1781056 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= 162 involuntary context switches= 1850 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.91295 second user time and 8.84465 second system time The end
Begin job on node129 at 2016-06-07 19:21:02 IDJOB=4079355 IDBENCH=92648 IDSOLVER=2542 FILE ID=node129/4079355-1465320059 RUNJOBID= node129-1465311042-19403 PBS_JOBID= 19850114 Free space on /tmp= 71572 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079355-1465320059/watcher-4079355-1465320059 -o /tmp/evaluation-result-4079355-1465320059/solver-4079355-1465320059 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079355-1465320059.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7527e2935777236bd1dfaa057aa70f69 RANDOM SEED=737425686 node129.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.715 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.43 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.715 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.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 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.715 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.715 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.715 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.715 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: 30114956 kB Buffers: 44332 kB Cached: 442392 kB SwapCached: 2220 kB Active: 190404 kB Inactive: 303504 kB Active(anon): 5900 kB Inactive(anon): 3988 kB Active(file): 184504 kB Inactive(file): 299516 kB Unevictable: 1518544 kB Mlocked: 16204 kB SwapTotal: 67108856 kB SwapFree: 67098820 kB Dirty: 189504 kB Writeback: 0 kB AnonPages: 1525464 kB Mapped: 8108 kB Shmem: 0 kB Slab: 611356 kB SReclaimable: 54652 kB SUnreclaim: 556704 kB KernelStack: 1416 kB PageTables: 7004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1619888 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1505280 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= 71512 MiB End job on node129 at 2016-06-07 19:51:03