| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.26 | 1201.75 |
| 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.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-3175063-1304080946.cnf' 0.00/0.00 c -- header says num vars: 10000 0.00/0.00 c -- header says num clauses: 42000 0.11/0.09 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.11/0.09 c -- vars added 10000 0.11/0.09 c Parsing time: 0.08 s 0.11/0.09 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.11/0.09 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.11/0.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 3.55/0.92 c bin-w-bin subsume rem 0 bins time: 0.01 s 3.55/0.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3.55/0.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 3.55/0.92 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 3.55/0.92 c lits-rem: 0 cl-subs: 0 v-elim: 375 v-fix: 0 time: 0.33 s 3.55/0.92 c Finding binary XORs T: 0.01 s found: 0 3.55/0.92 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 3.55/0.92 c calculated reachability. Time: 0.00 3.55/0.92 c Calc default polars - time: 0.01 s pos: 4412 undec: 1224 neg: 4364 3.55/0.92 c ========================================================================================= 3.55/0.92 c types(t): F = full restart, N = normal restart 3.55/0.92 c types(t): S = simplification begin/end, E = solution found 3.55/0.92 c restart types(rt): st = static, dy = dynamic 3.55/0.92 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.55/0.92 c B st 0 0 9625 41510 0 0 126594 0 no data no data -- 3.55/0.92 c N dy 22 4110 9625 41510 0 4109 126594 648689 89.68 94.49 -- 5.56/1.43 c N dy 52 8207 9625 41510 0 4708 126594 333874 93.86 100.82 -- 7.94/2.05 c N dy 80 12244 9625 41510 0 8745 126594 931624 94.01 103.83 -- 10.33/2.69 c N dy 104 16321 9625 41510 0 7075 126594 390449 93.55 98.78 -- 13.14/3.34 c N dy 132 20464 9625 41510 0 11218 126594 1010689 93.40 100.97 -- 15.53/3.99 c N dy 157 24466 9625 41510 0 7849 126594 287264 93.10 98.28 -- 15.92/4.07 c F st 160 25000 9625 41510 0 8383 126594 364813 93.01 84.72 -- 19.52/4.94 c N dy 166 30003 9625 41510 0 13385 126594 1293563 93.01 no data -- 19.52/4.94 c S st 166 30003 9625 41510 0 13385 126594 1293563 93.01 no data -- 19.92/5.02 c S st 166 30507 9625 41510 0 13889 126594 1344990 93.01 no data -- 19.92/5.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.92/5.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.92/5.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 20.33/5.17 c bin-w-bin subsume rem 0 bins time: 0.01 s 20.33/5.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 20.33/5.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 20.33/5.18 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 27.54/6.97 c lits-rem: 44 cl-subs: 4 v-elim: 0 v-fix: 0 time: 7.11 s 27.91/7.02 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.20 27.91/7.02 c calculated reachability. Time: 0.00 27.91/7.02 c N dy 166 30507 9625 41510 0 13885 126594 1344334 93.01 no data -- 30.71/7.75 c N dy 195 34580 9625 41510 0 9270 126594 316677 93.23 98.83 -- 33.50/8.44 c N dy 224 38659 9625 41510 0 13349 126594 933769 93.44 99.48 -- 36.32/9.20 c N dy 252 42811 9625 41510 0 17500 126594 1548958 93.50 101.84 -- 38.70/9.76 c S st 271 45761 9625 41510 0 10607 126594 334389 93.40 no data -- 39.10/9.84 c S st 271 46261 9625 41510 0 11107 126594 387406 93.40 no data -- 39.10/9.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 39.10/9.85 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.10/9.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 39.50/9.91 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.50/9.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 39.50/9.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 39.50/9.92 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 45.49/11.48 c lits-rem: 19 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.19 s 45.49/11.48 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 45.49/11.48 c vivif2 -- cl tried 11107 cl shrink 0 lits rem 0 time: 0.02 45.89/11.53 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.17 45.89/11.53 c calculated reachability. Time: 0.00 45.89/11.53 c N dy 271 46261 9625 41510 0 11107 126594 387387 93.40 no data -- 48.28/12.19 c N dy 297 50264 9625 41510 0 15108 126594 988235 93.65 100.27 -- 51.48/12.90 c N dy 327 54284 9625 41510 0 19128 126594 1610795 94.05 99.02 -- 54.27/13.63 c N dy 357 58330 9625 41510 0 12252 126594 419371 94.25 110.41 -- 57.07/14.32 c N dy 382 62476 9625 41510 0 16397 126594 1038979 94.21 100.74 -- 59.86/15.04 c N dy 406 66561 9625 41510 0 20482 126594 1659664 94.09 138.49 -- 61.86/15.56 c S st 426 69391 9625 41510 0 23312 126594 2076352 94.10 83.12 -- 62.27/15.66 c S st 426 69894 9625 41510 0 23815 126594 2132463 94.10 no data -- 62.27/15.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 62.27/15.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 62.68/15.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 63.06/15.83 c bin-w-bin subsume rem 0 bins time: 0.01 s 63.06/15.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 63.06/15.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 63.06/15.84 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 79.84/20.01 c lits-rem: 28 cl-subs: 1 v-elim: 0 v-fix: 0 time: 16.62 s 79.84/20.02 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 79.84/20.04 c vivif2 -- cl tried 23814 cl shrink 0 lits rem 0 time: 0.10 80.25/20.11 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.26 80.25/20.11 c calculated reachability. Time: 0.00 80.25/20.11 c N dy 426 69894 9625 41510 0 23814 126594 2132249 94.10 no data -- 83.44/20.90 c N dy 457 74367 9625 41510 0 16329 126594 884066 94.24 99.70 -- 86.63/21.78 c N dy 484 79188 9625 41510 0 21150 126594 1610648 94.16 114.98 -- 90.62/22.78 c N dy 519 84407 9625 41510 0 13390 126594 283041 94.21 99.22 -- 93.02/23.31 c F st 542 87501 9625 41510 0 16484 126594 745310 94.32 no data -- 95.42/23.95 c N st 547 90800 9625 41510 0 19782 126594 1403933 94.32 no data -- 99.81/25.05 c N dy 575 96617 9625 41510 0 25599 126594 2341807 94.46 99.59 -- 104.60/26.24 c N dy 614 103016 9625 41510 0 18006 126594 837313 94.56 99.59 -- 105.80/26.57 c S st 626 104841 9625 41510 0 19831 126594 1117273 94.55 no data -- 106.21/26.66 c S st 626 105344 9625 41510 0 20334 126594 1174238 94.55 no data -- 106.21/26.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 106.21/26.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 106.62/26.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 106.62/26.77 c bin-w-bin subsume rem 0 bins time: 0.01 s 106.62/26.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 106.62/26.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 106.62/26.77 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 115.00/28.87 c lits-rem: 25 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.35 s 115.00/28.87 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 115.00/28.89 c vivif2 -- cl tried 20333 cl shrink 0 lits rem 0 time: 0.06 115.41/28.94 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.22 115.41/28.95 c calculated reachability. Time: 0.00 115.41/28.95 c N dy 626 105344 9625 41510 0 20333 126594 1173763 94.55 no data -- 120.57/30.27 c N dy 675 112287 9625 41510 0 27276 126594 2220777 94.68 100.05 -- 126.17/31.63 c N dy 719 119481 9625 41510 0 19476 126594 925381 94.74 100.26 -- 132.16/33.12 c N dy 766 127298 9625 41510 0 27293 126594 2095915 94.69 102.81 -- 138.56/34.70 c N dy 822 135514 9625 41510 0 19514 126594 773225 94.86 103.42 -- 144.95/36.33 c N dy 879 144262 9625 41510 0 28260 126594 2089326 94.86 101.10 -- 152.13/38.12 c N dy 935 153558 9625 41510 0 20555 126594 787074 94.75 101.05 -- 155.33/38.95 c S st 966 158016 9625 41510 0 25013 126594 1480581 94.79 no data -- 155.73/39.05 c S st 966 158519 9625 41510 0 25516 126594 1538135 94.79 no data -- 155.73/39.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 155.73/39.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 155.73/39.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 156.13/39.17 c bin-w-bin subsume rem 0 bins time: 0.01 s 156.13/39.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 156.13/39.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 156.13/39.18 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 167.32/41.96 c lits-rem: 12 cl-subs: 2 v-elim: 0 v-fix: 0 time: 11.12 s 167.32/41.97 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 167.32/41.99 c vivif2 -- cl tried 25514 cl shrink 0 lits rem 0 time: 0.08 167.73/42.05 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.25 167.73/42.05 c calculated reachability. Time: 0.00 167.73/42.05 c N dy 966 158519 9625 41510 0 25514 126594 1537598 94.79 no data -- 176.11/44.13 c N dy 1029 168757 9625 41510 0 35752 126594 3096920 94.79 100.25 -- 184.49/46.20 c N dy 1086 179683 9625 41510 0 28675 126594 1860768 94.65 100.99 -- 193.69/48.54 c N dy 1164 191232 9625 41510 0 21231 126594 584875 94.69 100.23 -- 202.88/50.90 c N dy 1240 203450 9625 41510 0 33446 126594 2405269 94.70 103.09 -- 213.66/53.54 c N dy 1323 216470 9625 41510 0 26465 126594 1238932 94.76 117.67 -- 225.64/56.51 c N dy 1411 230383 9625 41510 0 40378 126594 3355437 94.76 101.39 -- 231.24/57.95 c S st 1459 237778 9625 41510 0 26770 126594 1110497 94.78 no data -- 231.64/58.05 c S st 1459 238282 9625 41510 0 27274 126594 1170485 94.78 no data -- 231.64/58.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 231.64/58.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 232.04/58.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 232.04/58.16 c bin-w-bin subsume rem 0 bins time: 0.01 s 232.04/58.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 232.04/58.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 232.04/58.17 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 240.82/60.36 c lits-rem: 21 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.76 s 240.82/60.36 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 240.82/60.38 c vivif2 -- cl tried 27273 cl shrink 0 lits rem 0 time: 0.06 241.22/60.44 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.26 241.22/60.45 c calculated reachability. Time: 0.00 241.22/60.45 c N dy 1459 238282 9625 41510 0 27273 126594 1170203 94.78 no data -- 254.00/63.66 c N dy 1558 253553 9625 41510 0 42541 126594 3503006 94.83 106.29 -- 267.98/67.15 c N dy 1670 270010 9625 41510 0 37005 126594 2578952 94.97 100.60 -- 282.38/70.79 c N dy 1789 287306 9625 41510 0 31306 126594 1513745 95.06 104.17 -- 298.34/74.73 c N dy 1908 305647 9625 41510 0 25645 126594 536100 95.12 100.67 -- 298.74/74.85 c F st 1913 306251 9625 41510 0 26249 126594 630035 95.12 no data -- 314.72/78.90 c N dy 2001 325186 9625 41510 0 45180 126594 3754773 95.07 106.77 -- 331.89/83.18 c N dy 2140 345272 9625 41510 0 40268 126594 2612029 95.18 104.90 -- 343.48/86.01 c S st 2223 357424 9625 41510 0 26423 126594 351092 95.22 no data -- 343.89/86.11 c S st 2223 357930 9625 41510 0 26929 126594 406374 95.22 no data -- 343.89/86.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 343.89/86.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 343.89/86.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 343.89/86.18 c bin-w-bin subsume rem 0 bins time: 0.01 s 343.89/86.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 343.89/86.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 343.89/86.19 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 350.27/87.74 c lits-rem: 3 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.20 s 350.27/87.75 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 350.27/87.75 c vivif2 -- cl tried 26929 cl shrink 0 lits rem 0 time: 0.02 350.67/87.82 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.25 350.67/87.82 c calculated reachability. Time: 0.00 350.67/87.82 c N dy 2223 357930 9625 41510 0 26929 126594 406371 95.22 no data -- 367.44/92.07 c N dy 2349 378034 9625 41510 0 47032 126594 3436836 95.23 102.66 -- 385.42/96.51 c N dy 2477 398316 9625 41510 0 40311 126594 2325461 95.32 100.46 -- 404.59/101.32 c N dy 2598 418377 9625 41510 0 32368 126594 977650 95.30 100.55 -- 422.17/105.79 c N dy 2723 438473 9625 41510 0 52462 126594 4043274 95.29 100.35 -- 440.15/110.23 c N dy 2864 458482 9625 41510 0 43474 126594 2512487 95.38 101.67 -- 458.91/114.95 c N dy 2991 478496 9625 41510 0 33492 126594 816962 95.39 100.62 -- 477.30/119.50 c N dy 3116 498726 9625 41510 0 53720 126594 3911240 95.40 105.71 -- 495.67/124.15 c N dy 3247 518979 9625 41510 0 42973 126594 2151628 95.50 100.53 -- 512.84/128.49 c S st 3363 536895 9625 41510 0 60887 126594 4909596 95.53 100.28 -- 513.64/128.64 c S st 3363 537396 9625 41510 0 61388 126594 4978431 95.53 no data -- 513.64/128.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 513.64/128.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 514.04/128.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.27 514.85/128.98 c bin-w-bin subsume rem 0 bins time: 0.01 s 514.85/128.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 514.85/128.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.02 s 514.85/128.99 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 794.87/199.03 c lits-rem: 0 cl-subs: 13 v-elim: 0 v-fix: 0 time: 279.29 s 794.87/199.03 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 794.87/199.09 c vivif2 -- cl tried 61375 cl shrink 0 lits rem 0 time: 0.25 795.67/199.24 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.56 795.67/199.24 c calculated reachability. Time: 0.00 795.67/199.24 c N dy 3363 537396 9625 41510 0 61375 126594 4974087 95.53 no data -- 814.43/203.96 c N dy 3483 557423 9625 41510 0 49408 126594 2965445 95.52 101.48 -- 835.62/209.24 c N dy 3617 577535 9625 41510 0 36526 126594 864785 95.57 103.03 -- 854.79/214.08 c N dy 3743 597567 9625 41510 0 56555 126594 3936321 95.62 101.18 -- 875.58/219.25 c N dy 3873 617621 9625 41510 0 42614 126594 1666020 95.64 108.23 -- 896.34/224.48 c N dy 3998 637764 9625 41510 0 62755 126594 4740824 95.69 100.81 -- 917.10/229.60 c N dy 4123 657822 9625 41510 0 47810 126594 2289644 95.71 101.04 -- 938.67/235.00 c N dy 4248 677928 9625 41510 0 67914 126594 5374897 95.70 101.44 -- 958.65/240.00 c N dy 4367 697940 9625 41510 0 51921 126594 2763135 95.67 101.52 -- 980.62/245.58 c N dy 4491 717974 9625 41510 0 71950 126594 5833145 95.67 122.41 -- 1000.99/250.61 c N dy 4610 738148 9625 41510 0 55130 126594 3081300 95.64 101.64 -- 1023.75/256.38 c N dy 4735 758204 9625 41510 0 75185 126594 6213923 95.68 106.78 -- 1044.13/261.41 c N dy 4870 778294 9625 41510 0 57277 126594 3311680 95.74 128.38 -- 1067.70/267.32 c N dy 5009 798428 9625 41510 0 77411 126594 6387324 95.77 105.46 -- 1075.28/269.21 c S st 5061 806094 9625 41510 0 46080 126594 1438122 95.76 no data -- 1075.68/269.35 c S st 5061 806597 9625 41510 0 46583 126594 1494658 95.76 no data -- 1075.68/269.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1075.68/269.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1076.09/269.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1076.09/269.49 c bin-w-bin subsume rem 0 bins time: 0.01 s 1076.09/269.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1076.09/269.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.01 s 1076.48/269.50 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1090.07/272.94 c lits-rem: 13 cl-subs: 1 v-elim: 0 v-fix: 0 time: 13.73 s 1090.07/272.94 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 1090.07/272.97 c vivif2 -- cl tried 46582 cl shrink 0 lits rem 0 time: 0.08 1090.47/273.07 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.42 1090.47/273.08 c calculated reachability. Time: 0.00 1090.47/273.08 c N dy 5061 806597 9625 41510 0 46582 126594 1494272 95.76 no data -- 1111.64/278.33 c N dy 5184 826689 9625 41510 0 66673 126594 4541578 95.75 105.27 -- 1134.41/284.00 c N dy 5305 846917 9625 41510 0 46904 126594 1421478 95.72 100.81 -- 1154.77/289.19 c N dy 5435 866994 9625 41510 0 66977 126594 4470190 95.73 103.95 -- 1177.14/294.74 c N dy 5567 887040 9625 41510 0 46029 126594 1160641 95.75 101.85 -- 1197.11/299.75 c N dy 5691 907308 9625 41510 0 66294 126594 4234146 95.75 101.51 -- 1219.88/305.50 c N dy 5819 927427 9625 41510 0 44416 126594 746833 95.76 102.07 -- 1240.28/310.53 c N dy 5954 947774 9625 41510 0 64763 126594 3860609 95.78 101.01 -- 1263.03/316.29 c N dy 6069 967863 9625 41510 0 84851 126594 6922314 95.76 106.65 -- 1283.40/321.36 c N dy 6204 987965 9625 41510 0 61947 126594 3316917 95.79 102.45 -- 1306.57/327.13 c N dy 6332 1007993 9625 41510 0 81973 126594 6393039 95.79 101.38 -- 1328.16/332.52 c N dy 6457 1028063 9625 41510 0 58045 126594 2555890 95.79 102.13 -- 1350.91/338.29 c N dy 6586 1048168 9625 41510 0 78149 126594 5620116 95.80 102.27 -- 1374.47/344.12 c N dy 6708 1068306 9625 41510 0 53289 126594 1652884 95.79 101.62 -- 1378.07/345.06 c F st 6733 1071876 9625 41510 0 56859 126594 2220937 95.81 no data -- 1396.85/349.70 c N dy 6816 1088329 9625 41510 0 73311 126594 4954667 95.82 102.71 -- 1421.61/355.95 c N dy 6944 1108414 9625 41510 0 47396 126594 612228 95.85 103.62 -- 1441.99/361.02 c N dy 7074 1128516 9625 41510 0 67496 126594 3708563 95.86 101.90 -- 1465.55/366.96 c N dy 7201 1148542 9625 41510 0 87520 126594 6785708 95.89 109.29 -- 1487.11/372.39 c N dy 7329 1168587 9625 41510 0 60571 126594 2470407 95.90 103.68 -- 1509.89/378.02 c N dy 7463 1188631 9625 41510 0 80613 126594 5550723 95.93 101.70 -- 1534.26/384.12 c N dy 7595 1208829 9625 41510 0 52811 126594 1139730 95.95 101.57 -- 1535.05/384.38 c S st 7603 1209895 9625 41510 0 53877 126594 1295903 95.95 no data -- 1535.85/384.52 c S st 7603 1210399 9625 41510 0 54381 126594 1352457 95.95 no data -- 1535.85/384.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1535.85/384.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1535.85/384.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.23 1536.25/384.65 c bin-w-bin subsume rem 0 bins time: 0.01 s 1536.25/384.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1536.25/384.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.02 s 1536.25/384.66 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1548.22/387.65 c lits-rem: 3 cl-subs: 3 v-elim: 0 v-fix: 0 time: 11.91 s 1548.22/387.65 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.02 1548.22/387.67 c vivif2 -- cl tried 54378 cl shrink 0 lits rem 0 time: 0.08 1548.63/387.78 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.45 1548.63/387.79 c calculated reachability. Time: 0.00 1548.63/387.79 c N dy 7603 1210399 9625 41510 0 54378 126594 1352136 95.95 no data -- 1570.19/393.12 c N dy 7730 1230492 9625 41510 0 74469 126594 4436719 95.96 101.42 -- 1594.57/399.28 c N dy 7856 1250543 9625 41510 0 94519 126594 7501620 95.96 121.61 -- 1616.14/404.65 c N dy 7982 1270722 9625 41510 0 65701 126594 2970982 95.97 101.52 -- 1639.72/410.59 c N dy 8108 1290773 9625 41510 0 85750 126594 6059948 95.96 102.67 -- 1664.47/416.73 c N dy 8239 1310840 9625 41510 0 55819 126594 1333824 95.99 101.89 -- 1686.44/422.23 c N dy 8372 1330933 9625 41510 0 75910 126594 4400839 96.00 101.16 -- 1712.00/428.60 c N dy 8502 1351083 9625 41510 0 96060 126594 7488505 96.01 101.27 -- 1735.17/434.40 c N dy 8629 1371351 9625 41510 0 65338 126594 2658293 96.01 103.96 -- 1759.54/440.57 c N dy 8754 1391430 9625 41510 0 85417 126594 5721078 96.01 101.45 -- 1785.90/447.11 c N dy 8875 1411481 9625 41510 0 53468 126594 666701 96.00 101.24 -- 1807.10/452.44 c N dy 9015 1431630 9625 41510 0 73617 126594 3775623 96.03 101.28 -- 1831.84/458.69 c N dy 9158 1451642 9625 41510 0 93627 126594 6901093 96.07 103.96 -- 1857.01/464.95 c N dy 9289 1471708 9625 41510 0 60688 126594 1631972 96.10 105.55 -- 1879.77/470.64 c N dy 9426 1491825 9625 41510 0 80805 126594 4730171 96.12 101.61 -- 1905.75/477.17 c N dy 9561 1511826 9625 41510 0 100804 126594 7792714 96.14 101.59 -- 1929.72/483.10 c N dy 9693 1531828 9625 41510 0 66805 126594 2414131 96.14 101.56 -- 1953.28/489.01 c N dy 9827 1551892 9625 41510 0 86866 126594 5460956 96.14 102.58 -- 1980.45/495.88 c N dy 9962 1572005 9625 41510 0 106976 126594 8539921 96.16 101.65 -- 2003.21/501.54 c N dy 10093 1592035 9625 41510 0 72012 126594 3062401 96.16 115.00 -- 2027.57/507.67 c N dy 10228 1612125 9625 41510 0 92100 126594 6178179 96.19 101.29 -- 2058.73/515.47 c N dy 10351 1632132 9625 41510 0 56116 126594 484943 96.20 103.36 -- 2082.70/521.43 c N dy 10479 1652162 9625 41510 0 76145 126594 3566311 96.20 111.77 -- 2110.29/528.38 c N dy 10609 1672178 9625 41510 0 96157 126594 6652181 96.21 102.08 -- 2141.43/536.16 c N dy 10748 1692392 9625 41510 0 59372 126594 835583 96.23 101.57 -- 2163.02/541.53 c S st 10864 1710399 9625 41510 0 77377 126594 3605876 96.24 86.42 -- 2163.80/541.72 c S st 10864 1710902 9625 41510 0 77880 126594 3655326 96.24 no data -- 2163.80/541.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2163.80/541.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2164.19/541.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.33 2164.99/542.00 c bin-w-bin subsume rem 0 bins time: 0.01 s 2164.99/542.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2164.99/542.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.02 s 2164.99/542.01 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2317.58/580.22 c lits-rem: 3 cl-subs: 5 v-elim: 0 v-fix: 0 time: 152.31 s 2317.58/580.23 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.02 2317.58/580.27 c vivif2 -- cl tried 77875 cl shrink 0 lits rem 0 time: 0.19 2318.38/580.44 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.68 2318.38/580.45 c calculated reachability. Time: 0.00 2318.38/580.45 c N dy 10864 1710902 9625 41510 0 77875 126594 3654352 96.24 no data -- 2344.75/587.08 c N dy 10988 1730967 9625 41510 0 97939 126594 6757037 96.25 101.47 -- 2374.30/594.45 c N dy 11117 1751073 9625 41510 0 60049 126594 790997 96.26 101.86 -- 2397.88/600.38 c N dy 11258 1771217 9625 41510 0 80193 126594 3917612 96.28 103.53 -- 2424.25/606.98 c N dy 11381 1791323 9625 41510 0 100297 126594 6988372 96.29 102.31 -- 2453.40/614.20 c N dy 11527 1811367 9625 41510 0 61343 126594 840077 96.31 105.48 -- 2475.77/619.85 c N dy 11657 1831491 9625 41510 0 81467 126594 3933387 96.32 103.45 -- 2502.13/626.42 c N dy 11793 1851579 9625 41510 0 101552 126594 7012544 96.33 105.12 -- 2531.29/633.73 c N dy 11917 1871792 9625 41510 0 61769 126594 759565 96.33 101.49 -- 2553.67/639.40 c N dy 12041 1891998 9625 41510 0 81973 126594 3883755 96.34 101.64 -- 2580.45/646.04 c N dy 12175 1912126 9625 41510 0 102099 126594 7006022 96.36 101.87 -- 2610.39/653.55 c N dy 12306 1932130 9625 41510 0 61101 126594 513727 96.39 163.49 -- 2632.36/659.10 c N dy 12426 1952306 9625 41510 0 81275 126594 3621562 96.39 102.04 -- 2658.72/665.62 c N dy 12559 1972373 9625 41510 0 101339 126594 6728171 96.40 124.25 -- 2688.27/673.00 c N dy 12686 1992515 9625 41510 0 121479 126594 9808055 96.40 102.17 -- 2711.85/678.95 c N dy 12815 2012523 9625 41510 0 79499 126594 3215871 96.41 119.43 -- 2737.81/685.42 c N dy 12945 2032597 9625 41510 0 99570 126594 6316141 96.42 103.67 -- 2767.36/692.81 c N dy 13073 2052650 9625 41510 0 119623 126594 9434301 96.44 101.66 -- 2792.53/699.18 c N dy 13205 2072694 9625 41510 0 76669 126594 2596801 96.44 103.52 -- 2817.72/705.48 c N dy 13330 2092926 9625 41510 0 96901 126594 5695297 96.45 102.57 -- 2846.86/712.74 c N dy 13468 2112947 9625 41510 0 116920 126594 8782424 96.46 106.85 -- 2875.21/719.83 c N dy 13594 2132951 9625 41510 0 72929 126594 1875456 96.46 102.99 -- 2900.80/726.24 c N dy 13722 2153045 9625 41510 0 93022 126594 5007527 96.47 102.69 -- 2929.95/733.59 c N dy 13854 2173052 9625 41510 0 113026 126594 8079072 96.48 106.21 -- 2961.90/741.58 c N dy 13984 2193088 9625 41510 0 68066 126594 980195 96.49 102.85 -- 2983.47/746.93 c S st 14094 2210902 9625 41510 0 85878 126594 3728225 96.49 85.92 -- 2984.27/747.12 c S st 14094 2211409 9625 41510 0 86385 126594 3781920 96.49 no data -- 2984.27/747.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2984.27/747.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2984.69/747.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2985.46/747.40 c bin-w-bin subsume rem 0 bins time: 0.01 s 2985.46/747.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2985.46/747.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.02 s 2985.46/747.41 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3152.84/789.37 c lits-rem: 0 cl-subs: 4 v-elim: 0 v-fix: 0 time: 167.31 s 3152.84/789.38 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.02 3153.24/789.43 c vivif2 -- cl tried 86381 cl shrink 0 lits rem 0 time: 0.21 3154.04/789.63 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.80 3154.04/789.64 c calculated reachability. Time: 0.00 3154.04/789.64 c N dy 14094 2211409 9625 41510 0 86381 126594 3781329 96.49 no data -- 3184.40/797.25 c N dy 14232 2231537 9625 41510 0 106504 126594 6904868 96.51 104.77 -- 3219.55/806.07 c N dy 14367 2251582 9625 41510 0 126547 126594 9996010 96.52 104.61 -- 3249.11/813.49 c N dy 14492 2271896 9625 41510 0 80865 126594 2861842 96.53 107.87 -- 3278.68/820.85 c N dy 14614 2292008 9625 41510 0 100973 126594 5944205 96.53 102.18 -- 3312.63/829.33 c N dy 14750 2312035 9625 41510 0 120997 126594 9030408 96.54 102.61 -- 3346.17/837.75 c N dy 14884 2332210 9625 41510 0 74175 126594 1639947 96.56 103.49 -- 3373.34/844.59 c N dy 15005 2352247 9625 41510 0 94210 126594 4731994 96.55 103.95 -- 3405.30/852.58 c N dy 15133 2372260 9625 41510 0 114221 126594 7817001 96.56 106.15 -- 3442.45/861.85 c N dy 15272 2392456 9625 41510 0 134414 126594 10939015 96.57 103.48 -- 3470.41/868.82 c N dy 15410 2412630 9625 41510 0 86596 126594 3427015 96.59 101.68 -- 3500.77/876.46 c N dy 15548 2432693 9625 41510 0 106658 126594 6523909 96.60 103.93 -- 3534.72/884.92 c N dy 15661 2452786 9625 41510 0 126750 126594 9588746 96.59 102.45 -- 3565.87/892.77 c N dy 15781 2472794 9625 41510 0 77758 126594 1911152 96.59 107.72 -- 3592.64/899.42 c N dy 15902 2492823 9625 41510 0 97786 126594 5021179 96.59 102.54 -- 3623.40/907.16 c N dy 16025 2513029 9625 41510 0 117992 126594 8143956 96.59 107.51 -- 3658.55/915.99 c N dy 16162 2533111 9625 41510 0 138070 126594 11302315 96.61 102.72 -- 3685.72/922.76 c N dy 16297 2553278 9625 41510 0 88245 126594 3356593 96.62 102.28 -- 3714.47/929.96 c N dy 16430 2573373 9625 41510 0 108337 126594 6430233 96.63 102.00 -- 3748.04/938.32 c N dy 16572 2593374 9625 41510 0 128338 126594 9544222 96.65 102.63 -- 3780.78/946.58 c N dy 16702 2613483 9625 41510 0 77452 126594 1573634 96.66 102.91 -- 3807.54/953.22 c N dy 16822 2633512 9625 41510 0 97481 126594 4662722 96.66 103.46 -- 3838.30/960.92 c N dy 16947 2653587 9625 41510 0 117555 126594 7745584 96.66 102.73 -- 3875.06/970.18 c N dy 17078 2673641 9625 41510 0 137607 126594 10801570 96.67 101.91 -- 3906.62/978.05 c N dy 17215 2693721 9625 41510 0 85686 126594 2656000 96.67 102.66 -- 3933.39/984.78 c S st 17347 2711409 9625 41510 0 103372 126594 5408385 96.70 no data -- 3934.58/985.02 c S st 17347 2711912 9625 41510 0 103875 126594 5464315 96.70 no data -- 3934.58/985.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3934.58/985.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3934.98/985.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.43 3936.17/985.42 c bin-w-bin subsume rem 0 bins time: 0.02 s 3936.17/985.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3936.17/985.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9625 time: 0.02 s 3936.17/985.43 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4328.86/1083.76 c lits-rem: 1 cl-subs: 9 v-elim: 0 v-fix: 0 time: 391.62 s 4328.86/1083.77 c vivif2 -- cl tried 41510 cl shrink 0 lits rem 0 time: 0.01 4329.27/1083.84 c vivif2 -- cl tried 103866 cl shrink 0 lits rem 0 time: 0.29 4330.05/1084.05 c asymm cl-useful: 0/41510/41510 lits-rem:0 time: 0.86 4330.05/1084.06 c calculated reachability. Time: 0.00 4330.05/1084.06 c N dy 17347 2711912 9625 41510 0 103866 126594 5461829 96.70 no data -- 4361.60/1091.97 c N dy 17483 2731960 9625 41510 0 123912 126594 8556586 96.70 104.65 -- 4397.96/1101.03 c N dy 17615 2752036 9625 41510 0 143986 126594 11663635 96.71 111.67 -- 4425.12/1107.83 c N dy 17742 2772096 9625 41510 0 91053 126594 3331517 96.72 101.90 -- 4454.68/1115.24 c N dy 17870 2792164 9625 41510 0 111119 126594 6430640 96.72 103.89 -- 4488.22/1123.63 c N dy 18006 2812175 9625 41510 0 131127 126594 9526486 96.73 106.23 -- 4523.75/1132.58 c N dy 18136 2832199 9625 41510 0 77154 126594 1059102 96.74 102.89 -- 4550.93/1139.33 c N dy 18269 2852205 9625 41510 0 97159 126594 4178435 96.75 103.14 -- 4581.68/1147.09 c N dy 18405 2872234 9625 41510 0 117187 126594 7256664 96.76 103.30 -- 4616.44/1155.77 c N dy 18529 2892255 9625 41510 0 137205 126594 10331419 96.76 104.35 -- 4650.39/1164.26 c N dy 18661 2912287 9625 41510 0 82243 126594 1687451 96.76 127.29 -- 4677.96/1171.17 c N dy 18791 2932330 9625 41510 0 102283 126594 4774047 96.77 102.49 -- 4709.91/1179.10 c N dy 18926 2952463 9625 41510 0 122414 126594 7868158 96.77 102.00 -- 4745.86/1188.18 c N dy 19061 2972580 9625 41510 0 142531 126594 11010552 96.78 102.66 -- 4777.81/1196.15 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: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175063-1304080946/watcher-3175063-1304080946 -o /tmp/evaluation-result-3175063-1304080946/solver-3175063-1304080946 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175063-1304080946.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: 8.01 8.08 8.00 3/172 525 /proc/meminfo: memFree=30937876/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=14904 CPUtime=0 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4194304 109 0 0 0 0 0 0 0 21 0 1 0 500510506 15261696 64 33554432000 4194304 4650419 140733395837552 18446744073709551615 220811312775 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/525/statm: 3726 67 51 112 0 49 0 [pid=525/tid=527] ppid=523 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 500510506 52465664 353 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=525/tid=528] ppid=523 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 500510506 52465664 353 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=525/tid=529] ppid=523 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 500510506 52465664 353 33554432000 4194304 4650419 140733395837552 18446744073709551615 47844892661682 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0420699 s] /proc/loadavg: 8.01 8.08 8.00 3/172 525 /proc/meminfo: memFree=30937876/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=358068 CPUtime=0.11 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 7450 0 0 0 6 5 0 0 18 0 4 0 500510506 366661632 6398 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 89590 6409 344 112 0 84555 0 [pid=525/tid=527] ppid=523 vsize=358360 CPUtime=0.02 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) S 523 525 32751 0 -1 4202560 1805 0 0 0 1 1 0 0 18 0 4 0 500510506 366960640 6421 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816341486 0 0 4096 2 18446604471124089728 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=358360 CPUtime=0.02 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) S 523 525 32751 0 -1 4202560 1542 0 0 0 1 1 0 0 17 0 4 0 500510506 366960640 6435 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816341486 0 0 4096 2 18446604471124089728 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=358360 CPUtime=0.02 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 1917 0 0 0 2 0 0 0 18 0 4 0 500510506 366960640 6450 33554432000 4194304 4650419 140733395837552 18446744073709551615 220815933625 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 358068 [startup+0.104366 s] /proc/loadavg: 8.01 8.08 8.00 3/172 525 /proc/meminfo: memFree=30937876/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=364424 CPUtime=0.37 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 11551 0 0 0 30 7 0 0 18 0 4 0 500510506 373170176 9755 33554432000 4194304 4650419 140733395837552 18446744073709551615 220815897285 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 91306 10144 377 112 0 86271 0 [pid=525/tid=527] ppid=523 vsize=365224 CPUtime=0.09 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) D 523 525 32751 0 -1 4202560 3163 0 0 0 7 2 0 0 18 0 4 0 500510506 373989376 10276 33554432000 4194304 4650419 140733395837552 18446744073709551615 4427009 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=366404 CPUtime=0.14 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 4143 0 0 0 12 2 0 0 18 0 4 0 500510506 375197696 12614 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816279911 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=366404 CPUtime=0.15 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 2141 0 0 0 14 1 0 0 18 0 4 0 500510506 375197696 12614 33554432000 4194304 4650419 140733395837552 18446744073709551615 4328305 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 364424 [startup+0.584289 s] /proc/loadavg: 8.01 8.08 8.00 3/172 525 /proc/meminfo: memFree=30937876/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=367388 CPUtime=2.28 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 17911 0 0 0 220 8 0 0 18 0 4 0 500510506 376205312 13899 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 91847 13899 391 112 0 86812 0 [pid=525/tid=527] ppid=523 vsize=367388 CPUtime=0.56 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 4810 0 0 0 54 2 0 0 18 0 4 0 500510506 376205312 13899 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=367388 CPUtime=0.56 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 5145 0 0 0 54 2 0 0 18 0 4 0 500510506 376205312 13899 33554432000 4194304 4650419 140733395837552 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=367388 CPUtime=0.56 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 2580 0 0 0 55 1 0 0 18 0 4 0 500510506 376205312 13899 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 367388 [startup+0.70095 s] /proc/loadavg: 8.01 8.08 8.00 3/172 525 /proc/meminfo: memFree=30937876/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=367388 CPUtime=2.75 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 18381 0 0 0 267 8 0 0 18 0 4 0 500510506 376205312 14369 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 91847 14370 391 112 0 86812 0 [pid=525/tid=527] ppid=523 vsize=367388 CPUtime=0.68 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 4924 0 0 0 66 2 0 0 18 0 4 0 500510506 376205312 14370 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=367388 CPUtime=0.67 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 5262 0 0 0 65 2 0 0 18 0 4 0 500510506 376205312 14370 33554432000 4194304 4650419 140733395837552 18446744073709551615 4333940 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=367388 CPUtime=0.68 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 2701 0 0 0 67 1 0 0 18 0 4 0 500510506 376205312 14370 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.75 Current children cumulated vsize (KiB) 367388 [startup+1.5008 s] /proc/loadavg: 8.01 8.08 8.00 9/184 538 /proc/meminfo: memFree=30791980/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=372640 CPUtime=5.95 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 23742 0 0 0 585 10 0 0 19 0 4 0 500510506 381583360 14253 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 93160 14253 393 112 0 88125 0 [pid=525/tid=527] ppid=523 vsize=372640 CPUtime=1.47 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 6194 0 0 0 145 2 0 0 20 0 4 0 500510506 381583360 14253 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=372640 CPUtime=1.48 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 6560 0 0 0 145 3 0 0 19 0 4 0 500510506 381583360 14253 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=372640 CPUtime=1.48 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 4109 0 0 0 147 1 0 0 19 0 4 0 500510506 381583360 14253 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 372640 [startup+3.10051 s] /proc/loadavg: 8.01 8.08 8.00 9/184 538 /proc/meminfo: memFree=30763336/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=374396 CPUtime=12.33 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 32053 0 0 0 1222 11 0 0 25 0 4 0 500510506 383381504 16012 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 93599 16012 393 112 0 88564 0 [pid=525/tid=527] ppid=523 vsize=374396 CPUtime=3.07 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 8263 0 0 0 304 3 0 0 25 0 4 0 500510506 383381504 16012 33554432000 4194304 4650419 140733395837552 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=374396 CPUtime=3.07 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 8599 0 0 0 304 3 0 0 25 0 4 0 500510506 383381504 16012 33554432000 4194304 4650419 140733395837552 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=374396 CPUtime=3.07 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 6233 0 0 0 306 1 0 0 25 0 4 0 500510506 383381504 16012 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 374396 [startup+6.30091 s] /proc/loadavg: 8.01 8.08 8.00 9/184 538 /proc/meminfo: memFree=30726880/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=376004 CPUtime=25.12 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 57586 0 0 0 2494 18 0 0 25 0 4 0 500510506 385028096 26914 33554432000 4194304 4650419 140733395837552 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 94001 26914 395 112 0 88966 0 [pid=525/tid=527] ppid=523 vsize=376004 CPUtime=6.25 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 15324 0 0 0 620 5 0 0 19 0 4 0 500510506 385028096 26914 33554432000 4194304 4650419 140733395837552 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=376004 CPUtime=6.28 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 13014 0 0 0 624 4 0 0 19 0 4 0 500510506 385028096 26914 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=376004 CPUtime=6.28 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 10623 0 0 0 626 2 0 0 25 0 4 0 500510506 385028096 26914 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 376004 [startup+12.7007 s] /proc/loadavg: 8.00 8.07 8.00 9/184 538 /proc/meminfo: memFree=30421876/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=401752 CPUtime=50.68 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 91348 0 0 0 5043 25 0 0 25 0 4 0 500510506 411394048 44501 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363482 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 100438 44501 395 112 0 95403 0 [pid=525/tid=527] ppid=523 vsize=401752 CPUtime=12.61 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 18506 0 0 0 1256 5 0 0 25 0 4 0 500510506 411394048 44501 33554432000 4194304 4650419 140733395837552 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=401752 CPUtime=12.68 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 24958 0 0 0 1261 7 0 0 25 0 4 0 500510506 411394048 44501 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=401752 CPUtime=12.68 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 23344 0 0 0 1263 5 0 0 19 0 4 0 500510506 411394048 44501 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 401752 [startup+25.5004 s] /proc/loadavg: 8.00 8.07 8.00 9/184 539 /proc/meminfo: memFree=30291296/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=512404 CPUtime=101.81 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 146282 0 0 0 10143 38 0 0 25 0 4 0 500510506 524701696 67727 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 128101 67727 395 112 0 123066 0 [pid=525/tid=527] ppid=523 vsize=512404 CPUtime=25.34 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 35873 0 0 0 2525 9 0 0 25 0 4 0 500510506 524701696 67734 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=512404 CPUtime=25.48 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 39667 0 0 0 2538 10 0 0 25 0 4 0 500510506 524701696 67734 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=512404 CPUtime=25.48 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 34663 0 0 0 2540 8 0 0 25 0 4 0 500510506 524701696 67734 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 512404 [startup+51.1007 s] /proc/loadavg: 8.08 8.08 8.01 9/184 539 /proc/meminfo: memFree=30125796/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=596068 CPUtime=204.07 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 219277 0 0 0 20351 56 0 0 25 0 4 0 500510506 610373632 81074 33554432000 4194304 4650419 140733395837552 18446744073709551615 4328378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 149017 81074 395 112 0 143982 0 [pid=525/tid=527] ppid=523 vsize=596068 CPUtime=50.8 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 53735 0 0 0 5066 14 0 0 25 0 4 0 500510506 610373632 81074 33554432000 4194304 4650419 140733395837552 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=596068 CPUtime=51.08 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 58421 0 0 0 5094 14 0 0 25 0 4 0 500510506 610373632 81074 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=596068 CPUtime=51.08 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 53511 0 0 0 5095 13 0 0 25 0 4 0 500510506 610373632 81074 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.07 Current children cumulated vsize (KiB) 596068 [startup+102.3 s] /proc/loadavg: 8.03 8.07 8.00 9/184 541 /proc/meminfo: memFree=29987984/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=651568 CPUtime=408.59 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 372666 0 0 0 40763 96 0 0 25 0 4 0 500510506 667205632 92109 33554432000 4194304 4650419 140733395837552 18446744073709551615 4329270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 162892 92109 395 112 0 157857 0 [pid=525/tid=527] ppid=523 vsize=651568 CPUtime=101.73 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 91396 0 0 0 10150 23 0 0 25 0 4 0 500510506 667205632 92109 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=651568 CPUtime=102.28 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 90701 0 0 0 10206 22 0 0 25 0 4 0 500510506 667205632 92109 33554432000 4194304 4650419 140733395837552 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=651568 CPUtime=102.27 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 97892 0 0 0 10203 24 0 0 25 0 4 0 500510506 667205632 92110 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.59 Current children cumulated vsize (KiB) 651568 [startup+162.301 s] ################ # More data... # ################ [pid=525] ppid=523 vsize=1100592 CPUtime=2565.65 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 1660923 0 0 0 256073 492 0 0 25 0 4 0 500510506 1127006208 188252 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 275148 188252 395 112 0 270113 0 [pid=525/tid=527] ppid=523 vsize=1100592 CPUtime=638.8 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 374661 0 0 0 63768 112 0 0 25 0 4 0 500510506 1127006208 188252 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1100592 CPUtime=642.27 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 449634 0 0 0 64096 131 0 0 25 0 4 0 500510506 1127006208 188252 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1100592 CPUtime=642.27 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 401643 0 0 0 64105 122 0 0 25 0 4 0 500510506 1127006208 188252 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2565.65 Current children cumulated vsize (KiB) 1100592 [startup+702.301 s] /proc/loadavg: 8.14 8.12 8.03 9/184 557 /proc/meminfo: memFree=29270780/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1102900 CPUtime=2805.31 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 1782829 0 0 0 279997 534 0 0 25 0 4 0 500510506 1129369600 182700 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 275725 182700 395 112 0 270690 0 [pid=525/tid=527] ppid=523 vsize=1102900 CPUtime=698.46 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 405125 0 0 0 69724 122 0 0 25 0 4 0 500510506 1129369600 182700 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1102900 CPUtime=702.27 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 479910 0 0 0 70085 142 0 0 25 0 4 0 500510506 1129369600 182700 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1102900 CPUtime=702.26 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 432095 0 0 0 70095 131 0 0 25 0 4 0 500510506 1129369600 182700 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.31 Current children cumulated vsize (KiB) 1102900 [startup+762.301 s] /proc/loadavg: 8.14 8.13 8.04 9/184 558 /proc/meminfo: memFree=29243824/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1130348 CPUtime=3044.99 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 1935634 0 0 0 303924 575 0 0 25 0 4 0 500510506 1157476352 191992 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 282587 191992 395 112 0 277552 0 [pid=525/tid=527] ppid=523 vsize=1130348 CPUtime=758.14 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 432344 0 0 0 75680 134 0 0 25 0 4 0 500510506 1157476352 191992 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1130348 CPUtime=762.27 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 507344 0 0 0 76074 153 0 0 25 0 4 0 500510506 1157476352 191992 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1130348 CPUtime=762.26 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 508699 0 0 0 76085 141 0 0 25 0 4 0 500510506 1157476352 191992 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.99 Current children cumulated vsize (KiB) 1130348 [startup+822.3 s] /proc/loadavg: 8.12 8.13 8.04 9/184 560 /proc/meminfo: memFree=29063596/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1180864 CPUtime=3284.66 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 2205449 0 0 0 327831 635 0 0 25 0 4 0 500510506 1209204736 211477 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 295216 211477 395 112 0 290181 0 [pid=525/tid=527] ppid=523 vsize=1180864 CPUtime=817.81 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 563435 0 0 0 81628 153 0 0 25 0 4 0 500510506 1209204736 211477 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1180864 CPUtime=822.27 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 605055 0 0 0 82056 171 0 0 25 0 4 0 500510506 1209204736 211477 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1180864 CPUtime=822.26 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 535797 0 0 0 82071 155 0 0 25 0 4 0 500510506 1209204736 211477 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.66 Current children cumulated vsize (KiB) 1180864 [startup+882.3 s] /proc/loadavg: 8.08 8.12 8.04 9/184 561 /proc/meminfo: memFree=29075704/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1181796 CPUtime=3524.34 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 2529665 0 0 0 351732 702 0 0 25 0 4 0 500510506 1210159104 215087 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 295449 215087 395 112 0 290414 0 [pid=525/tid=527] ppid=523 vsize=1181796 CPUtime=877.49 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 708031 0 0 0 87576 173 0 0 25 0 4 0 500510506 1210159104 215087 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1181796 CPUtime=882.28 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 734375 0 0 0 88038 190 0 0 25 0 4 0 500510506 1210159104 215087 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1181796 CPUtime=882.26 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 560964 0 0 0 88058 168 0 0 25 0 4 0 500510506 1210159104 215087 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.34 Current children cumulated vsize (KiB) 1181796 [startup+942.3 s] /proc/loadavg: 8.06 8.11 8.04 9/184 563 /proc/meminfo: memFree=28945452/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1170524 CPUtime=3764.01 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 2778165 0 0 0 375640 761 0 0 25 0 4 0 500510506 1198616576 220614 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364424 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 292631 220614 395 112 0 287596 0 [pid=525/tid=527] ppid=523 vsize=1170524 CPUtime=937.16 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 753653 0 0 0 93528 188 0 0 25 0 4 0 500510506 1198616576 220614 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1170524 CPUtime=942.28 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 885268 0 0 0 94017 211 0 0 25 0 4 0 500510506 1198616576 220614 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1170524 CPUtime=942.26 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 587013 0 0 0 94045 181 0 0 25 0 4 0 500510506 1198616576 220614 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3764.01 Current children cumulated vsize (KiB) 1170524 [startup+1002.3 s] /proc/loadavg: 8.23 8.14 8.06 9/184 565 /proc/meminfo: memFree=28933012/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1199864 CPUtime=4003.69 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 3068718 0 0 0 399545 824 0 0 25 0 4 0 500510506 1228660736 221662 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476756 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 299966 221662 396 112 0 294931 0 [pid=525/tid=527] ppid=523 vsize=1199864 CPUtime=996.83 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 778747 0 0 0 99481 202 0 0 25 0 4 0 500510506 1228660736 221662 33554432000 4194304 4650419 140733395837552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1199864 CPUtime=1002.28 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 1053411 0 0 0 99993 235 0 0 25 0 4 0 500510506 1228660736 221662 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1199864 CPUtime=1002.26 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 632122 0 0 0 100035 191 0 0 25 0 4 0 500510506 1228660736 221662 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.69 Current children cumulated vsize (KiB) 1199864 [startup+1062.3 s] /proc/loadavg: 8.17 8.13 8.06 9/184 566 /proc/meminfo: memFree=28925276/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1199220 CPUtime=4243.36 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 3452272 0 0 0 423440 896 0 0 25 0 4 0 500510506 1228001280 224482 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 299805 224482 406 112 0 294770 0 [pid=525/tid=527] ppid=523 vsize=1199220 CPUtime=1056.5 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 803544 0 0 0 105434 216 0 0 25 0 4 0 500510506 1228001280 224482 33554432000 4194304 4650419 140733395837552 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1199220 CPUtime=1062.28 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 1092643 0 0 0 105978 250 0 0 25 0 4 0 500510506 1228001280 224482 33554432000 4194304 4650419 140733395837552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1199220 CPUtime=1062.26 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 809182 0 0 0 106011 215 0 0 25 0 4 0 500510506 1228001280 224483 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.36 Current children cumulated vsize (KiB) 1199220 [startup+1122.31 s] /proc/loadavg: 8.17 8.14 8.06 9/185 569 /proc/meminfo: memFree=28705388/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1212544 CPUtime=4483.06 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 3704348 0 0 0 447349 957 0 0 25 0 4 0 500510506 1241645056 237328 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364539 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 303136 237328 395 112 0 298101 0 [pid=525/tid=527] ppid=523 vsize=1212544 CPUtime=1116.18 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 893274 0 0 0 111385 233 0 0 25 0 4 0 500510506 1241645056 237328 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1212544 CPUtime=1122.29 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 1118011 0 0 0 111966 263 0 0 25 0 4 0 500510506 1241645056 237328 33554432000 4194304 4650419 140733395837552 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1212544 CPUtime=1122.27 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 871645 0 0 0 111996 231 0 0 25 0 4 0 500510506 1241645056 237328 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4483.06 Current children cumulated vsize (KiB) 1212544 [startup+1182.3 s] /proc/loadavg: 8.13 8.13 8.06 9/184 578 /proc/meminfo: memFree=28702668/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1226728 CPUtime=4722.69 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 3775803 0 0 0 471272 997 0 0 25 0 4 0 500510506 1256169472 240726 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 306682 240726 395 112 0 301647 0 [pid=525/tid=527] ppid=523 vsize=1226728 CPUtime=1175.85 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 894912 0 0 0 117352 233 0 0 25 0 4 0 500510506 1256169472 240726 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1226728 CPUtime=1182.28 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 1140162 0 0 0 117953 275 0 0 25 0 4 0 500510506 1256169472 240726 33554432000 4194304 4650419 140733395837552 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1226728 CPUtime=1182.25 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 893697 0 0 0 117981 244 0 0 25 0 4 0 500510506 1256169472 240726 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.69 Current children cumulated vsize (KiB) 1226728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.09 8.12 8.06 9/184 579 /proc/meminfo: memFree=28719516/32951124 swapFree=67105204/67111528 [pid=525] ppid=523 vsize=1226300 CPUtime=4800.18 cores=1,3,5,7 /proc/525/stat : 525 (strangenight1-m) R 523 525 32751 0 -1 4202496 3804664 0 0 0 479007 1011 0 0 25 0 4 0 500510506 1255731200 228549 33554432000 4194304 4650419 140733395837552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/525/statm: 306575 228549 395 112 0 301540 0 [pid=525/tid=527] ppid=523 vsize=1226300 CPUtime=1195.14 cores=1,3,5,7 /proc/525/task/527/stat : 527 (strangenight1-m) R 523 525 32751 0 -1 4202560 897339 0 0 0 119281 233 0 0 25 0 4 0 500510506 1255731200 228553 33554432000 4194304 4650419 140733395837552 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=525/tid=528] ppid=523 vsize=1226300 CPUtime=1201.68 cores=1,3,5,7 /proc/525/task/528/stat : 528 (strangenight1-m) R 523 525 32751 0 -1 4202560 1149073 0 0 0 119889 279 0 0 25 0 4 0 500510506 1255731200 228553 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=525/tid=529] ppid=523 vsize=1226300 CPUtime=1201.66 cores=1,3,5,7 /proc/525/task/529/stat : 529 (strangenight1-m) R 523 525 32751 0 -1 4202560 902645 0 0 0 119917 249 0 0 25 0 4 0 500510506 1255731200 228553 33554432000 4194304 4650419 140733395837552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.18 Current children cumulated vsize (KiB) 1226300 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): 1201.75 CPU time (s): 4800.26 CPU user time (s): 4790.11 CPU system time (s): 10.1525 CPU usage (%): 399.44 Max. virtual memory (cumulated for all children) (KiB): 1240076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4790.11 system time used= 10.1525 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3804675 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= 4667 involuntary context switches= 18110 runsolver used 1.91171 second user time and 4.66029 second system time The end
Begin job on node147 at 2011-04-29 14:42:26 IDJOB=3175063 IDBENCH=82681 IDSOLVER=1588 FILE ID=node147/3175063-1304080946 RUNJOBID= node147-1304078537-302 PBS_JOBID= 13170522 Free space on /tmp= 72660 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt 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-3175063-1304080946/watcher-3175063-1304080946 -o /tmp/evaluation-result-3175063-1304080946/solver-3175063-1304080946 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175063-1304080946.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c57904e3ea235f276cacd03d81f1155b RANDOM SEED=511318483 node147.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.836 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.67 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.82 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.836 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.76 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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: 32951124 kB MemFree: 30934932 kB Buffers: 265920 kB Cached: 1361840 kB SwapCached: 2808 kB Active: 129252 kB Inactive: 1563204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30934932 kB SwapTotal: 67111528 kB SwapFree: 67105204 kB Dirty: 8232 kB Writeback: 0 kB AnonPages: 63220 kB Mapped: 14620 kB Slab: 260164 kB PageTables: 3900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 190160 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= 72644 MiB End job on node147 at 2011-04-29 15:02:30