| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.32 | 1203.15 |
| 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-3369485-1305390924.cnf' 0.00/0.00 c -- header says num vars: 1278 0.00/0.00 c -- header says num clauses: 68055 0.00/0.03 c -- clauses added: 0 learnts, 68055 normals, 0 xors 0.00/0.03 c -- vars added 1278 0.00/0.03 c Parsing time: 0.07 s 0.00/0.10 c N st 0 0 1278 65907 2148 0 202155 0 no data no data -- 2.37/0.63 c asymm cl-useful: 0/13596/65907 lits-rem:0 time: 2.42 2.37/0.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 157 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.14 2.37/0.69 c Replacing 157 vars Replaced 33916 lits Time: 0.09 s 6.34/1.60 c bin-w-bin subsume rem 0 bins time: 0.02 s 6.34/1.60 c subs with bin: 3572 lits-rem: 0 v-fix: 0 time: 0.04 s 6.34/1.60 c Subs w/ non-existent bins: 2960 l-rem: 0 v-fix: 0 done: 1121 time: 0.04 s 6.34/1.60 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s 6.34/1.60 c lits-rem: 0 cl-subs: 0 v-elim: 360 v-fix: 0 time: 0.32 s 6.34/1.60 c Finding binary XORs T: 0.00 s found: 0 6.34/1.60 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 6.34/1.60 c calculated reachability. Time: 0.00 6.34/1.60 c Calc default polars - time: 0.01 s pos: 403 undec: 529 neg: 346 6.34/1.60 c ========================================================================================= 6.34/1.60 c types(t): F = full restart, N = normal restart 6.34/1.60 c types(t): S = simplification begin/end, E = solution found 6.34/1.60 c restart types(rt): st = static, dy = dynamic 6.34/1.60 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 6.34/1.60 c B st 0 0 761 58948 2024 0 181233 0 no data no data -- 6.34/1.60 c N dy 10 4007 761 58948 2024 3931 181233 209620 11.53 14.03 -- 6.34/1.60 c N dy 29 8839 761 58948 2024 8685 181233 420218 12.09 12.92 -- 7.54/1.94 c N dy 38 15409 761 58948 2024 15187 181233 782595 11.36 12.03 -- 9.17/2.39 c N dy 54 19946 761 58948 2024 19641 181233 1004349 11.46 12.08 -- 11.13/2.80 c N dy 61 24263 761 58948 2024 14027 181233 553329 11.23 11.88 -- 11.13/2.86 c F st 68 25000 761 58948 2024 14759 181233 594014 11.32 8.60 -- 12.73/3.23 c N st 73 28299 761 58948 2024 18004 181233 745391 11.32 no data -- 13.56/3.46 c S st 74 30002 761 58948 2024 19652 181233 787200 11.32 no data -- 13.92/3.52 c S st 74 30504 761 58948 2024 20151 181233 804566 11.32 no data -- 13.92/3.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 13.92/3.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.92/3.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.9M T: 0.17 14.32/3.61 c bin-w-bin subsume rem 0 bins time: 0.02 s 14.72/3.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.66 s 15.12/3.81 c Subs w/ non-existent bins: 0 l-rem: 4913 v-fix: 0 done: 523 time: 0.15 s 15.12/3.81 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 30.71/7.77 c lits-rem: 90 cl-subs: 332 v-elim: 0 v-fix: 0 time: 15.77 s 31.88/8.05 c asymm cl-useful: 0/3225/58948 lits-rem:0 time: 1.10 31.88/8.05 c calculated reachability. Time: 0.00 31.88/8.05 c N dy 74 30504 761 58948 2024 19819 181233 791060 11.32 no data -- 34.27/8.64 c N dy 77 35160 761 58948 2024 24222 181233 889340 10.99 11.61 -- 35.87/9.05 c N dy 80 39705 761 58948 2024 28575 181233 1057725 10.63 11.35 -- 38.27/9.66 c N dy 99 45756 761 58948 2024 19442 181233 658448 10.49 7.76 -- 38.27/9.66 c S st 99 45756 761 58948 2024 19442 181233 658448 10.49 7.76 -- 38.67/9.73 c S st 99 46257 761 58948 2024 19943 181233 677659 10.49 no data -- 38.67/9.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.67/9.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.67/9.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.16 39.07/9.80 c bin-w-bin subsume rem 0 bins time: 0.02 s 39.48/9.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.45 s 39.48/9.95 c Subs w/ non-existent bins: 0 l-rem: 3294 v-fix: 0 done: 615 time: 0.10 s 39.48/9.95 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 54.62/13.72 c lits-rem: 63 cl-subs: 753 v-elim: 0 v-fix: 0 time: 15.03 s 54.62/13.72 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 54.62/13.74 c vivif2 -- cl tried 19190 cl shrink 2201 lits rem 16579 time: 0.08 55.83/14.05 c asymm cl-useful: 0/4158/58948 lits-rem:0 time: 1.25 55.83/14.06 c calculated reachability. Time: 0.00 55.83/14.06 c N dy 99 46257 761 58948 2024 19190 181233 648015 10.49 no data -- 58.61/14.75 c N dy 110 51889 761 58948 2024 24674 181233 858363 10.42 10.98 -- 61.01/15.30 c N dy 146 55966 761 58948 2024 28711 181233 1073973 10.71 13.10 -- 63.00/15.86 c N dy 167 60232 761 58948 2024 32926 181233 1280601 10.75 11.37 -- 65.40/16.41 c N dy 184 64321 761 58948 2024 18600 181233 577043 10.79 11.65 -- 66.99/16.86 c N dy 199 68443 761 58948 2024 22666 181233 769154 10.79 11.50 -- 67.39/16.95 c S st 201 69386 761 58948 2024 23593 181233 809413 10.78 10.79 -- 67.79/17.03 c S st 201 69886 761 58948 2024 24092 181233 831625 10.78 no data -- 67.79/17.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 67.79/17.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 67.79/17.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.19 68.19/17.11 c bin-w-bin subsume rem 0 bins time: 0.02 s 68.60/17.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.60 s 68.60/17.29 c Subs w/ non-existent bins: 0 l-rem: 2567 v-fix: 0 done: 678 time: 0.10 s 68.60/17.29 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 78.17/19.69 c lits-rem: 17 cl-subs: 187 v-elim: 0 v-fix: 0 time: 9.54 s 78.17/19.69 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 78.57/19.71 c vivif2 -- cl tried 23905 cl shrink 2021 lits rem 12161 time: 0.08 79.76/20.00 c asymm cl-useful: 0/3407/58948 lits-rem:0 time: 1.16 79.76/20.01 c calculated reachability. Time: 0.00 79.76/20.01 c N dy 201 69886 761 58948 2024 23905 181233 812663 10.78 no data -- 81.76/20.55 c N dy 224 74379 761 58948 2024 28355 181233 1052363 10.83 17.21 -- 84.15/21.16 c N dy 240 79130 761 58948 2024 32967 181233 1280931 10.81 19.50 -- 87.35/21.95 c N dy 276 84192 761 58948 2024 37986 181233 1543574 10.95 11.66 -- 89.73/22.52 c F st 300 87501 761 58948 2024 20744 181233 598781 11.05 9.34 -- 91.33/22.90 c N st 305 90799 761 58948 2024 23981 181233 770508 11.05 no data -- 94.12/23.60 c N dy 325 96648 761 58948 2024 29764 181233 1091676 11.09 14.75 -- 98.51/24.76 c N dy 334 103080 761 58948 2024 35840 181233 1224522 10.98 11.69 -- 99.71/25.06 c S st 336 104829 761 58948 2024 37517 181233 1274883 10.94 8.97 -- 100.11/25.15 c S st 336 105334 761 58948 2024 38020 181233 1293134 10.94 no data -- 100.11/25.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 100.11/25.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 100.51/25.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.23 100.51/25.26 c bin-w-bin subsume rem 0 bins time: 0.02 s 101.70/25.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.02 s 101.70/25.55 c Subs w/ non-existent bins: 0 l-rem: 2784 v-fix: 0 done: 369 time: 0.13 s 101.70/25.55 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 116.47/29.29 c lits-rem: 31 cl-subs: 1925 v-elim: 0 v-fix: 0 time: 14.90 s 116.87/29.30 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 116.87/29.34 c vivif2 -- cl tried 36095 cl shrink 4215 lits rem 34817 time: 0.15 118.07/29.63 c asymm cl-useful: 0/3280/58948 lits-rem:0 time: 1.18 118.07/29.64 c calculated reachability. Time: 0.00 118.07/29.64 c N dy 336 105334 761 58948 2024 36095 181233 1227616 10.94 no data -- 122.87/30.88 c N dy 354 112966 761 58948 2024 43492 181233 1484296 10.85 11.43 -- 127.26/31.96 c N dy 360 120379 761 58948 2024 28654 181233 769323 10.72 11.31 -- 134.82/33.81 c N dy 392 132619 761 58948 2024 40442 181233 1154302 10.67 11.40 -- 139.21/34.90 c N dy 415 141276 761 58948 2024 25965 181233 692789 10.61 11.31 -- 145.98/36.66 c N dy 435 154511 761 58948 2024 38633 181233 1129208 10.52 11.16 -- 148.39/37.22 c S st 468 158003 761 58948 2024 42080 181233 1308774 10.60 no data -- 148.79/37.31 c S st 468 158508 761 58948 2024 42585 181233 1328325 10.60 no data -- 148.79/37.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 148.79/37.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 148.79/37.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.5M T: 0.28 149.21/37.43 c bin-w-bin subsume rem 0 bins time: 0.02 s 149.98/37.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.94 s 150.38/37.71 c Subs w/ non-existent bins: 0 l-rem: 3111 v-fix: 0 done: 509 time: 0.16 s 150.38/37.71 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 162.78/40.82 c lits-rem: 43 cl-subs: 3045 v-elim: 0 v-fix: 0 time: 12.39 s 162.78/40.82 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 162.78/40.87 c vivif2 -- cl tried 39540 cl shrink 4686 lits rem 30309 time: 0.17 163.95/41.15 c asymm cl-useful: 0/2093/58948 lits-rem:0 time: 1.13 163.95/41.15 c calculated reachability. Time: 0.00 163.95/41.15 c N dy 468 158508 761 58948 2024 39540 181233 1254443 10.60 no data -- 171.15/42.99 c N dy 487 168747 761 58948 2024 25384 181233 608540 10.54 11.10 -- 177.11/44.40 c N dy 523 179675 761 58948 2024 35943 181233 1003674 10.52 11.11 -- 183.50/46.05 c N dy 560 191161 761 58948 2024 47162 181233 1490269 10.50 13.03 -- 191.48/48.07 c N dy 615 204237 761 58948 2024 34805 181233 995176 10.52 11.18 -- 199.86/50.10 c N dy 687 217284 761 58948 2024 47583 181233 1613168 10.61 11.20 -- 208.64/52.36 c N dy 759 231261 761 58948 2024 35060 181233 1114826 10.69 11.36 -- 213.02/53.41 c S st 806 237763 761 58948 2024 41443 181233 1437645 10.75 no data -- 213.43/53.52 c S st 806 238271 761 58948 2024 41950 181233 1454557 10.75 no data -- 213.43/53.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 213.43/53.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 213.83/53.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.0M T: 0.30 213.83/53.65 c bin-w-bin subsume rem 0 bins time: 0.02 s 215.05/53.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.14 s 215.05/53.98 c Subs w/ non-existent bins: 0 l-rem: 2953 v-fix: 0 done: 490 time: 0.15 s 215.05/53.98 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 228.98/57.48 c lits-rem: 27 cl-subs: 380 v-elim: 0 v-fix: 0 time: 13.94 s 228.98/57.48 c vivif2 -- cl tried 58948 cl shrink 0 lits rem 0 time: 0.02 229.38/57.53 c vivif2 -- cl tried 41570 cl shrink 4646 lits rem 34492 time: 0.18 230.58/57.82 c asymm cl-useful: 0/3725/58948 lits-rem:0 time: 1.16 230.58/57.82 c calculated reachability. Time: 0.00 230.58/57.82 c N dy 806 238271 761 58948 2024 41570 181233 1409126 10.75 no data -- 243.35/61.09 c N dy 906 255168 761 58948 2024 30748 181233 792351 10.86 11.52 -- 256.11/64.20 c N dy 969 274342 761 58948 2025 49385 181233 1538947 10.84 11.44 -- 268.88/67.42 c N dy 1039 294170 761 58948 2025 40519 181233 1225501 10.84 11.52 -- 277.25/69.59 c F st 1101 306252 761 58948 2025 52328 181233 1790151 10.88 9.50 -- 282.45/70.85 c N dy 1118 313548 761 58948 2025 30192 181233 726510 10.89 11.58 -- 296.02/74.21 c N dy 1190 334348 761 58948 2025 50382 181233 1590346 10.88 11.55 -- 310.77/77.97 c N dy 1202 354535 761 58948 2025 39520 181233 983317 10.80 11.46 -- 312.77/78.43 c S st 1213 357407 761 58948 2025 42262 181233 1082896 10.79 no data -- 313.17/78.54 c S st 1213 357908 761 58948 2025 42762 181233 1102871 10.79 no data -- 313.17/78.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 313.17/78.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 313.57/78.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.5M T: 0.26 313.57/78.66 c bin-w-bin subsume rem 0 bins time: 0.02 s 314.37/78.81 c subs with bin: 36 lits-rem: 20 v-fix: 0 time: 0.63 s 314.37/78.84 c Subs w/ non-existent bins: 0 l-rem: 2598 v-fix: 0 done: 539 time: 0.11 s 314.37/78.84 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 324.76/81.42 c lits-rem: 34 cl-subs: 3052 v-elim: 0 v-fix: 0 time: 10.27 s 324.76/81.43 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 324.76/81.46 c vivif2 -- cl tried 39707 cl shrink 2637 lits rem 15038 time: 0.11 325.93/81.75 c asymm cl-useful: 0/2565/58915 lits-rem:0 time: 1.16 325.93/81.75 c calculated reachability. Time: 0.00 325.93/81.75 c N dy 1213 357908 761 58915 2025 39707 181136 1041905 10.79 no data -- 340.70/85.49 c N dy 1269 378090 761 58915 2025 58958 181136 1665681 10.76 11.35 -- 354.27/88.82 c N dy 1341 398892 761 58915 2025 48496 181136 1388746 10.76 11.38 -- 369.82/92.76 c N dy 1389 418951 761 58915 2025 35925 181136 860563 10.73 11.68 -- 384.60/96.44 c N dy 1486 440845 761 58915 2025 57239 181136 1884515 10.76 11.41 -- 398.96/100.00 c N dy 1593 460909 761 58915 2025 43921 181136 1274707 10.80 11.43 -- 413.32/103.67 c N dy 1657 480948 761 58915 2025 63385 181136 2074349 10.78 20.58 -- 427.28/107.15 c N dy 1742 501025 761 58915 2025 48964 181136 1444764 10.80 14.74 -- 442.85/111.06 c N dy 1833 521062 761 58915 2025 68507 181136 2402562 10.82 16.06 -- 453.22/113.68 c S st 1883 536865 761 58915 2025 48934 181136 1455103 10.82 8.63 -- 454.01/113.80 c S st 1883 537365 761 58915 2025 49431 181136 1473348 10.82 no data -- 454.01/113.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 454.01/113.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 454.01/113.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.4M T: 0.36 454.41/113.95 c bin-w-bin subsume rem 0 bins time: 0.02 s 455.61/114.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.05 s 455.61/114.25 c Subs w/ non-existent bins: 0 l-rem: 3071 v-fix: 0 done: 325 time: 0.16 s 455.61/114.25 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 470.36/117.95 c lits-rem: 34 cl-subs: 660 v-elim: 0 v-fix: 0 time: 14.75 s 470.36/117.96 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 470.76/118.01 c vivif2 -- cl tried 48771 cl shrink 4148 lits rem 34108 time: 0.18 471.56/118.28 c asymm cl-useful: 0/2615/58915 lits-rem:0 time: 1.08 471.56/118.28 c calculated reachability. Time: 0.00 471.56/118.28 c N dy 1883 537365 761 58915 2025 48771 181136 1425761 10.82 no data -- 487.92/122.32 c N dy 1978 557412 761 58915 2025 68388 181136 2436744 10.86 16.51 -- 503.09/126.12 c N dy 2068 577738 761 58915 2025 52124 181136 1622317 10.89 11.54 -- 521.05/130.64 c N dy 2170 597791 761 58915 2025 71713 181136 2613138 10.93 20.78 -- 535.43/134.23 c N dy 2267 618218 761 58915 2025 54559 181136 1766595 10.97 11.68 -- 552.57/138.55 c N dy 2355 638435 761 58915 2025 74156 181136 2736600 10.99 11.78 -- 568.13/142.48 c N dy 2434 658482 761 58915 2025 55632 181136 1728019 10.99 16.10 -- 586.08/146.93 c N dy 2502 678580 761 58915 2025 75156 181136 2679972 10.99 11.73 -- 602.84/151.15 c N dy 2545 699295 761 58915 2025 55954 181136 1491564 10.97 11.61 -- 620.00/155.43 c N dy 2635 719397 761 58915 2025 75562 181136 2463408 11.00 11.61 -- 635.56/159.38 c N dy 2703 739441 761 58915 2025 55058 181136 1531597 11.01 11.59 -- 653.52/163.83 c N dy 2806 760738 761 58915 2025 75795 181136 2600535 11.05 11.66 -- 670.27/168.08 c N dy 2895 781148 761 58915 2025 55037 181136 1622077 11.06 11.87 -- 688.22/172.52 c N dy 2993 801217 761 58915 2025 74514 181136 2578010 11.09 15.76 -- 693.44/173.84 c S st 3020 806049 761 58915 2025 79213 181136 2793985 11.10 no data -- 694.21/174.05 c S st 3020 806554 761 58915 2025 79717 181136 2817566 11.10 no data -- 694.21/174.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 694.21/174.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 695.01/174.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.5M T: 0.57 695.40/174.30 c bin-w-bin subsume rem 0 bins time: 0.02 s 697.41/174.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.36 s 697.83/174.97 c Subs w/ non-existent bins: 0 l-rem: 3943 v-fix: 0 done: 124 time: 0.31 s 697.83/174.97 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 746.52/187.17 c lits-rem: 75 cl-subs: 2981 v-elim: 0 v-fix: 0 time: 48.64 s 746.52/187.18 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 746.88/187.29 c vivif2 -- cl tried 76736 cl shrink 9948 lits rem 84114 time: 0.45 748.08/187.57 c asymm cl-useful: 0/2526/58915 lits-rem:0 time: 1.12 748.08/187.58 c calculated reachability. Time: 0.00 748.08/187.58 c N dy 3020 806554 761 58915 2025 76736 181136 2680232 11.10 no data -- 766.43/192.10 c N dy 3130 826566 761 58915 2025 54587 181136 1770747 11.14 14.93 -- 788.78/197.75 c N dy 3217 847920 761 58915 2025 75304 181136 2703303 11.16 11.76 -- 808.32/202.65 c N dy 3359 867932 761 58915 2025 52195 181136 1613203 11.23 12.12 -- 826.27/207.13 c N dy 3465 888102 761 58915 2025 71834 181136 2654443 11.26 11.87 -- 849.81/213.08 c N dy 3565 910974 761 58915 2025 50253 181136 1394820 11.28 11.97 -- 867.37/217.45 c N dy 3669 931039 761 58915 2025 69763 181136 2335488 11.31 12.00 -- 889.72/223.06 c N dy 3741 951861 761 58915 2025 45264 181136 1158756 11.32 12.00 -- 906.47/227.23 c N dy 3865 971886 761 58915 2025 64831 181136 2215665 11.36 16.10 -- 927.22/232.46 c N dy 3969 991908 761 58915 2025 84354 181136 3291090 11.39 12.95 -- 945.17/236.99 c N dy 4002 1013245 761 58915 2025 59187 181136 1752176 11.35 12.21 -- 964.73/241.87 c N dy 4099 1033310 761 58915 2025 78781 181136 2772396 11.38 16.48 -- 986.68/247.31 c N dy 4172 1053313 761 58915 2025 51536 181136 1398556 11.39 14.96 -- 1002.63/251.33 c F st 4237 1071875 761 58915 2025 69554 181136 2285671 11.39 10.32 -- 1004.63/251.81 c N st 4241 1073908 761 58915 2025 71529 181136 2406649 11.39 no data -- 1028.56/257.82 c N dy 4350 1094329 761 58915 2025 91448 181136 3552232 11.43 12.06 -- 1046.52/262.31 c N dy 4433 1115042 761 58915 2025 63924 181136 1993239 11.43 12.07 -- 1068.47/267.88 c N dy 4532 1135222 761 58915 2025 83662 181136 3039023 11.46 12.21 -- 1090.81/273.40 c N dy 4593 1155432 761 58915 2025 54608 181136 1506313 11.45 12.15 -- 1111.15/278.58 c N dy 4670 1176890 761 58915 2025 75447 181136 2501233 11.45 12.44 -- 1135.10/284.52 c N dy 4739 1197135 761 58915 2025 94977 181136 3375927 11.45 12.08 -- 1148.66/287.99 c S st 4823 1209833 761 58915 2025 57813 181136 1677705 11.48 no data -- 1149.46/288.15 c S st 4823 1210336 761 58915 2025 58315 181136 1700237 11.48 no data -- 1149.46/288.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1149.46/288.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1149.89/288.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.1M T: 0.43 1150.30/288.33 c bin-w-bin subsume rem 0 bins time: 0.02 s 1151.46/288.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.09 s 1151.46/288.62 c Subs w/ non-existent bins: 0 l-rem: 1566 v-fix: 0 done: 533 time: 0.11 s 1151.46/288.63 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 1170.60/293.42 c lits-rem: 47 cl-subs: 603 v-elim: 0 v-fix: 0 time: 19.11 s 1170.60/293.43 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 1170.60/293.46 c vivif2 -- cl tried 57712 cl shrink 2147 lits rem 20366 time: 0.16 1171.82/293.74 c asymm cl-useful: 0/1794/58915 lits-rem:0 time: 1.08 1171.82/293.74 c calculated reachability. Time: 0.00 1171.82/293.74 c N dy 4823 1210336 761 58915 2025 57712 181136 1668513 11.48 no data -- 1192.55/298.99 c N dy 4874 1232018 761 58915 2025 78535 181136 2483809 11.46 12.37 -- 1216.89/305.00 c N dy 4973 1252092 761 58915 2025 98081 181136 3479263 11.48 12.53 -- 1235.24/309.61 c N dy 5066 1272140 761 58915 2025 67210 181136 2150273 11.49 14.30 -- 1257.59/315.20 c N dy 5175 1292675 761 58915 2025 87214 181136 3261577 11.52 12.24 -- 1281.55/321.24 c N dy 5265 1312710 761 58915 2025 55190 181136 1460967 11.53 13.59 -- 1302.28/326.47 c N dy 5317 1335376 761 58915 2025 77183 181136 2509485 11.52 12.14 -- 1325.85/332.33 c N dy 5374 1355728 761 58915 2025 96778 181136 3396158 11.51 12.13 -- 1348.15/337.98 c N dy 5470 1375874 761 58915 2025 63966 181136 1829648 11.52 12.25 -- 1369.33/343.22 c N dy 5573 1395918 761 58915 2025 83399 181136 2812165 11.54 12.18 -- 1396.83/350.14 c N dy 5636 1416315 761 58915 2025 103176 181136 3713292 11.55 12.23 -- 1425.16/357.24 c N dy 5735 1443071 761 58915 2025 75776 181136 2417129 11.55 12.31 -- 1447.51/362.81 c N dy 5810 1463104 761 58915 2025 95233 181136 3421315 11.56 13.44 -- 1471.44/368.81 c N dy 5891 1483136 761 58915 2025 60368 181136 1658745 11.56 12.25 -- 1494.58/374.61 c N dy 6002 1505192 761 58915 2025 81871 181136 2787441 11.58 12.24 -- 1520.93/381.27 c N dy 6098 1525316 761 58915 2025 101505 181136 3812034 11.59 12.26 -- 1546.05/387.59 c N dy 6152 1545397 761 58915 2025 65542 181136 1833409 11.59 14.26 -- 1566.82/392.77 c N dy 6237 1565490 761 58915 2025 85018 181136 2804916 11.60 14.46 -- 1593.93/399.58 c N dy 6350 1585656 761 58915 2025 104670 181136 3865471 11.62 12.23 -- 1617.88/405.59 c N dy 6448 1605757 761 58915 2025 67916 181136 1996571 11.63 12.33 -- 1641.03/411.30 c N dy 6541 1626371 761 58915 2025 87954 181136 3021146 11.64 12.37 -- 1667.78/418.06 c N dy 6589 1646410 761 58915 2025 107333 181136 3953086 11.63 12.31 -- 1694.11/424.67 c N dy 6655 1668855 761 58915 2025 71680 181136 2010337 11.63 12.36 -- 1715.63/430.08 c N dy 6698 1689887 761 58915 2025 91957 181136 2920030 11.61 12.27 -- 1743.16/436.92 c N dy 6788 1709948 761 58915 2025 111444 181136 3867390 11.62 15.60 -- 1743.95/437.10 c S st 6791 1710337 761 58915 2025 111818 181136 3887956 11.62 8.66 -- 1745.16/437.41 c S st 6791 1710843 761 58915 2025 112323 181136 3906408 11.62 no data -- 1745.16/437.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 1745.16/437.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1745.96/437.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.7M T: 0.91 1746.36/437.77 c bin-w-bin subsume rem 0 bins time: 0.02 s 1749.55/438.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.17 s 1749.95/438.67 c Subs w/ non-existent bins: 0 l-rem: 3035 v-fix: 0 done: 81 time: 0.42 s 1749.95/438.68 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.02 s 2069.93/518.82 c lits-rem: 92 cl-subs: 4330 v-elim: 0 v-fix: 0 time: 319.56 s 2069.93/518.82 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 2070.73/519.00 c vivif2 -- cl tried 107993 cl shrink 12316 lits rem 107188 time: 0.71 2071.55/519.27 c asymm cl-useful: 0/886/58915 lits-rem:0 time: 1.06 2071.55/519.28 c calculated reachability. Time: 0.00 2071.55/519.28 c N dy 6791 1710843 761 58915 2025 107993 181136 3723022 11.62 no data -- 2097.07/525.65 c N dy 6878 1730909 761 58915 2025 69382 181136 1990432 11.63 12.29 -- 2121.40/531.71 c N dy 6964 1751687 761 58915 2025 89442 181136 2997867 11.64 12.30 -- 2149.73/538.86 c N dy 7067 1771782 761 58915 2025 108956 181136 4036527 11.65 14.59 -- 2177.30/545.78 c N dy 7129 1791882 761 58915 2025 69356 181136 1938186 11.65 20.37 -- 2202.41/552.00 c N dy 7236 1812222 761 58915 2025 89200 181136 3010620 11.66 12.41 -- 2233.95/559.99 c N dy 7328 1832322 761 58915 2025 108763 181136 4022430 11.67 30.89 -- 2266.64/568.17 c N dy 7401 1855630 761 58915 2025 71124 181136 2020732 11.67 12.65 -- 2292.97/574.71 c N dy 7472 1876991 761 58915 2025 91806 181136 3044514 11.66 12.47 -- 2322.14/582.06 c N dy 7547 1897491 761 58915 2025 111705 181136 4109225 11.67 12.33 -- 2349.63/588.95 c N dy 7622 1917507 761 58915 2025 70022 181136 1967816 11.67 14.86 -- 2372.37/594.62 c N dy 7700 1937523 761 58915 2025 89500 181136 2959212 11.67 18.97 -- 2404.30/602.68 c N dy 7779 1957533 761 58915 2025 108791 181136 3873737 11.67 23.20 -- 2435.41/610.44 c N dy 7855 1977624 761 58915 2025 66255 181136 1761889 11.68 20.46 -- 2458.54/616.25 c N dy 7948 1997674 761 58915 2025 85734 181136 2803007 11.69 12.48 -- 2492.07/624.68 c N dy 8030 2019771 761 58915 2025 107078 181136 3905114 11.69 12.32 -- 2531.57/634.58 c N dy 8131 2042363 761 58915 2025 66028 181136 1733306 11.70 12.36 -- 2553.91/640.19 c N dy 8205 2062728 761 58915 2025 85709 181136 2708007 11.70 12.39 -- 2585.06/647.96 c N dy 8291 2084585 761 58915 2025 106911 181136 3765334 11.71 12.42 -- 2617.74/656.10 c N dy 8344 2104641 761 58915 2025 126341 181136 4747508 11.70 16.33 -- 2641.68/662.13 c N dy 8410 2124719 761 58915 2025 81799 181136 2479363 11.70 16.09 -- 2670.41/669.37 c N dy 8513 2144721 761 58915 2025 101226 181136 3489806 11.71 22.83 -- 2707.53/678.70 c N dy 8620 2164779 761 58915 2025 120724 181136 4523269 11.73 12.37 -- 2735.05/685.59 c N dy 8689 2185562 761 58915 2025 75948 181136 2199364 11.73 12.41 -- 2761.79/692.29 c N dy 8765 2207022 761 58915 2025 96668 181136 3274302 11.73 12.38 -- 2768.17/693.82 c S st 8787 2210843 761 58915 2025 100382 181136 3472791 11.73 no data -- 2769.39/694.17 c S st 8787 2211343 761 58915 2025 100881 181136 3490510 11.73 no data -- 2769.39/694.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2769.39/694.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2770.56/694.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.4M T: 1.11 2770.96/694.56 c bin-w-bin subsume rem 0 bins time: 0.02 s 2774.19/695.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.96 s 2774.19/695.39 c Subs w/ non-existent bins: 0 l-rem: 2888 v-fix: 0 done: 123 time: 0.34 s 2774.55/695.40 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 3027.12/758.73 c lits-rem: 33 cl-subs: 1740 v-elim: 0 v-fix: 0 time: 252.56 s 3027.12/758.73 c vivif2 -- cl tried 58915 cl shrink 0 lits rem 0 time: 0.02 3027.52/758.87 c vivif2 -- cl tried 99141 cl shrink 8900 lits rem 115382 time: 0.53 3028.75/759.12 c asymm cl-useful: 0/1016/58915 lits-rem:0 time: 1.00 3028.75/759.13 c calculated reachability. Time: 0.00 3028.75/759.13 c N dy 8787 2211343 761 58915 2025 99141 181136 3340801 11.73 no data -- 3067.83/768.98 c N dy 8865 2232015 761 58915 2026 119157 181136 4337967 11.74 12.37 -- 3104.51/778.15 c N dy 8938 2252448 761 58915 2026 73075 181136 1980414 11.74 12.49 -- 3126.47/783.69 c N dy 8999 2272459 761 58915 2026 92388 181136 2915312 11.74 20.01 -- 3159.18/791.80 c N dy 9056 2292695 761 58915 2026 111957 181136 3844906 11.74 12.45 -- 3194.69/800.71 c N dy 9133 2312813 761 58915 2026 131337 181136 4831727 11.74 12.40 -- 3221.86/807.55 c N dy 9240 2332930 761 58915 2026 84136 181136 2574926 11.75 12.37 -- 3250.15/814.67 c N dy 9328 2353000 761 58915 2026 103534 181136 3543333 11.76 16.02 -- 3278.92/821.89 c N dy 9398 2373092 761 58915 2026 122996 181136 4505943 11.76 18.84 -- 3311.60/830.00 c N dy 9507 2393445 761 58915 2026 75005 181136 2096872 11.77 12.41 -- 3335.14/835.99 c N dy 9574 2413499 761 58915 2026 94258 181136 3015388 11.77 17.03 -- 3364.26/843.29 c N dy 9643 2433798 761 58915 2026 113818 181136 3960185 11.77 12.40 -- 3406.55/853.81 c N dy 9706 2456541 761 58915 2026 135749 181136 5012842 11.77 12.51 -- 3439.27/862.07 c N dy 9758 2478891 761 58915 2026 88218 181136 2294414 11.76 12.38 -- 3460.02/867.23 c N dy 9807 2498903 761 58915 2026 107537 181136 3231928 11.75 13.15 -- 3487.56/874.17 c N dy 9901 2519513 761 58915 2026 127486 181136 4228899 11.76 12.40 -- 3517.07/881.54 c N dy 9946 2540035 761 58915 2026 77987 181136 2113970 11.75 12.69 -- 3539.82/887.24 c N dy 10015 2560079 761 58915 2026 97354 181136 3105646 11.75 18.56 -- 3568.58/894.41 c N dy 10067 2580245 761 58915 2026 116721 181136 3998341 11.74 12.37 -- 3608.44/904.49 c N dy 10183 2600266 761 58915 2026 136040 181136 4964049 11.75 17.83 -- 3639.56/912.25 c N dy 10269 2620454 761 58915 2026 85243 181136 2475398 11.76 12.38 -- 3671.09/920.17 c N dy 10350 2640708 761 58915 2026 104798 181136 3416247 11.76 12.42 -- 3705.79/928.82 c N dy 10426 2660734 761 58915 2026 124054 181136 4354730 11.76 12.39 -- 3742.50/938.08 c N dy 10496 2680760 761 58915 2026 72007 181136 1803195 11.76 14.40 -- 3767.24/944.24 c N dy 10584 2701568 761 58915 2026 92086 181136 2808773 11.77 12.43 -- 3780.40/947.55 c S st 10617 2711346 761 58915 2026 101502 181136 3261201 11.77 9.75 -- 3781.60/947.86 c S st 10617 2711848 761 58915 2026 102004 181136 3279453 11.77 no data -- 3781.60/947.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 3781.60/947.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3782.80/948.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 7.3M T: 1.08 3783.22/948.25 c bin-w-bin subsume rem 0 bins time: 0.02 s 3786.00/948.91 c subs with bin: 76 lits-rem: 34 v-fix: 0 time: 2.66 s 3786.00/948.98 c Subs w/ non-existent bins: 0 l-rem: 2210 v-fix: 0 done: 323 time: 0.28 s 3786.00/948.98 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s 4013.03/1005.88 c lits-rem: 33 cl-subs: 1998 v-elim: 0 v-fix: 0 time: 226.95 s 4013.03/1005.89 c vivif2 -- cl tried 58890 cl shrink 0 lits rem 0 time: 0.03 4013.83/1006.02 c vivif2 -- cl tried 99955 cl shrink 8016 lits rem 95899 time: 0.53 4014.63/1006.26 c asymm cl-useful: 0/1523/58890 lits-rem:0 time: 0.96 4014.63/1006.27 c calculated reachability. Time: 0.00 4014.63/1006.27 c N dy 10617 2711848 761 58890 2026 99955 181063 3146364 11.77 no data -- 4047.73/1014.59 c N dy 10690 2731986 761 58890 2026 119313 181063 4114475 11.77 12.41 -- 4088.03/1024.69 c N dy 10780 2752069 761 58890 2026 138647 181063 5028189 11.77 16.04 -- 4123.93/1033.66 c N dy 10862 2772081 761 58890 2026 85730 181063 2400655 11.78 16.69 -- 4154.26/1041.22 c N dy 10928 2795174 761 58890 2026 108008 181063 3464514 11.77 12.50 -- 4188.98/1049.97 c N dy 11007 2815181 761 58890 2026 127340 181063 4457139 11.77 14.66 -- 4232.46/1060.86 c N dy 11111 2835412 761 58890 2026 73601 181063 1849834 11.78 12.46 -- 4256.40/1066.85 c N dy 11189 2855482 761 58890 2026 93003 181063 2810074 11.79 19.76 -- 4289.52/1075.17 c N dy 11263 2876259 761 58890 2026 113020 181063 3792258 11.79 12.73 -- 4331.84/1085.78 c N dy 11342 2896348 761 58890 2026 132468 181063 4772207 11.79 17.10 -- 4379.30/1097.66 c N dy 11438 2916745 761 58890 2026 77847 181063 2029665 11.80 12.54 -- 4407.21/1104.63 c N dy 11508 2936803 761 58890 2026 97196 181063 2909507 11.80 22.25 -- 4437.94/1112.32 c N dy 11572 2956949 761 58890 2026 116541 181063 3813948 11.80 12.47 -- 4469.87/1120.34 c N dy 11652 2976956 761 58890 2026 135809 181063 4775392 11.80 15.06 -- 4506.17/1129.48 c N dy 11716 2997601 761 58890 2026 80502 181063 2130950 11.80 12.59 -- 4559.65/1142.82 c N dy 11739 3029502 761 58890 2026 110349 181063 2854186 11.78 12.42 -- 4589.56/1150.38 c N dy 11778 3050754 761 58890 2026 130599 181063 3625130 11.77 12.44 -- 4619.88/1157.98 c N dy 11841 3070843 761 58890 2026 149876 181063 4571249 11.77 20.89 -- 4644.62/1164.17 c N dy 11911 3090965 761 58890 2026 93841 181063 2726669 11.76 12.51 -- 4672.96/1171.21 c N dy 11939 3110991 761 58890 2026 112957 181063 3454578 11.75 14.13 -- 4704.07/1179.00 c N dy 12029 3131044 761 58890 2026 132261 181063 4403731 11.76 12.50 -- 4743.98/1189.10 c N dy 12074 3154383 761 58890 2027 78024 181063 1939384 11.75 12.40 -- 4768.31/1195.17 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: 961) 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-3369485-1305390924/watcher-3369485-1305390924 -o /tmp/evaluation-result-3369485-1305390924/solver-3369485-1305390924 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369485-1305390924.cnf running on 4 cores: 0,2,4,6 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.57 7.87 6.93 5/310 17836 /proc/meminfo: memFree=16454400/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=183276 CPUtime=0 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) D 17834 17836 17640 0 -1 4202496 1276 0 0 0 0 0 0 0 25 0 4 0 650692082 187674624 1189 33554432000 4194304 4650419 140734643067120 18446744073709551615 274473628357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 62207 1192 340 112 0 57172 0 [pid=17836/tid=17837] ppid=17834 vsize=282676 CPUtime=0 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 506 0 0 0 0 0 0 0 25 0 4 0 650692083 289460224 2226 33554432000 4194304 4650419 140734643067120 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=282676 CPUtime=0 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 564 0 0 0 0 0 0 0 25 0 4 0 650692083 289460224 2229 33554432000 4194304 4650419 140734643067120 18446744073709551615 4545909 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=282676 CPUtime=0 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 306 0 0 0 0 0 0 0 25 0 4 0 650692083 289460224 2231 33554432000 4194304 4650419 140734643067120 18446744073709551615 274474072558 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.114077 s] /proc/loadavg: 7.57 7.87 6.93 5/310 17836 /proc/meminfo: memFree=16454400/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=288404 CPUtime=0.42 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 6406 0 0 0 41 1 0 0 25 0 4 0 650692082 295325696 6319 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 72101 6319 369 112 0 67066 0 [pid=17836/tid=17837] ppid=17834 vsize=288404 CPUtime=0.1 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1491 0 0 0 10 0 0 0 25 0 4 0 650692083 295325696 6319 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369867 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=288404 CPUtime=0.1 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1538 0 0 0 10 0 0 0 25 0 4 0 650692083 295325696 6319 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369860 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=288404 CPUtime=0.09 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1524 0 0 0 9 0 0 0 25 0 4 0 650692083 295325696 6319 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 288404 [startup+0.201061 s] /proc/loadavg: 7.57 7.87 6.93 5/310 17836 /proc/meminfo: memFree=16454400/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=288404 CPUtime=0.77 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 6435 0 0 0 76 1 0 0 25 0 4 0 650692082 295325696 6348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369313 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 72101 6348 369 112 0 67066 0 [pid=17836/tid=17837] ppid=17834 vsize=288404 CPUtime=0.19 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1491 0 0 0 19 0 0 0 25 0 4 0 650692083 295325696 6348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369226 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=288404 CPUtime=0.19 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1538 0 0 0 19 0 0 0 25 0 4 0 650692083 295325696 6348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369336 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=288404 CPUtime=0.17 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1553 0 0 0 17 0 0 0 25 0 4 0 650692083 295325696 6348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 288404 [startup+0.301044 s] /proc/loadavg: 7.57 7.87 6.93 5/310 17836 /proc/meminfo: memFree=16454400/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=288404 CPUtime=1.17 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 6463 0 0 0 116 1 0 0 25 0 4 0 650692082 295325696 6376 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369332 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 72101 6376 369 112 0 67066 0 [pid=17836/tid=17837] ppid=17834 vsize=288404 CPUtime=0.29 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1491 0 0 0 29 0 0 0 25 0 4 0 650692083 295325696 6376 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369211 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=288404 CPUtime=0.29 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1538 0 0 0 29 0 0 0 25 0 4 0 650692083 295325696 6376 33554432000 4194304 4650419 140734643067120 18446744073709551615 4369270 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=288404 CPUtime=0.27 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1581 0 0 0 27 0 0 0 25 0 4 0 650692083 295325696 6376 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 288404 [startup+0.700975 s] /proc/loadavg: 7.57 7.87 6.93 5/310 17836 /proc/meminfo: memFree=16454400/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=297060 CPUtime=2.76 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 10705 0 0 0 274 2 0 0 25 0 4 0 650692082 304189440 7975 33554432000 4194304 4650419 140734643067120 18446744073709551615 4457437 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 74265 7981 379 112 0 69230 0 [pid=17836/tid=17837] ppid=17834 vsize=297060 CPUtime=0.69 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 3062 0 0 0 69 0 0 0 25 0 4 0 650692083 304189440 7989 33554432000 4194304 4650419 140734643067120 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=297060 CPUtime=0.68 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 3144 0 0 0 68 0 0 0 25 0 4 0 650692083 304189440 7998 33554432000 4194304 4650419 140734643067120 18446744073709551615 274473664615 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=297060 CPUtime=0.67 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1684 0 0 0 67 0 0 0 25 0 4 0 650692083 304189440 8001 33554432000 4194304 4650419 140734643067120 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 297060 [startup+1.50084 s] /proc/loadavg: 7.57 7.87 6.93 10/314 17840 /proc/meminfo: memFree=16359012/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=298800 CPUtime=5.94 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 19876 0 0 0 590 4 0 0 18 0 4 0 650692082 305971200 17119 33554432000 4194304 4650419 140734643067120 18446744073709551615 4328270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 74700 17119 391 112 0 69665 0 [pid=17836/tid=17837] ppid=17834 vsize=298800 CPUtime=1.49 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 5950 0 0 0 148 1 0 0 18 0 4 0 650692083 305971200 17119 33554432000 4194304 4650419 140734643067120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=298800 CPUtime=1.48 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 5647 0 0 0 148 0 0 0 18 0 4 0 650692083 305971200 17120 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=298800 CPUtime=1.46 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 1891 0 0 0 146 0 0 0 25 0 4 0 650692083 305971200 17120 33554432000 4194304 4650419 140734643067120 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 298800 [startup+3.10055 s] /proc/loadavg: 7.57 7.87 6.93 9/314 17840 /proc/meminfo: memFree=16347996/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=306400 CPUtime=12.33 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 25595 0 0 0 1228 5 0 0 21 0 4 0 650692082 313753600 18197 33554432000 4194304 4650419 140734643067120 18446744073709551615 4331879 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 76600 18197 394 112 0 71565 0 [pid=17836/tid=17837] ppid=17834 vsize=306400 CPUtime=3.08 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 7565 0 0 0 307 1 0 0 21 0 4 0 650692083 313753600 18197 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=306400 CPUtime=3.08 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 6694 0 0 0 307 1 0 0 21 0 4 0 650692083 313753600 18197 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=306400 CPUtime=3.06 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 2982 0 0 0 305 1 0 0 25 0 4 0 650692083 313753600 18197 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 306400 [startup+6.30099 s] /proc/loadavg: 7.60 7.88 6.94 9/314 17840 /proc/meminfo: memFree=16264940/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=328884 CPUtime=25.1 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 45083 0 0 0 2502 8 0 0 25 0 4 0 650692082 336777216 35228 33554432000 4194304 4650419 140734643067120 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 82221 35228 395 112 0 77186 0 [pid=17836/tid=17837] ppid=17834 vsize=328884 CPUtime=6.29 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 13325 0 0 0 627 2 0 0 25 0 4 0 650692083 336777216 35228 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=328884 CPUtime=6.28 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 9654 0 0 0 627 1 0 0 25 0 4 0 650692083 336777216 35228 33554432000 4194304 4650419 140734643067120 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=328884 CPUtime=6.22 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 9842 0 0 0 621 1 0 0 25 0 4 0 650692083 336777216 35228 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 328884 [startup+12.7009 s] /proc/loadavg: 7.63 7.88 6.94 9/314 17841 /proc/meminfo: memFree=16091588/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=322300 CPUtime=50.63 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 59250 0 0 0 5053 10 0 0 25 0 4 0 650692082 330035200 35475 33554432000 4194304 4650419 140734643067120 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 80575 35475 395 112 0 75540 0 [pid=17836/tid=17837] ppid=17834 vsize=322300 CPUtime=12.69 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 17511 0 0 0 1266 3 0 0 25 0 4 0 650692083 330035200 35475 33554432000 4194304 4650419 140734643067120 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=322300 CPUtime=12.68 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 11807 0 0 0 1267 1 0 0 25 0 4 0 650692083 330035200 35475 33554432000 4194304 4650419 140734643067120 18446744073709551615 4333964 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=322300 CPUtime=12.55 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 15054 0 0 0 1253 2 0 0 25 0 4 0 650692083 330035200 35475 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 322300 [startup+25.5006 s] /proc/loadavg: 7.71 7.88 6.96 9/314 17841 /proc/meminfo: memFree=15761192/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=374284 CPUtime=101.7 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 89823 0 0 0 10154 16 0 0 25 0 4 0 650692082 383266816 48299 33554432000 4194304 4650419 140734643067120 18446744073709551615 4436184 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 93571 48299 395 112 0 88536 0 [pid=17836/tid=17837] ppid=17834 vsize=374284 CPUtime=25.48 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 25699 0 0 0 2544 4 0 0 25 0 4 0 650692083 383266816 48299 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=374284 CPUtime=25.48 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 17586 0 0 0 2546 2 0 0 25 0 4 0 650692083 383266816 48299 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=374284 CPUtime=25.22 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 23276 0 0 0 2518 4 0 0 25 0 4 0 650692083 383266816 48299 33554432000 4194304 4650419 140734643067120 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 374284 [startup+51.1011 s] /proc/loadavg: 7.89 7.91 6.99 9/314 17842 /proc/meminfo: memFree=15658416/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=405632 CPUtime=203.85 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 131268 0 0 0 20358 27 0 0 25 0 4 0 650692082 415367168 57287 33554432000 4194304 4650419 140734643067120 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 101408 57287 395 112 0 96373 0 [pid=17836/tid=17837] ppid=17834 vsize=405632 CPUtime=51.09 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 40199 0 0 0 5101 8 0 0 25 0 4 0 650692083 415367168 57287 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=405632 CPUtime=51.08 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 24963 0 0 0 5104 4 0 0 25 0 4 0 650692083 415367168 57287 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=405632 CPUtime=50.57 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 33196 0 0 0 5050 7 0 0 25 0 4 0 650692083 415367168 57287 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 203.85 Current children cumulated vsize (KiB) 405632 [startup+102.301 s] /proc/loadavg: 7.99 7.93 7.05 9/314 17843 /proc/meminfo: memFree=15228876/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=434300 CPUtime=408.16 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 216049 0 0 0 40768 48 0 0 25 0 4 0 650692082 444723200 68704 33554432000 4194304 4650419 140734643067120 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 108575 68704 395 112 0 103540 0 [pid=17836/tid=17837] ppid=17834 vsize=434300 CPUtime=102.29 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 68850 0 0 0 10214 15 0 0 25 0 4 0 650692083 444723200 68708 33554432000 4194304 4650419 140734643067120 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=434300 CPUtime=102.29 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 36267 0 0 0 10222 7 0 0 25 0 4 0 650692083 444723200 68708 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=434300 CPUtime=101.26 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 56741 0 0 0 10113 13 0 0 25 0 4 0 650692083 444723200 68708 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.16 Current children cumulated vsize (KiB) 434300 [startup+162.301 s] ################ # More data... # ################ [pid=17836] ppid=17834 vsize=832320 CPUtime=2562.7 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 735326 0 0 0 256068 202 0 0 25 0 4 0 650692082 852295680 149315 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 208080 149315 395 112 0 203045 0 [pid=17836/tid=17837] ppid=17834 vsize=832320 CPUtime=642.29 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 309865 0 0 0 64151 78 0 0 25 0 4 0 650692083 852295680 149315 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=832320 CPUtime=642.29 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 110804 0 0 0 64199 30 0 0 25 0 4 0 650692083 852295680 149315 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=832320 CPUtime=635.89 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 139069 0 0 0 63547 42 0 0 25 0 4 0 650692083 852295680 149315 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2562.7 Current children cumulated vsize (KiB) 832320 [startup+702.301 s] /proc/loadavg: 8.08 8.08 7.54 9/314 17859 /proc/meminfo: memFree=12723992/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=849436 CPUtime=2802.08 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 785297 0 0 0 279993 215 0 0 25 0 4 0 650692082 869822464 150788 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476466 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 212359 150788 395 112 0 207324 0 [pid=17836/tid=17837] ppid=17834 vsize=849436 CPUtime=702.3 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 339161 0 0 0 70147 83 0 0 25 0 4 0 650692083 869822464 150788 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=849436 CPUtime=702.3 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 112764 0 0 0 70199 31 0 0 25 0 4 0 650692083 869822464 150788 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=849436 CPUtime=695.28 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 150805 0 0 0 69482 46 0 0 25 0 4 0 650692083 869822464 150788 33554432000 4194304 4650419 140734643067120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2802.08 Current children cumulated vsize (KiB) 849436 [startup+762.301 s] /proc/loadavg: 8.07 8.08 7.57 9/314 17861 /proc/meminfo: memFree=12722800/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=849776 CPUtime=3041.5 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 809638 0 0 0 303924 226 0 0 25 0 4 0 650692082 870170624 147984 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 212444 147984 395 112 0 207409 0 [pid=17836/tid=17837] ppid=17834 vsize=849776 CPUtime=762.31 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 353501 0 0 0 76142 89 0 0 25 0 4 0 650692083 870170624 147985 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=849776 CPUtime=762.31 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 120317 0 0 0 76197 34 0 0 25 0 4 0 650692083 870170624 147985 33554432000 4194304 4650419 140734643067120 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=849776 CPUtime=754.69 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 152444 0 0 0 75421 48 0 0 25 0 4 0 650692083 870170624 147985 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476336 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3041.5 Current children cumulated vsize (KiB) 849776 [startup+822.3 s] /proc/loadavg: 8.06 8.07 7.60 9/314 17862 /proc/meminfo: memFree=12721740/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=915884 CPUtime=3280.87 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 841254 0 0 0 327847 240 0 0 25 0 4 0 650692082 937865216 151398 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 228971 151398 395 112 0 223936 0 [pid=17836/tid=17837] ppid=17834 vsize=915884 CPUtime=822.3 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 366182 0 0 0 82135 95 0 0 25 0 4 0 650692083 937865216 151398 33554432000 4194304 4650419 140734643067120 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=915884 CPUtime=822.3 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 125377 0 0 0 82194 36 0 0 25 0 4 0 650692083 937865216 151398 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=915884 CPUtime=814.09 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 154250 0 0 0 81360 49 0 0 25 0 4 0 650692083 937865216 151398 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3280.87 Current children cumulated vsize (KiB) 915884 [startup+882.312 s] /proc/loadavg: 8.07 8.07 7.62 9/314 17864 /proc/meminfo: memFree=12712480/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=852156 CPUtime=3520.3 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 876570 0 0 0 351776 254 0 0 25 0 4 0 650692082 872607744 145110 33554432000 4194304 4650419 140734643067120 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 213039 145110 399 112 0 208004 0 [pid=17836/tid=17837] ppid=17834 vsize=852156 CPUtime=882.31 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 378692 0 0 0 88131 100 0 0 25 0 4 0 650692083 872607744 145110 33554432000 4194304 4650419 140734643067120 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=852156 CPUtime=882.31 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 127203 0 0 0 88194 37 0 0 25 0 4 0 650692083 872607744 145110 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=852156 CPUtime=873.5 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 165414 0 0 0 87296 54 0 0 25 0 4 0 650692083 872607744 145110 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3520.3 Current children cumulated vsize (KiB) 852156 [startup+942.3 s] /proc/loadavg: 8.13 8.09 7.66 9/314 17865 /proc/meminfo: memFree=12728916/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=852416 CPUtime=3759.66 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 915150 0 0 0 375698 268 0 0 25 0 4 0 650692082 872873984 145735 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 213104 145735 395 112 0 208069 0 [pid=17836/tid=17837] ppid=17834 vsize=852416 CPUtime=942.3 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 392110 0 0 0 94128 102 0 0 25 0 4 0 650692083 872873984 145735 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=852416 CPUtime=942.3 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 132753 0 0 0 94191 39 0 0 25 0 4 0 650692083 872873984 145735 33554432000 4194304 4650419 140734643067120 18446744073709551615 4364427 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=852416 CPUtime=932.89 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 172960 0 0 0 93231 58 0 0 25 0 4 0 650692083 872873984 145735 33554432000 4194304 4650419 140734643067120 18446744073709551615 4315244 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3759.66 Current children cumulated vsize (KiB) 852416 [startup+1002.3 s] /proc/loadavg: 8.16 8.10 7.68 9/314 17867 /proc/meminfo: memFree=12665860/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=917960 CPUtime=3999.06 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 935183 0 0 0 399631 275 0 0 25 0 4 0 650692082 939991040 152784 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 229490 152784 395 112 0 224455 0 [pid=17836/tid=17837] ppid=17834 vsize=917960 CPUtime=1002.3 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 400109 0 0 0 100127 103 0 0 25 0 4 0 650692083 939991040 152784 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=917960 CPUtime=1002.3 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 137755 0 0 0 100189 41 0 0 25 0 4 0 650692083 939991040 152784 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=917960 CPUtime=992.29 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 179226 0 0 0 99167 62 0 0 25 0 4 0 650692083 939991040 152784 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3999.06 Current children cumulated vsize (KiB) 917960 [startup+1062.3 s] /proc/loadavg: 8.12 8.09 7.71 9/314 17869 /proc/meminfo: memFree=12637160/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=899076 CPUtime=4238.45 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 961818 0 0 0 423558 287 0 0 25 0 4 0 650692082 920653824 148092 33554432000 4194304 4650419 140734643067120 18446744073709551615 4314730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 224769 148092 395 112 0 219734 0 [pid=17836/tid=17837] ppid=17834 vsize=899076 CPUtime=1062.3 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 412594 0 0 0 106121 109 0 0 25 0 4 0 650692083 920653824 148092 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=899076 CPUtime=1062.3 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 143155 0 0 0 106187 43 0 0 25 0 4 0 650692083 920653824 148092 33554432000 4194304 4650419 140734643067120 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=899076 CPUtime=1051.7 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 179226 0 0 0 105108 62 0 0 25 0 4 0 650692083 920653824 148092 33554432000 4194304 4650419 140734643067120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4238.45 Current children cumulated vsize (KiB) 899076 [startup+1122.3 s] /proc/loadavg: 8.16 8.10 7.73 9/314 17870 /proc/meminfo: memFree=12561696/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=918976 CPUtime=4477.84 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 1074079 0 0 0 447474 310 0 0 25 0 4 0 650692082 941031424 155348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 229744 155348 395 112 0 224709 0 [pid=17836/tid=17837] ppid=17834 vsize=918976 CPUtime=1122.3 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 424833 0 0 0 112116 114 0 0 25 0 4 0 650692083 941031424 155348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=918976 CPUtime=1122.31 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 234245 0 0 0 112175 56 0 0 25 0 4 0 650692083 941031424 155348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=918976 CPUtime=1111.09 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 181183 0 0 0 111046 63 0 0 25 0 4 0 650692083 941031424 155348 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4477.84 Current children cumulated vsize (KiB) 918976 [startup+1182.3 s] /proc/loadavg: 7.86 8.02 7.73 9/314 17903 /proc/meminfo: memFree=16443708/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=927408 CPUtime=4717.24 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 1112582 0 0 0 471399 325 0 0 25 0 4 0 650692082 949665792 166271 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 231852 166271 395 112 0 226817 0 [pid=17836/tid=17837] ppid=17834 vsize=927408 CPUtime=1182.3 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 437710 0 0 0 118112 118 0 0 25 0 4 0 650692083 949665792 166271 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=927408 CPUtime=1182.3 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 239387 0 0 0 118172 58 0 0 25 0 4 0 650692083 949665792 166271 33554432000 4194304 4650419 140734643067120 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=927408 CPUtime=1170.5 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 190360 0 0 0 116982 68 0 0 25 0 4 0 650692083 949665792 166271 33554432000 4194304 4650419 140734643067120 18446744073709551615 4328947 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4717.24 Current children cumulated vsize (KiB) 927408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.1 s] /proc/loadavg: 7.90 8.02 7.73 9/314 17903 /proc/meminfo: memFree=16356012/32950928 swapFree=67111348/67111528 [pid=17836] ppid=17834 vsize=861204 CPUtime=4800.25 cores=0,2,4,6 /proc/17836/stat : 17836 (strangenight1-m) R 17834 17836 17640 0 -1 4202496 1126093 0 0 0 479696 329 0 0 25 0 4 0 650692082 881872896 172291 33554432000 4194304 4650419 140734643067120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/17836/statm: 215301 172291 395 112 0 210266 0 [pid=17836/tid=17837] ppid=17834 vsize=861204 CPUtime=1203.11 cores=0,2,4,6 /proc/17836/task/17837/stat : 17837 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 441645 0 0 0 120192 119 0 0 25 0 4 0 650692083 881872896 172292 33554432000 4194304 4650419 140734643067120 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=17836/tid=17838] ppid=17834 vsize=861204 CPUtime=1203.12 cores=0,2,4,6 /proc/17836/task/17838/stat : 17838 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 243462 0 0 0 120253 59 0 0 25 0 4 0 650692083 881872896 172292 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=17836/tid=17839] ppid=17834 vsize=861204 CPUtime=1191.1 cores=0,2,4,6 /proc/17836/task/17839/stat : 17839 (strangenight1-m) R 17834 17836 17640 0 -1 4202560 195157 0 0 0 119039 71 0 0 25 0 4 0 650692083 881872896 172292 33554432000 4194304 4650419 140734643067120 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 861204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.15 CPU time (s): 4800.32 CPU user time (s): 4797 CPU system time (s): 3.32749 CPU usage (%): 398.98 Max. virtual memory (cumulated for all children) (KiB): 1050064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797 system time used= 3.32749 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1126095 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= 3128 involuntary context switches= 23819 runsolver used 3.55246 second user time and 8.48871 second system time The end
Begin job on node125 at 2011-05-14 18:35:24 IDJOB=3369485 IDBENCH=71078 IDSOLVER=1846 FILE ID=node125/3369485-1305390924 RUNJOBID= node125-1305389662-17658 PBS_JOBID= 13324445 Free space on /tmp= 73164 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) 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-3369485-1305390924/watcher-3369485-1305390924 -o /tmp/evaluation-result-3369485-1305390924/solver-3369485-1305390924 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369485-1305390924.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f RANDOM SEED=88975626 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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 : 5332.82 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.828 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.74 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.828 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.75 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.828 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 16454556 kB Buffers: 286412 kB Cached: 4907952 kB SwapCached: 0 kB Active: 12327764 kB Inactive: 3789688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 16454556 kB SwapTotal: 67111528 kB SwapFree: 67111348 kB Dirty: 27548 kB Writeback: 0 kB AnonPages: 10923340 kB Mapped: 30008 kB Slab: 279180 kB PageTables: 37516 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 51990976 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= 73184 MiB End job on node125 at 2011-05-14 18:55:29