| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.2 | 1201.75 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf |
| MD5SUM | 418f15c9ecdcb73d78687b6da2a74460 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.41063 |
| 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-3175074-1304081753.cnf' 0.00/0.00 c -- header says num vars: 10000 0.00/0.00 c -- header says num clauses: 42000 0.04/0.05 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.04/0.05 c -- vars added 10000 0.04/0.05 c Parsing time: 0.08 s 0.04/0.05 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.04/0.05 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.04/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.04/0.10 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.04/0.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.04/0.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.04/0.10 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 0.04/0.90 c lits-rem: 0 cl-subs: 0 v-elim: 344 v-fix: 0 time: 0.33 s 0.04/0.90 c Finding binary XORs T: 0.01 s found: 0 0.04/0.90 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 0.04/0.90 c calculated reachability. Time: 0.00 0.04/0.90 c Calc default polars - time: 0.01 s pos: 4316 undec: 1233 neg: 4451 0.04/0.90 c ========================================================================================= 0.04/0.90 c types(t): F = full restart, N = normal restart 0.04/0.90 c types(t): S = simplification begin/end, E = solution found 0.04/0.90 c restart types(rt): st = static, dy = dynamic 0.04/0.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.04/0.90 c B st 0 0 9656 41639 0 0 126913 0 no data no data -- 0.04/0.90 c N dy 20 4119 9656 41639 0 4119 126913 615973 85.88 90.48 -- 5.20/1.40 c N dy 51 8235 9656 41639 0 4737 126913 326477 89.44 95.76 -- 7.58/1.98 c N dy 83 12331 9656 41639 0 8832 126913 928926 92.22 97.56 -- 10.36/2.62 c N dy 111 16418 9656 41639 0 7171 126913 414332 92.77 98.43 -- 12.75/3.25 c N dy 137 20524 9656 41639 0 11277 126913 1011424 92.55 97.70 -- 15.55/3.92 c N dy 167 24636 9656 41639 0 8015 126913 300034 93.36 98.47 -- 15.55/3.97 c F st 170 25001 9656 41639 0 8380 126913 356374 93.44 no data -- 19.14/4.84 c N dy 176 30000 9656 41639 0 13377 126913 1312920 93.44 no data -- 19.14/4.84 c S st 176 30000 9656 41639 0 13377 126913 1312920 93.44 no data -- 19.54/4.92 c S st 176 30505 9656 41639 0 13882 126913 1364849 93.44 no data -- 19.54/4.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.54/4.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.54/4.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.94/5.07 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.94/5.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.94/5.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 19.94/5.07 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 26.73/6.78 c lits-rem: 23 cl-subs: 11 v-elim: 0 v-fix: 0 time: 6.81 s 27.13/6.83 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.20 27.13/6.83 c calculated reachability. Time: 0.00 27.13/6.83 c N dy 176 30505 9656 41639 0 13871 126913 1361846 93.44 no data -- 29.92/7.58 c N dy 202 34760 9656 41639 0 9445 126913 332862 93.24 98.42 -- 32.72/8.25 c N dy 227 38825 9656 41639 0 13510 126913 933078 92.98 100.77 -- 35.52/8.98 c N dy 247 42866 9656 41639 0 17550 126913 1531043 92.66 97.57 -- 37.92/9.52 c S st 268 45757 9656 41639 0 10596 126913 331736 92.59 93.06 -- 38.33/9.61 c S st 268 46264 9656 41639 0 11102 126913 386551 92.59 no data -- 38.33/9.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.33/9.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.33/9.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 38.33/9.67 c bin-w-bin subsume rem 0 bins time: 0.01 s 38.33/9.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 38.33/9.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 38.33/9.68 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 44.70/11.28 c lits-rem: 9 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.37 s 44.70/11.29 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 44.70/11.29 c vivif2 -- cl tried 11102 cl shrink 0 lits rem 0 time: 0.02 45.10/11.33 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.17 45.10/11.33 c calculated reachability. Time: 0.00 45.10/11.33 c N dy 268 46264 9656 41639 0 11102 126913 386542 92.59 no data -- 47.50/11.99 c N dy 294 50289 9656 41639 0 15127 126913 978258 92.58 105.81 -- 50.70/12.70 c N dy 323 54362 9656 41639 0 19200 126913 1588593 92.73 100.11 -- 53.49/13.41 c N dy 348 58374 9656 41639 0 12286 126913 425385 92.64 103.26 -- 55.90/14.07 c N dy 369 62432 9656 41639 0 16344 126913 1023254 92.67 99.58 -- 58.68/14.79 c N dy 394 66601 9656 41639 0 20513 126913 1640461 92.66 98.74 -- 60.67/15.29 c S st 411 69396 9656 41639 0 23308 126913 2041186 92.54 no data -- 61.07/15.38 c S st 411 69898 9656 41639 0 23810 126913 2096727 92.54 no data -- 61.07/15.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 61.07/15.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.48/15.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 61.87/15.57 c bin-w-bin subsume rem 0 bins time: 0.01 s 61.87/15.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 61.87/15.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 61.87/15.58 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 77.88/19.55 c lits-rem: 1 cl-subs: 1 v-elim: 0 v-fix: 0 time: 15.83 s 77.88/19.55 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 77.88/19.58 c vivif2 -- cl tried 23809 cl shrink 0 lits rem 0 time: 0.11 78.25/19.64 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.26 78.25/19.64 c calculated reachability. Time: 0.00 78.25/19.64 c N dy 411 69898 9656 41639 0 23809 126913 2096190 92.54 no data -- 81.45/20.42 c N dy 443 74378 9656 41639 0 16335 126913 872997 92.62 106.96 -- 85.05/21.30 c N dy 473 79183 9656 41639 0 21140 126913 1601168 92.79 99.70 -- 88.64/22.25 c N dy 506 84241 9656 41639 0 13221 126913 260631 92.75 99.77 -- 90.64/22.80 c F st 527 87501 9656 41639 0 16481 126913 737251 92.72 no data -- 93.43/23.41 c N st 532 90798 9656 41639 0 19778 126913 1329324 92.72 no data -- 97.83/24.56 c N dy 561 96678 9656 41639 0 25658 126913 2349793 92.84 102.66 -- 102.62/25.71 c N dy 608 103043 9656 41639 0 18032 126913 834955 93.10 102.42 -- 103.83/26.03 c S st 621 104850 9656 41639 0 19839 126913 1107143 93.12 no data -- 104.24/26.12 c S st 621 105358 9656 41639 0 20347 126913 1163513 93.12 no data -- 104.24/26.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.24/26.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.24/26.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 104.61/26.22 c bin-w-bin subsume rem 0 bins time: 0.01 s 104.61/26.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 104.61/26.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 104.61/26.23 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 113.80/28.52 c lits-rem: 8 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.15 s 113.80/28.53 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 113.80/28.54 c vivif2 -- cl tried 20345 cl shrink 0 lits rem 0 time: 0.06 114.20/28.60 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.22 114.20/28.60 c calculated reachability. Time: 0.00 114.20/28.60 c N dy 621 105358 9656 41639 0 20345 126913 1163209 93.12 no data -- 119.00/29.87 c N dy 668 112151 9656 41639 0 27138 126913 2168746 93.19 98.77 -- 124.59/31.26 c N dy 715 119628 9656 41639 0 19616 126913 927694 93.24 101.45 -- 130.19/32.70 c N dy 764 127284 9656 41639 0 27270 126913 2084862 93.31 106.84 -- 136.57/34.25 c N dy 821 135441 9656 41639 0 19432 126913 760393 93.56 100.72 -- 142.97/35.85 c N dy 877 144109 9656 41639 0 28100 126913 2051769 93.61 100.03 -- 150.15/37.66 c N dy 940 153477 9656 41639 0 20467 126913 749115 93.73 99.94 -- 153.34/38.49 c S st 972 158040 9656 41639 0 25030 126913 1423518 93.78 78.19 -- 153.74/38.59 c S st 972 158547 9656 41639 0 25537 126913 1488000 93.78 no data -- 153.74/38.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 153.74/38.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 154.14/38.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 154.54/38.70 c bin-w-bin subsume rem 0 bins time: 0.01 s 154.54/38.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 154.54/38.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 154.54/38.71 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 165.75/41.58 c lits-rem: 8 cl-subs: 6 v-elim: 0 v-fix: 0 time: 11.42 s 165.75/41.58 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 166.13/41.60 c vivif2 -- cl tried 25531 cl shrink 0 lits rem 0 time: 0.07 166.13/41.67 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.26 166.13/41.67 c calculated reachability. Time: 0.00 166.13/41.67 c N dy 972 158547 9656 41639 0 25531 126913 1486725 93.78 no data -- 174.54/43.75 c N dy 1035 168923 9656 41639 0 35906 126913 3033898 93.84 102.12 -- 182.51/45.77 c N dy 1105 179786 9656 41639 0 28773 126913 1839919 93.81 99.54 -- 191.70/48.10 c N dy 1186 191363 9656 41639 0 21351 126913 615680 94.03 101.71 -- 201.67/50.53 c N dy 1272 203929 9656 41639 0 33914 126913 2546151 94.21 101.21 -- 212.06/53.18 c N dy 1364 216944 9656 41639 0 26923 126913 1283678 94.34 116.71 -- 224.04/56.11 c N dy 1456 230865 9656 41639 0 40841 126913 3386241 94.42 101.38 -- 229.24/57.44 c S st 1498 237820 9656 41639 0 26804 126913 1143413 94.42 no data -- 229.64/57.54 c S st 1498 238322 9656 41639 0 27306 126913 1201817 94.42 no data -- 229.64/57.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 229.64/57.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 229.64/57.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 230.04/57.65 c bin-w-bin subsume rem 0 bins time: 0.01 s 230.04/57.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 230.04/57.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 230.04/57.65 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 239.23/59.94 c lits-rem: 47 cl-subs: 1 v-elim: 0 v-fix: 0 time: 9.13 s 239.23/59.95 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 239.23/59.96 c vivif2 -- cl tried 27305 cl shrink 0 lits rem 0 time: 0.06 239.63/60.03 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.26 239.63/60.03 c calculated reachability. Time: 0.00 239.63/60.03 c N dy 1498 238322 9656 41639 0 27305 126913 1201333 94.42 no data -- 252.41/63.24 c N dy 1607 253666 9656 41639 0 42646 126913 3516393 94.57 99.94 -- 265.99/66.65 c N dy 1715 270026 9656 41639 0 37008 126913 2534895 94.70 99.72 -- 280.36/70.22 c N dy 1829 287304 9656 41639 0 31286 126913 1532116 94.75 101.65 -- 295.95/74.16 c N dy 1932 305744 9656 41639 0 25725 126913 535768 94.67 100.29 -- 296.35/74.26 c F st 1936 306252 9656 41639 0 26233 126913 620782 94.69 no data -- 312.32/78.28 c N dy 2031 325406 9656 41639 0 45384 126913 3701317 94.69 100.86 -- 329.09/82.47 c N dy 2158 345486 9656 41639 0 40469 126913 2576467 94.65 108.12 -- 340.29/85.25 c S st 2243 357483 9656 41639 0 26474 126913 362720 94.71 no data -- 340.69/85.34 c S st 2243 357985 9656 41639 0 26976 126913 412847 94.71 no data -- 340.69/85.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 340.69/85.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 340.69/85.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 341.09/85.41 c bin-w-bin subsume rem 0 bins time: 0.01 s 341.09/85.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 341.09/85.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 341.09/85.42 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 347.87/87.12 c lits-rem: 9 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.75 s 347.87/87.12 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 347.87/87.13 c vivif2 -- cl tried 26976 cl shrink 0 lits rem 0 time: 0.02 347.87/87.19 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.25 347.87/87.19 c calculated reachability. Time: 0.00 347.87/87.19 c N dy 2243 357985 9656 41639 0 26976 126913 412838 94.71 no data -- 365.05/91.44 c N dy 2369 378107 9656 41639 0 47094 126913 3465726 94.72 100.02 -- 382.62/95.87 c N dy 2501 398225 9656 41639 0 40211 126913 2251185 94.75 100.25 -- 401.40/100.58 c N dy 2632 418391 9656 41639 0 32378 126913 959791 94.80 101.25 -- 419.38/105.07 c N dy 2758 438728 9656 41639 0 52712 126913 4051729 94.79 101.54 -- 436.95/109.44 c N dy 2882 458809 9656 41639 0 43793 126913 2533611 94.75 99.85 -- 455.73/114.12 c N dy 3010 478889 9656 41639 0 33880 126913 889811 94.75 101.82 -- 473.69/118.65 c N dy 3146 499026 9656 41639 0 54013 126913 3992734 94.86 101.62 -- 492.07/123.29 c N dy 3274 519270 9656 41639 0 43254 126913 2157679 94.88 100.01 -- 509.25/127.52 c S st 3386 536977 9656 41639 0 60960 126913 4823258 94.87 78.68 -- 509.65/127.67 c S st 3386 537478 9656 41639 0 61461 126913 4879292 94.87 no data -- 509.65/127.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 509.65/127.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 510.05/127.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.27 511.24/128.01 c bin-w-bin subsume rem 0 bins time: 0.01 s 511.24/128.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 511.24/128.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 511.24/128.02 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 774.88/194.06 c lits-rem: 1 cl-subs: 9 v-elim: 0 v-fix: 0 time: 262.98 s 774.88/194.07 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 775.28/194.13 c vivif2 -- cl tried 61452 cl shrink 0 lits rem 0 time: 0.25 775.69/194.27 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.55 775.69/194.27 c calculated reachability. Time: 0.00 775.69/194.27 c N dy 3386 537478 9656 41639 0 61452 126913 4877955 94.87 no data -- 794.85/199.07 c N dy 3518 557805 9656 41639 0 49778 126913 3014351 94.90 102.60 -- 815.63/204.26 c N dy 3649 577890 9656 41639 0 36864 126913 907031 94.95 100.65 -- 834.80/209.08 c N dy 3788 597894 9656 41639 0 56865 126913 3957747 95.02 100.22 -- 855.18/214.19 c N dy 3922 617898 9656 41639 0 42869 126913 1675220 95.04 101.23 -- 875.95/219.35 c N dy 4058 638063 9656 41639 0 63031 126913 4723768 95.08 101.23 -- 896.31/224.45 c N dy 4202 658075 9656 41639 0 48048 126913 2319022 95.14 100.75 -- 917.49/229.79 c N dy 4324 678151 9656 41639 0 68121 126913 5368147 95.14 100.76 -- 937.46/234.74 c N dy 4447 698160 9656 41639 0 52134 126913 2790290 95.11 100.44 -- 959.83/240.33 c N dy 4580 718317 9656 41639 0 72290 126913 5872126 95.14 102.70 -- 979.79/245.34 c N dy 4717 738357 9656 41639 0 55328 126913 3188461 95.19 100.38 -- 1002.96/251.11 c N dy 4855 758456 9656 41639 0 75426 126913 6258339 95.26 101.41 -- 1022.56/256.07 c N dy 4981 778543 9656 41639 0 57514 126913 3321859 95.26 100.62 -- 1046.10/261.93 c N dy 5121 798605 9656 41639 0 77576 126913 6379510 95.29 101.71 -- 1053.32/263.75 c S st 5168 806218 9656 41639 0 46197 126913 1449926 95.28 no data -- 1053.69/263.87 c S st 5168 806720 9656 41639 0 46699 126913 1504800 95.28 no data -- 1053.69/263.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1053.69/263.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1054.09/263.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1054.49/264.01 c bin-w-bin subsume rem 0 bins time: 0.01 s 1054.49/264.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1054.49/264.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.02 s 1054.49/264.03 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1067.68/267.32 c lits-rem: 13 cl-subs: 2 v-elim: 0 v-fix: 0 time: 13.12 s 1067.68/267.33 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 1067.68/267.35 c vivif2 -- cl tried 46697 cl shrink 0 lits rem 0 time: 0.08 1068.08/267.45 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.43 1068.08/267.46 c calculated reachability. Time: 0.00 1068.08/267.46 c N dy 5168 806720 9656 41639 0 46697 126913 1504141 95.28 no data -- 1089.25/272.74 c N dy 5315 826839 9656 41639 0 66815 126913 4554655 95.31 103.74 -- 1111.61/278.32 c N dy 5446 846913 9656 41639 0 46888 126913 1411329 95.33 118.93 -- 1132.78/283.62 c N dy 5571 867393 9656 41639 0 67365 126913 4549983 95.32 101.74 -- 1154.75/289.19 c N dy 5696 887453 9656 41639 0 46425 126913 1200742 95.34 102.38 -- 1174.73/294.18 c N dy 5825 907465 9656 41639 0 66434 126913 4299229 95.37 104.52 -- 1197.49/299.82 c N dy 5949 927569 9656 41639 0 44541 126913 763592 95.39 102.09 -- 1217.06/304.71 c N dy 6076 947599 9656 41639 0 64567 126913 3808410 95.42 101.66 -- 1239.84/310.48 c N dy 6213 967617 9656 41639 0 84585 126913 6859739 95.46 101.23 -- 1260.20/315.50 c N dy 6341 987803 9656 41639 0 61773 126913 3227666 95.47 101.36 -- 1282.56/321.17 c N dy 6468 1008022 9656 41639 0 81989 126913 6302648 95.48 101.00 -- 1304.53/326.65 c N dy 6590 1028112 9656 41639 0 58084 126913 2543853 95.47 116.89 -- 1327.69/332.45 c N dy 6713 1048297 9656 41639 0 78267 126913 5614083 95.46 103.16 -- 1350.87/338.29 c N dy 6839 1068382 9656 41639 0 53351 126913 1660886 95.46 100.67 -- 1354.46/339.20 c F st 6865 1071875 9656 41639 0 56844 126913 2200176 95.47 no data -- 1372.84/343.78 c N dy 6946 1088399 9656 41639 0 73365 126913 4942975 95.50 100.95 -- 1397.60/349.92 c N dy 7062 1108479 9656 41639 0 47454 126913 632262 95.49 101.16 -- 1417.59/355.00 c N dy 7194 1128609 9656 41639 0 67583 126913 3692757 95.51 100.54 -- 1441.54/360.92 c N dy 7330 1148717 9656 41639 0 87689 126913 6756779 95.53 101.57 -- 1463.51/366.43 c N dy 7470 1168812 9656 41639 0 60790 126913 2522839 95.56 106.87 -- 1485.88/372.05 c N dy 7594 1189001 9656 41639 0 80979 126913 5613534 95.56 100.91 -- 1510.26/378.11 c N dy 7724 1209016 9656 41639 0 52993 126913 1182146 95.55 101.54 -- 1511.04/378.37 c S st 7730 1210081 9656 41639 0 54058 126913 1334536 95.55 no data -- 1511.84/378.50 c S st 7730 1210584 9656 41639 0 54561 126913 1394814 95.55 no data -- 1511.84/378.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1511.84/378.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1511.84/378.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1512.24/378.64 c bin-w-bin subsume rem 0 bins time: 0.01 s 1512.24/378.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1512.24/378.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.02 s 1512.24/378.65 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1524.21/381.68 c lits-rem: 17 cl-subs: 2 v-elim: 0 v-fix: 0 time: 12.11 s 1524.21/381.69 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 1524.61/381.71 c vivif2 -- cl tried 54559 cl shrink 0 lits rem 0 time: 0.08 1525.02/381.82 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.45 1525.02/381.82 c calculated reachability. Time: 0.00 1525.02/381.82 c N dy 7730 1210584 9656 41639 0 54559 126913 1393730 95.55 no data -- 1545.79/387.08 c N dy 7854 1230750 9656 41639 0 74724 126913 4458952 95.55 103.82 -- 1570.95/393.31 c N dy 7985 1250856 9656 41639 0 94828 126913 7509400 95.57 102.83 -- 1592.13/398.69 c N dy 8117 1270930 9656 41639 0 65902 126913 3006721 95.58 102.32 -- 1615.30/404.46 c N dy 8239 1290963 9656 41639 0 85929 126913 6093545 95.59 113.87 -- 1640.06/410.63 c N dy 8369 1311162 9656 41639 0 56130 126913 1348346 95.61 101.90 -- 1661.63/416.00 c N dy 8489 1331295 9656 41639 0 76263 126913 4400665 95.60 101.71 -- 1686.39/422.21 c N dy 8606 1351317 9656 41639 0 96282 126913 7448440 95.60 105.87 -- 1708.76/427.85 c N dy 8738 1371439 9656 41639 0 65407 126913 2682930 95.62 101.68 -- 1733.13/433.92 c N dy 8870 1391579 9656 41639 0 85546 126913 5793329 95.64 101.65 -- 1759.89/440.69 c N dy 8998 1411698 9656 41639 0 53667 126913 690303 95.65 101.62 -- 1781.06/445.96 c N dy 9131 1431775 9656 41639 0 73740 126913 3736731 95.66 102.15 -- 1805.82/452.18 c N dy 9268 1451972 9656 41639 0 93934 126913 6804216 95.68 102.31 -- 1830.60/458.40 c N dy 9397 1472204 9656 41639 0 61176 126913 1702380 95.70 100.82 -- 1853.36/464.07 c N dy 9524 1492442 9656 41639 0 81413 126913 4767570 95.69 101.49 -- 1878.94/470.49 c N dy 9640 1512473 9656 41639 0 101442 126913 7861528 95.70 101.42 -- 1902.49/476.36 c N dy 9768 1532537 9656 41639 0 67509 126913 2556354 95.71 100.77 -- 1926.06/482.23 c N dy 9894 1552546 9656 41639 0 87516 126913 5622627 95.72 102.38 -- 1953.22/489.02 c N dy 10021 1572645 9656 41639 0 107612 126913 8678135 95.73 118.98 -- 1975.60/494.61 c N dy 10146 1592714 9656 41639 0 72682 126913 3149556 95.73 104.63 -- 2001.15/501.04 c N dy 10281 1612880 9656 41639 0 92848 126913 6225005 95.75 102.39 -- 2032.31/508.88 c N dy 10414 1633114 9656 41639 0 57085 126913 623168 95.75 101.96 -- 2055.88/514.73 c N dy 10537 1653161 9656 41639 0 77131 126913 3650237 95.74 101.17 -- 2083.45/521.67 c N dy 10665 1673168 9656 41639 0 97137 126913 6664036 95.74 157.42 -- 2113.80/529.28 c N dy 10797 1693412 9656 41639 0 60385 126913 985693 95.75 101.10 -- 2134.97/534.50 c S st 10906 1710584 9656 41639 0 77557 126913 3610087 95.76 77.58 -- 2135.37/534.69 c S st 10906 1711087 9656 41639 0 78060 126913 3659245 95.76 no data -- 2135.77/534.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2135.77/534.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2135.77/534.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.34 2136.57/534.97 c bin-w-bin subsume rem 0 bins time: 0.01 s 2136.57/534.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2136.57/534.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.02 s 2136.57/534.99 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2282.77/571.52 c lits-rem: 1 cl-subs: 3 v-elim: 0 v-fix: 0 time: 145.54 s 2282.77/571.52 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 2282.77/571.57 c vivif2 -- cl tried 78057 cl shrink 0 lits rem 0 time: 0.20 2283.60/571.74 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.67 2283.60/571.75 c calculated reachability. Time: 0.00 2283.60/571.75 c N dy 10906 1711087 9656 41639 0 78057 126913 3658719 95.76 no data -- 2310.33/578.42 c N dy 11041 1731232 9656 41639 0 98201 126913 6746910 95.78 100.91 -- 2339.50/585.77 c N dy 11173 1751335 9656 41639 0 60305 126913 826845 95.79 101.05 -- 2362.68/591.59 c N dy 11304 1771405 9656 41639 0 80373 126913 3914894 95.81 104.53 -- 2389.05/598.17 c N dy 11435 1791600 9656 41639 0 100568 126913 7033164 95.83 102.33 -- 2417.39/605.29 c N dy 11565 1811658 9656 41639 0 61625 126913 896531 95.83 103.42 -- 2440.16/610.92 c N dy 11705 1831781 9656 41639 0 81748 126913 4020467 95.86 101.83 -- 2466.12/617.43 c N dy 11830 1851977 9656 41639 0 101943 126913 7122547 95.86 101.81 -- 2495.28/624.72 c N dy 11959 1872195 9656 41639 0 62161 126913 826390 95.87 101.39 -- 2517.65/630.32 c N dy 12088 1892304 9656 41639 0 82269 126913 3947294 95.89 103.86 -- 2544.01/636.93 c N dy 12216 1912666 9656 41639 0 102631 126913 7054116 95.90 103.31 -- 2573.97/644.43 c N dy 12352 1932710 9656 41639 0 61675 126913 591487 95.90 101.44 -- 2596.33/650.06 c N dy 12491 1952765 9656 41639 0 81728 126913 3642862 95.92 120.33 -- 2622.70/656.64 c N dy 12625 1972821 9656 41639 0 101781 126913 6715111 95.93 101.87 -- 2652.69/664.17 c N dy 12763 1992933 9656 41639 0 121892 126913 9856184 95.96 101.10 -- 2676.23/670.05 c N dy 12887 2013127 9656 41639 0 80094 126913 3241994 95.96 102.37 -- 2701.79/676.47 c N dy 13017 2033178 9656 41639 0 100143 126913 6297831 95.97 104.08 -- 2731.37/683.86 c N dy 13146 2053192 9656 41639 0 120156 126913 9393118 95.99 110.92 -- 2756.51/690.17 c N dy 13274 2073310 9656 41639 0 77283 126913 2686385 95.98 101.84 -- 2782.08/696.57 c N dy 13413 2093467 9656 41639 0 97440 126913 5794273 96.00 103.08 -- 2811.24/703.84 c N dy 13547 2113501 9656 41639 0 117471 126913 8875538 96.01 105.47 -- 2840.00/711.02 c N dy 13679 2133563 9656 41639 0 73532 126913 1976586 96.02 104.16 -- 2865.96/717.50 c N dy 13816 2153580 9656 41639 0 93549 126913 5050729 96.04 101.69 -- 2895.52/724.99 c N dy 13951 2173702 9656 41639 0 113669 126913 8160987 96.06 101.25 -- 2927.08/732.89 c N dy 14080 2193802 9656 41639 0 68773 126913 1085738 96.07 101.93 -- 2948.25/738.15 c S st 14190 2211087 9656 41639 0 86057 126913 3746795 96.08 85.21 -- 2949.05/738.33 c S st 14190 2211591 9656 41639 0 86561 126913 3804209 96.08 no data -- 2949.05/738.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2949.05/738.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2949.45/738.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2950.25/738.61 c bin-w-bin subsume rem 0 bins time: 0.02 s 2950.25/738.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2950.25/738.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 2950.25/738.62 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3117.63/780.52 c lits-rem: 12 cl-subs: 9 v-elim: 0 v-fix: 0 time: 167.04 s 3117.63/780.52 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.02 3117.63/780.57 c vivif2 -- cl tried 86552 cl shrink 0 lits rem 0 time: 0.21 3118.44/780.76 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.73 3118.44/780.76 c calculated reachability. Time: 0.00 3118.44/780.76 c N dy 14190 2211591 9656 41639 0 86552 126913 3800823 96.08 no data -- 3147.99/788.14 c N dy 14319 2231678 9656 41639 0 106638 126913 6870712 96.08 107.62 -- 3181.93/796.60 c N dy 14450 2251861 9656 41639 0 126821 126913 9944892 96.09 101.58 -- 3210.30/803.78 c N dy 14587 2271949 9656 41639 0 80911 126913 2820659 96.11 108.50 -- 3239.05/810.98 c N dy 14718 2291981 9656 41639 0 100941 126913 5875680 96.11 101.71 -- 3272.23/819.22 c N dy 14848 2311998 9656 41639 0 120956 126913 8951165 96.12 112.40 -- 3304.96/827.41 c N dy 14981 2332000 9656 41639 0 73963 126913 1613142 96.13 102.22 -- 3332.13/834.27 c N dy 15116 2352136 9656 41639 0 94097 126913 4715807 96.13 101.55 -- 3363.69/842.20 c N dy 15256 2372210 9656 41639 0 114171 126913 7826097 96.15 101.26 -- 3400.04/851.27 c N dy 15392 2392214 9656 41639 0 134173 126913 10949753 96.17 122.19 -- 3427.20/858.02 c N dy 15517 2412240 9656 41639 0 86204 126913 3371849 96.19 101.52 -- 3456.78/865.47 c N dy 15649 2432328 9656 41639 0 106289 126913 6495568 96.20 105.88 -- 3490.32/873.83 c N dy 15787 2452455 9656 41639 0 126416 126913 9579374 96.20 102.24 -- 3521.48/881.65 c N dy 15923 2472531 9656 41639 0 77494 126913 1857722 96.22 101.86 -- 3548.24/888.33 c N dy 16049 2492693 9656 41639 0 97655 126913 4970968 96.22 101.47 -- 3579.40/896.18 c N dy 16185 2512695 9656 41639 0 117655 126913 8063901 96.24 107.42 -- 3614.96/905.06 c N dy 16324 2532898 9656 41639 0 137856 126913 11194951 96.26 103.15 -- 3641.32/911.69 c N dy 16461 2552922 9656 41639 0 87883 126913 3317169 96.27 102.23 -- 3670.06/918.83 c N dy 16588 2572997 9656 41639 0 107956 126913 6400682 96.28 102.81 -- 3703.22/927.11 c N dy 16717 2593127 9656 41639 0 128085 126913 9523820 96.29 102.80 -- 3736.37/935.45 c N dy 16861 2613218 9656 41639 0 77180 126913 1509365 96.31 104.13 -- 3763.14/942.13 c N dy 16995 2633409 9656 41639 0 97369 126913 4660410 96.33 106.74 -- 3794.30/949.92 c N dy 17118 2653418 9656 41639 0 117377 126913 7742317 96.33 106.10 -- 3831.04/959.10 c N dy 17256 2673591 9656 41639 0 137547 126913 10856357 96.34 101.47 -- 3861.80/966.88 c N dy 17392 2693596 9656 41639 0 85553 126913 2631626 96.36 101.71 -- 3888.16/973.44 c S st 17505 2711592 9656 41639 0 103546 126913 5402636 96.36 no data -- 3888.97/973.68 c S st 17505 2712097 9656 41639 0 104051 126913 5454102 96.36 no data -- 3889.36/973.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3889.36/973.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3889.76/973.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.42 3890.56/974.08 c bin-w-bin subsume rem 0 bins time: 0.01 s 3890.56/974.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3890.56/974.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.02 s 3890.56/974.10 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4265.27/1067.84 c lits-rem: 5 cl-subs: 8 v-elim: 0 v-fix: 0 time: 373.10 s 4265.27/1067.85 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 4265.65/1067.92 c vivif2 -- cl tried 104043 cl shrink 0 lits rem 0 time: 0.29 4266.45/1068.14 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.88 4266.45/1068.15 c calculated reachability. Time: 0.00 4266.45/1068.15 c N dy 17505 2712097 9656 41639 0 104043 126913 5451771 96.36 no data -- 4298.01/1076.04 c N dy 17643 2732157 9656 41639 0 124101 126913 8568762 96.38 104.21 -- 4333.56/1084.96 c N dy 17775 2752248 9656 41639 0 144191 126913 11678413 96.38 104.46 -- 4361.13/1091.81 c N dy 17911 2772325 9656 41639 0 91275 126913 3378262 96.39 111.69 -- 4389.88/1099.07 c N dy 18033 2792418 9656 41639 0 111366 126913 6473393 96.40 139.69 -- 4423.83/1107.54 c N dy 18174 2812501 9656 41639 0 131448 126913 9564494 96.41 102.59 -- 4458.98/1116.35 c N dy 18306 2832574 9656 41639 0 77521 126913 1121877 96.42 103.99 -- 4485.75/1123.07 c N dy 18443 2852651 9656 41639 0 97596 126913 4200358 96.43 102.54 -- 4516.10/1130.65 c N dy 18562 2872733 9656 41639 0 117677 126913 7278662 96.43 103.82 -- 4550.88/1139.36 c N dy 18695 2892998 9656 41639 0 137941 126913 10381811 96.43 101.96 -- 4584.01/1147.69 c N dy 18823 2913150 9656 41639 0 83097 126913 1843918 96.44 101.55 -- 4611.99/1154.65 c N dy 18951 2933205 9656 41639 0 103152 126913 4926951 96.44 106.05 -- 4643.53/1162.59 c N dy 19083 2953303 9656 41639 0 123249 126913 8040728 96.46 146.66 -- 4679.89/1171.69 c N dy 19217 2973365 9656 41639 0 143309 126913 11141552 96.47 102.02 -- 4711.44/1179.54 c N dy 19345 2993406 9656 41639 0 87353 126913 2333906 96.48 103.09 -- 4739.82/1186.69 c N dy 19479 3013490 9656 41639 0 107434 126913 5434545 96.48 101.92 -- 4772.55/1194.81 c N dy 19613 3033564 9656 41639 0 127506 126913 8531054 96.49 101.73 --
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-3175074-1304081753/watcher-3175074-1304081753 -o /tmp/evaluation-result-3175074-1304081753/solver-3175074-1304081753 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175074-1304081753.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: 3.79 6.60 7.34 5/180 2186 /proc/meminfo: memFree=30662268/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=40992 CPUtime=0 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 3 0 252366572 41975808 350 33554432000 4194304 4650419 140733415641040 18446744073709551615 268660718577 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 10248 350 303 112 0 5213 0 [pid=2186/tid=2187] ppid=2184 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 252366573 52465664 356 33554432000 4194304 4650419 140733415641040 18446744073709551615 47470188345256 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 252366573 52465664 356 33554432000 4194304 4650419 140733415641040 18446744073709551615 47470188345266 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 252366573 52465664 356 33554432000 4194304 4650419 140733415641040 18446744073709551615 268655709270 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0150211 s] /proc/loadavg: 3.79 6.60 7.34 5/180 2186 /proc/meminfo: memFree=30662268/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=291868 CPUtime=0.04 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 6187 0 0 0 3 1 0 0 18 0 4 0 252366572 298872832 5135 33554432000 4194304 4650419 140733415641040 18446744073709551615 4545933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 73120 6387 344 112 0 68085 0 [pid=2186/tid=2187] ppid=2184 vsize=292480 CPUtime=0.01 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1806 0 0 0 1 0 0 0 18 0 4 0 252366573 299499520 6387 33554432000 4194304 4650419 140733415641040 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=292480 CPUtime=0.01 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) D 2184 2186 2145 0 -1 4202560 1727 0 0 0 1 0 0 0 18 0 4 0 252366573 299499520 6387 33554432000 4194304 4650419 140733415641040 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=292480 CPUtime=0.01 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) D 2184 2186 2145 0 -1 4202560 1734 0 0 0 1 0 0 0 18 0 4 0 252366573 299499520 6387 33554432000 4194304 4650419 140733415641040 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 291868 [startup+0.119743 s] /proc/loadavg: 3.79 6.60 7.34 5/180 2186 /proc/meminfo: memFree=30662268/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=305520 CPUtime=3.6 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 18225 0 0 0 357 3 0 0 19 0 4 0 252366572 312852480 15844 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363613 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 76380 15844 391 112 0 71345 0 [pid=2186/tid=2187] ppid=2184 vsize=305520 CPUtime=0.9 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 5034 0 0 0 89 1 0 0 19 0 4 0 252366573 312852480 15844 33554432000 4194304 4650419 140733415641040 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=305520 CPUtime=0.89 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 4948 0 0 0 89 0 0 0 19 0 4 0 252366573 312852480 15844 33554432000 4194304 4650419 140733415641040 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=305520 CPUtime=0.89 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 2865 0 0 0 89 0 0 0 19 0 4 0 252366573 312852480 15844 33554432000 4194304 4650419 140733415641040 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 305520 [startup+1.01104 s] /proc/loadavg: 3.79 6.60 7.34 5/180 2186 /proc/meminfo: memFree=30662268/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=305520 CPUtime=4 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 18749 0 0 0 397 3 0 0 19 0 4 0 252366572 312852480 16368 33554432000 4194304 4650419 140733415641040 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 76380 16368 391 112 0 71345 0 [pid=2186/tid=2187] ppid=2184 vsize=305520 CPUtime=1 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 5141 0 0 0 99 1 0 0 19 0 4 0 252366573 312852480 16368 33554432000 4194304 4650419 140733415641040 18446744073709551615 4330802 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=305520 CPUtime=0.99 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 5048 0 0 0 99 0 0 0 19 0 4 0 252366573 312852480 16368 33554432000 4194304 4650419 140733415641040 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=305520 CPUtime=0.99 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 3086 0 0 0 99 0 0 0 19 0 4 0 252366573 312852480 16368 33554432000 4194304 4650419 140733415641040 18446744073709551615 4334321 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 305520 [startup+1.11102 s] /proc/loadavg: 3.79 6.60 7.34 5/180 2186 /proc/meminfo: memFree=30662268/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=307460 CPUtime=4.41 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 19845 0 0 0 437 4 0 0 19 0 4 0 252366572 314839040 16188 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363280 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 76865 16188 393 112 0 71830 0 [pid=2186/tid=2187] ppid=2184 vsize=307460 CPUtime=1.1 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 5244 0 0 0 109 1 0 0 19 0 4 0 252366573 314839040 16188 33554432000 4194304 4650419 140733415641040 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=307460 CPUtime=1.09 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 5144 0 0 0 109 0 0 0 19 0 4 0 252366573 314839040 16188 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=307460 CPUtime=1.09 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 3889 0 0 0 109 0 0 0 19 0 4 0 252366573 314839040 16188 33554432000 4194304 4650419 140733415641040 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.41 Current children cumulated vsize (KiB) 307460 [startup+1.51195 s] /proc/loadavg: 3.79 6.60 7.34 5/180 2186 /proc/meminfo: memFree=30662268/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=309784 CPUtime=6 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 22771 0 0 0 596 4 0 0 20 0 4 0 252366572 317218816 15016 33554432000 4194304 4650419 140733415641040 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 77446 15016 393 112 0 72411 0 [pid=2186/tid=2187] ppid=2184 vsize=309784 CPUtime=1.49 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 6069 0 0 0 148 1 0 0 20 0 4 0 252366573 317218816 15016 33554432000 4194304 4650419 140733415641040 18446744073709551615 4331850 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=309784 CPUtime=1.49 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 5999 0 0 0 148 1 0 0 20 0 4 0 252366573 317218816 15016 33554432000 4194304 4650419 140733415641040 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=309784 CPUtime=1.49 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 4280 0 0 0 149 0 0 0 20 0 4 0 252366573 317218816 15016 33554432000 4194304 4650419 140733415641040 18446744073709551615 4329683 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 6 Current children cumulated vsize (KiB) 309784 [startup+3.10067 s] /proc/loadavg: 3.79 6.60 7.34 9/184 2190 /proc/meminfo: memFree=30549660/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=310716 CPUtime=12.35 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 31010 0 0 0 1229 6 0 0 25 0 4 0 252366572 318173184 16729 33554432000 4194304 4650419 140733415641040 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 77679 16729 393 112 0 72644 0 [pid=2186/tid=2187] ppid=2184 vsize=310716 CPUtime=3.08 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 8084 0 0 0 307 1 0 0 25 0 4 0 252366573 318173184 16730 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=310716 CPUtime=3.07 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 8086 0 0 0 306 1 0 0 25 0 4 0 252366573 318173184 16730 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=310716 CPUtime=3.09 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 6332 0 0 0 308 1 0 0 25 0 4 0 252366573 318173184 16730 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 310716 [startup+6.30711 s] /proc/loadavg: 4.12 6.63 7.34 9/184 2190 /proc/meminfo: memFree=30424680/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=325104 CPUtime=25.16 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 57029 0 0 0 2505 11 0 0 25 0 4 0 252366572 332906496 28765 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 81276 28765 395 112 0 76241 0 [pid=2186/tid=2187] ppid=2184 vsize=325104 CPUtime=6.29 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 15338 0 0 0 627 2 0 0 25 0 4 0 252366573 332906496 28765 33554432000 4194304 4650419 140733415641040 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=325104 CPUtime=6.26 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 12379 0 0 0 624 2 0 0 25 0 4 0 252366573 332906496 28765 33554432000 4194304 4650419 140733415641040 18446744073709551615 4520268 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=325104 CPUtime=6.29 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 10558 0 0 0 627 2 0 0 25 0 4 0 252366573 332906496 28765 33554432000 4194304 4650419 140733415641040 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 325104 [startup+12.701 s] /proc/loadavg: 4.51 6.66 7.35 9/184 2190 /proc/meminfo: memFree=30343728/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=325504 CPUtime=50.7 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 91628 0 0 0 5049 21 0 0 25 0 4 0 252366572 333316096 44318 33554432000 4194304 4650419 140733415641040 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 81376 44318 395 112 0 76341 0 [pid=2186/tid=2187] ppid=2184 vsize=325504 CPUtime=12.68 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 18106 0 0 0 1265 3 0 0 25 0 4 0 252366573 333316096 44318 33554432000 4194304 4650419 140733415641040 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=325504 CPUtime=12.61 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 26005 0 0 0 1256 5 0 0 25 0 4 0 252366573 333316096 44318 33554432000 4194304 4650419 140733415641040 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=325504 CPUtime=12.68 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 23303 0 0 0 1262 6 0 0 25 0 4 0 252366573 333316096 44318 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 325504 [startup+25.5008 s] /proc/loadavg: 5.29 6.73 7.36 9/184 2191 /proc/meminfo: memFree=30198044/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=473012 CPUtime=101.82 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 150582 0 0 0 10147 35 0 0 25 0 4 0 252366572 484364288 66278 33554432000 4194304 4650419 140733415641040 18446744073709551615 4366156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 118253 66278 395 112 0 113218 0 [pid=2186/tid=2187] ppid=2184 vsize=473012 CPUtime=25.48 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 34653 0 0 0 2542 6 0 0 25 0 4 0 252366573 484364288 66278 33554432000 4194304 4650419 140733415641040 18446744073709551615 268660320665 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=473012 CPUtime=25.34 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 40873 0 0 0 2525 9 0 0 25 0 4 0 252366573 484364288 66278 33554432000 4194304 4650419 140733415641040 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=473012 CPUtime=25.48 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 34302 0 0 0 2539 9 0 0 25 0 4 0 252366573 484364288 66278 33554432000 4194304 4650419 140733415641040 18446744073709551615 4438709 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.82 Current children cumulated vsize (KiB) 473012 [startup+51.1003 s] /proc/loadavg: 6.21 6.83 7.38 9/184 2191 /proc/meminfo: memFree=30146664/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=592636 CPUtime=204.08 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 232093 0 0 0 20353 55 0 0 25 0 4 0 252366572 606859264 77837 33554432000 4194304 4650419 140733415641040 18446744073709551615 4327797 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 148159 77837 395 112 0 143124 0 [pid=2186/tid=2187] ppid=2184 vsize=592636 CPUtime=51.07 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 52912 0 0 0 5097 10 0 0 25 0 4 0 252366573 606859264 77837 33554432000 4194304 4650419 140733415641040 18446744073709551615 4426564 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=592636 CPUtime=50.81 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 64761 0 0 0 5066 15 0 0 25 0 4 0 252366573 606859264 77837 33554432000 4194304 4650419 140733415641040 18446744073709551615 4328289 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=592636 CPUtime=51.08 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 57637 0 0 0 5093 15 0 0 25 0 4 0 252366573 606859264 77837 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.08 Current children cumulated vsize (KiB) 592636 [startup+102.3 s] /proc/loadavg: 7.22 7.01 7.41 9/184 2193 /proc/meminfo: memFree=29973492/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=613560 CPUtime=408.58 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 386200 0 0 0 40759 99 0 0 25 0 4 0 252366572 628285440 90385 33554432000 4194304 4650419 140733415641040 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 153390 90385 395 112 0 148355 0 [pid=2186/tid=2187] ppid=2184 vsize=613560 CPUtime=102.27 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 81911 0 0 0 10208 19 0 0 25 0 4 0 252366573 628285440 90385 33554432000 4194304 4650419 140733415641040 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=613560 CPUtime=101.72 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 105582 0 0 0 10146 26 0 0 25 0 4 0 252366573 628285440 90385 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=613560 CPUtime=102.28 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 103120 0 0 0 10201 27 0 0 25 0 4 0 252366573 628285440 90385 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.58 Current children cumulated vsize (KiB) 613560 [startup+162.301 s] ################ # More data... # ################ [pid=2186] ppid=2184 vsize=1011264 CPUtime=2805.25 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 2413565 0 0 0 279873 652 0 0 25 0 4 0 252366572 1035534336 175933 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 252816 175933 395 112 0 247781 0 [pid=2186/tid=2187] ppid=2184 vsize=1011264 CPUtime=702.27 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 361193 0 0 0 70104 123 0 0 25 0 4 0 252366573 1035534336 175933 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1011264 CPUtime=698.44 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 652063 0 0 0 69668 176 0 0 25 0 4 0 252366573 1035534336 175933 33554432000 4194304 4650419 140733415641040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1011264 CPUtime=702.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 668398 0 0 0 70050 177 0 0 25 0 4 0 252366573 1035534336 175933 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.25 Current children cumulated vsize (KiB) 1011264 [startup+762.301 s] /proc/loadavg: 8.11 8.00 7.75 9/184 2219 /proc/meminfo: memFree=29486348/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1030620 CPUtime=3044.92 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 2655807 0 0 0 303780 712 0 0 25 0 4 0 252366572 1055354880 173413 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 257655 173414 395 112 0 252620 0 [pid=2186/tid=2187] ppid=2184 vsize=1030620 CPUtime=762.26 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 381385 0 0 0 76093 133 0 0 25 0 4 0 252366573 1055354880 173414 33554432000 4194304 4650419 140733415641040 18446744073709551615 4426561 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1030620 CPUtime=758.11 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 679592 0 0 0 75622 189 0 0 25 0 4 0 252366573 1055354880 173414 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1030620 CPUtime=762.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 844908 0 0 0 76023 204 0 0 25 0 4 0 252366573 1055354880 173414 33554432000 4194304 4650419 140733415641040 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.92 Current children cumulated vsize (KiB) 1030620 [startup+822.301 s] /proc/loadavg: 8.08 8.01 7.77 9/184 2221 /proc/meminfo: memFree=29319140/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1148124 CPUtime=3284.59 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 2806209 0 0 0 327703 756 0 0 25 0 4 0 252366572 1175678976 205076 33554432000 4194304 4650419 140733415641040 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 287031 205076 395 112 0 281996 0 [pid=2186/tid=2187] ppid=2184 vsize=1148124 CPUtime=822.27 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 381397 0 0 0 82093 134 0 0 25 0 4 0 252366573 1175678976 205076 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1148124 CPUtime=817.79 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 786365 0 0 0 81571 208 0 0 25 0 4 0 252366573 1175678976 205076 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1148124 CPUtime=822.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 871212 0 0 0 82008 219 0 0 25 0 4 0 252366573 1175678976 205076 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.59 Current children cumulated vsize (KiB) 1148124 [startup+882.301 s] /proc/loadavg: 8.07 8.02 7.79 9/184 2223 /proc/meminfo: memFree=29367560/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1097888 CPUtime=3524.27 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 3003867 0 0 0 351621 806 0 0 25 0 4 0 252366572 1124237312 194257 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 274472 194257 395 112 0 269437 0 [pid=2186/tid=2187] ppid=2184 vsize=1097888 CPUtime=882.27 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 386055 0 0 0 88091 136 0 0 25 0 4 0 252366573 1124237312 194257 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1097888 CPUtime=877.46 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 924067 0 0 0 87519 227 0 0 25 0 4 0 252366573 1124237312 194257 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1097888 CPUtime=882.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 899554 0 0 0 87993 234 0 0 25 0 4 0 252366573 1124237312 194257 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.27 Current children cumulated vsize (KiB) 1097888 [startup+942.301 s] /proc/loadavg: 8.06 8.03 7.80 9/184 2224 /proc/meminfo: memFree=29297804/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1163668 CPUtime=3763.95 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 3237468 0 0 0 375530 865 0 0 25 0 4 0 252366572 1191596032 199355 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 290917 199355 395 112 0 285882 0 [pid=2186/tid=2187] ppid=2184 vsize=1163668 CPUtime=942.27 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 411049 0 0 0 94080 147 0 0 25 0 4 0 252366573 1191596032 199358 33554432000 4194304 4650419 140733415641040 18446744073709551615 4314730 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1163668 CPUtime=937.14 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1079380 0 0 0 93465 249 0 0 25 0 4 0 252366573 1191596032 199359 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1163668 CPUtime=942.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 926322 0 0 0 93981 246 0 0 25 0 4 0 252366573 1191596032 199359 33554432000 4194304 4650419 140733415641040 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.95 Current children cumulated vsize (KiB) 1163668 [startup+1002.3 s] /proc/loadavg: 8.06 8.03 7.82 9/184 2226 /proc/meminfo: memFree=29238704/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1177692 CPUtime=4003.6 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 3704695 0 0 0 399411 949 0 0 25 0 4 0 252366572 1205956608 214689 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 294423 214689 395 112 0 289388 0 [pid=2186/tid=2187] ppid=2184 vsize=1177692 CPUtime=1002.26 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 429546 0 0 0 100067 159 0 0 25 0 4 0 252366573 1205956608 214689 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1177692 CPUtime=996.81 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1257131 0 0 0 99406 275 0 0 25 0 4 0 252366573 1205956608 214689 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1177692 CPUtime=1002.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1100329 0 0 0 99955 272 0 0 25 0 4 0 252366573 1205956608 214689 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.6 Current children cumulated vsize (KiB) 1177692 [startup+1062.31 s] /proc/loadavg: 8.13 8.06 7.84 9/184 2227 /proc/meminfo: memFree=29244836/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1113872 CPUtime=4243.3 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 4173959 0 0 0 423292 1038 0 0 25 0 4 0 252366572 1140604928 210012 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 278468 210012 402 112 0 273433 0 [pid=2186/tid=2187] ppid=2184 vsize=1113872 CPUtime=1062.27 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 448075 0 0 0 106055 172 0 0 25 0 4 0 252366573 1140604928 210012 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1113872 CPUtime=1056.48 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1282582 0 0 0 105358 290 0 0 25 0 4 0 252366573 1140604928 210012 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1113872 CPUtime=1062.28 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1291317 0 0 0 105929 299 0 0 25 0 4 0 252366573 1140604928 210012 33554432000 4194304 4650419 140733415641040 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.3 Current children cumulated vsize (KiB) 1113872 [startup+1122.3 s] /proc/loadavg: 8.12 8.06 7.85 9/184 2229 /proc/meminfo: memFree=29188212/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1120644 CPUtime=4482.95 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 4276171 0 0 0 447217 1078 0 0 25 0 4 0 252366572 1147539456 217890 33554432000 4194304 4650419 140733415641040 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 280161 217891 395 112 0 275126 0 [pid=2186/tid=2187] ppid=2184 vsize=1120644 CPUtime=1122.26 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 450313 0 0 0 112054 172 0 0 25 0 4 0 252366573 1147539456 217891 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1120644 CPUtime=1116.15 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1306908 0 0 0 111313 302 0 0 25 0 4 0 252366573 1147539456 217891 33554432000 4194304 4650419 140733415641040 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1120644 CPUtime=1122.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1317506 0 0 0 111914 313 0 0 25 0 4 0 252366573 1147539456 217891 33554432000 4194304 4650419 140733415641040 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.95 Current children cumulated vsize (KiB) 1120644 [startup+1182.3 s] /proc/loadavg: 8.14 8.08 7.86 9/184 2231 /proc/meminfo: memFree=29210092/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1173864 CPUtime=4722.62 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 4350392 0 0 0 471147 1115 0 0 25 0 4 0 252366572 1202036736 215313 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363484 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 293466 215313 395 112 0 288431 0 [pid=2186/tid=2187] ppid=2184 vsize=1173864 CPUtime=1182.26 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 450331 0 0 0 118054 172 0 0 25 0 4 0 252366573 1202036736 215313 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1173864 CPUtime=1175.83 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1329301 0 0 0 117269 314 0 0 25 0 4 0 252366573 1202036736 215313 33554432000 4194304 4650419 140733415641040 18446744073709551615 4310353 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1173864 CPUtime=1182.27 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1343235 0 0 0 117901 326 0 0 25 0 4 0 252366573 1202036736 215313 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.62 Current children cumulated vsize (KiB) 1173864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.16 8.09 7.87 9/184 2231 /proc/meminfo: memFree=29171988/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1121096 CPUtime=4800.13 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 4382864 0 0 0 478884 1129 0 0 25 0 4 0 252366572 1148002304 224602 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 280274 224602 395 112 0 275239 0 [pid=2186/tid=2187] ppid=2184 vsize=1121096 CPUtime=1201.67 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 450331 0 0 0 119995 172 0 0 25 0 4 0 252366573 1148002304 224603 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1121096 CPUtime=1195.12 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1346236 0 0 0 119194 318 0 0 25 0 4 0 252366573 1148002304 224603 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1121096 CPUtime=1201.68 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1351668 0 0 0 119836 332 0 0 25 0 4 0 252366573 1148002304 224603 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 1121096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.16 8.09 7.87 9/184 2231 /proc/meminfo: memFree=29171988/32951124 swapFree=67111524/67111528 [pid=2186] ppid=2184 vsize=1121096 CPUtime=4800.13 cores=1,3,5,7 /proc/2186/stat : 2186 (strangenight1-m) R 2184 2186 2145 0 -1 4202496 4382864 0 0 0 478884 1129 0 0 25 0 4 0 252366572 1148002304 224602 33554432000 4194304 4650419 140733415641040 18446744073709551615 4363514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2186/statm: 280274 224602 395 112 0 275239 0 [pid=2186/tid=2187] ppid=2184 vsize=1121096 CPUtime=1201.67 cores=1,3,5,7 /proc/2186/task/2187/stat : 2187 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 450331 0 0 0 119995 172 0 0 25 0 4 0 252366573 1148002304 224603 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2186/tid=2188] ppid=2184 vsize=1121096 CPUtime=1195.12 cores=1,3,5,7 /proc/2186/task/2188/stat : 2188 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1346236 0 0 0 119194 318 0 0 25 0 4 0 252366573 1148002304 224603 33554432000 4194304 4650419 140733415641040 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2186/tid=2189] ppid=2184 vsize=1121096 CPUtime=1201.68 cores=1,3,5,7 /proc/2186/task/2189/stat : 2189 (strangenight1-m) R 2184 2186 2145 0 -1 4202560 1351668 0 0 0 119836 332 0 0 25 0 4 0 252366573 1148002304 224603 33554432000 4194304 4650419 140733415641040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 1121096 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.75 CPU time (s): 4800.2 CPU user time (s): 4788.87 CPU system time (s): 11.3323 CPU usage (%): 399.434 Max. virtual memory (cumulated for all children) (KiB): 1177692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4788.87 system time used= 11.3323 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4382869 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= 2209 involuntary context switches= 30341 runsolver used 1.73174 second user time and 4.85026 second system time The end
Begin job on node107 at 2011-04-29 14:55:53 IDJOB=3175074 IDBENCH=82692 IDSOLVER=1588 FILE ID=node107/3175074-1304081753 RUNJOBID= node107-1304081753-2164 PBS_JOBID= 13170536 Free space on /tmp= 71796 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175074-1304081753/watcher-3175074-1304081753 -o /tmp/evaluation-result-3175074-1304081753/solver-3175074-1304081753 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175074-1304081753.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 418f15c9ecdcb73d78687b6da2a74460 RANDOM SEED=1021536892 node107.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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 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.67 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.829 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.829 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.74 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.829 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 : 5359.47 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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: 32951124 kB MemFree: 30666780 kB Buffers: 631700 kB Cached: 1222968 kB SwapCached: 4 kB Active: 127344 kB Inactive: 1791080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30666780 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 16244 kB Writeback: 0 kB AnonPages: 64060 kB Mapped: 15592 kB Slab: 300564 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 214212 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= 71788 MiB End job on node107 at 2011-04-29 15:15:57