| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.23 | 1201.54 |
| Name | APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf |
| MD5SUM | 66aa2e18c32a02f55a810347a9702c7f |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1067.51 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1278 |
| Number of clauses | 68055 |
| Sum of the clauses size | 202155 |
| Maximum clause length | 9 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 2148 |
| Number of clauses of size 3 | 65884 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 23 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3283816-1304033810.cnf' 0.00/0.00 c -- header says num vars: 1278 0.00/0.00 c -- header says num clauses: 68055 2.56/0.71 c -- clauses added: 0 learnts, 68055 normals, 0 xors 2.56/0.71 c -- vars added 1278 2.56/0.71 c Parsing time: 0.08 s 2.56/0.71 c N st 0 0 1278 65907 2148 0 202155 0 no data no data -- 2.56/0.71 c asymm cl-useful: 0/13596/65907 lits-rem:0 time: 2.44 2.56/0.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 157 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.14 2.56/0.71 c Replacing 157 vars Replaced 33916 lits Time: 0.09 s 3.19/0.80 c bin-w-bin subsume rem 0 bins time: 0.02 s 3.19/0.80 c subs with bin: 3572 lits-rem: 0 v-fix: 0 time: 0.04 s 3.19/0.80 c Subs w/ non-existent bins: 2960 l-rem: 0 v-fix: 0 done: 1121 time: 0.04 s 3.19/0.80 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s 5.97/1.51 c lits-rem: 0 cl-subs: 0 v-elim: 360 v-fix: 0 time: 0.30 s 5.97/1.51 c Finding binary XORs T: 0.00 s found: 0 5.97/1.51 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 5.97/1.51 c calculated reachability. Time: 0.00 5.97/1.51 c Calc default polars - time: 0.00 s pos: 403 undec: 529 neg: 346 5.97/1.51 c ========================================================================================= 5.97/1.51 c types(t): F = full restart, N = normal restart 5.97/1.51 c types(t): S = simplification begin/end, E = solution found 5.97/1.51 c restart types(rt): st = static, dy = dynamic 5.97/1.51 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 5.97/1.51 c B st 0 0 761 58948 2024 0 181233 0 no data no data -- 5.97/1.51 c N dy 10 4007 761 58948 2024 3931 181233 209620 11.53 14.03 -- 5.97/1.51 c N dy 29 8839 761 58948 2024 8685 181233 420218 12.09 12.92 -- 7.96/2.01 c N dy 38 15409 761 58948 2024 15187 181233 782595 11.36 12.03 -- 9.56/2.40 c N dy 54 19946 761 58948 2024 19641 181233 1004349 11.46 12.08 -- 11.17/2.81 c N dy 61 24263 761 58948 2024 14027 181233 553329 11.23 11.88 -- 11.17/2.88 c F st 68 25000 761 58948 2024 14759 181233 594014 11.32 8.60 -- 12.76/3.24 c N st 73 28299 761 58948 2024 18004 181233 745391 11.32 no data -- 13.56/3.47 c S st 74 30002 761 58948 2024 19652 181233 787200 11.32 no data -- 13.96/3.53 c S st 74 30504 761 58948 2024 20151 181233 804566 11.32 no data -- 13.96/3.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 13.96/3.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.96/3.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.9M T: 0.17 14.36/3.62 c bin-w-bin subsume rem 0 bins time: 0.02 s 14.75/3.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.66 s 15.17/3.82 c Subs w/ non-existent bins: 0 l-rem: 4913 v-fix: 0 done: 523 time: 0.14 s 15.17/3.82 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 30.73/7.79 c lits-rem: 90 cl-subs: 332 v-elim: 0 v-fix: 0 time: 15.80 s 31.92/8.06 c asymm cl-useful: 0/3225/58948 lits-rem:0 time: 1.11 31.92/8.07 c calculated reachability. Time: 0.00 31.92/8.07 c N dy 74 30504 761 58948 2024 19819 181233 791060 11.32 no data -- 34.33/8.66 c N dy 77 35160 761 58948 2024 24222 181233 889340 10.99 11.61 -- 35.93/9.06 c N dy 80 39705 761 58948 2024 28575 181233 1057725 10.63 11.35 -- 38.32/9.68 c N dy 99 45756 761 58948 2024 19442 181233 658448 10.49 7.76 -- 38.32/9.68 c S st 99 45756 761 58948 2024 19442 181233 658448 10.49 7.76 -- 38.72/9.75 c S st 99 46257 761 58948 2024 19943 181233 677659 10.49 no data -- 38.72/9.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.72/9.76 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.72/9.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.16 39.12/9.82 c bin-w-bin subsume rem 0 bins time: 0.02 s 39.52/9.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.47 s 39.52/9.97 c Subs w/ non-existent bins: 0 l-rem: 3294 v-fix: 0 done: 615 time: 0.10 s 39.52/9.97 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 54.71/13.74 c lits-rem: 63 cl-subs: 753 v-elim: 0 v-fix: 0 time: 15.05 s 54.71/13.75 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 54.71/13.76 c vivif2 -- cl tried 19190 cl shrink 2201 lits rem 16579 time: 0.07 55.89/14.08 c asymm cl-useful: 0/4158/58948 lits-rem:0 time: 1.25 55.89/14.08 c calculated reachability. Time: 0.00 55.89/14.08 c N dy 99 46257 761 58948 2024 19190 181233 648015 10.49 no data -- 58.70/14.77 c N dy 110 51889 761 58948 2024 24674 181233 858363 10.42 10.98 -- 61.09/15.32 c N dy 146 55966 761 58948 2024 28711 181233 1073973 10.71 13.10 -- 63.09/15.89 c N dy 167 60232 761 58948 2024 32926 181233 1280601 10.75 11.37 -- 65.48/16.44 c N dy 184 64321 761 58948 2024 18600 181233 577043 10.79 11.65 -- 67.49/16.90 c N dy 199 68443 761 58948 2024 22666 181233 769154 10.79 11.50 -- 67.49/16.99 c S st 201 69386 761 58948 2024 23593 181233 809413 10.78 10.79 -- 67.90/17.06 c S st 201 69886 761 58948 2024 24092 181233 831625 10.78 no data -- 67.90/17.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 67.90/17.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 68.30/17.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.21 68.30/17.15 c bin-w-bin subsume rem 0 bins time: 0.02 s 69.08/17.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.60 s 69.08/17.33 c Subs w/ non-existent bins: 0 l-rem: 2567 v-fix: 0 done: 678 time: 0.10 s 69.08/17.33 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 78.66/19.73 c lits-rem: 17 cl-subs: 187 v-elim: 0 v-fix: 0 time: 9.56 s 78.66/19.73 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 78.66/19.76 c vivif2 -- cl tried 23905 cl shrink 2021 lits rem 12161 time: 0.08 79.87/20.05 c asymm cl-useful: 0/3407/58948 lits-rem:0 time: 1.17 79.87/20.05 c calculated reachability. Time: 0.00 79.87/20.05 c N dy 201 69886 761 58948 2024 23905 181233 812663 10.78 no data -- 81.86/20.59 c N dy 224 74379 761 58948 2024 28355 181233 1052363 10.83 17.21 -- 84.66/21.21 c N dy 240 79130 761 58948 2024 32967 181233 1280931 10.81 19.50 -- 87.86/22.00 c N dy 276 84192 761 58948 2024 37986 181233 1543574 10.95 11.66 -- 89.87/22.56 c F st 300 87501 761 58948 2024 20744 181233 598781 11.05 9.34 -- 91.45/22.94 c N st 305 90799 761 58948 2024 23981 181233 770508 11.05 no data -- 94.26/23.64 c N dy 325 96648 761 58948 2024 29764 181233 1091676 11.09 14.75 -- 99.06/24.80 c N dy 334 103080 761 58948 2024 35840 181233 1224522 10.98 11.69 -- 100.24/25.10 c S st 336 104829 761 58948 2024 37517 181233 1274883 10.94 8.97 -- 100.24/25.19 c S st 336 105334 761 58948 2024 38020 181233 1293134 10.94 no data -- 100.64/25.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 100.64/25.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 100.64/25.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.23 101.03/25.30 c bin-w-bin subsume rem 0 bins time: 0.02 s 101.83/25.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.03 s 101.83/25.60 c Subs w/ non-existent bins: 0 l-rem: 2784 v-fix: 0 done: 369 time: 0.13 s 102.24/25.60 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 117.01/29.34 c lits-rem: 31 cl-subs: 1925 v-elim: 0 v-fix: 0 time: 14.95 s 117.01/29.35 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 117.01/29.39 c vivif2 -- cl tried 36095 cl shrink 4215 lits rem 34817 time: 0.15 118.21/29.69 c asymm cl-useful: 0/3280/58948 lits-rem:0 time: 1.19 118.21/29.69 c calculated reachability. Time: 0.00 118.21/29.69 c N dy 336 105334 761 58948 2024 36095 181233 1227616 10.94 no data -- 123.41/30.93 c N dy 354 112966 761 58948 2024 43492 181233 1484296 10.85 11.43 -- 127.80/32.01 c N dy 360 120379 761 58948 2024 28654 181233 769323 10.72 11.31 -- 134.99/33.87 c N dy 392 132619 761 58948 2024 40442 181233 1154302 10.67 11.40 -- 139.39/34.96 c N dy 415 141276 761 58948 2024 25965 181233 692789 10.61 11.31 -- 146.58/36.72 c N dy 435 154511 761 58948 2024 38633 181233 1129208 10.52 11.16 -- 148.57/37.29 c S st 468 158003 761 58948 2024 42080 181233 1308774 10.60 no data -- 148.97/37.38 c S st 468 158508 761 58948 2024 42585 181233 1328325 10.60 no data -- 148.97/37.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 148.97/37.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 149.37/37.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.5M T: 0.27 149.77/37.50 c bin-w-bin subsume rem 0 bins time: 0.02 s 150.57/37.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.95 s 150.57/37.78 c Subs w/ non-existent bins: 0 l-rem: 3111 v-fix: 0 done: 509 time: 0.16 s 150.57/37.78 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 162.96/40.89 c lits-rem: 43 cl-subs: 3045 v-elim: 0 v-fix: 0 time: 12.40 s 162.96/40.89 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 163.36/40.93 c vivif2 -- cl tried 39540 cl shrink 4686 lits rem 30309 time: 0.17 164.58/41.22 c asymm cl-useful: 0/2093/58948 lits-rem:0 time: 1.12 164.58/41.22 c calculated reachability. Time: 0.00 164.58/41.22 c N dy 468 158508 761 58948 2024 39540 181233 1254443 10.60 no data -- 171.75/43.06 c N dy 487 168747 761 58948 2024 25384 181233 608540 10.54 11.10 -- 177.34/44.48 c N dy 523 179675 761 58948 2024 35943 181233 1003674 10.52 11.11 -- 184.12/46.14 c N dy 560 191161 761 58948 2024 47162 181233 1490269 10.50 13.03 -- 192.12/48.17 c N dy 615 204237 761 58948 2024 34805 181233 995176 10.52 11.18 -- 200.13/50.20 c N dy 687 217284 761 58948 2024 47583 181233 1613168 10.61 11.20 -- 209.30/52.45 c N dy 759 231261 761 58948 2024 35060 181233 1114826 10.69 11.36 -- 213.69/53.51 c S st 806 237763 761 58948 2024 41443 181233 1437645 10.75 no data -- 214.09/53.62 c S st 806 238271 761 58948 2024 41950 181233 1454557 10.75 no data -- 214.09/53.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 214.09/53.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 214.49/53.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.0M T: 0.31 214.49/53.75 c bin-w-bin subsume rem 0 bins time: 0.02 s 215.69/54.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.17 s 215.69/54.08 c Subs w/ non-existent bins: 0 l-rem: 2953 v-fix: 0 done: 490 time: 0.15 s 215.69/54.09 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 229.68/57.58 c lits-rem: 27 cl-subs: 380 v-elim: 0 v-fix: 0 time: 13.94 s 229.68/57.58 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 230.08/57.63 c vivif2 -- cl tried 41570 cl shrink 4646 lits rem 34492 time: 0.18 231.27/57.92 c asymm cl-useful: 0/3725/58948 lits-rem:0 time: 1.15 231.27/57.92 c calculated reachability. Time: 0.00 231.27/57.92 c N dy 806 238271 761 58948 2024 41570 181233 1409126 10.75 no data -- 244.45/61.20 c N dy 906 255168 761 58948 2024 30748 181233 792351 10.86 11.52 -- 256.86/64.31 c N dy 969 274342 761 58948 2025 49385 181233 1538947 10.84 11.44 -- 269.62/67.56 c N dy 1039 294170 761 58948 2025 40519 181233 1225501 10.84 11.52 -- 278.42/69.72 c F st 1101 306252 761 58948 2025 52328 181233 1790151 10.88 9.50 -- 283.23/70.99 c N dy 1118 313548 761 58948 2025 30192 181233 726510 10.89 11.58 -- 296.82/74.34 c N dy 1190 334348 761 58948 2025 50382 181233 1590346 10.88 11.55 -- 311.97/78.11 c N dy 1202 354535 761 58948 2025 39520 181233 983317 10.80 11.46 -- 313.57/78.58 c S st 1213 357407 761 58948 2025 42262 181233 1082896 10.79 no data -- 313.98/78.69 c S st 1213 357908 761 58948 2025 42762 181233 1102871 10.79 no data -- 313.98/78.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 313.98/78.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 314.39/78.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.5M T: 0.30 314.76/78.81 c bin-w-bin subsume rem 0 bins time: 0.02 s 315.16/78.97 c subs with bin: 36 lits-rem: 20 v-fix: 0 time: 0.65 s 315.56/79.00 c Subs w/ non-existent bins: 0 l-rem: 2598 v-fix: 0 done: 539 time: 0.11 s 315.56/79.00 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 325.56/81.58 c lits-rem: 34 cl-subs: 3052 v-elim: 0 v-fix: 0 time: 10.26 s 325.56/81.58 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 325.96/81.61 c vivif2 -- cl tried 39707 cl shrink 2637 lits rem 15038 time: 0.11 326.76/81.90 c asymm cl-useful: 0/2565/58915 lits-rem:0 time: 1.15 327.17/81.90 c calculated reachability. Time: 0.00 327.17/81.90 c N dy 1213 357908 761 58915 2025 39707 181136 1041905 10.79 no data -- 341.93/85.65 c N dy 1269 378090 761 58915 2025 58958 181136 1665681 10.76 11.35 -- 355.12/88.97 c N dy 1341 398892 761 58915 2025 48496 181136 1388746 10.76 11.38 -- 371.11/92.91 c N dy 1389 418951 761 58915 2025 35925 181136 860563 10.73 11.68 -- 385.88/96.60 c N dy 1486 440845 761 58915 2025 57239 181136 1884515 10.76 11.41 -- 399.85/100.17 c N dy 1593 460909 761 58915 2025 43921 181136 1274707 10.80 11.43 -- 414.64/103.84 c N dy 1657 480948 761 58915 2025 63385 181136 2074349 10.78 20.58 -- 428.64/107.32 c N dy 1742 501025 761 58915 2025 48964 181136 1444764 10.80 14.74 -- 444.20/111.24 c N dy 1833 521062 761 58915 2025 68507 181136 2402562 10.82 16.06 -- 454.60/113.86 c S st 1883 536865 761 58915 2025 48934 181136 1455103 10.82 8.63 -- 455.01/113.98 c S st 1883 537365 761 58915 2025 49431 181136 1473348 10.82 no data -- 455.01/113.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 455.01/113.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 455.38/114.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.4M T: 0.36 455.78/114.12 c bin-w-bin subsume rem 0 bins time: 0.02 s 456.59/114.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.04 s 456.99/114.42 c Subs w/ non-existent bins: 0 l-rem: 3071 v-fix: 0 done: 325 time: 0.16 s 456.99/114.43 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 471.76/118.12 c lits-rem: 34 cl-subs: 660 v-elim: 0 v-fix: 0 time: 14.76 s 471.76/118.13 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 471.76/118.18 c vivif2 -- cl tried 48771 cl shrink 4148 lits rem 34108 time: 0.18 472.96/118.45 c asymm cl-useful: 0/2615/58915 lits-rem:0 time: 1.07 472.96/118.45 c calculated reachability. Time: 0.00 472.96/118.45 c N dy 1883 537365 761 58915 2025 48771 181136 1425761 10.82 no data -- 489.34/122.55 c N dy 1978 557412 761 58915 2025 68388 181136 2436744 10.86 16.51 -- 504.92/126.44 c N dy 2068 577738 761 58915 2025 52124 181136 1622317 10.89 11.54 -- 522.49/130.83 c N dy 2170 597791 761 58915 2025 71713 181136 2613138 10.93 20.78 -- 536.88/134.42 c N dy 2267 618218 761 58915 2025 54559 181136 1766595 10.97 11.68 -- 554.06/138.77 c N dy 2355 638435 761 58915 2025 74156 181136 2736600 10.99 11.78 -- 569.27/142.57 c N dy 2434 658482 761 58915 2025 55632 181136 1728019 10.99 16.10 -- 587.62/147.15 c N dy 2502 678580 761 58915 2025 75156 181136 2679972 10.99 11.73 -- 604.41/151.39 c N dy 2545 699295 761 58915 2025 55954 181136 1491564 10.97 11.61 -- 621.60/155.67 c N dy 2635 719397 761 58915 2025 75562 181136 2463408 11.00 11.61 -- 637.56/159.62 c N dy 2703 739441 761 58915 2025 55058 181136 1531597 11.01 11.59 -- 655.14/164.07 c N dy 2806 760738 761 58915 2025 75795 181136 2600535 11.05 11.66 -- 672.31/168.33 c N dy 2895 781148 761 58915 2025 55037 181136 1622077 11.06 11.87 -- 689.89/172.77 c N dy 2993 801217 761 58915 2025 74514 181136 2578010 11.09 15.76 -- 695.08/174.10 c S st 3020 806049 761 58915 2025 79213 181136 2793985 11.10 no data -- 696.29/174.30 c S st 3020 806554 761 58915 2025 79717 181136 2817566 11.10 no data -- 696.29/174.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 696.29/174.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 696.70/174.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.5M T: 0.57 697.07/174.55 c bin-w-bin subsume rem 0 bins time: 0.02 s 699.48/175.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.37 s 699.88/175.22 c Subs w/ non-existent bins: 0 l-rem: 3943 v-fix: 0 done: 124 time: 0.32 s 699.88/175.22 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 748.61/187.41 c lits-rem: 75 cl-subs: 2981 v-elim: 0 v-fix: 0 time: 48.63 s 748.61/187.42 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 749.03/187.53 c vivif2 -- cl tried 76736 cl shrink 9948 lits rem 84114 time: 0.44 750.20/187.82 c asymm cl-useful: 0/2526/58915 lits-rem:0 time: 1.14 750.20/187.82 c calculated reachability. Time: 0.00 750.20/187.82 c N dy 3020 806554 761 58915 2025 76736 181136 2680232 11.10 no data -- 768.17/192.35 c N dy 3130 826566 761 58915 2025 54587 181136 1770747 11.14 14.93 -- 790.95/198.03 c N dy 3217 847920 761 58915 2025 75304 181136 2703303 11.16 11.76 -- 810.54/202.91 c N dy 3359 867932 761 58915 2025 52195 181136 1613203 11.23 12.12 -- 828.53/207.41 c N dy 3465 888102 761 58915 2025 71834 181136 2654443 11.26 11.87 -- 852.07/213.36 c N dy 3565 910974 761 58915 2025 50253 181136 1394820 11.28 11.97 -- 869.65/217.73 c N dy 3669 931039 761 58915 2025 69763 181136 2335488 11.31 12.00 -- 892.03/223.35 c N dy 3741 951861 761 58915 2025 45264 181136 1158756 11.32 12.00 -- 908.81/227.52 c N dy 3865 971886 761 58915 2025 64831 181136 2215665 11.36 16.10 -- 929.60/232.79 c N dy 3969 991908 761 58915 2025 84354 181136 3291090 11.39 12.95 -- 947.96/237.30 c N dy 4002 1013245 761 58915 2025 59187 181136 1752176 11.35 12.21 -- 967.14/242.19 c N dy 4099 1033310 761 58915 2025 78781 181136 2772396 11.38 16.48 -- 989.11/247.66 c N dy 4172 1053313 761 58915 2025 51536 181136 1398556 11.39 14.96 -- 1005.09/251.69 c F st 4237 1071875 761 58915 2025 69554 181136 2285671 11.39 10.32 -- 1007.09/252.17 c N st 4241 1073908 761 58915 2025 71529 181136 2406649 11.39 no data -- 1031.05/258.18 c N dy 4350 1094329 761 58915 2025 91448 181136 3552232 11.43 12.06 -- 1049.03/262.67 c N dy 4433 1115042 761 58915 2025 63924 181136 1993239 11.43 12.07 -- 1071.40/268.25 c N dy 4532 1135222 761 58915 2025 83662 181136 3039023 11.46 12.21 -- 1093.37/273.76 c N dy 4593 1155432 761 58915 2025 54608 181136 1506313 11.45 12.15 -- 1114.17/278.95 c N dy 4670 1176890 761 58915 2025 75447 181136 2501233 11.45 12.44 -- 1137.72/284.86 c N dy 4739 1197135 761 58915 2025 94977 181136 3375927 11.45 12.08 -- 1151.71/288.36 c S st 4823 1209833 761 58915 2025 57813 181136 1677705 11.48 no data -- 1152.51/288.52 c S st 4823 1210336 761 58915 2025 58315 181136 1700237 11.48 no data -- 1152.51/288.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1152.51/288.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1152.91/288.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.1M T: 0.45 1152.91/288.69 c bin-w-bin subsume rem 0 bins time: 0.02 s 1154.10/288.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.08 s 1154.10/289.00 c Subs w/ non-existent bins: 0 l-rem: 1566 v-fix: 0 done: 533 time: 0.12 s 1154.50/289.00 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 1173.67/293.80 c lits-rem: 47 cl-subs: 603 v-elim: 0 v-fix: 0 time: 19.19 s 1173.67/293.81 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 1173.67/293.85 c vivif2 -- cl tried 57712 cl shrink 2147 lits rem 20366 time: 0.16 1174.88/294.12 c asymm cl-useful: 0/1794/58915 lits-rem:0 time: 1.11 1174.88/294.13 c calculated reachability. Time: 0.00 1174.88/294.13 c N dy 4823 1210336 761 58915 2025 57712 181136 1668513 11.48 no data -- 1195.64/299.35 c N dy 4874 1232018 761 58915 2025 78535 181136 2483809 11.46 12.37 -- 1219.63/305.39 c N dy 4973 1252092 761 58915 2025 98081 181136 3479263 11.48 12.53 -- 1237.98/309.97 c N dy 5066 1272140 761 58915 2025 67210 181136 2150273 11.49 14.30 -- 1260.36/315.58 c N dy 5175 1292675 761 58915 2025 87214 181136 3261577 11.52 12.24 -- 1284.73/321.62 c N dy 5265 1312710 761 58915 2025 55190 181136 1460967 11.53 13.59 -- 1305.50/326.83 c N dy 5317 1335376 761 58915 2025 77183 181136 2509485 11.52 12.14 -- 1329.08/332.73 c N dy 5374 1355728 761 58915 2025 96778 181136 3396158 11.51 12.13 -- 1351.46/338.36 c N dy 5470 1375874 761 58915 2025 63966 181136 1829648 11.52 12.25 -- 1372.62/343.62 c N dy 5573 1395918 761 58915 2025 83399 181136 2812165 11.54 12.18 -- 1398.58/350.18 c N dy 5636 1416315 761 58915 2025 103176 181136 3713292 11.55 12.23 -- 1428.14/357.50 c N dy 5735 1443071 761 58915 2025 75776 181136 2417129 11.55 12.31 -- 1450.52/363.12 c N dy 5810 1463104 761 58915 2025 95233 181136 3421315 11.56 13.44 -- 1474.50/369.15 c N dy 5891 1483136 761 58915 2025 60368 181136 1658745 11.56 12.25 -- 1498.05/375.05 c N dy 6002 1505192 761 58915 2025 81871 181136 2787441 11.58 12.24 -- 1524.42/381.62 c N dy 6098 1525316 761 58915 2025 101505 181136 3812034 11.59 12.26 -- 1549.59/387.96 c N dy 6152 1545397 761 58915 2025 65542 181136 1833409 11.59 14.26 -- 1570.37/393.14 c N dy 6237 1565490 761 58915 2025 85018 181136 2804916 11.60 14.46 -- 1597.93/400.02 c N dy 6350 1585656 761 58915 2025 104670 181136 3865471 11.62 12.23 -- 1621.90/406.05 c N dy 6448 1605757 761 58915 2025 67916 181136 1996571 11.63 12.33 -- 1644.67/411.77 c N dy 6541 1626371 761 58915 2025 87954 181136 3021146 11.64 12.37 -- 1671.44/418.50 c N dy 6589 1646410 761 58915 2025 107333 181136 3953086 11.63 12.31 -- 1698.21/425.15 c N dy 6655 1668855 761 58915 2025 71680 181136 2010337 11.63 12.36 -- 1719.77/430.54 c N dy 6698 1689887 761 58915 2025 91957 181136 2920030 11.61 12.27 -- 1747.33/437.40 c N dy 6788 1709948 761 58915 2025 111444 181136 3867390 11.62 15.60 -- 1747.73/437.57 c S st 6791 1710337 761 58915 2025 111818 181136 3887956 11.62 8.66 -- 1748.93/437.88 c S st 6791 1710843 761 58915 2025 112323 181136 3906408 11.62 no data -- 1748.93/437.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1748.93/437.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1750.13/438.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.7M T: 0.93 1750.54/438.25 c bin-w-bin subsume rem 0 bins time: 0.02 s 1753.73/439.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.21 s 1754.13/439.15 c Subs w/ non-existent bins: 0 l-rem: 3035 v-fix: 0 done: 81 time: 0.42 s 1754.13/439.16 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 2074.90/519.42 c lits-rem: 92 cl-subs: 4330 v-elim: 0 v-fix: 0 time: 320.35 s 2074.90/519.42 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 2075.70/519.61 c vivif2 -- cl tried 107993 cl shrink 12316 lits rem 107188 time: 0.72 2076.51/519.88 c asymm cl-useful: 0/886/58915 lits-rem:0 time: 1.08 2076.51/519.88 c calculated reachability. Time: 0.00 2076.51/519.88 c N dy 6791 1710843 761 58915 2025 107993 181136 3723022 11.62 no data -- 2103.66/526.65 c N dy 6878 1730909 761 58915 2025 69382 181136 1990432 11.63 12.29 -- 2128.04/532.71 c N dy 6964 1751687 761 58915 2025 89442 181136 2997867 11.64 12.30 -- 2156.80/539.92 c N dy 7067 1771782 761 58915 2025 108956 181136 4036527 11.65 14.59 -- 2184.78/546.97 c N dy 7129 1791882 761 58915 2025 69356 181136 1938186 11.65 20.37 -- 2210.34/553.30 c N dy 7236 1812222 761 58915 2025 89200 181136 3010620 11.66 12.41 -- 2242.30/561.33 c N dy 7328 1832322 761 58915 2025 108763 181136 4022430 11.67 30.89 -- 2275.07/569.55 c N dy 7401 1855630 761 58915 2025 71124 181136 2020732 11.67 12.65 -- 2300.25/575.88 c N dy 7472 1876991 761 58915 2025 91806 181136 3044514 11.66 12.47 -- 2327.03/582.54 c N dy 7547 1897491 761 58915 2025 111705 181136 4109225 11.67 12.33 -- 2352.99/589.02 c N dy 7622 1917507 761 58915 2025 70022 181136 1967816 11.67 14.86 -- 2375.75/594.71 c N dy 7700 1937523 761 58915 2025 89500 181136 2959212 11.67 18.97 -- 2407.71/602.76 c N dy 7779 1957533 761 58915 2025 108791 181136 3873737 11.67 23.20 -- 2438.88/610.52 c N dy 7855 1977624 761 58915 2025 66255 181136 1761889 11.68 20.46 -- 2462.06/616.34 c N dy 7948 1997674 761 58915 2025 85734 181136 2803007 11.69 12.48 -- 2492.83/624.01 c N dy 8030 2019771 761 58915 2025 107078 181136 3905114 11.69 12.32 -- 2535.98/634.80 c N dy 8131 2042363 761 58915 2025 66028 181136 1733306 11.70 12.36 -- 2557.95/640.39 c N dy 8205 2062728 761 58915 2025 85709 181136 2708007 11.70 12.39 -- 2589.52/648.26 c N dy 8291 2084585 761 58915 2025 106911 181136 3765334 11.71 12.42 -- 2621.87/656.39 c N dy 8344 2104641 761 58915 2025 126341 181136 4747508 11.70 16.33 -- 2646.25/662.44 c N dy 8410 2124719 761 58915 2025 81799 181136 2479363 11.70 16.09 -- 2675.41/669.74 c N dy 8513 2144721 761 58915 2025 101226 181136 3489806 11.71 22.83 -- 2712.97/679.10 c N dy 8620 2164779 761 58915 2025 120724 181136 4523269 11.73 12.37 -- 2740.16/685.99 c N dy 8689 2185562 761 58915 2025 75948 181136 2199364 11.73 12.41 -- 2767.30/692.73 c N dy 8765 2207022 761 58915 2025 96668 181136 3274302 11.73 12.38 -- 2773.30/694.28 c S st 8787 2210843 761 58915 2025 100382 181136 3472791 11.73 no data -- 2774.92/694.63 c S st 8787 2211343 761 58915 2025 100881 181136 3490510 11.73 no data -- 2774.92/694.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2774.92/694.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2776.10/694.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.4M T: 1.08 2776.50/695.02 c bin-w-bin subsume rem 0 bins time: 0.02 s 2779.32/695.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.99 s 2779.72/695.85 c Subs w/ non-existent bins: 0 l-rem: 2888 v-fix: 0 done: 123 time: 0.34 s 2779.72/695.86 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 3038.19/760.58 c lits-rem: 33 cl-subs: 1740 v-elim: 0 v-fix: 0 time: 258.42 s 3038.19/760.58 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.03 3039.00/760.72 c vivif2 -- cl tried 99141 cl shrink 8900 lits rem 115382 time: 0.54 3039.78/760.97 c asymm cl-useful: 0/1016/58915 lits-rem:0 time: 1.02 3039.78/760.98 c calculated reachability. Time: 0.00 3039.78/760.98 c N dy 8787 2211343 761 58915 2025 99141 181136 3340801 11.73 no data -- 3076.53/770.16 c N dy 8865 2232015 761 58915 2026 119157 181136 4337967 11.74 12.37 -- 3116.09/780.04 c N dy 8938 2252448 761 58915 2026 73075 181136 1980414 11.74 12.49 -- 3139.69/785.99 c N dy 8999 2272459 761 58915 2026 92388 181136 2915312 11.74 20.01 -- 3170.45/793.65 c N dy 9056 2292695 761 58915 2026 111957 181136 3844906 11.74 12.45 -- 3202.80/801.72 c N dy 9133 2312813 761 58915 2026 131337 181136 4831727 11.74 12.40 -- 3227.59/807.92 c N dy 9240 2332930 761 58915 2026 84136 181136 2574926 11.75 12.37 -- 3254.36/814.69 c N dy 9328 2353000 761 58915 2026 103534 181136 3543333 11.76 16.02 -- 3283.51/821.96 c N dy 9398 2373092 761 58915 2026 122996 181136 4505943 11.76 18.84 -- 3316.27/830.11 c N dy 9507 2393445 761 58915 2026 75005 181136 2096872 11.77 12.41 -- 3339.84/836.04 c N dy 9574 2413499 761 58915 2026 94258 181136 3015388 11.77 17.03 -- 3369.01/843.38 c N dy 9643 2433798 761 58915 2026 113818 181136 3960185 11.77 12.40 -- 3411.36/853.90 c N dy 9706 2456541 761 58915 2026 135749 181136 5012842 11.77 12.51 -- 3444.13/862.14 c N dy 9758 2478891 761 58915 2026 88218 181136 2294414 11.76 12.38 -- 3464.92/867.32 c N dy 9807 2498903 761 58915 2026 107537 181136 3231928 11.75 13.15 -- 3492.48/874.28 c N dy 9901 2519513 761 58915 2026 127486 181136 4228899 11.76 12.40 -- 3522.84/881.89 c N dy 9946 2540035 761 58915 2026 77987 181136 2113970 11.75 12.69 -- 3546.81/887.82 c N dy 10015 2560079 761 58915 2026 97354 181136 3105646 11.75 18.56 -- 3575.20/894.96 c N dy 10067 2580245 761 58915 2026 116721 181136 3998341 11.74 12.37 -- 3615.53/905.05 c N dy 10183 2600266 761 58915 2026 136040 181136 4964049 11.75 17.83 -- 3646.29/912.76 c N dy 10269 2620454 761 58915 2026 85243 181136 2475398 11.76 12.38 -- 3675.46/920.03 c N dy 10350 2640708 761 58915 2026 104798 181136 3416247 11.76 12.42 -- 3713.01/929.49 c N dy 10426 2660734 761 58915 2026 124054 181136 4354730 11.76 12.39 -- 3750.60/938.82 c N dy 10496 2680760 761 58915 2026 72007 181136 1803195 11.76 14.40 -- 3774.94/944.98 c N dy 10584 2701568 761 58915 2026 92086 181136 2808773 11.77 12.43 -- 3788.53/948.31 c S st 10617 2711346 761 58915 2026 101502 181136 3261201 11.77 9.75 -- 3789.73/948.63 c S st 10617 2711848 761 58915 2026 102004 181136 3279453 11.77 no data -- 3789.73/948.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 3789.73/948.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3790.93/948.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.3M T: 1.09 3791.33/949.01 c bin-w-bin subsume rem 0 bins time: 0.02 s 3793.73/949.67 c subs with bin: 76 lits-rem: 34 v-fix: 0 time: 2.65 s 3794.13/949.75 c Subs w/ non-existent bins: 0 l-rem: 2210 v-fix: 0 done: 323 time: 0.28 s 3794.13/949.75 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 4024.62/1007.40 c lits-rem: 33 cl-subs: 1998 v-elim: 0 v-fix: 0 time: 230.21 s 4024.62/1007.41 c vivif2 -- cl tried 58890 cl shrink 0 lits rem 0 time: 0.03 4025.03/1007.54 c vivif2 -- cl tried 99955 cl shrink 8016 lits rem 95899 time: 0.53 4025.83/1007.80 c asymm cl-useful: 0/1523/58890 lits-rem:0 time: 1.02 4026.23/1007.80 c calculated reachability. Time: 0.00 4026.23/1007.80 c N dy 10617 2711848 761 58890 2026 99955 181063 3146364 11.77 no data -- 4060.19/1016.37 c N dy 10690 2731986 761 58890 2026 119313 181063 4114475 11.77 12.41 -- 4101.74/1026.80 c N dy 10780 2752069 761 58890 2026 138647 181063 5028189 11.77 16.04 -- 4138.09/1035.89 c N dy 10862 2772081 761 58890 2026 85730 181063 2400655 11.78 16.69 -- 4168.85/1043.51 c N dy 10928 2795174 761 58890 2026 108008 181063 3464514 11.77 12.50 -- 4204.01/1052.33 c N dy 11007 2815181 761 58890 2026 127340 181063 4457139 11.77 14.66 -- 4247.58/1063.27 c N dy 11111 2835412 761 58890 2026 73601 181063 1849834 11.78 12.46 -- 4269.56/1068.75 c N dy 11189 2855482 761 58890 2026 93003 181063 2810074 11.79 19.76 -- 4299.12/1076.12 c N dy 11263 2876259 761 58890 2026 113020 181063 3792258 11.79 12.73 -- 4332.67/1084.54 c N dy 11342 2896348 761 58890 2026 132468 181063 4772207 11.79 17.10 -- 4375.83/1095.32 c N dy 11438 2916745 761 58890 2026 77847 181063 2029665 11.80 12.54 -- 4403.79/1102.32 c N dy 11508 2936803 761 58890 2026 97196 181063 2909507 11.80 22.25 -- 4435.76/1110.33 c N dy 11572 2956949 761 58890 2026 116541 181063 3813948 11.80 12.47 -- 4471.33/1119.29 c N dy 11652 2976956 761 58890 2026 135809 181063 4775392 11.80 15.06 -- 4508.88/1128.69 c N dy 11716 2997601 761 58890 2026 80502 181063 2130950 11.80 12.59 -- 4562.02/1141.99 c N dy 11739 3029502 761 58890 2026 110349 181063 2854186 11.78 12.42 -- 4592.39/1149.56 c N dy 11778 3050754 761 58890 2026 130599 181063 3625130 11.77 12.44 -- 4622.76/1157.13 c N dy 11841 3070843 761 58890 2026 149876 181063 4571249 11.77 20.89 -- 4647.15/1163.29 c N dy 11911 3090965 761 58890 2026 93841 181063 2726669 11.76 12.51 -- 4675.49/1170.37 c N dy 11939 3110991 761 58890 2026 112957 181063 3454578 11.75 14.13 -- 4706.66/1178.17 c N dy 12029 3131044 761 58890 2026 132261 181063 4403731 11.76 12.50 -- 4749.81/1188.91 c N dy 12074 3154383 761 58890 2027 78024 181063 1939384 11.75 12.40 -- 4775.38/1195.30 c N dy 12178 3174418 761 58890 2027 97328 181063 2876696 11.76 14.14 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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-3283816-1304033810/watcher-3283816-1304033810 -o /tmp/evaluation-result-3283816-1304033810/solver-3283816-1304033810 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3283816-1304033810.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.75 7.97 7.81 5/180 26316 /proc/meminfo: memFree=23843336/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 514978700 52465664 357 33554432000 4194304 4650419 140736854260576 18446744073709551615 46928684427190 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/26316/statm: 12809 357 306 112 0 7774 0 [pid=26316/tid=26317] ppid=26314 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514978701 52465664 357 33554432000 4194304 4650419 140736854260576 18446744073709551615 46928684426768 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514978701 52465664 357 33554432000 4194304 4650419 140736854260576 18446744073709551615 46928684426777 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 514978701 52465664 357 33554432000 4194304 4650419 140736854260576 18446744073709551615 46928684426768 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.645069 s] /proc/loadavg: 7.75 7.97 7.81 5/180 26316 /proc/meminfo: memFree=23843336/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=322744 CPUtime=2.56 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) D 26314 26316 25696 0 -1 4202496 8681 0 0 0 253 3 0 0 18 0 4 0 514978700 330489856 7922 33554432000 4194304 4650419 140736854260576 18446744073709551615 212687372890 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26316/statm: 81200 7496 371 112 0 76165 0 [pid=26316/tid=26317] ppid=26314 vsize=324800 CPUtime=0.63 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 2671 0 0 0 63 0 0 0 18 0 4 0 514978701 332595200 7496 33554432000 4194304 4650419 140736854260576 18446744073709551615 212687718535 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=316592 CPUtime=0.63 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) D 26314 26316 25696 0 -1 4202560 2308 0 0 0 63 0 0 0 18 0 4 0 514978701 324190208 7433 33554432000 4194304 4650419 140736854260576 18446744073709551615 4516467 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=316228 CPUtime=0.63 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 1749 0 0 0 63 0 0 0 18 0 4 0 514978701 323817472 7306 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 322744 [startup+0.771406 s] /proc/loadavg: 7.75 7.97 7.81 5/180 26316 /proc/meminfo: memFree=23843336/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=296792 CPUtime=3.05 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 17566 0 0 0 301 4 0 0 18 0 4 0 514978700 303915008 14597 33554432000 4194304 4650419 140736854260576 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 74198 14608 388 112 0 69163 0 [pid=26316/tid=26317] ppid=26314 vsize=296792 CPUtime=0.76 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 5380 0 0 0 75 1 0 0 18 0 4 0 514978701 303915008 14613 33554432000 4194304 4650419 140736854260576 18446744073709551615 4440859 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=296792 CPUtime=0.75 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 5084 0 0 0 74 1 0 0 18 0 4 0 514978701 303915008 14619 33554432000 4194304 4650419 140736854260576 18446744073709551615 4441818 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=296792 CPUtime=0.75 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 1790 0 0 0 75 0 0 0 18 0 4 0 514978701 303915008 14625 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 296792 [startup+0.806478 s] /proc/loadavg: 7.75 7.97 7.81 5/180 26316 /proc/meminfo: memFree=23843336/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=296792 CPUtime=3.19 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 18464 0 0 0 314 5 0 0 18 0 4 0 514978700 303915008 15488 33554432000 4194304 4650419 140736854260576 18446744073709551615 212687780383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 74198 15488 388 112 0 69163 0 [pid=26316/tid=26317] ppid=26314 vsize=296792 CPUtime=0.79 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 5492 0 0 0 78 1 0 0 18 0 4 0 514978701 303915008 15488 33554432000 4194304 4650419 140736854260576 18446744073709551615 212687780383 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=296792 CPUtime=0.78 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 5416 0 0 0 77 1 0 0 18 0 4 0 514978701 303915008 15488 33554432000 4194304 4650419 140736854260576 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=296792 CPUtime=0.79 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 1803 0 0 0 79 0 0 0 18 0 4 0 514978701 303915008 15488 33554432000 4194304 4650419 140736854260576 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 296792 [startup+0.900605 s] /proc/loadavg: 7.75 7.97 7.81 5/180 26316 /proc/meminfo: memFree=23843336/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=298720 CPUtime=3.57 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 19053 0 0 0 352 5 0 0 18 0 4 0 514978700 305889280 16077 33554432000 4194304 4650419 140736854260576 18446744073709551615 4334047 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 74680 16077 391 112 0 69645 0 [pid=26316/tid=26317] ppid=26314 vsize=298720 CPUtime=0.89 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 5935 0 0 0 88 1 0 0 18 0 4 0 514978701 305889280 16077 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=298720 CPUtime=0.88 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 5466 0 0 0 87 1 0 0 18 0 4 0 514978701 305889280 16077 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=298720 CPUtime=0.88 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 1815 0 0 0 88 0 0 0 18 0 4 0 514978701 305889280 16077 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364907 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.57 Current children cumulated vsize (KiB) 298720 [startup+1.5005 s] /proc/loadavg: 7.75 7.97 7.81 5/180 26316 /proc/meminfo: memFree=23843336/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=298720 CPUtime=5.97 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 20141 0 0 0 592 5 0 0 18 0 4 0 514978700 305889280 17165 33554432000 4194304 4650419 140736854260576 18446744073709551615 4333600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 74680 17165 391 112 0 69645 0 [pid=26316/tid=26317] ppid=26314 vsize=298720 CPUtime=1.49 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 6336 0 0 0 148 1 0 0 18 0 4 0 514978701 305889280 17165 33554432000 4194304 4650419 140736854260576 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=298720 CPUtime=1.48 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 5566 0 0 0 147 1 0 0 18 0 4 0 514978701 305889280 17165 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=298720 CPUtime=1.48 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 1991 0 0 0 148 0 0 0 20 0 4 0 514978701 305889280 17165 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 298720 [startup+3.1012 s] /proc/loadavg: 7.75 7.97 7.81 9/184 26320 /proc/meminfo: memFree=23786644/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=304820 CPUtime=12.36 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 25582 0 0 0 1230 6 0 0 21 0 4 0 514978700 312135680 18068 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 76205 18068 394 112 0 71170 0 [pid=26316/tid=26317] ppid=26314 vsize=304820 CPUtime=3.09 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 7809 0 0 0 308 1 0 0 22 0 4 0 514978701 312135680 18068 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=304820 CPUtime=3.06 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 6634 0 0 0 305 1 0 0 22 0 4 0 514978701 312135680 18068 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=304820 CPUtime=3.08 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 3229 0 0 0 308 0 0 0 25 0 4 0 514978701 312135680 18068 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 304820 [startup+6.30062 s] /proc/loadavg: 7.77 7.97 7.81 9/184 26320 /proc/meminfo: memFree=23736664/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=307780 CPUtime=25.14 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 44586 0 0 0 2505 9 0 0 25 0 4 0 514978700 315166720 34943 33554432000 4194304 4650419 140736854260576 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 76945 34943 395 112 0 71910 0 [pid=26316/tid=26317] ppid=26314 vsize=307780 CPUtime=6.28 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 13485 0 0 0 626 2 0 0 25 0 4 0 514978701 315166720 34944 33554432000 4194304 4650419 140736854260576 18446744073709551615 4441275 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=307780 CPUtime=6.25 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 9340 0 0 0 623 2 0 0 25 0 4 0 514978701 315166720 34946 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476365 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=307780 CPUtime=6.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 9909 0 0 0 627 1 0 0 25 0 4 0 514978701 315166720 34946 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 307780 [startup+12.7065 s] /proc/loadavg: 7.79 7.97 7.81 10/184 26350 /proc/meminfo: memFree=24212824/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=299860 CPUtime=50.72 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 59122 0 0 0 5061 11 0 0 25 0 4 0 514978700 307056640 35456 33554432000 4194304 4650419 140736854260576 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 74965 35456 395 112 0 69930 0 [pid=26316/tid=26317] ppid=26314 vsize=299860 CPUtime=12.69 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 17122 0 0 0 1266 3 0 0 25 0 4 0 514978701 307056640 35456 33554432000 4194304 4650419 140736854260576 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=299860 CPUtime=12.62 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 11678 0 0 0 1260 2 0 0 25 0 4 0 514978701 307056640 35456 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=299860 CPUtime=12.69 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 15443 0 0 0 1267 2 0 0 25 0 4 0 514978701 307056640 35456 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 299860 [startup+25.5011 s] /proc/loadavg: 7.56 7.90 7.79 9/184 26380 /proc/meminfo: memFree=23730388/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=379712 CPUtime=101.83 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 88431 0 0 0 10164 19 0 0 25 0 4 0 514978700 388825088 47268 33554432000 4194304 4650419 140736854260576 18446744073709551615 4436434 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 94928 47268 395 112 0 89893 0 [pid=26316/tid=26317] ppid=26314 vsize=379712 CPUtime=25.49 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 23738 0 0 0 2544 5 0 0 25 0 4 0 514978701 388825088 47268 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=379712 CPUtime=25.35 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 16985 0 0 0 2531 4 0 0 25 0 4 0 514978701 388825088 47268 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=379712 CPUtime=25.48 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 23184 0 0 0 2544 4 0 0 25 0 4 0 514978701 388825088 47268 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 379712 [startup+51.1004 s] /proc/loadavg: 7.79 7.93 7.80 9/184 26381 /proc/meminfo: memFree=23608448/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=445724 CPUtime=204.12 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 136180 0 0 0 20380 32 0 0 25 0 4 0 514978700 456421376 59700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 111431 59700 395 112 0 106396 0 [pid=26316/tid=26317] ppid=26314 vsize=445724 CPUtime=51.09 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 33384 0 0 0 5101 8 0 0 25 0 4 0 514978701 456421376 59700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=445724 CPUtime=50.82 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 27655 0 0 0 5076 6 0 0 25 0 4 0 514978701 456421376 59700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=445724 CPUtime=51.09 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 38161 0 0 0 5100 9 0 0 25 0 4 0 514978701 456421376 59700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 204.12 Current children cumulated vsize (KiB) 445724 [startup+102.301 s] /proc/loadavg: 7.91 7.94 7.81 9/184 26382 /proc/meminfo: memFree=23542220/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=447420 CPUtime=408.65 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 217935 0 0 0 40811 54 0 0 25 0 4 0 514978700 458158080 66709 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 111855 66709 395 112 0 106820 0 [pid=26316/tid=26317] ppid=26314 vsize=447420 CPUtime=102.28 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 57915 0 0 0 10214 14 0 0 25 0 4 0 514978701 458158080 66709 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=447420 CPUtime=101.76 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 39341 0 0 0 10168 8 0 0 25 0 4 0 514978701 458158080 66709 33554432000 4194304 4650419 140736854260576 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=447420 CPUtime=102.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 61233 0 0 0 10212 16 0 0 25 0 4 0 514978701 458158080 66709 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.65 Current children cumulated vsize (KiB) 447420 [startup+162.306 s] ################ # More data... # ################ [pid=26316] ppid=26314 vsize=865024 CPUtime=2805.69 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 813167 0 0 0 280310 259 0 0 25 0 4 0 514978700 885784576 139757 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 216256 139757 395 112 0 211221 0 [pid=26316/tid=26317] ppid=26314 vsize=865024 CPUtime=702.3 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 184319 0 0 0 70169 61 0 0 25 0 4 0 514978701 885784576 139757 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=865024 CPUtime=698.75 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 146579 0 0 0 69828 47 0 0 25 0 4 0 514978701 885784576 139757 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=865024 CPUtime=702.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 241205 0 0 0 70156 72 0 0 25 0 4 0 514978701 885784576 139757 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.69 Current children cumulated vsize (KiB) 865024 [startup+762.301 s] /proc/loadavg: 4.07 5.72 6.95 5/175 26417 /proc/meminfo: memFree=23921952/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=865584 CPUtime=3045.37 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 838677 0 0 0 304265 272 0 0 25 0 4 0 514978700 886358016 145055 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 216396 145055 395 112 0 211361 0 [pid=26316/tid=26317] ppid=26314 vsize=865584 CPUtime=762.29 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 198365 0 0 0 76160 69 0 0 25 0 4 0 514978701 886358016 145055 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=865584 CPUtime=758.46 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 150222 0 0 0 75798 48 0 0 25 0 4 0 514978701 886358016 145055 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=865584 CPUtime=762.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 247811 0 0 0 76151 77 0 0 25 0 4 0 514978701 886358016 145055 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3045.37 Current children cumulated vsize (KiB) 865584 [startup+822.307 s] /proc/loadavg: 4.06 5.42 6.77 5/175 26419 /proc/meminfo: memFree=23944616/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=865612 CPUtime=3285.13 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 871492 0 0 0 328222 291 0 0 25 0 4 0 514978700 886386688 139204 33554432000 4194304 4650419 140736854260576 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 216403 139204 395 112 0 211368 0 [pid=26316/tid=26317] ppid=26314 vsize=865612 CPUtime=822.3 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 211082 0 0 0 82154 76 0 0 25 0 4 0 514978701 886386688 139204 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=865612 CPUtime=818.2 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 155196 0 0 0 81769 51 0 0 25 0 4 0 514978701 886386688 139204 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=865612 CPUtime=822.29 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 255351 0 0 0 82148 81 0 0 25 0 4 0 514978701 886386688 139204 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3285.13 Current children cumulated vsize (KiB) 865612 [startup+882.301 s] /proc/loadavg: 4.02 5.16 6.59 5/175 26420 /proc/meminfo: memFree=23920168/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=884776 CPUtime=3524.84 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 912756 0 0 0 352176 308 0 0 25 0 4 0 514978700 906010624 145619 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 221194 145619 395 112 0 216159 0 [pid=26316/tid=26317] ppid=26314 vsize=884776 CPUtime=882.29 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 218239 0 0 0 88150 79 0 0 25 0 4 0 514978701 906010624 145619 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=884776 CPUtime=877.92 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 165194 0 0 0 87738 54 0 0 25 0 4 0 514978701 906010624 145620 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=884776 CPUtime=882.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 264890 0 0 0 88143 85 0 0 25 0 4 0 514978701 906010624 145620 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.84 Current children cumulated vsize (KiB) 884776 [startup+942.301 s] /proc/loadavg: 4.04 4.96 6.43 5/175 26422 /proc/meminfo: memFree=23940860/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=821720 CPUtime=3764.56 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 954194 0 0 0 376132 324 0 0 25 0 4 0 514978700 841441280 139759 33554432000 4194304 4650419 140736854260576 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 205430 139759 395 112 0 200395 0 [pid=26316/tid=26317] ppid=26314 vsize=821720 CPUtime=942.29 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 237382 0 0 0 94147 82 0 0 25 0 4 0 514978701 841441280 139759 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=821720 CPUtime=937.64 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 171437 0 0 0 93706 58 0 0 25 0 4 0 514978701 841441280 139759 33554432000 4194304 4650419 140736854260576 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=821720 CPUtime=942.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 268927 0 0 0 94140 88 0 0 25 0 4 0 514978701 841441280 139759 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3764.56 Current children cumulated vsize (KiB) 821720 [startup+1002.3 s] /proc/loadavg: 4.01 4.78 6.28 6/175 26423 /proc/meminfo: memFree=23925716/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=821956 CPUtime=4004.25 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 989209 0 0 0 400091 334 0 0 25 0 4 0 514978700 841682944 143700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 205489 143700 395 112 0 200454 0 [pid=26316/tid=26317] ppid=26314 vsize=821956 CPUtime=1002.3 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 249958 0 0 0 100145 85 0 0 25 0 4 0 514978701 841682944 143700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=821956 CPUtime=997.33 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 175568 0 0 0 99672 61 0 0 25 0 4 0 514978701 841682944 143700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=821956 CPUtime=1002.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 271541 0 0 0 100139 89 0 0 25 0 4 0 514978701 841682944 143700 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4004.25 Current children cumulated vsize (KiB) 821956 [startup+1062.3 s] /proc/loadavg: 4.08 4.65 6.14 5/175 26425 /proc/meminfo: memFree=23901124/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=953356 CPUtime=4243.97 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 1017250 0 0 0 424044 353 0 0 25 0 4 0 514978700 976236544 149960 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 238339 149960 395 112 0 233304 0 [pid=26316/tid=26317] ppid=26314 vsize=953356 CPUtime=1062.3 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 259427 0 0 0 106139 91 0 0 25 0 4 0 514978701 976236544 149960 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=953356 CPUtime=1057.04 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 185316 0 0 0 105637 67 0 0 25 0 4 0 514978701 976236544 149960 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=953356 CPUtime=1062.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 271541 0 0 0 106139 89 0 0 25 0 4 0 514978701 976236544 149960 33554432000 4194304 4650419 140736854260576 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.97 Current children cumulated vsize (KiB) 953356 [startup+1122.3 s] /proc/loadavg: 4.03 4.53 6.00 5/175 26427 /proc/meminfo: memFree=23907548/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=1001128 CPUtime=4483.71 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 1059426 0 0 0 447998 373 0 0 25 0 4 0 514978700 1025155072 148830 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 250282 148830 395 112 0 245247 0 [pid=26316/tid=26317] ppid=26314 vsize=1001128 CPUtime=1122.3 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 272458 0 0 0 112133 97 0 0 25 0 4 0 514978701 1025155072 148830 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=1001128 CPUtime=1116.77 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 193566 0 0 0 111608 69 0 0 25 0 4 0 514978701 1025155072 148830 33554432000 4194304 4650419 140736854260576 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=1001128 CPUtime=1122.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 279988 0 0 0 112135 93 0 0 25 0 4 0 514978701 1025155072 148830 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4483.71 Current children cumulated vsize (KiB) 1001128 [startup+1182.3 s] /proc/loadavg: 4.08 4.45 5.88 5/175 26428 /proc/meminfo: memFree=23872784/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=1104600 CPUtime=4723.43 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 1106854 0 0 0 471951 392 0 0 25 0 4 0 514978700 1131110400 162364 33554432000 4194304 4650419 140736854260576 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 276150 162364 395 112 0 271115 0 [pid=26316/tid=26317] ppid=26314 vsize=1104600 CPUtime=1182.31 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 290538 0 0 0 118126 105 0 0 25 0 4 0 514978701 1131110400 162364 33554432000 4194304 4650419 140736854260576 18446744073709551615 4435766 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=1104600 CPUtime=1176.5 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 199683 0 0 0 117578 72 0 0 25 0 4 0 514978701 1131110400 162364 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=1104600 CPUtime=1182.28 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 291380 0 0 0 118130 98 0 0 25 0 4 0 514978701 1131110400 162364 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4723.43 Current children cumulated vsize (KiB) 1104600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.5 s] /proc/loadavg: 4.05 4.42 5.84 5/175 26429 /proc/meminfo: memFree=23853800/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=953852 CPUtime=4800.17 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 1113956 0 0 0 479622 395 0 0 25 0 4 0 514978700 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4336143 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 238463 161577 395 112 0 233428 0 [pid=26316/tid=26317] ppid=26314 vsize=953852 CPUtime=1201.51 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 291235 0 0 0 120046 105 0 0 25 0 4 0 514978701 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=953852 CPUtime=1195.61 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 200286 0 0 0 119489 72 0 0 25 0 4 0 514978701 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=953852 CPUtime=1201.49 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 296459 0 0 0 120049 100 0 0 25 0 4 0 514978701 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.17 Current children cumulated vsize (KiB) 953852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.5 s] /proc/loadavg: 4.05 4.42 5.84 5/175 26429 /proc/meminfo: memFree=23853800/32951124 swapFree=67111524/67111528 [pid=26316] ppid=26314 vsize=953852 CPUtime=4800.17 cores=1,3,5,7 /proc/26316/stat : 26316 (strangenight1-m) R 26314 26316 25696 0 -1 4202496 1113956 0 0 0 479622 395 0 0 25 0 4 0 514978700 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4336143 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/26316/statm: 238463 161577 395 112 0 233428 0 [pid=26316/tid=26317] ppid=26314 vsize=953852 CPUtime=1201.51 cores=1,3,5,7 /proc/26316/task/26317/stat : 26317 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 291235 0 0 0 120046 105 0 0 25 0 4 0 514978701 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26316/tid=26318] ppid=26314 vsize=953852 CPUtime=1195.61 cores=1,3,5,7 /proc/26316/task/26318/stat : 26318 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 200286 0 0 0 119489 72 0 0 25 0 4 0 514978701 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=26316/tid=26319] ppid=26314 vsize=953852 CPUtime=1201.49 cores=1,3,5,7 /proc/26316/task/26319/stat : 26319 (strangenight1-m) R 26314 26316 25696 0 -1 4202560 296459 0 0 0 120049 100 0 0 25 0 4 0 514978701 976744448 161577 33554432000 4194304 4650419 140736854260576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.17 Current children cumulated vsize (KiB) 953852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.54 CPU time (s): 4800.23 CPU user time (s): 4796.24 CPU system time (s): 3.98539 CPU usage (%): 399.506 Max. virtual memory (cumulated for all children) (KiB): 1104600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4796.24 system time used= 3.98539 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1113957 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= 4063 involuntary context switches= 31885 runsolver used 1.61975 second user time and 4.30135 second system time The end
Begin job on node139 at 2011-04-29 01:36:50 IDJOB=3283816 IDBENCH=71078 IDSOLVER=1588 FILE ID=node139/3283816-1304033810 RUNJOBID= node139-1304032563-26138 PBS_JOBID= 13170313 Free space on /tmp= 72532 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283816-1304033810/watcher-3283816-1304033810 -o /tmp/evaluation-result-3283816-1304033810/solver-3283816-1304033810 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3283816-1304033810.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f RANDOM SEED=215540528 node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5321.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23843740 kB Buffers: 2015476 kB Cached: 5872420 kB SwapCached: 4 kB Active: 1373272 kB Inactive: 7215668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23843740 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 21932 kB Writeback: 0 kB AnonPages: 700544 kB Mapped: 15532 kB Slab: 452436 kB PageTables: 5740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1086580 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72548 MiB End job on node139 at 2011-04-29 01:56:53