| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb |
| MD5SUM | 5786f17317bd882619b652d49c5f0155 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.07883 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| Number of variables | 45485 |
| Total number of constraints | 1026 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1026 |
| Minimum length of a constraint | 17 |
| Maximum length of a constraint | 619 |
| Number of terms in the objective function | 30780 |
| Biggest coefficient in the objective function | 531 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 550278 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 261632 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 550278 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T06:01:19+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-4101297-1466222479.opb"] 0.00/0.01 c use --random-gen="2321440225 1157800034 1703161578 612024495 2808843432 1156062110 2951425764 823314838 4195760015 2796177845 2295279483 686408570 3051736399 2004820330 4259550739 3083908673 3763409559 2697511519 1240637413 1107996018 3490661817 3785449106 315613530 3331858541 741451016 4161075275 456539388 1410840487 2579679298 1353283205 2634557649 2773322881 891615689 4136971141 2425030139 4118678294 4057084232 3342273494 934129885 1183435503 897643560 3566810477 2977376213 214049654 720917661 953598246 287477455 861620459 391846880 567922642 4050774970 2225859857 1198954700 2826063416 1270629952 754577348 1279913774 633607588 1394894713 3238971281 3780092660 2536239777 2981882119 3008081470 724272834 3383490826 1197486290 3971801000 1129211584 4283322913 4001573841 567502473 1781750945 3514860664 1528883536 2853897905 1419990448 1150512709 2462404986 3591725593 992057312 1093188473 1090071534 1590179192 4213766870 3733993155 1513404019 2259481195 3925374501 2013959853 110123630 2357123833 2233674049 1810197550 2476847077 4280496081 613034951 1585149353 4267501711 3587100374 1253602660 3948879402 1897467883 1205615061 4270592917 2570448846 3742042879 3383164579 3799660263 4001258902 2579521613 1290527624 1964479245 3465962255 3083461525 2501726289 2556619483 954301250 596564506 2503186023 1681793396 4212339411 3578361693 3583370578 501640450 2224642587 3982044498 1274034792 3536753636 1194929033 1960032966 1358611492 4188898415 593450513 340642033 1800473476 2702674410 2767537267 1828802912 562984614 2073058528 3772620674 4192320057 1763279817 1237921381 3503501857 3383284414 96717499 2273853044 3042402693 737011343 1610828014 3616366737 570592583 2903393995 810061248 3076606844 3714044142 3731899453 567622890 2351916719 1493494695 3090487736 1336394943 3528663230 3758380261 577436145 701667903 3943664976 1102236346 1519730926 501968985 1443764869 36712143 1227180785 2989759344 3011253147 3630570057 1028821625 3087033465 1904226097 2500083028 1995054733 1335468175 1136679485 1259335989 147865864 1208187621 3568818608 2791240429 2624348356 1976542569 488774273 2528159134 262918136 3021586605 246461080 1759048458 4075275316 2915258157 1140685207 94987847 730503393 2843958964 68240727 142652269 4013722007 1826888046 2659172246 844571326 2563317366 1750976026 2568963513 1897010016 3418271462 278231035 257209548 172184142 2987374325 2572086600 331206186 4293459961 4237865420 550592218 3172936051 3858642232 2418034463 1542995666 282725339 3601817669 206806653 2377427493 232709391 2003672995 4008349619 3011339607 171778007 1966947745 2732767958 584066719 1601894985 170209993 1817498193 165324746 1006045879 4111145355 2757522877 523618681 2721601486 1462327882 4163733741 4055911060 2285171162 964237902 3066824432 172470428 255 362436" option to reproduce the execution 0.59/0.60 c #vars 45485 0.59/0.60 c #constraints 1026 5.29/5.36 c BCD2: Hardening is enabled. 5.29/5.36 c BCD2: BiasedSearch is enabled. 5.29/5.36 c Solving starts ... 5.29/5.36 c ============================[ Search Statistics ]============================ 5.29/5.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.36 c | | | | Limit GC | Var | Constra 5.29/5.36 c ============================================================================= 5.29/5.36 c 0.0s | 0 | 0 | 0 | 15712 0 | 40 | 0 10.39/10.48 c 5.1s | 0 | 269 | 100 | 15712 0 | 40 | 0 10.49/10.53 c 5.2s | 1 | 269 | 100 | 15712 0 | 40 | 0 11.00/11.08 c 5.7s | 1 | 15364 | 106 | 17284 0 | 40 | 0 11.00/11.08 c #cpu_time = 5.603s 11.00/11.08 c #wall_clock_time = 5.603s 11.00/11.08 c #decision = 15364 11.00/11.08 c #random_decision = 73 11.00/11.08 c #conflict = 106 11.00/11.08 c #restart = 1 11.00/11.08 o 361994 11.10/11.15 c BCD2: updating upper bound: 550278 -> 361993 11.19/11.28 c BCD2: 0 <= obj <= 361993 11.19/11.29 c BCD2: #cores=0, #unrelaxed=30780, #relaxed=0, #hardened=0 11.19/11.29 c BCD2: #sat=1 #unsat=1 bias=1/2 11.29/11.30 c Solving starts ... 11.29/11.30 c ============================[ Search Statistics ]============================ 11.29/11.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.29/11.30 c | | | | Limit GC | Var | Constra 11.29/11.30 c ============================================================================= 11.29/11.30 c 0.0s | 0 | 0 | 0 | 17284 0 | 40 | 0 15.79/15.81 c 4.5s | 0 | 30597 | 100 | 17284 0 | 40 | 0 15.79/15.87 c 4.6s | 1 | 30597 | 100 | 17284 0 | 40 | 0 23.29/23.30 c 12.0s | 1 | 61315 | 200 | 19013 0 | 40 | 0 25.40/25.45 c 14.1s | 2 | 61560 | 250 | 19013 0 | 40 | 0 29.99/30.08 c 18.8s | 2 | 92705 | 350 | 19013 0 | 40 | 0 35.49/35.56 c 24.3s | 2 | 93831 | 450 | 20915 0 | 40 | 0 36.79/36.81 c 25.5s | 3 | 94052 | 475 | 20915 0 | 40 | 0 41.39/41.49 c 30.2s | 3 | 124744 | 575 | 20915 0 | 40 | 0 44.89/44.90 c 33.6s | 3 | 124862 | 675 | 20915 0 | 40 | 0 47.29/47.33 c 36.0s | 3 | 125068 | 775 | 23007 0 | 40 | 0 49.39/49.41 c 38.1s | 4 | 125068 | 813 | 23007 0 | 40 | 0 54.08/54.18 c 42.9s | 4 | 155879 | 913 | 23007 0 | 40 | 0 58.68/58.73 c 47.4s | 4 | 156025 | 1013 | 23007 0 | 40 | 0 63.79/63.87 c 52.6s | 4 | 157287 | 1113 | 23007 0 | 40 | 0 70.18/70.21 c 58.9s | 4 | 158336 | 1213 | 23007 0 | 40 | 0 71.78/71.87 c 60.6s | 5 | 158759 | 1320 | 25308 0 | 40 | 0 73.98/74.02 c 62.7s | 5 | 189378 | 1420 | 25308 0 | 40 | 0 76.48/76.56 c 65.3s | 5 | 189674 | 1720 | 25308 0 | 40 | 0 81.78/81.88 c 70.6s | 5 | 190103 | 1920 | 25308 0 | 40 | 0 88.78/88.84 c 77.5s | 5 | 190409 | 2020 | 27839 0 | 40 | 0 89.28/89.39 c 78.1s | 6 | 190472 | 2081 | 27839 0 | 40 | 0 95.38/95.46 c 84.2s | 6 | 222023 | 2181 | 27839 0 | 40 | 0 100.58/100.63 c 89.3s | 6 | 223047 | 2281 | 27839 0 | 40 | 0 105.87/105.99 c 94.7s | 6 | 224077 | 2381 | 27839 0 | 40 | 0 110.27/110.33 c 99.0s | 6 | 224840 | 2481 | 27839 0 | 40 | 0 114.67/114.72 c 103s | 6 | 226000 | 2581 | 27839 0 | 40 | 0 118.57/118.70 c 107s | 6 | 226137 | 2681 | 27839 0 | 40 | 0 122.08/122.19 c 110s | 6 | 226250 | 2781 | 27839 0 | 40 | 0 126.58/126.63 c 115s | 6 | 227132 | 2881 | 27839 0 | 40 | 0 128.57/128.64 c 117s | 6 | 227249 | 2981 | 27839 0 | 40 | 0 131.27/131.35 c 120s | 6 | 227371 | 3081 | 27839 0 | 40 | 0 136.27/136.34 c 125s | 6 | 228418 | 3181 | 30623 0 | 40 | 0 136.97/137.01 c 125s | 7 | 228461 | 3223 | 30623 0 | 40 | 0 143.37/143.44 c 132s | 7 | 259845 | 3423 | 30623 0 | 40 | 0 147.48/147.54 c 136s | 7 | 260089 | 3523 | 30623 0 | 40 | 0 150.97/151.01 c 139s | 7 | 260351 | 3623 | 30623 0 | 40 | 0 155.37/155.42 c 144s | 7 | 260873 | 3723 | 30623 0 | 40 | 0 158.37/158.47 c 147s | 7 | 261578 | 3823 | 30623 0 | 40 | 0 160.47/160.50 c 149s | 7 | 261694 | 3923 | 30623 0 | 40 | 0 167.96/168.09 c 156s | 7 | 261922 | 4123 | 30623 0 | 40 | 0 173.77/173.89 c 162s | 7 | 262027 | 4223 | 30623 0 | 40 | 0 179.46/179.53 c 168s | 7 | 262181 | 4323 | 30623 0 | 40 | 0 184.56/184.65 c 173s | 7 | 262266 | 4423 | 30623 0 | 40 | 0 189.96/190.02 c 178s | 7 | 262347 | 4523 | 30623 0 | 40 | 0 195.16/195.23 c 183s | 7 | 262462 | 4623 | 30623 0 | 40 | 0 200.36/200.40 c 189s | 7 | 262568 | 4723 | 30623 0 | 40 | 0 205.26/205.30 c 194s | 7 | 262664 | 4823 | 33686 0 | 40 | 0 209.96/210.01 c 198s | 7 | 262752 | 4923 | 33686 0 | 40 | 0 210.86/210.90 c 199s | 8 | 262780 | 4936 | 33686 0 | 40 | 0 216.26/216.30 c 204s | 8 | 293385 | 5036 | 33686 0 | 40 | 0 221.56/221.65 c 210s | 8 | 293502 | 5136 | 33686 0 | 40 | 0 226.35/226.46 c 215s | 8 | 293578 | 5236 | 33686 0 | 40 | 0 230.55/230.68 c 219s | 8 | 293682 | 5336 | 33686 0 | 40 | 0 234.95/235.05 c 223s | 8 | 293779 | 5436 | 33686 0 | 40 | 0 240.35/240.41 c 229s | 8 | 293877 | 5536 | 33686 0 | 40 | 0 246.36/246.43 c 235s | 8 | 294016 | 5636 | 33686 0 | 40 | 0 252.15/252.23 c 240s | 8 | 294101 | 5736 | 33686 0 | 40 | 0 258.35/258.50 c 247s | 8 | 294197 | 5836 | 33686 0 | 40 | 0 263.96/264.08 c 252s | 8 | 294326 | 5936 | 33686 0 | 40 | 0 269.46/269.52 c 258s | 8 | 294407 | 6036 | 33686 0 | 40 | 0 274.85/274.92 c 263s | 8 | 294522 | 6136 | 33686 0 | 40 | 0 280.25/280.31 c 269s | 8 | 294627 | 6236 | 33686 0 | 40 | 0 285.25/285.33 c 274s | 8 | 294724 | 6336 | 33686 0 | 40 | 0 289.94/290.08 c 278s | 8 | 294811 | 6436 | 33686 0 | 40 | 0 294.64/294.79 c 283s | 8 | 294913 | 6536 | 33686 0 | 40 | 0 299.25/299.31 c 288s | 8 | 294999 | 6636 | 33686 0 | 40 | 0 303.74/303.86 c 292s | 8 | 295098 | 6736 | 33686 0 | 40 | 0 308.34/308.47 c 297s | 8 | 295237 | 6836 | 33686 0 | 40 | 0 314.14/314.27 c 302s | 8 | 295332 | 6936 | 33686 0 | 40 | 0 320.15/320.25 c 308s | 8 | 295432 | 7036 | 33686 0 | 40 | 0 326.04/326.15 c 314s | 8 | 295546 | 7136 | 33686 0 | 40 | 0 332.15/332.28 c 320s | 8 | 295674 | 7236 | 33686 0 | 40 | 0 338.14/338.26 c 326s | 8 | 295768 | 7336 | 33686 0 | 40 | 0 343.74/343.89 c 332s | 8 | 295851 | 7436 | 37055 0 | 40 | 0 347.94/348.06 c 336s | 9 | 295930 | 7506 | 37055 0 | 40 | 0 354.14/354.21 c 342s | 9 | 326618 | 7606 | 37055 0 | 40 | 0 359.43/359.59 c 348s | 9 | 326748 | 7706 | 37055 0 | 40 | 0 364.23/364.33 c 353s | 9 | 326848 | 7806 | 37055 0 | 40 | 0 368.93/369.03 c 357s | 9 | 326991 | 7906 | 37055 0 | 40 | 0 373.13/373.27 c 361s | 9 | 327086 | 8006 | 37055 0 | 40 | 0 377.53/377.62 c 366s | 9 | 327191 | 8106 | 37055 0 | 40 | 0 381.93/382.07 c 370s | 9 | 327281 | 8206 | 37055 0 | 40 | 0 386.93/387.00 c 375s | 9 | 327431 | 8306 | 37055 0 | 40 | 0 391.64/391.79 c 380s | 9 | 327557 | 8406 | 37055 0 | 40 | 0 396.63/396.79 c 385s | 9 | 327693 | 8506 | 37055 0 | 40 | 0 401.93/402.04 c 390s | 9 | 327827 | 8606 | 37055 0 | 40 | 0 406.83/406.91 c 395s | 9 | 327984 | 8706 | 37055 0 | 40 | 0 411.63/411.71 c 400s | 9 | 328158 | 8806 | 37055 0 | 40 | 0 416.63/416.74 c 405s | 9 | 328665 | 8906 | 37055 0 | 40 | 0 419.82/419.93 c 408s | 9 | 329015 | 9006 | 37055 0 | 40 | 0 424.82/424.95 c 413s | 9 | 330138 | 9106 | 37055 0 | 40 | 0 429.42/429.50 c 418s | 9 | 331015 | 9206 | 37055 0 | 40 | 0 432.02/432.15 c 420s | 9 | 331551 | 9306 | 37055 0 | 40 | 0 434.92/435.01 c 423s | 9 | 331940 | 9406 | 37055 0 | 40 | 0 442.02/442.12 c 430s | 9 | 332311 | 9606 | 37055 0 | 40 | 0 448.62/448.79 c 437s | 9 | 333148 | 9706 | 37055 0 | 40 | 0 451.22/451.33 c 440s | 9 | 333604 | 9806 | 37055 0 | 40 | 0 455.82/455.90 c 444s | 9 | 334480 | 9906 | 37055 0 | 40 | 0 458.42/458.59 c 447s | 9 | 334738 | 10006 | 37055 0 | 40 | 0 462.62/462.77 c 451s | 9 | 335584 | 10106 | 37055 0 | 40 | 0 467.32/467.46 c 456s | 9 | 335986 | 10306 | 37055 0 | 40 | 0 472.92/473.03 c 461s | 9 | 336076 | 10406 | 37055 0 | 40 | 0 476.32/476.45 c 465s | 9 | 336945 | 10506 | 37055 0 | 40 | 0 481.11/481.28 c 469s | 9 | 337088 | 10606 | 37055 0 | 40 | 0 487.22/487.36 c 476s | 9 | 337228 | 10706 | 37055 0 | 40 | 0 493.61/493.79 c 482s | 9 | 337563 | 10806 | 37055 0 | 40 | 0 497.41/497.50 c 486s | 9 | 338046 | 10906 | 37055 0 | 40 | 0 502.11/502.24 c 490s | 9 | 339055 | 11006 | 37055 0 | 40 | 0 507.71/507.80 c 496s | 9 | 339995 | 11106 | 37055 0 | 40 | 0 512.21/512.33 c 501s | 9 | 340735 | 11206 | 40761 0 | 40 | 0 515.51/515.60 c 504s | 9 | 341493 | 11306 | 40761 0 | 40 | 0 517.51/517.60 c 506s | 10 | 341640 | 11361 | 40761 0 | 40 | 0 523.11/523.25 c 511s | 10 | 373061 | 11461 | 40761 0 | 40 | 0 526.91/527.01 c 515s | 10 | 373343 | 11561 | 40761 0 | 40 | 0 531.81/531.97 c 520s | 10 | 374289 | 11661 | 40761 0 | 40 | 0 536.81/536.93 c 525s | 10 | 375023 | 11761 | 40761 0 | 40 | 0 538.91/539.06 c 527s | 10 | 375322 | 11861 | 40761 0 | 40 | 0 543.20/543.38 c 532s | 10 | 376015 | 11961 | 40761 0 | 40 | 0 547.50/547.61 c 536s | 10 | 376718 | 12061 | 40761 0 | 40 | 0 551.30/551.40 c 540s | 10 | 377246 | 12161 | 40761 0 | 40 | 0 555.20/555.33 c 544s | 10 | 377676 | 12261 | 40761 0 | 40 | 0 558.81/558.98 c 547s | 10 | 378149 | 12361 | 40761 0 | 40 | 0 562.60/562.75 c 551s | 10 | 378635 | 12461 | 40761 0 | 40 | 0 565.80/565.99 c 554s | 10 | 378794 | 12561 | 40761 0 | 40 | 0 569.81/569.91 c 558s | 10 | 379028 | 12661 | 40761 0 | 40 | 0 574.70/574.84 c 563s | 10 | 379169 | 12761 | 40761 0 | 40 | 0 580.40/580.54 c 569s | 10 | 379336 | 12861 | 40761 0 | 40 | 0 586.30/586.44 c 575s | 10 | 379446 | 12961 | 40761 0 | 40 | 0 591.50/591.66 c 580s | 10 | 379581 | 13061 | 40761 0 | 40 | 0 597.20/597.39 c 586s | 10 | 379664 | 13161 | 40761 0 | 40 | 0 602.70/602.87 c 591s | 10 | 379781 | 13261 | 40761 0 | 40 | 0 608.20/608.39 c 597s | 10 | 379889 | 13361 | 40761 0 | 40 | 0 613.49/613.63 c 602s | 10 | 379988 | 13461 | 40761 0 | 40 | 0 618.59/618.71 c 607s | 10 | 380079 | 13561 | 40761 0 | 40 | 0 623.39/623.59 c 612s | 10 | 380160 | 13661 | 40761 0 | 40 | 0 628.19/628.30 c 617s | 10 | 380276 | 13761 | 40761 0 | 40 | 0 632.50/632.67 c 621s | 10 | 380366 | 13861 | 40761 0 | 40 | 0 636.80/636.92 c 625s | 10 | 380465 | 13961 | 40761 0 | 40 | 0 641.99/642.17 c 630s | 10 | 380575 | 14061 | 40761 0 | 40 | 0 647.99/648.10 c 636s | 10 | 380669 | 14161 | 40761 0 | 40 | 0 653.48/653.61 c 642s | 10 | 381909 | 14261 | 40761 0 | 40 | 0 656.88/657.01 c 645s | 10 | 382104 | 14361 | 40761 0 | 40 | 0 662.09/662.28 c 650s | 10 | 382889 | 14461 | 40761 0 | 40 | 0 669.68/669.86 c 658s | 10 | 383827 | 14661 | 40761 0 | 40 | 0 675.78/675.93 c 664s | 10 | 385393 | 14761 | 40761 0 | 40 | 0 682.08/682.20 c 670s | 10 | 386020 | 14861 | 40761 0 | 40 | 0 688.88/689.07 c 677s | 10 | 386942 | 14961 | 40761 0 | 40 | 0 693.88/694.05 c 682s | 10 | 387298 | 15061 | 40761 0 | 40 | 0 697.08/697.29 c 685s | 10 | 387898 | 15161 | 40761 0 | 40 | 0 699.58/699.78 c 688s | 10 | 388282 | 15261 | 40761 0 | 40 | 0 702.48/702.65 c 691s | 10 | 388817 | 15361 | 40761 0 | 40 | 0 707.58/707.78 c 696s | 10 | 389781 | 15461 | 40761 0 | 40 | 0 710.08/710.21 c 698s | 10 | 390168 | 15561 | 40761 0 | 40 | 0 714.58/714.76 c 703s | 10 | 390448 | 15661 | 40761 0 | 40 | 0 719.57/719.77 c 708s | 10 | 391307 | 15761 | 40761 0 | 40 | 0 723.17/723.38 c 712s | 10 | 392196 | 15861 | 40761 0 | 40 | 0 727.57/727.78 c 716s | 10 | 392388 | 15961 | 40761 0 | 40 | 0 734.37/734.58 c 723s | 10 | 393371 | 16061 | 40761 0 | 40 | 0 738.47/738.68 c 727s | 10 | 393678 | 16161 | 40761 0 | 40 | 0 743.96/744.11 c 732s | 10 | 394942 | 16261 | 40761 0 | 40 | 0 748.07/748.27 c 736s | 10 | 395459 | 16361 | 40761 0 | 40 | 0 751.77/751.98 c 740s | 10 | 396316 | 16461 | 40761 0 | 40 | 0 756.37/756.55 c 745s | 10 | 396607 | 16561 | 40761 0 | 40 | 0 759.97/760.18 c 748s | 10 | 397733 | 16661 | 40761 0 | 40 | 0 763.86/764.04 c 752s | 10 | 397899 | 16761 | 40761 0 | 40 | 0 768.16/768.33 c 757s | 10 | 398464 | 16861 | 40761 0 | 40 | 0 771.25/771.48 c 760s | 10 | 398686 | 16961 | 44838 0 | 40 | 0 775.36/775.58 c 764s | 10 | 399331 | 17061 | 44838 0 | 40 | 0 778.76/778.96 c 767s | 11 | 399906 | 17144 | 44838 0 | 40 | 0 783.05/783.30 c 771s | 11 | 430613 | 17244 | 44838 0 | 40 | 0 789.04/789.25 c 777s | 11 | 431435 | 17444 | 44838 0 | 40 | 0 793.34/793.55 c 782s | 11 | 432109 | 17544 | 44838 0 | 40 | 0 797.04/797.26 c 785s | 11 | 432355 | 17644 | 44838 0 | 40 | 0 799.93/800.15 c 788s | 11 | 432651 | 17744 | 44838 0 | 40 | 0 803.53/803.72 c 792s | 11 | 432780 | 17844 | 44838 0 | 40 | 0 806.53/806.70 c 795s | 11 | 433056 | 17944 | 44838 0 | 40 | 0 810.13/810.32 c 799s | 11 | 433718 | 18044 | 44838 0 | 40 | 0 813.13/813.39 c 802s | 11 | 433967 | 18244 | 44838 0 | 40 | 0 819.13/819.32 c 808s | 11 | 434509 | 18344 | 44838 0 | 40 | 0 821.82/822.04 c 810s | 11 | 435340 | 18444 | 44838 0 | 40 | 0 824.12/824.32 c 813s | 11 | 435533 | 18644 | 44838 0 | 40 | 0 827.03/827.29 c 815s | 11 | 435648 | 18744 | 44838 0 | 40 | 0 830.72/830.98 c 819s | 11 | 436127 | 18844 | 44838 0 | 40 | 0 833.12/833.37 c 822s | 11 | 436749 | 18944 | 44838 0 | 40 | 0 836.32/836.53 c 825s | 11 | 437176 | 19244 | 44838 0 | 40 | 0 838.92/839.13 c 827s | 11 | 437488 | 19544 | 44838 0 | 40 | 0 842.71/842.99 c 831s | 11 | 437788 | 19744 | 44838 0 | 40 | 0 848.21/848.47 c 837s | 11 | 438491 | 19944 | 44838 0 | 40 | 0 853.21/853.41 c 842s | 11 | 438657 | 20044 | 44838 0 | 40 | 0 861.40/861.64 c 850s | 11 | 439736 | 20144 | 44838 0 | 40 | 0 866.30/866.56 c 855s | 11 | 440496 | 20244 | 44838 0 | 40 | 0 873.31/873.55 c 862s | 11 | 441285 | 20344 | 44838 0 | 40 | 0 879.00/879.25 c 867s | 11 | 441693 | 20444 | 44838 0 | 40 | 0 884.20/884.48 c 873s | 11 | 442002 | 20544 | 44838 0 | 40 | 0 890.80/891.08 c 879s | 11 | 443069 | 20644 | 44838 0 | 40 | 0 897.50/897.73 c 886s | 11 | 444033 | 20744 | 44838 0 | 40 | 0 904.09/904.34 c 893s | 11 | 444655 | 20844 | 44838 0 | 40 | 0 908.49/908.74 c 897s | 11 | 445194 | 20944 | 44838 0 | 40 | 0 913.88/914.12 c 902s | 11 | 445693 | 21044 | 44838 0 | 40 | 0 918.17/918.44 c 907s | 11 | 446002 | 21144 | 44838 0 | 40 | 0 923.57/923.86 c 912s | 11 | 446720 | 21244 | 44838 0 | 40 | 0 928.87/929.10 c 917s | 11 | 447153 | 21344 | 44838 0 | 40 | 0 935.37/935.60 c 924s | 11 | 447571 | 21444 | 44838 0 | 40 | 0 939.97/940.27 c 928s | 11 | 447837 | 21544 | 44838 0 | 40 | 0 945.57/945.88 c 934s | 11 | 448486 | 21644 | 44838 0 | 40 | 0 950.27/950.51 c 939s | 11 | 448650 | 21744 | 44838 0 | 40 | 0 954.36/954.69 c 943s | 11 | 448946 | 21844 | 44838 0 | 40 | 0 960.26/960.52 c 949s | 11 | 449114 | 21944 | 44838 0 | 40 | 0 965.86/966.13 c 954s | 11 | 449388 | 22044 | 44838 0 | 40 | 0 973.95/974.26 c 962s | 11 | 449920 | 22144 | 44838 0 | 40 | 0 979.35/979.69 c 968s | 11 | 450200 | 22244 | 44838 0 | 40 | 0 981.85/982.20 c 970s | 11 | 450390 | 22344 | 44838 0 | 40 | 0 984.55/984.86 c 973s | 11 | 450592 | 22444 | 44838 0 | 40 | 0 987.56/987.84 c 976s | 11 | 450787 | 22644 | 44838 0 | 40 | 0 991.95/992.20 c 980s | 11 | 451113 | 22744 | 44838 0 | 40 | 0 1000.54/1000.88 c 989s | 11 | 451631 | 22844 | 44838 0 | 40 | 0 1007.14/1007.44 c 996s | 11 | 451852 | 22944 | 44838 0 | 40 | 0 1010.84/1011.18 c 999s | 11 | 452294 | 23044 | 44838 0 | 40 | 0 1013.34/1013.69 c 1002s | 11 | 452890 | 23144 | 44838 0 | 40 | 0 1016.25/1016.53 c 1005s | 11 | 453197 | 23444 | 44838 0 | 40 | 0 1023.94/1024.23 c 1012s | 11 | 453889 | 23744 | 44838 0 | 40 | 0 1029.13/1029.43 c 1018s | 11 | 454843 | 23844 | 44838 0 | 40 | 0 1032.53/1032.82 c 1021s | 11 | 455092 | 23944 | 44838 0 | 40 | 0 1037.43/1037.70 c 1026s | 11 | 455215 | 24044 | 44838 0 | 40 | 0 1042.13/1042.48 c 1031s | 11 | 456225 | 24144 | 44838 0 | 40 | 0 1046.63/1046.96 c 1035s | 11 | 457012 | 24244 | 44838 0 | 40 | 0 1050.93/1051.21 c 1039s | 11 | 457731 | 24344 | 44838 0 | 40 | 0 1055.63/1056.00 c 1044s | 11 | 457983 | 24444 | 44838 0 | 40 | 0 1059.83/1060.19 c 1048s | 11 | 458623 | 24544 | 44838 0 | 40 | 0 1065.03/1065.31 c 1054s | 11 | 459343 | 24644 | 44838 0 | 40 | 0 1069.93/1070.29 c 1058s | 11 | 460302 | 24744 | 44838 0 | 40 | 0 1074.13/1074.40 c 1063s | 11 | 460622 | 24844 | 44838 0 | 40 | 0 1079.03/1079.31 c 1068s | 11 | 460818 | 24944 | 44838 0 | 40 | 0 1083.72/1084.01 c 1072s | 11 | 461017 | 25044 | 44838 0 | 40 | 0 1088.22/1088.58 c 1077s | 11 | 461587 | 25144 | 44838 0 | 40 | 0 1093.82/1094.19 c 1082s | 11 | 461937 | 25244 | 44838 0 | 40 | 0 1102.02/1102.39 c 1091s | 11 | 462306 | 25344 | 44838 0 | 40 | 0 1108.32/1108.66 c 1097s | 11 | 462734 | 25444 | 44838 0 | 40 | 0 1112.51/1112.81 c 1101s | 11 | 463257 | 25544 | 44838 0 | 40 | 0 1116.61/1116.98 c 1105s | 11 | 463618 | 25644 | 49322 0 | 40 | 0 1122.81/1123.13 c 1111s | 11 | 463717 | 25744 | 49322 0 | 40 | 0 1127.71/1128.02 c 1116s | 12 | 463765 | 25819 | 49322 0 | 40 | 0 1134.20/1134.52 c 1123s | 12 | 494409 | 25919 | 49322 0 | 40 | 0 1138.40/1138.72 c 1127s | 12 | 494499 | 26019 | 49322 0 | 40 | 0 1142.90/1143.24 c 1131s | 12 | 494604 | 26119 | 49322 0 | 40 | 0 1147.70/1148.08 c 1136s | 12 | 494695 | 26219 | 49322 0 | 40 | 0 1152.79/1153.14 c 1141s | 12 | 494801 | 26319 | 49322 0 | 40 | 0 1158.29/1158.66 c 1147s | 12 | 494891 | 26419 | 49322 0 | 40 | 0 1163.89/1164.23 c 1152s | 12 | 494990 | 26519 | 49322 0 | 40 | 0 1169.59/1169.94 c 1158s | 12 | 495099 | 26619 | 49322 0 | 40 | 0 1175.59/1175.92 c 1164s | 12 | 495176 | 26719 | 49322 0 | 40 | 0 1181.39/1181.77 c 1170s | 12 | 495302 | 26819 | 49322 0 | 40 | 0 1186.78/1187.11 c 1175s | 12 | 495437 | 26919 | 49322 0 | 40 | 0 1192.09/1192.49 c 1181s | 12 | 495579 | 27019 | 49322 0 | 40 | 0 1197.38/1197.76 c 1186s | 12 | 495761 | 27119 | 49322 0 | 40 | 0 1202.18/1202.51 c 1191s | 12 | 496230 | 27219 | 49322 0 | 40 | 0 1204.28/1204.65 c 1193s | 12 | 496432 | 27319 | 49322 0 | 40 | 0 1206.48/1206.83 c 1195s | 12 | 496629 | 27419 | 49322 0 | 40 | 0 1212.58/1212.99 c 1201s | 12 | 496730 | 27519 | 49322 0 | 40 | 0 1218.87/1219.26 c 1207s | 12 | 496825 | 27619 | 49322 0 | 40 | 0 1225.08/1225.43 c 1214s | 12 | 496916 | 27719 | 49322 0 | 40 | 0 1231.37/1231.72 c 1220s | 12 | 497003 | 27819 | 49322 0 | 40 | 0 1237.28/1237.68 c 1226s | 12 | 497126 | 27919 | 49322 0 | 40 | 0 1243.37/1243.70 c 1232s | 12 | 497204 | 28019 | 49322 0 | 40 | 0 1248.97/1249.38 c 1238s | 12 | 497312 | 28119 | 49322 0 | 40 | 0 1254.57/1254.95 c 1243s | 12 | 497411 | 28219 | 49322 0 | 40 | 0 1260.06/1260.44 c 1249s | 12 | 497501 | 28319 | 49322 0 | 40 | 0 1265.16/1265.55 c 1254s | 12 | 497607 | 28419 | 49322 0 | 40 | 0 1270.17/1270.57 c 1259s | 12 | 497715 | 28519 | 49322 0 | 40 | 0 1274.76/1275.18 c 1263s | 12 | 497810 | 28619 | 49322 0 | 40 | 0 1279.46/1279.88 c 1268s | 12 | 497909 | 28719 | 49322 0 | 40 | 0 1283.46/1283.83 c 1272s | 12 | 498765 | 28819 | 49322 0 | 40 | 0 1289.66/1290.07 c 1278s | 12 | 499327 | 29019 | 49322 0 | 40 | 0 1296.15/1296.53 c 1285s | 12 | 500140 | 29119 | 49322 0 | 40 | 0 1302.25/1302.66 c 1291s | 12 | 500393 | 29219 | 49322 0 | 40 | 0 1306.15/1306.53 c 1295s | 12 | 500735 | 29319 | 49322 0 | 40 | 0 1309.95/1310.31 c 1299s | 12 | 501295 | 29419 | 49322 0 | 40 | 0 1312.25/1312.63 c 1301s | 12 | 501611 | 29619 | 49322 0 | 40 | 0 1316.35/1316.80 c 1305s | 12 | 501762 | 29719 | 49322 0 | 40 | 0 1320.04/1320.44 c 1309s | 12 | 501939 | 29819 | 49322 0 | 40 | 0 1324.44/1324.86 c 1313s | 12 | 502182 | 29919 | 49322 0 | 40 | 0 1328.74/1329.11 c 1317s | 12 | 502454 | 30019 | 49322 0 | 40 | 0 1332.44/1332.83 c 1321s | 12 | 502746 | 30119 | 49322 0 | 40 | 0 1338.14/1338.58 c 1327s | 12 | 503069 | 30219 | 49322 0 | 40 | 0 1343.34/1343.70 c 1332s | 12 | 503426 | 30319 | 49322 0 | 40 | 0 1347.94/1348.39 c 1337s | 12 | 503741 | 30419 | 49322 0 | 40 | 0 1352.24/1352.69 c 1341s | 12 | 503917 | 30519 | 49322 0 | 40 | 0 1356.04/1356.48 c 1345s | 12 | 504789 | 30619 | 49322 0 | 40 | 0 1358.43/1358.88 c 1347s | 12 | 504924 | 30719 | 49322 0 | 40 | 0 1361.63/1362.01 c 1350s | 12 | 505050 | 30819 | 49322 0 | 40 | 0 1367.43/1367.80 c 1356s | 12 | 505293 | 30919 | 49322 0 | 40 | 0 1372.13/1372.52 c 1361s | 12 | 506050 | 31019 | 49322 0 | 40 | 0 1378.04/1378.48 c 1367s | 12 | 506189 | 31119 | 49322 0 | 40 | 0 1384.93/1385.34 c 1374s | 12 | 506295 | 31219 | 49322 0 | 40 | 0 1389.53/1389.90 c 1378s | 12 | 506726 | 31319 | 49322 0 | 40 | 0 1393.83/1394.23 c 1382s | 12 | 507067 | 31419 | 49322 0 | 40 | 0 1398.33/1398.76 c 1387s | 12 | 507647 | 31519 | 49322 0 | 40 | 0 1403.23/1403.61 c 1392s | 12 | 508423 | 31619 | 49322 0 | 40 | 0 1407.83/1408.26 c 1396s | 12 | 509044 | 31719 | 49322 0 | 40 | 0 1413.42/1413.87 c 1402s | 12 | 509161 | 31819 | 49322 0 | 40 | 0 1419.73/1420.18 c 1408s | 12 | 509275 | 31919 | 49322 0 | 40 | 0 1426.43/1426.90 c 1415s | 12 | 509374 | 32019 | 49322 0 | 40 | 0 1433.42/1433.81 c 1422s | 12 | 509469 | 32119 | 49322 0 | 40 | 0 1440.22/1440.69 c 1429s | 12 | 509604 | 32219 | 49322 0 | 40 | 0 1446.82/1447.23 c 1435s | 12 | 509689 | 32319 | 49322 0 | 40 | 0 1453.72/1454.19 c 1442s | 12 | 509770 | 32419 | 49322 0 | 40 | 0 1460.22/1460.69 c 1449s | 12 | 509884 | 32519 | 49322 0 | 40 | 0 1466.92/1467.34 c 1456s | 12 | 509989 | 32619 | 49322 0 | 40 | 0 1473.52/1473.94 c 1462s | 12 | 510085 | 32719 | 49322 0 | 40 | 0 1479.71/1480.14 c 1468s | 12 | 510173 | 32819 | 49322 0 | 40 | 0 1485.91/1486.31 c 1475s | 12 | 510275 | 32919 | 49322 0 | 40 | 0 1492.21/1492.60 c 1481s | 12 | 510380 | 33019 | 49322 0 | 40 | 0 1498.11/1498.52 c 1487s | 12 | 510474 | 33119 | 49322 0 | 40 | 0 1503.71/1504.14 c 1492s | 12 | 510607 | 33219 | 49322 0 | 40 | 0 1511.12/1511.54 c 1500s | 12 | 510711 | 33319 | 49322 0 | 40 | 0 1518.41/1518.89 c 1507s | 12 | 510810 | 33419 | 49322 0 | 40 | 0 1525.51/1525.96 c 1514s | 12 | 510906 | 33519 | 49322 0 | 40 | 0 1532.01/1532.43 c 1521s | 12 | 510997 | 33619 | 49322 0 | 40 | 0 1538.51/1539.00 c 1527s | 12 | 511084 | 33719 | 49322 0 | 40 | 0 1545.30/1545.76 c 1534s | 12 | 511167 | 33819 | 49322 0 | 40 | 0 1551.40/1551.82 c 1540s | 12 | 511284 | 33919 | 49322 0 | 40 | 0 1557.90/1558.34 c 1547s | 12 | 511392 | 34019 | 49322 0 | 40 | 0 1565.01/1565.44 c 1554s | 12 | 511491 | 34119 | 49322 0 | 40 | 0 1572.40/1572.81 c 1561s | 12 | 511581 | 34219 | 49322 0 | 40 | 0 1579.40/1579.84 c 1568s | 12 | 511687 | 34319 | 49322 0 | 40 | 0 1585.80/1586.30 c 1574s | 12 | 511778 | 34419 | 49322 0 | 40 | 0 1592.10/1592.50 c 1581s | 12 | 511868 | 34519 | 49322 0 | 40 | 0 1598.00/1598.43 c 1587s | 12 | 511967 | 34619 | 49322 0 | 40 | 0 1603.90/1604.36 c 1593s | 12 | 512110 | 34719 | 49322 0 | 40 | 0 1610.10/1610.53 c 1599s | 12 | 512214 | 34819 | 49322 0 | 40 | 0 1615.89/1616.35 c 1605s | 12 | 512309 | 34919 | 49322 0 | 40 | 0 1621.69/1622.15 c 1610s | 12 | 512411 | 35019 | 49322 0 | 40 | 0 1627.70/1628.13 c 1616s | 12 | 512505 | 35119 | 49322 0 | 40 | 0 1633.49/1633.92 c 1622s | 12 | 512612 | 35219 | 49322 0 | 40 | 0 1639.29/1639.79 c 1628s | 12 | 512706 | 35319 | 49322 0 | 40 | 0 1645.30/1645.74 c 1634s | 12 | 512806 | 35419 | 49322 0 | 40 | 0 1651.59/1652.07 c 1640s | 12 | 512906 | 35519 | 49322 0 | 40 | 0 1658.29/1658.71 c 1647s | 12 | 513012 | 35619 | 49322 0 | 40 | 0 1664.29/1664.78 c 1653s | 12 | 513105 | 35719 | 49322 0 | 40 | 0 1670.39/1670.87 c 1659s | 12 | 513206 | 35819 | 49322 0 | 40 | 0 1676.68/1677.16 c 1665s | 12 | 513314 | 35919 | 49322 0 | 40 | 0 1682.88/1683.34 c 1672s | 12 | 513407 | 36019 | 49322 0 | 40 | 0 1689.29/1689.71 c 1678s | 12 | 513511 | 36119 | 49322 0 | 40 | 0 1695.58/1696.08 c 1684s | 12 | 513603 | 36219 | 49322 0 | 40 | 0 1702.28/1702.74 c 1691s | 12 | 513710 | 36319 | 49322 0 | 40 | 0 1708.68/1709.13 c 1697s | 12 | 513803 | 36419 | 49322 0 | 40 | 0 1714.88/1715.34 c 1704s | 12 | 513906 | 36519 | 49322 0 | 40 | 0 1721.38/1721.87 c 1710s | 12 | 514001 | 36619 | 49322 0 | 40 | 0 1727.68/1728.19 c 1716s | 12 | 514103 | 36719 | 49322 0 | 40 | 0 1734.07/1734.55 c 1723s | 12 | 514208 | 36819 | 49322 0 | 40 | 0 1740.57/1741.02 c 1729s | 12 | 514298 | 36919 | 49322 0 | 40 | 0 1747.07/1747.53 c 1736s | 12 | 514398 | 37019 | 49322 0 | 40 | 0 1753.67/1754.12 c 1742s | 12 | 514511 | 37119 | 49322 0 | 40 | 0 1760.17/1760.60 c 1749s | 12 | 514601 | 37219 | 49322 0 | 40 | 0 1766.37/1766.81 c 1755s | 12 | 514701 | 37319 | 49322 0 | 40 | 0 1773.07/1773.58 c 1762s | 12 | 514796 | 37419 | 49322 0 | 40 | 0 1779.77/1780.21 c 1768s | 12 | 514896 | 37519 | 49322 0 | 40 | 0 1786.07/1786.56 c 1775s | 12 | 515005 | 37619 | 49322 0 | 40 | 0 1792.46/1792.92 c 1781s | 12 | 515103 | 37719 | 49322 0 | 40 | 0 1799.46/1800.00 c 1788s | 12 | 515213 | 37819 | 49322 0 | 40 | 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-4101297-1466222479/watcher-4101297-1466222479 -o /tmp/evaluation-result-4101297-1466222479/solver-4101297-1466222479 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101297-1466222479.opb pid=15515 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.20 2.19 3/180 15518 /proc/meminfo: memFree=29368328/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=766396 CPUtime=0 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 2870 0 0 0 0 0 0 0 20 0 4 0 24294700 784789504 2719 33554432000 4194304 16246674 140735961618640 140735961618064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 193647 2747 441 2943 0 190541 0 [pid=15518/tid=15519] ppid=15515 vsize=789948 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 808906752 2811 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=794044 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 813101056 2827 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=799164 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24294700 818343936 2844 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.23 2.20 2.19 3/180 15518 /proc/meminfo: memFree=29368328/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 28892 0 0 0 5 4 0 0 20 0 4 0 24294700 1333334016 28680 33554432000 4194304 16246674 140735961618640 140735961617952 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 325521 28696 799 2943 0 322415 0 [pid=15518/tid=15519] ppid=15515 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1333334016 28708 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1333334016 28720 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1333334016 28730 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200481 s] /proc/loadavg: 2.23 2.20 2.19 3/180 15518 /proc/meminfo: memFree=29368328/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1312324 CPUtime=0.19 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 48305 0 0 0 12 7 0 0 20 0 4 0 24294700 1343819776 48092 33554432000 4194304 16246674 140735961618640 140735961617952 7376613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 328081 48092 801 2943 0 324975 0 [pid=15518/tid=15519] ppid=15515 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1343819776 48092 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1343819776 48092 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1343819776 48092 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300512 s] /proc/loadavg: 2.23 2.20 2.19 3/180 15518 /proc/meminfo: memFree=29368328/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1312324 CPUtime=0.29 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 54645 0 0 0 21 8 0 0 20 0 4 0 24294700 1343819776 54432 33554432000 4194304 16246674 140735961618640 140735961617952 4206613 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 328081 54432 801 2943 0 324975 0 [pid=15518/tid=15519] ppid=15515 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1343819776 54432 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1343819776 54432 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1343819776 54432 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700367 s] /proc/loadavg: 2.23 2.20 2.19 3/180 15518 /proc/meminfo: memFree=29368328/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=0.69 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 66460 0 0 0 60 9 0 0 20 0 4 0 24294700 1359548416 66247 33554432000 4194304 16246674 140735961618640 140735961600512 12653056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 66247 833 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 66247 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 66247 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 66247 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1327684 [startup+1.5004 s] /proc/loadavg: 2.23 2.20 2.19 3/184 15522 /proc/meminfo: memFree=28748940/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1.49 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 256276 0 0 0 115 34 0 0 20 0 4 0 24294700 1359548416 256063 33554432000 4194304 16246674 140735961618640 140735961600512 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 256074 833 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 256080 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 256086 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 256092 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1327684 [startup+3.10042 s] /proc/loadavg: 2.22 2.20 2.19 3/184 15522 /proc/meminfo: memFree=28277620/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=3.08 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273047 0 0 0 272 36 0 0 20 0 4 0 24294700 1359548416 272834 33554432000 4194304 16246674 140735961618640 140735961600512 12654419 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272834 834 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272834 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272834 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272834 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1327684 [startup+6.30042 s] /proc/loadavg: 2.22 2.20 2.19 3/184 15522 /proc/meminfo: memFree=28277504/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=6.29 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273109 0 0 0 592 37 0 0 20 0 4 0 24294700 1359548416 272896 33554432000 4194304 16246674 140735961618640 140735961600512 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272896 887 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272896 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272896 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272896 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1327684 [startup+12.7004 s] /proc/loadavg: 2.26 2.21 2.19 4/184 15522 /proc/meminfo: memFree=28277692/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=12.69 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273124 0 0 0 1232 37 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140735961600512 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272911 902 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1327684 [startup+25.5005 s] /proc/loadavg: 2.29 2.22 2.19 3/184 15522 /proc/meminfo: memFree=28278224/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=25.49 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273124 0 0 0 2512 37 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140735961600512 5842892 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272911 902 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272911 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1327684 [startup+51.1005 s] /proc/loadavg: 2.32 2.23 2.20 3/183 15522 /proc/meminfo: memFree=28277512/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=51.08 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273127 0 0 0 5071 37 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 5600804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1327684 [startup+102.3 s] /proc/loadavg: 2.35 2.25 2.20 3/183 15524 /proc/meminfo: memFree=28262260/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=102.28 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273127 0 0 0 10191 37 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 5600241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1327684 ################ # More data... # ################ /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.34 2.33 2.27 3/183 15555 /proc/meminfo: memFree=28241024/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1361.93 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273377 0 0 0 136154 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.37 2.34 2.28 3/183 15556 /proc/meminfo: memFree=28241672/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1421.93 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 142154 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.41 2.35 2.28 3/183 15557 /proc/meminfo: memFree=28241548/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1481.91 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 148152 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.14 2.28 2.26 3/183 15558 /proc/meminfo: memFree=28241932/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1541.91 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 154152 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 12415804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.23 2.28 2.26 3/183 15559 /proc/meminfo: memFree=28241804/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1601.9 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 160151 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 5600464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.34 2.30 2.27 3/183 15561 /proc/meminfo: memFree=28231268/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1661.89 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 166150 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.37 2.31 2.27 3/186 15613 /proc/meminfo: memFree=28291852/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1721.88 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 172149 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.25 2.29 2.27 3/183 15614 /proc/meminfo: memFree=28291784/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1781.87 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 178148 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.29 2.27 3/183 15615 /proc/meminfo: memFree=28291908/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1800.06 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 179967 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 13775064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1327684 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 15518 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.27 2.29 2.27 3/183 15615 /proc/meminfo: memFree=28291908/32872528 swapFree=1286400/1433568 [pid=15518] ppid=15515 vsize=1327684 CPUtime=1800.06 cores=1,3,5,7 /proc/15518/stat : 15518 (toysat) R 15515 15518 12983 0 -1 4202496 273378 0 0 0 179967 39 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140735961600512 13775064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15518/statm: 331921 272914 905 2943 0 328815 0 [pid=15518/tid=15519] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15519/stat : 15519 (toysat) S 15515 15518 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118575787248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15518/tid=15520] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15520/stat : 15520 (toysat) S 15515 15518 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118565297392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15518/tid=15521] ppid=15515 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/15518/task/15521/stat : 15521 (toysat) S 15515 15518 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24294700 1359548416 272914 33554432000 4194304 16246674 140735961618640 140118554823856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1327684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.08 CPU user time (s): 1799.68 CPU system time (s): 0.395939 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.395939 maximum resident set size= 1091656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273378 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= 269 involuntary context switches= 1897 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.75328 second user time and 6.73498 second system time The end
Begin job on node130 at 2016-06-18 06:01:19 IDJOB=4101297 IDBENCH=1725 IDSOLVER=2542 FILE ID=node130/4101297-1466222479 RUNJOBID= node130-1466206066-13000 PBS_JOBID= 19918147 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101297-1466222479/watcher-4101297-1466222479 -o /tmp/evaluation-result-4101297-1466222479/solver-4101297-1466222479 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101297-1466222479.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5786f17317bd882619b652d49c5f0155 RANDOM SEED=605131780 node130.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.365 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.73 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.365 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.365 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.365 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.365 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.365 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.53 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.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 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: 29369136 kB Buffers: 100588 kB Cached: 124952 kB SwapCached: 1804 kB Active: 1203760 kB Inactive: 128148 kB Active(anon): 1107160 kB Inactive(anon): 1604 kB Active(file): 96600 kB Inactive(file): 126544 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67099028 kB Dirty: 19488 kB Writeback: 0 kB AnonPages: 2539136 kB Mapped: 10732 kB Shmem: 0 kB Slab: 602556 kB SReclaimable: 46056 kB SUnreclaim: 556500 kB KernelStack: 1528 kB PageTables: 9016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2683168 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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= 71712 MiB End job on node130 at 2016-06-18 06:31:20