| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.18 | 1202.86 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf |
| MD5SUM | c57904e3ea235f276cacd03d81f1155b |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.75673 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368672-1305400395.cnf' 0.00/0.01 c -- header says num vars: 10000 0.00/0.01 c -- header says num clauses: 42000 0.20/0.10 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.20/0.10 c -- vars added 10000 0.20/0.10 c Parsing time: 0.10 s 0.20/0.10 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.20/0.10 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.20/0.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.20/0.15 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.20/0.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.20/0.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.20/0.15 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 3.60/0.97 c lits-rem: 0 cl-subs: 0 v-elim: 375 v-fix: 0 time: 0.33 s 3.60/0.97 c Finding binary XORs T: 0.01 s found: 0 3.60/0.97 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 3.60/0.97 c calculated reachability. Time: 0.00 3.60/0.97 c Calc default polars - time: 0.01 s pos: 4412 undec: 1224 neg: 4364 3.60/0.97 c ========================================================================================= 3.60/0.97 c types(t): F = full restart, N = normal restart 3.60/0.97 c types(t): S = simplification begin/end, E = solution found 3.60/0.97 c restart types(rt): st = static, dy = dynamic 3.60/0.97 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.60/0.97 c B st 0 0 9625 41510 0 0 126594 0 no data no data -- 3.60/0.97 c N dy 22 4110 9625 41510 0 4109 126594 648689 89.68 94.49 -- 5.52/1.45 c N dy 52 8207 9625 41510 0 4708 126594 333874 93.86 100.82 -- 7.90/2.07 c N dy 80 12244 9625 41510 0 8745 126594 931624 94.01 103.83 -- 10.70/2.71 c N dy 104 16321 9625 41510 0 7075 126594 390449 93.55 98.78 -- 13.10/3.35 c N dy 132 20464 9625 41510 0 11218 126594 1010689 93.40 100.97 -- 15.50/4.00 c N dy 157 24466 9625 41510 0 7849 126594 287264 93.10 98.28 -- 15.93/4.08 c F st 160 25000 9625 41510 0 8383 126594 364813 93.01 84.72 -- 19.49/4.95 c N dy 166 30003 9625 41510 0 13385 126594 1293563 93.01 no data -- 19.49/4.95 c S st 166 30003 9625 41510 0 13385 126594 1293563 93.01 no data -- 19.90/5.03 c S st 166 30507 9625 41510 0 13889 126594 1344990 93.01 no data -- 19.90/5.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.90/5.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.90/5.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 20.31/5.18 c bin-w-bin subsume rem 0 bins time: 0.01 s 20.31/5.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 20.31/5.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 20.31/5.18 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 27.46/6.97 c lits-rem: 44 cl-subs: 4 v-elim: 0 v-fix: 0 time: 7.08 s 27.86/7.02 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.20 27.86/7.02 c calculated reachability. Time: 0.00 27.86/7.02 c N dy 166 30507 9625 41510 0 13885 126594 1344334 93.01 no data -- 30.65/7.75 c N dy 195 34580 9625 41510 0 9270 126594 316677 93.23 98.83 -- 33.48/8.44 c N dy 224 38659 9625 41510 0 13349 126594 933769 93.44 99.48 -- 36.64/9.20 c N dy 252 42811 9625 41510 0 17500 126594 1548958 93.50 101.84 -- 38.63/9.77 c S st 271 45761 9625 41510 0 10607 126594 334389 93.40 no data -- 39.03/9.85 c S st 271 46261 9625 41510 0 11107 126594 387406 93.40 no data -- 39.03/9.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 39.03/9.86 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.03/9.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 39.43/9.92 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.43/9.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 39.43/9.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 39.43/9.93 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 45.42/11.45 c lits-rem: 19 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.07 s 45.42/11.45 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 45.42/11.46 c vivif2 -- cl tried 11107 cl shrink 0 lits rem 0 time: 0.02 45.82/11.50 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.16 45.82/11.50 c calculated reachability. Time: 0.00 45.82/11.50 c N dy 271 46261 9625 41510 0 11107 126594 387387 93.40 no data -- 48.21/12.16 c N dy 297 50264 9625 41510 0 15108 126594 988235 93.65 100.27 -- 51.04/12.87 c N dy 327 54284 9625 41510 0 19128 126594 1610795 94.05 99.02 -- 54.20/13.60 c N dy 357 58330 9625 41510 0 12252 126594 419371 94.25 110.41 -- 56.59/14.29 c N dy 382 62476 9625 41510 0 16397 126594 1038979 94.21 100.74 -- 59.82/15.01 c N dy 406 66561 9625 41510 0 20482 126594 1659664 94.09 138.49 -- 61.77/15.53 c S st 426 69391 9625 41510 0 23312 126594 2076352 94.10 83.12 -- 62.17/15.62 c S st 426 69894 9625 41510 0 23815 126594 2132463 94.10 no data -- 62.17/15.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 62.17/15.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 62.17/15.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 62.98/15.81 c bin-w-bin subsume rem 0 bins time: 0.01 s 62.98/15.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 62.98/15.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 62.98/15.82 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 79.33/19.96 c lits-rem: 28 cl-subs: 1 v-elim: 0 v-fix: 0 time: 16.49 s 79.33/19.96 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 79.33/19.99 c vivif2 -- cl tried 23814 cl shrink 0 lits rem 0 time: 0.10 79.73/20.06 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.27 79.73/20.06 c calculated reachability. Time: 0.00 79.73/20.06 c N dy 426 69894 9625 41510 0 23814 126594 2132249 94.10 no data -- 82.93/20.85 c N dy 457 74367 9625 41510 0 16329 126594 884066 94.24 99.70 -- 86.52/21.74 c N dy 484 79188 9625 41510 0 21150 126594 1610648 94.16 114.98 -- 90.55/22.74 c N dy 519 84407 9625 41510 0 13390 126594 283041 94.21 99.22 -- 92.51/23.26 c F st 542 87501 9625 41510 0 16484 126594 745310 94.32 no data -- 95.30/23.90 c N st 547 90800 9625 41510 0 19782 126594 1403933 94.32 no data -- 99.69/25.01 c N dy 575 96617 9625 41510 0 25599 126594 2341807 94.46 99.59 -- 104.48/26.20 c N dy 614 103016 9625 41510 0 18006 126594 837313 94.56 99.59 -- 105.67/26.53 c S st 626 104841 9625 41510 0 19831 126594 1117273 94.55 no data -- 106.07/26.62 c S st 626 105344 9625 41510 0 20334 126594 1174238 94.55 no data -- 106.07/26.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 106.07/26.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 106.07/26.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 106.47/26.72 c bin-w-bin subsume rem 0 bins time: 0.01 s 106.47/26.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 106.47/26.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 106.47/26.73 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 114.86/28.82 c lits-rem: 25 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.31 s 114.86/28.82 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 114.86/28.83 c vivif2 -- cl tried 20333 cl shrink 0 lits rem 0 time: 0.06 114.86/28.89 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.23 114.86/28.89 c calculated reachability. Time: 0.00 114.86/28.89 c N dy 626 105344 9625 41510 0 20333 126594 1173763 94.55 no data -- 120.44/30.23 c N dy 675 112287 9625 41510 0 27276 126594 2220777 94.68 100.05 -- 126.02/31.60 c N dy 719 119481 9625 41510 0 19476 126594 925381 94.74 100.26 -- 131.62/33.05 c N dy 766 127298 9625 41510 0 27293 126594 2095915 94.69 102.81 -- 138.00/34.64 c N dy 822 135514 9625 41510 0 19514 126594 773225 94.86 103.42 -- 144.39/36.27 c N dy 879 144262 9625 41510 0 28260 126594 2089326 94.86 101.10 -- 151.58/38.06 c N dy 935 153558 9625 41510 0 20555 126594 787074 94.75 101.05 -- 155.16/38.90 c S st 966 158016 9625 41510 0 25013 126594 1480581 94.79 no data -- 155.16/38.99 c S st 966 158519 9625 41510 0 25516 126594 1538135 94.79 no data -- 155.56/39.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 155.56/39.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 155.56/39.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 155.97/39.12 c bin-w-bin subsume rem 0 bins time: 0.01 s 155.97/39.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 155.97/39.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 155.97/39.12 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 167.13/41.90 c lits-rem: 12 cl-subs: 2 v-elim: 0 v-fix: 0 time: 11.06 s 167.13/41.90 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 167.13/41.92 c vivif2 -- cl tried 25514 cl shrink 0 lits rem 0 time: 0.08 167.13/41.99 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.27 167.13/41.99 c calculated reachability. Time: 0.00 167.13/41.99 c N dy 966 158519 9625 41510 0 25514 126594 1537598 94.79 no data -- 175.51/44.09 c N dy 1029 168757 9625 41510 0 35752 126594 3096920 94.79 100.25 -- 183.88/46.15 c N dy 1086 179683 9625 41510 0 28675 126594 1860768 94.65 100.99 -- 193.07/48.49 c N dy 1164 191232 9625 41510 0 21231 126594 584875 94.69 100.23 -- 202.65/50.84 c N dy 1240 203450 9625 41510 0 33446 126594 2405269 94.70 103.09 -- 213.46/53.53 c N dy 1323 216470 9625 41510 0 26465 126594 1238932 94.76 117.67 -- 224.99/56.48 c N dy 1411 230383 9625 41510 0 40378 126594 3355437 94.76 101.39 -- 231.02/57.92 c S st 1459 237778 9625 41510 0 26770 126594 1110497 94.78 no data -- 231.38/58.02 c S st 1459 238282 9625 41510 0 27274 126594 1170485 94.78 no data -- 231.38/58.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 231.38/58.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 231.38/58.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 231.78/58.13 c bin-w-bin subsume rem 0 bins time: 0.01 s 231.78/58.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 231.78/58.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 231.78/58.14 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 240.56/60.32 c lits-rem: 21 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.69 s 240.56/60.32 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 240.56/60.34 c vivif2 -- cl tried 27273 cl shrink 0 lits rem 0 time: 0.06 240.96/60.41 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.27 240.96/60.41 c calculated reachability. Time: 0.00 240.96/60.41 c N dy 1459 238282 9625 41510 0 27273 126594 1170203 94.78 no data -- 253.73/63.61 c N dy 1558 253553 9625 41510 0 42541 126594 3503006 94.83 106.29 -- 267.29/67.08 c N dy 1670 270010 9625 41510 0 37005 126594 2578952 94.97 100.60 -- 282.07/70.77 c N dy 1789 287306 9625 41510 0 31306 126594 1513745 95.06 104.17 -- 298.03/74.70 c N dy 1908 305647 9625 41510 0 25645 126594 536100 95.12 100.67 -- 298.43/74.82 c F st 1913 306251 9625 41510 0 26249 126594 630035 95.12 no data -- 314.43/78.87 c N dy 2001 325186 9625 41510 0 45180 126594 3754773 95.07 106.77 -- 331.56/83.16 c N dy 2140 345272 9625 41510 0 40268 126594 2612029 95.18 104.90 -- 342.72/85.98 c S st 2223 357424 9625 41510 0 26423 126594 351092 95.22 no data -- 343.12/86.08 c S st 2223 357930 9625 41510 0 26929 126594 406374 95.22 no data -- 343.12/86.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 343.12/86.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 343.52/86.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 343.52/86.15 c bin-w-bin subsume rem 0 bins time: 0.01 s 343.52/86.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 343.52/86.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 343.52/86.16 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 349.90/87.70 c lits-rem: 3 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.11 s 349.90/87.70 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 349.90/87.71 c vivif2 -- cl tried 26929 cl shrink 0 lits rem 0 time: 0.02 349.90/87.77 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.26 349.90/87.77 c calculated reachability. Time: 0.00 349.90/87.77 c N dy 2223 357930 9625 41510 0 26929 126594 406371 95.22 no data -- 367.11/92.05 c N dy 2349 378034 9625 41510 0 47032 126594 3436836 95.23 102.66 -- 385.01/96.58 c N dy 2477 398316 9625 41510 0 40311 126594 2325461 95.32 100.46 -- 404.17/101.30 c N dy 2598 418377 9625 41510 0 32368 126594 977650 95.30 100.55 -- 421.74/105.78 c N dy 2723 438473 9625 41510 0 52462 126594 4043274 95.29 100.35 -- 439.70/110.25 c N dy 2864 458482 9625 41510 0 43474 126594 2512487 95.38 101.67 -- 458.45/114.96 c N dy 2991 478496 9625 41510 0 33492 126594 816962 95.39 100.62 -- 476.85/119.52 c N dy 3116 498726 9625 41510 0 53720 126594 3911240 95.40 105.71 -- 495.16/124.19 c N dy 3247 518979 9625 41510 0 42973 126594 2151628 95.50 100.53 -- 512.73/128.54 c S st 3363 536895 9625 41510 0 60887 126594 4909596 95.53 100.28 -- 513.13/128.69 c S st 3363 537396 9625 41510 0 61388 126594 4978431 95.53 no data -- 513.52/128.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 513.52/128.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 513.52/128.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.27 514.72/129.05 c bin-w-bin subsume rem 0 bins time: 0.01 s 514.72/129.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 514.72/129.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 514.72/129.06 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 793.68/198.97 c lits-rem: 0 cl-subs: 13 v-elim: 0 v-fix: 0 time: 278.48 s 793.68/198.98 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 794.08/199.04 c vivif2 -- cl tried 61375 cl shrink 0 lits rem 0 time: 0.25 794.48/199.18 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.57 794.48/199.19 c calculated reachability. Time: 0.00 794.48/199.19 c N dy 3363 537396 9625 41510 0 61375 126594 4974087 95.53 no data -- 813.64/203.94 c N dy 3483 557423 9625 41510 0 49408 126594 2965445 95.52 101.48 -- 834.79/209.22 c N dy 3617 577535 9625 41510 0 36526 126594 864785 95.57 103.03 -- 855.14/214.34 c N dy 3743 597567 9625 41510 0 56555 126594 3936321 95.62 101.18 -- 875.91/219.51 c N dy 3873 617621 9625 41510 0 42614 126594 1666020 95.64 108.23 -- 896.65/224.71 c N dy 3998 637764 9625 41510 0 62755 126594 4740824 95.69 100.81 -- 917.00/229.82 c N dy 4123 657822 9625 41510 0 47810 126594 2289644 95.71 101.04 -- 938.55/235.21 c N dy 4248 677928 9625 41510 0 67914 126594 5374897 95.70 101.44 -- 958.51/240.26 c N dy 4367 697940 9625 41510 0 51921 126594 2763135 95.67 101.52 -- 980.86/245.83 c N dy 4491 717974 9625 41510 0 71950 126594 5833145 95.67 122.41 -- 1001.21/250.91 c N dy 4610 738148 9625 41510 0 55130 126594 3081300 95.64 101.64 -- 1023.96/256.64 c N dy 4735 758204 9625 41510 0 75185 126594 6213923 95.68 106.78 -- 1044.31/261.71 c N dy 4870 778294 9625 41510 0 57277 126594 3311680 95.74 128.38 -- 1067.45/267.58 c N dy 5009 798428 9625 41510 0 77411 126594 6387324 95.77 105.46 -- 1075.04/269.47 c S st 5061 806094 9625 41510 0 46080 126594 1438122 95.76 no data -- 1075.84/269.60 c S st 5061 806597 9625 41510 0 46583 126594 1494658 95.76 no data -- 1075.84/269.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1075.84/269.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1075.84/269.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1076.24/269.74 c bin-w-bin subsume rem 0 bins time: 0.01 s 1076.24/269.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1076.24/269.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 1076.24/269.75 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1089.81/273.18 c lits-rem: 13 cl-subs: 1 v-elim: 0 v-fix: 0 time: 13.68 s 1089.81/273.19 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.02 1090.21/273.21 c vivif2 -- cl tried 46582 cl shrink 0 lits rem 0 time: 0.08 1090.61/273.32 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.44 1090.61/273.32 c calculated reachability. Time: 0.00 1090.61/273.32 c N dy 5061 806597 9625 41510 0 46582 126594 1494272 95.76 no data -- 1111.36/278.58 c N dy 5184 826689 9625 41510 0 66673 126594 4541578 95.75 105.27 -- 1134.11/284.23 c N dy 5305 846917 9625 41510 0 46904 126594 1421478 95.72 100.81 -- 1154.46/289.36 c N dy 5435 866994 9625 41510 0 66977 126594 4470190 95.73 103.95 -- 1176.40/294.88 c N dy 5567 887040 9625 41510 0 46029 126594 1160641 95.75 101.85 -- 1196.80/299.98 c N dy 5691 907308 9625 41510 0 66294 126594 4234146 95.75 101.51 -- 1219.90/305.72 c N dy 5819 927427 9625 41510 0 44416 126594 746833 95.76 102.07 -- 1239.86/310.78 c N dy 5954 947774 9625 41510 0 64763 126594 3860609 95.78 101.01 -- 1263.40/316.60 c N dy 6069 967863 9625 41510 0 84851 126594 6922314 95.76 106.65 -- 1283.36/321.66 c N dy 6204 987965 9625 41510 0 61947 126594 3316917 95.79 102.45 -- 1307.70/327.72 c N dy 6332 1007993 9625 41510 0 81973 126594 6393039 95.79 101.38 -- 1329.65/333.23 c N dy 6457 1028063 9625 41510 0 58045 126594 2555890 95.79 102.13 -- 1352.80/339.00 c N dy 6586 1048168 9625 41510 0 78149 126594 5620116 95.80 102.27 -- 1375.95/344.83 c N dy 6708 1068306 9625 41510 0 53289 126594 1652884 95.79 101.62 -- 1379.54/345.77 c F st 6733 1071876 9625 41510 0 56859 126594 2220937 95.81 no data -- 1397.50/350.29 c N dy 6816 1088329 9625 41510 0 73311 126594 4954667 95.82 102.71 -- 1421.83/356.39 c N dy 6944 1108414 9625 41510 0 47396 126594 612228 95.85 103.62 -- 1442.63/361.52 c N dy 7074 1128516 9625 41510 0 67496 126594 3708563 95.86 101.90 -- 1466.14/367.45 c N dy 7201 1148542 9625 41510 0 87520 126594 6785708 95.89 109.29 -- 1488.09/372.95 c N dy 7329 1168587 9625 41510 0 60571 126594 2470407 95.90 103.68 -- 1510.43/378.55 c N dy 7463 1188631 9625 41510 0 80613 126594 5550723 95.93 101.70 -- 1534.81/384.67 c N dy 7595 1208829 9625 41510 0 52811 126594 1139730 95.95 101.57 -- 1535.98/384.94 c S st 7603 1209895 9625 41510 0 53877 126594 1295903 95.95 no data -- 1536.38/385.08 c S st 7603 1210399 9625 41510 0 54381 126594 1352457 95.95 no data -- 1536.38/385.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1536.38/385.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1536.78/385.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1537.17/385.21 c bin-w-bin subsume rem 0 bins time: 0.01 s 1537.17/385.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1537.17/385.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 1537.17/385.22 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1549.14/388.21 c lits-rem: 3 cl-subs: 3 v-elim: 0 v-fix: 0 time: 11.89 s 1549.14/388.21 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 1549.14/388.23 c vivif2 -- cl tried 54378 cl shrink 0 lits rem 0 time: 0.07 1549.55/388.34 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.45 1549.55/388.35 c calculated reachability. Time: 0.00 1549.55/388.35 c N dy 7603 1210399 9625 41510 0 54378 126594 1352136 95.95 no data -- 1570.70/393.69 c N dy 7730 1230492 9625 41510 0 74469 126594 4436719 95.96 101.42 -- 1595.86/399.94 c N dy 7856 1250543 9625 41510 0 94519 126594 7501620 95.96 121.61 -- 1617.40/405.37 c N dy 7982 1270722 9625 41510 0 65701 126594 2970982 95.97 101.52 -- 1640.94/411.27 c N dy 8108 1290773 9625 41510 0 85750 126594 6059948 95.96 102.67 -- 1665.68/417.50 c N dy 8239 1310840 9625 41510 0 55819 126594 1333824 95.99 101.89 -- 1687.64/422.98 c N dy 8372 1330933 9625 41510 0 75910 126594 4400839 96.00 101.16 -- 1713.17/429.36 c N dy 8502 1351083 9625 41510 0 96060 126594 7488505 96.01 101.27 -- 1737.51/435.44 c N dy 8629 1371351 9625 41510 0 65338 126594 2658293 96.01 103.96 -- 1761.06/441.31 c N dy 8754 1391430 9625 41510 0 85417 126594 5721078 96.01 101.45 -- 1787.41/447.90 c N dy 8875 1411481 9625 41510 0 53468 126594 666701 96.00 101.24 -- 1808.55/453.28 c N dy 9015 1431630 9625 41510 0 73617 126594 3775623 96.03 101.28 -- 1833.68/459.56 c N dy 9158 1451642 9625 41510 0 93627 126594 6901093 96.07 103.96 -- 1858.83/465.86 c N dy 9289 1471708 9625 41510 0 60688 126594 1631972 96.10 105.55 -- 1881.62/471.58 c N dy 9426 1491825 9625 41510 0 80805 126594 4730171 96.12 101.61 -- 1907.53/478.09 c N dy 9561 1511826 9625 41510 0 100804 126594 7792714 96.14 101.59 -- 1931.46/484.02 c N dy 9693 1531828 9625 41510 0 66805 126594 2414131 96.14 101.56 -- 1955.01/489.98 c N dy 9827 1551892 9625 41510 0 86866 126594 5460956 96.14 102.58 -- 1982.58/496.85 c N dy 9962 1572005 9625 41510 0 106976 126594 8539921 96.16 101.65 -- 2006.09/502.79 c N dy 10093 1592035 9625 41510 0 72012 126594 3062401 96.16 115.00 -- 2032.03/509.28 c N dy 10228 1612125 9625 41510 0 92100 126594 6178179 96.19 101.29 -- 2062.75/516.93 c N dy 10351 1632132 9625 41510 0 56116 126594 484943 96.20 103.36 -- 2086.70/522.95 c N dy 10479 1652162 9625 41510 0 76145 126594 3566311 96.20 111.77 -- 2114.64/529.95 c N dy 10609 1672178 9625 41510 0 96157 126594 6652181 96.21 102.08 -- 2145.77/537.78 c N dy 10748 1692392 9625 41510 0 59372 126594 835583 96.23 101.57 -- 2167.31/543.19 c S st 10864 1710399 9625 41510 0 77377 126594 3605876 96.24 86.42 -- 2168.12/543.38 c S st 10864 1710902 9625 41510 0 77880 126594 3655326 96.24 no data -- 2168.12/543.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2168.12/543.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2168.52/543.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.34 2169.32/543.66 c bin-w-bin subsume rem 0 bins time: 0.01 s 2169.32/543.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2169.32/543.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.02 s 2169.32/543.67 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2321.37/581.72 c lits-rem: 3 cl-subs: 5 v-elim: 0 v-fix: 0 time: 151.64 s 2321.37/581.73 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 2321.37/581.78 c vivif2 -- cl tried 77875 cl shrink 0 lits rem 0 time: 0.20 2322.17/581.95 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.68 2322.17/581.95 c calculated reachability. Time: 0.00 2322.17/581.95 c N dy 10864 1710902 9625 41510 0 77875 126594 3654352 96.24 no data -- 2348.91/588.62 c N dy 10988 1730967 9625 41510 0 97939 126594 6757037 96.25 101.47 -- 2378.03/595.92 c N dy 11117 1751073 9625 41510 0 60049 126594 790997 96.26 101.86 -- 2400.78/601.62 c N dy 11258 1771217 9625 41510 0 80193 126594 3917612 96.28 103.53 -- 2426.32/608.09 c N dy 11381 1791323 9625 41510 0 100297 126594 6988372 96.29 102.31 -- 2455.05/615.29 c N dy 11527 1811367 9625 41510 0 61343 126594 840077 96.31 105.48 -- 2477.81/621.00 c N dy 11657 1831491 9625 41510 0 81467 126594 3933387 96.32 103.45 -- 2504.15/627.58 c N dy 11793 1851579 9625 41510 0 101552 126594 7012544 96.33 105.12 -- 2533.68/634.91 c N dy 11917 1871792 9625 41510 0 61769 126594 759565 96.33 101.49 -- 2556.42/640.65 c N dy 12041 1891998 9625 41510 0 81973 126594 3883755 96.34 101.64 -- 2583.16/647.33 c N dy 12175 1912126 9625 41510 0 102099 126594 7006022 96.36 101.87 -- 2613.09/654.86 c N dy 12306 1932130 9625 41510 0 61101 126594 513727 96.39 163.49 -- 2635.44/660.47 c N dy 12426 1952306 9625 41510 0 81275 126594 3621562 96.39 102.04 -- 2661.78/667.01 c N dy 12559 1972373 9625 41510 0 101339 126594 6728171 96.40 124.25 -- 2690.90/674.39 c N dy 12686 1992515 9625 41510 0 121479 126594 9808055 96.40 102.17 -- 2714.86/680.38 c N dy 12815 2012523 9625 41510 0 79499 126594 3215871 96.41 119.43 -- 2740.80/686.83 c N dy 12945 2032597 9625 41510 0 99570 126594 6316141 96.42 103.67 -- 2770.32/694.21 c N dy 13073 2052650 9625 41510 0 119623 126594 9434301 96.44 101.66 -- 2795.87/700.63 c N dy 13205 2072694 9625 41510 0 76669 126594 2596801 96.44 103.52 -- 2821.04/706.96 c N dy 13330 2092926 9625 41510 0 96901 126594 5695297 96.45 102.57 -- 2850.14/714.21 c N dy 13468 2112947 9625 41510 0 116920 126594 8782424 96.46 106.85 -- 2877.28/721.09 c N dy 13594 2132951 9625 41510 0 72929 126594 1875456 96.46 102.99 -- 2902.41/727.35 c N dy 13722 2153045 9625 41510 0 93022 126594 5007527 96.47 102.69 -- 2932.35/734.81 c N dy 13854 2173052 9625 41510 0 113026 126594 8079072 96.48 106.21 -- 2964.28/742.82 c N dy 13984 2193088 9625 41510 0 68066 126594 980195 96.49 102.85 -- 2985.83/748.28 c S st 14094 2210902 9625 41510 0 85878 126594 3728225 96.49 85.92 -- 2986.63/748.47 c S st 14094 2211409 9625 41510 0 86385 126594 3781920 96.49 no data -- 2986.63/748.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2986.63/748.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2987.03/748.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.35 2987.85/748.76 c bin-w-bin subsume rem 0 bins time: 0.01 s 2987.85/748.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2987.85/748.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 2987.85/748.77 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3157.03/791.15 c lits-rem: 0 cl-subs: 4 v-elim: 0 v-fix: 0 time: 168.87 s 3157.03/791.15 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.02 3157.43/791.20 c vivif2 -- cl tried 86381 cl shrink 0 lits rem 0 time: 0.21 3158.24/791.41 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.81 3158.24/791.41 c calculated reachability. Time: 0.00 3158.24/791.41 c N dy 14094 2211409 9625 41510 0 86381 126594 3781329 96.49 no data -- 3188.57/799.01 c N dy 14232 2231537 9625 41510 0 106504 126594 6904868 96.51 104.77 -- 3223.68/807.80 c N dy 14367 2251582 9625 41510 0 126547 126594 9996010 96.52 104.61 -- 3253.21/815.24 c N dy 14492 2271896 9625 41510 0 80865 126594 2861842 96.53 107.87 -- 3282.35/822.57 c N dy 14614 2292008 9625 41510 0 100973 126594 5944205 96.53 102.18 -- 3315.88/830.98 c N dy 14750 2312035 9625 41510 0 120997 126594 9030408 96.54 102.61 -- 3349.39/839.34 c N dy 14884 2332210 9625 41510 0 74175 126594 1639947 96.56 103.49 -- 3376.93/846.23 c N dy 15005 2352247 9625 41510 0 94210 126594 4731994 96.55 103.95 -- 3408.87/854.21 c N dy 15133 2372260 9625 41510 0 114221 126594 7817001 96.56 106.15 -- 3445.57/863.45 c N dy 15272 2392456 9625 41510 0 134414 126594 10939015 96.57 103.48 -- 3473.51/870.41 c N dy 15410 2412630 9625 41510 0 86596 126594 3427015 96.59 101.68 -- 3502.64/877.73 c N dy 15548 2432693 9625 41510 0 106658 126594 6523909 96.60 103.93 -- 3534.97/885.82 c N dy 15661 2452786 9625 41510 0 126750 126594 9588746 96.59 102.45 -- 3565.70/893.55 c N dy 15781 2472794 9625 41510 0 77758 126594 1911152 96.59 107.72 -- 3592.44/900.26 c N dy 15902 2492823 9625 41510 0 97786 126594 5021179 96.59 102.54 -- 3623.57/908.09 c N dy 16025 2513029 9625 41510 0 117992 126594 8143956 96.59 107.51 -- 3658.70/916.90 c N dy 16162 2533111 9625 41510 0 138070 126594 11302315 96.61 102.72 -- 3685.86/923.67 c N dy 16297 2553278 9625 41510 0 88245 126594 3356593 96.62 102.28 -- 3714.96/930.96 c N dy 16430 2573373 9625 41510 0 108337 126594 6430233 96.63 102.00 -- 3748.49/939.32 c N dy 16572 2593374 9625 41510 0 128338 126594 9544222 96.65 102.63 -- 3781.21/947.59 c N dy 16702 2613483 9625 41510 0 77452 126594 1573634 96.66 102.91 -- 3807.96/954.29 c N dy 16822 2633512 9625 41510 0 97481 126594 4662722 96.66 103.46 -- 3839.09/962.06 c N dy 16947 2653587 9625 41510 0 117555 126594 7745584 96.66 102.73 -- 3874.21/970.82 c N dy 17078 2673641 9625 41510 0 137607 126594 10801570 96.67 101.91 -- 3904.94/978.60 c N dy 17215 2693721 9625 41510 0 85686 126594 2656000 96.67 102.66 -- 3932.06/985.38 c S st 17347 2711409 9625 41510 0 103372 126594 5408385 96.70 no data -- 3933.26/985.63 c S st 17347 2711912 9625 41510 0 103875 126594 5464315 96.70 no data -- 3933.26/985.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3933.26/985.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3933.66/985.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.42 3934.87/986.04 c bin-w-bin subsume rem 0 bins time: 0.01 s 3934.87/986.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 3934.87/986.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.02 s 3934.87/986.05 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4325.97/1084.04 c lits-rem: 1 cl-subs: 9 v-elim: 0 v-fix: 0 time: 390.53 s 4325.97/1084.04 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.02 4326.38/1084.12 c vivif2 -- cl tried 103866 cl shrink 0 lits rem 0 time: 0.29 4327.16/1084.36 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.96 4327.16/1084.36 c calculated reachability. Time: 0.00 4327.16/1084.36 c N dy 17347 2711912 9625 41510 0 103866 126594 5461829 96.70 no data -- 4361.09/1092.81 c N dy 17483 2731960 9625 41510 0 123912 126594 8556586 96.70 104.65 -- 4397.40/1101.92 c N dy 17615 2752036 9625 41510 0 143986 126594 11663635 96.71 111.67 -- 4424.54/1108.78 c N dy 17742 2772096 9625 41510 0 91053 126594 3331517 96.72 101.90 -- 4454.47/1116.22 c N dy 17870 2792164 9625 41510 0 111119 126594 6430640 96.72 103.89 -- 4488.00/1124.66 c N dy 18006 2812175 9625 41510 0 131127 126594 9526486 96.73 106.23 -- 4523.93/1133.64 c N dy 18136 2832199 9625 41510 0 77154 126594 1059102 96.74 102.89 -- 4551.04/1140.42 c N dy 18269 2852205 9625 41510 0 97159 126594 4178435 96.75 103.14 -- 4581.77/1148.19 c N dy 18405 2872234 9625 41510 0 117187 126594 7256664 96.76 103.30 -- 4616.53/1156.83 c N dy 18529 2892255 9625 41510 0 137205 126594 10331419 96.76 104.35 -- 4650.43/1165.36 c N dy 18661 2912287 9625 41510 0 82243 126594 1687451 96.76 127.29 -- 4678.35/1172.34 c N dy 18791 2932330 9625 41510 0 102283 126594 4774047 96.77 102.49 -- 4710.28/1180.32 c N dy 18926 2952463 9625 41510 0 122414 126594 7868158 96.77 102.00 -- 4746.60/1189.44 c N dy 19061 2972580 9625 41510 0 142531 126594 11010552 96.78 102.66 -- 4778.54/1197.50 c N dy 19191 2992618 9625 41510 0 86576 126594 2239551 96.78 148.76 --
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-3368672-1305400395/watcher-3368672-1305400395 -o /tmp/evaluation-result-3368672-1305400395/solver-3368672-1305400395 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368672-1305400395.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.67 8.03 7.67 1/290 3099 /proc/meminfo: memFree=15893072/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=40992 CPUtime=0 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 3 0 107648950 41975808 352 33554432000 4194304 4650419 140734981219376 18446744073709551615 218880621553 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 10248 352 303 112 0 5213 0 [pid=3099/tid=3101] ppid=3097 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 107648951 52465664 358 33554432000 4194304 4650419 140734981219376 18446744073709551615 47150907467698 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 107648951 52465664 358 33554432000 4194304 4650419 140734981219376 18446744073709551615 47150907467287 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 107648951 52465664 358 33554432000 4194304 4650419 140734981219376 18446744073709551615 47150907467289 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.0692631 s] /proc/loadavg: 7.67 8.03 7.67 1/290 3099 /proc/meminfo: memFree=15893072/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=303176 CPUtime=0.2 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 8225 0 0 0 16 4 0 0 17 0 4 0 107648950 310452224 7250 33554432000 4194304 4650419 140734981219376 18446744073709551615 4370035 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 75794 7250 368 112 0 70759 0 [pid=3099/tid=3101] ppid=3097 vsize=303176 CPUtime=0.04 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 2017 0 0 0 4 0 0 0 18 0 4 0 107648951 310452224 7250 33554432000 4194304 4650419 140734981219376 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=303176 CPUtime=0.04 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 2077 0 0 0 4 0 0 0 18 0 4 0 107648951 310452224 7251 33554432000 4194304 4650419 140734981219376 18446744073709551615 4369301 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=303176 CPUtime=0.04 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 2029 0 0 0 3 1 0 0 18 0 4 0 107648951 310452224 7251 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 303176 [startup+0.100483 s] /proc/loadavg: 7.67 8.03 7.67 1/290 3099 /proc/meminfo: memFree=15893072/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=299016 CPUtime=0.33 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 11050 0 0 0 28 5 0 0 18 0 4 0 107648950 306192384 9331 33554432000 4194304 4650419 140734981219376 18446744073709551615 218880670239 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 75218 11608 385 112 0 70183 0 [pid=3099/tid=3101] ppid=3097 vsize=300872 CPUtime=0.12 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) S 3097 3099 2853 0 -1 4202560 4281 0 0 0 11 1 0 0 18 0 4 0 107648951 308092928 11631 33554432000 4194304 4650419 140734981219376 18446744073709551615 218880670190 0 0 4096 2 18446604456515416512 0 0 -1 7 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=300872 CPUtime=0.13 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 4155 0 0 0 12 1 0 0 18 0 4 0 107648951 308092928 11647 33554432000 4194304 4650419 140734981219376 18446744073709551615 218880262603 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=300872 CPUtime=0.12 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) S 3097 3099 2853 0 -1 4202560 2110 0 0 0 11 1 0 0 18 0 4 0 107648951 308092928 11659 33554432000 4194304 4650419 140734981219376 18446744073709551615 218880670190 0 0 4096 2 18446604456515416512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 299016 [startup+0.923127 s] /proc/loadavg: 7.67 8.03 7.67 1/290 3099 /proc/meminfo: memFree=15893072/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=302140 CPUtime=3.6 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 18709 0 0 0 353 7 0 0 19 0 4 0 107648950 309391360 15311 33554432000 4194304 4650419 140734981219376 18446744073709551615 4333931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 75535 15312 391 112 0 70500 0 [pid=3099/tid=3101] ppid=3097 vsize=302140 CPUtime=0.89 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 5478 0 0 0 88 1 0 0 19 0 4 0 107648951 309391360 15313 33554432000 4194304 4650419 140734981219376 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=302140 CPUtime=0.9 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 5499 0 0 0 89 1 0 0 19 0 4 0 107648951 309391360 15313 33554432000 4194304 4650419 140734981219376 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=302140 CPUtime=0.89 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 2900 0 0 0 88 1 0 0 18 0 4 0 107648951 309391360 15313 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 302140 [startup+1.00112 s] /proc/loadavg: 7.67 8.03 7.67 1/290 3099 /proc/meminfo: memFree=15893072/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=302324 CPUtime=3.91 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 19078 0 0 0 384 7 0 0 19 0 4 0 107648950 309579776 15680 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 75581 15680 391 112 0 70546 0 [pid=3099/tid=3101] ppid=3097 vsize=302324 CPUtime=0.97 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 5560 0 0 0 96 1 0 0 19 0 4 0 107648951 309579776 15680 33554432000 4194304 4650419 140734981219376 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=302324 CPUtime=0.97 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 5581 0 0 0 96 1 0 0 19 0 4 0 107648951 309579776 15680 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=302324 CPUtime=0.97 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 3023 0 0 0 96 1 0 0 19 0 4 0 107648951 309579776 15680 33554432000 4194304 4650419 140734981219376 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 302324 [startup+1.50103 s] /proc/loadavg: 7.67 8.03 7.67 1/290 3099 /proc/meminfo: memFree=15893072/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=308472 CPUtime=5.92 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 23333 0 0 0 584 8 0 0 20 0 4 0 107648950 315875328 14374 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 77118 14374 393 112 0 72083 0 [pid=3099/tid=3101] ppid=3097 vsize=308472 CPUtime=1.47 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 6605 0 0 0 146 1 0 0 19 0 4 0 107648951 315875328 14374 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=308472 CPUtime=1.48 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 6668 0 0 0 146 2 0 0 19 0 4 0 107648951 315875328 14374 33554432000 4194304 4650419 140734981219376 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=308472 CPUtime=1.47 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 4163 0 0 0 146 1 0 0 20 0 4 0 107648951 315875328 14374 33554432000 4194304 4650419 140734981219376 18446744073709551615 4334371 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.92 Current children cumulated vsize (KiB) 308472 [startup+3.10075 s] /proc/loadavg: 7.67 8.03 7.67 9/302 3117 /proc/meminfo: memFree=15717784/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=309384 CPUtime=12.29 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 31912 0 0 0 1220 9 0 0 25 0 4 0 107648950 316809216 16106 33554432000 4194304 4650419 140734981219376 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 77346 16106 393 112 0 72311 0 [pid=3099/tid=3101] ppid=3097 vsize=309384 CPUtime=3.05 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 8778 0 0 0 303 2 0 0 25 0 4 0 107648951 316809216 16106 33554432000 4194304 4650419 140734981219376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=309384 CPUtime=3.08 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 8902 0 0 0 306 2 0 0 24 0 4 0 107648951 316809216 16106 33554432000 4194304 4650419 140734981219376 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=309384 CPUtime=3.06 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 6206 0 0 0 305 1 0 0 25 0 4 0 107648951 316809216 16106 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363386 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.29 Current children cumulated vsize (KiB) 309384 [startup+6.30119 s] /proc/loadavg: 7.70 8.03 7.67 9/302 3118 /proc/meminfo: memFree=15685520/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=321760 CPUtime=25.06 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 57870 0 0 0 2490 16 0 0 25 0 4 0 107648950 329482240 27527 33554432000 4194304 4650419 140734981219376 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 80440 27527 395 112 0 75405 0 [pid=3099/tid=3101] ppid=3097 vsize=321760 CPUtime=6.22 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 16568 0 0 0 618 4 0 0 25 0 4 0 107648951 329482240 27527 33554432000 4194304 4650419 140734981219376 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=321760 CPUtime=6.28 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 13423 0 0 0 625 3 0 0 25 0 4 0 107648951 329482240 27527 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=321760 CPUtime=6.27 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 10487 0 0 0 624 3 0 0 25 0 4 0 107648951 329482240 27527 33554432000 4194304 4650419 140734981219376 18446744073709551615 4333038 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.06 Current children cumulated vsize (KiB) 321760 [startup+12.7011 s] /proc/loadavg: 7.72 8.03 7.67 9/302 3118 /proc/meminfo: memFree=15366644/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=324228 CPUtime=50.62 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 91154 0 0 0 5038 24 0 0 25 0 4 0 107648950 332009472 47866 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 81057 47866 395 112 0 76022 0 [pid=3099/tid=3101] ppid=3097 vsize=313648 CPUtime=12.57 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 19121 0 0 0 1253 4 0 0 25 0 4 0 107648951 321175552 45567 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=313648 CPUtime=12.69 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 26035 0 0 0 1263 6 0 0 25 0 4 0 107648951 321175552 45567 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=313648 CPUtime=12.67 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 23657 0 0 0 1261 6 0 0 25 0 4 0 107648951 321175552 45567 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.62 Current children cumulated vsize (KiB) 324228 [startup+25.5008 s] /proc/loadavg: 7.86 8.04 7.68 9/302 3118 /proc/meminfo: memFree=15290144/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=480484 CPUtime=101.69 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 145190 0 0 0 10129 40 0 0 25 0 4 0 107648950 492015616 68474 33554432000 4194304 4650419 140734981219376 18446744073709551615 4339794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 120121 68474 395 112 0 115086 0 [pid=3099/tid=3101] ppid=3097 vsize=480484 CPUtime=25.36 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 34570 0 0 0 2527 9 0 0 25 0 4 0 107648951 492015616 68474 33554432000 4194304 4650419 140734981219376 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=480484 CPUtime=25.48 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 40501 0 0 0 2538 10 0 0 25 0 4 0 107648951 492015616 68474 33554432000 4194304 4650419 140734981219376 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=480484 CPUtime=25.35 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 34995 0 0 0 2526 9 0 0 25 0 4 0 107648951 492015616 68474 33554432000 4194304 4650419 140734981219376 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.69 Current children cumulated vsize (KiB) 480484 [startup+51.1003 s] /proc/loadavg: 7.91 8.04 7.69 9/302 3118 /proc/meminfo: memFree=15083740/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=631008 CPUtime=203.84 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 228081 0 0 0 20322 62 0 0 25 0 4 0 107648950 646152192 76047 33554432000 4194304 4650419 140734981219376 18446744073709551615 4333646 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 157752 76048 395 112 0 152717 0 [pid=3099/tid=3101] ppid=3097 vsize=631008 CPUtime=50.96 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 53410 0 0 0 5081 15 0 0 25 0 4 0 107648951 646152192 76048 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=631008 CPUtime=51.08 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 62488 0 0 0 5093 15 0 0 25 0 4 0 107648951 646152192 76048 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=631008 CPUtime=50.72 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 56277 0 0 0 5057 15 0 0 25 0 4 0 107648951 646152192 76048 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.84 Current children cumulated vsize (KiB) 631008 [startup+102.3 s] /proc/loadavg: 8.12 8.07 7.72 9/302 3122 /proc/meminfo: memFree=14959348/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=616212 CPUtime=408.17 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 395397 0 0 0 40707 110 0 0 25 0 4 0 107648950 631001088 90259 33554432000 4194304 4650419 140734981219376 18446744073709551615 4314947 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 154053 90259 395 112 0 149018 0 [pid=3099/tid=3101] ppid=3097 vsize=616212 CPUtime=102.16 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 95328 0 0 0 10191 25 0 0 25 0 4 0 107648951 631001088 90259 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=616212 CPUtime=102.27 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 104695 0 0 0 10199 28 0 0 25 0 4 0 107648951 631001088 90259 33554432000 4194304 4650419 140734981219376 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=616212 CPUtime=101.44 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 99185 0 0 0 10117 27 0 0 25 0 4 0 107648951 631001088 90259 33554432000 4194304 4650419 140734981219376 18446744073709551615 4360323 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.17 Current children cumulated vsize (KiB) 616212 [startup+162.301 s] ################ # More data... # ################ [pid=3099] ppid=3097 vsize=935844 CPUtime=2802.66 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 1960775 0 0 0 279679 587 0 0 25 0 4 0 107648950 958304256 168634 33554432000 4194304 4650419 140734981219376 18446744073709551615 4328338 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 233961 168634 395 112 0 228926 0 [pid=3099/tid=3101] ppid=3097 vsize=935844 CPUtime=702.15 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 599540 0 0 0 70058 157 0 0 25 0 4 0 107648951 958304256 168634 33554432000 4194304 4650419 140734981219376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=935844 CPUtime=702.26 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 414244 0 0 0 70081 145 0 0 25 0 4 0 107648951 958304256 168634 33554432000 4194304 4650419 140734981219376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=935844 CPUtime=695.96 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 575224 0 0 0 69438 158 0 0 25 0 4 0 107648951 958304256 168634 33554432000 4194304 4650419 140734981219376 18446744073709551615 4360483 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2802.66 Current children cumulated vsize (KiB) 935844 [startup+762.3 s] /proc/loadavg: 8.18 8.13 7.92 9/302 3145 /proc/meminfo: memFree=14303760/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=964924 CPUtime=3042.1 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 2063060 0 0 0 303585 625 0 0 25 0 4 0 107648950 988082176 172882 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 241231 172882 395 112 0 236196 0 [pid=3099/tid=3101] ppid=3097 vsize=964924 CPUtime=762.13 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 634313 0 0 0 76045 168 0 0 25 0 4 0 107648951 988082176 172882 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=964924 CPUtime=762.26 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 443625 0 0 0 76069 157 0 0 25 0 4 0 107648951 988082176 172882 33554432000 4194304 4650419 140734981219376 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=964924 CPUtime=755.41 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 589987 0 0 0 75378 163 0 0 25 0 4 0 107648951 988082176 172882 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3042.1 Current children cumulated vsize (KiB) 964924 [startup+822.301 s] /proc/loadavg: 8.11 8.12 7.92 9/302 3146 /proc/meminfo: memFree=14109312/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1031156 CPUtime=3281.56 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 2296823 0 0 0 327479 677 0 0 25 0 4 0 107648950 1055903744 193825 33554432000 4194304 4650419 140734981219376 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 257789 193825 395 112 0 252754 0 [pid=3099/tid=3101] ppid=3097 vsize=1031156 CPUtime=822.15 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 754593 0 0 0 82030 185 0 0 25 0 4 0 107648951 1055903744 193544 33554432000 4194304 4650419 140734981219376 18446744073709551615 4441171 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1031156 CPUtime=822.27 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 519571 0 0 0 82056 171 0 0 25 0 4 0 107648951 1055903744 193556 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1031156 CPUtime=814.87 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 610390 0 0 0 81312 175 0 0 25 0 4 0 107648951 1055903744 193573 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3281.56 Current children cumulated vsize (KiB) 1031156 [startup+882.301 s] /proc/loadavg: 8.08 8.11 7.93 9/302 3148 /proc/meminfo: memFree=14083372/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1083364 CPUtime=3521 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 2649080 0 0 0 351354 746 0 0 25 0 4 0 107648950 1109364736 202729 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363484 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 270841 202729 395 112 0 265806 0 [pid=3099/tid=3101] ppid=3097 vsize=1083364 CPUtime=882.14 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 941616 0 0 0 88003 211 0 0 25 0 4 0 107648951 1109364736 202729 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1083364 CPUtime=882.27 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 633399 0 0 0 88039 188 0 0 25 0 4 0 107648951 1109364736 202729 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1083364 CPUtime=874.32 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 636310 0 0 0 87243 189 0 0 25 0 4 0 107648951 1109364736 202729 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3521 Current children cumulated vsize (KiB) 1083364 [startup+942.312 s] /proc/loadavg: 8.06 8.10 7.93 9/302 3149 /proc/meminfo: memFree=13962204/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1072428 CPUtime=3760.5 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 2725615 0 0 0 375268 782 0 0 25 0 4 0 107648950 1098166272 200837 33554432000 4194304 4650419 140734981219376 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 268107 200837 395 112 0 263072 0 [pid=3099/tid=3101] ppid=3097 vsize=1072428 CPUtime=942.15 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 964558 0 0 0 93993 222 0 0 25 0 4 0 107648951 1098166272 200837 33554432000 4194304 4650419 140734981219376 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1072428 CPUtime=942.28 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 635049 0 0 0 94040 188 0 0 25 0 4 0 107648951 1098166272 200837 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1072428 CPUtime=933.77 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 662094 0 0 0 93178 199 0 0 25 0 4 0 107648951 1098166272 200837 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3760.5 Current children cumulated vsize (KiB) 1072428 [startup+1002.3 s] /proc/loadavg: 8.17 8.13 7.95 9/302 3151 /proc/meminfo: memFree=13891996/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1088556 CPUtime=3999.91 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 2881244 0 0 0 399168 823 0 0 25 0 4 0 107648950 1114681344 210403 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 272139 210403 395 112 0 267104 0 [pid=3099/tid=3101] ppid=3097 vsize=1088556 CPUtime=1002.14 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 987586 0 0 0 99980 234 0 0 25 0 4 0 107648951 1114681344 210403 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1088556 CPUtime=1002.27 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 665388 0 0 0 100035 192 0 0 25 0 4 0 107648951 1114681344 210403 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1088556 CPUtime=993.22 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 713344 0 0 0 99113 209 0 0 25 0 4 0 107648951 1114681344 210403 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3999.91 Current children cumulated vsize (KiB) 1088556 [startup+1062.3 s] /proc/loadavg: 8.13 8.12 7.96 9/302 3153 /proc/meminfo: memFree=13937480/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1155060 CPUtime=4239.36 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 2949318 0 0 0 423087 849 0 0 25 0 4 0 107648950 1182781440 221523 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 288765 221523 395 112 0 283730 0 [pid=3099/tid=3101] ppid=3097 vsize=1155060 CPUtime=1062.13 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1021497 0 0 0 105966 247 0 0 25 0 4 0 107648951 1182781440 221523 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1155060 CPUtime=1062.26 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 684945 0 0 0 106024 202 0 0 25 0 4 0 107648951 1182781440 221523 33554432000 4194304 4650419 140734981219376 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1155060 CPUtime=1052.67 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 726680 0 0 0 105056 211 0 0 25 0 4 0 107648951 1182781440 221523 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4239.36 Current children cumulated vsize (KiB) 1155060 [startup+1122.3 s] /proc/loadavg: 8.16 8.12 7.97 9/302 3154 /proc/meminfo: memFree=13698020/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1155792 CPUtime=4478.81 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 3049186 0 0 0 446998 883 0 0 25 0 4 0 107648950 1183531008 227490 33554432000 4194304 4650419 140734981219376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 288948 227490 395 112 0 283913 0 [pid=3099/tid=3101] ppid=3097 vsize=1155792 CPUtime=1122.14 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1065194 0 0 0 111961 253 0 0 25 0 4 0 107648951 1183531008 227490 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476527 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1155792 CPUtime=1122.27 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 706753 0 0 0 112012 215 0 0 25 0 4 0 107648951 1183531008 227490 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1155792 CPUtime=1112.13 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 740711 0 0 0 110995 218 0 0 25 0 4 0 107648951 1183531008 227490 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4478.81 Current children cumulated vsize (KiB) 1155792 [startup+1182.3 s] /proc/loadavg: 8.16 8.13 7.98 9/302 3156 /proc/meminfo: memFree=13695524/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1117672 CPUtime=4718.26 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 3133032 0 0 0 470902 924 0 0 25 0 4 0 107648950 1144496128 218873 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363448 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 279418 218873 395 112 0 274383 0 [pid=3099/tid=3101] ppid=3097 vsize=1117672 CPUtime=1182.14 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1072764 0 0 0 117960 254 0 0 25 0 4 0 107648951 1144496128 218873 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1117672 CPUtime=1182.27 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 733201 0 0 0 117999 228 0 0 25 0 4 0 107648951 1144496128 218873 33554432000 4194304 4650419 140734981219376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1117672 CPUtime=1171.57 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 765407 0 0 0 116926 231 0 0 25 0 4 0 107648951 1144496128 218873 33554432000 4194304 4650419 140734981219376 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4718.26 Current children cumulated vsize (KiB) 1117672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.8 s] /proc/loadavg: 8.20 8.14 7.98 9/302 3156 /proc/meminfo: memFree=13695644/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1183296 CPUtime=4800.09 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 3162202 0 0 0 479072 937 0 0 25 0 4 0 107648950 1211695104 221728 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 295824 221728 395 112 0 290789 0 [pid=3099/tid=3101] ppid=3097 vsize=1183296 CPUtime=1202.65 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1072764 0 0 0 120011 254 0 0 25 0 4 0 107648951 1211695104 221730 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1183296 CPUtime=1202.77 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 745308 0 0 0 120045 232 0 0 25 0 4 0 107648951 1211695104 221730 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1183296 CPUtime=1191.89 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 773650 0 0 0 118954 235 0 0 25 0 4 0 107648951 1211695104 221730 33554432000 4194304 4650419 140734981219376 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.09 Current children cumulated vsize (KiB) 1183296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1202.8 s] /proc/loadavg: 8.20 8.14 7.98 9/302 3156 /proc/meminfo: memFree=13695644/32950928 swapFree=67111364/67111528 [pid=3099] ppid=3097 vsize=1183296 CPUtime=4800.09 cores=1,3,5,7 /proc/3099/stat : 3099 (strangenight1-m) R 3097 3099 2853 0 -1 4202496 3162202 0 0 0 479072 937 0 0 25 0 4 0 107648950 1211695104 221728 33554432000 4194304 4650419 140734981219376 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/3099/statm: 295824 221728 395 112 0 290789 0 [pid=3099/tid=3101] ppid=3097 vsize=1183296 CPUtime=1202.65 cores=1,3,5,7 /proc/3099/task/3101/stat : 3101 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 1072764 0 0 0 120011 254 0 0 25 0 4 0 107648951 1211695104 221730 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=3099/tid=3102] ppid=3097 vsize=1183296 CPUtime=1202.77 cores=1,3,5,7 /proc/3099/task/3102/stat : 3102 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 745308 0 0 0 120045 232 0 0 25 0 4 0 107648951 1211695104 221730 33554432000 4194304 4650419 140734981219376 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3099/tid=3104] ppid=3097 vsize=1183296 CPUtime=1191.89 cores=1,3,5,7 /proc/3099/task/3104/stat : 3104 (strangenight1-m) R 3097 3099 2853 0 -1 4202560 773650 0 0 0 118954 235 0 0 25 0 4 0 107648951 1211695104 221730 33554432000 4194304 4650419 140734981219376 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.09 Current children cumulated vsize (KiB) 1183296 Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.86 CPU time (s): 4800.18 CPU user time (s): 4790.76 CPU system time (s): 9.41557 CPU usage (%): 399.065 Max. virtual memory (cumulated for all children) (KiB): 1221836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4790.76 system time used= 9.41557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3162208 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= 5351 involuntary context switches= 32573 runsolver used 2.95455 second user time and 8.03378 second system time The end
Begin job on node112 at 2011-05-14 21:13:15 IDJOB=3368672 IDBENCH=82681 IDSOLVER=1846 FILE ID=node112/3368672-1305400395 RUNJOBID= node112-1305397985-2881 PBS_JOBID= 13324474 Free space on /tmp= 73564 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368672-1305400395/watcher-3368672-1305400395 -o /tmp/evaluation-result-3368672-1305400395/solver-3368672-1305400395 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368672-1305400395.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c57904e3ea235f276cacd03d81f1155b RANDOM SEED=946828459 node112.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.847 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.69 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.847 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 : 5180.45 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.847 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.76 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.847 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.82 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.847 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.61 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.847 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.83 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.847 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.74 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.847 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 15893352 kB Buffers: 288696 kB Cached: 2774080 kB SwapCached: 0 kB Active: 15058076 kB Inactive: 1760524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15893352 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 8392 kB Writeback: 0 kB AnonPages: 13755592 kB Mapped: 21064 kB Slab: 132628 kB PageTables: 42136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 34986484 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= 73548 MiB End job on node112 at 2011-05-14 21:33:20