| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.24 | 1203.36 |
| 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-3368683-1305400667.cnf' 0.00/0.00 c -- header says num vars: 10000 0.00/0.00 c -- header says num clauses: 42000 0.00/0.06 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.00/0.06 c -- vars added 10000 0.00/0.06 c Parsing time: 0.08 s 0.00/0.06 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.00/0.06 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.00/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.29/0.90 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.29/0.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.29/0.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.29/0.90 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 0.29/0.90 c lits-rem: 0 cl-subs: 0 v-elim: 344 v-fix: 0 time: 0.33 s 0.29/0.90 c Finding binary XORs T: 0.00 s found: 0 0.29/0.90 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 0.29/0.90 c calculated reachability. Time: 0.00 0.29/0.90 c Calc default polars - time: 0.01 s pos: 4316 undec: 1233 neg: 4451 0.29/0.90 c ========================================================================================= 0.29/0.90 c types(t): F = full restart, N = normal restart 0.29/0.90 c types(t): S = simplification begin/end, E = solution found 0.29/0.90 c restart types(rt): st = static, dy = dynamic 0.29/0.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.29/0.90 c B st 0 0 9656 41639 0 0 126913 0 no data no data -- 0.29/0.90 c N dy 20 4119 9656 41639 0 4119 126913 615973 85.88 90.48 -- 5.56/1.40 c N dy 51 8235 9656 41639 0 4737 126913 326477 89.44 95.76 -- 7.59/1.99 c N dy 83 12331 9656 41639 0 8832 126913 928926 92.22 97.56 -- 10.35/2.62 c N dy 111 16418 9656 41639 0 7171 126913 414332 92.77 98.43 -- 12.73/3.25 c N dy 137 20524 9656 41639 0 11277 126913 1011424 92.55 97.70 -- 15.54/3.93 c N dy 167 24636 9656 41639 0 8015 126913 300034 93.36 98.47 -- 15.54/3.98 c F st 170 25001 9656 41639 0 8380 126913 356374 93.44 no data -- 19.12/4.85 c N dy 176 30000 9656 41639 0 13377 126913 1312920 93.44 no data -- 19.12/4.85 c S st 176 30000 9656 41639 0 13377 126913 1312920 93.44 no data -- 19.52/4.93 c S st 176 30505 9656 41639 0 13882 126913 1364849 93.44 no data -- 19.52/4.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.52/4.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.52/4.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.92/5.07 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.92/5.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.92/5.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 19.92/5.07 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 26.70/6.79 c lits-rem: 23 cl-subs: 11 v-elim: 0 v-fix: 0 time: 6.82 s 27.10/6.84 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.20 27.10/6.84 c calculated reachability. Time: 0.00 27.10/6.84 c N dy 176 30505 9656 41639 0 13871 126913 1361846 93.44 no data -- 29.89/7.59 c N dy 202 34760 9656 41639 0 9445 126913 332862 93.24 98.42 -- 32.69/8.27 c N dy 227 38825 9656 41639 0 13510 126913 933078 92.98 100.77 -- 35.87/9.00 c N dy 247 42866 9656 41639 0 17550 126913 1531043 92.66 97.57 -- 37.91/9.55 c S st 268 45757 9656 41639 0 10596 126913 331736 92.59 93.06 -- 38.31/9.63 c S st 268 46264 9656 41639 0 11102 126913 386551 92.59 no data -- 38.31/9.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.31/9.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.31/9.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 38.66/9.70 c bin-w-bin subsume rem 0 bins time: 0.01 s 38.66/9.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 38.66/9.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 38.66/9.71 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 45.05/11.30 c lits-rem: 9 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.35 s 45.05/11.30 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 45.05/11.31 c vivif2 -- cl tried 11102 cl shrink 0 lits rem 0 time: 0.02 45.05/11.35 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.16 45.05/11.35 c calculated reachability. Time: 0.00 45.05/11.35 c N dy 268 46264 9656 41639 0 11102 126913 386542 92.59 no data -- 47.83/12.02 c N dy 294 50289 9656 41639 0 15127 126913 978258 92.58 105.81 -- 50.63/12.72 c N dy 323 54362 9656 41639 0 19200 126913 1588593 92.73 100.11 -- 53.42/13.43 c N dy 348 58374 9656 41639 0 12286 126913 425385 92.64 103.26 -- 56.21/14.10 c N dy 369 62432 9656 41639 0 16344 126913 1023254 92.67 99.58 -- 59.00/14.82 c N dy 394 66601 9656 41639 0 20513 126913 1640461 92.66 98.74 -- 60.99/15.32 c S st 411 69396 9656 41639 0 23308 126913 2041186 92.54 no data -- 61.39/15.41 c S st 411 69898 9656 41639 0 23810 126913 2096727 92.54 no data -- 61.39/15.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 61.39/15.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.39/15.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 61.79/15.58 c bin-w-bin subsume rem 0 bins time: 0.01 s 61.79/15.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 61.79/15.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 61.79/15.58 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 77.80/19.57 c lits-rem: 1 cl-subs: 1 v-elim: 0 v-fix: 0 time: 15.82 s 77.80/19.57 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 77.80/19.59 c vivif2 -- cl tried 23809 cl shrink 0 lits rem 0 time: 0.10 78.15/19.66 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.27 78.15/19.66 c calculated reachability. Time: 0.00 78.15/19.66 c N dy 411 69898 9656 41639 0 23809 126913 2096190 92.54 no data -- 81.35/20.45 c N dy 443 74378 9656 41639 0 16335 126913 872997 92.62 106.96 -- 84.93/21.33 c N dy 473 79183 9656 41639 0 21140 126913 1601168 92.79 99.70 -- 88.53/22.27 c N dy 506 84241 9656 41639 0 13221 126913 260631 92.75 99.77 -- 90.96/22.82 c F st 527 87501 9656 41639 0 16481 126913 737251 92.72 no data -- 93.32/23.43 c N st 532 90798 9656 41639 0 19778 126913 1329324 92.72 no data -- 97.71/24.58 c N dy 561 96678 9656 41639 0 25658 126913 2349793 92.84 102.66 -- 102.49/25.74 c N dy 608 103043 9656 41639 0 18032 126913 834955 93.10 102.42 -- 103.72/26.06 c S st 621 104850 9656 41639 0 19839 126913 1107143 93.12 no data -- 104.13/26.15 c S st 621 105358 9656 41639 0 20347 126913 1163513 93.12 no data -- 104.13/26.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.13/26.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.13/26.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 104.48/26.25 c bin-w-bin subsume rem 0 bins time: 0.01 s 104.48/26.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 104.48/26.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 104.48/26.26 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 113.66/28.56 c lits-rem: 8 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.15 s 113.66/28.56 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 113.66/28.57 c vivif2 -- cl tried 20345 cl shrink 0 lits rem 0 time: 0.06 114.06/28.63 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.22 114.06/28.63 c calculated reachability. Time: 0.00 114.06/28.63 c N dy 621 105358 9656 41639 0 20345 126913 1163209 93.12 no data -- 119.25/29.90 c N dy 668 112151 9656 41639 0 27138 126913 2168746 93.19 98.77 -- 124.43/31.29 c N dy 715 119628 9656 41639 0 19616 126913 927694 93.24 101.45 -- 130.45/32.73 c N dy 764 127284 9656 41639 0 27270 126913 2084862 93.31 106.84 -- 136.40/34.29 c N dy 821 135441 9656 41639 0 19432 126913 760393 93.56 100.72 -- 142.79/35.89 c N dy 877 144109 9656 41639 0 28100 126913 2051769 93.61 100.03 -- 150.36/37.70 c N dy 940 153477 9656 41639 0 20467 126913 749115 93.73 99.94 -- 153.55/38.53 c S st 972 158040 9656 41639 0 25030 126913 1423518 93.78 78.19 -- 153.96/38.63 c S st 972 158547 9656 41639 0 25537 126913 1488000 93.78 no data -- 153.96/38.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 153.96/38.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 153.96/38.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 154.36/38.75 c bin-w-bin subsume rem 0 bins time: 0.01 s 154.36/38.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 154.36/38.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 154.36/38.75 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 165.92/41.63 c lits-rem: 8 cl-subs: 6 v-elim: 0 v-fix: 0 time: 11.46 s 165.92/41.64 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 165.92/41.66 c vivif2 -- cl tried 25531 cl shrink 0 lits rem 0 time: 0.07 166.32/41.72 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.26 166.32/41.72 c calculated reachability. Time: 0.00 166.32/41.72 c N dy 972 158547 9656 41639 0 25531 126913 1486725 93.78 no data -- 174.70/43.81 c N dy 1035 168923 9656 41639 0 35906 126913 3033898 93.84 102.12 -- 182.71/45.83 c N dy 1105 179786 9656 41639 0 28773 126913 1839919 93.81 99.54 -- 191.89/48.16 c N dy 1186 191363 9656 41639 0 21351 126913 615680 94.03 101.71 -- 201.83/50.61 c N dy 1272 203929 9656 41639 0 33914 126913 2546151 94.21 101.21 -- 212.20/53.23 c N dy 1364 216944 9656 41639 0 26923 126913 1283678 94.34 116.71 -- 224.17/56.20 c N dy 1456 230865 9656 41639 0 40841 126913 3386241 94.42 101.38 -- 229.35/57.53 c S st 1498 237820 9656 41639 0 26804 126913 1143413 94.42 no data -- 229.75/57.63 c S st 1498 238322 9656 41639 0 27306 126913 1201817 94.42 no data -- 229.75/57.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 229.75/57.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 229.75/57.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 230.15/57.74 c bin-w-bin subsume rem 0 bins time: 0.01 s 230.15/57.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 230.15/57.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 230.15/57.74 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 239.33/60.04 c lits-rem: 47 cl-subs: 1 v-elim: 0 v-fix: 0 time: 9.12 s 239.33/60.04 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 239.33/60.05 c vivif2 -- cl tried 27305 cl shrink 0 lits rem 0 time: 0.06 239.77/60.12 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.25 239.77/60.12 c calculated reachability. Time: 0.00 239.77/60.12 c N dy 1498 238322 9656 41639 0 27305 126913 1201333 94.42 no data -- 252.49/63.35 c N dy 1607 253666 9656 41639 0 42646 126913 3516393 94.57 99.94 -- 266.10/66.74 c N dy 1715 270026 9656 41639 0 37008 126913 2534895 94.70 99.72 -- 280.41/70.32 c N dy 1829 287304 9656 41639 0 31286 126913 1532116 94.75 101.65 -- 295.98/74.27 c N dy 1932 305744 9656 41639 0 25725 126913 535768 94.67 100.29 -- 296.38/74.37 c F st 1936 306252 9656 41639 0 26233 126913 620782 94.69 no data -- 312.33/78.38 c N dy 2031 325406 9656 41639 0 45384 126913 3701317 94.69 100.86 -- 329.49/82.60 c N dy 2158 345486 9656 41639 0 40469 126913 2576467 94.65 108.12 -- 340.27/85.38 c S st 2243 357483 9656 41639 0 26474 126913 362720 94.71 no data -- 340.70/85.47 c S st 2243 357985 9656 41639 0 26976 126913 412847 94.71 no data -- 340.70/85.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 340.70/85.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 341.10/85.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 341.10/85.55 c bin-w-bin subsume rem 0 bins time: 0.01 s 341.10/85.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 341.10/85.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 341.10/85.56 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 347.84/87.20 c lits-rem: 9 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.57 s 347.84/87.21 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 347.84/87.21 c vivif2 -- cl tried 26976 cl shrink 0 lits rem 0 time: 0.02 347.84/87.28 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.26 347.84/87.28 c calculated reachability. Time: 0.00 347.84/87.28 c N dy 2243 357985 9656 41639 0 26976 126913 412838 94.71 no data -- 364.99/91.55 c N dy 2369 378107 9656 41639 0 47094 126913 3465726 94.72 100.02 -- 382.54/95.92 c N dy 2501 398225 9656 41639 0 40211 126913 2251185 94.75 100.25 -- 401.30/100.69 c N dy 2632 418391 9656 41639 0 32378 126913 959791 94.80 101.25 -- 419.26/105.19 c N dy 2758 438728 9656 41639 0 52712 126913 4051729 94.79 101.54 -- 436.82/109.56 c N dy 2882 458809 9656 41639 0 43793 126913 2533611 94.75 99.85 -- 455.55/114.26 c N dy 3010 478889 9656 41639 0 33880 126913 889811 94.75 101.82 -- 473.91/118.80 c N dy 3146 499026 9656 41639 0 54013 126913 3992734 94.86 101.62 -- 492.26/123.42 c N dy 3274 519270 9656 41639 0 43254 126913 2157679 94.88 100.01 -- 509.02/127.68 c S st 3386 536977 9656 41639 0 60960 126913 4823258 94.87 78.68 -- 509.82/127.83 c S st 3386 537478 9656 41639 0 61461 126913 4879292 94.87 no data -- 509.82/127.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 509.82/127.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 510.22/127.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.27 511.02/128.16 c bin-w-bin subsume rem 0 bins time: 0.01 s 511.02/128.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 511.02/128.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 511.02/128.17 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 772.30/193.64 c lits-rem: 1 cl-subs: 9 v-elim: 0 v-fix: 0 time: 260.61 s 772.30/193.64 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 772.70/193.71 c vivif2 -- cl tried 61452 cl shrink 0 lits rem 0 time: 0.25 773.10/193.85 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.57 773.10/193.85 c calculated reachability. Time: 0.00 773.10/193.85 c N dy 3386 537478 9656 41639 0 61452 126913 4877955 94.87 no data -- 792.25/198.64 c N dy 3518 557805 9656 41639 0 49778 126913 3014351 94.90 102.60 -- 812.99/203.80 c N dy 3649 577890 9656 41639 0 36864 126913 907031 94.95 100.65 -- 832.58/208.72 c N dy 3788 597894 9656 41639 0 56865 126913 3957747 95.02 100.22 -- 852.88/213.85 c N dy 3922 617898 9656 41639 0 42869 126913 1675220 95.04 101.23 -- 873.63/219.05 c N dy 4058 638063 9656 41639 0 63031 126913 4723768 95.08 101.23 -- 894.01/224.15 c N dy 4202 658075 9656 41639 0 48048 126913 2319022 95.14 100.75 -- 915.55/229.52 c N dy 4324 678151 9656 41639 0 68121 126913 5368147 95.14 100.76 -- 935.06/234.45 c N dy 4447 698160 9656 41639 0 52134 126913 2790290 95.11 100.44 -- 957.40/240.07 c N dy 4580 718317 9656 41639 0 72290 126913 5872126 95.14 102.70 -- 977.39/245.09 c N dy 4717 738357 9656 41639 0 55328 126913 3188461 95.19 100.38 -- 1000.48/250.84 c N dy 4855 758456 9656 41639 0 75426 126913 6258339 95.26 101.41 -- 1020.43/255.80 c N dy 4981 778543 9656 41639 0 57514 126913 3321859 95.26 100.62 -- 1043.56/261.65 c N dy 5121 798605 9656 41639 0 77576 126913 6379510 95.29 101.71 -- 1050.75/263.48 c S st 5168 806218 9656 41639 0 46197 126913 1449926 95.28 no data -- 1051.15/263.61 c S st 5168 806720 9656 41639 0 46699 126913 1504800 95.28 no data -- 1051.58/263.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1051.58/263.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1051.58/263.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1051.98/263.75 c bin-w-bin subsume rem 0 bins time: 0.01 s 1051.98/263.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1051.98/263.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.02 s 1051.98/263.76 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1065.15/267.05 c lits-rem: 13 cl-subs: 2 v-elim: 0 v-fix: 0 time: 13.12 s 1065.15/267.06 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 1065.15/267.08 c vivif2 -- cl tried 46697 cl shrink 0 lits rem 0 time: 0.08 1065.50/267.18 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.42 1065.50/267.19 c calculated reachability. Time: 0.00 1065.50/267.19 c N dy 5168 806720 9656 41639 0 46697 126913 1504141 95.28 no data -- 1086.69/272.45 c N dy 5315 826839 9656 41639 0 66815 126913 4554655 95.31 103.74 -- 1109.04/278.02 c N dy 5446 846913 9656 41639 0 46888 126913 1411329 95.33 118.93 -- 1129.74/283.28 c N dy 5571 867393 9656 41639 0 67365 126913 4549983 95.32 101.74 -- 1151.68/288.73 c N dy 5696 887453 9656 41639 0 46425 126913 1200742 95.34 102.38 -- 1171.62/293.75 c N dy 5825 907465 9656 41639 0 66434 126913 4299229 95.37 104.52 -- 1193.96/299.38 c N dy 5949 927569 9656 41639 0 44541 126913 763592 95.39 102.09 -- 1213.51/304.30 c N dy 6076 947599 9656 41639 0 64567 126913 3808410 95.42 101.66 -- 1237.04/310.10 c N dy 6213 967617 9656 41639 0 84585 126913 6859739 95.46 101.23 -- 1256.99/315.10 c N dy 6341 987803 9656 41639 0 61773 126913 3227666 95.47 101.36 -- 1279.34/320.79 c N dy 6468 1008022 9656 41639 0 81989 126913 6302648 95.48 101.00 -- 1300.47/326.00 c N dy 6590 1028112 9656 41639 0 58084 126913 2543853 95.47 116.89 -- 1323.65/331.82 c N dy 6713 1048297 9656 41639 0 78267 126913 5614083 95.46 103.16 -- 1346.74/337.66 c N dy 6839 1068382 9656 41639 0 53351 126913 1660886 95.46 100.67 -- 1350.37/338.57 c F st 6865 1071875 9656 41639 0 56844 126913 2200176 95.47 no data -- 1368.68/343.19 c N dy 6946 1088399 9656 41639 0 73365 126913 4942975 95.50 100.95 -- 1393.85/349.48 c N dy 7062 1108479 9656 41639 0 47454 126913 632262 95.49 101.16 -- 1414.16/354.57 c N dy 7194 1128609 9656 41639 0 67583 126913 3692757 95.51 100.54 -- 1438.14/360.56 c N dy 7330 1148717 9656 41639 0 87689 126913 6756779 95.53 101.57 -- 1460.07/366.03 c N dy 7470 1168812 9656 41639 0 60790 126913 2522839 95.56 106.87 -- 1482.37/371.68 c N dy 7594 1189001 9656 41639 0 80979 126913 5613534 95.56 100.91 -- 1506.71/377.73 c N dy 7724 1209016 9656 41639 0 52993 126913 1182146 95.55 101.54 -- 1507.51/377.98 c S st 7730 1210081 9656 41639 0 54058 126913 1334536 95.55 no data -- 1508.34/378.12 c S st 7730 1210584 9656 41639 0 54561 126913 1394814 95.55 no data -- 1508.34/378.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1508.34/378.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1508.34/378.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1508.70/378.25 c bin-w-bin subsume rem 0 bins time: 0.01 s 1508.70/378.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1508.70/378.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.02 s 1508.70/378.26 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1520.68/381.28 c lits-rem: 17 cl-subs: 2 v-elim: 0 v-fix: 0 time: 12.02 s 1520.68/381.28 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.01 1520.68/381.30 c vivif2 -- cl tried 54559 cl shrink 0 lits rem 0 time: 0.08 1521.51/381.41 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.45 1521.51/381.42 c calculated reachability. Time: 0.00 1521.51/381.42 c N dy 7730 1210584 9656 41639 0 54559 126913 1393730 95.55 no data -- 1542.62/386.70 c N dy 7854 1230750 9656 41639 0 74724 126913 4458952 95.55 103.82 -- 1567.35/392.92 c N dy 7985 1250856 9656 41639 0 94828 126913 7509400 95.57 102.83 -- 1588.48/398.29 c N dy 8117 1270930 9656 41639 0 65902 126913 3006721 95.58 102.32 -- 1612.03/404.12 c N dy 8239 1290963 9656 41639 0 85929 126913 6093545 95.59 113.87 -- 1636.36/410.28 c N dy 8369 1311162 9656 41639 0 56130 126913 1348346 95.61 101.90 -- 1657.90/415.67 c N dy 8489 1331295 9656 41639 0 76263 126913 4400665 95.60 101.71 -- 1682.64/421.89 c N dy 8606 1351317 9656 41639 0 96282 126913 7448440 95.60 105.87 -- 1705.81/427.68 c N dy 8738 1371439 9656 41639 0 65407 126913 2682930 95.62 101.68 -- 1730.11/433.73 c N dy 8870 1391579 9656 41639 0 85546 126913 5793329 95.64 101.65 -- 1756.43/440.34 c N dy 8998 1411698 9656 41639 0 53667 126913 690303 95.65 101.62 -- 1777.56/445.60 c N dy 9131 1431775 9656 41639 0 73740 126913 3736731 95.66 102.15 -- 1802.34/451.83 c N dy 9268 1451972 9656 41639 0 93934 126913 6804216 95.68 102.31 -- 1827.44/458.12 c N dy 9397 1472204 9656 41639 0 61176 126913 1702380 95.70 100.82 -- 1849.78/463.76 c N dy 9524 1492442 9656 41639 0 81413 126913 4767570 95.69 101.49 -- 1875.30/470.19 c N dy 9640 1512473 9656 41639 0 101442 126913 7861528 95.70 101.42 -- 1898.88/476.07 c N dy 9768 1532537 9656 41639 0 67509 126913 2556354 95.71 100.77 -- 1921.97/481.89 c N dy 9894 1552546 9656 41639 0 87516 126913 5622627 95.72 102.38 -- 1949.10/488.68 c N dy 10021 1572645 9656 41639 0 107612 126913 8678135 95.73 118.98 -- 1971.84/494.31 c N dy 10146 1592714 9656 41639 0 72682 126913 3149556 95.73 104.63 -- 1996.57/500.50 c N dy 10281 1612880 9656 41639 0 92848 126913 6225005 95.75 102.39 -- 2027.29/508.26 c N dy 10414 1633114 9656 41639 0 57085 126913 623168 95.75 101.96 -- 2050.83/514.11 c N dy 10537 1653161 9656 41639 0 77131 126913 3650237 95.74 101.17 -- 2078.39/521.01 c N dy 10665 1673168 9656 41639 0 97137 126913 6664036 95.74 157.42 -- 2108.68/528.63 c N dy 10797 1693412 9656 41639 0 60385 126913 985693 95.75 101.10 -- 2129.41/533.83 c S st 10906 1710584 9656 41639 0 77557 126913 3610087 95.76 77.58 -- 2130.21/534.02 c S st 10906 1711087 9656 41639 0 78060 126913 3659245 95.76 no data -- 2130.21/534.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2130.21/534.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2130.61/534.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.34 2131.05/534.30 c bin-w-bin subsume rem 0 bins time: 0.01 s 2131.05/534.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2131.45/534.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 2131.45/534.31 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2275.42/570.44 c lits-rem: 1 cl-subs: 3 v-elim: 0 v-fix: 0 time: 143.74 s 2275.42/570.44 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.02 2275.42/570.49 c vivif2 -- cl tried 78057 cl shrink 0 lits rem 0 time: 0.19 2276.25/570.66 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.67 2276.25/570.67 c calculated reachability. Time: 0.00 2276.25/570.67 c N dy 10906 1711087 9656 41639 0 78057 126913 3658719 95.76 no data -- 2302.94/577.33 c N dy 11041 1731232 9656 41639 0 98201 126913 6746910 95.78 100.91 -- 2332.46/584.71 c N dy 11173 1751335 9656 41639 0 60305 126913 826845 95.79 101.05 -- 2355.59/590.55 c N dy 11304 1771405 9656 41639 0 80373 126913 3914894 95.81 104.53 -- 2382.73/597.35 c N dy 11435 1791600 9656 41639 0 100568 126913 7033164 95.83 102.33 -- 2411.05/604.46 c N dy 11565 1811658 9656 41639 0 61625 126913 896531 95.83 103.42 -- 2433.82/610.12 c N dy 11705 1831781 9656 41639 0 81748 126913 4020467 95.86 101.83 -- 2459.71/616.61 c N dy 11830 1851977 9656 41639 0 101943 126913 7122547 95.86 101.81 -- 2488.43/623.84 c N dy 11959 1872195 9656 41639 0 62161 126913 826390 95.87 101.39 -- 2510.77/629.46 c N dy 12088 1892304 9656 41639 0 82269 126913 3947294 95.89 103.86 -- 2537.10/636.08 c N dy 12216 1912666 9656 41639 0 102631 126913 7054116 95.90 103.31 -- 2567.02/643.58 c N dy 12352 1932710 9656 41639 0 61675 126913 591487 95.90 101.44 -- 2589.76/649.23 c N dy 12491 1952765 9656 41639 0 81728 126913 3642862 95.92 120.33 -- 2616.09/655.84 c N dy 12625 1972821 9656 41639 0 101781 126913 6715111 95.93 101.87 -- 2646.01/663.32 c N dy 12763 1992933 9656 41639 0 121892 126913 9856184 95.96 101.10 -- 2669.54/669.21 c N dy 12887 2013127 9656 41639 0 80094 126913 3241994 95.96 102.37 -- 2695.07/675.66 c N dy 13017 2033178 9656 41639 0 100143 126913 6297831 95.97 104.08 -- 2724.59/683.01 c N dy 13146 2053192 9656 41639 0 120156 126913 9393118 95.99 110.92 -- 2749.75/689.32 c N dy 13274 2073310 9656 41639 0 77283 126913 2686385 95.98 101.84 -- 2775.25/695.75 c N dy 13413 2093467 9656 41639 0 97440 126913 5794273 96.00 103.08 -- 2804.36/703.03 c N dy 13547 2113501 9656 41639 0 117471 126913 8875538 96.01 105.47 -- 2832.29/710.03 c N dy 13679 2133563 9656 41639 0 73532 126913 1976586 96.02 104.16 -- 2858.22/716.51 c N dy 13816 2153580 9656 41639 0 93549 126913 5050729 96.04 101.69 -- 2887.73/723.93 c N dy 13951 2173702 9656 41639 0 113669 126913 8160987 96.06 101.25 -- 2918.85/731.77 c N dy 14080 2193802 9656 41639 0 68773 126913 1085738 96.07 101.93 -- 2939.99/737.00 c S st 14190 2211087 9656 41639 0 86057 126913 3746795 96.08 85.21 -- 2940.39/737.19 c S st 14190 2211591 9656 41639 0 86561 126913 3804209 96.08 no data -- 2940.79/737.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2940.79/737.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2940.79/737.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2941.59/737.47 c bin-w-bin subsume rem 0 bins time: 0.01 s 2941.59/737.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2941.59/737.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.02 s 2941.59/737.48 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3108.74/779.31 c lits-rem: 12 cl-subs: 9 v-elim: 0 v-fix: 0 time: 166.45 s 3108.74/779.31 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.02 3108.74/779.36 c vivif2 -- cl tried 86552 cl shrink 0 lits rem 0 time: 0.21 3109.57/779.56 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.77 3109.57/779.57 c calculated reachability. Time: 0.00 3109.57/779.57 c N dy 14190 2211591 9656 41639 0 86552 126913 3800823 96.08 no data -- 3139.46/787.00 c N dy 14319 2231678 9656 41639 0 106638 126913 6870712 96.08 107.62 -- 3173.36/795.53 c N dy 14450 2251861 9656 41639 0 126821 126913 9944892 96.09 101.58 -- 3202.12/802.77 c N dy 14587 2271949 9656 41639 0 80911 126913 2820659 96.11 108.50 -- 3231.20/810.00 c N dy 14718 2291981 9656 41639 0 100941 126913 5875680 96.11 101.71 -- 3263.90/818.24 c N dy 14848 2311998 9656 41639 0 120956 126913 8951165 96.12 112.40 -- 3297.02/826.50 c N dy 14981 2332000 9656 41639 0 73963 126913 1613142 96.13 102.22 -- 3324.16/833.36 c N dy 15116 2352136 9656 41639 0 94097 126913 4715807 96.13 101.55 -- 3355.70/841.28 c N dy 15256 2372210 9656 41639 0 114171 126913 7826097 96.15 101.26 -- 3391.96/850.35 c N dy 15392 2392214 9656 41639 0 134173 126913 10949753 96.17 122.19 -- 3419.09/857.17 c N dy 15517 2412240 9656 41639 0 86204 126913 3371849 96.19 101.52 -- 3449.01/864.67 c N dy 15649 2432328 9656 41639 0 106289 126913 6495568 96.20 105.88 -- 3483.32/873.24 c N dy 15787 2452455 9656 41639 0 126416 126913 9579374 96.20 102.24 -- 3514.84/881.13 c N dy 15923 2472531 9656 41639 0 77494 126913 1857722 96.22 101.86 -- 3541.56/887.82 c N dy 16049 2492693 9656 41639 0 97655 126913 4970968 96.22 101.47 -- 3572.68/895.61 c N dy 16185 2512695 9656 41639 0 117655 126913 8063901 96.24 107.42 -- 3607.78/904.45 c N dy 16324 2532898 9656 41639 0 137856 126913 11194951 96.26 103.15 -- 3634.51/911.14 c N dy 16461 2552922 9656 41639 0 87883 126913 3317169 96.27 102.23 -- 3662.87/918.25 c N dy 16588 2572997 9656 41639 0 107956 126913 6400682 96.28 102.81 -- 3695.54/926.48 c N dy 16717 2593127 9656 41639 0 128085 126913 9523820 96.29 102.80 -- 3729.06/934.85 c N dy 16861 2613218 9656 41639 0 77180 126913 1509365 96.31 104.13 -- 3755.78/941.57 c N dy 16995 2633409 9656 41639 0 97369 126913 4660410 96.33 106.74 -- 3785.74/949.06 c N dy 17118 2653418 9656 41639 0 117377 126913 7742317 96.33 106.10 -- 3821.99/958.16 c N dy 17256 2673591 9656 41639 0 137547 126913 10856357 96.34 101.47 -- 3853.11/965.94 c N dy 17392 2693596 9656 41639 0 85553 126913 2631626 96.36 101.71 -- 3879.04/972.45 c S st 17505 2711592 9656 41639 0 103546 126913 5402636 96.36 no data -- 3879.84/972.69 c S st 17505 2712097 9656 41639 0 104051 126913 5454102 96.36 no data -- 3880.24/972.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3880.24/972.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3880.65/972.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.42 3881.45/973.09 c bin-w-bin subsume rem 0 bins time: 0.01 s 3881.45/973.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3881.45/973.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9656 time: 0.01 s 3881.45/973.10 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 4250.88/1065.63 c lits-rem: 5 cl-subs: 8 v-elim: 0 v-fix: 0 time: 368.17 s 4250.88/1065.63 c vivif2 -- cl tried 41639 cl shrink 0 lits rem 0 time: 0.02 4251.23/1065.70 c vivif2 -- cl tried 104043 cl shrink 0 lits rem 0 time: 0.28 4252.03/1065.91 c asymm cl-useful: 0/41639/41639 lits-rem:0 time: 0.84 4252.03/1065.92 c calculated reachability. Time: 0.00 4252.03/1065.92 c N dy 17505 2712097 9656 41639 0 104043 126913 5451771 96.36 no data -- 4282.75/1073.64 c N dy 17643 2732157 9656 41639 0 124101 126913 8568762 96.38 104.21 -- 4318.25/1082.52 c N dy 17775 2752248 9656 41639 0 144191 126913 11678413 96.38 104.46 -- 4345.38/1089.36 c N dy 17911 2772325 9656 41639 0 91275 126913 3378262 96.39 111.69 -- 4374.50/1096.68 c N dy 18033 2792418 9656 41639 0 111366 126913 6473393 96.40 139.69 -- 4408.45/1105.17 c N dy 18174 2812501 9656 41639 0 131448 126913 9564494 96.41 102.59 -- 4443.55/1113.98 c N dy 18306 2832574 9656 41639 0 77521 126913 1121877 96.42 103.99 -- 4470.28/1120.69 c N dy 18443 2852651 9656 41639 0 97596 126913 4200358 96.43 102.54 -- 4500.60/1128.26 c N dy 18562 2872733 9656 41639 0 117677 126913 7278662 96.43 103.82 -- 4535.27/1136.91 c N dy 18695 2892998 9656 41639 0 137941 126913 10381811 96.43 101.96 -- 4568.37/1145.20 c N dy 18823 2913150 9656 41639 0 83097 126913 1843918 96.44 101.55 -- 4595.90/1152.16 c N dy 18951 2933205 9656 41639 0 103152 126913 4926951 96.44 106.05 -- 4627.42/1160.09 c N dy 19083 2953303 9656 41639 0 123249 126913 8040728 96.46 146.66 -- 4663.71/1169.16 c N dy 19217 2973365 9656 41639 0 143309 126913 11141552 96.47 102.02 -- 4695.62/1177.11 c N dy 19345 2993406 9656 41639 0 87353 126913 2333906 96.48 103.09 -- 4725.94/1184.72 c N dy 19479 3013490 9656 41639 0 107434 126913 5434545 96.48 101.92 -- 4760.25/1193.34 c N dy 19613 3033564 9656 41639 0 127506 126913 8531054 96.49 101.73 -- 4799.38/1203.16 c N dy 19747 3053681 9656 41639 0 147623 126913 11602594 96.49 101.84 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368683-1305400667/watcher-3368683-1305400667 -o /tmp/evaluation-result-3368683-1305400667/solver-3368683-1305400667 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368683-1305400667.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.15 8.12 7.73 6/327 23919 /proc/meminfo: memFree=25260360/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=283392 CPUtime=0.01 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) D 23917 23919 23677 0 -1 4202496 4715 0 0 0 1 0 0 0 25 0 4 0 651667192 290193408 3938 33554432000 4194304 4650419 140735423415264 18446744073709551615 4316563 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 70848 3943 344 112 0 65813 0 [pid=23919/tid=23920] ppid=23917 vsize=283392 CPUtime=0 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 727 0 0 0 0 0 0 0 25 0 4 0 651667192 290193408 3947 33554432000 4194304 4650419 140735423415264 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=283392 CPUtime=0 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) D 23917 23919 23677 0 -1 4202560 1207 0 0 0 0 0 0 0 25 0 4 0 651667192 290193408 3948 33554432000 4194304 4650419 140735423415264 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=283392 CPUtime=0 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1178 0 0 0 0 0 0 0 25 0 4 0 651667192 290193408 3954 33554432000 4194304 4650419 140735423415264 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0833891 s] /proc/loadavg: 8.15 8.12 7.73 6/327 23919 /proc/meminfo: memFree=25260360/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=300832 CPUtime=0.29 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) D 23917 23919 23677 0 -1 4202496 10179 0 0 0 27 2 0 0 18 0 4 0 651667192 308051968 8658 33554432000 4194304 4650419 140735423415264 18446744073709551615 244446606021 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 75208 8658 377 112 0 70173 0 [pid=23919/tid=23920] ppid=23917 vsize=300832 CPUtime=0.06 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 2482 0 0 0 6 0 0 0 25 0 4 0 651667192 308051968 8658 33554432000 4194304 4650419 140735423415264 18446744073709551615 244446604373 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=300832 CPUtime=0.06 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) D 23917 23919 23677 0 -1 4202560 2833 0 0 0 6 0 0 0 18 0 4 0 651667192 308051968 8658 33554432000 4194304 4650419 140735423415264 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=300832 CPUtime=0.07 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 2049 0 0 0 7 0 0 0 18 0 4 0 651667192 308051968 8658 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 300832 [startup+0.91318 s] /proc/loadavg: 8.15 8.12 7.73 6/327 23919 /proc/meminfo: memFree=25260360/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=306300 CPUtime=3.61 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 18024 0 0 0 358 3 0 0 19 0 4 0 651667192 313651200 15921 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 76575 15921 391 112 0 71540 0 [pid=23919/tid=23920] ppid=23917 vsize=306300 CPUtime=0.89 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 5080 0 0 0 88 1 0 0 19 0 4 0 651667192 313651200 15921 33554432000 4194304 4650419 140735423415264 18446744073709551615 4229531 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=306300 CPUtime=0.9 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 4978 0 0 0 89 1 0 0 19 0 4 0 651667192 313651200 15922 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=306300 CPUtime=0.9 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 3029 0 0 0 90 0 0 0 19 0 4 0 651667192 313651200 15922 33554432000 4194304 4650419 140735423415264 18446744073709551615 4555239 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.61 Current children cumulated vsize (KiB) 306300 [startup+1.00117 s] /proc/loadavg: 8.15 8.12 7.73 6/327 23919 /proc/meminfo: memFree=25260360/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=306300 CPUtime=3.96 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 18379 0 0 0 393 3 0 0 19 0 4 0 651667192 313651200 16276 33554432000 4194304 4650419 140735423415264 18446744073709551615 4367420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 76575 16276 391 112 0 71540 0 [pid=23919/tid=23920] ppid=23917 vsize=306300 CPUtime=0.98 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 5172 0 0 0 97 1 0 0 19 0 4 0 651667192 313651200 16276 33554432000 4194304 4650419 140735423415264 18446744073709551615 4360332 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=306300 CPUtime=0.99 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 5068 0 0 0 98 1 0 0 19 0 4 0 651667192 313651200 16276 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=306300 CPUtime=0.98 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 3118 0 0 0 98 0 0 0 19 0 4 0 651667192 313651200 16276 33554432000 4194304 4650419 140735423415264 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 306300 [startup+1.10115 s] /proc/loadavg: 8.15 8.12 7.73 6/327 23919 /proc/meminfo: memFree=25260360/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=308240 CPUtime=4.36 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 19473 0 0 0 432 4 0 0 19 0 4 0 651667192 315637760 16094 33554432000 4194304 4650419 140735423415264 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 77060 16094 393 112 0 72025 0 [pid=23919/tid=23920] ppid=23917 vsize=308240 CPUtime=1.08 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 5276 0 0 0 107 1 0 0 19 0 4 0 651667192 315637760 16094 33554432000 4194304 4650419 140735423415264 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=308240 CPUtime=1.09 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 5163 0 0 0 108 1 0 0 19 0 4 0 651667192 315637760 16094 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=308240 CPUtime=1.08 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 3920 0 0 0 108 0 0 0 19 0 4 0 651667192 315637760 16094 33554432000 4194304 4650419 140735423415264 18446744073709551615 4331107 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 308240 [startup+1.50107 s] /proc/loadavg: 8.15 8.12 7.73 6/327 23919 /proc/meminfo: memFree=25260360/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=310564 CPUtime=5.95 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 22387 0 0 0 591 4 0 0 19 0 4 0 651667192 318017536 14910 33554432000 4194304 4650419 140735423415264 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 77641 14910 393 112 0 72606 0 [pid=23919/tid=23920] ppid=23917 vsize=310564 CPUtime=1.48 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 6153 0 0 0 147 1 0 0 20 0 4 0 651667192 318017536 14910 33554432000 4194304 4650419 140735423415264 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=310564 CPUtime=1.48 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 6016 0 0 0 147 1 0 0 19 0 4 0 651667192 318017536 14911 33554432000 4194304 4650419 140735423415264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=310564 CPUtime=1.49 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 4311 0 0 0 148 1 0 0 19 0 4 0 651667192 318017536 14911 33554432000 4194304 4650419 140735423415264 18446744073709551615 4364495 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) 310564 [startup+3.10078 s] /proc/loadavg: 8.38 8.17 7.75 9/331 23923 /proc/meminfo: memFree=25183280/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=311496 CPUtime=12.33 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 30687 0 0 0 1227 6 0 0 25 0 4 0 651667192 318971904 16680 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 77874 16680 393 112 0 72839 0 [pid=23919/tid=23920] ppid=23917 vsize=311496 CPUtime=3.05 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 8243 0 0 0 304 1 0 0 25 0 4 0 651667192 318971904 16680 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=311496 CPUtime=3.09 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 8145 0 0 0 307 2 0 0 25 0 4 0 651667192 318971904 16680 33554432000 4194304 4650419 140735423415264 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=311496 CPUtime=3.08 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 6371 0 0 0 307 1 0 0 25 0 4 0 651667192 318971904 16680 33554432000 4194304 4650419 140735423415264 18446744073709551615 4364340 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) 311496 [startup+6.31218 s] /proc/loadavg: 8.35 8.16 7.75 9/331 23923 /proc/meminfo: memFree=25056568/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=342164 CPUtime=25.15 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 56762 0 0 0 2502 13 0 0 25 0 4 0 651667192 350375936 28678 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 85541 28678 395 112 0 80506 0 [pid=23919/tid=23920] ppid=23917 vsize=342164 CPUtime=6.23 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 15994 0 0 0 620 3 0 0 25 0 4 0 651667192 350375936 28678 33554432000 4194304 4650419 140735423415264 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=342164 CPUtime=6.3 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 12449 0 0 0 627 3 0 0 25 0 4 0 651667192 350375936 28678 33554432000 4194304 4650419 140735423415264 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=342164 CPUtime=6.29 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 10605 0 0 0 627 2 0 0 25 0 4 0 651667192 350375936 28678 33554432000 4194304 4650419 140735423415264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 342164 [startup+12.701 s] /proc/loadavg: 8.32 8.16 7.75 9/331 23923 /proc/meminfo: memFree=24972640/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=344824 CPUtime=50.63 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 91044 0 0 0 5042 21 0 0 25 0 4 0 651667192 353099776 44866 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 86206 44866 395 112 0 81171 0 [pid=23919/tid=23920] ppid=23917 vsize=344824 CPUtime=12.56 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 18881 0 0 0 1252 4 0 0 25 0 4 0 651667192 353099776 44866 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=344824 CPUtime=12.69 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 26154 0 0 0 1262 7 0 0 25 0 4 0 651667192 353099776 44866 33554432000 4194304 4650419 140735423415264 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=344824 CPUtime=12.68 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 23364 0 0 0 1263 5 0 0 25 0 4 0 651667192 353099776 44866 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 344824 [startup+25.5006 s] /proc/loadavg: 8.27 8.15 7.75 9/331 23923 /proc/meminfo: memFree=24835004/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=477260 CPUtime=101.69 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 149649 0 0 0 10132 37 0 0 25 0 4 0 651667192 488714240 69029 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 119315 69029 395 112 0 114280 0 [pid=23919/tid=23920] ppid=23917 vsize=477260 CPUtime=25.22 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 36903 0 0 0 2513 9 0 0 25 0 4 0 651667192 488714240 69029 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=477260 CPUtime=25.48 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 41114 0 0 0 2538 10 0 0 25 0 4 0 651667192 488714240 69029 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=477260 CPUtime=25.48 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 34332 0 0 0 2540 8 0 0 25 0 4 0 651667192 488714240 69029 33554432000 4194304 4650419 140735423415264 18446744073709551615 4438239 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.69 Current children cumulated vsize (KiB) 477260 [startup+51.1008 s] /proc/loadavg: 8.18 8.14 7.76 9/331 23924 /proc/meminfo: memFree=24770288/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=565724 CPUtime=203.83 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 233091 0 0 0 20322 61 0 0 25 0 4 0 651667192 579301376 75549 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 141431 75549 395 112 0 136396 0 [pid=23919/tid=23920] ppid=23917 vsize=565724 CPUtime=50.56 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 58180 0 0 0 5040 16 0 0 25 0 4 0 651667192 579301376 75549 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=565724 CPUtime=51.08 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 65830 0 0 0 5091 17 0 0 25 0 4 0 651667192 579301376 75550 33554432000 4194304 4650419 140735423415264 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=565724 CPUtime=51.08 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 57800 0 0 0 5093 15 0 0 25 0 4 0 651667192 579301376 75550 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 203.83 Current children cumulated vsize (KiB) 565724 [startup+102.3 s] /proc/loadavg: 8.18 8.15 7.78 9/331 23925 /proc/meminfo: memFree=24630632/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=604948 CPUtime=408.08 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 382989 0 0 0 40704 104 0 0 25 0 4 0 651667192 619466752 89604 33554432000 4194304 4650419 140735423415264 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 151237 89604 395 112 0 146202 0 [pid=23919/tid=23920] ppid=23917 vsize=604948 CPUtime=101.21 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 92399 0 0 0 10097 24 0 0 25 0 4 0 651667192 619466752 89604 33554432000 4194304 4650419 140735423415264 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=604948 CPUtime=102.27 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 107208 0 0 0 10198 29 0 0 25 0 4 0 651667192 619466752 89604 33554432000 4194304 4650419 140735423415264 18446744073709551615 4310774 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=604948 CPUtime=102.28 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 103537 0 0 0 10200 28 0 0 25 0 4 0 651667192 619466752 89604 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.08 Current children cumulated vsize (KiB) 604948 [startup+162.301 s] ################ # More data... # ################ [pid=23919] ppid=23917 vsize=891712 CPUtime=2801.57 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 2323597 0 0 0 279528 629 0 0 25 0 4 0 651667192 913113088 174768 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 222928 174768 395 112 0 217893 0 [pid=23919/tid=23920] ppid=23917 vsize=891712 CPUtime=697.8 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 805177 0 0 0 69598 182 0 0 25 0 4 0 651667192 913113088 174768 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=891712 CPUtime=702.28 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 554111 0 0 0 70063 165 0 0 25 0 4 0 651667192 913113088 174768 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=891712 CPUtime=699.19 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 669170 0 0 0 69739 180 0 0 25 0 4 0 651667192 913113088 174768 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2801.57 Current children cumulated vsize (KiB) 891712 [startup+762.3 s] /proc/loadavg: 8.11 8.10 7.91 9/331 23943 /proc/meminfo: memFree=24073612/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1060488 CPUtime=3040.92 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 2568626 0 0 0 303402 690 0 0 25 0 4 0 651667192 1085939712 179197 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 265122 179197 395 112 0 260087 0 [pid=23919/tid=23920] ppid=23917 vsize=1060488 CPUtime=757.8 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 831188 0 0 0 75584 196 0 0 25 0 4 0 651667192 1085939712 179197 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1060488 CPUtime=762.28 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 581804 0 0 0 76049 179 0 0 25 0 4 0 651667192 1085939712 179197 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1060488 CPUtime=758.53 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 846510 0 0 0 75646 207 0 0 25 0 4 0 651667192 1085939712 179197 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3040.92 Current children cumulated vsize (KiB) 1060488 [startup+822.301 s] /proc/loadavg: 8.20 8.12 7.93 9/331 23945 /proc/meminfo: memFree=23937056/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1126712 CPUtime=3280.28 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 2745078 0 0 0 327290 738 0 0 25 0 4 0 651667192 1153753088 207267 33554432000 4194304 4650419 140735423415264 18446744073709551615 4333838 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 281678 207267 395 112 0 276643 0 [pid=23919/tid=23920] ppid=23917 vsize=1126712 CPUtime=817.8 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 833321 0 0 0 81583 197 0 0 25 0 4 0 651667192 1153753088 207267 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1126712 CPUtime=822.29 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 712551 0 0 0 82030 199 0 0 25 0 4 0 651667192 1153753088 207267 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1126712 CPUtime=817.88 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 872452 0 0 0 81564 224 0 0 25 0 4 0 651667192 1153753088 207267 33554432000 4194304 4650419 140735423415264 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3280.28 Current children cumulated vsize (KiB) 1126712 [startup+882.301 s] /proc/loadavg: 8.15 8.11 7.94 9/331 23946 /proc/meminfo: memFree=23943720/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1024600 CPUtime=3519.62 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 2946095 0 0 0 351170 792 0 0 25 0 4 0 651667192 1049190400 193704 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 256150 193704 395 112 0 251115 0 [pid=23919/tid=23920] ppid=23917 vsize=1024600 CPUtime=877.81 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 836369 0 0 0 87583 198 0 0 25 0 4 0 651667192 1049190400 193704 33554432000 4194304 4650419 140735423415264 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1024600 CPUtime=882.28 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 856327 0 0 0 88006 222 0 0 25 0 4 0 651667192 1049190400 193705 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476213 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1024600 CPUtime=877.23 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 899772 0 0 0 87483 240 0 0 25 0 4 0 651667192 1049190400 193706 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3519.62 Current children cumulated vsize (KiB) 1024600 [startup+942.301 s] /proc/loadavg: 8.16 8.12 7.95 9/331 23948 /proc/meminfo: memFree=23891720/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1091500 CPUtime=3759.01 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 3191915 0 0 0 375050 851 0 0 25 0 4 0 651667192 1117696000 201721 33554432000 4194304 4650419 140735423415264 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 272875 201721 395 112 0 267840 0 [pid=23919/tid=23920] ppid=23917 vsize=1091500 CPUtime=937.82 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 864278 0 0 0 93571 211 0 0 25 0 4 0 651667192 1117696000 201722 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363584 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1091500 CPUtime=942.3 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1020938 0 0 0 93986 244 0 0 25 0 4 0 651667192 1117696000 201722 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1091500 CPUtime=936.59 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 926510 0 0 0 93408 251 0 0 25 0 4 0 651667192 1117696000 201722 33554432000 4194304 4650419 140735423415264 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3759.01 Current children cumulated vsize (KiB) 1091500 [startup+1002.3 s] /proc/loadavg: 8.16 8.13 7.96 9/331 23949 /proc/meminfo: memFree=23852392/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1186964 CPUtime=3998.32 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 3518560 0 0 0 398907 925 0 0 25 0 4 0 651667192 1215451136 210985 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 296741 210985 395 112 0 291706 0 [pid=23919/tid=23920] ppid=23917 vsize=1186964 CPUtime=997.8 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 886559 0 0 0 99554 226 0 0 25 0 4 0 651667192 1215451136 210985 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1186964 CPUtime=1002.29 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1151337 0 0 0 99961 268 0 0 25 0 4 0 651667192 1215451136 210985 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1186964 CPUtime=995.92 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1086910 0 0 0 99316 276 0 0 25 0 4 0 651667192 1215451136 210985 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3998.32 Current children cumulated vsize (KiB) 1186964 [startup+1062.31 s] /proc/loadavg: 8.15 8.13 7.97 9/331 23951 /proc/meminfo: memFree=23853112/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1187636 CPUtime=4237.72 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 3767089 0 0 0 422790 982 0 0 25 0 4 0 651667192 1216139264 216771 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 296909 216771 395 112 0 291874 0 [pid=23919/tid=23920] ppid=23917 vsize=1187636 CPUtime=1057.83 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 908323 0 0 0 105542 241 0 0 25 0 4 0 651667192 1216139264 216771 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1187636 CPUtime=1062.3 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1176904 0 0 0 105948 282 0 0 25 0 4 0 651667192 1216139264 216771 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1187636 CPUtime=1055.28 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1288108 0 0 0 105223 305 0 0 25 0 4 0 651667192 1216139264 216771 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4237.72 Current children cumulated vsize (KiB) 1187636 [startup+1122.3 s] /proc/loadavg: 8.16 8.13 7.98 9/331 23953 /proc/meminfo: memFree=23797016/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1188640 CPUtime=4477.02 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 3974566 0 0 0 446663 1039 0 0 25 0 4 0 651667192 1217167360 220652 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 297160 220652 395 112 0 292125 0 [pid=23919/tid=23920] ppid=23917 vsize=1188640 CPUtime=1117.81 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1038715 0 0 0 111520 261 0 0 25 0 4 0 651667192 1217167360 220652 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1188640 CPUtime=1122.28 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1199782 0 0 0 111934 294 0 0 25 0 4 0 651667192 1217167360 220652 33554432000 4194304 4650419 140735423415264 18446744073709551615 4363390 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1188640 CPUtime=1114.62 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1318001 0 0 0 111143 319 0 0 25 0 4 0 651667192 1217167360 220652 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4477.02 Current children cumulated vsize (KiB) 1188640 [startup+1182.3 s] /proc/loadavg: 8.12 8.12 7.98 9/331 23954 /proc/meminfo: memFree=23848436/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1189688 CPUtime=4716.36 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 4223979 0 0 0 470538 1098 0 0 25 0 4 0 651667192 1218240512 219890 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 297422 219890 395 112 0 292387 0 [pid=23919/tid=23920] ppid=23917 vsize=1189688 CPUtime=1177.81 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1201749 0 0 0 117498 283 0 0 25 0 4 0 651667192 1218240512 219890 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476756 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1189688 CPUtime=1182.28 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1235598 0 0 0 117922 306 0 0 25 0 4 0 651667192 1218240512 219890 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1189688 CPUtime=1173.96 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1343418 0 0 0 117064 332 0 0 25 0 4 0 651667192 1218240512 219890 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4716.36 Current children cumulated vsize (KiB) 1189688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.3 s] /proc/loadavg: 8.08 8.11 7.98 5/326 23956 /proc/meminfo: memFree=24360456/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1189688 CPUtime=4800.18 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 4345486 0 0 0 478895 1123 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 297422 233915 395 112 0 292387 0 [pid=23919/tid=23920] ppid=23917 vsize=1189688 CPUtime=1198.83 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1263445 0 0 0 119591 292 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1189688 CPUtime=1203.3 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1281369 0 0 0 120018 312 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1189688 CPUtime=1194.73 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1350336 0 0 0 119136 337 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.18 Current children cumulated vsize (KiB) 1189688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.3 s] /proc/loadavg: 8.08 8.11 7.98 5/326 23956 /proc/meminfo: memFree=24360456/32951124 swapFree=44485764/67111528 [pid=23919] ppid=23917 vsize=1189688 CPUtime=4800.18 cores=1,3,5,7 /proc/23919/stat : 23919 (strangenight1-m) R 23917 23919 23677 0 -1 4202496 4345486 0 0 0 478895 1123 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/23919/statm: 297422 233915 395 112 0 292387 0 [pid=23919/tid=23920] ppid=23917 vsize=1189688 CPUtime=1198.83 cores=1,3,5,7 /proc/23919/task/23920/stat : 23920 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1263445 0 0 0 119591 292 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=23919/tid=23921] ppid=23917 vsize=1189688 CPUtime=1203.3 cores=1,3,5,7 /proc/23919/task/23921/stat : 23921 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1281369 0 0 0 120018 312 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=23919/tid=23922] ppid=23917 vsize=1189688 CPUtime=1194.73 cores=1,3,5,7 /proc/23919/task/23922/stat : 23922 (strangenight1-m) R 23917 23919 23677 0 -1 4202560 1350336 0 0 0 119136 337 0 0 25 0 4 0 651667192 1218240512 233915 33554432000 4194304 4650419 140735423415264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.18 Current children cumulated vsize (KiB) 1189688 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.36 CPU time (s): 4800.24 CPU user time (s): 4788.97 CPU system time (s): 11.2683 CPU usage (%): 398.904 Max. virtual memory (cumulated for all children) (KiB): 1200932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4788.97 system time used= 11.2683 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4345488 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= 1734 involuntary context switches= 20364 runsolver used 3.47047 second user time and 9.60954 second system time The end
Begin job on node105 at 2011-05-14 21:17:48 IDJOB=3368683 IDBENCH=82692 IDSOLVER=1846 FILE ID=node105/3368683-1305400667 RUNJOBID= node105-1305398256-23696 PBS_JOBID= 13324484 Free space on /tmp= 73584 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) 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-3368683-1305400667/watcher-3368683-1305400667 -o /tmp/evaluation-result-3368683-1305400667/solver-3368683-1305400667 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368683-1305400667.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 418f15c9ecdcb73d78687b6da2a74460 RANDOM SEED=976348811 node105.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.825 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.825 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 : 5226.15 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.825 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.825 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.825 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 : 5410.70 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.825 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: 25260640 kB Buffers: 271212 kB Cached: 5909336 kB SwapCached: 39656 kB Active: 611968 kB Inactive: 6819812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25260640 kB SwapTotal: 67111528 kB SwapFree: 44485764 kB Dirty: 13996 kB Writeback: 8 kB AnonPages: 1218380 kB Mapped: 10668 kB Slab: 128016 kB PageTables: 65804 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 65440328 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= 73584 MiB End job on node105 at 2011-05-14 21:37:53